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.
Metaphysics — what exists and what it is to exist — causation, emergence and levels, laws, time — as a philosophical question (group: philosophy).
17 of 547 CLAIM documents. Back to the full index.
| # | Title | Summary | Status |
|---|---|---|---|
| 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-136 | Communicative acts and their participants exist as relata but have no identity beyond what their relations differentiate: non-eliminative structural realism without primitive identity | The owner’s U54 position, its second part: “Individuated objects exist, but only in so far as they are differentiated by their relata.” Filed scoped to communicative acts and their participants. The assistant placed it “close to” Esfeld and Lam (A194), then weakened it without saying so, from “only in so far as differentiated” to numerical plurality without differentiation (A194 §5, A198 §3, A203 §2). The owner has not chosen between the two versions. | Proposed |
| CLAIM-137 v3 | A communicative kind is identified by an invariant that does not depend on any one realization, as a group character identifies a representation up to isomorphism, once one symmetry group is identified across the realizations by its action on the situation and not by labels of a medium, so that invariant has classificatory priority over any particular realization | The owner’s own position at U54, its first part: “Character’s are “more essential” than the representations that are comprised of them.” It is the first owner-stated answer to QUESTION-021 that takes neither horn. The assistant kept “more essential” in the sense of classificatory priority (A194 §1, A198 §I). A218 weakens it further, without argument, to “may be better guides to its kind”. Since version 2 it says the realizations must share a symmetry group anchored on the situation (CLAIM-249). | Proposed |
| 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-139 v3 | A communicative kind’s identity is grounded in its relational organization rather than in any expression or encoding; statistical methods recover aspects of that organization from restricted observations, translation transports it, and fidelity is which independently identifiable, decision-relevant relational distinctions persist | The thesis of the assistant’s second crystallized argument (A203, at U56), of A214 (U59) and of the October proposal and outline (A218, U60). The owner asked to “layout the full argument”, to “tie it all together” and to “generate a new proposal and outline”, and argued none of it. Unlike CLAIM-017 → CLAIM-115, the change of question was announced (A203 X); the change of criterion was not. A218 replaces the receiver with the analyst’s identifiability (CLAIM-140). Filed scoped to communicative kinds. No draft carries it, so it does not supersede the manuscript’s thesis; on the fidelity clause it is that thesis’s rival (CLAIM-211). | Superseded — by CLAIM-204 |
| 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-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-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-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-363 v4 | A normative judgment is well-defined only once its relata are fixed (the organization or standpoint it concerns, the standard, the scale and the context), and that dependence does not by itself make it relative: once they are fixed, the judgment can be false | The owner’s, U17 and U18 of the exchange of 2026-10-17: “maybe part of what we’ve elucidated is that normative judgements necessarily rely on contexts and relations?”, then “so maybe something like a frame/order/scale/perspectival-relative normative realism?” A17 put it as “Normative judgment is contextually constituted and relationally indexed, without necessarily being arbitrary or merely subjective”, and A18 named the relata and split order into organizational and reflective order. The record held it only in pieces: CLAIM-152 for individuation, THEORY-220 for function, CLAIM-075 for viability. Filed in will-organization, where the question of what organizes an agent’s standards sits and where CLAIM-075 marks the limit, rather than pragmatic-transport, which holds the transport of judgments between contexts (CLAIM-115, QUESTION-130) and not their indexing. The sharp edge: it is the constitutive half only. That the standards themselves can be objectively better or worse is not claimed. | 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-471 v5 | Physical interconnection can generate effective constraints on joint behaviour; measurement can estimate correspondences among local descriptions; and adaptive apparatuses can revise those correspondences; gluing expresses compatibility under specified relations, but neither the relations’ physical generation nor their adequacy follows from gluing alone | The owner’s U20 of the exchange of 2026-10-27, “interactions generate constraints that manifest as gluing conditions between intertial frames”, restated at the owner’s review. The readings found the correspondence maps given, measured or designed in nearly every formalism the exchange cited, and changed by interaction only in one constructed model whose authors call the result “learning to lie”. So the claim separates three mechanisms. Physical interconnection changes what joint behaviour is admissible, and only it bears on the strong thesis that interaction generates constraints. Measurement estimates correspondences that already held. Adaptation revises an apparatus’s own rules of comparison. The open question is QUESTION-282: when interaction changes the physically operative correspondence structure, rather than revealing or redescribing it. | Active |
| CLAIM-474 v3 | From interconnection to individuation, the relationships are distinct achievements that form a partial order, not a nested sequence: none implies the next, and a later one need not require every earlier one. Interconnection fixes what joint behaviour is possible, compatibility which local descriptions admit a coherent whole, dynamics which organizations persist, individuation which have sufficiently robust identity and boundaries, organizational autonomy which help maintain their own constitutive constraints, and inquiry which can measure and revise their own models and apparatuses under resource bounds, inquiry and reconstruction occurring without autonomy. The research program is to find the conditions for each, and their dependencies, apart from the order in which an inquiry meets them | Filed at the owner’s review of the pull request, which asked for a synthesis “From Interconnection to Individuation: A Relational Constraint Research Program” that would make the theory “legible as a research program with distinct testable transitions, rather than a cluster of philosophically suggestive analogies”. It references the record’s claims rather than restating them. Its content is the list of places where one achievement does not yield the next, each with a source the record has read. The central experiment, in which physical coupling, correspondence maps and apparatus revision are manipulated independently, is CASE-179. The open questions it organizes are QUESTION-282, QUESTION-283, QUESTION-285, QUESTION-281 and QUESTION-115. | Proposed |
| CLAIM-476 v4 | Beyond what it does operationally, luria is an apparatus in Barad’s constitutive sense for the objects of a record, and only for them: the record’s objects are constituted, and not only made referable and governable, by the distinctions its grammar enacts, so that the same authored material is a different set of objects under a revised apparatus, and the record’s own inquiry reconstitutes the apparatus that constitutes them | The owner’s, U7 of the exchange of 2026-10-27: “oh shit, I think I may have inadvertently operationalized this notion of apparatus already, check out github.com/dmarx/luria”. Split at the owner’s review of the pull request. What luria demonstrably does, differentiating, retaining, enforcing and revising the distinctions that fix a record’s objects, is now CLAIM-469, stated without Barad. This claim keeps the further, constitutive thesis: those objects are constituted in Barad’s sense, not only made governable. That needs an argument the operational facts do not supply, and the readings press on it, since Barad rejects carrying agential realism as a template. Of Barad, only her 2012 essay is read here (NOTE-1458), and it gives no general account of an apparatus. | Proposed |
| 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-478 | Scale separation helps make structure and not only marks it: where some degrees of freedom settle fast relative to others, the relation they settle into is a constraint on the system over the window between the two time scales, so what is a realization at one scale works as a constraint at another; and organization can make new separations in turn, as when modes slow near an instability and become order parameters, so time-scale hierarchies and constraints can produce one another | The owner’s, U12 of the exchange of 2026-10-27: “I think we may still have a coverage gap wrt scale separation and how that participates in creating structure”. A12 agreed and found that the gap was synthesis, not literature: the record held CLAIM-331, CLAIM-327, THEORY-661, CLAIM-395 and Mori–Zwanzig readings. It goes beyond CLAIM-331, on which slowness is a mark of a level, in two ways: separation makes constraints, and constraints can make separation. It supplies the mechanism for CLAIM-477’s recursion. It does not say that slowness is sufficient or necessary for a constraint, or that a constraint is an individual. | Proposed |