FBatchEx paper paper Sign in

PAPER · no real money

Public audit pack

Every row below is a rule this venue has to meet: what it promises, what you should see, and the page where you can check it yourself.

  • Deterministic replay rule §21.14

    Replaying the journal rebuilds byte-identical engine state.

    You should see: Replay state matches the original byte for byte.

    Check it on Lab

  • Double-entry funding rule §21.17

    Every deposit and withdrawal balances and is logged once.

    You should see: The ledger always balances; no free balance goes below zero; entries are idempotent.

    Check it on Data

  • Clean-room verification rule §21.33

    Each feature's artifact is rebuilt from a fresh checkout in a clean container and a real use is driven.

    You should see: The artifact rebuilds byte-identical and the real use reaches `USE OK:`.

    Check it on Exercise

  • Done means green rule §21.35

    A task is done only when the asks audit is zero-fail and the commit's `CI` run is green.

    You should see: The gate passes only on a zero-fail audit and green `CI`. See `artifacts/phase-25-done-gate/done-gate.txt`.

    Check it on Deploys