AdeAtlas
Invariants / DC-OPCERT-01

DC-OPCERT-01

DC derived enforced

Given the same canonical envelope bytes, parse_opcert_envelope produces a byte-identical DecodedOpCertEnvelope across runs. Replay-equivalence anchor for the opcert envelope decode.

Source

docs/planning/phase4-n-r-invariants.md §3 (D4)

Cluster
PHASE4-N-R-C
Introduced in
PHASE4-N-R-C

Enforcement trace

Code

Tests 1

  • parser_is_byte_identical_across_two_runs

CI 0

no CI script — gap

Cross-references

CN-OPCERT-01