Show HN: One provider starts lying at request 50. The quorum catches it(github.com)
github.com
Show HN: One provider starts lying at request 50. The quorum catches it
https://github.com/sbw70/verification-constraints/blob/main/modules/integrated-constraint-demos/two-region-quorum-byzantize-drift/README.md
The quorum catches it. Authority never moves.
NUVL fronts compute bindings and forward only. Hubs relay and fan out — no authority, no policy. Providers are the only execution authorities. When Provider_B starts flipping reported outcomes, the 2-of-3 quorum audit detects the drift without promoting hubs into decision-makers.
The drift is deterministic and replayable. You can see exactly when it starts and what the quorum sees.
https://replit.com/@holiwood4420/Two-Region-Quorum-Audit-wit...