Passed is not proven.

01 · git
no conflicts
The branches share no files. Git merges them clean.
02 · CI
✓ green✓ green
Each branch passes its own tests. Alone.
03 · merged
main✕ TypeError
One evolved the contract. One still calls the old one. Production finds out.
04 · rosentic
every pair · before merge
Deterministic contract checks across every pair of active branches. The red cell blocks.
CI tells you a branch passed.
Rosentic tells you the branches are compatible.
Run the 90-second proof