This folder is the committed home of the OVA Protocol — a decentralized access-control protocol implemented as a standalone based-ZK application on the Kaspa blockDAG (Toccata primitives KIP-16/17/20/21). Provisional patent March 2026.
Populated and current. The earlier "awaiting content" question — whether OVA needed a separate ova-record repository — is answered: it does not. OVA's committed home is here:
loomworks-record/protocols/ova/ — spec lineage, originating records, findings, design, verification.loomworks-record/candidate-seeds/ova/ — the seed and project handoff.
There is no separate ova-record. New revisions land alongside prior committed copies per the repository versioning convention (never in-place); older versions are retained as history.
| Artifact | Current | Prior retained |
|---|---|---|
| Protocol spec (authored) | OVA_PROTOCOL_SPEC_V3_2.md | OVA_PROTOCOL_SPEC_V3_1.md, OVA_PROTOCOL_SPEC_V3.md (and V1, V2, the V0_6 amendments) |
| Verification Part II | verification/OVA_VERIFICATION_PART_II_BEHAVIORAL-v0_4.md | verification/OVA_VERIFICATION_PART_II_BEHAVIORAL-v0_3.md, verification/OVA_VERIFICATION_PART_II_BEHAVIORAL-v0_2.md |
| Verification Part V | verification/OVA_VERIFICATION_PART_V_TRAFFIC_PATTERN-v0_2.md | verification/OVA_VERIFICATION_PART_V_TRAFFIC_PATTERN-v0_1.md |
| Verification Part VI | verification/OVA_VERIFICATION_PART_VI_HIDDEN_TOPOLOGY-v0_2.md | verification/OVA_VERIFICATION_PART_VI_HIDDEN_TOPOLOGY-v0_1.md |
| Verification Part VII | verification/OVA_VERIFICATION_PART_VII_ZERO_LEAKAGE-v0_2.md | verification/OVA_VERIFICATION_PART_VII_ZERO_LEAKAGE-v0_1.md |
| Candidate seed | candidate-seeds/ova/ova-candidate-seed-v0_1.md | — |
| Project handoff | candidate-seeds/ova/ova-project-handoff-v0_1.md | — |
Forge-blessed vs authored. OVA_PROTOCOL_SPEC_V3_2.md is the current authored spec. Forge holds spec_version 2 (verdict "ready," 2026-03-09) — so the Forge-blessed spec remains V2. The V3_x line (V3 → V3_1 → V3_2) is authored-ahead-of-induction: re-induction is held post-mainnet (pending Toccata mainnet) and Part IV v0.2 coordination. Current authored ≠ Forge-blessed until that re-induction runs.
verification/ — the formal-verification program: Part II (Behavioral, v0_4 current / v0_3, v0_2 prior), Part III (Chaff Classification), Part IV (Path Branching), Part V (Traffic Pattern), Part VI (Hidden Topology), Part VII (Zero Leakage).findings/ — design findings on observability/anti-replay leaks: canary observability, F-3 (nullifier observability + anti-replay governance), F-4 (audit layer relocation).design/ — spec-design output: F-3 spec rows and brief, F-4 brief, F-1 remediation amendment, build plan, build spec. (F-3 row fixes from the pre-repair gate are held; OVA_F3_SPEC_ROWS-v0_1.md is staged as authored.)protocols/ova/ (this dir) — spec lineage (V1/V2/V3_1 + V0.6 amendments), Discovery record, plain-English overview, the OVA skill, the v0.6 pre-repair brief, the FORAY/OVA integration investigation, and the rusty-kaspa version-string audit.Per the current methodology, OVA integration proceeds via seam-and-stub; the hand-written authorizer progresses toward a macaroon-flavored capability model. The spec lineage here documents that progression and its rationale.