Spec Coverage Matrix¶
This matrix classifies every markdown file currently in spec/ and maps it to a published destination path in docs/.
Legend:
- Classification: canonical published spec, reference-implementation detail, historical/superseded draft, transitional duplicate.
- Status: canonical, archived, superseded, transitional.
| Source file path | Classification | Canonical destination path | Status | Rationale |
|---|---|---|---|---|
spec/README.md |
transitional duplicate | docs/specs/source/README.md |
transitional | Compatibility guidance for ongoing migration; not normative protocol semantics. |
spec/backend-adapter-contract-v1.md |
reference-implementation detail | docs/specs/source/backend-adapter-contract-v1.md |
canonical | Defines runtime adapter contract used by reference runtime/wallet integration. |
spec/backend-direction-comparison-v1.md |
historical/superseded draft | docs/specs/source/backend-direction-comparison-v1.md |
superseded | Decision-history context; not current authoritative contract text. |
spec/backend-family-trust-model-reassessment-v1.md |
historical/superseded draft | docs/specs/source/backend-family-trust-model-reassessment-v1.md |
superseded | Historical trust-model reassessment, retained as context. |
spec/bch-confidentiality-protocol-v1-draft-regenerated.md |
canonical published spec | docs/specs/source/bch-confidentiality-protocol-v1-draft-regenerated.md |
canonical | Most current full-detail protocol draft baseline for publication. |
spec/bch-confidentiality-protocol-v1-draft.md |
historical/superseded draft | docs/specs/source/bch-confidentiality-protocol-v1-draft.md |
superseded | Older overlapping draft superseded by regenerated version. |
spec/budgets-phase3.md |
reference-implementation detail | docs/specs/source/budgets-phase3.md |
canonical | Budget/fit constraints informing current bounded implementation posture. |
spec/confidential-receive-descriptor-v1.md |
canonical published spec | docs/specs/source/confidential-receive-descriptor-v1.md |
canonical | Receive-side descriptor semantics for interoperable wallet behavior. |
spec/confidential-transfer-fixture-v2.md |
reference-implementation detail | docs/specs/source/confidential-transfer-fixture-v2.md |
transitional | Fixture contract used by runtime/tests; implementation-facing compatibility material. |
spec/confidential-transfer-planner-v1.md |
reference-implementation detail | docs/specs/source/confidential-transfer-planner-v1.md |
transitional | Planner details tied to current reference implementation behavior. |
spec/confidential-transition-boundary-v1.md |
canonical published spec | docs/specs/source/confidential-transition-boundary-v1.md |
canonical | Defines minimum transition statement boundary for current protocol lane. |
spec/direct-path-minimum-private-relation-v1.md |
canonical published spec | docs/specs/source/direct-path-minimum-private-relation-v1.md |
canonical | Core direct-path private relation specification. |
spec/direct-path-proof-size-feasibility-v1.md |
reference-implementation detail | docs/specs/source/direct-path-proof-size-feasibility-v1.md |
canonical | Feasibility constraints for direct-path proof/carrier sizing. |
spec/direct-spend-commitment-envelope-abi-v1.md |
canonical published spec | docs/specs/source/direct-spend-commitment-envelope-abi-v1.md |
canonical | Frozen CEv1 ABI for commitment-authoritative lineage semantics. |
spec/direct-spend-private-lineage-transcript-v1.md |
canonical published spec | docs/specs/source/direct-spend-private-lineage-transcript-v1.md |
canonical | DSLTv1 transcript/subcommit semantics bound to CEv1 slots. |
spec/direct-spend-wallet-blueprint.md |
reference-implementation detail | docs/specs/source/direct-spend-wallet-blueprint.md |
canonical | Reference wallet boundary and package blueprint; implementation-facing. |
spec/final-atomic-commit-and-no-dos-staging-semantics-v1.md |
reference-implementation detail | docs/specs/source/final-atomic-commit-and-no-dos-staging-semantics-v1.md |
transitional | Narrow staging semantics tied to specific implementation evolution. |
spec/note-commitment-nullifier-formulas-v1.md |
canonical published spec | docs/specs/source/note-commitment-nullifier-formulas-v1.md |
canonical | Normative note/nullifier formula definitions. |
spec/proof-envelope-transcript-v1.md |
canonical published spec | docs/specs/source/proof-envelope-transcript-v1.md |
canonical | Normative proof-envelope transcript commitments. |
spec/proof-work-staging-chunk-accumulator-v1.md |
reference-implementation detail | docs/specs/source/proof-work-staging-chunk-accumulator-v1.md |
transitional | Staging/accumulator mechanics retained for implementation history and compatibility. |
spec/proofblob32-abi-revised.md |
historical/superseded draft | docs/specs/source/proofblob32-abi-revised.md |
superseded | Phase-2 ABI material superseded by current publication boundary. |
spec/protocol-terminology.md |
canonical published spec | docs/specs/source/protocol-terminology.md |
canonical | Canonical glossary for protocol-first naming consistency. |
spec/recovery-scan-rules-v1.md |
canonical published spec | docs/specs/source/recovery-scan-rules-v1.md |
canonical | Normative recovery scan behavior and wallet interoperability expectations. |
spec/reference-wallet-api-sync-contract-v1.md |
canonical published spec | docs/specs/source/reference-wallet-api-sync-contract-v1.md |
canonical | Reference wallet API/sync contract for external adopters. |
spec/scv2-transition-linkage-v1.md |
canonical published spec | docs/specs/source/scv2-transition-linkage-v1.md |
canonical | Normative SCv2 linkage semantics across transitions. |
spec/sharded-pool-state-machine-spec.md |
historical/superseded draft | docs/specs/source/sharded-pool-state-machine-spec.md |
superseded | Phase-2 state-machine framing retained as historical context. |
spec/specialized-fixed-statement-prover-design-v1.md |
reference-implementation detail | docs/specs/source/specialized-fixed-statement-prover-design-v1.md |
canonical | Detailed fixed-statement design for current reference runtime lane. |
spec/srq2-witness-hiding-upgrade-plan-v1.md |
historical/superseded draft | docs/specs/source/srq2-witness-hiding-upgrade-plan-v1.md |
superseded | Historical upgrade planning document, retained for traceability. |
spec/stark-rq-hidden-runtime-v1.md |
canonical published spec | docs/specs/source/stark-rq-hidden-runtime-v1.md |
canonical | Hidden-runtime statement boundary details for current runtime lane. |
spec/stark-rq-trustless-prototype-v1.md |
reference-implementation detail | docs/specs/source/stark-rq-trustless-prototype-v1.md |
canonical | Prototype/runtime coupling details used by current reference runtime tooling. |
spec/verifier-abi-host-kernel-v1.md |
canonical published spec | docs/specs/source/verifier-abi-host-kernel-v1.md |
canonical | Verifier ABI and host/kernel boundary definition. |
spec/verifier-family-feasibility-v1.md |
reference-implementation detail | docs/specs/source/verifier-family-feasibility-v1.md |
canonical | Feasibility analysis informing current verifier-family posture. |
spec/wrapped-verifier-artifact-feasibility-v1.md |
historical/superseded draft | docs/specs/source/wrapped-verifier-artifact-feasibility-v1.md |
superseded | Earlier artifact feasibility path superseded by current runtime/artifact boundary. |
Canonical Rule¶
- Published protocol docs are served from
docs/. spec/remains transitional compatibility source until all code/test references are migrated.