FForge Outcome Delivery
Forge Proof Layer

Verify

← Back to outcome

VERIFY — Forge Proof Layer Upgrade

verify.mjs exercises the real Proof Layer tools against disposable fixtures created in a temp directory (so this package stays deterministic). It runs 23 checks across these groups:

Gate behaviour

  • Fail-closed: the gate exits 2 when PROOF_DECISION.json is absent

(state NOT_STARTED).

  • Permits honest delivery: after the Proof Layer runs, --action deliver

exits 0.

  • Blocks unsupported claims: --action certify exits 1 when the state is

not CERTIFIED.

  • Blocks failed builds: a BUILD_FAILED outcome cannot deliver (exit 1).

Engine outputs

  • PROOF_DECISION.json, TRUST_SCORE.json, EVIDENCE_GRADE.md, and

AUDITOR_CHALLENGE.md are all emitted.

  • The certification state is one of the seven defined states.
  • A verified-but-unauthored proof yields FUNCTIONAL_DELIVERED (never

auto-CERTIFIED).

  • Zero-pass verification yields BUILD_FAILED.

Scoring & grading

  • The Evidence Grade is one of A+,A,B,C,D,F.
  • The Trust Score is within 0..100 and its breakdown has exactly 10 scoring

and 6 penalty categories.

Integrity

  • The checksum self-test passes on the generated package and **detects

tampering** when a checksummed file is edited.

Hygiene

  • All four tools parse cleanly under node --check.
  • The decision declares all nine mandatory public-display fields.

A run passes only if all 23 checks pass (status: PASS).