Topics — What a work is about. Nucleation holds whatever reading the owner files here, whether or not an Anthology of the SOTA topic could also hold it; instruction for ML practice belongs to the anthology (ADR-048). The words are seeded from the clusters the reading-time triage of 2026-09-25 found, and grow by decision.
Philosophy of science — what science is and what its theories say about the world — realism and structural realism, explanation, causation and evidence, the interpretation of physical theories (group: philosophy).
53 of 547 CLAIM documents. Back to the full index.
| # | Title | Summary | Status |
|---|---|---|---|
| CLAIM-024 v4 | Nothing here is new but a question: planning theory, control theory, executive control and institutional theory already study every mechanism the account names, and where the account has been set beside the expected value of control and Ainslie’s interests it differs only in asking what governs how the driver changes rather than who drives, a question those mechanisms may answer without it | ”The most important objection” (Section 7.1), re-derived three times in the exchange with different criteria each time. The paper concedes the mechanisms (CLAIM-021), and beside the expected value of control and Ainslie the record concedes a difference of question (CLAIM-159). The objection still presses that the mechanisms may answer that question without the account, and planning and institutional theory are not compared. | Proposed |
| CLAIM-028 | No result from the exchange’s four experiments reached a later draft: the authored chains were excluded by rule, and the synthetic constructions were dropped without a stated reason | What became of E1–E4. C6 Appendix F made the provenance caveats a rule (“Do not use assistant-authored examples as independent LLM samples”), and A89 called C6 “a theoretical manuscript with a specified empirical program”. The synthetic results of E1 were legitimate existence constructions and their loss is not explained. | Active |
| CLAIM-078 v3 | The theory succeeds if its observational and decision measures predict changes of communicative identity that text similarity misses and follow its compositional predictions across reconstructions; it needs neither quantum contextuality nor exact Noether laws | A110 §X’s success criterion and its closing statement of what remains to be shown, recovered. The manuscript keeps half (Case I: incremental prediction of held-out judgements) and drops the disclaimer and the compositional half. | Proposed |
| CLAIM-085 v2 | A framing effect in a language model is a property of that model under those prompts, and what a translation ought to preserve is a normative question that model response distributions, being descriptive, cannot settle | A45 §8–9 and A48 §8.5, recovered. Both limbs went in the de-hedging after U19, though neither is a hedge: one is a design constraint, the other a distinction between normative and descriptive fidelity. The manuscript keeps part of the remedy and neither argument. | Active |
| CLAIM-095 | Anticipated objections are better met by precise definitions, constructions and results than by hedges | The owner’s methodological instruction at U19, accepted by A49 as “define rather than defend; demonstrate rather than disclaim”, with the guard that it does not mean concealing limitations. Its sweep removed hedges, and with them some substantive points. | Proposed |
| CLAIM-134 v2 | A non-eliminative structural realism that keeps relata but denies them any intrinsic identity-fixing feature is the position Chakravartty’s dilemma targets, and granting numerical plurality without relational differentiation, as A194 and A198 do, concedes a non-relational ground of identity | The record’s objection to the owner’s U54 individuation thesis. No one raised it in the exchange. Chakravartty’s fn. 9 names Esfeld and Lam, the position A194 calls “close” (NOTE-149). Leitgeb and Ladyman’s edgeless two-node graph is the hard case the exchange’s examples avoid. The owner’s character move answers the dilemma for kinds and not for identity. | Proposed |
| CLAIM-135 v3 | Recovering latent structure from relational data is three achievements, reconstruction, identification up to stated ambiguities, and constitution of a communicative kind, and identifiability theory reaches the second at most | The assistant’s, at A207 §5 (three profiles) and A214 §1 (three problems, two warrants), kept as A218 §5’s five objects of inquiry. A214 asked for it as a THEORY; it is the record’s own distinction, so it is a claim. It answers QUESTION-001 in part, by naming a failure that question did not. It does not say identified factors are never kinds, or that the second step is open. | Active |
| CLAIM-138 v3 | The Newman objection is the collapse objection at the level of ontology, and the remedy offered for both, independently specified relations, concedes that relational structure alone does not fix communicative identity | The exchange drew the parallel itself, four times (A187 §6, A191 §10, A203 §19, A218 Ch2.10). What it did not draw is the cost. The standard answer to Newman adds non-structural input, and so does admissibility, which sits uneasily with the claim that relations constitute identity. The objection presses on the owner’s individuation thesis only if its relations are read extensionally, and it does not touch the “partly” of relational constitution. | Proposed |
| CLAIM-143 v3 | Local descriptions that disagree are not thereby incompatible: whether there is an obstruction can be assessed only relative to a specified class of admissible correspondences between their observations, independently validated and not admitted because they remove the disagreement | A164, after the owner’s U47, restated by A173, A178, A203, A214 and A218. Three classes of disagreement (coordinate difference, structural transformation, global obstruction) and an order of tests: fix and validate the correspondence, then ask whether the descriptions extend jointly. A173 proposed it as a design principle; it is a thesis of the line. The relativity example motivates it and is not evidence for it. | Active |
| CLAIM-145 v4 | Trope analysis of the kind A155 proposes is Propp’s and Lévi-Strauss’s transformational analysis, whom the manuscript should cite as precursors | The record’s objection to CLAIM-147; no one raised it in the exchange. A155 presents TV Tropes as “the clearest large-scale empirical setting” for the structuralist side of the theory and names neither Propp nor Lévi-Strauss, whom the record reads as the direct precursors. The circularity half recurs in the exchange’s own controls (A178 Study B and Ch12.9), and A218 drops the control. The prior-art half is close to granted. | Active |
| CLAIM-146 | Recovering latent relational structure from an interaction matrix, with no privileged latent coordinates, is decades-old prior art, so the manuscript’s contribution cannot be that recovery | The owner’s prior-art objection at U58 to A207’s closing framing, conceded by A210 in its first sentence and extended by A214 to identifiability and cross-lingual alignment. It is the line’s third in-band prior-art retraction, after CLAIM-019 and CLAIM-100 → CLAIM-125. The concession holds for structure. It does not hold for individual topics, which are recovered only by privileging the nonnegative representation, and uniquely only under separability or anchor-word conditions. | Active |
| CLAIM-150 v2 | An ontology of intrinsically individuated objects with relational properties can reproduce the categorical and operational identifications, and the predictions, of a relational one, so identification underdetermines constitution | The exchange’s own guard, stated six times (A187, A191 §4, A198 §VI, A203 §35, A214 §13, A218 §13). The record adds the stronger, formal form from THEORY-032: the Yoneda lemma presupposes the relata. That suits the non-eliminative choice and gives elimination no support. The ontological thesis needs its own conceptual argument; the mathematics and the experiments cannot supply it. | Active |
| CLAIM-202 v2 | What the line adds to functional and relevance-theoretic accounts of translation is measured structure beyond a static pragmatic profile: the context-indexed profile, its response to later framings and its decision relevance predict receivers’ recovery beyond the similarity of static stance and footing ratings | The record’s reply, on 2026-10-10, to CLAIM-233. CLAIM-023 places the line’s contribution in “a specified, testable account of which communicative distinctions a translation preserves”, so the test of that contribution must be against the accounts that already hold the pragmatic point. This restores CASE-005’s three-way selection (semantic, static pragmatic and trajectory similarity), which was gone by A52, with human receivers. A proposal, untested. It does not say the functionalist rivals are wrong. | Proposed |
| CLAIM-203 v4 | The only design for the October thesis builds its outcome in: the act is fixed by whoever writes the items, and the topic-only baseline is built to fail on the critical cells | Found in the record’s audit of the line on 2026-10-10 (empirical lens); no turn of the exchange raises it. CASE-040 “makes the act a manipulated factor rather than an outcome”, so recovering the act recovers the item writer’s intent, close to a manipulation check. Its held-out items are built to “break the familiar correlation”, so a lexical topic model fails on them by construction. And its baseline is topic-only NMF, not the embedding or surface similarity of CLAIM-139’s own defeat condition. Through CLAIM-135 it reaches CLAIM-139’s epistemic clause. CASE-040’s “What it cannot show” covers neither point. It does not say the design is useless as a first pilot. | Superseded — by ARG-011 |
| CLAIM-205 v3 | Functional and relevance-theoretic accounts of translation, as Nida, Nord and Gutt state them, need not fix one context or a static stance profile of the rendering | From the interlocutor’s reading of PR #121 and its reconciliation, relayed by the owner on 2026-10-12. It accepts CLAIM-202 as the line’s principal empirical thesis and objects to its rival set. Narrowed and promoted on 2026-10-30, when Nida, Nord and Gutt were read; the baseline it proposed is CLAIM-504. | Active |
| CLAIM-206 | If a communicative kind can outrun every probe, human same-kind judgements, themselves one probe family, can neither confirm nor defeat the October thesis; if it cannot, the kind does in the tests only what an observational class does, which the record’s term for a kind says it is not | Found in the record’s audit of the line on 2026-10-10 (structure lens, with one point from the empirical lens); no turn of the exchange raises it. The dilemma reaches the epistemic and fidelity clauses CLAIM-139 says the programme does test, not only the ontological clause its “What it does not say” sets aside. Two defeat conditions misfire under it: CLAIM-142’s is met trivially if the judges’ verdicts count as a probe, and CLAIM-139’s third disjunct is either always met or never decidable. It does not say kinds are unreal, and it is not CLAIM-150’s underdetermination of the ontology. | Proposed |
| CLAIM-208 v2 | The compositional predictions are upper bounds whose constants cannot be estimated from serial-reproduction data in a metric fixed beforehand, so the compositional half of the success criterion cannot fail | Found in the record’s audit of the line on 2026-10-10 (empirical lens); no turn of the exchange raises it. The recursion e_n ≤ (∏κ_j)e_0 + Σε_i∏κ_j is a theorem once its constants are the true ones, so a chain cannot depart from it; it can only show a constant was misestimated. A sensitivity κ_i belongs to a reteller’s kernel and needs many retellings of each of several inputs at every generation, where a chain gives one. And CLAIM-059 says amplification “needs a metric other than total variation” (now held as CLAIM-267), so the regime depends on a metric chosen afterwards. CLAIM-078 records that the compositional half was dropped from the manuscript, not that it cannot fail as stated. It does not say error propagation is unimportant. | Active |
| CLAIM-209 | Probes and statistical models recover only the distinctions identifiable from the relational evidence they are given, and a signature sufficient for a stated family of communicative decisions outside the observed probes can be identified when the full latent factorization is not | The assistant’s second thesis at U62 (A240 T2), the positive answer to QUESTION-027. It has now been asserted four times: A214 §7, A218 (RQ3 and the priority theorem target), A232 (§3.2 and F2) and A240. Filed with QUESTION-027’s scope: the unrestricted claim is answered by standard results, so its content is in decisions outside the observed probes. No signature is yet named. A proposal; the owner argued none of it. | Proposed |
| CLAIM-213 | A proposed relational kind is a hypothesis about invariance across admissible changes of measurement and context, not an equivalence class under the measurements now available, so realism about kinds gains empirical content as extrapolation to probe families, populations and environments not used to construct them | From the interlocutor’s reading of PR #121 and its reconciliation, relayed by the owner on 2026-10-12. The middle position it proposes between the realist reading of CLAIM-139’s ontological clause and an operationalist one, which it would leave open as a tension rather than resolve. Proposed and not adopted. | Proposed |
| CLAIM-216 v2 | A thesis that conjoins relational constitution, statistical recovery, transport and receivers’ recovery is defeated whole by any one of its empirical findings, though its clauses can hold or fail apart, so the line is better put as separate theses, each with its own defeat condition, resting on one another only where one is a premise of another | The interlocutor’s objection at U62 (A240) to the October thesis (CLAIM-139) and to the record’s restatement of it (CLAIM-204), given as the reason for superseding CLAIM-139: “Separates ontology, statistical recovery, and empirical transport instead of making them rise or fall together”. The record’s replies of 2026-10-10 had already separated the receiver thesis and the incremental thesis; the restatement joined the four clauses again under one defeat condition. Active since 2026-10-30; CLAIM-204 concedes it. It says what would answer it, and does not say an integrative statement is useless. | Active |
| CLAIM-217 v2 | For a communicative kind, the standard of sufficiency is the uptake of competent participants who know the standings and norms in play: a defeasible standard, overridden only where the act’s other constituents diverge from the judges’ verdicts, so a probe family is tested against it, and a kind outruns the families coarser than that standard and the judges only through those constituents | The record’s reply, on 2026-10-10, to CLAIM-206, and the argument CLAIM-247 found missing. Calling a probe family insufficient (CLAIM-142, CLAIM-135) presupposes a standard beyond it. For an act partly constituted by uptake (CLAIM-151), competent participants’ uptake is that standard, and since version 2 a defeasible one: CLAIM-241 is conceded, so the verdicts yield where the act’s other constituents diverge from them. The kind’s extension is the class the standard fixes, and analysts’ families are insufficient when coarser. No test needs a kind that outruns every family. A proposal, resting on a Proposed premise. It does not touch CLAIM-139’s ontological clause, which the programme does not test. | Proposed |
| CLAIM-222 v2 | No design in the programme includes an interlingual translation, and the defeat conditions are disjunctive, so English retellings and model chains could settle a thesis about what survives translation | Found in the record’s audit of the line on 2026-10-10 (empirical lens). The workbench entry for 2026-10-10 notes that the title’s question “is left with no translated text in the programme”; no CLAIM says it, and none draws the consequence. Every stimulus set the designs name is English, or names no language; Villon→Henley and Marot→Hofstadter never enter a design. CLAIM-115’s defeat condition ranges over “translations, retellings or cross-modal renderings”, so a result on English paraphrase alone can meet it. It does not say intralingual results are irrelevant. | Active |
| CLAIM-223 v2 | Whether a distinction survived is fixed by what the receivers can recover, and whether it can be shown to have survived is fixed by what the analyst’s probes can identify, so the manuscript’s thesis and the October fidelity clause, read so, answer different parts of one question | The record’s reply, on 2026-10-10, to CLAIM-211, and the argument CLAIM-140 asked for: “the thesis now needs both conditions, or an argument for dropping one”. It keeps both, in different roles. On CLAIM-140’s cases: a distinction identifiable but unusable did not survive for those receivers; one usable but unidentifiable survived without evidence of it. Read so, complements is right on content. A proposal: it is a reading of CLAIM-139, not what A218 says. | Active |
| CLAIM-229 v3 | The footing, compensation and constitution theses ground on invented cases whose readings the assistant assigned, and the case filed for the proposition’s non-necessity holds the words fixed, so it shows only insufficiency | Found in the record’s audit of the line on 2026-10-10 (empirical and structure lenses); no turn of the exchange raises it. CLAIM-061, CLAIM-091, CLAIM-151 and CLAIM-084 list fictional cases in grounds, which ADR-032 makes evidence, while the cases’ own bodies say they show a possibility, and CLAIM-151’s defeat condition asks a rival to predict a variation nobody observed. CASE-018, filed as the necessity half of CLAIM-061, keeps the words fixed, so it shows only that the proposition is not sufficient. Granted: it is a reading of the record. It does not say the theses are false or that invented cases are useless. | Superseded — by ARG-021, ARG-020, ARG-013, ARG-024, ARG-039 |
| CLAIM-230 v3 | Blackwell comparison needs the state each rendering is about, which natural texts do not supply, so a decision measure is fixed by whoever labels the state, and it orders translation procedures, not single renderings | Found in the record’s audit of the line on 2026-10-10 (empirical lens); no turn of the exchange raises it. Testing Blackwell’s order needs the joint law of the situation and the signal. For natural texts the situation is what interpretation recovers, so it comes from the stimulus design, the analyst’s labels or the judges, and decision-relevant information is measured against whoever fixed it. An experiment is a family of distributions, one per state, so a single rendering of a single poem is not one. CLAIM-050’s defeat condition, “one rendering is a garbling of another”, is then not well typed. It does not say a design-based state is illegitimate. | Active |
| CLAIM-232 v3 | Human ratings of stance or footing and human ratings of fidelity of the same renderings share rater construal, scale use and a general impression, which a machine similarity score shares with neither | Found in the record’s audit of the line on 2026-10-10 (empirical lens); no turn of the exchange raises it. Ratings of stance and footing share rater construal, scale use and the reading of one stimulus with ratings of fidelity, and an embedding score shares none of that. The manuscript’s split annotators (§10, as QUESTION-005 reports) remove the shared rater, not the shared construal. It is a second reason, beside CLAIM-233, that the central tests are easy to pass. Open, because a design could answer it. | Active |
| CLAIM-233 v4 | The central theses’ defeat conditions pit them only against embedding, propositional or surface similarity, and two rivals the record holds, functional equivalence as Nida states it and a proposition with its illocutionary force, also predict that judged pragmatic observables beat text similarity | Found in the record’s audit of the line on 2026-10-10 (structure and empirical lenses); no turn of the exchange raises it. Every thesis-level defeat condition in the line has one form: human judgements of fidelity or of shared kind are predicted as well by a text-similarity score as by the theory’s measures. CLAIM-023 says the pragmatic point is not new, and a functional-equivalence account as Nida states it, or a proposition with its force, passes the same test; Gutt’s relevance-theoretic account, as his thesis states it, does too (CLAIM-501). Granted, because it is read off the texts. It does not say the theses are false, only that their stated tests cannot separate them from the positions they claim to improve on. | Active |
| CLAIM-238 v2 | Many of the line’s defeat conditions cannot in practice be met: the comparative ones are null results with no margin over an observable set the thesis may re-choose, and the possibility theses’ are universal negatives that no finite study establishes | Found in the record’s audit of the line on 2026-10-10 (empirical and structure lenses); no turn of the exchange raises it, though CASE-029 records the decision rules that were dropped. Three shapes of defeat condition cannot be met. “As well as” is a null result, which needs an equivalence margin and power, and no entry states either. The observables are “not fixed in advance” (CLAIM-115). And the “can” theses are defeated only by “never” or “always”, so one construction confirms them and no study refutes them, while what the main thesis needs from them is prevalence and magnitude, which none states. Granted: each point is read off the texts. It does not say the theses are false or untestable in principle. | Active |
| CLAIM-239 | A defeat condition that says something cannot be done is met by an argument that it cannot, not by a record of failures, so the admissibility and correspondence theses can fail by their own conditions, though no study the programme runs can make them fail | The record’s reply, on 2026-10-10, to the fourth point of CLAIM-238. luria.yaml’s blurb for defeated_if is “what would defeat the thesis — a kind of result or argument”. CLAIM-077’s condition and CLAIM-143’s second disjunct (“QUESTION-005 answered negatively”) are met by a showing that the distinctions or correspondences cannot be fixed independently. What the objection gets right is that no finite study meets them, so the programme’s experiments do not test these two theses; argument does. Active, because it is read off the rule. | Active |
| CLAIM-243 v2 | Read as description, the manuscript’s thesis is close to true by definition; read as a criterion, it is a schema until the decision family Q is fixed, and its descriptive defeat condition can test neither reading | Found in the record’s audit of the line on 2026-10-10 (structure lens); no turn of the exchange raises it. A distinction no receiver can recover has not survived for anyone, so the descriptive reading is near-analytic. The normative reading leaves which distinctions count to the task family Q, which CLAIM-115’s summary calls “normative and contestable”. The defeat condition fixes observables the thesis declines to fix, and tests them descriptively: CLAIM-085’s split of normative from descriptive, applied to the thesis rather than to model judges. It does not say the thesis is empty. | Active |
| CLAIM-247 v3 | The bearer of communicative identity reversed, from an operational object defined on observed responses to a kind that can outrun observation, and no turn argues the change; both stances stand in the record | Found in the record’s audit of the line on 2026-10-10 (structure lens); no turn of the exchange raises it. It is CLAIM-140’s point for the bearer of identity rather than the receiver. The manuscript defined the communicative object on observations, and CLAIM-112 says that was “a choice of what to measure, not a theory of what meaning is”. CLAIM-139 is a theory of what identity is, with a kind that “may be real while remaining indistinguishable” under the probes. TERM-014 records the change and CLAIM-142 names it in one sentence; no claim records it as unargued. Granted: it is a comparison of texts. It does not say the realist reading is wrong. | Superseded — by ARG-029 |
| CLAIM-248 v4 | The founding stimuli (Villon, Henley’s Villon, Hofstadter’s Marot) and commentary on them are likely in language models’ training data, and what a context does to one model need not be what it does to another, so a model’s reading of their footing may be recall, and a directional match in one model may not hold in the next | Found in the record’s audit of the line on 2026-10-10 (empirical lens); no turn of the exchange raises it. Agreement in direction is what a model trained on human descriptions of teasing and reproach would show anyway, and Villon, Henley and Hofstadter’s Marot are likely in training data, so a model’s “interpretation” of them may be recall. ARG-008 and CLAIM-085 already bound what model results show about human pragmatics. What is new is that CLAIM-058’s validity bar is too low, and the contamination point. Minor. | Active |
| CLAIM-253 v2 | The intertwining defects are defined on unobservable interpretive-state spaces, so they are not identified from judgement data, and the commutator identity bounds observed order effects only with a further, unstated readout-intertwining defect | Found in the record’s audit of the line on 2026-10-10 (formal lens); no turn of the exchange raises it. The commutator identity is correct, but Φ, A and A′ act on interpretive states. CLAIM-046 says hidden-state models that give identical observations can differ, and a worked case shows two such models with defects 0 and the largest possible, so the defect is not a function of the data. What is observed is responses, and the identity reaches the observed order effect only through a readout defect between outcome spaces, which no draft names. It is distinct from CLAIM-011, which is about collapse: this is about identification. | Active |
| CLAIM-265 v3 | Local descriptions that disagree are not thereby incompatible: whether they obstruct a joint description is decided only relative to a specified class of admissible correspondences between their observations, and a correspondence admitted only because it removes the disagreement decides nothing | The general content of CLAIM-143, filed alone under ADR-040 so that the order of tests does not rest on CLAIM-011, CLAIM-004 and CLAIM-035, which are about translation. Disagreement between local descriptions sorts into a coordinate difference, a structural transformation or a global obstruction, and the sort cannot be made until a class of admissible transition maps is given. Inertial frames (CASE-039) show disagreement with no obstruction once the maps are known. | Active |
| CLAIM-266 v2 | A family of probes that supplies an optimized system’s training signal cannot also certify what the system preserves: optimization pushes toward whatever the probes reward, including what they cannot see, so preservation must be shown under probes not used to train it | The general content of CLAIM-149, filed alone under ADR-040 so that it does not rest on CLAIM-011’s account of correspondences in translation. Training against a probe family pushes a system toward whatever the family rewards, including differences it cannot see, so the family is not a certificate of what was preserved. CASE-041 is a documented instance: a Projected FastGAN trained against ImageNet features matches StyleGAN2’s FID, also computed in ImageNet features, while doing worse in CLIP space and with human judges. | Active |
| CLAIM-278 v5 | An operator framework flexible enough to redescribe any dynamical process explains none of them until it forbids some outcome, and the shared-organization thesis has not yet said what it forbids | A7 §14’s own first limitation, which the exchange granted and the record files as the standing objection to the explanatory thesis: “A sufficiently flexible operator framework could redescribe almost any dynamical process. The model must earn its value through restrictive assumptions, predictive compression, and intervention-sensitive predictions.” It is CLAIM-024’s objection to the will paper, met by a second account. It is answered by a prediction the framework makes and its rivals do not. | Superseded — by ARG-036 |
| CLAIM-401 v3 | The conditions an effective description is commonly asked to meet are not of one kind: predictive sufficiency and approximation fidelity are adequacy relative to a declared target, metric and horizon; tractability restricts the operations under which adequacy is assessed; dynamical independence and memory closure are relations of the representation to the system, memory relative to a chosen projection; so a matrix over them as independent binary axes conflates kinds | A4 and A5 of the exchange of 2026-10-20, on the owner’s U4 (“it sounds like considering it from this angle has potentially already altered our characterization of those ‘virtues’”). A4: “(P) and (A) look increasingly like evaluation criteria, while (D) and (M) describe different aspects of system–representation structure. (C) describes resource accessibility.” A5: approximation fidelity “may specify the degree to which a prediction or dynamical relation is preserved”, and tractability “can instead restrict the operations over which preservation is evaluated”. The record adds what A5 missed: memory is relative to the projection too (QUESTION-222, THEORY-752, CLAIM-397). It is CLAIM-348’s “adequacy is fixed by the evaluative target” applied to the axes of a comparison. It does not say the five reduce to three. | Active |
| CLAIM-402 v5 | Predictive success of a category across contexts warrants treating it as a real effective kind only when the evidence in those contexts does not pass through the category’s own use, or when the effect of that use is modelled: a category that speakers or institutions act on can produce the regularities that confirm it, and contexts that share its use are not independent | A27 §1 of the exchange of 2026-10-20, on the owner’s U27 (“are we perhaps better positioned now to address QUESTION-007? -009? -011? -028?”), after A26 §2’s performative toy. It is the one criterion A27 added to A191’s four on QUESTION-028’s page, and NOTE-769 anticipated it from Hacking’s interactive kinds. CLAIM-342’s condition on evidence, moved from a judgement–observation loop to the warrant for a kind. The sharp edge: it defeats one inference and is not a criterion of kindhood, so QUESTION-028 stays Open. | Active |
| CLAIM-405 v2 | An individuation is well defined only once its criterion is fixed (the target it serves, the transformations its unity must survive, the scale), and that dependence does not make it arbitrary: once the criterion is fixed a verdict can be false, and differently fixed criteria can pick out units of one system whose boundaries cross rather than nest, none of them less real for it | The individuation counterpart of the owner’s normative thesis CLAIM-363 (“once they are fixed, the judgment can be false”), as A8 and A9 of the exchange of 2026-10-20 put it, on the owner’s U8 question about “contextuality/relativity/subjectivity”. A8 §9: “the underlying system is objectively real, while some scientifically meaningful properties of its descriptions are objectively relational.” A9: “an individuation claim can be objectively assessed once its relevant organizational criteria are specified”, and “A system may exhibit several objectively grounded forms of unity that need not share the same boundary.” CLAIM-152 gives the relativity; this claim adds that relativity is not arbitrariness. It bears on QUESTION-065 without answering it. It does not say which criterion is right. | Active |
| CLAIM-427 v5 | Evidence for the organizational-perspective framework comes in three grades: that different organizations produce the same ordinary behaviour, that they respond differently to independently specified interventions, and that a model representing the coupling of significance, authority and reproduction predicts those responses better than the strongest existing alternatives at matched complexity; only the third bears on the framework’s defeater, and no grade counts if success is defined in the framework’s own terms | From the exchange of 2026-10-23, “Framework Overview Request”: the owner’s U3, “what’s the value add here? be it achieved or just intended”, and U4, on experiments. A3: “Its strongest achieved contribution is conceptual disentanglement”, and the test is “whether it changes what we can infer, distinguish, explain, or discover”. A4 set the grades and the rule “not to use the framework itself to define experimental success”. CLAIM-414 already meets the first grade for two constructions. Nothing in the record meets the third. | Superseded — by ARG-025 |
| CLAIM-470 v3 | Inquiry is a form of specification: a question fixes which differences would count as an answer, an inquiry adds the operations that make those differences accessible, and what it finds can stabilize into a specification that constrains later inquiry; so inquiry stands to its findings as a specification to its realizations, with one difference, that an inquiry can revise what an answer could be | The owner’s, U15 of the exchange of 2026-10-27: “inquiry is a form of specification.” It carries CLAIM-477’s analogy into inquiry: question and finding stand as specification and realization, and a stabilized finding becomes a specification for the next inquiry. A15 and A16 found Dewey and Collingwood the nearest predecessors, and counterexample-guided abstraction refinement the nearest formal case. TERM-065 already keeps a description apart from the regime it is judged under; the claim adds that the regime is itself a product of inquiry and can be its object. It does not say that inquiry makes what it investigates. | Active |
| CLAIM-477 v2 | Relata stand to relations as realizations stand to specifications: what an entity is, is partly fixed by the constraints on the configurations of entities and relations it can enter, and those constraints are themselves realized and maintained by something, so neither relata nor relations, nor specifications nor realizations, are prior without qualification | The owner’s, U8 of the exchange of 2026-10-27, “maybe relata:relations::realization:specifications/constraints?”, after U6 had set the record’s ambitions as “extremely abstract and unrestricted”. A8 sharpened it: “Relata are to relational structure somewhat as realizations are to specifications—but relations themselves also have realizations”, and added the recursion, that constraints “are themselves realizations within larger relational structures”. Filed unrestricted in domain, as the frame of which CLAIM-151 and CLAIM-136 are domain cases. It is not a structural realism that eliminates relata, and satisfying a specification is not being produced by it. | Proposed |
| CLAIM-487 | Describing the relations that decide which regime becomes effective as one will-organization, across realizers, explains something that planning theory, control theory, executive-control research and institutional theory each describing their own realizer does not | The explanatory-gain claim the paper stakes itself on, filed separately by the status review of 2026-10-28. It was carried by CLAIM-027’s standing without being one of its words, so CLAIM-024’s objection had no target of its own. CLAIM-021 concedes the mechanisms; this is what is left to show: that one description across realizers earns its keep. | Proposed |
| CLAIM-497 v2 | A system’s causes are found at the coarsest description whose interventions are unambiguous: a macro description is causally proportionate where it merges only micro states that intervention cannot tell apart, and no coarse-graining carries more causal information than the micro description it supervenes on | The record’s position on causal emergence after THEORY-787 was rejected. A coarse-graining can be the right causal description, but not by beating the micro. Under one intervention distribution at both levels, no coarse-graining of a transition carries more effective information than its micro (THEORY-1167). The ones that lose nothing are exactly causal feature learning’s partitions, which merge only micro states with the same interventional effects (THEORY-1169). The step from there to “the causes are found at the coarsest such description” is the record’s own, in the sense of proportionality. It does not say the macro adds causal information. | Active |
| CLAIM-501 v2 | Gutt’s interpretive resemblance also predicts that judged pragmatic observables beat text similarity, so the central theses’ defeat conditions cannot tell the thesis from a relevance-theoretic account either | Split from CLAIM-233 by the nineteenth status review (ADR-057; ADR-047’s kind 2, the record’s own extrapolation) and promoted by the twenty-first, once Gutt’s 1989 thesis (LIT-1845) was read. CLAIM-233 holds that functional equivalence and a proposition with its force both predict a pass on the central defeat test. This claim adds Gutt’s relevance-theoretic account. The book (LIT-784) stays unread. | Active |
| CLAIM-504 | The strongest operationalization of the functional and relevance-theoretic rivals to the transport structure is a rich contextual baseline of context-response profiles and supervised prediction | Split from CLAIM-205 by the twenty-first status review (ADR-057; ADR-047’s kind 2, the record’s own extrapolation). The interlocutor’s reading of 2026-10-12 proposed it as the fourth row of CLAIM-202’s comparison. CLAIM-205, narrowed, holds that the functional and relevance-theoretic accounts need not fix one context or a static profile; this claim says what their strongest operationalization is. | Proposed |
| CLAIM-510 | Measurement can establish, and not only estimate, a correspondence among local descriptions: some correspondences that measurement estimates can be checked against evidence the measurement did not itself produce | The clause CLAIM-471 dropped when the twenty-fourth status review narrowed “establish” to “estimate” (ADR-047, kind 2). It is the record’s own wording, and no source asserts it. CLAIM-143’s order of tests needs it to be possible, since the order asks for correspondences that are independently validated. No held case meets it yet. | Proposed |
| CLAIM-513 | Across a family of goals, a world model is not an optional explanation of competent behaviour: in a fully observed, finite, communicating, stationary environment, a goal-conditioned policy within a factor 1 − δ of optimal on every composite goal of depth n fixes every transition probability to within √(2P(1 − P)/((n − 1)(1 − δ))), so observers reading the same policy must ascribe the same world model; what it leaves open is whether a predictive component is realized inside the agent, since a lookup table over histories and goals has the same policy | From the reading of Richens, Abel, Bellot and Everitt (LIT-1891, NOTE-1469), registered as the objection to watch against the owner’s U20 thesis CLAIM-519. It defeats that thesis’s functional reading only. The thesis’s defeated_if is not met: the theorem holds “regardless of … architecture”, makes no matched-resource comparison and no intervention on internals, and its authors say the map runs “from the agent’s policy rather than its activations”. Within its scope, though, calling a world model an explanatory attribution is too weak. The bound was re-derived and checked against an adversarial agent. | Active |
| CLAIM-514 | World-modeling is a family of resource-bounded capabilities for producing and using predictions about an environment’s possibilities and consequences, each relative to a declared family of questions; a world model in the representational sense is one possible realization of them, competent behaviour can determine environmental structure without identifying any internal mechanism, and producing, maintaining and revising world-modeling capabilities are further achievements, not prerequisites of agency in general | The owner’s preferred formulation at the second review of the filing of the exchange “Analyze nucleation concepts” (2026-10-31). It joins the world-model thesis, which holds that behaviour does not identify a mechanism, and its counter from Richens et al., which holds that behaviour across goals determines the dynamics. Both are kept, with each stated about a different notion of world model. It “integrates the Richens result rather than rejecting it, preserves [the] original critique of folk-model attributions, and connects both to the larger Nucleation program.” Proposed: a definition and an organizing thesis, with the study CASE-187 as its test. | Proposed |
| CLAIM-515 | Whether an organization has a cognitive property is four questions, not one: what information about the property can be recovered from its behaviour, what capabilities it can actually exercise, what mechanisms realize them, and whether it can maintain or transform those mechanisms; the four can come apart, and none should be silently substituted for another | The general principle the owner drew at the second review of the filing of the exchange “Analyze nucleation concepts” (2026-10-31): “When asking whether an organization ‘has’ a cognitive property, distinguish the information recoverable from its behavior, the capabilities it can actually exercise, the mechanisms realizing those capabilities, and its ability to maintain or transform those mechanisms.” It was drawn from the world-model case (CLAIM-514) and judged “sufficiently general—and sufficiently testable—that it deserves an explicit place in Nucleation’s research program”. Proposed and interpretive: its instances are demonstrated case by case, and the generalization is not. | Proposed |
| CLAIM-519 v2 | Competent behaviour does not establish an internal world model: over a fixed interface and a finite horizon, an agent with no model, whose actions are looked up from the history so far, reproduces the interaction distribution of an agent that has one exactly; a policy can identify predictive structure without any particular internal component realizing it, so compression and generalization support comparing candidate architectures, and establishing an internal mechanism needs evidence that discriminates candidate implementations, such as targeted interventions | The owner’s thesis at U20 of the exchange “Analyze nucleation concepts” (2026-10-31): that under the record’s framework a world model is “essentially a ‘folk’ explanatory tool and that no such thing need explicitly be present for the external behavior to be indistinguishable from a comparable black box agent which actually did contain a world model”. A20 agreed and gave the construction, with a limit the claim keeps: the attribution “sometimes … names a genuine, interventionally identifiable computational mechanism”. The construction is Block’s lookup-table argument (THEORY-092) applied to agency, so it is elementary; the thesis is the reading of it. | Proposed |
| CLAIM-528 | That a mechanism realizes a capacity can mean that the capacity is produced through it over time or that the capacity consists in it at a time, and interventions show only the first: a pathway whose disabling changes the capacity after a delay is a cause, can be intervened on surgically, and can be located relative to a declared boundary, whereas every intervention on a capacity that consists in its parts also changes some part along another path, so that relation is underdetermined by intervention data and is inferred by abduction or from simultaneity and settled parthood; and which of the two a given dependence is depends on the time resolution at which a description treats the parts’ response as instantaneous | Filed on reading the fat-handedness debate after Craver: Baumgartner & Gebharter 2016, Baumgartner & Casini 2017 and Baumgartner, Casini & Krickel 2020. It says what their result does and does not reach in the record. CLAIM-522’s conclusion is causal and is left standing; CLAIM-515’s “realized”, read synchronically, is not shown by discriminating interventions; and the debate’s own line between causation and constitution, simultaneity, moves with the time scale, as CLAIM-480’s chain shows. It does not say that constitution is unknowable, or that the record’s organizations have constituents in the mechanists’ sense. | Proposed |
| CLAIM-530 | Where maintenance is realized is a question of constitutive relevance only through its parthood condition: an internal producer and an outside controller supplying the same production law as state feedback meet mutual manipulability’s two manipulability conditions identically, since disabling or stimulating either changes the maintained capacities and intervening on the capacities changes the activity of either, so what puts one inside and the other outside is parthood, a boundary the experiments presuppose and do not find | The record’s join of CLAIM-522 with the mechanist account of constitution, from Craver and Bechtel’s admission that interlevel experiments are symmetrical and show componency only prima facie (THEORY-1287). In CLAIM-522’s pair the bottom-up and top-down interventions come out alike for producer and controller. So the criterion separates them only by its parthood clause, which is CLAIM-522’s declared boundary. Proposed: the criterion’s statement is taken from secondary sources. It does not say no criterion can draw the boundary. Closure, a producer that is itself maintained by what it produces, is a candidate that CLAIM-522’s one-variable model cannot express. | Proposed |