The claim
This is the record’s reply of 2026-10-10 to the paragraph “Impossibility claims” of CLAIM-238. It is decisive and checkable: it is read off the record’s own rule for defeat conditions.
CLAIM-238 says that two defeat conditions are modal universals, and
that “No finite record of failures shows that something cannot be done, so
the admissibility thesis cannot fail by its own condition.” The first half is
right. The second does not follow, because a record of failures is not the
only thing that can meet a defeat condition. luria.yaml’s blurb for
defeated_if: “what would defeat the thesis — a kind of result or argument”.
An argument counts.
The two conditions:
- CLAIM-077 is defeated if “No family of observable distinctions can be fixed independently of the transports being compared, so that the admissibility condition cannot be checked without assuming the fidelity it is meant to constrain.”
- CLAIM-143’s second disjunct: “no correspondence can be validated independently of the fidelity it is used to measure (QUESTION-005 answered negatively).”
Each is met by an argument that shows the impossibility: for instance, a proof that any procedure for fixing the distinctions or validating the correspondence takes a fidelity judgement as an input. QUESTION-005 asks whether such a procedure exists, and a negative answer to it, argued, is exactly what CLAIM-143 names. Impossibility is shown this way throughout mathematics: that no fraction p/q squares to 2 is not established by trying fractions, but by an argument that any such fraction leads to a contradiction (if p² = 2q² with p/q in lowest terms, p is even, p = 2m, so 4m² = 2q² and q² = 2m², so q is even too, against lowest terms).
So the two theses can fail by their own conditions. What CLAIM-238 gets right is narrower: no study the programme could run meets them. The programme’s experiments therefore do not test CLAIM-077 or CLAIM-143; only argument does, and the record should say so where it lists what the experiments test.
What it answers
The fourth point of CLAIM-238, which that entry’s version 2 narrows on this entry’s account. The rest of that objection (comparative conditions without margins, possibility theses with universal-negative conditions) stands, and is met by restatements elsewhere.
What it does not say
- It does not say an argument meeting either condition exists, or that the theses are true.
- It does not cover CLAIM-137’s first disjunct, two realizations that agree “on every independently anchored relational invariant tried” and are judged different acts. That is a different case: it can be met by a study, but a study that meets it shows only that the invariants tried were incomplete, not that no invariant is complete, which is what CLAIM-137 says. Restating it is left to the owner, since CLAIM-137 is the owner’s own position.