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.
Individuation — what makes something one thing, and the same thing over time or across descriptions — individuation, numerical identity and diversity, individuality and persistence of things of any kind, biological individuality and organisational closure. Selves are self and persons are personhood (group: philosophy; ADR-015, ADR-024).
61 of 547 CLAIM documents. Back to the full index.
| # | Title | Summary | Status |
|---|---|---|---|
| CLAIM-002 v2 | A text’s identity across retellings is a family of relations, namely identity of the artifact, continuity of transmission and similarity of communicative function, which is why a distant retelling can be recognizably descended from an original it no longer resembles | A52 §13.5 with A50 §7, recovered. A50 called the point that “the act of translation changes the conditions for subsequent translation” possibly “the most consequential”. The manuscript keeps a family of transformations but not the three relations. | Active |
| CLAIM-042 v2 | The levels at which communicative observables exist organize observables, not objects: a communicative object is identified jointly by constraints from observables at several levels, which, where those observables share one state space, is the intersection of the regions they pick out | The owner’s correction at U28, accepted by A75 as “a more fundamental formulation”. The manuscript §2: observations “are not ordered into one strict ontological ladder”, and “An identified communicative object may be represented by an intersection of such regions.” | Active |
| CLAIM-132 v2 | Characters classify finite-dimensional representations of a finite or compact group up to isomorphism only over a field of characteristic zero; they forget the isomorphisms, fix neither the group nor a permutation action, and classify kinds, not tokens or positions | Standard representation theory, which the exchange states correctly with its main hypotheses (A194 §1, A198 §§2 and 4, A203 §§5–6, A218 §3.2). This entry adds the limits the exchange left out, and the exact link to Yoneda: a character is a counts-only relational profile, complete because the category is semisimple. Granted, because it bounds the owner’s analogy: priority for classifying kinds up to isomorphism, in the most favourable setting, and no further. | Active |
| 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-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-142 v3 | Two communicative realizations can agree on every probe in a restricted family without being structurally identical, so observational equivalence is relative to the probes, and only independently justified probes evaluated on held-out cases are evidence that structure was preserved | It began at the owner’s U45 pointer to Yoneda, and A158 §5 gave it its first form. A173, A178 §3.2, A184 §2, A203 §§8 and 14, A214 §3 and A218 Ch7 restate it; A203 calls it “our central epistemic distinction”. The mathematical half is elementary and exact. The substantive half is the realist commitment that communicative identity is not exhausted by any probe profile. It makes TERM-014’s equivalence class probe-relative, and puts a realist reading over CLAIM-046’s methodological ordering. | Proposed |
| CLAIM-152 v6 | Any individuation built on sufficiency is relative to the target it is sufficient for: fix the outcomes differently and a different partition wins, so no boundary drawn this way is universal | Dual-filed from MOM-POS-001 (ADR-037). A sufficient statistic is sufficient for a target Y, so every partition chosen as minimal sufficient inherits Y. MOM’s example: fix the outcomes differently and “organism” wins instead of “animal”. In this record it is the standing caution on every boundary criterion filed beside it (CLAIM-154, CLAIM-161). It does not say boundaries are arbitrary, only that each is relative to a stated target. | Active |
| CLAIM-154 v3 | A candidate structure is worth naming as a unit when its effect-to-noise ratio outruns the Occam cost of keeping it: reify when d’² exceeds the log prior-to-posterior variance ratio, where the model with the candidate stays regular at the parameters that switch it off | Dual-filed from MOM-CLM-160 (ADR-037). By the Savage–Dickey ratio, ln BF(keep) = ½(d’² − Occam), so a direction, block or sector is real enough to name exactly when δ/ε > τ with τ² = ln(s²/σ²), the information the data added about it. In this record it prices the boundary tests for a combined form: a near-decomposable block (LIT-905) earns a name when its gap beats its Occam factor. Re-checked here in the conjugate case. Narrowed to candidates whose model stays regular where they are switched off; where it is singular the rule overcharges (CLAIM-188). | Active |
| CLAIM-157 v9 | Relative to a stated target, a combined form is one system while its joint dynamics are nearly decomposable with the form as a block whose gap beats the Occam factor, and it lasts as long as that block persists; the unit is the gap-isolated block, not any member | The record’s proposed answer to QUESTION-035, joining the dual-filed MOM results. Simon’s near-decomposability says what to compare: interaction inside a candidate block against interaction across its edge. The gap theorem says the unit is the block, and the Occam factor says when the gap is big enough to name it. Persistence is how long the block keeps clearing the threshold. It answers the owner’s “privileged nomenclature” for the dancing couple with a test. Proposed: nothing has been measured. One-way drive passes, rightly (CLAIM-167), and the direction of coupling gives the system’s architecture. | Proposed |
| CLAIM-164 v4 | What a spectral gap makes definite is the subspace of the cluster it isolates, not a single direction: the gap picks the object, and the object is a vector only when its own gap is wide | Dual-filed from MOM-CLM-144 (ADR-037). Under a perturbation δT, the subspace spanned by a cluster of singular values separated by a gap δ rotates by at most ‖δT‖/δ (Davis–Kahan), whatever happens to the vectors inside it. So the well-defined unit is the gap-isolated projector. Re-measured here. With CLAIM-154 it is a criterion: the gap picks the object, and the Occam factor says whether the gap is big enough. | Active |
| CLAIM-167 | One-way drive rightly passes the threshold criterion: a metronome and its musician, or a nerve and its muscle, form one system relative to a target that needs both, and the direction of coupling gives the system’s internal architecture, not its membership | The owner’s challenge to the open objection, 2026-10-11: “a metronome driving a musician, or a nerve driving a muscle, passes — and why shouldn’t they?” Three reasons, set out by the assistant and accepted for filing by the owner. First, the objection repeats the coupling-constitution worry that CLAIM-172 had already set aside: the criterion makes a new system, not parthood in the organism. Second, its intuitions are about agency, which QUESTION-035 keeps apart. Third, whether a one-way driver is inside the block or an input is a choice relative to the target. Direction tells peers from hierarchy. | Proposed |
| CLAIM-168 | Identifying agents by their will-organization is circular: will-organization is defined for an agent already given, and the agent-versus-device comparison presupposes an identified system, so neither can produce the factorization it is meant to find | The record’s anticipated objection to the owner’s thesis. TERM-023 is “agent-indexed”: a role in an agent already warranted. The will paper supposes its agent (CLAIM-080) so as not to face CLAIM-010. Orseau et al.’s formal agent-device comparison likewise “assume[s] a clearly identified system”. To identify agents by will-organization reverses an order of explanation that was chosen deliberately. Open: CLAIM-174 replies that the test is run on candidate factors, not on agents. | Proposed |
| CLAIM-170 v4 | The agents in a system are a factorization of it relative to a level of description and a target; agents in general are identified by adaptation, and willed agents are individuated by their will-organization: a willed agent is the jurisdiction of a will-organization | The owner’s thesis of 2026-10-11, stated in the record’s terms after discussion. It is a collaboration, so it is not a quotation: “the agents in a given system are how we factorize that system relative to a given level of description”, and agents are “identified by their will (and/or will-organization)”. In the discussion, the owner chose will-organization over operative will, in the form “jurisdiction of a will-organization”. Operative will flickers with the drive profile; a will-organization is maintained. | Proposed |
| CLAIM-173 v3 | The threshold criterion measures coupling strength, and coupling is not constitution: a metronome driving a musician, or a nerve driving a muscle, forms a strongly coupled block that clears the threshold without being one system | The record’s anticipated objection to CLAIM-157, and Adams & Aizawa’s coupling-constitution objection (LIT-455) aimed at the new criterion. Near-decomposability is about the size of couplings, not their direction. One-way drive can make a tightly coupled block. The entrainment claim excluded exactly this case. Rejected on the owner’s challenge (CLAIM-167): they should pass, and direction gives a system’s architecture, not its membership. | Rejected |
| CLAIM-174 v7 | A candidate factor is an agent at a level when it is one system there, when a goal-directed description beats a device description by more than the Occam cost, and when its policy would adapt if its actions’ consequences changed; it is a willed agent when, further, a will-organization over several regimes describes it better than none, and what passes that is the jurisdiction of a will-organization | The assistant’s admission test for the owner’s thesis, filed at the owner’s request. It has three tests on a candidate factor, at a level and for a target. (1) System: it clears the threshold criterion. (2) Description: a model in which it governs its own regimes for goals beats a device model by more than the Occam cost (Orseau et al., priced as in CLAIM-154). (3) Adaptation: its governance would change if its actions’ consequences changed (Kenton et al.). It answers the circularity objection by running on candidates whose boundaries come from (1), not from agency, and it answers the permissiveness objection without the will paper’s supposition. | Proposed |
| CLAIM-188 v4 | Where the model with a candidate structure is singular at the parameters that switch the candidate off, with real log canonical threshold λ below d/2 and multiplicity m, the reification rule’s Gaussian Occam term overcharges keeping the candidate by (d/2 − λ) log n + (m − 1) log log n to leading order, so near the threshold the rule prunes candidates the Bayes factor keeps, and its derivation holds only where that model stays regular | A narrowing of CLAIM-154, filed on 2026-10-11 from a synthesis review that found the record already held the readings that limit it. CLAIM-154’s rule prices a candidate with a Gaussian Occam factor, which is exact in the conjugate case it was re-checked in. The candidates it is meant for (blocks, sectors, couplings with hidden structure) are often singular where they are switched off. There THEORY-087 puts the penalty at λ log n − (m − 1) log log n, not (d/2) log n. On CASE-152’s product model the rule prunes, near the threshold, candidates the exact Bayes factor keeps. CLAIM-154 is narrowed to models that stay regular at the switch-off. | Active |
| CLAIM-194 v4 | A gap or coupling criterion cannot tell a boundary a system produces from one imposed on it: a membrane the cell makes and a beam joining two pendulums pass alike, so the block test cannot by itself supply the individuality minimal agency needs | A counter to the block criterion and to the agency test’s first condition, found by two separate reviews of the unlinked THEORYs in the third synthesis pass. It grants the target-relativity CLAIM-152 states. Its point is different: with the target fixed, a near-decomposability gap is a statistic of coupling, and coupling is the same whether the system made the boundary or something else did. THEORY-072 and THEORY-1119 place the line at production and self-distinction instead. No case has been measured: the point is that a coupling statistic has no term for who made the coupling. | Active |
| CLAIM-204 v3 | A communicative kind’s identity is grounded in its relational organization, for which competent participants’ uptake is the standard; statistical methods recover aspects of it from restricted observations; translation transports it; and what persists is what the receivers can still recover, of which the analyst can certify the independently identifiable part | The record’s restatement, on 2026-10-10, of CLAIM-139 after the audit’s objections to it (CLAIM-233, CLAIM-232, CLAIM-244, CLAIM-206, CLAIM-222, CLAIM-246, CLAIM-211). It keeps the four clauses, adds CLAIM-217’s standard to the first and CLAIM-223’s reading to the fourth, and replaces the third defeat disjunct (“no relational structure beyond the observed response profiles is needed”, which CLAIM-206 showed is always met or undecidable) with an observable comparison on transfer. It supersedes CLAIM-139, by the owner’s delegated ruling of 2026-10-29. A proposal, not a finding. | Proposed |
| 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-210 v2 | Sharing a kind and being a rendering are different relations: kind-sharing is symmetric and says what is to be preserved, while fidelity belongs to a transport from a given source, so an utterance of the same kind made independently of the source shares its kind and has no fidelity to it | The record’s reply, on 2026-10-10, to CLAIM-246. The October thesis puts fidelity in what persists “through those transformations”, and TERM-043 makes fidelity the distortion profile of a transport. So the objection’s independent utterance I shares the source’s kind and has no fidelity to it, since no transport relates them; the translation T has both. T’s provenance is a fact the transport clause supplies, not something the kind criterion must recover. CLAIM-002’s continuity of transmission concerns the identity of a work, which TERM-040 keeps apart from the kind. Active, because it is read off the record’s own texts. It does not say judges track descent. | Active |
| CLAIM-215 v2 | Communicative kinds are repeatable organizations of relations among participants, norms, commitments and possible consequences, which concrete events realize without being one another, and which kind an event realizes is not exhausted by the intrinsic properties of the expression token | The assistant’s first thesis at U62 (A240 T1; A232’s first proposition and §2), which splits the ontological clause of the October thesis (CLAIM-139) out from the rest and narrows it. The owner asked how to update the theses and argued none of it. Its first two sentences are TERM-040’s definition. Its third is weaker than CLAIM-151: an intention-based account meets it too, so it does not tell relational constitution from that rival. The study cannot test it. A proposal. | Proposed |
| 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-224 | Under partial relational constitution, a translation always changes the participants, audience and norms that the relational-constitution thesis makes constituents of the act, so whether the act survives turns on a correspondence of relations the structure cannot supply from inside | Found in the record’s audit of the line on 2026-10-10 (structure lens); no turn of the exchange raises it. A translation is addressed to a new audience under new norms, so on CLAIM-151 it changes constituents of the act, and the record’s way out is always a correspondence (“the appropriate relationships”, “corresponding relational organizations”). That makes QUESTION-005 a question about what the act is, not only how to measure it, and the record’s model of translation holds the audience fixed. CLAIM-138 spares CLAIM-151; this applies its point to CLAIM-151 through translation. The objection is open. It does not say acts never survive translation. | Proposed |
| CLAIM-241 v2 | Partial constitution by uptake makes competent participants’ uptake a defeasible standard of a communicative kind, not the criterion: where the act’s other constituents, such as its institutional conditions, diverge from how even informed participants take it, their verdicts can be wrong, and a standard must say whose competence counts, for which class of acts, and how divided verdicts are combined, which a majority does not | The interlocutor’s first refinement at U62 (A240), with its row on CLAIM-217, pressed at full strength. CLAIM-217 moves from “partly constituted by … expected uptake” to “the judges … are the criterion”. Partial constitution gives uptake a vote, not the last word, so where the act’s other constituents diverge from informed uptake the verdicts can be wrong. The claim also names no rule for combining divided verdicts and no class of acts. Open: answering it means saying whether a defeasible standard re-opens the horn CLAIM-217 closed. It does not say uptake is not a standard. | Active |
| CLAIM-246 v2 | Sharing a kind is symmetric and blind to which work is the source, so the October thesis cannot say a translation is of its original, against the line’s own directed, graded fidelity and identity through descent | Found in the record’s audit of the line on 2026-10-10 (structure lens); no turn of the exchange raises it. CLAIM-137 makes realizations one act by a shared invariant, “not resemblance to an original”, and CLAIM-139’s defeat condition tests judgements of shared kind. Sharing a kind is symmetric and says nothing of descent, so an utterance made independently of the source, of the same kind, scores as a translation does. The line’s own theses make fidelity directed and graded (CLAIM-106) and identity partly a matter of transmission (CLAIM-002). The objection is open; it does not say descent must be part of fidelity, only that the kind criterion cannot state it. | Rejected |
| CLAIM-249 | Comparing characters across realizations needs one group identified on both, which is fixed only up to automorphism, and automorphisms permute the irreducible characters, so “the same character” is relative to a chosen correspondence: the collapse problem again, at the level of the symmetry group | Found in the record’s audit of the line on 2026-10-10 (formal lens); no turn of the exchange raises it. To say a visual realization has the same character as a spoken one, the same group element must be named on both sides. Changing that identification by an automorphism α turns χ into χ∘α, and for the cyclic group of order 3 the automorphism g ↦ g² swaps the two nontrivial characters. The transformations the line studies form a semigroup, so the group is a symmetry group the analyst chooses, with its action on each medium fixed independently: CLAIM-011’s anchoring once more. Granted, because the argument is elementary. CLAIM-132 and TERM-041 hold neighbouring limits, not this one. | Active |
| CLAIM-264 v2 | Two objects can agree on every probe in a restricted family without being isomorphic, so equivalence under a probe family is coarser than identity unless the family is rich enough | The general content of CLAIM-142, filed alone under ADR-040 so that it does not rest on CLAIM-046 and CLAIM-011, which are about pragmatic identity. The restricted Yoneda functor is fully faithful exactly when the probe family is dense. A strong generator makes it conservative, which is weaker: a morphism the probes see as invertible is invertible, but objects with isomorphic profiles need not be isomorphic. Matching every probe’s marginal leaves the joint unconstrained. The evidential rule is CLAIM-322’s. | Active |
| CLAIM-280 v2 | A pattern can persist while every constituent is replaced and some constituents work against it, as a high-turnover regime of damage and repair, so the persistence of a product and the persistence of the organization producing it are separate facts | A8 §4 and §9, on the owner’s r/place case. An artwork defended for days has its pixels repeatedly replaced, its defenders come and go, and its attackers keep working, yet the image stays recognizable. Its stability is continuous activity, not the absence of it. A8: “the distinction between a persistent product and a persistent producer”. An image can outlast the coalition behind it, and a coalition can outlast the images it makes. The claim does not say that the pattern, or the coalition, is a self. | Active |
| CLAIM-287 v4 | What persists when a self persists through inactivity is the capacity to reinstate an organization, not its continuous running, and continuity of that kind can branch and merge, so it is not an identity relation | A6 §7 and A10 §4.3. A6 separated activation continuity, organizational continuity and policy continuity, and put identity in the second: “A dormant coalition can remain available for reactivation because learned parameters, memory traces, and endorsement structures persist.” A10 added that continuity of descent “is not automatically an equivalence relation. Organizational histories can branch, merge, and partially overlap.” It sits beside CLAIM-161, which asks for a coherence measure conserved along a system’s own trajectory, and qualifies it for gaps. Its second half is Parfit’s branching argument (THEORY-447) applied to organizational continuity. It uses TERM-045’s persisting sense. | Active |
| CLAIM-322 v2 | Agreement under a probe family is evidence that two objects share structure only to the degree that the family was chosen independently of the comparison and is evaluated on cases it was not chosen on, so a family selected to make two objects look alike shows only that it can be selected | Split from CLAIM-264 under ADR-043: its evidential half, stated on its own so that its warrant can be. CLAIM-264’s exact half shows that agreement on a restricted probe family does not fix identity; this claim draws the rule for reading such agreement as evidence. It is an argument, not a theorem, so it is interpretive. It does not say which probes to choose, or that held-out probes are neutral. | Active |
| CLAIM-328 v3 | When the continuities that ordinarily come bundled in a collective (legal franchise, civic role, interpersonal transmission, narrative and place) are separated, several later collectives can each be a genuine successor of the earlier one in a different respect, without any of them, or the earlier collective, having branched in numerical identity | A4’s H5 of the exchange of 2026-10-16, in its weak form, on the Washington Senators. The league’s successor to the original club is the Twins; the city’s is the expansion Senators; the city’s present team claims its history through place and narrative. Promoted from a section of QUESTION-118 at the owner’s word. It concerns plural successor relations, not branching identity, and rests on one documented case with no data on how supporters divided. | Active |
| CLAIM-329 v6 | A collective that replaces all its members persists, when it does, by causal transmission of the organization that produces it, not by resemblance: an organization of the same kind that arises independently is not its continuation, and a lapse in its coherence need not end it | A5, A8 and A9 of the exchange of 2026-10-16. A9 §9 separated three persistences that dissociate: state persistence (a variable changes slowly), dynamical persistence (characteristic responses continue) and historical persistence (the producing processes are transmitted and reconstituted across successive populations). A5: “a system’s ability to reproduce itself as the same kind is not automatically sufficient for its numerical persistence as the same individual.” The second time the record meets “causal-organizational continuity”: CLAIM-280 noted A10 §4.3’s of 2026-10-13 and did not file it. It does not say what must be transmitted, or settle branching successors. | Proposed |
| CLAIM-331 v10 | A level of organization has a temporal facet as well as a compositional one: higher-level variables are characteristically slower and longer-lived than the activity that produces them, though slowness is a mark of a level and not its definition | The owner’s, U8 of the exchange of 2026-10-16: “‘higher level’ doesn’t just mean in terms of abstractions over abstractions, we should also expect ‘higher level’ effects to be on slower timescales than ‘lower level’ effects.” A8 took it and qualified it: a market can crash and a stadium can chant in seconds, so timescale is “a facet of organizational level, not … an ordering that must hold in every case”. Simon’s near-decomposability already ties weak coupling between blocks to slow aggregate dynamics (LIT-905). The claim does not say that a slow variable is thereby a level, a system or an individual. | Active |
| CLAIM-360 v2 | The deep-versus-shallow learning results separate three effects that aggregate loss conflates: a larger realizable function class, a larger set reachable within a fixed data and compute budget, and a different internal organization with the same attainable outcomes; the deep linear results show the third, the random-hierarchy results the second, and the depth-separation result for products of inputs the first, at fixed size | The owner’s, U38 of the exchange of 2026-10-17, on A37’s proposed experiment: “I think we may already have an empirical demonstration that would be useful here in the wide vs deep literature.” A38 refined it into three effects, (A) enlarged realizable function class, (B) enlarged budgeted reachable set, (C) new internal organization without better attainable outcomes, filed Saxe et al. under C and the random hierarchy model under B, and said A “needs a separately established expressivity restriction”. The record has one: Rolnick and Tegmark (THEORY-206), a separation at fixed neuron count. The sharp edge: which effect a result shows depends on the budget, and A38 warned against “depth produces individuation while width merely provides redundant capacity”. | Active |
| CLAIM-361 | Relief of an organization’s frustration must be judged for an identified organization against a fixed reference set of its original demands, under an explicit correspondence between earlier and later demands: a demand excised or suppressed has changed the comparison and has not been satisfied, an endogenous revision of what the organization maintains is a transformation of it and not relief, and learning can change which processes bear the demands | The owner’s prompt, U38 of the exchange of 2026-10-17, on A37’s line that deleting a demand “has changed the comparison problem”: “it might be helpful to connect back to our notions of individuation”. Worked out by A38 and restated by A39 §2B and A43. Relief, as enlargement of the compatibility complex (CLAIM-347), is judged over a fixed reference set of demands, for an organization identified before and after, under a stated correspondence. Watson’s comparison (THEORY-232) is already relative to a decomposition; what this adds is the comparison across time, when the decomposition itself changes. The sharp edge: it does not say transformation is worse than relief, only that it answers a different question. | Proposed |
| CLAIM-367 v4 | Whether a training-time regulatory condition belongs to a network depends on which unit is individuated for the training dynamics and whose jurisdiction governs the updates; in conventional training most of that governance falls to the optimizer–model–data system, so a condition of training is not thereby a condition of the network | The owner’s correction, U31 of the exchange of 2026-10-17: “it might help clarify things if we apply our individuation and volition frameworks to this system”, the system being a deep network during training (U30). A31 granted it: “applying individuation first, then volition, then affect exposes a problem in our previous discussion”. Individuated for the training dynamics, the unit is at least the network–optimizer pair; mapped through the six relations of will-organization, most of the governance of updates is outside the network’s jurisdiction. So optimization difficulty in conventional training is real and belongs to the training system. The sharp edge: it does not say the governance is unreal, or that a network cannot come to hold some of it. | Proposed |
| CLAIM-388 v3 | Exact dynamical closure of a collective variable does not require a nearly decomposable block: in a linear Gaussian VAR(1) with uniform coupling among n units, the sum of all units is exactly dynamically independent at every stable coupling strength, while every partition of the units into two or more groups couples as strongly across its edges as within them | From A5 of the exchange of 2026-10-19 on coarse-to-fine processes, which gave the two-unit continuous-time case (ż = (b − a)z for z = x₁ + x₂) and the boxed slogan “Exact aggregation ⇏ near-decomposability”. Made exact here for n units with THEORY-733’s sufficiency condition, and checked numerically. It answers the converse half of QUESTION-221. It does not say the closed sum is one system (QUESTION-218), and it is about partitions of the units: in the eigenbasis of A the same system is exactly decomposable, which is the point. | 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-414 v4 | Matched ordinary trajectories can conceal differences in an interpretation’s efficacy, in the allocation of that efficacy, and in the maintenance of its enabling constraints: in two finite constructions, systems that agree under ordinary operation differ in each, and a specified intervention exposes the difference that passive observation of the matched trajectories does not | A10 of the exchange on experience and interpretation, re-run here. Three one-bit systems behave alike when the interpretation is 0. Under an intervention that sets it to 1, the first never acts on it, the second acts at once, and the third acts one step late, because its own interpretation opens the gate. Two two-constraint systems have the same trajectory, (1,1) throughout. A single perturbation runs one into (0,0) and leaves the other restored to (1,1): one maintains its constraints by CLAIM-395’s minimal slow–fast closure, the other is reset from outside. These are CLAIM-407’s lesson about governance and CLAIM-194’s about boundaries, applied to interpretation. | Active |
| CLAIM-417 v4 | What the record explained by “self” in its dispositional, persisting, self-governing and integrated senses is better explained by organizational perspectives, with a perspective, its carriers, its lineage and its representations kept apart; the subject sense stays a separate question, and narrative, presented and modeled selves involve representations that may describe a perspective, attribute it to a bearer or construct an owner, none of them the perspective itself | The owner’s, at U31 of the exchange of 2026-10-22: the record’s earlier “selves” are “better described as ‘organizational perspectives’”. A31 agreed with a narrowing that this claim keeps. Selfhood “was carrying several explanatory burdens that we can now separate”, and the subject sense is “A separate question”. The sharp edge is what the replacement must keep apart: a perspective as realized, in one carrier or distributed across several, a recognizable character shared by many, a causal lineage of realizations, and representations of any of these. The exchange ran these together; the claim does not. | Proposed |
| CLAIM-418 v3 | Possessing, enacting or being shaped by an organizational perspective does not establish an independent agent, and perspectival, agential and institutional boundaries need not coincide: several agents can share a perspective, one agent can act through several, and a perspective can be reproduced with no agent governing it; where a perspective contributes to an agent’s activity it can enable and constrain the exercise of agency, and that exercise can reproduce or transform it, while whether agency universally requires such a perspective stays open | From the branch of the exchange of 2026-10-22: the owner’s question at U38, “what’s the relationship between perspective and agency?”, A38’s answer, and A39’s request that it be recorded. A38: “Perspective concerns how a situation becomes meaningful and actionable. Agency concerns how an organized system can make a difference to what happens.” The claim takes the half A38 called “substantially safer”: not every organization of practical significance is an agent. It leaves A38’s other half, that every rich exercise of agency involves such an organization, as open. | Active |
| CLAIM-420 v3 | A historical figure’s influence can persist in three separable ways, as a story about them, as a perspective transmitted from them, and as later organizations that descend from their activity, and causal descent is not perspectival inheritance: a movement founded to oppose someone can descend from them without continuing their perspective | From the owner’s U38 of the exchange of 2026-10-22, corrected. The owner contrasted “immortality” through positive influence that reinforces itself across generations with notoriety whose influence is “self-undermining”, the figure’s story persisting while their perspective does not. A38 corrected the example and declined the tidy mapping of positive to self-reinforcing and notorious to self-undermining. What survives is the distinction: “The persistence of a story about someone is not equivalent to the persistence of that person’s perspective.” | Active |
| CLAIM-421 v4 | The cessation of an organizational perspective’s enactment need not imply the loss of the dispositions, capacities or reproductive relationships from which it can be reinstated: an interruption can be of activation (the disposition is held but not engaged or retrievable), of enactment (held, but the material, institutional or social conditions for exercising it are gone) or of reproduction (held by some bearers, but the processes that pass it on are damaged), and temporary unavailability is not extinction, though prolonged interruption of reproduction can end a tradition | From the branch of the exchange of 2026-10-22, at the owner’s U37: the doorway effect as perspective meeting grounded experience, and the perspectival interruptions of the Chinese Cultural Revolution. A37 drew the distinction the record’s account of perspective lacked, between the conditions under which a perspective is acquired or reproduced and the conditions under which it stays available. The edge: a doorway and a political revolution are not the same kind of forgetting, and the claim says only that both separate a capacity’s existence from the availability of the conditions for exercising it. | Active |
| CLAIM-424 v3 | Reflexive governance of an organization’s perspectival arrangements, making the conditions that govern its own interpretation, evaluation and action available for effective examination and revision, is a capacity some organizations of perspective have and others lack, not what makes something a perspective; and the capacity to revise those standards is not the capacity to revise them well | A37’s definition, from the exchange of 2026-10-22, re-scoping CLAIM-284. CLAIM-284 says that a self, in the self-governing sense, is an organization that governs the conditions of its own persistence. Every reply from A31 on read it as “a proposed special case”: a perspective can be reproduced, persist and adapt without governing its own reproduction. The edge is A37’s: “the capacity to revise the standards of evaluation is not equivalent to the capacity to revise them well”, which keeps CLAIM-288’s objection standing. | Active |
| CLAIM-454 v2 | A latent feature or mode recovered from an organization’s members’ activity is at most a constituent of an organizational perspective, not the perspective: a feature allocation says which members take part in which modes, and whether those modes are organized into one perspective depends on the relations of access, uptake and authority among their carriers, which the same allocation leaves open | From the Northstar turns of the exchange “Experimental Infrastructure Review”, where the owner proposed inferring an organization’s perspectives with hLDA (T21) and the Indian buffet process (T22). Every reply made the same reservation, and T22 put it most plainly: “None of those ingredients alone is the perspective. The organized relationship among them is.” It is the criterion QUESTION-276’s answer has to meet. It does not say features are useless, or that no perspective is ever one feature’s carriers. It says the allocation underdetermines the perspective. | Active |
| CLAIM-463 | Restoring the conditions under which a capacity was lost need not restore the capacity: where the activity that maintains it reinforces itself, the same conditions can sustain both the capacity and its absence, so a capacity lost past a threshold returns only under conditions better than those it was lost under, or by rebuilding the activity directly, and restoring it can cost more than preserving it would have | A4’s claim candidate from the exchange “About the Chagossians” of 2026-10-26, “Resource restoration does not imply organizational restoration”, which the first filing declined because CASE-111 already derives it; the owner asked for it to be filed as a claim with its connection to the case. Demonstrated by CASE-111’s normal form: in the bistable range, returning the parameter to its pre-collapse value leaves maintenance at zero. The edge: a possibility shown in a model, not a finding about any grant program, people or institute, and a slow recovery is not evidence of the threshold. | Active |
| CLAIM-473 | Coupling locally described systems necessarily induces a separation of time scales between their collective behaviour and their relative behaviour | The owner’s, the second half of U20 of the exchange of 2026-10-27: “coupling inertial frames necessarily induces scale separation (way less confident about this one than the former assertion)”. Filed as said, with “inertial frames” read as the local descriptions of CLAIM-471. Rejected on filing: the necessity is refuted by conservatively coupled oscillators (CLAIM-481), which A20, A21 and A23 all gave. The owner’s doubt was well placed; what survives is a condition, and the condition is the interesting part. | Rejected |
| 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-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 |
| CLAIM-518 v2 | Normative judgments about an organization’s continuity, reform or obligations can depend on diachronic relations that descriptions of present states or terminal outcomes do not show, so specifying the relevant relations and histories can be necessary to apply them adequately; which continuations ought to follow is a further normative question, not a prerequisite of every normative judgment | From the owner’s observation at U26 of the exchange “Analyze nucleation concepts” (2026-10-31), “normative judgements are only cognizable when they are relative to a judgement of whether some organization should persist or change”, as narrowed at the owner’s review the same day. What survives is that judgments about continuity, reform and obligation can need histories that present states and outcomes do not show. What is dropped is that every judgment needs a prescribed future: evaluating a history and fixing the admissible continuations are different problems. “Cognizable” is read as “well-defined”, CLAIM-363’s sense. Its objection is CLAIM-512. | Proposed |
| CLAIM-521 | An organization’s present coupling strength need not reveal the stability of the process maintaining it: in a constructed system whose maintained connector and capacities set a three-unit coupling, the recovery rate of the maintenance goes to zero at its saddle-node while the coupling’s spectral gap there stays near 0.989 | From A12 §6 of the exchange “Analyze nucleation concepts” (2026-10-31), which called it “a surprising result”. It is generic for any saddle-node whose fold sits away from zero with no feedback from the coupled units to the maintaining core, so it is built in rather than surprising. It is filed because it is a construction QUESTION-125 asks for: one in which the regime changes while the block’s gap does not. All numbers were recomputed. | Active |
| CLAIM-522 v2 | Recovery under interventions on state cannot show where maintenance is realized: an outside controller that measures the constraint capacities and supplies the internal production law as state feedback yields the same trajectory under every perturbation of state, damage and recovery included, even with every capacity observed exactly; only interventions on the production mechanisms, relative to a declared boundary, separate the two | From A10 §4 (its Proposition 5) of the exchange “Analyze nucleation concepts” (2026-10-31). Close to definitional, and checked: substituting the controller gives the same differential equation. It extends CLAIM-414 from passive observation to every intervention on state. As the reader noted, the causal dependence among the capacities is the same in both systems; only where the mechanism sits relative to the boundary differs, which is CLAIM-194’s point about boundaries. | Active |
| CLAIM-525 | Information in the sense the Simondonian readings give it, a disparity whose resolution reorders the system that takes it up, is in the line’s terms a change in the interpreter or in the questions receivers can decide, not evidence about a fixed situation, so Blackwell’s order leaves it out by construction and the two accounts are not rivals | The record’s placing, on 2026-10-31, of the information concept in the Simondon readings (Iliadis 2013; Bencherki and Iliadis 2021; Bencherki, Brummans and Vézy 2024) against the line’s Blackwell treatment. The readings’ information is what reorders a receiving system; the line’s is evidence about a fixed situation for a fixed receiver. The first falls in the line’s interpreter channel and change of cover. It gives the readings an operational test of failing to inform, which they lack. It does not say Simondon rejects the quantitative theory, and it is not Simondon’s mapping: his text is unread here. | Proposed |
| CLAIM-526 | Describing persons and organizations as coexisting levels of one process removes the question of how already-constituted agents add up to a collective, but not the question of levels: whether a collective variable has dynamics of its own, closed against the activity that realizes it, can be decided on a process description that presupposes no agents, is sometimes decided no, and a closed collective variable can be an aggregate that coexists with its realization while keeping none of its members’ distinctions | Filed on reading Bencherki & Iliadis 2021 and Bencherki, Brummans & Vézy 2024, who hold that the “scaling up” problem “vanishes the moment communication is viewed eventfully” (LIT-1902, p. 1364) because persons and organizations are “different informational levels that preserve all the characteristics of their organized components” (LIT-1922, ms. p. 21, proposition 2). The record’s closure results show what survives. What vanishes is the picture of agents adding up. What remains is whether a higher variable runs on its own, which is a question about variables and is decidable. The record’s own case of a closed collective variable is a sum, an aggregate, that coexists with its units, so “stages or coexisting levels” is not a dichotomy. It does not say that the agent picture is right, or that organizations are aggregates of members. | Proposed |
| CLAIM-529 | An organization can be individuated without presupposing it as a declared candidate whose verdict can come out false: criteria stated on the candidate’s interactions (whether benefit can be booked per member, which interactions the others depend on, what removing an interaction type does, whether its order survives release from an outside scaffold) apply to a grouping not yet assumed to be a unit, while criteria stated as members’ attitudes toward the group (a goal about it, belonging, identity) make it partly constituted by being taken as one, a different individuation, unavailable where members have no such attitudes | Filed on re-reading Griesemer & Shavit 2023 (LIT-188, NOTE-173). Their abstract says transitions in individuality are hard to describe without circularity, since the features used are products of the transition, and claims a non-circular description that the body never argues. The body holds the parts of an answer, and they are of two kinds. Criteria on interactions (per-member accounting of benefit, entrenchment order, knockout of interaction types, release from a scaffold) can test a declared candidate without assuming it is a unit (CLAIM-405), and the scaffold test needs the declared boundary (CLAIM-522). Criteria on members’ attitudes toward the group (shared goal, belonging, focal goal of sustaining it) individuate constitutively, which is not the non-circular route and is unavailable for organisms without such attitudes. It does not say the paper argues this, and it leaves the presupposed lower-level units where the paper leaves them. | 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 |
| CLAIM-531 | Generative entrenchment does not by itself give organizational closure: an entrenched core, which later interactions depend on so that perturbing it is catastrophic and perturbing them tolerable, can sit at the root of an acyclic dependency order, and where interactions turn over such an order persists only while something outside supplies its core; an organization that is both entrenched and closed has a core containing a cycle of mutual maintenance, each interaction on which is itself core unless its share of the maintenance is redundant | Filed on re-reading Griesemer & Shavit 2023 (LIT-188, NOTE-173), who mark the step from conexus to community by generative entrenchment of core interactions and then, with “Hence”, by organizational closure. Entrenchment as they define it is a one-way dependency order, and a tree rooted in its core passes their knockout test; closure needs the core to depend in turn on the set. By CLAIM-516, read for interactions, an acyclic order persists only on outside supply, which is their own scaffolded conexus. It does not say their communities lack closure, only that entrenchment and knockout do not show it; and it reads Wimsatt’s concept only as they quote it. | Proposed |
| CLAIM-544 | If a willed agent is the jurisdiction of its will-organization, then governing one’s own governability is in part governing one’s own individuation, in the constitutive sense of individuation at that level: a revision of the will-organization that changes which regimes it governs changes which willed agent there is, so a self-forming revision can be a re-individuation and not only a change in an agent’s states, and whether the revised jurisdiction continues the earlier agent is a question of continuation, not of resemblance | The join the owner’s U31 of the exchange “Assess SDT Coverage” (2026-11-02) asked for, “connect to individuation”, made through the owner’s own entry for it, CLAIM-170, which A31 never cited. A positive account, filed under U33. The reader of U30–U31 drafted it; adopting it is the owner’s call. It names its sense of individuation, as TERM-088 asks and A31 did not: the constitutive sense, relative to CLAIM-170’s level and target. CLAIM-284 is its nearest held neighbour, a self as an organization that takes part in governing its own transformation. | Proposed |