The objection
A240 opens its reply to U62 (“how would you suggest we update or modify the theses?”) with it: “I would make one substantial change to the architecture of the theses: stop asking a single overarching thesis to carry the ontology, the theory of translation, the account of fidelity, and the empirical prediction.” Its reason: “PR #121 has shown that these claims can succeed or fail independently.”
A240 then sets out six theses (T1 to T6) in a dependency diagram, and says
how to read it: “I would treat this diagram as an argumentative sequence,
not a strict logical derivation. T4 could be empirically supported even if
T1’s metaphysics remains disputed. T5 could fail while T4 succeeds. And the
mathematical claims in T2 and T3 can remain useful independently of either
empirical outcome.” And for the record’s graph: “use rests_on only when a
claim genuinely requires a premise.”
Against CLAIM-204. The restatement keeps CLAIM-139’s four clauses, ontological, epistemic, transport and fidelity, in one sentence. Its defeat condition opens “Any of three findings”, and all three concern same-kind verdicts: whether relational profiles predict them better than rivals, whether a model of the response profiles does as well, and whether the relational signatures transfer between languages. It rests on seven claims, from CLAIM-217 to CLAIM-077.
A conjunction is false when any conjunct is, so the logic is not at fault. What the form loses is information. Any one of the three findings defeats the whole entry, including the fidelity clause, which none of them tests (receivers’ recovery is tested in CLAIM-220), and the ontological clause, which the entry itself says “stays untested”. The retired thesis then leaves its surviving clauses with no entry that states them. The same holds of retiring any one of its seven premises.
Against CLAIM-139. The same form: four clauses, a defeat condition of three disjuncts on human same-kind judgements, and five premises.
Why the clauses can come apart. The record’s own claims already separate the fidelity clause from the ontological one. Fidelity belongs to a transport, and sharing a kind gives none (CLAIM-210); a transformation that changes an act’s relations can change the act (CLAIM-151). A232 §5 says the same: “a transformation can be a genuine transport even if it fails to preserve that kind.” So what survives a transport is not defined as the kind persisting, and the fidelity clause does not need the ontological one as a premise.
What the record had already done. A240’s “PR #121 has shown” is right of two replies. CLAIM-220 dropped CLAIM-115’s rest on CLAIM-082: “The structuralist premise motivates the thesis and does not carry it.” CLAIM-202 is a separate thesis with its own test. It is not right of CLAIM-204, which joins the clauses again. A240’s table row for CLAIM-139, “Supersede with a narrower integrative thesis, drawing on CLAIM-204”, gives this objection as its reason, so it does not endorse CLAIM-204 as filed.
The separate theses, as the record holds them.
- T1, relational constitution: CLAIM-215, filed with this entry.
- T2, restricted recoverability: CLAIM-209, filed with this entry, answering QUESTION-027.
- T3, admissible transport: held in pieces, each with its own code: directed, stochastic, non-invertible transport (TERM-008), anchored correspondence on held-out cases (CLAIM-011), designated distinctions kept apart (CLAIM-077), a class-level kernel family (CLAIM-228), kind-sharing is not transport (CLAIM-210), and transport can change the act (CLAIM-151). A further entry would say what their relations already say.
- T4, receiver-relative survival: CLAIM-220.
- T5, incremental transport structure: CLAIM-202.
- T6, changing-cover effects: CLAIM-257 and CLAIM-201.
No one of the six rests on another, except inside T3, where CLAIM-228 rests on CLAIM-011. Each thesis among them has its own defeat condition, and CLAIM-220, CLAIM-202 and CLAIM-201 state theirs on the discriminating study (CASE-055).
The relations A240 asks for. It advises: “Otherwise prefer typed
relationships such as complements, operationalizes, or tests, wherever
the record schema permits them.” The schema has no operationalizes and no
tests. A claim can complement another, be grounded in a case, or be
illustrated_by one, and a thesis is tied to the study that tests it by
naming the study in its defeat condition, as the record’s replies do.
What it does not say
- It does not say the clauses are unrelated. They answer one question (QUESTION-029) and belong together as complements.
- It does not say an integrative statement is useless. A manuscript may want one sentence for its thesis.
- It does not say CLAIM-204 or CLAIM-139 should lose their
rests_onnow, and neither is edited. - It does not adopt A240’s hierarchy, or its recommendation to supersede CLAIM-139. Those are the owner’s to take.
What would answer it
- An argument that the fidelity clause needs the ontological one: that what persists through a transport must be the kind, against CLAIM-210 and CLAIM-151. Then the conjunction would be a chain of premises, not a list.
- Or the owner’s choice to keep an integrative statement for the manuscript, with the separate theses carrying the defeat conditions and the integrative one marked as a summary of them.
Where it stands
Open. The separate theses are filed as proposals beside CLAIM-139 and CLAIM-204, and the owner has decided neither this objection nor A240’s recommendations.
Note of 2026-10-30: promoted
The status review of this date promoted it. CLAIM-204 now records the concession, this objection’s second answer: it is the integrative statement, and the separate theses carry the defeat conditions of the clauses its own condition does not test. A240’s hierarchy and its other recommendations are not adopted by this.