Invariant Skeleton
The cross-reference graph of all 467 registry rules. Color = tier,
size = total degree, edges = cross_ref. The most-referenced rules are the
load-bearing vertebrae the rest of the registry anchors to.
467
rules
1475
cross-references
3.16
avg refs / rule
45
isolated (no refs)
Loading 3D force layout…
Loading 3D force layout…
Top hubs — most-referenced rules (the vertebrae)
| Rule | Inbound | Tier | Status | Statement |
|---|---|---|---|---|
| T-DET-01 | 47 | true | enforced | Same canonical inputs -> same authoritative bytes (per Byte Authority Model) |
| RO-LIVE-01 | 23 | release | partial | A Haskell cardano-node peer issuing RequestRange covering an Ade-forged block receives, via the producer-side block-fetch server, bytes that… |
| DC-CONS-03 | 22 | derived | enforced | Praos chain selection ordering: block number first, then Praos TiebreakerView (slot, issuer, op-cert issue number, VRF output). Density-base… |
| CN-CONS-01 | 19 | true | enforced | Chain selection must be deterministic for the same candidate chains and protocol observables |
| CN-NODE-01 | 17 | release | enforced | Single bootstrap authority: exactly one pub fn in ade_runtime::bootstrap returns the initial (LedgerState, PraosChainDepState, ChainDb tip) … |
| DC-NODE-05 | 17 | derived | enforced | Forge-slot discipline on the --mode node relay run-loop. A forge is attempted at most once per SlotNo and never for a slot <= the last forge… |
| DC-NODE-12 | 16 | derived | enforced | Own-forged durable admit chokepoint. A self-accepted forged block may become part of the durable chain ONLY by being submitted to the same d… |
| CN-CONS-03 | 16 | derived | enforced | After temporary partition, honest nodes must converge using only protocol-defined observables and declared emergency procedures |
| T-REC-05 | 14 | true | enforced | Replay/recovery equivalence including forged admits. Same BootstrapAnchor + same WAL (including forged AdmitBlock entries) -> byte-identical… |
| CN-CONS-08 | 13 | release | enforced | Receive-side single admission authority: every block that lands in ChainDb via the receive path passed block_validity with BlockValidityVerd… |