[amaybaum]

Draft. Merge is not authorized; the owner decides separately. This PR is separate from the docs PR #1127, which was merged as c88293e4.

Problem

papers/Introduction.md opened with pandoc's % title block followed by a metadata block. GitHub shows both as raw text. The owner then asked for the header to match the other papers, which open with a # Title heading and bold Author/Date lines.

Change (head 4b11324b, which merges main c88293e4)

• papers/Introduction.md. The header is now in the papers' standard form:

  # Observational Incompleteness: From Deterministic Dynamics to Quantum Observations
  
  **Author:** Alex Maybaum
  **Date:** October 2026
  **Status:** DRAFT PRE-PRINT
  **Classification:** Theoretical Physics / Foundations
  

  No other line changes. The file has 478 lines, down from 483.
  • Commit 59a9ad1b first tried YAML front matter. Commit ec165dd4 replaces it with the standard form at the owner's request.
• Rebuilt artifacts.
  • .tex body: identical to main's. Only the preamble and title block differ: no \maketitle, the title is a level-1 heading, and the 1-inch margin and 11pt font settings are dropped, as in the other papers.
  • PDF layout: with the papers' default layout the PDF is now 31 pages (previously 25), with 0 dropped glyphs.
• verification/coverage/LEDGER.json. The line fields of the six INTRODUCTION:* rows were recomputed by tools/proof_census.py: 62, 98, 115, 149, 155 and 229 (originally 67, 103, 120, 154, 160 and 234). Ids and fingerprints are unchanged.

Checks (at the merged head)

• coverage_check OK (140 statements), and staleness_check OK.
• duplicate, voice, claims, lean_manuscript_census and artifact_placement_check: all OK.
• SC-42: PASS, with output byte-identical to the committed result.

No scientific text, statement, citation or status changes.

Next

A short independent review and CI on this exact head, then the owner's merge decision.

🤖 Generated with Claude Code

https://claude.ai/code/session_011zDyUSyEszk3JJx83uXKKq

[amaybaum]

Independent review of the head 4b11324b: ACCEPT

• Scope: git diff origin/main(c88293e4)..4b11324b touches only papers/Introduction.{md,tex,pdf} and verification/coverage/LEDGER.json.

• Markdown: only the header changed. The % title block and the geometry/fontsize metadata block are replaced by # Title, a blank line, then the Author:, Date:, Status: and Classification: lines, each ending in a two-space line break. This is the same form as SM, GR and Juno. The title, author and date match the old metadata. The text from line 5 of the new file is byte-identical to the text from line 10 on main, so the shift is 5 lines. No scientific change.

• Build: sh ./build.sh Introduction reproduces the committed .tex byte for byte, and the pdftotext of the rebuilt PDF matches the committed one. 0 glyphs dropped, 31 pages (25 on main). The .tex body from \textbf{Classification:} onward is identical to main's, apart from the source-sha stamp. Only the preamble and title block differ: no 11pt, no geometry, no \maketitle or pdftitle/pdfauthor, and the title is set as a \section. No other paper's .tex sets geometry or a font size or uses \maketitle, so the 31-page layout now matches the rest of the papers.

• Ledger: only the six INTRODUCTION:* line fields change. proof_census.py --json gives lines 62, 98, 115, 149, 155 and 229, and its ids and fingerprints match the ledger. coverage_check reports OK.

• Other checks: staleness, duplicate, voice, claims, lean_manuscript_census and artifact_placement all report OK. The SC-42 checker exits 0 with verdict PASS, and its stdout equals sc42-integration-result.json byte for byte.

• Stale references: I found no reference to the Introduction's page count anywhere. Line citations exist in three mutable audit records (none are legacy-records or receipt records):

  • observer-relative-finiteness-20261030/DEPENDENCY-AUDIT.md (Introduction:17,31,33,67)
  • intro-corpus-audit-20261026/tracks/SC42-operational-kinematics/README.md (L114/L214)
  • intro-corpus-audit-20261026/tracks/SC39-card-bell/README.md (L188/L255)

  Each one is pinned to a Introduction paper: reconcile sources and integrate scoped theorem recoveries #918 snapshot (for example, fa32b043:67 is Theorem 1). They are provenance and were already non-current on main, so this PR does not make them stale. No action needed.

• CI: the verify run 42024143500 at the exact head 4b11324b (pull_request event) completed with conclusion success: 25 jobs succeeded and 1 was skipped (the A42 exclusion matrix placeholder).

---

Generated by Claude Code

[amaybaum]

Merge record.

• Merge commit. 13ced581d23686b40ca47591c7a9e58003bd7657, a normal merge with expectedHeadSha 4b11324b. The owner's approval is quoted on Introduction paper: reconcile sources and integrate scoped theorem recoveries #918 (c.6657998945).
  • Parents: c88293e4 (main) and 4b11324b (the reviewed head).
  • The merge tree equals 4b11324b's tree.
  • The net change is limited to papers/Introduction.{md,tex,pdf} and the six INTRODUCTION:* ledger line fields. No statement text, id, fingerprint or status changed.
• Review and PR CI. The review was ACCEPT (c.6657744673). PR CI run 42024143500 at 4b11324b was green.
• main CI. Push run 42027520654 on 13ced581 concluded success. That covers the Mathlib bridge release gate, including its legacy-records step (303 legacy records intact), the Lean kernel check and every probe shard.

---

Generated by Claude Code