[amaybaum]

Current state (head 05ce84d6d0b610bcf3e603b9bc70d530c8a3296d)

What this PR changes (base main 63671259): three files, all in additive commits. Independent exact-head review at 05ce84d6: ACCEPT.

• papers/Structure.md §Acknowledgments:
  • removes the unresolved bracketed attribution placeholder sentence;
  • adds the one-line pointer to the README AI disclosure: AI assistance in preparing this work is disclosed at plus a line break and <https://github.com/amaybaum/incompleteness#ai-assistance>.
• papers/Structure.tex and papers/Structure.pdf are regenerated with the canonical build.sh.
• SC-42 output is unchanged, so no regeneration was needed.
• Nobody is credited for the Part I proposal. On BOOK-AI-ACK: the book says its Acknowledgements disclose AI assistance, but they contain no such disclosure #1116 the credit question is recorded as open; it may be restored if evidence is established.

Owner decisions:

• BOOK-AI-ACK: the book says its Acknowledgements disclose AI assistance, but they contain no such disclosure #1116: c.6680965217, c.6680988755, c.6681068960, c.6681124720, c.6681132719 and c.6681417201.
• K1-RDY: paper-only readiness investigation under fixed selection rule #1031: c.6681413802, item 3.

How the work is split: this PR owns only papers/Structure.md and its builds. #1164 carries the README disclosure and the other 11 papers, and it replaces their older per-paper disclosures. It also carries the book.

Merge order: #1164 first, or together with this PR; then this PR. The pointer's #ai-assistance anchor resolves only once #1164's README lands.

Base: main has since moved to b1468584 (#1166). Those commits do not touch papers/Structure.*, and the PR has not been re-integrated. Merge needs a separate owner decision.

The sections below record this PR's history. Sections marked "(superseded; see Current state)" no longer describe the head.

---

Planning and provenance: editorial follow-up to #1116, separate from draft PR #1164.

Scope (superseded; see Current state)

One targeted source edit in papers/Structure.md §Acknowledgments. The literal placeholder
The proposal investigated in Part I was raised in discussion with [collaborator/AI-assisted analysis, depending on author preference].
was an unresolved editorial alternative, not a verified statement of historical attribution. This draft deletes only that sentence, leaving the paper's description, scholarly acknowledgments, and author-responsibility wording intact.

No historical Claude/Gemini acknowledgment is removed from Main, Medicine, Bioinformatics or Complexity. No attribution to a particular collaborator or AI tool is invented. No new model-specific disclosure is added here; the canonical current-practice statement is in root README in draft PR #1164.

Provenance and integrity (superseded; see Current state)

• Base main at 63671259.
• Head 644965bc184b005ecebff8b21f3515fc5c6d0b48.
• Changed file: papers/Structure.md only, one sentence removed from its existing acknowledgments paragraph; all other paragraphs and declarations preserved.
• This does not establish who first proposed Part I's idea. If verified human contribution information surfaces, it must be handled as a separate factual attribution correction, not inferred from the bracketed placeholder.

Pre-merge gates (superseded; see Current state)

• Independent editorial and factual review, including whether removing the unverified sentence would omit a known human credit.
• Canonical regeneration of papers/Structure.tex and papers/Structure.pdf, plus staleness, glyph and page/layout checks. The generated files are regenerated at the current head (see the deltas below); an exact-head review of them remains.
• Full-corpus re-grep for duplicate versions of the placeholder; normal CI and an exact-head review of regenerated artifacts.
• Separate owner merge approval. Do not squash, rebase or merge automatically.

Draft only; historical disclosure decisions on the four other papers remain unchanged. (superseded; see Current state)

Delta: canonical rebuild

• New head f786083a0cb333544319aaaa4090407312657825 (one additive commit on 644965bc; base main 63671259 unchanged). It regenerates papers/Structure.tex and papers/Structure.pdf with sh ./build.sh Structure.
• Toolchain: pandoc 3.1.3; XeTeX 3.141592653-2.6-0.999995 (TeX Live 2023/Debian); lmodern.sty present (no shim).
• Build OK, 0 dropped glyphs; 99 pages (main's PDF: 99); median 2949 chars/page (main: 2949).
• .tex diff against main: only the Acknowledgments paragraph (placeholder sentence removed, line reflow) plus the source-sha256 stamp, which equals sha256 of papers/Structure.md (1d0d8e88…). Rebuilt .tex sha256 93be22fb…, matching the independent review's reproduction.
• PDF text (pdftotext): placeholder count 1 → 0; every other difference is hyphenation/page-number reflow.
• tools/staleness_check.py: OK (13 matched, 0 unstamped). Local release gate: every non-Lean step passes; lean-axioms fails only because no Lean toolchain is installed locally.

Delta: centralized AI disclosure

Superseding owner decisions on #1116 (c.6680965217, c.6680988755, c.6681068960, c.6681124720, c.6681132719): older AI-usage references are removed from the current publications, one current-practice disclosure lives in the root README (#1164), and all 12 papers plus the book carry a one-line pointer. The work is split so each file changes once: this PR owns papers/Structure.md, and #1164 owns everything else. The statements above that historical per-paper acknowledgments stay unchanged and that no pointer is added here are superseded by those decisions; #1164 makes the per-paper replacements.

• New head 05ce84d6d0b610bcf3e603b9bc70d530c8a3296d (one additive commit on f786083a; base main 63671259 unchanged).
• Source: Structure's Acknowledgments gains one paragraph, identical at all 14 sites:
  AI assistance in preparing this work is disclosed at\ / <https://github.com/amaybaum/incompleteness#ai-assistance>.
  The trailing backslash is a pandoc hard line break, so the URL starts on its own line and is never hyphenated or split.
• Rebuilt with sh ./build.sh Structure: 99 pages (main 99), median 2949 chars/page (main 2949), 0 dropped glyphs. The stamp equals the .md's sha256. The .tex diff against main is the two Acknowledgments edits plus the stamp.
• PDF: one URI annotation, equal to https://github.com/amaybaum/incompleteness#ai-assistance; the URL is unbroken on one line in the pdftotext output. The #ai-assistance anchor is GitHub's rendering of the README heading ## AI assistance added in docs(#1116): central AI disclosure and correct book acknowledgment claim #1164, so it resolves once docs(#1116): central AI disclosure and correct book acknowledgment claim #1164 lands.
• SC-42 (core B step), run as CI runs it: exit 0, verdict PASS, normal and optimized runs agree, and both the result and the controls output are byte-identical to the committed files. No regeneration is needed here.
• Checks: staleness_check OK; mirror_check 0 missing; every non-Lean release-gate step passes; the §A.32/§A.33 added-line scan and SC-42's own caps rule both report 0 hits.

[amaybaum]

Approved exact-head landing verified; main CI pending.

Under #1031 c.6682459524 and c.6685633671, #1165 at 05ce84d6d0b610bcf3e603b9bc70d530c8a3296d was normally merged as f10bb2dd1a53b587b0060b54570b8264dc00d8f1. Integration began only after #1164 main run 42223883620 succeeded.

Parents are exactly 8925ba462da6fa7af30925847c93fb067ccda82d and the approved head. Actual tree f5cf1029cf7742dd4519cbd0fcf7cf18d5888c73 equals the clean prediction. The three-file net landing diff is byte-identical to the reviewed change (SHA-256 f1543193163b18ac0bd894494776ca9edcebf3ef6b72ae796affe95e69ced65e); Structure Markdown, TeX and PDF are byte-identical to the approved head.

Before merge, the combined tree passed staleness (13 matched, zero unstamped), SC-42 normal/optimized checks and must-fail controls, all byte-identical to their retained outputs. No shallow fetch was used. Ready status, unchanged head, mergeability, closing-keyword scan and prior main/PR CI passed. The temporary integration worktree was restored cleanly; no Gate A branch movement occurred.

Post-merge main verify run 42225553217 is running. Its conclusion will be checked separately.

Prepared by Codex in the current ChatGPT Work session.

[amaybaum]

Post-merge main CI: SUCCESS.

Verify 42225553217 completed successfully at f10bb2dd1a53b587b0060b54570b8264dc00d8f1: 25 successful jobs, one skipped. The exact landing parents/tree/diff and preserved Structure source/TeX/PDF are recorded in c.6685939001.

Both AI-disclosure PRs are now normally merged and verified. The required order was observed: #1164 landed, its main run succeeded, then #1165 was integrated and landed, followed by this successful main run.

Prepared by Codex in the current ChatGPT Work session.