Ade Atlas

A read-only evidence dashboard over the Ade node's authority boundaries, invariants, seams, recent changes, and enforcement status. The repo stays the source of truth — this is a commit-pinned, regenerated projection of it.

Data as of 2026-08-30 00:13 UTC · pinned to ade@b502bd5 · ade docs lag by 134 commits (61 touching crates/)

crates

564

Enforcement health

By status

enforced329 (70%)

partial25 (5%)

declared112 (24%)

enforced_scaffolding1 (0%)

By tier

true80 (25%)

derived319 (100%)

release44 (14%)

operational18 (6%)

constraint4 (1%)

constraint_network2 (1%)

By family

T33 (11%)

DC288 (100%)

CN120 (42%)

RO16 (6%)

OP10 (3%)

Latest changes view deltas →

baseline: 470f9b892026-06-17 00:58
HEAD: 1e4896eb2026-07-31 17:25
commits: · + / -
rules: → (+0)
new rules
docs lag: +134 commits since repo tip ade@b502bd5 · 2026-08-29 19:42 UTC

Open work

CE-4B — declared follow-on (0 obligations)
CONWAY-DEPOSIT-PARAMS-BOOTSTRAP-S1 — declared follow-on (0 obligations)
CONWAY-PROPOSAL-DEPOSIT-EXPIRY-S1 — declared follow-on (0 obligations)
CONWAY-PROPOSAL-DEPOSIT-EXPIRY-S2 — declared follow-on (0 obligations)
CONWAY-PROPOSAL-DEPOSIT-EXPIRY-S3 — declared follow-on (0 obligations)
CONWAY-PROPOSAL-DEPOSIT-EXPIRY-S4 — declared follow-on (0 obligations)
CONWAY-PROPOSAL-DEPOSIT-EXPIRY-S4.0 — declared follow-on (0 obligations)
EPOCH-CONSENSUS-VIEW-S3f-1 — declared follow-on (0 obligations)
EPOCH-CONSENSUS-VIEW-S3f-4d-mat-1 — declared follow-on (0 obligations)
EPOCH-CONTINUITY-ACTIVATION-ECA-B3 — declared follow-on (0 obligations)
LIVE-LEDGER-EPOCH-TRANSITION-S1 — declared follow-on (0 obligations)
LIVE-LEDGER-EPOCH-TRANSITION-S2 — declared follow-on (0 obligations)
LIVE-LEDGER-EPOCH-TRANSITION-S3 — declared follow-on (0 obligations)
LIVE-LEDGER-EPOCH-TRANSITION-S4-0 — declared follow-on (0 obligations)
LIVE-LEDGER-EPOCH-TRANSITION-S4-L1 — declared follow-on (0 obligations)
LIVE-LEDGER-EPOCH-TRANSITION-S4-L2 — declared follow-on (0 obligations)
LIVE-LEDGER-EPOCH-TRANSITION-S4-pre-1a — declared follow-on (0 obligations)
LIVE-LEDGER-EPOCH-TRANSITION-S4-pre-1b — declared follow-on (0 obligations)
LIVE-LEDGER-EPOCH-TRANSITION-S4-pre-1c — declared follow-on (0 obligations)
LIVE-LEDGER-EPOCH-TRANSITION-S4-pre-2 — declared follow-on (0 obligations)
TBD — declared follow-on (0 obligations)

112 declared invariants remain open enforcement gaps. See Enforcement.

Explore

Architecture map

Modules by BLUE/GREEN/RED, the dependency graph, MUST-NOT rules, and the CI guarding each boundary.

Seam explorer

Where new work can legally attach: ingress pipelines, closed vs extensible registries, frozen contracts.

Invariant explorer

Search all 467 rules; trace each to code, tests, CI, and drift.

Invariant skeleton

Force-directed graph of every rule and its cross-references — find the load-bearing vertebrae.

Enforcement

Health counts, true invariants lacking CI, and rules referencing missing tests/scripts.

Clusters

Cluster/slice history — rules introduced and strengthened, CI added, follow-ons.

Certification

Bounty readiness traced upward to derived and true invariants (targets, not laws).