BEFOREWORD / RESEARCH — PHASE 2 TEST REPORT
Run date: 2026-08-28 UTC
Release: Difference_Must_Have_Ancestor_Phase2_RU

PHASE 2 EXECUTABLE SUITE

  filtration_checker / test_filtration.py        49 / 49 PASS
  provenance_checker / test_provenance.py        37 / 37 PASS
  ast_pair_checker / test_ast_pair.py            42 / 42 PASS
  phase2_self_audit / test_phase2_self_audit.py  27 / 27 PASS
  ------------------------------------------------------------
  TOTAL                                           155 / 155 PASS

The suite covers strict JSON parsing, exact schemas, mutation rejection,
deterministic CLI output, full fiber intersections, refinement monotonicity,
first selectable stage, randomized disjoint-answer bounds, immutable typed
DAG provenance, committed prefixes, non-retroactivity, exact minimum vertex
cuts, structural AST base equality, ancestral separation, factorization
conflict, title/theorem separation, semantic fences, and fixed claim hashes.

CONTRACT AND CLAIM AUDITS

  FILTRATION-INVARIANT-AUDIT-PASS
  PROVENANCE-INVARIANT-AUDIT-PASS
  VERIFIED-ANCESTRAL-SEPARATION-WITNESS
  VERIFIED-AST-FACTORIZATION-CONFLICT
  VERIFIED-BASE-CHANGED-CONTROL
  PHASE2-SELF-AUDIT-PASS (10 required claims)

Claim fences retained by the self-audit:

  public title: UNBOUNDED-STANDALONE
  AST-1: TEXTUAL-THEOREM-IN-DECLARED-METATHEORY
  FDT-2: TEXTUAL-THEOREM-IN-DECLARED-METATHEORY
  semantic status: NOT-MACHINE-VERIFIED
  novelty: NOT-ASSESSED
  priority: NO-PRIORITY-CLAIM

UNCHANGED BASELINE REGRESSIONS

  Phase 1                                         62 / 62 PASS
  Phase 1 R1_MANIFEST.sha256                      PASS
  Phase 0                                         47 / 47 PASS
  Phase 0 K0_MANIFEST.sha256                      PASS
  Phase 0 P0_MANIFEST.sha256                      PASS

DOCX RELEASE QA

  ZIP/OPC integrity                               PASS
  python-docx open                                PASS
  exact style contract                            50 / 50 PASS
  accessibility findings                          high 0 / medium 0 / low 0
  static TOC links/bookmarks                      74 / 74
  native OMML objects                             644
  tables with fixed geometry                      7 / 7
  tracked changes / comment markers               0 / 0
  custom/comment parts                            0

The generic style linter was also retained as a diagnostic report. Its direct
formatting counts arise from generated OMML, the editorial cover, table cells,
and fixed navigation/running-matter runs; the exact Phase 2 style contract and
accessibility audit are the release gates above.

PDF RELEASE QA

  pages                                            59
  page size                                        Letter, 612 x 792 pt
  tagged                                            yes
  encrypted / JavaScript / forms                   no / no / none
  embedded fonts with Unicode maps                 PASS
  text extraction                                  PASS
  replacement glyphs / raw TeX / TODO / TBD        0 / 0 / 0 / 0
  decoded page rasters                             59 / 59
  blank or low-ink pages                           0
  content touching page boundary                   0
  visual contact-sheet review                      59 / 59 PASS
  original-scale spot checks                       cover, TOC, AST, provenance,
                                                   application, dense tables,
                                                   final verdict PASS

The visual pass found and repaired two pre-release layout defects: an
unbreakable definition block at the application boundary and a redundant
near-empty page. A final orphan punctuation mark was also removed. All checks
above refer to the final rebuilt DOCX and PDF, not to the earlier previews.

RESULT

  PHASE 2 RELEASE QA: PASS

