Spec Compliance Matrix
Automated compliance status of codebase implementations against specifications
Metadata:
- Quadrant: Reference
- Audience: Developers, integrators, and auditors of the Axios stack
Spec Compliance Matrix¶
This page tracks the compliance of the Axios codebase (atom/, eos/, ion/, alurl/) with the system specifications defined in docs/specs/.
Compliance Summary¶
- Total Constraints: 345
- Verified Constraints: 7
- Unverified Constraints: 338
- Compliance Rate: 2.03%
Specifications Matrix¶
Aliased Url Resolution¶
Specification file: docs/specs/aliased-url-resolution.md
| Constraint ID | Status | Mechanism | Verification Path |
sigil-required |
✅ VERIFIED | Parses input using the parse::classify helper to require a '+' prefix at the |
alurl/src/lib.rs:144 |
host-position-only |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
alias-name-validated |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
separator-opaque-suffix |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
structure-preserving |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
suffix-opaque |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
expansion-deterministic |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
resolution-terminates |
✅ VERIFIED | Ensures that recursive alias resolution terminates by tracking names | alurl/src/lib.rs:191 (Test: alurl/src/tests.rs:cycle_detected_two_aliases) |
recursive-transparent |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
raw-preserves-input |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
expanded-preserves-alias |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
zero-deps |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-io |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-silent-fallback |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-partial-expansion |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-scheme-injection |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-alias-in-metadata |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
resolution-complexity |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
error-diagnostic |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
classify-transition |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
resolve-transition |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
Atom Sourcing¶
Specification file: docs/specs/atom-sourcing.md
| Constraint ID | Status | Mechanism | Verification Path |
set-anchor-bijection |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
atom-version-identity |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
mirror-staleness-tolerance |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
version-total-order |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-entry-sufficient |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-cross-set-anchor |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-conflicting-digest |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-unpublished-dependency |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
aggregation-monotonic |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
resolution-reproducible |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
concurrent-validation-safe |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
czd-divergence-handling |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
source-discovery |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
mirror-validation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-capture |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
peer-source-last-resort |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
Atom Transactions¶
Specification file: docs/specs/atom-transactions.md
| Constraint ID | Status | Mechanism | Verification Path |
identity-content-addressed |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
identity-stability |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
owner-abstract |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
owner-compatibility |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
owner-authorization-delegated |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
symmetric-payloads |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
publish-chains-claim |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
claim-typ |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
publish-typ |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
sig-over-pay |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
dig-is-atom-snapshot |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
src-is-source-revision |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
path-is-subdir |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
rawversion-opaque |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
claim-key-required |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
publish-key-optional |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
crypto-layer-separation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
crypto-via-coz |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
key-management-deferred |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
claim-transition |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
publish-transition |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
session-ordering |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-unclaimed-publish |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-duplicate-version |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-cross-layer-crypto |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-backdated-publish |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
verification-local |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
verification-provenance |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
atom-snapshot-reproducible |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
ingest-preserves-identity |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
backend-agnostic-protocol |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
charter-typ |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
charter-anchor |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
claim-chains-charter |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
claim-charter-authorization |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
claim-replacement-authority |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
charter-ancestry |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
charter-succession |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
charter-succession-linear |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
chain-monotonicity |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
charter-fork-distinction |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
anchor-immutable |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
anchor-content-addressed |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
anchor-resolvable |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
manifest-minimal |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
backend-bit-perfect |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
atomid-per-source-unique |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
publish-claim-coherence |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
atom-detached |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
uri-not-metadata |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
trait-signature-pure |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
publish-payload-extensible |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
fs-source-contract |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
trait-async-io |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
composite-source-concurrent |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
charter-transition |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
claim-replacement-transition |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
claim-payload-extensible |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
Eos Build Engine¶
Specification file: docs/specs/eos-build-engine.md
| Constraint ID | Status | Mechanism | Verification Path |
eos-verification-obligation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-verify-ownership |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-verify-plugin-deps |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-no-unverified-execution |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-sandbox-network-containment |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-sandbox-host-isolation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-sandbox-reproducibility |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-bisimulation-equivalence |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-immutable-store |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-cache-determinism |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-transitive-closure |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-atom-index-ingest |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
engine-plan |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
engine-apply |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-undeclared-inputs |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-speculative-writes |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-dirty-store-paths |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
action-cache-idempotency |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
apply-cleanup-on-abort |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
Eos Network Protocol¶
Specification file: docs/specs/eos-network-protocol.md
| Constraint ID | Status | Mechanism | Verification Path |
eos-network-sovereign-auth |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-trustless-substitution |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-origin-attestation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-protocol-capability-matching |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-signature-freshness |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-capability-lifecycle |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-progress-multiplexing |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-transport-agnosticism |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-wot-substitution-threshold |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
daemon-startup |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
client-connect |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
submit-build |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
attach-progress |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
detach-progress |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
cancel-build |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
request-substitute |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
client-disconnect |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
daemon-shutdown |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-unattested-substitution |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-unencrypted-secrets |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-unauthorized-handshake |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-cancel-on-drop |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-unauthenticated-capability |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eventual-cache-consistency |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
reproducible-build-consensus |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
capability-cleanup-on-disconnect |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-discovery-read-only |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
Eos Sandboxing¶
Specification file: docs/specs/eos-sandboxing.md
| Constraint ID | Status | Mechanism | Verification Path |
eos-sandbox-fhs-materialization |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-build-sandbox-network-containment |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-sandbox-read-set-capture |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-build-sandbox-delegation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-build-sandbox-host-isolation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-sandbox-materialization-tiers |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-fetch-outside-recorded-set |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-read-outside-declared-closure |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-write-outside-build-scratch |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
Eos Scheduler¶
Specification file: docs/specs/eos-scheduler.md
| Constraint ID | Status | Mechanism | Verification Path |
eos-scheduler-lazy-fetching |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-scheduler-deduplication |
✅ VERIFIED | Prevents redundant scheduling by tracking active job handles in an in-memory | eos/eos-daemon/src/scheduler.rs:113 |
eos-scheduler-placement |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-scheduler-profile-store |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-scheduler-concurrency-limits |
✅ VERIFIED | Restricts concurrent running build jobs using a Tokio Semaphore | eos/eos-daemon/src/scheduler.rs:155 |
eos-scheduler-state-isolation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-scheduler-dag-intake |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-scheduler-lease-expiry |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-scheduler-heartbeat-liveness |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-scheduler-frozen-stability |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-scheduler-bounded-window (P9′)` |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-scheduler-cache-filter-seam |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
submit-job |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
assign-job |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
renew-lease |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
complete-job |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
fail-job (deterministic)` |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
fail-job (transient)` |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-dangling-jobs |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-duplicate-execution |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-dispatched-ep-reassignment |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eventual-progress |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
parallel-scheduling-non-interference |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
head-of-line-immunity (P5′)` |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
bounded-window-dispatch (P9′)` |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-scheduler-bounded-window |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-scheduler-bounded-fair-dispatch |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
fail-job |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
head-of-line-immunity |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
bounded-window-dispatch |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
Git Storage Format¶
Specification file: docs/specs/git-storage-format.md
| Constraint ID | Status | Mechanism | Verification Path |
anchor-is-genesis |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
anchor-hash-agile |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
snapshot-deterministic |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
snapshot-parentless |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
snapshot-src-header |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
temporal-vector |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
claim-detached |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
claim-message-is-coz |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
publish-tag-targets-correct |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
publish-tag-claim-binding |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
publish-tag-message-is-coz |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
tag-chain-immutable |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
coz-bit-perfect |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
single-active-claim-registry |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
store-claim-disambiguation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
registry-ref-label-unique |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
registry-ref-claim |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
registry-ref-version |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
store-ref-by-publish-czd |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
store-claim-ref |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
store-ownership-migration |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
claim-transition-git |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
publish-transition-git |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
ingest-transition |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
claim-replacement-transition |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
publish-update-transition |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
fs-ingest-transition |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-non-empty-claim |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-orphan-publish |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-backdated-src |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-label-collision-registry |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
anchor-oldest-root |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-missing-store-claim |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
anchor-vector-authenticity |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
ingestion-portable |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
update-chain-auditable |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
store-accumulates |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
dev-atom-resolution |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
peel-content-integrity |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
store-claim-cleanup |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
tag-chain-semantic-immutable |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
Ion Eos Contract¶
Specification file: docs/specs/ion-eos-contract.md
| Constraint ID | Status | Mechanism | Verification Path |
handoff-lock-sufficiency |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
handoff-atom-fields |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
handoff-plugin-fields |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-verification-obligation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
eos-backend-agnosticism |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
compose-handoff |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
compose-args-passthrough |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
daemon-connection-required |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
result-reporting |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
error-reporting-format |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
daemon-discovery-v1 |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
daemon-discovery-vN |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
capability-negotiation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
capability-mismatch-handling |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
daemon-connect |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
build-request |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
attach-progress |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
fetch-verify-build |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
compose-evaluation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
concurrent-builds |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-manifest-leakage |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-unverified-execution |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-daemon-bypass |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
backend-substitutability |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
plugin-type-extensibility |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
idempotent-submission |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
progress-liveness |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
discovery-read-only |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
query-discovery |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
content-delivery-negotiation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
Ion Manifest¶
Specification file: docs/specs/ion-manifest.md
| Constraint ID | Status | Mechanism | Verification Path |
manifest-required-sections |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
package-identity-required |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
set-declaration-completeness |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
set-mirror-minimum |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
composer-set-reference |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
version-constraint-syntax |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
deny-unknown-fields |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
label-version-uniqueness |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
plugin-extension-point |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
plugin-lock-contract |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
plugin-lock-type-tag |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
plugin-owner-tracking |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
plugin-resolution-locality |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
manifest-roundtrip |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
manifest-validation-total |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
plugin-isolation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-self-dependency |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
manifest-parse |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
manifest-add-dep |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
manifest-add-mirror |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-orphaned-set |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-undeclared-set-reference |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
Ion Resolution¶
Specification file: docs/specs/ion-resolution.md
| Constraint ID | Status | Mechanism | Verification Path |
version-semantics-semver |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-schema-version |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-sets-capture |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-atom-entry-fields |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-requires-graph |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-direct-flag |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-compose-capture |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-plugin-entries |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
resolution-complete |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
resolution-deterministic |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
resolution-highest-match |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
resolution-unsolvable-diagnostic |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
resolution-transitive |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-partial-lock |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-stale-lock-entry |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
no-constraint-violation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-reproducibility |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
reconcile-idempotent |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
plugin-dep-sanitization |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
git-tag-version-inference |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
reconcile |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-freeze |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-atomic-write |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
Layer Boundaries¶
Specification file: docs/specs/layer-boundaries.md
| Constraint ID | Status | Mechanism | Verification Path |
boundary-downward-only |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-contract-only |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-impl-isolation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-intra-workspace |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-contract-types |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-contract-dep-budget |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-no-backend-leakage |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-L1-concerns |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-L2-concerns |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-L3-concerns |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-L4-concerns |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-L5-concerns |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-lock-ownership |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-bridge-crate |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-store-separation |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-ci-enforcement |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-crate-metadata |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
boundary-violation-budget |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
Lock File Schema¶
Specification file: docs/specs/lock-file-schema.md
| Constraint ID | Status | Mechanism | Verification Path |
lock-sufficiency |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-recomputability |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-choice-policy |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-groundness |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-closure-completeness |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-action-totality |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-in-snapshot-locality |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-schema-version |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-tool-owned |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-set-anchor |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-set-charter-head |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-set-snapshot |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-set-mirrors |
✅ VERIFIED | Enforces mirrors field must contain at least one mirror URL. | ion/ion-lock/src/lib.rs:218 (Test: ion/ion-lock/src/lib.rs:test_lock_file_roundtrip) |
lock-set-referenced |
✅ VERIFIED | Ensures that every atom's referenced set exists in sets. | ion/ion-lock/src/lib.rs:251 (Test: ion/ion-lock/src/lib.rs:test_lock_file_roundtrip) |
lock-single-version |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-dep-version |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-dep-publish |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-annotation-consistency |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-dep-requires |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-requires-resolvable |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-requires-acyclic |
✅ VERIFIED | Performs a DFS cycle check over the requires graph to enforce acyclicity. | ion/ion-lock/src/lib.rs:319 (Test: ion/ion-lock/src/lib.rs:test_lock_file_acyclicity_invariant) |
lock-dep-liveness |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-dep-ordering |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-fetch-digest |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-fetch-naming |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-fetch-liveness |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-fetch-adopted-absent |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-canonical-form |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-atomic-write |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-no-compose |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-no-params |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-no-toolchain-section |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-no-interfaces |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-no-override-state |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-no-foreign-metadata |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |
lock-no-plan-digest |
❌ UNVERIFIED | No implementation annotations found. Verification is pending. | - |