UAREFAKE Proof Before Power

Full-Build proposes. This gate decides. A refusal means the tool does not run.

checking uarefake.com

    Obligations

    click a row

    Witness

    waiting
    Select an obligation after the prove step.

    Safe rewrite

    no diff yet

    Sandbox ledger

    UNCHANGED

    Receipt

    NONE

    unsealed

    A receipt is sealed after the loop and re-checked from canonical bytes.