Standalone exact finite checks

def main(): check_prefix_channels() check_streaming_branches() need(check_swap_HP(0) == F(1, 4), "postselection check failed") need(check_swap_HP(1) == 1, "one-iteration amplification failed") ledger = check_live_ledger(2) try: check_live_ledger(1) except CapacityRefusal: pass else: raise CheckFailure("missing capacity refusal")

print("Exact finite matrix-unit and branch checks: PASS") print("Snapshot ledger (lab,total,gates,depth):", ledger) print("No general theorem or physical model is certified by this pass.")

if __name__ == "__main__": main()