PUBLICATION 7.2.1 / TECHNICAL 7.2.1 TEST REPORT

run_date_utc: 2026-08-29
runtime: Python 3.12.13
overall_status: PASS

PUBLIC KNIFE UNDER TEST
PUBLIC-CUT-STATUS: PUBLIC-CUT-RECORD-NOT-WORLD-CERTIFICATE
PUBLIC-CUT: MATHEMATICAL-RECORD-AS-AUTONOMOUS-EVIDENTIARY-AUTHORITY-REJECTED
THEOREM-WORD-STATUS: ROLE-LABEL-NOT-AUTHORITY
SELF-APPLICATION: NO-EXEMPTION
MATHEMATICS-WORLD-FALSITY-CLAIM: NONE
MATHEMATICS-EXISTENCE-OR-NONEXISTENCE-CLAIM: NONE
APPLICATION-TO-UNBOUNDED-MATHEMATICS: APPLICABILITY-UNSPECIFIED-WITHOUT-TAU

The release starts from supplied lines. A reading contract may assign them the
roles word, number, symbol, value, proof, theorem or mathematics. No role-label,
including "theorem", thereby becomes an autonomous constructor of a referent,
world-truth, application, purpose or historical origin. The same boundary applies
to this report, its title, its PASS statuses and its use of the word mathematics.

PUBLICATION 7.2.1 / TECHNICAL 7.2.1 EXECUTABLE GATES
unit_tests: PASS 233/233
unit_test_breakdown: qualification_readset_checker 74; phase7_self_audit 54; phase7_static_audit 32; phase6_phase7_replay_checker 24; release_container_normalization 2; finalize_release_pdf 1; phase7_surface_language_audit 46
qualification_contract_audit: QUALIFICATION-READSET-INVARIANT-AUDIT-PASS
qualification_contract_audit_cases: PASS 193212/193212
phase6_phase7_binding: PHASE6-PHASE7-BINDING-PASS
phase6_manifest_entries_verified: 36/36
phase6_phase7_binding_tests: PASS 24/24
phase6_bridge_projection: B:wide -> B:M MATCHED; B:narrow -> B:N NOT_MATCHED
phase7_class_statuses: ALL-MATCHED-IN-Q; COUNTERBRIDGE-IN-Q
self_audit: PHASE7-SELF-AUDIT-PASS
self_audit_claims: 28
self_audit_formal_markers: 17
self_audit_marker_surface_rows: 182
self_audit_policy_sha256: 2a4a0abcd4cbe914562a257f0a067cb1a0522f154c5a72cd6924d5bca197a867
self_claims_sha256: 02d592b14f55ec1be78dca9e5aa7442936cb024c63a853b3224bd44abf8601cd
self_audit_code_sha256: 3af0f02c628e362e4eb6b2f6b98204471c1fd464d7c52cc3c555d71705cff717
phase6_phase7_binding_verdict_record_sha256: 98856409eb4b2433d30b8b115c8717b0e6bc26a239f4699e0a0043acc3cb7477
phase6_phase7_binding_verdict_hash_domain: bw-cjson-2-python-reference
static_production_audit: PASS 11/11

PHASE 0-6 READ-ONLY BASELINE
baseline_unit_tests: PASS 743/743
baseline_manifest_checks: PASS 21/21
baseline_zip_integrity: PASS 7/7
series_unit_tests_after_phase7: PASS 976/976

PHASE 7 SURFACE-LANGUAGE GATE
surface_language_tests: PASS 46/46
surface_language_audit: PHASE7-SURFACE-LANGUAGE-AUDIT-PASS
surface_documents: 10/10 exact declared paths
surface_document_blocks: 1409/1409 ordered Pandoc-AST projections
surface_forbidden_occurrences_classified: 62
surface_novelty_statuses_classified: 25
surface_docx_rebuild: BYTE-IDENTICAL TO PINNED RELEASE DOCX
surface_pdf_text_replay: EXACT TEXT REPLAY AGAINST PINNED RELEASE PDF
surface_gate_scope: supplied bytes, declared syntax, exact toolchain and replay relations only

DOCX RELEASE GATE
docx_style_audit: PASS 59/59
native_omml_objects: 564
source_to_docx_double_build: BYTE-IDENTICAL
source_to_docx_sha256_both_runs: 518a68f0f914c922a7136bf1a0d8f85ee19b54be577c4ab9f4a994f2a691b768
accessibility_findings: high 0; medium 0; low 0
style_lint_diagnostics: diagnostic-non-gate; 3869 direct-run records; 549 direct-paragraph records; 20 heading-like records

PDF RELEASE GATE
pdf_release_audit: PASS 23/23
pdf_metadata: Title exact; DisplayDocTitle true; Lang ru-RU
pdf_pages: 94
pdf_page_geometry: PASS 94/94 Letter; rotation 0
pdf_embedded_unicode_font_records: 24/24
pdf_replacement_glyphs: 0
pdf_running_matter: exact header and numbered footer on pages 2-94; cover clear
render_decode: PASS 94/94 at 1547x2002
visual_page_audit: PASS 94/94
pdf_byte_reproducibility_claim: NONE; one exact frozen PDF was audited

FORMAL LAYER CLASSIFICATION
QBR-7: RBI-1 instantiation in the declared metatheory.
EDR-7: RBI-1 instantiation in the declared metatheory.
CER-7A: type/codomain closure of the declared record-to-record procedures.
CER-7B: RBI-1 instantiation on the composite readable ledger.
CER-7C: release-conformance policy, not an additional proof step.
non_emitted_output_strings:
  M-A-PARTITION-NONARBITRARINESS-STATUS: ESTABLISHED
  UNBOUNDED-MATHEMATICS-APPLICATION-MAP-TAU: PRESENT
  MATHEMATICS-WORLD-FALSITY-CLAIM: ESTABLISHED
  HISTORICAL-PRIORITY-STATUS: ESTABLISHED
  PURPOSE-STATUS: ESTABLISHED

FAIR CHALLENGE GATE
The public headline is defeated if a challenger supplies an exact admissible
bridge, tau, procedure or class extension that performs the prohibited export
while satisfying the declared input and readset conditions. Merely adding another
written label or repeating a status is not that constructor. A written challenge
is not dismissed merely because it is written; its declared transformation is
replayed under the same no-exemption rule.

RELEASE CLOSURE
release_status: RELEASE-CLOSED-THROUGH-PHASE-7-WITHIN-DECLARED-CLASS
further_substantive_phases_planned: NONE
reopen_on: VALID-FALSIFIER-WITHIN-DECLARED-CLASS
maintenance_reopen_on: RELEASE-CONFORMANCE-DEFECT
compatibility_enum_in_claim_registry: TERMINALLY-CLOSED-WITHIN-DECLARED-CLASS

CLAIM FENCES
PREDECESSORS-AS-PREMISES: NONE
NOVELTY-STATUS: NOT-ASSESSED
PRIORITY-STATUS: NO-PRIORITY-CLAIM
HISTORICAL-ORIGIN-STATUS: NO-HISTORICAL-ORIGIN-ATTESTATION
semantic_status: NOT-MACHINE-VERIFIED
trace_scope_status: DECLARED-FINITE-RECORDS-QUALIFICATION-AND-EVIDENCE-CONTRACTS-ONLY
world_truth_status: NO-WORLD-TRUTH-CONSTRUCTOR-IN-DECLARED-CHECKER
qualification_authority_status: NO-Q-CORRECTNESS-CONSTRUCTOR-IN-DECLARED-CHECKER
evidence_authority_status: NO-E-CORRECTNESS-CONSTRUCTOR-IN-DECLARED-CHECKER
purpose_status: NO-PURPOSE-CONSTRUCTOR-IN-DECLARED-CHECKER

The CLAIM FENCES block presents field/value strings. The declared checker performs
no mapping from `NOT-ASSESSED` to `NOVEL`, `NON-NOVEL`,
`PRIORITY-ESTABLISHED` or `HISTORICAL-ORIGIN-ESTABLISHED`. Comparison maps,
query logs and registries add
records; they do not emit either `NOVELTY-STATUS: NOVEL` or
`NOVELTY-STATUS: NON-NOVEL`.

Every PASS above belongs only to supplied finite bytes, declared schemas,
contracts, programs, traces, page images, manifests and archive members. The
100/200/300-year horizon, a rocket and a Mars trajectory do not provide their own
"for what" coordinate: bearer, goal, horizon, criterion and valuation contract
remain additional supplied records. No PASS presents what a line is read as.
