CAIN-42 CLAWX
Invention verification / CAIN-INV-0572

CAIN-INV-0572: OrderingFairnessProof lab (Evolution 5 §29-31): measured, not assumed

VERIFIED  source compiles

DomainBYZANTINE_CONSENSUS
TierENGINEERING_INNOVATION
Sourcescripts/cain42_bft/dag_fairness_lab.py
Mapped tests ran26
Passed / failed / errored26 / 0 / 0
Compilesyes

Mapped tests

tests/test_cain42_pbft_evolution4_dag.py

Generated 2026-10-06T19:15:35Z from git unknown. This page is a republication of the run result; it is not an independent audit.


Same-project verification only. The tests are authored in this repository; no third party has reviewed or reproduced these results. VERIFIED means the mapped tests passed in this run, not that the mechanism is independently correct.