Receipt verification, invariants, signing.
AI & ML interests
Reproducibility and provenance for computational analysis; single-cell analysis methods; machine-learning evaluation.
Recent Activity
The running product surfaces. Extra holograms are paused, not deleted.
-
a11oy — Command Center
🛡1a11oy source — product origin a-11-oy.com, proof a11oy.net
-
killinchu — Andean Drone Intelligence
🦅3Governed autonomous-systems command surface
-
governed-receipt-verifier
🧾Verify cryptographic receipts for integrity and authenticity
-
Prove It
🧪Verify a11oy receipt bundles offline in your browser
Training corpora, evaluation benchmarks, eval runs, and knowledge/intel corpora. Membership is not a quality/freshness ranking; cards govern license,
Receipt verification, invariants, signing.
Compact model-launch family with receipts.
The running product surfaces. Extra holograms are paused, not deleted.
-
a11oy — Command Center
🛡1a11oy source — product origin a-11-oy.com, proof a11oy.net
-
killinchu — Andean Drone Intelligence
🦅3Governed autonomous-systems command surface
-
governed-receipt-verifier
🧾Verify cryptographic receipts for integrity and authenticity
-
Prove It
🧪Verify a11oy receipt bundles offline in your browser
Software kernels. Not LoRA-trained models. Source on GitHub; Hub is the mirror.
Training corpora, evaluation benchmarks, eval runs, and knowledge/intel corpora. Membership is not a quality/freshness ranking; cards govern license,
Snapshot-indexed Lean 4 proofs, canonical formulas, doctrine, thesis, and the Ouroboros self-verifying-loop work. Claims apply only to recorded commit