Producer documents retain their original pending-review labels and hashes. This file records subsequent review without rewriting those snapshots.
- Seventh-power conditional theorem: independent written audit passed; audits/prime-gap-multistrip/AUDIT.md. All standard source leaves checked; published KLN constants accepted rather than recomputed. QRH(7/8) assumed.
- Eighth-power predecessor: independent written audit and 384-bit replay passed; explicit-formula leaf closed in audits/prime-gap/SOURCE-CHECK.md.
- Original DFT parameter extension: independent audit passed within the pinned upstream exact-arithmetic compiler/transfer; literature shows an optimized known-construction instantiation. Separate native Muse review also passed.
- Central-wire DFT reduction: producer and independent exact checks passed; fresh independent written audit passed within the inherited compiler/transfer contract. Its model allows 1/3; not an integer multiplication claim.
- Genus filter: classical corollary and finite evidence; exact source and independent audit remain open. Genus balance cannot establish completeness.
- Primality algorithm: no accepted improvement; external-model errors rejected with explicit falsification. Raw records remain in task-local resources.
Bounded publication literature checks are in literature/. The DFT dependency is classical (Alon-Babai-Suzuki); its circuit application is a checked corollary. No result in this hunt has Lean formalization or established worldwide novelty.
Fresh-clone replay identified an old producer-checker hash in the saved central audit JSON after a negative control was added. The integrated JSON was regenerated from the unchanged independent checker against the final producer file; mathematical result fields are unchanged. Original historical audit records remain outside this public package. Proof/checker source bytes were not changed.
Publication correction: audits/kln-restoration/PUBLIC-STATUS.md distinguishes the valid use of KLN Lemma4.14 from its upstream source justification. The earlier audit omitted a historical critical-line correction and a low-height rounding issue. HPY plus a new Acb check restores the exact inputs. This adds a substantive source argument, not a new density estimate or numerical change. The source tables remain cited rather than independently recomputed. Producer status sentences below were updated after the completed independent audits; the original audited snapshots remain available at commit6b120d1f, with their hashes preserved in historical audit reports.