MATHEMATICS DID NOT LEAVE RECORD — PHASE 1 TEST REPORT

report_date_utc: 2026-08-28
package_scope: phase1-published-local-package

RUNTIME
python: 3.12.13
python_executable: /opt/codex/runtimes/codex-primary-runtime/dependencies/python/bin/python3
jsonschema: 4.25.1
pandoc: 3.1.3
libreoffice: LibreOfficeDev 26.8.0.0.alpha0 2c87e51eeaa2b413ff4ae097b2705eea1995d8e5

PHASE 1 SUITE
command: python -m unittest test_all.py test_application.py test_self_audit.py
result: PASS 62/62
py_compile: PASS

CONTRACT AUDITS
lift_checker.py --audit-contract: LIFT-INVARIANT-AUDIT-PASS
readset_checker.py --audit-contract: READSET-INVARIANT-AUDIT-PASS
application_checker.py --audit-contract: APPLICATION-INVARIANT-AUDIT-PASS
phase1_self_audit.py self_claims_phase1.json: PHASE1-SELF-AUDIT-PASS

PUBLISHED LIFT INSTANCES
fixture_hilbert_propositional.json: VALID-FORMAL-LIFT
fixture_equational_arithmetic.json: VALID-FORMAL-LIFT
fixture_sequent_style.json: VALID-FORMAL-LIFT

PUBLISHED READ-SET PAIRS
pair_arithmetic_target.json: VERIFIED-PAIR-NONDETERMINATION
pair_model_intendedness.json: VERIFIED-PAIR-NONDETERMINATION
pair_rocket_application_purpose.json: VERIFIED-PAIR-NONDETERMINATION
pair_determined_control.json: VERIFIED-PAIR-FACTORIZATION-CONTROL
applicability_status_all_pairs: APPLICABILITY-LABEL-ONLY-NOT-MACHINE-VERIFIED

PUBLISHED APPLICATION RECORDS
application_complete.json: VALID-APPLICATION-AUDIT
application_binding_no_goal.json: VALID-APPLICATION-AUDIT
application_100_200_300_no_goal.json: VALID-APPLICATION-AUDIT
application_payload_spoof.json: VALID-APPLICATION-AUDIT
semantic_status_all_application_records: NOT-MACHINE-VERIFIED

SELF-APPLICATION
exact_rbi_theorem_text_sha256: fdaf18e772f0914db61bbeeccf54203ecd491cc50b8153c9afd716989a8c5efd
exact_rbi_theorem_status: TEXTUAL-THEOREM-IN-DECLARED-METATHEORY
public_title_text_sha256: 3b6d58f5b1e998a86554cdc1cd9744ff109d2b33db36c33c0e3a1016eba16829
public_title_status: UNBOUNDED-STANDALONE

PHASE 0 BASELINE
command: python -m unittest test_all.py
result: PASS 47/47
K0_MANIFEST.sha256: OK
P0_MANIFEST.sha256: OK
K0_manifest_root: d3a498655b295ef547fd63d56fdd2063d98d72d4a1ab8db835b2c3903f675f50
P0_manifest_root: b5ee7711785497eaefc988333b13a72cae1d9fe6f9b9e421124e927886f1267f

PUBLICATION RELEASE
docx_sha256: c16859b5d4688d2c3c7455ad56f30ab6dbe47cbd4db925dbf9f41085687004b2
docx_zip_integrity: PASS
docx_accessibility_high: 0
docx_accessibility_medium: 0
docx_accessibility_low: 0
pdf_sha256: a6067807184d1f3350188fda433339ccb190cba0af9d8b9a7ad1dd97e3481b8c
pdf_pages: 47
pdf_page_size: US Letter, 612 x 792 points
pdf_tagged: yes
pdf_suspects: no
pdf_rasterization: PASS 47/47 pages at 1224 x 1584 pixels
visual_review: PASS; cover, TOC, theorem displays, status blocks, application boundary, self-application and PFNP-1 appendix checked; no clipping, overlap, truncation or corrupted glyphs observed

INTERPRETATION LIMIT
Unit tests exhaust finite published records only. They do not quantify over all sets,
functions, selectors, proof systems, applications, histories or purposes. The general
RBI-F/RBI-NS theorem is a textual proof in the declared metatheory. Semantic truth,
world attestation, historical priority and purpose justification are not machine-verified.
