Compression Bundle Review: Irreducibility to rules bounds text alone, not text plus an interpreter

Target: kb/notes/irreducibility-to-rules-bounds-text-alone-not-text-plus-interpreter.md Bundle: kb/instructions/compression-bundle/

Overall Result

WARN

Gate	Result	Summary
compression/core-claim-obscured	PASS	The title and opening paragraph state the strongest claim directly, and the later Naur analysis remains recognizably subordinate to that text-alone/text-plus-interpreter distinction.
compression/branch-bloat	WARN	The open questions turn the note's bounded substrate argument into a separate research agenda about testing and stabilizing composite theory-holders.
compression/detail-overhang	WARN	The publication-history qualification is relevant but too small a detail to warrant its own Scope bullet.
compression/marginal-value-redundancy	WARN	Two Scope bullets repeat qualifications already stated beside the claims they limit.

WARN: ## Open Questions, especially “What test would distinguish a composite that holds the capacity” and “Whether dispositional reliability can be bought by retention,” extends from establishing the reach of Naur's argument into designing evaluations and continuity mechanisms for a composite theory-holder. Rehome these research leads to the linked evaluation or retention notes, or reduce the section to a pointer; they are not needed to show that irreducibility alone does not rule out text plus an interpreter.

WARN: ## Scope — “Publication date.” The invited-keynote chronology and the observation that the candidate set stayed empty for decades add more historical detail than the date's argumentative role requires. Fold any needed precision into the earlier “In 1985” sentence (or say “at publication”) and remove the standalone bullet.

WARN: ## Scope — “Diagnosis versus refutation” repeats the opening qualification that the missing premise is “often true” and the general reading rule's warning that some interpreters really do lack the required world access. Keep the distinction where it first constrains the argument and delete this recap.
WARN: ## Scope — “Conjecture, not finding” repeats both “The conjecture is” at the start of the interpreter section and that section's two explicit failure modes. Fold the useful phrase that no current system is shown to hold program theory into the conjecture's first statement, then remove the Scope bullet.

Location: ## Open Questions, from “What test would distinguish a composite” through the participation-acquired-facts question
Reader problem: After the note has established and bounded its logical claim, three prospective investigations make the ending compete for attention with a second contribution: how to evaluate and stabilize an actual composite theory-holder.
Direction: Rehome the evaluation, retained-judgment, and participation-facts leads to the linked notes or a workshop. Let the compact two-failure-mode paragraph provide the necessary empirical boundary, then move directly to the general reading rule and its retained source limitation.
Combines: compression/branch-bloat
Preserve or decide: Preserve the distinction between showing that Naur's argument does not exclude the composite and showing that a current composite actually holds program theory. Decide whether developing tests for the latter is an intended contribution here before retaining any of the research agenda.

Location: ## Scope, especially “Diagnosis versus refutation,” “Conjecture, not finding,” and “Publication date”
Reader problem: Qualifications already placed next to their claims return as an appendix, while a small chronology detail receives equal structural weight with the source-coverage limitation. This weakens the otherwise crisp close.
Direction: Retain the source-coverage limitation. Delete the two repeated cautions after preserving any unique wording at their first point of use, and fold any necessary date precision into the original historical claim.
Combines: compression/detail-overhang; compression/marginal-value-redundancy
Preserve or decide: Preserve that an unargued human-only step may still be true, that the note does not establish present systems as theory-holders, and that “1985” names Naur's writing context rather than a sharp technological threshold.