AdeAtlas

Clusters

169 clusters, derived from the invariant registry's introduced_in / strengthened_in fields, the HEAD-delta commit log, and the CODEMAP CI table. A cluster is "declared" until at least one of its rules is live.

TBD

declared
introduced 2
DC-NODE-17DC-NODE-19
strengthened 0

LIVE-LEDGER-EPOCH-TRANSITION-S4-pre-2

declared
introduced 0
strengthened 1
DC-EPOCH-25
CI checks
ci_check_frozen_leadership_authority.shci_check_frozen_promotion_no_seed_window.shci_check_frozen_recovery_no_seed_window.sh

LIVE-LEDGER-EPOCH-TRANSITION-S4-pre-1c

declared
introduced 0
strengthened 1
DC-EPOCH-25
CI checks
ci_check_frozen_leadership_authority.shci_check_frozen_promotion_no_seed_window.shci_check_frozen_recovery_no_seed_window.sh

LIVE-LEDGER-EPOCH-TRANSITION-S4-pre-1b

declared
introduced 0
strengthened 1
DC-EPOCH-25
CI checks
ci_check_frozen_leadership_authority.shci_check_frozen_promotion_no_seed_window.shci_check_frozen_recovery_no_seed_window.sh

LIVE-LEDGER-EPOCH-TRANSITION-S4-pre-1a

declared
introduced 1
DC-EPOCH-25
strengthened 0
CI checks
ci_check_frozen_leadership_authority.shci_check_frozen_promotion_no_seed_window.shci_check_frozen_recovery_no_seed_window.sh

LIVE-LEDGER-EPOCH-TRANSITION-S4-L2

declared
introduced 0
strengthened 1
DC-EPOCH-25
CI checks
ci_check_frozen_leadership_authority.shci_check_frozen_promotion_no_seed_window.shci_check_frozen_recovery_no_seed_window.sh

LIVE-LEDGER-EPOCH-TRANSITION-S4-L1

declared
introduced 0
strengthened 1
DC-EPOCH-25
CI checks
ci_check_frozen_leadership_authority.shci_check_frozen_promotion_no_seed_window.shci_check_frozen_recovery_no_seed_window.sh

LIVE-LEDGER-EPOCH-TRANSITION-S4-0

declared
introduced 0
strengthened 1
DC-EPOCH-25
CI checks
ci_check_frozen_leadership_authority.shci_check_frozen_promotion_no_seed_window.shci_check_frozen_recovery_no_seed_window.sh

LIVE-LEDGER-EPOCH-TRANSITION-S3

declared
introduced 2
DC-EPOCH-21DC-EPOCH-22
strengthened 0
CI checks
ci_check_boundary_aligned_mark_capture.shci_check_poolreap_single_canonical.sh

LIVE-LEDGER-EPOCH-TRANSITION-S2

declared
introduced 1
DC-EPOCH-20
strengthened 0
CI checks
ci_check_epoch_accumulator_recovery.sh

LIVE-LEDGER-EPOCH-TRANSITION-S1

declared
introduced 1
DC-EPOCH-19
strengthened 0
CI checks
ci_check_epoch_accumulator_no_utxo.sh

EPOCH-CONTINUITY-ACTIVATION-ECA-B3

declared
introduced 1
DC-EPOCH-17
strengthened 0

EPOCH-CONSENSUS-VIEW-S3f-4d-mat-1

declared
introduced 1
DC-EPOCH-11
strengthened 0
CI checks
ci_check_eview_live_checkpoint.sh

EPOCH-CONSENSUS-VIEW-S3f-1

declared
introduced 1
DC-EVIEW-08
strengthened 0
CI checks
ci_check_eview_activation.sh

CONWAY-PROPOSAL-DEPOSIT-EXPIRY-S4.0

declared
introduced 0
strengthened 1
DC-GOV-01
CI checks
ci_check_gov_proposal_capture.sh

CONWAY-PROPOSAL-DEPOSIT-EXPIRY-S4

declared
introduced 0
strengthened 1
DC-GOV-01
CI checks
ci_check_gov_proposal_capture.sh

CONWAY-PROPOSAL-DEPOSIT-EXPIRY-S3

declared
introduced 0
strengthened 1
DC-GOV-01
CI checks
ci_check_gov_proposal_capture.sh

CONWAY-PROPOSAL-DEPOSIT-EXPIRY-S2

declared
introduced 0
strengthened 1
DC-GOV-01
CI checks
ci_check_gov_proposal_capture.sh

CONWAY-PROPOSAL-DEPOSIT-EXPIRY-S1

declared
introduced 1
DC-GOV-01
strengthened 0
CI checks
ci_check_gov_proposal_capture.sh

CONWAY-DEPOSIT-PARAMS-BOOTSTRAP-S1

declared
introduced 1
DC-CINPUT-07
strengthened 0
CI checks
ci_check_conway_deposit_params_bootstrap.sh

CE-4B

declared
introduced 0
strengthened 1
DC-EPOCH-19
CI checks
ci_check_epoch_accumulator_no_utxo.sh
2 commits
  • c5bdc064 feat — feat(ledger): CE-4B -- three-boundary continuous operation 1340->1343 self-sufficient (N->N+1->N+2->N+3)
  • 8a085b10 docs — docs(ledger): open CE-4B -- literal three-boundary continuous-operation proof (N->N+1->N+2->N+3)

WARMSTART-ERA-SCHEDULE-VENUE

closed
introduced 1
DC-CINPUT-05
strengthened 0

TXSUB2-CODEC-REALWIRE

closed
introduced 1
DC-PROTO-11
strengthened 1
DC-PROTO-02
CI checks
ci_check_tx_submission2_real_capture.sh

PROPOSAL-PROCEDURES-DECODE

closed
introduced 1
DC-LEDGER-11
strengthened 0
CI checks
ci_check_proposal_procedures_closed.sh

PREPROD-NONCE-2

closed
introduced 1
DC-EPOCH-38
strengthened 0
CI checks
ci_check_bridge_nonce_freeze_differential.sh

PREPROD-LIVE-2c-ACTIVATION

closed
introduced 2
DC-NODE-45DC-NODE-46
strengthened 0
CI checks
ci_check_forge_slot_authority.sh

PREPROD-LIVE-2-LV-1

closed
introduced 1
DC-EPOCH-40
strengthened 0
CI checks
ci_check_sigma_denominator_authority.shci_check_store_semantics_lock.sh

PREPROD-LIVE-2-BND-2d

closed
introduced 1
DC-LEDGER-PHASE2-04
strengthened 0
CI checks
ci_check_collateral_retention_positioning.sh

PREPROD-LIVE-2-BND-2c

closed
introduced 1
DC-LEDGER-PHASE2-03
strengthened 0
CI checks
ci_check_collateral_balance_resolver.sh

PREPROD-LIVE-2-BND-2b

closed
introduced 1
DC-LEDGER-PHASE2-02
strengthened 0
CI checks
ci_check_collateral_balance_resolver.sh

PREPROD-LIVE-2-BND-2a

closed
introduced 1
DC-LEDGER-PHASE2-01
strengthened 0
CI checks
ci_check_phase2_invalid_utxo_effect.sh

PREPROD-LIVE-2-BND-1

closed
introduced 1
DC-EPOCH-39
strengthened 0
CI checks
ci_check_bnd_typed_stall_cause.sh

PREPROD-LIVE-2-B12

closed
introduced 1
DC-NODE-47
strengthened 1
DC-NODE-15
CI checks
ci_check_followed_peer_tip_served_evidence.shci_check_forge_followed_tip_admission.sh

PREPROD-ENTRY-AUTHORITY-P6-S5

closed
introduced 1
DC-EPOCH-37
strengthened 0
CI checks
ci_check_venue_differential.sh

PREPROD-ENTRY-AUTHORITY-P6-S4

closed
introduced 1
DC-NODE-44
strengthened 0
CI checks
ci_check_recovery_fault_self_describing.sh

PREPROD-ENTRY-AUTHORITY-P6

closed
introduced 3
DC-STORE-10DC-STORE-11DC-STORE-12
strengthened 0
CI checks
ci_check_store_semantics_gate.shci_check_store_semantics_lock.sh

PREPROD-ENTRY-AUTHORITY-P5

closed
introduced 2
DC-EPOCH-36DC-LEDGER-13
strengthened 0
CI checks
ci_check_epoch_agreement.shci_check_venue_constant_containment.sh

PHASE4-N-Z

closed
introduced 1
DC-MITHRIL-02
strengthened 2
CN-MITHRIL-01RO-MITHRIL-IMPORT-01
CI checks
ci_check_mithril_documented_evidence.shci_check_mithril_seed_point_independence.shci_check_mithril_uses_bootstrap_initial_state.sh

PHASE4-N-Y

closed
introduced 6
CN-MITHRIL-01DC-COMPAT-01DC-GENESIS-SRC-01DC-MITHRIL-01DC-SYNC-01RO-SYNC-EVIDENCE-01
strengthened 15
CN-ANCHOR-01CN-GENESIS-01CN-NODE-01CN-SEED-01DC-ANCHOR-01DC-CONS-20DC-STORE-01DC-STORE-02DC-STORE-03DC-STORE-05DC-WAL-01DC-WAL-02DC-WAL-03RO-MITHRIL-IMPORT-01T-DET-01
CI checks
ci_check_bootstrap_anchor_closure.shci_check_bootstrap_closure.shci_check_chaindb_contract.shci_check_chaindb_crash_safety.shci_check_consensus_closed_enums.shci_check_forbidden_patterns.shci_check_forward_sync_chokepoint_only.shci_check_genesis_consistency_fixture_present.shci_check_ledger_determinism.shci_check_mithril_documented_evidence.shci_check_mithril_seed_point_independence.shci_check_mithril_uses_bootstrap_initial_state.shci_check_no_haskell_fingerprint_equality.shci_check_node_forge_real_cli_ingress.shci_check_node_mode_closure.shci_check_node_sync_via_pump.shci_check_produce_mode_uses_bootstrap_initial_state.shci_check_receive_orchestrator_no_producer_dep.shci_check_receive_reducer_closure.shci_check_recover_follow_wal_lineage.shci_check_recovery_contract.shci_check_rollback_materialize_closure.shci_check_seed_import_closure.shci_check_seed_import_full_preprod_support.shci_check_sync_evidence_manifest_schema.shci_check_wal_append_only.sh

PHASE4-N-X

closed
introduced 1
CN-WIRE-08
strengthened 3
CN-FORGE-03DC-CONS-17DC-CONS-18
CI checks
ci_check_block_fetch_server_closure.shci_check_broadcast_to_served_purity.shci_check_forge_decode_round_trip.shci_check_no_parallel_header_splitter.shci_check_tag24_wire_authority.shci_check_unsigned_header_preimage_single_source.sh

PHASE4-N-W

closed
introduced 1
CN-FORGE-04
strengthened 2
CN-FORGE-01DC-PROD-03
CI checks
ci_check_no_independent_forge_codepath.shci_check_producer_coordinator_no_secrets.shci_check_producer_praos_vrf.sh

PHASE4-N-V

closed
introduced 2
CN-FORGE-03RO-CLOSE-01
strengthened 1
DC-CONS-18
CI checks
ci_check_broadcast_to_served_purity.shci_check_forge_decode_round_trip.shci_check_no_parallel_header_splitter.shci_check_unsigned_header_preimage_single_source.sh

PHASE4-N-U

closed
introduced 5
DC-CONS-23DC-NODE-12DC-NODE-13DC-WAL-04T-REC-05
strengthened 3
CN-CONS-07DC-NODE-06DC-NODE-11
CI checks
ci_check_admitted_block_closure.shci_check_forged_durable_admit_via_pump.shci_check_node_run_loop_containment.shci_check_receive_reducer_closure.shci_check_self_accept_gate.shci_check_served_chain_closure.shci_check_served_chain_handoff_fence.shci_check_served_chain_projection.sh

PHASE4-N-T

closed
introduced 3
CN-PROD-03CN-PROD-04DC-PROD-03
strengthened 5
CN-FORGE-01CN-NODE-01CN-PROD-02CN-SNAPSHOT-01DC-CONS-18
CI checks
ci_check_bootstrap_closure.shci_check_broadcast_to_served_purity.shci_check_no_independent_forge_codepath.shci_check_no_parallel_header_splitter.shci_check_node_mode_closure.shci_check_produce_mode_uses_bootstrap_initial_state.shci_check_producer_coordinator_no_secrets.shci_check_unsigned_header_preimage_single_source.sh

PHASE4-N-S-C

closed
introduced 1
CN-OPERATOR-EVIDENCE-01
strengthened 0
CI checks
ci_check_ba02_evidence_manifest_schema.shci_check_operator_evidence_manifest_schema.sh

PHASE4-N-S-B

closed
introduced 3
CN-OUTBOUND-RELAY-01CN-PEER-OUTBOUND-MAP-01DC-OUTBOUND-FIFO-01
strengthened 1
CN-PROD-01
CI checks
ci_check_n2n_server_no_signing_dep.shci_check_no_produce_mode_direct_transport_writes.sh

PHASE4-N-S-A

closed
introduced 3
CN-KES-HEADER-01CN-PREIMAGE-FIXTURE-01DC-KES-HEADER-01
strengthened 2
CN-FORGE-01DC-CONS-18
CI checks
ci_check_broadcast_to_served_purity.shci_check_no_independent_forge_codepath.shci_check_no_parallel_header_splitter.shci_check_producer_coordinator_no_secrets.shci_check_unsigned_header_preimage_single_source.sh

PHASE4-N-R-C

closed
introduced 4
CN-GENESIS-01CN-OPCERT-01DC-GENESIS-01DC-OPCERT-01
strengthened 1
CN-PROD-02
CI checks
ci_check_genesis_consistency_fixture_present.shci_check_node_forge_real_cli_ingress.shci_check_produce_mode_uses_bootstrap_initial_state.shci_check_producer_coordinator_no_secrets.sh

PHASE4-N-R-B

closed
introduced 3
CN-SNAPSHOT-01CN-SNAPSHOT-02DC-SNAPSHOT-01
strengthened 2
CN-PROD-01DC-CONS-17
CI checks
ci_check_block_fetch_server_closure.shci_check_broadcast_to_served_purity.shci_check_n2n_server_no_signing_dep.sh

PHASE4-N-R-A

closed
introduced 3
CN-FORGE-01CN-FORGE-02DC-FORGE-01
strengthened 3
CN-PROD-02DC-CONS-18T-KEY-01
CI checks
ci_check_broadcast_to_served_purity.shci_check_leader_check_authority.shci_check_no_independent_forge_codepath.shci_check_no_parallel_header_splitter.shci_check_produce_mode_uses_bootstrap_initial_state.shci_check_producer_coordinator_no_secrets.shci_check_unsigned_header_preimage_single_source.sh

PHASE4-N-Q

closed
introduced 4
CN-PROD-01CN-PROD-02DC-PROD-01DC-PROD-02
strengthened 2
CN-CONS-06RO-LIVE-01
CI checks
ci_check_n2n_server_no_signing_dep.shci_check_produce_mode_uses_bootstrap_initial_state.shci_check_producer_coordinator_no_secrets.shci_check_producer_corpus_present.shci_check_server_paths_corpus_present.sh

PHASE4-N-P

closed
introduced 2
DC-CRYPTO-08DC-CRYPTO-09
strengthened 4
DC-CRYPTO-04DC-CRYPTO-05DC-CRYPTO-07OP-OPS-04
CI checks
ci_check_kes_envelope_closed.shci_check_kes_sum_compatibility.shci_check_private_key_custody.sh

PHASE4-N-O

closed
introduced 2
DC-CRYPTO-06DC-CRYPTO-07
strengthened 1
OP-OPS-04
CI checks
ci_check_kes_envelope_closed.shci_check_kes_sum_compatibility.shci_check_private_key_custody.sh

PHASE4-N-M-SCHED

closed
introduced 0
strengthened 4
CN-CONS-IN-01DC-EVIDENCE-01DC-VIEW-01RO-LIVE-05
CI checks
ci_check_live_consensus_inputs_closure.shci_check_live_consensus_inputs_fingerprint.shci_check_live_ledger_view_epoch_window.shci_check_live_operator_pass_scaffold.sh

PHASE4-N-M-FRAG

closed
introduced 0
strengthened 3
DC-EVIDENCE-01RO-LIVE-05T-DET-01
CI checks
ci_check_consensus_closed_enums.shci_check_forbidden_patterns.shci_check_ledger_determinism.shci_check_live_operator_pass_scaffold.sh

PHASE4-N-M-FOLLOW

closed
introduced 0
strengthened 6
CN-PUMP-01DC-EVIDENCE-01DC-EVIDENCE-02DC-PUMP-01DC-PUMP-02RO-LIVE-05
CI checks
ci_check_admission_no_red_verdicts.shci_check_admission_wire_pump_closure.shci_check_adversarial_false_accept_corpus.shci_check_live_operator_pass_scaffold.sh

PHASE4-N-M-B

closed
introduced 0
strengthened 4
CN-NODE-01CN-STORE-03DC-WAL-03T-DET-01
CI checks
ci_check_bootstrap_closure.shci_check_chaindb_crash_safety.shci_check_consensus_closed_enums.shci_check_forbidden_patterns.shci_check_ledger_determinism.shci_check_node_mode_closure.shci_check_produce_mode_uses_bootstrap_initial_state.sh

PHASE4-N-M-A1.1

closed
introduced 0
strengthened 4
CN-SEED-01DC-EVIDENCE-01DC-SEED-01RO-LIVE-05
CI checks
ci_check_live_operator_pass_scaffold.shci_check_seed_import_closure.shci_check_seed_import_full_preprod_support.sh

PHASE4-N-M-A

closed
introduced 0
strengthened 10
CN-ANCHOR-01CN-CONS-08CN-SEED-01CN-WAL-01DC-ANCHOR-01DC-SEED-01DC-WAL-01DC-WAL-02DC-WAL-03T-DET-01
CI checks
ci_check_admitted_block_closure.shci_check_bootstrap_anchor_closure.shci_check_consensus_closed_enums.shci_check_forbidden_patterns.shci_check_ledger_determinism.shci_check_receive_reducer_closure.shci_check_recover_follow_wal_lineage.shci_check_seed_import_closure.shci_check_seed_import_full_preprod_support.shci_check_wal_append_only.sh

PHASE4-N-L-LIVE

closed
introduced 0
strengthened 1
RO-LIVE-04
CI checks
ci_check_wire_only_event_vocabulary_closed.shci_check_wire_only_no_bootstrap.sh

PHASE4-N-L

closed
introduced 0
strengthened 12
CN-CONS-08CN-SESS-01CN-SESS-02CN-SESS-03DC-NODE-01DC-NODE-03DC-SESS-01DC-SESS-02DC-SESS-03DC-SESS-04DC-SESS-05T-DET-01
CI checks
ci_check_admitted_block_closure.shci_check_clock_seam.shci_check_consensus_closed_enums.shci_check_forbidden_patterns.shci_check_handshake_closure.shci_check_ledger_determinism.shci_check_mini_protocol_id_registry_closed.shci_check_mux_frame_closure.shci_check_orchestrator_core_purity.shci_check_peer_session_isolation.shci_check_receive_reducer_closure.shci_check_session_core_closure.shci_check_session_no_unbounded.sh
1 commit
  • a882d304 test — test(ledger): CE3D-GO-STAKE-DERIVATION-LOCALIZATION S1 -- the -343B go-stake residual localized to the reward-account contribution (GREEN evidence)

PHASE4-N-K

closed
introduced 0
strengthened 12
CN-CONS-08CN-NODE-01CN-STORE-07CN-STORE-08DC-CONS-21DC-NODE-01DC-NODE-02DC-NODE-03DC-NODE-04DC-STORE-08DC-STORE-09T-DET-01
CI checks
ci_check_admitted_block_closure.shci_check_bootstrap_closure.shci_check_clock_seam.shci_check_consensus_closed_enums.shci_check_forbidden_patterns.shci_check_ledger_determinism.shci_check_node_binary_uses_single_bootstrap.shci_check_node_mode_closure.shci_check_orchestrator_core_purity.shci_check_peer_session_isolation.shci_check_persistent_writer_no_parallel_cadence.shci_check_produce_mode_uses_bootstrap_initial_state.shci_check_receive_reducer_closure.shci_check_rollback_materialize_closure.shci_check_snapshot_encoder_closure.sh

PHASE4-N-J

closed
introduced 0
strengthened 6
CN-STORE-07DC-CONS-20DC-CONS-21DC-CONS-22T-DET-01T-ENC-01
CI checks
ci_check_consensus_closed_enums.shci_check_forbidden_patterns.shci_check_hash_uses_wire_bytes.shci_check_ledger_determinism.shci_check_receive_orchestrator_no_producer_dep.shci_check_receive_reducer_closure.shci_check_rollback_materialize_closure.shci_check_snapshot_encoder_closure.sh

PHASE4-N-I

closed
introduced 3
CN-STORE-07DC-CONS-22DC-STORE-07
strengthened 4
CN-CONS-08DC-CONS-20DC-PROTO-09T-DET-01
CI checks
ci_check_admitted_block_closure.shci_check_consensus_closed_enums.shci_check_forbidden_patterns.shci_check_ledger_determinism.shci_check_receive_orchestrator_no_producer_dep.shci_check_receive_reducer_closure.shci_check_receive_replay_purity.shci_check_rollback_materialize_closure.shci_check_snapshot_cadence_purity.sh

PHASE4-N-H

closed
introduced 6
CN-CONS-08CN-PROTO-07DC-CONS-19DC-CONS-20DC-PROTO-09RO-LIVE-02
strengthened 6
CN-CONS-07DC-CONS-13DC-CONS-16DC-PROTO-06T-DET-01T-ENC-01
CI checks
ci_check_admitted_block_closure.shci_check_consensus_closed_enums.shci_check_forbidden_patterns.shci_check_forge_purity.shci_check_hash_uses_wire_bytes.shci_check_ledger_determinism.shci_check_mini_protocol_transition_purity.shci_check_no_parallel_header_splitter.shci_check_no_producer_body_encoder.shci_check_receive_orchestrator_no_producer_dep.shci_check_receive_paths_corpus_present.shci_check_receive_reducer_closure.shci_check_receive_replay_purity.shci_check_rollback_materialize_closure.shci_check_self_accept_gate.shci_check_served_chain_closure.sh

PHASE4-N-G

closed
introduced 6
CN-PROTO-06DC-CONS-17DC-CONS-18DC-PROTO-07DC-PROTO-08RO-LIVE-01
strengthened 5
CN-CONS-07DC-CONS-16DC-PROTO-06T-DET-01T-ENC-01
CI checks
ci_check_admitted_block_closure.shci_check_block_fetch_server_closure.shci_check_broadcast_to_served_purity.shci_check_chain_sync_server_closure.shci_check_consensus_closed_enums.shci_check_forbidden_patterns.shci_check_hash_uses_wire_bytes.shci_check_ledger_determinism.shci_check_mini_protocol_transition_purity.shci_check_no_parallel_header_splitter.shci_check_no_producer_body_encoder.shci_check_receive_reducer_closure.shci_check_self_accept_gate.shci_check_served_chain_closure.shci_check_server_paths_corpus_present.shci_check_unsigned_header_preimage_single_source.sh

PHASE4-N-F-G-R

closed
introduced 1
DC-NODE-11
strengthened 0
CI checks
ci_check_served_chain_projection.sh

PHASE4-N-F-G-Q

closed
introduced 1
DC-NODE-10
strengthened 0
CI checks
ci_check_forge_successor_evolved_spine.sh

PHASE4-N-F-G-P

closed
introduced 1
DC-CINPUT-04
strengthened 0
CI checks
ci_check_feed_leader_threshold_view.sh

PHASE4-N-F-G-O

closed
introduced 1
CN-WIRE-12
strengthened 0
CI checks
ci_check_feed_tag24_unwrap.sh

PHASE4-N-F-G-N

closed
introduced 2
DC-CINPUT-03T-REC-04
strengthened 0
CI checks
ci_check_warmstart_eta0_overlay.sh

PHASE4-N-F-G-M

closed
introduced 1
CN-WIRE-11
strengthened 0
CI checks
ci_check_chainsync_findintersect_compat.sh

PHASE4-N-F-G-L

closed
introduced 1
CN-WIRE-10
strengthened 0
CI checks
ci_check_n2n_handshake_versiondata_authority.sh

PHASE4-N-F-G-K

closed
introduced 1
DC-NODE-09
strengthened 0
CI checks
ci_check_node_serve_lifetime.sh

PHASE4-N-F-G-J

closed
introduced 3
CN-NODE-04CN-WIRE-09DC-NODE-08
strengthened 1
CN-REHEARSAL-FIDELITY-01
CI checks
ci_check_genesis_successor_reachability.shci_check_node_path_fidelity.shci_check_node_sched_events_emit_only.shci_check_prevhash_single_wire_authority.shci_check_rehearsal_manifest_schema.sh

PHASE4-N-F-G-I

closed
introduced 0
strengthened 1
CN-CINPUT-02
CI checks
ci_check_consensus_input_provenance.sh

PHASE4-N-F-G-H

closed
introduced 1
DC-NODE-07
strengthened 5
CN-PROTO-06DC-CONS-17DC-CONS-18DC-PROTO-07DC-PROTO-08
CI checks
ci_check_block_fetch_server_closure.shci_check_broadcast_to_served_purity.shci_check_chain_sync_server_closure.shci_check_no_parallel_header_splitter.shci_check_serve_listener_magic_aware.shci_check_single_serve_dispatch_authority.shci_check_unsigned_header_preimage_single_source.sh

PHASE4-N-F-G-E

closed
introduced 1
DC-LIVEMEM-01
strengthened 0
CI checks
ci_check_live_feed_memory_bounds.sh

PHASE4-N-F-G-D

closed
introduced 1
CN-REHEARSAL-FIDELITY-01
strengthened 0
CI checks
ci_check_genesis_successor_reachability.shci_check_node_path_fidelity.shci_check_rehearsal_manifest_schema.sh

PHASE4-N-F-G-C

closed
introduced 0
strengthened 4
CN-OPERATOR-EVIDENCE-01DC-NODE-06RO-LIVE-01RO-LIVE-06
CI checks
ci_check_ba02_evidence_closed.shci_check_ba02_evidence_manifest_schema.shci_check_node_run_loop_containment.shci_check_operator_evidence_manifest_schema.shci_check_served_chain_handoff_fence.shci_check_served_chain_projection.shci_check_server_paths_corpus_present.sh

PHASE4-N-F-G-B

closed
introduced 1
DC-NODE-06
strengthened 2
CN-CONS-07CN-PROD-04
CI checks
ci_check_admitted_block_closure.shci_check_node_run_loop_containment.shci_check_receive_reducer_closure.shci_check_self_accept_gate.shci_check_served_chain_closure.shci_check_served_chain_handoff_fence.shci_check_served_chain_projection.sh

PHASE4-N-F-G-A

closed
introduced 1
DC-EPOCH-03
strengthened 7
CN-GENESIS-01CN-NODE-01CN-OPCERT-01DC-CINPUT-02bDC-LEDGER-10DC-NODE-03DC-NODE-05
CI checks
ci_check_bootstrap_closure.shci_check_clock_seam.shci_check_consensus_input_provenance.shci_check_credential_discriminant_closed.shci_check_genesis_consistency_fixture_present.shci_check_loop_planner_closed.shci_check_node_forge_real_cli_ingress.shci_check_node_forge_single_epoch_fail_closed.shci_check_node_mode_closure.shci_check_node_run_loop_containment.shci_check_orchestrator_core_purity.shci_check_produce_mode_uses_bootstrap_initial_state.shci_check_recovered_ledger_pparams_sourced.sh

PHASE4-N-F-F

closed
introduced 1
CN-NODE-03
strengthened 4
CN-NODE-01CN-PROD-02DC-NODE-05OP-OPS-04
CI checks
ci_check_bootstrap_closure.shci_check_forge_intent_closed.shci_check_genesis_consistency_fixture_present.shci_check_kes_envelope_closed.shci_check_kes_sum_compatibility.shci_check_loop_planner_closed.shci_check_node_mode_closure.shci_check_node_run_loop_containment.shci_check_operator_forge_no_secret_leak.shci_check_private_key_custody.shci_check_produce_mode_uses_bootstrap_initial_state.shci_check_producer_coordinator_no_secrets.sh

PHASE4-N-F-E

closed
introduced 1
DC-NODE-05
strengthened 6
CN-NODE-02CN-PROD-02DC-CINPUT-02bDC-NODE-03DC-SYNC-02T-REC-03
CI checks
ci_check_clock_seam.shci_check_consensus_input_provenance.shci_check_genesis_consistency_fixture_present.shci_check_loop_planner_closed.shci_check_node_run_loop_containment.shci_check_node_sync_via_pump.shci_check_orchestrator_core_purity.shci_check_produce_mode_uses_bootstrap_initial_state.shci_check_producer_coordinator_no_secrets.shci_check_recovered_ledger_pparams_sourced.sh

PHASE4-N-F-D

closed
introduced 3
CN-NODE-02DC-SYNC-02T-REC-03
strengthened 3
DC-SYNC-01T-REC-01T-REC-02
CI checks
ci_check_chaindb_crash_safety.shci_check_forward_sync_chokepoint_only.shci_check_loop_planner_closed.shci_check_node_run_loop_containment.shci_check_node_sync_via_pump.shci_check_recovery_contract.sh

PHASE4-N-F-C

closed
introduced 3
CN-CINPUT-03DC-CINPUT-02bRO-LIVE-06
strengthened 10
CN-CINPUT-02CN-NODE-01CN-STORE-02DC-CINPUT-01DC-CINPUT-02aDC-FORGE-01DC-SYNC-01DC-WAL-03T-REC-01T-REC-02
CI checks
ci_check_ba02_evidence_closed.shci_check_ba02_evidence_manifest_schema.shci_check_bootstrap_closure.shci_check_chaindb_crash_safety.shci_check_consensus_input_provenance.shci_check_forward_sync_chokepoint_only.shci_check_lifecycle_owner_uses_bootstrap_initial_state.shci_check_node_mode_closure.shci_check_node_sync_via_pump.shci_check_produce_mode_uses_bootstrap_initial_state.shci_check_recovered_ledger_pparams_sourced.shci_check_recovery_contract.sh

PHASE4-N-F-A

closed
introduced 4
CN-CINPUT-01CN-CINPUT-02DC-CINPUT-01DC-CINPUT-02a
strengthened 5
CN-ANCHOR-01CN-NODE-01DC-ANCHOR-01T-REC-01T-REC-02
CI checks
ci_check_bootstrap_anchor_closure.shci_check_bootstrap_closure.shci_check_chaindb_crash_safety.shci_check_consensus_input_provenance.shci_check_lifecycle_owner_uses_bootstrap_initial_state.shci_check_node_mode_closure.shci_check_produce_mode_uses_bootstrap_initial_state.shci_check_recovery_contract.sh

PHASE4-N-E

closed
introduced 2
DC-MEM-03DC-MEM-04
strengthened 1
DC-MEM-01
CI checks
ci_check_consensus_closed_enums.shci_check_mempool_ingress_closure.shci_check_mempool_ingress_replay.sh

PHASE4-N-C

closed
introduced 12
CN-CONS-06CN-CONS-07DC-CONS-11DC-CONS-12DC-CONS-13DC-CONS-14DC-CONS-15DC-CONS-16DC-CRYPTO-03DC-CRYPTO-04DC-CRYPTO-05DC-LEDGER-12
strengthened 2
T-DET-01T-ENC-01
CI checks
ci_check_admitted_block_closure.shci_check_consensus_closed_enums.shci_check_forbidden_patterns.shci_check_forge_purity.shci_check_hash_uses_wire_bytes.shci_check_kes_sum_compatibility.shci_check_ledger_determinism.shci_check_no_parallel_header_splitter.shci_check_no_private_keys_in_corpus.shci_check_no_producer_body_encoder.shci_check_opcert_closed.shci_check_private_key_custody.shci_check_producer_corpus_present.shci_check_receive_reducer_closure.shci_check_self_accept_gate.shci_check_served_chain_closure.sh
4 commits
  • dafe0faf feat — feat(ledger): build the epoch-boundary mark POST-RUPD from a point-bound base (CE3D-REWARD-ACCOUNT-EVOLUTION-CORRECTION S1)
  • a3faf1e0 docs — docs(ledger): CE3D-REWARD-ACCOUNT-EVOLUTION-CORRECTION S1 -- boundary reorder design (staged post-RUPD mark, both paths)
  • a52afd77 test — test(ledger): CE3D-REWARD-ACCOUNT-EVOLUTION-CORRECTION S0 -- the go-stake residual root-caused to a pre-RUPD mark snapshot (GREEN diagnosis)
  • 88c862cc docs — docs(invariant-registry): bind T-CONS-01 to CN-CONS-01 enforcement (declared -> enforced)

PHASE4-N-B

closed
introduced 0
strengthened 22
CN-CONS-01CN-CONS-02CN-CONS-03CN-CONS-04CN-CONS-05CN-CRYPTO-02CN-EPOCH-01DC-CONS-03DC-CONS-04DC-CONS-05DC-CONS-06DC-CONS-07DC-CONS-08DC-CONS-09DC-CONS-10DC-CONSENSUS-01DC-CONSENSUS-02DC-CORE-01DC-CRYPTO-01DC-EPOCH-02T-CORE-02T-DET-01
CI checks
ci_check_chain_selection_arrival_order_independent.shci_check_consensus_closed_enums.shci_check_crypto_vectors.shci_check_forbidden_patterns.shci_check_header_body_binding.shci_check_hfc_translation.shci_check_ledger_determinism.shci_check_no_async_in_blue.shci_check_no_chaindb_in_consensus_blue.shci_check_no_density_in_fork_choice.shci_check_no_float_in_consensus.sh
1 commit
  • 5c5b8f7f docs — docs(ledger): open REDUCED-VALIDATION-BOUNDARY-PLANE -- invariants + P1 slice (the reduced-plane typed non-authority)

PHASE4-N-AO

closed
introduced 11
DC-EVIDENCE-04DC-EVIDENCE-05DC-NODE-34DC-NODE-35DC-NODE-36DC-NODE-37DC-NODE-38DC-NODE-39DC-NODE-40DC-NODE-41DC-PUMP-04
strengthened 10
CN-CONS-01CN-CONS-03DC-CONS-03DC-CONS-20DC-NODE-24DC-NODE-25DC-NODE-26DC-NODE-27DC-NODE-28DC-NODE-29
CI checks
ci_check_candidate_construction_validated.shci_check_chain_selection_arrival_order_independent.shci_check_consensus_closed_enums.shci_check_fork_choice_evidence_closed.shci_check_fork_switch_never_abandons.shci_check_lca_anchor_walk.shci_check_live_fork_choice_apply.shci_check_live_fork_choice_wiring.shci_check_live_selector_dispatch.shci_check_missing_bridge_fail_closed.shci_check_missing_bridge_refetch.shci_check_no_chaindb_in_consensus_blue.shci_check_no_density_in_fork_choice.shci_check_no_float_in_consensus.shci_check_participant_venue_inert.shci_check_peer_identity_preserved.shci_check_post_switch_convergence_window.shci_check_receive_detector_venue_split.shci_check_receive_orchestrator_no_producer_dep.shci_check_receive_reducer_closure.shci_check_rollback_materialize_closure.shci_check_rollback_retention_evidence.shci_check_rollback_target_canonical_binding.shci_check_wal_rollback_replay_equiv.shci_check_wire_pump_fairness.sh

PHASE4-N-AN

closed
introduced 1
T-REC-06
strengthened 1
DC-PUMP-02
CI checks
ci_check_admission_wire_pump_closure.shci_check_rollback_materialize_eta0.sh
6 commits
  • feb5cf10 test — test(governance): lock S2 vote-capture replay determinism + reclassify as canonical vote-record authority (CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY S2)
  • c497db9b feat — feat(governance): capture live votes into the tracked proposals' vote maps, replacing the vote tripwire (CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY S2)
  • 9a2b4818 feat — feat(governance): import the DRep-expiry + committee-hot-key baseline from the VState (CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY S1 part 2b)
  • e57433cc feat — feat(governance): import the bootstrap DRep vote-delegation baseline from the DState UMap (CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY S1 part 2a)
  • 524829e5 feat — feat(governance): import + commitment-bind the per-action voting thresholds, without activating the gate (CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY S1 part 1)
  • 406888ab docs — docs(governance): open CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY + the S0 oracle ground-truth harness

PHASE4-N-AM

closed
introduced 1
DC-PUMP-03
strengthened 0
CI checks
ci_check_keep_alive_wire_only.sh

PHASE4-N-AL

closed
introduced 1
DC-NODE-33
strengthened 0

PHASE4-N-AK

closed
introduced 2
DC-NODE-31DC-NODE-32
strengthened 1
T-REC-05

PHASE4-N-AJ

closed
introduced 2
DC-EVIDENCE-03DC-NODE-30
strengthened 1
DC-ADMIT-04
CI checks
ci_check_admission_log_vocabulary_closed.shci_check_convergence_evidence_emit_only.shci_check_convergence_evidence_schema.shci_check_convergence_evidence_vocabulary_closed.sh

PHASE4-N-AI

closed
introduced 7
DC-NODE-23DC-NODE-24DC-NODE-25DC-NODE-26DC-NODE-27DC-NODE-28DC-NODE-29
strengthened 13
CN-CONS-01CN-CONS-03CN-STORE-07DC-CONS-03DC-CONS-05DC-CONS-06DC-CONS-20DC-NODE-05DC-NODE-12DC-NODE-20DC-PUMP-01T-REC-03T-REC-05
CI checks
ci_check_admission_no_red_verdicts.shci_check_admission_wire_pump_closure.shci_check_chain_selection_arrival_order_independent.shci_check_consensus_closed_enums.shci_check_forge_followed_tip_admission.shci_check_forged_durable_admit_via_pump.shci_check_genesis_consistency_fixture_present.shci_check_live_fork_choice_apply.shci_check_live_fork_choice_wiring.shci_check_local_durable_forge_base.shci_check_loop_planner_closed.shci_check_no_chaindb_in_consensus_blue.shci_check_no_density_in_fork_choice.shci_check_no_float_in_consensus.shci_check_node_run_loop_containment.shci_check_participant_venue_inert.shci_check_receive_detector_venue_split.shci_check_receive_orchestrator_no_producer_dep.shci_check_receive_reducer_closure.shci_check_rollback_materialize_closure.shci_check_rollback_target_canonical_binding.shci_check_wal_rollback_replay_equiv.sh

PHASE4-N-AH

closed
introduced 3
DC-NODE-20DC-NODE-21DC-NODE-22
strengthened 9
CN-NODE-02CN-NODE-04DC-NODE-05DC-NODE-12DC-NODE-15DC-NODE-18DC-NODE-19T-REC-03T-REC-05
CI checks
ci_check_cert_evidence_only.shci_check_forge_followed_tip_admission.shci_check_forged_durable_admit_via_pump.shci_check_genesis_consistency_fixture_present.shci_check_local_durable_forge_base.shci_check_loop_planner_closed.shci_check_node_path_fidelity.shci_check_node_run_loop_containment.shci_check_node_sched_events_emit_only.shci_check_single_producer_extend_own_spine.shci_check_warm_start_re_entry.sh

PHASE4-N-AF

closed
introduced 1
DC-NODE-18
strengthened 0
CI checks
ci_check_single_producer_extend_own_spine.sh

PHASE4-N-AE

closed
introduced 5
DC-CONS-24DC-NODE-14DC-NODE-15DC-NODE-16DC-PROTO-10
strengthened 7
CN-CONS-06CN-CONS-07DC-CONS-23DC-EPOCH-03DC-NODE-05DC-WAL-02T-REC-05
CI checks
ci_check_admitted_block_closure.shci_check_forge_followed_tip_admission.shci_check_forged_durable_admit_via_pump.shci_check_genesis_consistency_fixture_present.shci_check_loop_planner_closed.shci_check_node_forge_single_epoch_fail_closed.shci_check_node_run_loop_containment.shci_check_producer_corpus_present.shci_check_receive_idempotency.shci_check_receive_reducer_closure.shci_check_recover_follow_wal_lineage.shci_check_recovered_anchor_intersectable.shci_check_self_accept_gate.shci_check_served_chain_closure.sh

PHASE4-N-AD

closed
introduced 0
strengthened 2
DC-WAL-04T-REC-05
CI checks
ci_check_forged_durable_admit_via_pump.sh

PHASE4-N-AC

closed
introduced 1
DC-CRYPTO-10
strengthened 1
CN-KES-HEADER-01
CI checks
ci_check_kes_evolution_before_sign.shci_check_unsigned_header_preimage_single_source.sh

PHASE4-N-AB

closed
introduced 1
CN-SESS-05
strengthened 2
CN-SESS-04DC-SERVEMEM-01
CI checks
ci_check_outbound_segmentation.shci_check_serve_range_bounded.shci_check_session_proto_reassembly.sh

PHASE4-N-AA

closed
introduced 1
DC-SERVEMEM-01
strengthened 2
DC-LIVEMEM-01DC-NODE-13
CI checks
ci_check_live_feed_memory_bounds.shci_check_serve_range_bounded.shci_check_served_chain_projection.sh

PHASE4-N-A

closed
introduced 0
strengthened 9
CN-WIRE-07DC-CORE-01DC-PROTO-01DC-PROTO-02DC-PROTO-03DC-PROTO-04DC-PROTO-05DC-PROTO-06T-ENC-03
CI checks
ci_check_cbor_round_trip.shci_check_ce_n_a_5_proof.shci_check_codec_message_closed.shci_check_mini_protocol_surface.shci_check_mini_protocol_transition_purity.shci_check_no_async_in_blue.shci_check_tx_submission2_real_capture.sh
6 commits
  • feb5cf10 test — test(governance): lock S2 vote-capture replay determinism + reclassify as canonical vote-record authority (CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY S2)
  • c497db9b feat — feat(governance): capture live votes into the tracked proposals' vote maps, replacing the vote tripwire (CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY S2)
  • 9a2b4818 feat — feat(governance): import the DRep-expiry + committee-hot-key baseline from the VState (CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY S1 part 2b)
  • e57433cc feat — feat(governance): import the bootstrap DRep vote-delegation baseline from the DState UMap (CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY S1 part 2a)
  • 524829e5 feat — feat(governance): import + commitment-bind the per-action voting thresholds, without activating the gate (CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY S1 part 1)
  • 406888ab docs — docs(governance): open CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY + the S0 oracle ground-truth harness

PHASE4-B4

closed
introduced 0
strengthened 1
DC-LEDGER-08
CI checks
ci_check_forbidden_patterns.sh

PHASE4-B3F

closed
introduced 0
strengthened 2
DC-TXV-06DC-VAL-06
CI checks
ci_check_consensus_closed_enums.shci_check_conway_cert_classification_closed.sh

PHASE4-B3

closed
introduced 0
strengthened 6
CN-LEDGER-07DC-TXV-03DC-TXV-06DC-TXV-07DC-VAL-06T-CONSERV-01
CI checks
ci_check_consensus_closed_enums.shci_check_conway_cert_classification_closed.shci_check_deposit_param_authority.shci_check_differential_divergence.sh
7 commits
  • 52a6e2c7 test — test(ledger): B3c.0 -- base UTxO proven byte-exact; the -343B go-stake residual adjudicated REAL (GREEN evidence)
  • c4e0413b feat — feat(epoch): apply the bootstrap reward update at the window-end -- byte-exact seed+2 stake (DC-EPOCH-18, EPOCH-CONSENSUS-VIEW B3c)
  • c13d4414 fix — fix(epoch): lag-aware activation predicate + did-advance seam -- cross boundary 2 (DC-EPOCH-17, ECA-B3)
  • b1d0fc7b feat — feat(epoch): yield-at-boundary -- run_node_sync returns SyncOutcome so the checkpoint advances per-boundary (DC-EPOCH-17, ECA-B3b)
  • 23829091 feat — feat(epoch): generalize the activation seam to advance per boundary -- replay-derived seed+2 (DC-EPOCH-17, ECA-B3)
  • b058ff1c feat — feat(epoch): ActiveEpochAuthority.advance -- per-boundary authority advance (DC-EPOCH-17, ECA-B3)
  • fc68a295 docs — docs(epoch): scope ECA-B3 + declare DC-EPOCH-17 -- replay-derived seed+2 authority

PHASE4-B2

closed
introduced 0
strengthened 13
CN-LEDGER-09DC-LEDGER-02DC-LEDGER-05DC-MEM-01DC-MEM-02DC-TXV-01DC-TXV-02DC-TXV-03DC-TXV-04DC-TXV-05DC-VAL-06T-DET-01T-ENC-01
CI checks
ci_check_consensus_closed_enums.shci_check_differential_divergence.shci_check_forbidden_patterns.shci_check_hash_uses_wire_bytes.shci_check_ledger_determinism.shci_check_required_signer_closure.sh
5 commits
  • 44e07782 docs — docs(epoch): flip DC-EPOCH-16 declared -> enforced -- eta0(seed+2) proven live (ECA-B2c)
  • e8589e1e fix — fix(epoch): seed the evolving nonce from the full 6-nonce PraosState (DC-EPOCH-16, ECA-B2c)
  • 14880463 feat — feat(epoch): B2 part 2 -- live RSW freeze + boundary tick on the follow path (DC-EPOCH-16)
  • 9040615b feat — feat(epoch): B2 part 1 -- RSW era-geometry field + the verified venue k source (DC-EPOCH-16)
  • 7356679a docs — docs(epoch): scope ECA-B2 -- live candidate-freeze (RSW) + boundary tick + the eta0(seed+2) gate

PHASE4-B1

closed
introduced 0
strengthened 13
CN-CONS-04CN-EPOCH-01DC-CONSENSUS-02DC-CRYPTO-01DC-LEDGER-02DC-VAL-01DC-VAL-02DC-VAL-03DC-VAL-04DC-VAL-05DC-VAL-06T-DET-01T-ENC-01
CI checks
ci_check_consensus_closed_enums.shci_check_crypto_vectors.shci_check_differential_divergence.shci_check_forbidden_patterns.shci_check_hash_uses_wire_bytes.shci_check_header_body_binding.shci_check_ledger_determinism.sh
3 commits
  • aa9107a9 feat — feat(ledger): reduced-plane typed non-authority on the live path (RVBP P1/P2 + B1)
  • 79467c84 feat — feat(epoch): rolling Praos nonce on the follow path -- chain-dep combine + back-compat snapshot (DC-EPOCH-16, ECA-B1)
  • c0bc425b docs — docs(epoch): declare DC-EPOCH-16 + scope ECA-B1 (rolling Praos nonce on the follow path)

OP-OPS-04-KES-PERIOD-ANCHOR

closed
introduced 0
strengthened 1
OP-OPS-04
CI checks
ci_check_kes_envelope_closed.shci_check_kes_sum_compatibility.shci_check_private_key_custody.sh

MITHRIL-VERIFIED-ANCHOR-INTEGRATION-S2

closed
introduced 1
DC-MITHRIL-08
strengthened 0
CI checks
ci_check_native_firstrun_reduced_checkpoint.sh

MITHRIL-VERIFIED-ANCHOR-INTEGRATION-S1d

closed
introduced 1
DC-MITHRIL-07
strengthened 0
CI checks
ci_check_native_firstrun_no_cli_seed.sh

MITHRIL-VERIFIED-ANCHOR-INTEGRATION-S1c

closed
introduced 1
DC-MITHRIL-06
strengthened 0
CI checks
ci_check_tables_to_utxostate.sh

MITHRIL-VERIFIED-ANCHOR-INTEGRATION-S1b

closed
introduced 1
DC-MITHRIL-03
strengthened 0
CI checks
ci_check_mithril_authority_transition.sh

MITHRIL-VERIFIED-ANCHOR-INTEGRATION-S1a

closed
introduced 1
DC-LEDGER-PARAMS-01
strengthened 0
CI checks
ci_check_native_nonutxo_decode.sh

MEM-OPT-UTXO-DISK

closed
introduced 4
DC-MEM-07DC-MEM-09DC-MEM-10OP-MEM-02
strengthened 1
DC-MEM-10
CI checks
ci_check_mem_opt_s3_owned.shci_check_overlay_utxo_s2a.shci_check_utxo_fp_cache.shci_check_utxo_fp_v2.shci_check_utxo_lookup_owned.sh
1 commit
  • 1b79add0 chore — chore(idd): bump head_deltas_baseline 862cd2cb -> 470f9b89 (MEM-OPT-UTXO-DISK close)

MEM-OPT-OPS

closed
introduced 1
DC-MEM-06
strengthened 1
DC-MEM-06
CI checks
ci_check_alloc_determinism_neutral.shci_check_mem_opt_s2_import_peak.sh

MEM-MEASURE-A2

closed
introduced 0
strengthened 1
OP-MEM-01
CI checks
ci_check_mem_measure_evidence.sh

MEM-MEASURE-A1

closed
introduced 0
strengthened 1
CN-MEM-01
CI checks
ci_check_bounded_inbound_admission.sh

LIVE-WIRE-LIVENESS-S1

closed
introduced 0
strengthened 1
DC-PUMP-03
CI checks
ci_check_keep_alive_wire_only.sh

LIVE-REFOLD-THRASH-RF-1

closed
introduced 2
DC-EPOCH-34DC-EPOCH-35
strengthened 0
CI checks
ci_check_settled_rewind_survives_recovery.shci_check_settled_triple_integrity.sh

LIVE-FORGE-HARDENING-S2

closed
introduced 0
strengthened 1
DC-EPOCH-16
CI checks
ci_check_praos_nonce_follow_evolution.sh

LIVE-FORGE-HARDENING-S1

closed
introduced 1
DC-NODE-42
strengthened 2
DC-NODE-28DC-NODE-29
CI checks
ci_check_live_fork_choice_wiring.shci_check_participant_venue_inert.shci_check_rollback_target_canonical_binding.sh

LIVE-FOLLOW-THROUGHPUT

closed
introduced 1
DC-MEM-11
strengthened 0
CI checks
ci_check_forward_sync_fp_cache.sh

LEDGER-VALUE-CORRECTNESS-S1

closed
introduced 1
DC-LEDGER-VALUE-01
strengthened 0
CI checks
ci_check_value_quantity_domain.sh

KES-PERIOD-GATE-OPCERT-ANCHOR

closed
introduced 0
strengthened 1
DC-CRYPTO-10
CI checks
ci_check_kes_evolution_before_sign.sh

EVIEW-RECOVERY-LINEAGE-R2

closed
introduced 2
DC-EPOCH-32DC-EPOCH-33
strengthened 0
CI checks
ci_check_eview_refold_reseal.sh

EPOCH-CONTINUITY-ACTIVATION-ECA-B2c

closed
introduced 0
strengthened 2
DC-EPOCH-16DC-MITHRIL-04
CI checks
ci_check_ledgerdb_state_decode.shci_check_praos_nonce_follow_evolution.sh

EPOCH-CONTINUITY-ACTIVATION-ECA-B2

closed
introduced 0
strengthened 1
DC-EPOCH-16
CI checks
ci_check_praos_nonce_follow_evolution.sh

EPOCH-CONTINUITY-ACTIVATION-ECA-B1

closed
introduced 1
DC-EPOCH-16
strengthened 0
CI checks
ci_check_praos_nonce_follow_evolution.sh

EPOCH-CONTINUITY-ACTIVATION-ECA-5

closed
introduced 1
DC-EPOCH-15
strengthened 4
DC-CINPUT-05DC-EPOCH-14DC-EVIEW-04DC-EVIEW-07
CI checks
ci_check_eview_atomic_authority.shci_check_eview_forecast_crossing.shci_check_eview_leadership_complete.shci_check_eview_reduced_utxo_checkpoint.shci_check_eview_view_binding.sh

EPOCH-CONTINUITY-ACTIVATION-ECA-2-pre

closed
introduced 1
DC-CINPUT-06
strengthened 1
DC-CINPUT-05
CI checks
ci_check_eview_seed_sidecar_v4.sh

EPOCH-CONTINUITY-ACTIVATION-ECA-2-3-4

closed
introduced 1
DC-MITHRIL-05
strengthened 0
CI checks
ci_check_ledgerdb_tables_decode.sh

EPOCH-CONTINUITY-ACTIVATION-ECA-1

closed
introduced 1
DC-EPOCH-13
strengthened 1
DC-EPOCH-11
CI checks
ci_check_eview_automatic_activation.shci_check_eview_live_checkpoint.sh

EPOCH-CONTINUITY-ACTIVATION-ECA-0b

closed
introduced 2
DC-EPOCH-12DC-EVIEW-12
strengthened 2
DC-EVIEW-05DC-EVIEW-07
CI checks
ci_check_eview_leadership_complete.shci_check_eview_stake_aggregation.shci_check_eview_view_binding.sh

EPOCH-CONTINUITY-ACTIVATION-ECA-0a

closed
introduced 1
DC-EVIEW-13
strengthened 1
DC-EVIEW-10
CI checks
ci_check_eview_pool_lifecycle.shci_check_eview_window_driver.sh

EPOCH-CONSENSUS-VIEW-S3f-4d-3a

closed
introduced 1
DC-EPOCH-10
strengthened 0
CI checks
ci_check_eview_activate.sh

EPOCH-CONSENSUS-VIEW-S3f-4d-2

closed
introduced 1
DC-EPOCH-09
strengthened 0
CI checks
ci_check_eview_candidate.sh

EPOCH-CONSENSUS-VIEW-S3f-4d-1

closed
introduced 1
DC-EPOCH-08
strengthened 0
CI checks
ci_check_eview_source_window.sh

EPOCH-CONSENSUS-VIEW-S3f-4c

closed
introduced 1
DC-EPOCH-06
strengthened 0
CI checks
ci_check_eview_activation_recovery.sh

EPOCH-CONSENSUS-VIEW-S3f-4b

closed
introduced 2
DC-EPOCH-05DC-EPOCH-07
strengthened 0
CI checks
ci_check_eview_activation_predicate.sh

EPOCH-CONSENSUS-VIEW-S3f-4a

closed
introduced 1
DC-EPOCH-04
strengthened 0
CI checks
ci_check_eview_activation_wal.sh

EPOCH-CONSENSUS-VIEW-S3f-3

closed
introduced 1
DC-EVIEW-11
strengthened 1
DC-EPOCH-03
CI checks
ci_check_eview_epoch_rebind.shci_check_node_forge_single_epoch_fail_closed.sh

EPOCH-CONSENSUS-VIEW-S3f-2-pre

closed
introduced 1
DC-EVIEW-09
strengthened 0
CI checks
ci_check_eview_bootstrap_cert_state.sh

EPOCH-CONSENSUS-VIEW-S3f-2

closed
introduced 1
DC-EVIEW-10
strengthened 0
CI checks
ci_check_eview_window_driver.sh

EPOCH-CONSENSUS-VIEW-S3e

closed
introduced 1
DC-EVIEW-07
strengthened 0
CI checks
ci_check_eview_leadership_complete.shci_check_eview_view_binding.sh

EPOCH-CONSENSUS-VIEW-S3d

closed
introduced 1
DC-EVIEW-06
strengthened 0
CI checks
ci_check_eview_stability_gate.sh

EPOCH-CONSENSUS-VIEW-S3c

closed
introduced 1
DC-EVIEW-05
strengthened 0
CI checks
ci_check_eview_leadership_complete.shci_check_eview_stake_aggregation.sh

EPOCH-CONSENSUS-VIEW-S3b-2

closed
introduced 1
DC-EVIEW-04b
strengthened 0
CI checks
ci_check_eview_windowed_advance.sh

EPOCH-CONSENSUS-VIEW-S3b-1

closed
introduced 1
DC-EVIEW-04
strengthened 0
CI checks
ci_check_eview_reduced_utxo_checkpoint.sh

EPOCH-CONSENSUS-VIEW-S3a

closed
introduced 1
DC-EVIEW-03
strengthened 0
CI checks
ci_check_eview_pointer_compat.sh

EPOCH-CONSENSUS-VIEW-S2

closed
introduced 1
DC-EVIEW-02
strengthened 0
CI checks
ci_check_eview_stake_ref_classification.sh

EPOCH-CONSENSUS-VIEW-S1

closed
introduced 1
DC-EVIEW-01
strengthened 0
CI checks
ci_check_transient_view_memory_ceiling.shci_check_transient_view_no_fallback.shci_check_transient_view_not_live.sh

EPOCH-CONSENSUS-VIEW-B3c

closed
introduced 1
DC-EPOCH-18
strengthened 0
CI checks
ci_check_bootstrap_rupd_window_end.sh

ENACTMENT-COMMITTEE-WRITEBACK

closed
introduced 0
strengthened 2
DC-EPOCH-01DC-LEDGER-10
CI checks
ci_check_credential_discriminant_closed.sh

ENACTMENT-COMMITTEE-FIDELITY

closed
introduced 0
strengthened 1
DC-LEDGER-10
CI checks
ci_check_credential_discriminant_closed.sh

DURABLE-ADMISSION-BYTES

closed
introduced 1
DC-WAL-05
strengthened 0
CI checks
ci_check_admission_runner_no_block_byte_map.sh

DREP-VOTE-FIDELITY

closed
introduced 0
strengthened 1
DC-LEDGER-10
CI checks
ci_check_credential_discriminant_closed.sh

CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY

closed
introduced 1
T-EPOCH-01
strengthened 1
T-EPOCH-01
6 commits
  • feb5cf10 test — test(governance): lock S2 vote-capture replay determinism + reclassify as canonical vote-record authority (CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY S2)
  • c497db9b feat — feat(governance): capture live votes into the tracked proposals' vote maps, replacing the vote tripwire (CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY S2)
  • 9a2b4818 feat — feat(governance): import the DRep-expiry + committee-hot-key baseline from the VState (CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY S1 part 2b)
  • e57433cc feat — feat(governance): import the bootstrap DRep vote-delegation baseline from the DState UMap (CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY S1 part 2a)
  • 524829e5 feat — feat(governance): import + commitment-bind the per-action voting thresholds, without activating the gate (CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY S1 part 1)
  • 406888ab docs — docs(governance): open CONWAY-RATIFICATION-AND-ENACTMENT-AUTHORITY + the S0 oracle ground-truth harness

COMMITTEE-CRED-FIDELITY

closed
introduced 0
strengthened 1
DC-LEDGER-10
CI checks
ci_check_credential_discriminant_closed.sh

CN-FOLLOW-01

closed
introduced 2
CN-FOLLOW-01DC-FOLLOW-FORGE-01
strengthened 2
DC-NODE-15DC-NODE-28
CI checks
ci_check_forge_followed_tip_admission.shci_check_live_fork_choice_wiring.shci_check_participant_forge_on_selected_head.shci_check_participant_venue_inert.sh
1 commit
  • 5e3c0855 feat — feat(node): participant venue forges on the AO-selected durable head (CN-FOLLOW-01)

CL-WIRE-PROTOCOL

closed
introduced 2
CN-SESS-04DC-SESS-06
strengthened 0
CI checks
ci_check_session_proto_reassembly.sh

CL-LEDGER-VERDICT

closed
introduced 23
DC-DIFF-01DC-EPOCH-01DC-EPOCH-02DC-LEDGER-01DC-LEDGER-02DC-LEDGER-03DC-LEDGER-04DC-LEDGER-05DC-LEDGER-08DC-LEDGER-09DC-LEDGER-10DC-REF-01DC-TXV-06DC-TXV-07T-BOUND-02T-BUILD-01T-CI-01T-CONSERV-01T-CORE-01T-CORE-02T-DET-01T-ERR-01T-NOSPEND-01
strengthened 0
CI checks
ci_check_consensus_closed_enums.shci_check_conway_cert_classification_closed.shci_check_credential_discriminant_closed.shci_check_dependency_boundary.shci_check_deposit_param_authority.shci_check_differential_divergence.shci_check_forbidden_patterns.shci_check_gov_cert_accumulation_closed.shci_check_hfc_translation.shci_check_ledger_determinism.shci_check_no_float_in_consensus.shci_check_no_semantic_cfg.shci_check_plutus_budget_cap.shci_check_plutus_oracle_no_false_accept.shci_check_ref_provenance.shci_check_registry_code_locus_exists.shci_check_required_signer_closure.sh

CL-CRYPTO-VERIFY

closed
introduced 4
DC-CRYPTO-01DC-CRYPTO-02T-ENC-01T-ENC-03
strengthened 0
CI checks
ci_check_cbor_round_trip.shci_check_crypto_vectors.shci_check_hash_uses_wire_bytes.shci_check_no_signing_in_blue.sh

CE3D-GO-POOLSET-SCHEMA-REJECT

closed
introduced 0
strengthened 1
DC-EPOCH-24
CI checks
ci_check_snapshot_pool_set_inclusion.sh

CE3D-GO-POOLSET-INCLUSION-C

closed
introduced 1
DC-EPOCH-24
strengthened 0
CI checks
ci_check_snapshot_pool_set_inclusion.sh

CE3D-BOOTSTRAP-FEE-BUFFER-S1

closed
introduced 1
DC-EPOCH-23
strengthened 1
DC-CINPUT-07
CI checks
ci_check_bootstrap_rupd_fee_reduction.shci_check_conway_deposit_params_bootstrap.sh

ACCUMULATOR-REFOLD-BOUND-S1

closed
introduced 6
DC-EPOCH-26DC-EPOCH-27DC-EPOCH-28DC-EPOCH-29DC-EPOCH-30DC-EPOCH-31
strengthened 0
CI checks
ci_check_accumulator_refold_bound.sh