Enforcement Dashboard
Enforcement health across all 467 rules. Gaps are surfaced, not hidden — declared invariants and registry-named artifacts not on disk are shown explicitly.
467
total rules
329
enforced
25
partial
112
declared
Distribution
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%)
Priority gaps
True invariants lacking CI — 42
Constitution-level rules with no mechanical CI gate.
- CN-BUILD-01 declared
- CN-BUILD-02 declared
- CN-BUILD-03 declared
- CN-CRYPTO-01 declared
- CN-CRYPTO-02 partial
- CN-CRYPTO-03 declared
- CN-CRYPTO-04 declared
- CN-EPOCH-02 declared
- CN-EPOCH-04 declared
- CN-LEDGER-01 declared
- CN-LEDGER-02 declared
- CN-LEDGER-05 declared
- CN-LEDGER-06 declared
- CN-LEDGER-07 declared
- CN-LEDGER-08 declared
- CN-META-01 declared
- CN-META-02 declared
- CN-META-03 declared
- CN-PROTO-04 declared
- CN-PROTO-05 declared
- CN-STORE-01 declared
- CN-STORE-02 partial
- CN-WIRE-01 declared
- CN-WIRE-02 declared
- CN-WIRE-04 declared
- DC-CINPUT-05 enforced
- T-BOUND-01 declared
- T-BUILD-02 declared
- T-CAUSAL-01 declared
- T-COLL-01 declared
- T-CONS-02 declared
- T-CORE-03 declared
- T-CORE-04 declared
- T-ENC-02 declared
- T-EPOCH-01 partial
- T-ERR-01 partial
- T-ERR-02 declared
- T-KEY-01 declared
- T-PLATFORM-01 declared
- T-REC-05 enforced
- T-RESOURCE-01 declared
- T-TRANSPORT-01 declared
References not on disk — 4
Rules whose registry-named tests/CI weren't located in TRACEABILITY.
- DC-EPOCH-16 — 9 missing
- DC-EVIEW-05 — 1 missing
- DC-EVIEW-08 — 1 missing
- DC-MITHRIL-07 — 1 missing
Live rules missing tests — 13
Live rules missing CI — 32
Drift report — 0 hard / 48 soft
| Severity | Kind | Detail |
|---|---|---|
| soft | rule-missing-from-traceability | DC-EPOCH-26 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-EPOCH-27 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-EPOCH-28 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-EPOCH-29 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-EPOCH-30 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-EPOCH-31 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-EPOCH-32 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-EPOCH-33 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-EPOCH-34 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-EPOCH-35 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-EPOCH-36 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-EPOCH-37 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-EPOCH-38 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-EPOCH-39 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-EPOCH-40 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-LEDGER-13 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-LEDGER-PHASE2-01 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-LEDGER-PHASE2-02 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-LEDGER-PHASE2-03 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-LEDGER-PHASE2-04 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-NODE-42 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-NODE-43 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-NODE-44 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-NODE-45 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-NODE-46 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-NODE-47 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-PUMP-05 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-PUMP-06 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-PUMP-07 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-PUMP-08 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-PUMP-09 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-PUMP-10 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-STORE-10 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-STORE-11 is in the registry but absent from TRACEABILITY. |
| soft | rule-missing-from-traceability | DC-STORE-12 is in the registry but absent from TRACEABILITY. |
| soft | test-not-on-disk | DC-EPOCH-16: registry-named test "bridge_equivalence_seeded_snapshot_tick_reproduces_eca5_eta0" not located on disk (per TRACEABILITY). |
| soft | test-not-on-disk | DC-EPOCH-16: registry-named test "header_contribution_advances_evolving_lab_candidate" not located on disk (per TRACEABILITY). |
| soft | test-not-on-disk | DC-EPOCH-16: registry-named test "candidate_freezes_at_freeze_boundary" not located on disk (per TRACEABILITY). |
| soft | test-not-on-disk | DC-EPOCH-16: registry-named test "epoch_tick_combines_candidate_with_last_epoch_block_nonce_no_reset" not located on disk (per TRACEABILITY). |
| soft | test-not-on-disk | DC-EPOCH-16: registry-named test "epoch_tick_rotates_last_epoch_block_nonce_from_lab" not located on disk (per TRACEABILITY). |
| soft | test-not-on-disk | DC-EPOCH-16: registry-named test "epoch_tick_fails_closed_on_absent_operand" not located on disk (per TRACEABILITY). |
| soft | test-not-on-disk | DC-EPOCH-16: registry-named test "chain_dep_array10_round_trip_some_and_none" not located on disk (per TRACEABILITY). |
| soft | test-not-on-disk | DC-EPOCH-16: registry-named test "chain_dep_always_writes_array10" not located on disk (per TRACEABILITY). |
| soft | test-not-on-disk | DC-EPOCH-16: registry-named test "b1_store_round_trip_reproduces_next_boundary_eta0" not located on disk (per TRACEABILITY). |
| soft | test-not-on-disk | DC-EVIEW-05: registry-named test "delegated_zero_stake_pool_is_included_with_zero" not located on disk (per TRACEABILITY). |
| soft | test-not-on-disk | DC-EVIEW-08: registry-named test "epoch_boundary_consumes_precomputed_aggregate_mark" not located on disk (per TRACEABILITY). |
| soft | test-not-on-disk | DC-MITHRIL-07: registry-named test "native_first_run_missing_shelley_genesis_is_terminal" not located on disk (per TRACEABILITY). |
| soft | repo-head-skew | Docs were generated at HEAD 1e4896eb; the repo is at b502bd5c and 61 code commit(s) have landed since — the docs may predate them. |
CI checks — 258 referenced
| Script | Enforces | Scope |
|---|---|---|
| ci_check_accumulator_refold_bound.sh | — | |
| ci_check_admission_log_vocabulary_closed.sh | — | |
| ci_check_admission_no_red_verdicts.sh | — | |
| ci_check_admission_no_refscript_skip.sh | — | |
| ci_check_admission_runner_closure.sh | — | |
| ci_check_admission_runner_no_block_byte_map.sh | — | |
| ci_check_admission_wire_pump_closure.sh | — | |
| ci_check_admit_replay_equivalence.sh | — | |
| ci_check_admitted_block_closure.sh | — | |
| ci_check_adversarial_false_accept_corpus.sh | — | |
| ci_check_alloc_determinism_neutral.sh | — | |
| ci_check_ba02_evidence_closed.sh | — | |
| ci_check_ba02_evidence_manifest_schema.sh | — | |
| ci_check_block_fetch_server_closure.sh | — | |
| ci_check_bnd_typed_stall_cause.sh | — | |
| ci_check_bootstrap_anchor_closure.sh | — | |
| ci_check_bootstrap_closure.sh | — | |
| ci_check_bootstrap_rupd_fee_reduction.sh |
| |
| ci_check_bootstrap_rupd_window_end.sh |
| |
| ci_check_boundary_aligned_mark_capture.sh |
| |
| ci_check_bounded_inbound_admission.sh | — | |
| ci_check_bridge_nonce_freeze_differential.sh | — | |
| ci_check_broadcast_to_served_purity.sh | — | |
| ci_check_candidate_construction_validated.sh | — | |
| ci_check_cbor_round_trip.sh | — | |
| ci_check_ce_n_a_5_proof.sh | — | |
| ci_check_cert_evidence_only.sh | — | |
| ci_check_chain_selection_arrival_order_independent.sh | — | |
| ci_check_chain_sync_server_closure.sh | — | |
| ci_check_chaindb_contract.sh | — | |
| ci_check_chaindb_crash_safety.sh | — | |
| ci_check_chainsync_findintersect_compat.sh | — | |
| ci_check_clock_seam.sh | — | |
| ci_check_codec_message_closed.sh | — | |
| ci_check_collateral_balance_resolver.sh | — | |
| ci_check_collateral_retention_positioning.sh | — | |
| ci_check_consensus_closed_enums.sh | — | |
| ci_check_consensus_input_provenance.sh | — | |
| ci_check_convergence_evidence_emit_only.sh | — | |
| ci_check_convergence_evidence_schema.sh | — | |
| ci_check_convergence_evidence_vocabulary_closed.sh | — | |
| ci_check_conway_cert_classification_closed.sh | — | |
| ci_check_conway_deposit_params_bootstrap.sh |
| |
| ci_check_credential_discriminant_closed.sh |
| |
| ci_check_crypto_vectors.sh | — | |
| ci_check_dependency_boundary.sh | — | |
| ci_check_deposit_param_authority.sh | — | |
| ci_check_differential_divergence.sh | — | |
| ci_check_epoch_accumulator_no_utxo.sh |
| |
| ci_check_epoch_accumulator_recovery.sh |
| |
| ci_check_epoch_agreement.sh | — | |
| ci_check_eview_activate.sh | — | |
| ci_check_eview_activation_predicate.sh | — | |
| ci_check_eview_activation_recovery.sh | — | |
| ci_check_eview_activation_wal.sh | — | |
| ci_check_eview_activation.sh | — | |
| ci_check_eview_atomic_authority.sh | — | |
| ci_check_eview_automatic_activation.sh | — | |
| ci_check_eview_bootstrap_cert_state.sh | — | |
| ci_check_eview_candidate.sh | — | |
| ci_check_eview_epoch_rebind.sh | — | |
| ci_check_eview_forecast_crossing.sh |
| |
| ci_check_eview_leadership_complete.sh | — | |
| ci_check_eview_live_checkpoint.sh | — | |
| ci_check_eview_pointer_compat.sh | — | |
| ci_check_eview_pool_lifecycle.sh | — | |
| ci_check_eview_reduced_utxo_checkpoint.sh | — | |
| ci_check_eview_refold_reseal.sh | — | |
| ci_check_eview_seed_sidecar_v4.sh | — | |
| ci_check_eview_source_window.sh | — | |
| ci_check_eview_stability_gate.sh | — | |
| ci_check_eview_stake_aggregation.sh | — | |
| ci_check_eview_stake_ref_classification.sh | — | |
| ci_check_eview_view_binding.sh | — | |
| ci_check_eview_window_driver.sh | — | |
| ci_check_eview_windowed_advance.sh | — | |
| ci_check_feed_leader_threshold_view.sh | — | |
| ci_check_feed_tag24_unwrap.sh | — | |
| ci_check_followed_peer_tip_served_evidence.sh | — | |
| ci_check_forbidden_patterns.sh | — | |
| ci_check_forge_decode_round_trip.sh | — | |
| ci_check_forge_followed_tip_admission.sh | — | |
| ci_check_forge_intent_closed.sh | — | |
| ci_check_forge_purity.sh | — | |
| ci_check_forge_slot_authority.sh | — | |
| ci_check_forge_successor_evolved_spine.sh | — | |
| ci_check_forged_durable_admit_via_pump.sh | — | |
| ci_check_fork_choice_evidence_closed.sh | — | |
| ci_check_fork_switch_never_abandons.sh | — | |
| ci_check_forward_sync_chokepoint_only.sh | — | |
| ci_check_forward_sync_fp_cache.sh | — | |
| ci_check_frozen_leadership_authority.sh | S4-pre | |
| ci_check_frozen_promotion_no_seed_window.sh | S4-L2 | |
| ci_check_frozen_recovery_no_seed_window.sh | S4-L1 | |
| ci_check_genesis_consistency_fixture_present.sh | — | |
| ci_check_genesis_replay_open_obligation.sh | — | |
| ci_check_genesis_successor_reachability.sh | — | |
| ci_check_gov_cert_accumulation_closed.sh | — | |
| ci_check_gov_proposal_capture.sh |
| |
| ci_check_handshake_closure.sh | — | |
| ci_check_hash_uses_wire_bytes.sh | — | |
| ci_check_header_body_binding.sh | — | |
| ci_check_hfc_translation.sh | — | |
| ci_check_ingress_chokepoints.sh | — | |
| ci_check_keep_alive_wire_only.sh | — | |
| ci_check_kes_envelope_closed.sh | — | |
| ci_check_kes_evolution_before_sign.sh | — | |
| ci_check_kes_sum_compatibility.sh | — | |
| ci_check_lagging_is_evidence_only.sh | — | |
| ci_check_lca_anchor_walk.sh | — | |
| ci_check_leader_check_authority.sh | — | |
| ci_check_ledger_determinism.sh | — | |
| ci_check_ledgerdb_state_decode.sh | — | |
| ci_check_ledgerdb_tables_decode.sh | — | |
| ci_check_lifecycle_owner_uses_bootstrap_initial_state.sh | — | |
| ci_check_live_consensus_inputs_closure.sh | — | |
| ci_check_live_consensus_inputs_fingerprint.sh | — | |
| ci_check_live_feed_memory_bounds.sh | — | |
| ci_check_live_fork_choice_apply.sh | — | |
| ci_check_live_fork_choice_wiring.sh | — | |
| ci_check_live_ledger_view_epoch_window.sh | — | |
| ci_check_live_operator_pass_scaffold.sh | — | |
| ci_check_live_selector_dispatch.sh | — | |
| ci_check_local_durable_forge_base.sh | — | |
| ci_check_loop_planner_closed.sh | — | |
| ci_check_mem_measure_evidence.sh | — | |
| ci_check_mem_opt_s2_import_peak.sh | — | |
| ci_check_mem_opt_s3_owned.sh | — | |
| ci_check_mempool_ingress_closure.sh | — | |
| ci_check_mempool_ingress_replay.sh | — | |
| ci_check_mini_protocol_id_registry_closed.sh | — | |
| ci_check_mini_protocol_surface.sh | — | |
| ci_check_mini_protocol_transition_purity.sh | — | |
| ci_check_missing_bridge_fail_closed.sh | — | |
| ci_check_missing_bridge_refetch.sh | — | |
| ci_check_mithril_authority_transition.sh | — | |
| ci_check_mithril_documented_evidence.sh | — | |
| ci_check_mithril_seed_point_independence.sh | — | |
| ci_check_mithril_uses_bootstrap_initial_state.sh | — | |
| ci_check_mux_frame_closure.sh | — | |
| ci_check_n2n_handshake_versiondata_authority.sh | — | |
| ci_check_n2n_server_no_signing_dep.sh | — | |
| ci_check_native_firstrun_no_cli_seed.sh | — | |
| ci_check_native_firstrun_reduced_checkpoint.sh |
| |
| ci_check_native_nonutxo_decode.sh | — | |
| ci_check_no_async_in_blue.sh | — | |
| ci_check_no_chaindb_in_consensus_blue.sh | — | |
| ci_check_no_density_in_fork_choice.sh | — | |
| ci_check_no_float_in_consensus.sh | — | |
| ci_check_no_haskell_fingerprint_equality.sh | — | |
| ci_check_no_independent_forge_codepath.sh | — | |
| ci_check_no_parallel_header_splitter.sh | — | |
| ci_check_no_private_keys_in_corpus.sh | — | |
| ci_check_no_produce_mode_direct_transport_writes.sh | — | |
| ci_check_no_producer_body_encoder.sh | — | |
| ci_check_no_semantic_cfg.sh | — | |
| ci_check_no_signing_in_blue.sh | — | |
| ci_check_node_binary_uses_single_bootstrap.sh | — | |
| ci_check_node_forge_real_cli_ingress.sh | — | |
| ci_check_node_forge_single_epoch_fail_closed.sh | — | |
| ci_check_node_mode_closure.sh | — | |
| ci_check_node_path_fidelity.sh | — | |
| ci_check_node_run_loop_containment.sh | — | |
| ci_check_node_sched_events_emit_only.sh | — | |
| ci_check_node_serve_lifetime.sh | — | |
| ci_check_node_sync_via_pump.sh | — | |
| ci_check_opcert_closed.sh | — | |
| ci_check_operator_evidence_manifest_schema.sh | — | |
| ci_check_operator_forge_no_secret_leak.sh | — | |
| ci_check_orchestrator_core_purity.sh | — | |
| ci_check_outbound_segmentation.sh | — | |
| ci_check_overlay_utxo_s2a.sh | — | |
| ci_check_participant_forge_on_selected_head.sh | — | |
| ci_check_participant_venue_inert.sh | — | |
| ci_check_peer_identity_preserved.sh | — | |
| ci_check_peer_session_isolation.sh | — | |
| ci_check_persistent_writer_no_parallel_cadence.sh | — | |
| ci_check_phase2_invalid_utxo_effect.sh | — | |
| ci_check_plutus_budget_cap.sh | — | |
| ci_check_plutus_conformance.sh | — | |
| ci_check_plutus_eval_purity.sh | — | |
| ci_check_plutus_oracle_no_false_accept.sh | — | |
| ci_check_poolreap_single_canonical.sh |
| |
| ci_check_post_switch_convergence_window.sh | — | |
| ci_check_praos_nonce_follow_evolution.sh |
| |
| ci_check_prevhash_single_wire_authority.sh | — | |
| ci_check_private_key_custody.sh | — | |
| ci_check_produce_mode_uses_bootstrap_initial_state.sh | — | |
| ci_check_producer_coordinator_no_secrets.sh | — | |
| ci_check_producer_corpus_present.sh | — | |
| ci_check_producer_praos_vrf.sh | — | |
| ci_check_proposal_procedures_closed.sh | — | |
| ci_check_receive_detector_venue_split.sh | — | |
| ci_check_receive_idempotency.sh | — | |
| ci_check_receive_orchestrator_no_producer_dep.sh | — | |
| ci_check_receive_paths_corpus_present.sh | — | |
| ci_check_receive_reducer_closure.sh | — | |
| ci_check_receive_replay_purity.sh | — | |
| ci_check_recover_follow_wal_lineage.sh | — | |
| ci_check_recovered_anchor_intersectable.sh | — | |
| ci_check_recovered_ledger_pparams_sourced.sh | — | |
| ci_check_recovery_contract.sh | — | |
| ci_check_recovery_fault_self_describing.sh | — | |
| ci_check_reduced_boundary_plane.sh | RVBP (band 10) | |
| ci_check_ref_provenance.sh | — | |
| ci_check_registry_code_locus_exists.sh | — | |
| ci_check_rehearsal_manifest_schema.sh | — | |
| ci_check_required_signer_closure.sh | — | |
| ci_check_rollback_materialize_closure.sh | — | |
| ci_check_rollback_materialize_eta0.sh | — | |
| ci_check_rollback_retention_evidence.sh | — | |
| ci_check_rollback_target_canonical_binding.sh | — | |
| ci_check_scheduler_closure.sh | — | |
| ci_check_seed_import_closure.sh | — | |
| ci_check_seed_import_full_preprod_support.sh | — | |
| ci_check_self_accept_gate.sh | — | |
| ci_check_serve_listener_magic_aware.sh | — | |
| ci_check_serve_range_bounded.sh | — | |
| ci_check_served_chain_closure.sh | — | |
| ci_check_served_chain_handoff_fence.sh | — | |
| ci_check_served_chain_projection.sh | — | |
| ci_check_server_paths_corpus_present.sh | — | |
| ci_check_session_core_closure.sh | — | |
| ci_check_session_no_unbounded.sh | — | |
| ci_check_session_proto_reassembly.sh | — | |
| ci_check_settled_rewind_survives_recovery.sh | — | |
| ci_check_settled_triple_integrity.sh | — | |
| ci_check_sigma_denominator_authority.sh | — | |
| ci_check_single_producer_extend_own_spine.sh | — | |
| ci_check_single_serve_dispatch_authority.sh | — | |
| ci_check_snapshot_cadence_purity.sh | — | |
| ci_check_snapshot_encoder_closure.sh | — | |
| ci_check_snapshot_pool_set_inclusion.sh |
| |
| ci_check_store_semantics_gate.sh | — | |
| ci_check_store_semantics_lock.sh | — | |
| ci_check_sync_evidence_manifest_schema.sh | — | |
| ci_check_tables_to_utxostate.sh | — | |
| ci_check_tag24_wire_authority.sh | — | |
| ci_check_transient_view_memory_ceiling.sh | — | |
| ci_check_transient_view_no_fallback.sh | — | |
| ci_check_transient_view_not_live.sh | — | |
| ci_check_trusted_replay_boundary.sh | RVBP / recovery (band 10) | |
| ci_check_tx_submission2_real_capture.sh | — | |
| ci_check_unsigned_header_preimage_single_source.sh | — | |
| ci_check_utxo_fp_cache.sh | — | |
| ci_check_utxo_fp_v2.sh | — | |
| ci_check_utxo_lookup_owned.sh | — | |
| ci_check_value_quantity_domain.sh | — | |
| ci_check_venue_constant_containment.sh | — | |
| ci_check_venue_differential.sh | — | |
| ci_check_wal_append_only.sh | — | |
| ci_check_wal_rollback_replay_equiv.sh | — | |
| ci_check_warm_start_re_entry.sh | — | |
| ci_check_warmstart_eta0_overlay.sh | ECA-B (band 7) | |
| ci_check_wire_liveness.sh | — | |
| ci_check_wire_only_event_vocabulary_closed.sh | — | |
| ci_check_wire_only_no_bootstrap.sh | — | |
| ci_check_wire_pump_fairness.sh | — |