Receipt verification, invariants, signing.
AI & ML interests
a11oy.net
Recent Activity
View all activity
The five flagship Spaces.
Honest empty cards. Not trained. Do not treat as product SKUs.
Trained weights only. Kernels and empty ROADMAP cards live in other collections. Lambda uniqueness is Conjecture 1.
Public navigation only; each artifact card and live status is authoritative. Λ remains Conjecture 1 (advisory). Canonical site: https://a-11-oy.com.
-
SZLHOLDINGS/SZL-Khipu-1.5B
Text Generation • 2B • Updated • 1.68k • 1 -
SZLHOLDINGS/SZL-Forge-1.5B-ReceiptAgent
Text Generation • 2B • Updated • 1.51k -
a11oy — Command Center
🛡a11oy source — product origin a-11-oy.com, proof a11oy.net
-
killinchu — Andean Drone Intelligence
🦅2Governed autonomous-systems command surface
Managed models with governed kernel revision contracts recorded in the estate evidence report.
Managed public and private Spaces in the SZLHOLDINGS estate.
Training corpora, evaluation benchmarks, eval runs, and knowledge/intel corpora. Membership is not a quality/freshness ranking; cards govern license,
DSSE-wrapped governance receipts, UDS spans/bundles, energy-attested and readiness runs, plus the attestation demo surfaces. Membership establishes ne
Kernel software packages and their live/holographic demo surfaces. Cards govern algorithms, hashes, readiness, and proof scope; inclusion is not produ
Series-A diligence artifacts and positioning: substrate card, investment case, and org profile. Λ remains Conjecture 1 (advisory); SLSA, signing, and
Compact model-launch family with receipts.
The running product surfaces. Extra holograms are paused, not deleted.
Software kernels. Not LoRA-trained models. Source on GitHub; Hub is the mirror.
The only public Hub Spaces. Product origin a-11-oy.com. Proof origin a11oy.net. Everything else is private, paused, not deleted.
SZL Unsloth QLoRA with signed receipts. LIVE weights only. No Studio clone.
Managed datasets, receipts, manifests, and diligence evidence.
Canonical estate discovery surface; GitHub evidence remains authoritative.
Published model weights, quantizations, recipes, and their training/inference labs. Published means the repository exists; signed receipts and model-c
Snapshot-indexed Lean 4 proofs, canonical formulas, doctrine, thesis, and the Ouroboros self-verifying-loop work. Claims apply only to recorded commit
Public a11oy / Killinchu and companion product surfaces. Reachability does not prove providers or per-action signing; runtime status and emitted recei
Receipt verification, invariants, signing.
Compact model-launch family with receipts.
The five flagship Spaces.
The running product surfaces. Extra holograms are paused, not deleted.
Honest empty cards. Not trained. Do not treat as product SKUs.
Software kernels. Not LoRA-trained models. Source on GitHub; Hub is the mirror.
Trained weights only. Kernels and empty ROADMAP cards live in other collections. Lambda uniqueness is Conjecture 1.
The only public Hub Spaces. Product origin a-11-oy.com. Proof origin a11oy.net. Everything else is private, paused, not deleted.
Public navigation only; each artifact card and live status is authoritative. Λ remains Conjecture 1 (advisory). Canonical site: https://a-11-oy.com.
-
SZLHOLDINGS/SZL-Khipu-1.5B
Text Generation • 2B • Updated • 1.68k • 1 -
SZLHOLDINGS/SZL-Forge-1.5B-ReceiptAgent
Text Generation • 2B • Updated • 1.51k -
a11oy — Command Center
🛡a11oy source — product origin a-11-oy.com, proof a11oy.net
-
killinchu — Andean Drone Intelligence
🦅2Governed autonomous-systems command surface
SZL Unsloth QLoRA with signed receipts. LIVE weights only. No Studio clone.
Managed models with governed kernel revision contracts recorded in the estate evidence report.
Managed datasets, receipts, manifests, and diligence evidence.
Managed public and private Spaces in the SZLHOLDINGS estate.
Canonical estate discovery surface; GitHub evidence remains authoritative.
Training corpora, evaluation benchmarks, eval runs, and knowledge/intel corpora. Membership is not a quality/freshness ranking; cards govern license,
Published model weights, quantizations, recipes, and their training/inference labs. Published means the repository exists; signed receipts and model-c
DSSE-wrapped governance receipts, UDS spans/bundles, energy-attested and readiness runs, plus the attestation demo surfaces. Membership establishes ne
Snapshot-indexed Lean 4 proofs, canonical formulas, doctrine, thesis, and the Ouroboros self-verifying-loop work. Claims apply only to recorded commit
Kernel software packages and their live/holographic demo surfaces. Cards govern algorithms, hashes, readiness, and proof scope; inclusion is not produ
Public a11oy / Killinchu and companion product surfaces. Reachability does not prove providers or per-action signing; runtime status and emitted recei
Series-A diligence artifacts and positioning: substrate card, investment case, and org profile. Λ remains Conjecture 1 (advisory); SLSA, signing, and