RO-LIVE-06
RO release enforcedBA-02 peer-acceptance evidence closure (SCHEMA + CORRELATION MECHANICS ONLY). The BA-02 evidence surface is a closed, versioned manifest (Ba02Manifest) plus a pure, total, deterministic, HASH-PRIMARY correlator: correlate is the SOLE Ba02Manifest constructor; the forged-block hash is the REQUIRED correlation key; a peer-accept signal's slot is OPTIONAL context that must AGREE when present (a present-but-different slot contradicts -> NoEvidence); conflicting peer signals -> NoEvidence; and the peer-accept-log parser is allow-list only (peer_served_block / peer_chain_tip), dropping every weaker/self/unknown/ malformed line (ForgeSucceeded / self_accept / block_received / agreement_verdict are never coerced to acceptance). The forged evidence uses only forge-event- exposed fields (ForgedBlockArtifact.{hash,slot}); the hash is never recomputed and block bytes are never parsed. ENFORCED for the schema + correlation mechanics; NOT a claim that BA-02 was achieved live.
- Source
docs/clusters/PHASE4-N-F-C/cluster.md; L6-peer-acceptance-evidence-manifest.md
- Cluster
- PHASE4-N-F-C
- Introduced in
- PHASE4-N-F-C
Enforcement trace
Code
Tests 20
- ba02_manifest_schema_round_trips
- ba02_correlate_served_block_yields_manifest
- ba02_correlate_chain_tip_only_yields_manifest
- ba02_correlate_both_signals_agree_records_served_primary
- ba02_correlate_served_block_without_slot_yields_manifest
- ba02_correlate_conflicting_signals_is_no_evidence
- ba02_correlate_wrong_hash_is_no_evidence
- ba02_correlate_chain_point_mismatch_is_no_evidence
- ba02_correlate_no_slot_wrong_hash_is_no_evidence
- ba02_correlate_stale_log_is_no_evidence
- ba02_correlate_empty_peer_log_is_no_evidence
- ba02_self_accept_is_not_evidence
- ba02_forge_succeeded_alone_is_not_evidence
- ba02_block_received_alone_is_not_evidence
- ba02_agreement_verdict_is_not_evidence
- ba02_parser_accepts_well_formed_served_block
- ba02_parser_drops_unknown_and_malformed_lines
- ba02_correlate_two_runs_byte_identical
- correlate_wired_to_operator_peer_log
- correlate_from_operator_log_file_is_deterministic