MRB-0 / MRB-* PHASE 0 TEST REPORT

generated_utc: 2026-08-28T14:21:59Z
python: 3.12.13
jsonschema: 4.25.1
schema_dialect: JSON Schema Draft 2020-12

RESULTS

1. python3 -m unittest -v test_all.py
   PASS: 47 / 47

2. python3 -m py_compile proof_checker.py pair_checker.py self_audit.py test_all.py
   PASS

3. python3 proof_checker.py --audit-contract
   NO-AUTONOMOUS-EXPORT-IN-MRB-0

4. python3 proof_checker.py --audit-erasure proof_with_bridge.json
   BRIDGE-ERASURE-PRESERVES-M-IN-MRB-0
   m_projection_sha256: sha256:0b859e863ea3d4a810865592bc5876c519a10c27eadedd32e761d5bace3732d9
   A: 1 -> 0
   bridge inputs: 2 -> 0

5. Published proof fixtures
   proof_formal.json: VALID-FORMAL
   proof_with_bridge.json: VALID-APPLIED-WITH-BRIDGE; bdeps=[b0]
   proof_autonomous_attempt.json: INVALID-PROOF / FORMAL_RULE_OUTPUT_KIND

6. Published pair fixtures
   witness_beyond.json: BEYOND-RECORD
   witness_determined.json: RECORD-DETERMINED
   core_sha256: sha256:e443358325ce949558a059b98a9eb13b67b94c70d933304bd4577c0e7ec5e50e

7. python3 self_audit.py self_claims.json
   SELF-AUDIT-PASS
   public title: UNBOUNDED-STANDALONE
   exact MRB-0 result: REPORT-CONCLUSION-UNDER-MRB-0
   parametric MRB-* result: TEXTUAL-THEOREM-IN-DECLARED-CLASS-NOT-MACHINE-VERIFIED
   bounded pair statement: VERIFIED-IN-DECLARED-ARTIFACT

8. Draft 2020-12 schema validation
   typed_proof.schema.json + three published proof fixtures: PASS
   pair_witness.schema.json + two published pair fixtures: PASS

9. Adversarial mutation coverage includes
   invalid UTF-8; non-scalar Unicode; duplicate JSON keys; malformed-before-incompatible
   precedence; bridge/link mismatch; A without bridge; V without goal; dependency deletion;
   A-looking bytes inside M; full-step projection hashing; replay and premise closure;
   DELETE-BRIDGE rejection; whole-core q0 freshness; stale hash; shared-core mismatch;
   NFC/NFD non-normalization; nonexistent self-audit artifact; NUL path; title privilege.

FINAL ADVERSARIAL VERDICT

No BLOCKER or MAJOR remained after the final correction pass.

SCOPE LIMITS RECORDED BY THE PACKAGE

- The executable checker establishes the stated invariants for exact MRB-0.
- MRB-* is a textual type-safety/provenance and noninterference theorem over its declared class;
  it is explicitly marked NOT-MACHINE-VERIFIED as a universal class theorem.
- Application to a separate mathematical corpus requires a precommitted adequacy translation tau;
  without it the status is APPLICABILITY-UNSPECIFIED.
- No comparative prior-work search was started; PFNP-1 remains comparison_only.
