Voices — Whose voice a CLAIM is in, within the record’s own deliberation. Not whether the record believes it, which is the status: the two vary independently, and the mismatched pairs are the information (ADR-032).
Thesis — the record puts this forward as its own position, and says in defeated_if what would defeat it.
417 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-003 | A global workspace need not give every subsystem the same access: access is compartmented in brains as in organizations, so “global” overstates it | The owner’s point at U26: an organization’s permission structure plays the role functional connectivity plays in a brain, and the daydreaming driver shows access within one agent can be compartmented. | Deferred |
| CLAIM-004 v2 | Not every difference between translations is a difference of frame: some change the act being framed | A18’s passive/active distinction, recovered. It outlived the act object it presupposed: A38 §7.2 and A40 §9.2 used it to undercut the relativity analogy. It fell out with the relativity section, which the manuscript omits, not by refutation. The manuscript’s four-way split (§4) names structural reorganization but gives no criterion. | Proposed |
| CLAIM-005 v3 | Pragmatic fidelity is the match between distributions of context-indexed communicative judgements across a correspondence of source and target contexts, not the similarity of one canonical meaning vector; the match constrains a translation only once one outcome correspondence is fixed across many items, and summed over source contexts alone it charges for loss and not for addition | A24’s D(τ), the origin of the transport framework, and the manuscript’s L_obs (§6). One of three terms of the manuscript’s fidelity functional. | Proposed |
| CLAIM-006 | What fundamentally distinguishes variations of a translation is the frame from which it is delivered | The owner’s first thesis (U6). Narrowed, corrected and restated in speech-act terms over A11–A14, losing “the main thing” on the way, and replaced by the manuscript’s weaker claim that proposition preservation is neither necessary nor sufficient. | Superseded — by CLAIM-061 |
| CLAIM-007 | In a bridge or chain of progressive reconstruction the path itself is observable: which constraints survive early, which are introduced late, and which relations emerge only through refinement | A97 §3 on Schrödinger bridges, recovered. The manuscript keeps the bridge only as “a complementary path-space viewpoint” (§7); the programme of observing the path was dropped without critique. | Proposed |
| CLAIM-008 | The abstract similarity between renderings is similarity of higher-order latents, which can survive large differences in lower-order ones | The owner’s U27 request and A73’s answer: a hierarchy of latents up to a relational configuration, with D_prag, D_dyn and local versus global distances. Superseded at U28 when the owner made the levels levels of observables. | Superseded — by CLAIM-042 |
| CLAIM-012 | Will is a second- or higher-order attractor in an agent’s dynamics | The account of will as the exchange first stated it, with the owner’s operational definition at U34. Superseded by the agent-indexed CLAIM-027. | Superseded — by CLAIM-027 |
| CLAIM-013 v2 | Existing text-to-image benchmarks evaluate object presence, attributes and whether spatial or interactive relations are depicted, not the stance, social alignment or uptake an image conveys, and need extending to pragmatically consequential relations and social uptake | The manuscript’s §10, Case III, which calls T2I-CompBench and GenEval object-centered baselines. CLAIM-097 qualifies that for T2I-CompBench. | Proposed |
| CLAIM-014 | Krifka’s performative updates fix which changes in conversational standing count, and Blackwell comparison tests whether a rendering preserves the information needed to recover them | A93 §5, recovered: “could become one of the manuscript’s distinctive theoretical integrations.” Krifka was in C6’s references and A93’s priority list (ninth) and is absent from the manuscript and the record. | Proposed |
| CLAIM-015 | Classical structuralism studies relations within a system, whereas this theory makes the transport of relational systems its object and does not require structure to remain invariant | A102’s contrast under U36, objected to by the owner at U37 (“symmetry is a kind of invariance, no?”) and conceded at A105: “My earlier contrast between structural invariance and structural transport was too sharp.” | Superseded — by CLAIM-113 |
| CLAIM-016 | An organized agent’s will is its own to the degree that its operative commitments arise through, remain integrated with, and are answerable to its constitutive organization | Organizational authenticity (A252), proposed at the owner’s request at U70. Set aside with its whole line at the audit of 2026-10-05 (U76–U77): “ownership criteria remain insufficiently defended”. | Deferred |
| CLAIM-017 | What survives translation is the invariants, and approximately preserved relations, of communicative transformation | The crystallized argument’s final thesis (A110, U38). The manuscript’s answer, written three minutes later in C7, is receiver-relative: what “a receiving system can still reconstruct and act upon”. No turn announces or argues the change. | Superseded — by CLAIM-115 |
| CLAIM-018 v3 | Canguilhem’s distinction between functioning under a norm and capacity for norm-changing adaptation corresponds to transformation capacity | An interpretation, not a premise (Section 6.8): “Nor does the present argument depend upon importing Canguilhem’s account into viability theory.” Its absence from the premises of ARG-007 is how the record says so. | Active |
| CLAIM-025 v3 | An operative regime, the governing organization among regimes, and the capacity to transform that organization can persist or fail separately | Section 6.2, from the emergency variant of Northstar. | Active |
| CLAIM-026 | Translation is not the transmission of an invariant semantic object but the selective preservation of decision-relevant information across changing observational and interpretive structures | A86’s “deeper thesis” under U31, with its dynamical complement. Renamed the framework “contextual pragmatic information transport”, the manuscript’s subtitle from C6 on. Superseded at U35 by proposal v6 (A100); the manuscript’s closing sentence is its descendant. | Superseded — by CLAIM-048 |
| CLAIM-027 v4 | Which of an agent’s available regimes becomes effective depends on maintained relations — accessibility, precedence, persistence, jurisdiction, suspension and transformation — that are not reducible to the contents of the competing regimes, whatever mechanisms realize them | The paper’s central thesis, Active since the status review of 2026-10-28. The audit called it the strongest original contribution. The comparison with planning, executive control and institutional decision procedures it owed is now owed by CLAIM-487, the gain claim, which stays Proposed. | Active |
| CLAIM-029 v3 | A language model’s response to a context is functionally a parameterized pragmatic frame | The owner at U17, offered as a motivating example “maybe even just for notational purposes”. The assistant made it the primary formal example (A43), then one running case of three (A52). Its formal statement, frame as a parameterized family of contexts, did not survive outline v4. | Proposed |
| CLAIM-030 v2 | An organized whole’s operative intention is not the expectation of its members’ intentions; it is produced by systemic mechanisms that can evolve apart from what the members intend | The owner’s thesis at U12, and the one that ran through the whole exchange. List and Pettit’s result that a group judging proposition by proposition from its members’ judgments can fail to be rational is its formal anchor, proved for the court agenda (THEORY-725); the general impossibility is THEORY-127, still Proposed. The fictional cases illustrate it. | Active |
| CLAIM-033 v4 | In published translations, renderings that lose distinctions along one dimension commonly gain specificity along another, so loss is not one-dimensional | A75, recovered: transport maps region to region, and “the translation can broaden conceptual possibilities while narrowing interpersonal interpretation”. Dropped with the region picture’s replacement by sections, without critique. | Proposed |
| CLAIM-034 | Fidelity is one evaluative goal among adaptation, critique and parody, and a deliberately adaptive translation calls for one-way simulation of the source’s relevant possibilities rather than equivalence | A38 §11.5 and A40 §7.3, §14.2–14.3, recovered. Dropped with the bisimulation section and the ethics discussion, apparently by inadvertence; the manuscript keeps only that transport is directed. | Proposed |
| CLAIM-036 | Communicative meaning is constituted through systems of distinctions and relations, and translation transports these systems, selectively preserving or transforming their differential, probabilistic and interactional structure | A102’s thesis under U36 (“feels like there’s a connection to structuralism here”). Structuralism became the philosophical foundation; its contrast with transport was overstated and conceded at U37. | Superseded — by CLAIM-108 |
| CLAIM-037 v4 | Formal contextuality is a failure of global extension, distinct from ordinary context dependence, and needs Contextuality-by-Default when marginals shift with context | The manuscript’s §3 and §9. It separates three things: context dependence, stochastic noncommutativity, and contextuality as an obstruction to a global section. Its note of 2026-10-29 names the version it should cite: CbD 2.0 (LIT-831). | Proposed |
| CLAIM-038 v3 | A communicative object is a context-indexed system of empirical constraints over a cover of contexts, and these need not extend to one globally realizable interpretation | A78, after the owner’s U29 pointer to this record’s sheaf- contextuality readings, which the assistant said it “couldn’t reopen”. The manuscript §3: “an empirical model can remain well-defined even without a global hidden meaning state.” | Active |
| CLAIM-039 v3 | Affective states can be properties of organized systems, characterized functionally as Frijda characterizes emotions, without implying subjective experience | The owner’s move at U19–U20: an organization can be “angry” or “blind” as a system is “happy” in a stable orbit, mapped through Frijda’s action readiness (TERM-094). Set aside from the will paper on 2026-10-04 and reopened by the owner on 2026-10-23; CLAIM-432 and CLAIM-440 rest on it. Huebner (THEORY-125) argues the same possibility independently. The objection to answer first is THEORY-101’s identity of valence with a felt state. | Proposed |
| 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-044 v2 | Ambiguity and contextuality are different phenomena: an ambiguous utterance admits several compatible global assignments, a contextual one admits none | A81 §3.4 and A82 §8.7, recovered. The manuscript keeps the contrast between context sensitivity and contextuality but not this one, between too many global readings and none. Dropped at C6 without critique. | Proposed |
| CLAIM-045 v2 | Architectural, dynamical and goal-directed accounts of distributed agency are complementary components of one account, each answering a different sub-question | The owner’s correction at U7: the three views are “perfectly mutually compatible … complementary components of one theory”. The case that made the record want a complements relation. | Active |
| CLAIM-046 v2 | Different hidden-state models can produce identical observations, so pragmatic identity and fidelity should be defined on observable responses before any equivalence of internal states is assumed | The reason for the A39 restructure, made under U16: put “observational equivalence at the center of the formal theory”. The manuscript is built on it: observables are operational, no latent coordinate is primitive, and latents are validated by prediction (§2–3). | Active |
| CLAIM-047 | Possessing an action-generating regime is not the same as its being practically effective | The distinction the paper inherits from Frankfurt (THEORY-120) and generalizes beyond desires: the audit’s “established foundation”. | Active |
| CLAIM-048 | Communication transports structures of observational constraints rather than invariant semantic objects, and translation, language-model reconstruction and conditional image generation are realizations of one process | Proposal v6 (A100, under U35), Contextual Information Transport Across Language, Images, and Communicative Frames. It made conditional generation “part of the central theory, not merely an application at the end”. Revised at A102 with structuralism. | Superseded — by CLAIM-036 |
| CLAIM-049 v2 | An adaptive interpreter’s state includes its message, context knowledge and learned parameters, and learning can make some relational invariants more stable and others less | A110 §22, recovered, with its case: a translator familiar with an underworld genre conserves its affiliative humour, a naive one turns it into a moral statement. The manuscript keeps one sentence (§11) on adapted receivers. | Active |
| CLAIM-050 v6 | For report fidelity, fidelity is relative to the communicative decisions receivers make, and Blackwell’s order on rendering procedures, over a designed distribution of situations, makes precise the ceiling a rendering sets on those decisions | The manuscript’s §5: rate–distortion makes coding cost explicit, Blackwell comparison (restricted to a family Q of communicative decision problems) makes fidelity operational, and decoder side information is a Wyner–Ziv problem. | Active |
| CLAIM-051 | Fidelity is always fidelity with respect to some selected structure: a specified family of communicative observations, interventions and permitted continuations | A35 §8, “Hofstadter’s central insight at a more abstract level”, and A40’s “Revised central proposition”. The manuscript makes fidelity relative to the receiver’s decisions and states the choice of observables to be normative. | Superseded — by CLAIM-050 |
| CLAIM-052 v4 | Interpretive framing operations generally do not commute, and this can be investigated without committing to quantum probability | A30’s H1, “pragmatic noncommutativity”, what the owner’s U13 claim became. Manuscript §9: order-dependent framing “is central to pragmatic reconstruction”. | Proposed |
| CLAIM-054 | A translation can preserve interpretive content while failing as a social act: interpretive and performative fidelity come apart | A35 §7, recovered. Last present at A35; the distinction is not named again in A38–A40, which speak of social constitution and joint states instead, and “performative” does not occur in the manuscript. Apparently dropped by inadvertence, never argued against. | Proposed |
| CLAIM-055 | The pragmatic identity of an utterance is partly constituted by the context-dependent transformations it induces, so pragmatic fidelity is an approximate structure-preserving correspondence between source and target dynamics | The thesis of the U14 replies (A33–A35), which shifted the invariant from attributes to transformations. Revised at A40 into an observation-relative form, and replaced in the manuscript by the observables thesis. | Superseded — by CLAIM-083 |
| CLAIM-056 v4 | Local transport errors in a reconstruction chain are bounded by the per-step discrepancies weighted by the sensitivity of the later reconstructions, so the same local error can be damped, accumulated or amplified, and local similarity can coexist with large global drift; the bound measures departure from a reference transport, not whether the act survives | A50 §2–3, kept nearly verbatim in outline v4 and the manuscript §8. The manuscript later restricts the expansive regime: for stochastic kernels in total variation, contraction coefficients do not exceed one. | Active |
| CLAIM-057 | Precedence, jurisdiction and suspension can vary independently | Shown by the classification variants of Northstar (Sections 5.3–5.5): a formally absolute rule can be weak because another process controls entry into its domain. | Active |
| CLAIM-058 v2 | Context-conditioned language models give a controlled computational setting in which the theory’s frame, order and transport effects can be tested before human studies | A45 §8: “Put the three LLM experiments before the human-participant studies, positioning the former as controlled computational tests and the latter as external validation.” The conclusion of the U17 analogy, limited by the circularity objection. | Proposed |
| CLAIM-059 v3 | Repeated reconstruction chains fall into different regimes under conditions assigned in advance, contracting toward conventions, accumulating neutrally or amplifying, and amplification needs a metric other than total variation, an enlarged state or state-dependent dynamics | A50 §3, A52 §5.3 and the crystallized argument §19, recovered. The manuscript and C7 Appendix B keep the corrected bound and the remark that κ ≤ 1 in total variation; the taxonomy and its third experiment’s test were dropped. | Proposed |
| CLAIM-060 | An encompassing organization’s success does not establish the well-being, viability or autonomy of its constituents — and the converse holds too | The owner’s thread at U37 and U39: corporations trample human wellbeing though made of humans; and cancer, autoimmunity and ecosystem collapse run the other way. The audit’s “strong negative argument” — believed, and not in the paper, which leaves cross-scale relations to future work. | Active |
| CLAIM-061 v3 | Renderings that keep the proposition can perform a different communicative act, so preserving the proposition is not sufficient for preserving the communicative event | Manuscript §1, and the Abstract’s “retain its topic while reversing the speaker’s stance, and … change almost every word while preserving the interpersonal relation”. The descendant of the owner’s frame thesis (CLAIM-006) without its ranking; the central thesis (CLAIM-115) rests on it. | Active |
| CLAIM-062 | That every regulator with a higher-order attractor counts as having a will is acceptable once agency is kept apart from phenomenal experience | The owner’s reply at U34: minimal wills for simple systems are no reductio, and corporations can coherently act freely or have their hand forced. Superseded when the paper chose to suppose its agent instead. | Superseded — by CLAIM-080 |
| CLAIM-063 v3 | A transport that approximately intertwines each framing operation approximately preserves their commutator, so the degree to which interpretive perspectives interfere can itself be part of what a translation preserves; on observed responses that degree is the order effect, which the intertwining defects bound only with a readout defect added and which the data identify only through observational distortion | A34 §4, made approximate at A40 §6.4 and stated in the manuscript §9 as the commutator-distortion identity. Its argument is an ARG because A40 limited the inference: the conclusion holds of Φ’s image only. | Proposed |
| CLAIM-064 | A translation reconstructs not only what is said but the situation of its saying | A12’s one-line thesis, recovered. Last stated at A12; it fell out when the vocabulary moved to speech acts (A14) and then to observables, apparently inadvertently, never refuted. | Proposed |
| CLAIM-065 | Pragmatic fidelity is approximate preservation of the ways an utterance conditions, transforms and constrains later interpretation and interaction, across transient framing and learned interpretive dispositions | The thesis of the U17 replies and outline v3 (A45 §10, A48), adding learned dispositions and language models to A40’s observation-relative thesis. Superseded at A50–A52 by the transport thesis. | Superseded — by CLAIM-101 |
| CLAIM-067 | If a transport exactly intertwines a generating set of communicative operations, it preserves every trajectory composed from them | A49’s “compositional preservation theorem”, proposed as the paper’s organizing result. True as algebra; superseded at U20 when the owner objected that fidelity is similarity within ε, not equivalence. Its rationale, test generators and infer trajectories, lives on in the drift bound. | Superseded — by CLAIM-106 |
| CLAIM-068 v3 | Repeated reconstruction is attraction toward conventional regions of communicative possibility: pragmatic stances, not only lexicon and grammar, can be stabilized by transmission | A50 §3 and §6, A52 §5.5 and §7.4–7.5, recovered. The manuscript keeps the stable conventional endpoint and one stance-drift example, but not attraction, selection pressures or the extension of iterated learning to footing. Apparently dropped by inadvertence. | Proposed |
| CLAIM-070 | Transport induced by one global stochastic kernel carries a global extension of the source model to a global extension of the target model | Proposition II of A84, Proposition B2 of C6, the manuscript’s Proposition 2. Without a common global kernel preservation is not automatic, which leaves open whether transport can create or destroy contextuality. | Active |
| CLAIM-073 | Demonstrating that interpretive framings do not commute establishes that the judgements cannot be described by one ordinary joint probability distribution | The owner at U13, answering A24. Granted for projective measurements, refuted for operations by a classical counterexample (A30) that the owner never contested, so Rejected; what replaced it is pragmatic noncommutativity, which the manuscript keeps. | Rejected — by CLAIM-052 |
| CLAIM-074 v4 | Fidelity is relative to the interpreter’s learning history: what the current context supplies and what earlier experience has left in the interpreter are separate histories, told apart by what they carry and not by whether the change sits in activations or in weights, so fidelity under a fixed interpreter, across interpreters and across states of adaptation are different quantities | A44 §4 and A48 §5.5, recovered. Kept to outline v4 (§9.5); absent from the manuscript, which keeps the context/interpreter split but not its consequence for fidelity. Apparently dropped by inadvertence. | Active |
| CLAIM-076 v2 | Cross-modal chains expose reconstruction because media differ in expressive affordances, and each interpreter, such as a captioner, may add motives and relations that were not present | A110 §21, recovered. The manuscript’s Case III keeps the protocol and drops the reason for it; C7 Appendix D keeps a related control (captioners blind to the source). | Proposed |
| CLAIM-077 v3 | A transport is admissible only if it keeps specified observable distinctions apart, which excludes trivial collapse by construction | A49’s answer to the collapse objection, recovered: d_O(s_1, s_2) > δ implies d_O(Φ(s_1), Φ(s_2)) > δ′. The owner’s U19 strategy at work: define rather than defend. One bullet in outline v4; absent from the manuscript. | 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-079 | Stability does not entail viability: a system can occupy a stable regime while losing access to trajectories that keep satisfying its constraints | Applied from viability theory (THEORY-134) and the stability/resilience distinction (THEORY-132) (Section 6.3). | Active |
| CLAIM-081 v3 | Retaining information about the ancestor and drifting in the population’s distribution are different profiles: a chain can forget where it started while staying far from the original, so convergence is not preservation and transmission is not degradation | C1 Appendix D’s two profiles and E1’s two forgettings (A59). The manuscript §11 keeps it in one line (“converge in surface form while diverging in ancestral information”); the named profiles and the synthetic construction are gone. | Active |
| CLAIM-082 v3 | A term’s value, as distinct from its signification, is fixed by its contrasts with the coexisting terms of its system | The manuscript’s structuralist premise (§2), citing Saussure and Lévi- Strauss. CLAIM-072 corrects how it states Saussure. | Proposed |
| CLAIM-083 | Pragmatic translation fidelity is the preservation, under corresponding communicative conditions, of the ways an utterance transforms interpretation, interpersonal alignment and the possibilities for subsequent interaction | The thesis of the revised outline (A40 §XV), with A39’s operational identity: a pragmatically significant difference is a difference in the observable transitions an utterance makes possible. Superseded at A45–A48 by the outline-v3 thesis, which added learned dispositions; the chain runs on through the transport thesis to the manuscript’s. | Superseded — by CLAIM-065 |
| CLAIM-084 v2 | Lexical similarity cannot distinguish preservation of communicative footing from a change of speech-act function, so the primary outcome of a reconstruction study is pragmatic-frame retention judged blind to condition, once a measure of footing and stance has been shown reliable | A63 and A70, drawn from the authored chains. The manuscript §8 keeps it (“The structural measurements are more informative than lexical comparisons alone”) and §10 keeps independent responses and split annotators; the blinding to condition is not stated. | Proposed |
| CLAIM-086 v2 | A constraint may govern conduct without governing the conditions under which it remains authoritative | The structural lesson the paper takes from Fraenkel (Section 5.6), with two independent lines of support: the historical analogy and the constructed Northstar case. The audit’s “strong conceptual refinement”. | Active |
| CLAIM-087 v3 | Cross-modal reconstruction often improves a receiver’s access to an implicit communicative relation beyond the text-only baseline, as when posture or expression conveys solidarity better than the source text’s literal content, though a rendering made without the situation is a garbling and cannot improve what an ideal receiver could do | A97 §6 and A100 §11.10, recovered. The manuscript treats a change of medium only as a risk to relational fidelity (§7), though §11 allows that an adapted receiver may recover an implicit relation. | Proposed |
| CLAIM-090 v3 | Serial transmission is reconstructive and filtered by the transmitters’ inductive biases, so a stable endpoint can be far from the ancestral utterance while remaining interpretable | The manuscript’s §8, citing Bartlett, Griffiths and Kalish, and Kirby, Cornish and Smith together as showing the same thing. CLAIM-066 separates what each shows. | Proposed |
| CLAIM-091 v2 | A translation can reach pragmatic equivalence by compensating for changed social coordinates with changed linguistic ones, so lexical infidelity can be required for pragmatic fidelity | A24’s compensation hypothesis, recovered. Last present at A24 in owner turns U1–U13; the manuscript keeps its consequence (“change almost every word while preserving the interpersonal relation”) but not the mechanism. Apparently dropped inadvertently, never refuted. | Proposed |
| CLAIM-092 | Translation can be posed as a context-indexed information bottleneck: compress the source while preserving information about the responses in each measurement context separately | A86 §2, kept in C6 Appendix C with a sharper caveat, recovered. The manuscript keeps the caveat (§5) and cites Tishby, Pereira and Bialek in its references, but states no bottleneck anywhere in its text. | Proposed |
| 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-096 | Where several agents share an environment, the realization of one agent’s will changes the conditions under which others can realize theirs, and that interaction is itself a normative object | Reciprocal agency (A271), the assistant’s answer to QUESTION-007. Deferred at the audit: it “requires independent moral argument”. | Deferred |
| CLAIM-098 v3 | Translation and cross-modal reconstruction need not be group actions: they form a category or semigroup of directed stochastic transformations, in which invertible symmetries are special cases | Manuscript §4. The one trace the relativity analogy left: symmetry and equivariance for exact preservation, a semigroup of stochastic maps for the rest. | Active |
| CLAIM-099 | Maintaining a regime of effective action and maintaining the capacity to govern among regimes are not the same achievement | The paper’s main result (Section 6.11), concluded by ARG-007 from CLAIM-079 and CLAIM-025. The audit’s “strong conditional argument”. Canguilhem interprets it (CLAIM-018) and is deliberately not a premise. | Active |
| CLAIM-100 | Sheaf-theoretic contextuality has to be extended to directed transport between observational scenarios whose covers change, and that extension is the theory’s open mathematical problem | A93 §1’s “Research opportunity” and A94’s bridge question, which the owner quoted at U34. The manuscript concedes the gap (“cover-changing or incompatible maps demand separate analysis”, §6) without posing it. | Superseded — by CLAIM-125 |
| CLAIM-101 | Translation is a context-conditioned transport process that preserves selected structures of communicative meaning to varying degrees while introducing distortions that may accumulate, attenuate or amplify under composition | A50 §7 and outline v4 (A52), after the owner’s U20 objection. The manuscript keeps transport, graded fidelity and drift. Superseded at U30 by the observational-structure thesis of proposal v5 (A81–A83). | Superseded — by CLAIM-124 |
| CLAIM-102 | Variations in translation are transformations between pragmatic frames of reference that preserve selected invariants of the communicative act | A18’s “structural claim”, concluded by the relativity analogy. Replaced by the manuscript’s directed, lossy transformations once the analogy’s group structure was undercut and the frame-independent act dropped. | Superseded — by CLAIM-098 |
| CLAIM-103 | Symmetry is not opposed to transport: exact symmetries are the invertible core of a nested family of transports, and their main use is to supply the invariants against which non-symmetric transports are assessed | A110 §25, recovered. The manuscript §4 keeps “invertible symmetry maps are special cases” and drops the nesting and the yardstick role, apparently by inadvertence. | Proposed |
| CLAIM-104 | Authenticity grounds normativity downward, from an encompassing agent to its constituents, but not across agents at one level | The owner’s U75, which accepted authenticity as a downward warrant while naming what it cannot do (QUESTION-007). Deferred with the line it rests on. | Deferred |
| CLAIM-105 v4 | In documented reconstruction chains, steps that keep most local judgements commonly change their global compatibility: translation preserves local meanings while changing the global structure of meaning | A78’s thesis for the paper, “potentially the most interesting connection we’ve found”, with Δ_CF, the change in contextual fraction along a chain, as its measure. The manuscript keeps the thesis as its Abstract’s last sentence but drops the measure and the worked examples (at C6, per the chunk-5 reader). | Proposed |
| CLAIM-106 v3 | Pragmatic fidelity is a graded, potentially asymmetric property of transport, not an equivalence relation; equivalence is its zero-distortion limit | The owner’s objection at U20, accepted in full by A50 (“an important correction”) and made the thesis of outline v4. The manuscript §12: “stochastic transport generalizes exact equivalence to graded fidelity.” | Active |
| CLAIM-107 v3 | Under Markov reconstruction kernels, an observable’s expectation is invariant when the observable is harmonic (K f = f), and drifts by at most Σ ε_i when ‖K_i f − f‖∞ ≤ ε_i; on a finite irreducible chain only constants are harmonic | The manuscript’s §4, citing Baez and Fong. CLAIM-094 says what the cited theorem needs that the discrete-time criterion leaves out. | Active |
| CLAIM-108 | Communicative identity is characterized by the observational structures and relations invariant or equivariant under specified classes of transformation, and fidelity by their preservation, deformation or loss | A105’s thesis after the owner’s U37 objection, with the title question restated: “What are the invariants of communicative transformation, which classes of transformation preserve them, and what happens when those symmetries are broken?” The manuscript’s §1 thesis is a softened form. | Superseded — by CLAIM-017 |
| CLAIM-109 | In translation the pragmatic frame does not merely select a description of meaning but participates in determining which meaning becomes actual | A21’s “preferred formulation”, reached by the quantum-cognition analogy. Withdrawn over A24–A30 as the inference was undercut, and replaced by a hypothesis held open for test. | Superseded — by CLAIM-009 |
| CLAIM-111 | A text supports a distribution over possible communicative situations, and a translation can be faithful by preserving that distribution and its response to further evidence | A45 §6, recovered: fidelity as P_o(z | c_o, u_o) ≈ P_t(τ_z(z) | c_t, u_t), “an interesting middle position between our original relativistic account and the later dynamical account”. Dropped at outline v3 without critique. | Proposed |
| CLAIM-113 v2 | Transformations and invariants define one another: translation preserves some structures exactly, carries some equivariantly, preserves some approximately and reorganizes others, and identity is studied through what a class of transformations leaves invariant | A105’s reframing after U37, and the manuscript §4 and §11: “Structural transformations help identify structure through what they preserve”, with a four-way split of exact, equivariant, approximate and reorganizing transformations. | Active |
| CLAIM-114 v2 | Drift along a reconstruction chain can be marked by a pragmatic phase change, the first generation at which a different communicative configuration dominates, which per-step error in surface content does not show | A73, recovered: track local reconstruction error D_local(i) = W(q_(i-1), q_i) apart from cumulative departure D_global(i) = W(q_0, q_i), and look for the generation at which the configuration flips. Dropped when the latents were demoted at U28, without critique. | Proposed |
| CLAIM-115 v3 | What survives translation is the set of communicative distinctions and relations a receiving system can still reconstruct and act upon, not the wording or the proposition | The manuscript’s central thesis (Abstract, §1, §12). It does not say every relation must survive, or that there is one privileged set of observables: the choice of observables and decision tasks is stated to be normative and contestable (§11). | Superseded — by CLAIM-220 |
| CLAIM-117 v3 | Pragmatic fidelity requires preserving the dynamics of interpretation, not only final judgements: a good transport approximately intertwines source and target framing operations under a correspondence anchored to independently measured distinctions | A30’s commuting diagram for pragmatic fidelity, developed in the manuscript §9 as intertwining defects and the commutator-distortion identity. | Proposed |
| CLAIM-118 v5 | Context and interpreter are separate sources of interpretive change, told apart by what each carries and not by mechanism: what the current context supplies, whether held in activations or in weights updated on it and discarded after, is the signal; what earlier contexts have left in the interpreter and it carries into new ones is the interpreter; and improving the signal differs from improving the interpreter | A43’s first point about the U17 proposal, developed at A44–A45 into three sources of change (evidence, transient computation, parameters). The manuscript §5 keeps it in two sentences. | Active |
| CLAIM-119 v2 | Communicative categories form a concept lattice rather than a hierarchy: categories such as affectionate teasing and sarcastic condemnation share attributes and differ in a few social-relational constraints | A75 §7, recovered: formal concept analysis as the direct formalization of the owner’s “objects are intersections of regions”. Absent from A81, C6 and the manuscript without critique. The record holds Ganter and Wille unread. | Proposed |
| CLAIM-120 | Conditional generative systems realize stochastic transports between constrained distributions, and their compositional fidelity depends on preserving the compatibility and relational structure of constraints across media | A97’s “strongest new proposition”, made central by proposal v6 (A100). The manuscript’s Abstract calls conditional diffusion and Schrödinger bridges “generative analogues”, and §7 claims only a shared vocabulary; no turn up to U37 argues for the demotion. | Superseded — by CLAIM-071 |
| CLAIM-121 | A transport whose local kernels commute with restriction maps overlap-consistent source models to overlap-consistent target models | Proposition I of A84, Proposition B1 of C6, the manuscript’s Proposition 1. It concerns marginal consistency, not global noncontextuality. | Active |
| CLAIM-122 v3 | Will-organization is not one more higher-order preference: changing the conditions of efficacy changes behaviour while the competing preferences stay fixed | The reply to CLAIM-089 (Section 3.5), by precommitment in a person and escalation authority in a firm. | Active |
| CLAIM-123 v6 | In conditional generation, adding scores composes two conditions exactly when the ratio p(y₁,y₂|x)/(p(y₁|x)p(y₂|x)) does not vary with the noisy state x, which conditional independence of the conditions at that state is sufficient for but does not require | The manuscript’s §7, citing Composable Diffusion, T2I-CompBench and Schrödinger bridges. The readings support it, and the manuscript is more careful than the paper it cites. | Active |
| CLAIM-124 | Communicative objects are characterized through overlapping constraints on observables at partially ordered levels; translation transports these locally constrained structures, and repeated reconstruction changes both local interpretations and their global compatibility | The thesis of proposal v5 (A81–A83, under U30), which put observational structure first: “a global communicative object is no longer stipulated in advance.” Revised at U31 into the selective preservation of decision-relevant information. | Superseded — by CLAIM-026 |
| CLAIM-125 v4 | Directed transport between empirical models whose covers change has two open problems: when it preserves decision-relevant information, and how it extends to signalling data | CLAIM-100 narrowed. Simulations between empirical models already give directed stochastic transport between scenarios whose covers change, and settle when it preserves global compatibility. What is left open is decision-relevant information and signalling data. | Active |
| CLAIM-126 v3 | Model stitching tests whether a transport preserves decision-relevant information only in its reconstruction form: a map fitted to reproduce the target representation certifies one direction of Blackwell sufficiency, while task-loss stitching compares one decision problem through a fixed head, and a failure to stitch is no evidence against sufficiency | Proposed by the record on 2026-10-09 as an operational handle on the decision-relevant half of CLAIM-125, and qualified by the reading of Bansal, Nakkiran & Barak before it was filed: only reconstruction-fitted stitching certifies sufficiency, and only within the map class. | Active |
| CLAIM-127 v3 | Conditioning on a communicative situation, intervening on it and intervening on what the interpreter is told are three different operations, so a framing intervention should index the empirical model, e_C^a = P(Y_C | do(a)), not enter its cover as one more context | The owner’s do() move at U41, formalized at A129 §1 and §5 and restated in the review relayed the same day. A129 keeps three operations apart: conditioning on the situation, intervening on it, and intervening on what the interpreter is told. It keeps one cover, with the empirical laws indexed by intervention. The link to signalling is the record’s extrapolation, and A129’s own graph gives a second route to it. | Proposed |
| CLAIM-128 v2 | No single ranking of translations holds across tasks: where distortion profiles trade off, only a task’s priorities rank them, and the theory of fidelity fixes no weighting | A129 §3, after the owner’s U41 “agreed.” to unifying the fidelity lineages, and restated at A151 §5, A178 Ch9.7 and A203 §22. A translation that keeps social footing and loses rhyme is not ranked above or below one that does the opposite until a task says which matters. It does not say how the components are measured, nor that they are independent. | Proposed |
| CLAIM-129 v3 | A factorization recovers only the structure visible in the relations it is fitted to, so a topic can survive a transformation that changes the communicative act, and a kind must be tested against probe families chosen for their bearing on the act | The assistant’s, at A210 §5 after the owner’s U58, and again at A214 §3–§4. It recurs from U56 (A203 §37) to U60 (A218 H3), so it gets a code. It is CLAIM-004’s distinction between changing the frame and changing the act, in a factorization, and TERM-014’s relativity to a family of measurements, stated for factorizations. It does not say lexical structure is irrelevant to the act, or that a richer factorization cannot capture acts. | Proposed |
| CLAIM-130 v4 | Telling an interpreter about a communicative situation, do(I = a), is a different intervention from changing the situation, do(S = s): only a do(S) intervenes on the relations that would constitute an act, and in a vignette or rating study every manipulation is a do(I) | The owner proposed Pearl’s do() at U41, and A129 §1 drew the distinction. It recurs at A151, A191, A203, A214 and A218. CLAIM-127 is about where the index sits in the formalism; this claim is about what an experiment manipulates. The sharp edge: in a vignette or rating study every manipulation is a do(I). | Active |
| CLAIM-133 | Communicative identity is relational continuity under admissible transformation: translation transports relationally organized observational structure, correspondence fixes what can be compared, admissibility which transformations count, and fidelity which communicatively consequential distinctions remain recoverable | The thesis of the assistant’s two consolidations after the U40–U42 review: the state of the argument at U43 (A151) and proposal outline v7 at U49 (A178). The owner asked for “the current state of our argument” and for the proposal to be updated “to account for our progress”, and argued no change. A151 also brings back the identity clause of Superseded CLAIM-108. Filed so that the change of thesis is visible, as CLAIM-017 was. It does not replace CLAIM-115, which no draft has given up, and the October thesis replaced it in turn. | Superseded — by CLAIM-139 |
| 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-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-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-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-147 v2 | A trope is a family of observational profiles joined by admissible transformations around a core of preserved relations, so trope instances can separate structural preservation from pragmatic preservation | A155, at U44, after the owner proposed TV Tropes. A trope is taken to be neither an invariant token pattern nor a semantic label, but a family of observational profiles related by recasting, adaptation, inversion, subversion and parody. Comparing such families tests whether relational measures track communicative identity where surface similarity fails. A178 made it Study B; A191 §8 gave it five manipulations. The record objects that the analysis is Propp’s and Lévi-Strauss’s, and that the catalogue cannot validate it (CLAIM-145). | Proposed |
| CLAIM-149 v2 | A probe family that supplies a transformation’s training signal cannot also certify what the transformation preserves: preservation must be shown under probes that were not used to train it | The owner set the frame at U51 (“a useful case study … the projected GAN work”); A184 §§3–4 argued it, with its Experiment C and closing maxim, and A203 §30 and A218 Study 6 keep it. It carries CLAIM-011’s remedy from correspondences to training objectives. Kynkäänniemi et al. (CASE-041) is a documented instance, which the exchange did not know of. The documented support is one training case, in image generation, and one selection case, in translation (CASE-071). | Active |
| CLAIM-151 v5 | Which communicative act an utterance performs is partly constituted by its relations to participant roles, norms and expected uptake, so a transformation that changes those relations can change the act and not only its realization | The assistant at A187 §3, after the owner’s U52 question about ontic structural realism, restated at A191 §1, A203 §3, A214 §13 and A218 §2. It is argued for social acts, and its argument stops there; the record’s scope does not (version 3), and the general frame is CLAIM-477, of which this is a domain case. Its “representational against constitutive transformation” is CLAIM-004’s distinction re-derived, which it cites. Searle’s status functions (LIT-482) are the nearer held prior art, and “moderate OSR” is the wrong name for it. | 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-153 | Failure of a self to hold together across contexts is a monodromy around a cycle of contexts: any two locally consistent contexts glue, and the minimal model of the obstruction needs three | Dual-filed from MOM-CLM-165 (ADR-037). Model contexts (roles, personas, sub-agents) as a cover, and the offsets that reconcile neighbours as a cochain. A global section, one coherent self, exists exactly when the monodromy Φ around a cycle vanishes. Two contexts always glue, so compartmentalization needs a loop. The frustrated XY or Kuramoto energy finds the obstruction: its minimum is 0 exactly when Φ ≡ 0. Abelian case only; re-checked here. | 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-155 | Willed agency is a kind between agency and selfhood: a control system whose behaviour is governed by a will-organization over several regimes is more than an agent and closer to a self, in the self-governing sense, without thereby being a subject | The owner’s proposal of 2026-10-11, stated with the assistant. Agency can be had without will: a thermostat with its designers, or a training process. A control system that can properly be said to have a will is a narrower kind. It is the jurisdiction of a will-organization, and it is closer to a self in ADR-024’s self-governing sense, not in the subject sense. With CLAIM-174 version 2, it answers the will paper’s permissiveness objection on its merits. | Proposed |
| CLAIM-156 v3 | Mindfulness integrates a population of interests by changing which of them may act, and not only by changing what they value: noticing an impulse as an impulse suspends the step from its momentary dominance to its control of action, and that step needs no change in the discount curves | The record’s own conjecture, made in answer to the owner’s prompt of 2026-10-11. It places mindfulness among CLAIM-027’s conditions of efficacy (suspension, accessibility), so it is a second individual-scale instance of that thesis. The one direct study read as summarised (LIT-906) points the other way, and the claim says so. It does not say mindfulness never changes valuation. | Proposed |
| 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-158 | Systems differ in whether “who drives?” has an answer at a given level of description, and the kinds form a spectrum: fully top-down, bidirectional, emergent from the whole, and between | The owner’s thesis of 2026-10-11: “it’s probably worth differentiating between systems where ‘who drives?’ has an answer wrt a particularly level of description or not. I think there’s is probably a spectrum/gradient/distribution of kinds here.” The record grounds it in the information decomposition (LIT-025), whose downward-causation and causal-decoupling terms separate the kinds, and in proportional causation (THEORY-133), which makes a higher level the cause system by system. | Proposed |
| CLAIM-159 v3 | The record’s rival accounts of will are claims about drive profiles in different cells: Ainslie’s interests are aggregate or emergent, the expected value of control is top-down, and will-organization is the maintained organization that governs how the drive profile changes | The assistant’s reading, offered in chat on 2026-10-11 and filed at the owner’s prompt. Ainslie’s will has no governor: the person is “just the resultant” of bargaining interests, which is aggregate, or emergent if resolve is a property only the recursion has. The expected value of control posits a dedicated specifying system, which is top-down. The will paper’s will-organization is the maintained organization of relations that decides which regime is effective, so it governs the drive profile’s changes over time. That is the owner’s point that “who drives” is not constant. | Active |
| CLAIM-160 v3 | Data written for a potential future receiver has its intended meaning fixed by the write: even if it is never read, what it was meant to say was settled when it was stored | The owner’s claim of 2026-10-11, in their words: “data is written with a potential future receiver in mind. even if the data is never read, its intended meaning was fixed by the write.” It separates when identity is fixed (at the write, relative to a projected receiver) from when fidelity is measured (at a read, relative to an actual one), which the line had left unsettled. It does not say what a text means to a given reader is fixed. | Proposed |
| CLAIM-161 v2 | A system persists as the same self over an interval when a coherence measure is approximately conserved along its own trajectory, not merely matched by some map between its states | Dual-filed from MOM-CLM-153 (ADR-037). The corpus’s selfhood condition, that some map φ preserves a coherence score γ, is satisfied by any two systems with similar scores. Requiring the map to be the system’s own evolution Φ_Δt makes selfhood approximate conservation of γ along the trajectory: γ is an approximate first integral, and the defect is a number. Proposed here because γ is unspecified. | Proposed |
| CLAIM-162 v3 | In flow an activity’s immediate reward and its longer-run value coincide, so no interest has to be overridden (synchronization as non-crossing valuations, with no dynamical mechanism claimed), and that is why focused action in flow is reported as effortless | The record’s own conjecture, made in answer to the owner’s prompt of 2026-10-11. It is grounded only weakly: the effort-cost account is a reading, and the flow literature is registered unread. It says that in flow there is nothing for will to do. It does not say flow is the best or the normal way to act as one. | 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-166 v2 | A lower-level collective within the composite person, such as the gut microbiome, can at times drive higher-level behaviour and even experience: the routes exist and the effects are causal in rodents, while the human evidence is modest | The owner’s thesis of 2026-10-11: “‘who drives’ isn’t a constant. Considering myself as a multi-level agent, part of my composition is my microbiome … that lower level collective is capable of influencing my higher level behavior and even phenomenological experience.” The time claim is filed as the owner’s. The microbiome claim is grounded in two reviews read the same day. The routes exist, and the effects are causal in rodents. The human evidence is modest: associations, small effects on subjective stress, and nulls. | Proposed |
| 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-169 v2 | On Ainslie’s account the population of interests is produced by desynchronized valuation, not given by a fixed architecture: an agent is many interests over a choice only as far as its valuations of that choice cross within the choice’s horizon | The record’s reading of THEORY-067, made in answer to the owner’s prompt of 2026-10-11. Interests are individuated by the delay at which each dominates, so where curves do not cross there is nothing to individuate them. The self’s intertemporal multiplicity is then a variable, not a constant. It does not say that all multiplicity of self is intertemporal. | 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-172 v10 | Mutual entrainment is a sufficient mark of a combined form, and marks it as one of peers: when each side adjusts the other’s timing the pair carries a collective variable neither has alone; one-way drive also makes a combined form, with a hierarchical architecture | The record’s reading in answer to the owner’s prompt of 2026-10-11, “connect extended self to entrainment”. Clark & Chalmers’ marks of extension are availability marks, and the coupling-constitution objection says coupling does not entail parthood. Mutual entrainment sidesteps the objection rather than answering it: it individuates a new system by its collective variable. It does not cover a passive store like Otto’s notebook, which is coupled across time by writing and reading, not by timing. | Active |
| 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-175 v3 | A partner-dancing couple, while dancing, is one combined cognitive form on the extended-mind thesis’s own terms, more clearly than Otto and his notebook, and merits a name of its own | The owner’s reply of 2026-10-11 to the dancers objection, which they had not read: “under extended mind thesis, I’d argue that the pair, while dancing together, comprises a combined form that merits some privileged nomenclature of some kind”. Clark & Chalmers endorse socially extended cognition, and the objection’s own source calls the interaction an autonomous process. So the objection fails against the combined form and survives only as a question about selfhood. The name is not yet chosen. | Active |
| CLAIM-176 v4 | Recurrence is the trigger of persistence this record is built around: coding a thing the second time it turns up captures exactly the drift that defeats an argument, and keeps capture from flooding the record | The filing rule of ADR-032 (“a thing gets a code the second time it turns up”), read as one trigger of persistence (CLAIM-185), and the one this record is built around. Narrowed to that on 2026-10-11, on the owner’s reframing. The same threshold appears in three places in luria and was found independently each time. Proposed: the rule has been applied, but no other threshold has been compared with it. | Proposed |
| CLAIM-177 v2 | In the record’s exchanges with collaborators who keep no memory, the argument repeatedly loses identity: concepts are redefined silently, objections and readings come back as though new, and the thesis changes without anyone arguing for the change | Stated as a finding in ADR-032, from seven readers coding the will exchange, and found again in the What Survives Translation? exchange by the workbench reconstructions of 2026-10-09 and 2026-10-10. Filed on 2026-10-11 as the first premise of the manuscript. Two exchanges with one owner and one assistant family, so Proposed. | Active |
| CLAIM-178 v2 | A manuscript should be a view over the argument and not its only copy: a draft written straight from an exchange drops commitments and changes its thesis without saying so, and both become visible only against a record where claims carry status and inclusion separately | Luria’s distinction between sources and generated views, carried over from files to argument. The evidence is the two “crystallized arguments” of the What Survives Translation? exchange and the manuscripts drafted from them (workbench 2026/10/09/025539, 2026/10/10/040457). Proposed: the record is kept beside the manuscript, and nothing generates a manuscript from it. | Proposed |
| CLAIM-179 v3 | When an agent does the filing, the cost of capturing argument falls on the party that would otherwise pay to re-derive it, which removes the disparity that design-rationale systems were abandoned over | The answer to the cautionary literature the owner filed before the argument schemes were built (ADR-030): design rationale goes uncaptured because whoever captures it is not whoever benefits. ADR-032 noted that agent filing changes the risk from capture stopping to capture flooding. This claim states why. Proposed: the record has run for one week. | Proposed |
| CLAIM-180 v4 | Drift is retrieval failure outside a critical distance: a restatement close enough to an idea retrieves it, one that has drifted too far is taken for new, and a code bypasses retrieval by content altogether | Proposed by the assistant on 2026-10-11, when the owner raised sparse distributed memory and Hebbian learning after CLAIM-182, and filed at the owner’s request. It reads the drift of CLAIM-177 through SDM’s critical distance (read in NOTE-242) and Hopfield’s basins of attraction (unread when filed; read 2026-10-14 in NOTE-819). The analogy is the claim; whether restatement distance predicts re-derivation has not been measured. | Proposed |
| CLAIM-182 v2 | Storage is not anchoring, addressability is: a structure that is kept but cannot be pointed at part by part does not stop re-derivation, and the same content becomes an anchor once its parts get addresses | An answer to QUESTION-038, proposed by the assistant on 2026-10-11 and filed at the owner’s request. The evidence is in the record already: the two shared transcripts persisted throughout, and ideas were re-derived inside them anyway. Their moves became citable only when the workbench reconstructions gave each turn a label. Two exchanges, and the comparison is not controlled, so Proposed. | Proposed |
| CLAIM-183 v2 | Generated views of the record, fed back into the exchange, become instruments of the argument: they show where its terms evolved faster than its formalism | From U40 of the translation exchange, the first time a generated view went back into the conversation (workbench 2026/10/10/040455). The assistant read the term-revisions chain as evidence about the manuscript, and made five moves in reply. One of them was “Nucleation itself is a case study”. One instance, so Proposed. | Proposed |
| CLAIM-185 v3 | The nucleation threshold of an argument is whatever makes a structure persist: a persistent structure is available as an anchor, and more complex structure can evolve only on anchors | The owner’s reframing of 2026-10-11, after two readings showed that no physical nucleation threshold is a count. The threshold is not recurrence as such but whatever triggers persistence. Recurrence is the trigger this record is built around (CLAIM-176), and there are others. The readings fit the reframing: a physical nucleus is defined by persistence, and seeds that do not persist lose their power. Proposed: the generalization is stated, not tested. | Proposed |
| CLAIM-186 v4 | How fast an argument grows sets how it grows: drift tracks how fast new material arrives relative to how fast it is anchored, so a fast, prolific exchange branches, as a crystal grown far from equilibrium does, and a project memory stabilizes an argument by keeping anchoring up with arrival | Proposed by the assistant on 2026-10-11, while correcting its own crystal analogy (CLAIM-181), and filed at the owner’s request rather than on a second occurrence. The analogy is to morphological instability. Near equilibrium a growing crystal faces over, and far from it the faces branch. The evidence so far is anecdotal. The fastest stretch of the translation exchange carried two moves of thesis, and drift has not been measured against pace. There is no slow exchange to compare it with, so the claim is Proposed and untested. | Proposed |
| CLAIM-187 v2 | Whether two systems compute the same way can be tested by quotienting the full admissible symmetry group and measuring what remains: a residual barrier marks a different mechanism, and a feature with no counterpart blocks the comparison | The record’s one fully measured case of “factor out the admissible symmetries, then test what survives”, which the pragmatic-transport line’s questions about invariants under admissible transformation (QUESTION-027, QUESTION-029, QUESTION-036) ask for in the abstract. From five mode-connectivity THEORYs held without links to the line. The carry-over from trained networks to communicative kinds is the filer’s, and is the claim’s weak point. | Proposed |
| CLAIM-191 | Restating an argument across memoryless sessions is iterated transport with only a weak channel back to the source: without anchors, restatements drift toward the collaborators’ own framings rather than at random, and a code restores continuity of transmission | The first claim joining the nucleating-argument and pragmatic-transport lines, which shared no edges. A sequence of memoryless sessions restating an argument is a chain of retellings, the telephone game of CASE-015. The transport line’s results then predict that drift has a direction, toward the transmitters’ prior (THEORY-155, CLAIM-090), and that convergence is not preservation (CLAIM-081). A code supplies CLAIM-002’s continuity of transmission. Proposed from a synthesis review; the counter is CLAIM-189. | Proposed |
| CLAIM-192 v2 | A multi-session argument’s thesis can move without any participant arguing for the move, which is a case of an organized whole’s course coming apart from its members’ intentions | Links the nucleating-argument line to the distributed-agency line. The translation exchange’s thesis moved from CLAIM-017 to CLAIM-115 to CLAIM-133 with no turn arguing either move (CLAIM-177). CLAIM-030 says an organized whole’s operative intention can evolve apart from what its members intend. The owner, the assistant sessions and the record make up such a whole, and its thesis moved that way. CLAIM-186’s test is an intervention test of both. Proposed from the synthesis review; the owner’s memory and veto are the main reason to doubt it. | Proposed |
| CLAIM-193 v4 | A linear probe family can tell apart only realizations whose representations differ in normalized kernel, and kernels fix a representation only up to the symmetry of what is observed: any distinction beyond that is supplied by the analyst | A partial answer to QUESTION-031 for the linear case, from THEORYs the record held without linking them to the line. What a regularized linear readout decodes is a function of the normalized kernel (THEORY-008); kernels fix a representation only up to the symmetry of what is observed (THEORY-004, THEORY-723); an inner product beyond that is a stipulation (THEORY-018); and spectral degeneracy does not identify the symmetry (THEORY-019). Proved results for learned representations; the carry-over to communicative realizations is the filer’s. | Proposed |
| CLAIM-195 v2 | For an argument, the constraint set that persistence is relative to is fixed by an amendable decision, not discovered: the record stipulates what counts as the same claim persisting, which makes the choice explicit without making it non-arbitrary | Files the point the workbench of 2026-10-11 (214308) left as notes on CLAIM-185 and CLAIM-181. Viability is relative to a constraint set the theory does not supply (THEORY-134), and the will-organization line leaves “who fixes the constraint set” open (CLAIM-079, ARG-007). For an argument the record fixes it by decision (ADR-032 and its successors), so the set is explicit and amendable. That shows how one system fixes its set; it does not show the choice is non-arbitrary. | Active |
| CLAIM-196 | A person’s roles in contexts that do not meet cannot contradict one another: role conflict needs an overlap, which segregating audiences prevents and collapsed contexts create | The MoM manuscript models a person’s roles (“daughter”, “teacher”, “friend”) as sections over family, professional and social contexts, with identity as their global section, failing when the roles contradict. Roles in contexts that do not meet glue (CLAIM-197), so contradiction between them is not yet a failure. Conflict needs an overlap: an occasion on which two audiences are present at once. People manage the cover. They segregate audiences, which keeps the contexts disjoint, and they script the occasions where audiences must meet. Broadcast and networked media collapse contexts, which creates overlaps the person did not choose (boyd 2008, after Meyrowitz 1985). | Proposed |
| CLAIM-197 | Sections over contexts that do not overlap always glue, so a sense that differs between disjoint contexts is not a gluing failure: a failure needs an overlap carrying sections that disagree, and which families count as covers decides whether anything glues | Dual-filed from MOM-CLM-088 (ADR-037). The sheaf condition says a family of sections that agree on overlaps glues to one global section. Where two contexts do not overlap, agreement is vacuous and they glue. So “tall”, which takes one threshold for people and another for trees, is one global section with the comparison class part of the meaning, not a failure of gluing. A failure needs contexts that overlap and carry sections that disagree there. Which families count as covering is the piece that decides whether anything glues, and a sheaf picture of meaning that does not state it has decided nothing. | Active |
| CLAIM-198 | Preference reversal is not yet disunity: interests that govern a choice at disjoint times glue, and a self is divided over a choice only on an overlap, which the agent’s prediction of its own later valuation creates | Take an agent’s interests as sections over contexts of choice, each governing the windows of time in which its valuation ranks first. If the windows do not overlap, the sections glue (CLAIM-197): someone who prefers the diet in the morning and the cake at night is a time-indexed preference, not a divided self. Division needs an overlap, a choice on which both interests bear at once. On Ainslie’s account that overlap is made by recursive self-prediction: the present choice is valued as a forecast of the later ones, so the later interest’s valuation enters the present context. That is where intertemporal bargaining happens, and it is the coupling CLAIM-163 found missing. | Proposed |
| CLAIM-199 v3 | Blackwell’s order bounds what a rendering makes possible for any receiver, and a given receiver’s access is usable information relative to the rules it can apply, which a garbling can raise for that receiver but never above what the source makes possible | The record’s reconciliation, on 2026-10-10, of CLAIM-225. Both standards are kept, in different roles: Blackwell’s order is the ceiling, and TERM-034’s interpreter-relative fidelity (“relative to an interpreter and its available side information”) is the receiver’s. CLAIM-087’s improvement is a gain in usable information. The nearest held reading is THEORY-176’s “Its loss bounds r’s best attainable risk for that problem from above”, for restricted rules. The example is checkable; whether real receivers show such gains is a proposal. The usable-information literature was not held when it was filed; Xu et al.’s V-information is now read (note of 2026-10-21). It does not say which rule class real readers have. | Active |
| CLAIM-201 | Over a fixed scenario, a change of global compatibility at small local distortion needs contextual judgements, which the behavioural data read so far lack; the form of the headline those data leave open is a change of cover, in which a rendering makes some of the source’s questions undecidable for its readers and decides others the source left open | The record’s narrowing, on 2026-10-10, of CLAIM-105 after CLAIM-219. It concedes that the record’s reading of LIT-264 finds no contextual behavioural data, so the fixed-scenario form of “Translation may preserve local meanings while changing the global structure of meaning” has no case but a constructed one. It shows why the fixed-scenario form is sharp and why it needs contextuality. It keeps the form the record already names: “Only a change of scenario can make it jump” (CLAIM-105), and manuscript §11’s “A transport may preserve overlaps but change the available measurement cover”. A proposal; its test is the discriminating study. | Proposed |
| 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-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-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-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-212 v3 | Fidelity as a report and fidelity as a re-performance are different decision targets: Blackwell’s order compares a rendering with its source as evidence about the source’s situation, which both readers decide about, while a rendering that re-performs the act in the target’s situation is compared only through a correspondence of situations | The record’s reply, on 2026-10-10, to CLAIM-258, which it reconciles rather than refutes. In report fidelity the parameter is the source’s situation, common to both readers, so Blackwell’s order is defined; the objection’s worked case then gets a precise verdict, incomparability, as CLAIM-128 expects, and a context-aware translator’s non-garbling is compared by the order and quantified by CLAIM-259. The objection is right about re-performance, where CLAIM-091’s compensation lives: there a correspondence of situations is needed (QUESTION-005). For report tasks the task correspondence is the identity, which removes two of CLAIM-218’s points there. A proposal; it does not say which kind of fidelity literary translation aims at. | 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-214 | The distribution-over-situations criterion compares each language’s own listener posterior, so it needs no correspondence of alternative sets; that a literal rendering can fail it is the criterion detecting a lost implicature, and a target language may admit no rendering that passes | The record’s reply, on 2026-10-10, to CLAIM-236. CLAIM-111’s criterion is P_o(z | c_o, u_o) ≈ P_t(τ_z(z) | c_t, u_t). On the rational-speech-act model each posterior is computed with its own language’s alternatives, so comparing the posteriors needs no map between the alternative sets. The objection’s worked case is right, and it shows the criterion rejecting a rendering that keeps the literal content and loses a scalar implicature. Active, because it is read off the criterion’s form and checked by arithmetic. It does not say the model is right or that the criterion applies to poems. | 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-220 v2 | For a named population of receivers and a stated family of tasks, what survives a translation, retelling or rendering is the set of task-relevant communicative distinctions those receivers can still recover from it, and measured preservation of the pragmatic observables predicts that recovery better than preservation of the wording or of the proposition, with or without its force | The record’s reply, on 2026-10-10, to the audit’s objections to the tests of the manuscript’s thesis (CLAIM-233, CLAIM-232, CLAIM-243, CLAIM-244, CLAIM-226, CLAIM-222). It restates CLAIM-115 as an empirical claim indexed to receivers and tasks, tested against the rival CLAIM-115 itself names, a proposition with its force, on a behavioural criterion and with an interlingual arm that decides. It supersedes CLAIM-115, by the owner’s delegated ruling of 2026-10-29. It is a proposal, not a finding. It does not claim the line’s distinctive machinery is needed: that is CLAIM-202. | Proposed |
| 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-228 v4 | D_obs restated over a rendering procedure, with one kernel family fitted on some source items and scored on held-out ones and the target term the readers’ response averaged over the procedure’s output, separates rendering procedures that receivers’ task-indexed recovery separates, so restated it measures observational fidelity informatively | The record’s repair, on 2026-10-10, of the manuscript’s L_obs and the profile’s D_obs after CLAIM-207, CLAIM-230 and CLAIM-235. For one pair a constant kernel makes D_obs zero (CLAIM-207); fixed across items, it fits only if the target readers’ responses do not vary with the item. The repair ties the outcome-level kernels to the text channel, makes the transport a property of a procedure (CLAIM-230), and makes deficiency a finite computation over judgement outcomes (CLAIM-235). A proposal: the derivation is elementary, but whether the restated measure is informative is the defeat condition’s empirical question. It does not say a fitted kernel is the translator’s process. | Proposed |
| CLAIM-231 | On observed responses, a rendering that keeps the response distribution of each order of two framings within ε of the source’s, under an outcome correspondence, keeps the observed order effect within 2ε, a bound identified from data, while the intertwining identity bounds it only through defects of an unidentified state model | The record’s repair, on 2026-10-10, after CLAIM-253. The commutator identity of the manuscript’s §9 holds, and its defects are not identified from data, by the objection’s hidden-bit construction. What can be estimated is the response distribution under each order, so the bound is restated on those: a special case of observational distortion with contexts indexed by framing order. Active, because it is elementary and checkable. It does not say the state-model account is wrong, and it does not identify the defects. | 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-240 v3 | A holistic fidelity judgement is fidelity under the judges’ default task, a weighting of the profile’s components that can be estimated on some renderings and tested on others, so it is well defined and consistent with task-relativity, and a defeat condition that uses it must name the population and fix the weighting before the test, and across populations with unequal access to the source must fit the weighting only on the components each can perceive | The record’s reply, on 2026-10-10, to CLAIM-244. Task-relativity (CLAIM-128) denies a ranking that holds across tasks, not that a population has a default task. A weighting estimated on held-in data and tested on held-out data is a finding, not a fit, and a weighting fixed before the test leaves no room to blame the task after a failure. A proposal: whether holistic judgements are such a weighting is itself empirical. The objection is right that the stated defeat conditions name neither task nor receivers; CLAIM-220, CLAIM-204 and QUESTION-075 address that. | Proposed |
| CLAIM-242 v3 | The use-level counterpart of Saussure’s value is an utterance’s contrast with the alternatives its speaker could have used in context; values do not cross between languages, which is why fidelity is graded transport through an anchored correspondence rather than identity of value | The record’s reply, on 2026-10-10, to CLAIM-254. It grants the objection’s premises: value is internal to one language state, and it is a fact of langue, while the line’s observables are facts of use. It denies the conclusion. What the premise rules out is identity of value across languages, which the line does not claim (CLAIM-106), and transport through a correspondence fixed from outside both systems is what CLAIM-082’s own qualification already requires. At the level of use, contrast with alternatives is the rational-speech-act model’s premise (THEORY-172) and Bergen, Goodman and Levy’s finding (LIT-809). Saussure becomes precedent, not premise. A proposal, not a refutation. | Proposed |
| CLAIM-250 | What a developing argument should preserve through legitimate revision is its accountability structure, what was asserted, why, how it was challenged and what justified its revision, not its propositions, so fidelity is defined over justificatory and provenance relations while propositional content changes | From the interlocutor’s reading of PR #121 and its reconciliation, relayed by the owner on 2026-10-12, on the third open tension (CLAIM-189 against CLAIM-252). It reads the tension as mostly reconcilable and moves the fidelity object from propositions to justificatory relations. Proposed and not adopted. | Proposed |
| CLAIM-255 v2 | Intending to perform an act, performing it and being recognized as having performed it are distinct, coupled variables: intended meaning is fixed at production, the act partly by roles, standing and norms, and recognition by uptake, so competent uptake is constitutive for some acts, evidential for others and irrelevant to the existence of still others | From the interlocutor’s reading of PR #121 and its reconciliation, relayed by the owner on 2026-10-12, on the first open tension (CLAIM-160 against CLAIM-151 and CLAIM-217). It gives each claim its own object rather than picking one. Proposed and not adopted: the owner has not taken it. | Proposed |
| CLAIM-257 v3 | Observational distortion should be summed over the contexts both covers can host, with the target’s new questions asked of the source too, and the questions only one side can decide reported as a separate change of cover, so that a rendering that adds a relation pays for it | The record’s repair, on 2026-10-10, after CLAIM-256. D_obs sums over source contexts only, so a target context outside the image of τ is free. Asking the target’s new question of the source, where its readers can answer it, puts it in both covers, and an addition then costs. Questions only one side can decide are a change of cover, which CLAIM-201 makes the line’s headline; they are reported, not summed. A proposal: the restatement is a definition, and whether its added term predicts anything is the defeat condition. It does not say additions are distortions. | Active |
| CLAIM-259 v2 | For report fidelity, the decision term should be the positive part of the risk increase on the same decision problem, with losses in [0, 1] and a stated prior; so restated it is directed, counts no improvement as loss, and vanishes for every problem and prior exactly when the rendering is at least as informative as the source in Blackwell’s order | The record’s repair, on 2026-10-10, of A86’s D_Q after CLAIM-218. Define D⁺_Q(U → V; π) = sup over q in Q of [r_q,π(V) − r_q,π(U)]⁺, with r the Bayes risk under the prior π. It is directed and blind to improvement. With Q all finite problems and π all priors, it is zero exactly when V is at least as informative as U in Blackwell’s order, by the Bayes form of Blackwell’s theorem for finitely many states. A86’s D_Q, with the identity on tasks, is its symmetrization. Under report fidelity (CLAIM-212) the paired task is the same task, so no scale between tasks is needed. The mathematics is checkable; the claim that this is the right decision term is a proposal. It does not say Q is fixed. | Active |
| CLAIM-261 v2 | Synchronization of an agent’s interests is desirable, but not necessary for acting as one: internal conflict shows a human agent acting while its interests stay divided | The owner’s answer to QUESTION-078. A human agent who acts against a standing temptation acts as one agent while its interests stay divided, so synchronization is not what acting as one consists in. Synchronization is still better when it is available: nothing has to be overridden, and CLAIM-162 says that is why flow is effortless. | Active |
| CLAIM-262 v2 | Whether an agent’s regimes are coordinated by discrete switches or by continuous reorganization depends on how the agent is constituted; both occur | The owner’s answer to QUESTION-079: both forms are possible, and which one an agent shows depends on its constitution. An agent made of a population whose choices accumulate like a drift-diffusion process reorganizes continuously. Twitch Plays Pokémon approximates one, best in democracy mode with the tally visible as votes arrive. The consequence for CLAIM-163’s transition test is that it must be stated per constitution. A missing switch counts against coordination only in an agent built to switch. | Proposed |
| CLAIM-263 v3 | Whether two trained networks compute the same way can be tested by quotienting the architecture’s full symmetry group and measuring what remains: a barrier that survives alignment marks a different mechanism, connection after alignment means shared feature structure, and the test cannot run where features have no counterpart | The general content of CLAIM-187, filed alone in learned-structure under ADR-040: a measured protocol for asking whether two trained solutions are the same solution. Quotient the full symmetry group, including the orthogonal map on a transformer’s residual stream (THEORY-112). Read a barrier that survives as a difference of mechanism (THEORY-116). Between linearly connected image classifiers, nearly every layer’s features interpolate (THEORY-111). The test cannot run where features have no counterpart (THEORY-113) or the objectives share no structure (THEORY-115). It is the first claim in the learned-structure line. | Proposed |
| 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-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-267 v3 | Per-step discrepancies between a chain of maps and a reference chain compound through the sensitivity of the later steps, so the same local error can be damped, accumulated or amplified, and closeness at every step can coexist with large end-to-end divergence | The general content of CLAIM-056, filed alone under ADR-040 so that the line-neutral recursion does not rest on CLAIM-106’s account of fidelity. It is elementary: with e_(i+1) ≤ L_i e_i + ε_i, the end-to-end error is bounded by the discrepancies weighted by the later Lipschitz constants. Three regimes follow. For stochastic kernels in total variation, contraction coefficients do not exceed one, so amplification needs another metric or a nonlinear, adaptive state. | Active |
| CLAIM-268 v2 | Model stitching certifies an order of information only in its reconstruction form: a map fitted to reproduce the target layers shows the source representation is at least as informative for every decision on the label, task-loss stitching compares one decision problem through a fixed head, and a failure to stitch is no evidence against sufficiency | The general content of CLAIM-126, filed alone under ADR-040 so that the result about stitching does not rest on CLAIM-050’s account of fidelity. Reconstruction-fitted stitching makes the target a garbling of the source given the label, which certifies one direction of Blackwell sufficiency (THEORY-176). Task-loss stitching (LIT-850) compares one decision problem through a fixed head, orders neither representation, and is not invariant under reparametrisation. In both forms a failure says only that no map in the class works. | Active |
| CLAIM-269 v5 | A regularized linear readout can tell apart only representations that differ in normalized kernel, and kernels fix a representation only up to the symmetry of what is observed, so no such readout supplies a distinction beyond that symmetry | The general content of CLAIM-193, filed alone under ADR-040 so that the linear result does not rest on CLAIM-142, whose realist reading is about communicative identity. What a regularized linear readout decodes is a function of the normalized kernel (THEORY-008). Kernels fix a representation only up to the symmetry of what is observed (THEORY-004, THEORY-723). An inner product beyond that is a stipulation (THEORY-018). And spectral degeneracy does not identify the symmetry (THEORY-019). These are proved results for learned representations. | Active |
| CLAIM-270 v2 | Retaining information about where a Markov chain started and staying close to the starting distribution are different properties: a chain can forget its initial state while its distribution stays far from where it began, so convergence is not preservation and losing information about the origin is not degradation | The general content of CLAIM-081, filed alone under ADR-040 so that the distinction does not rest, through CLAIM-056, on CLAIM-106’s account of fidelity. I(U_0; U_n) and D[P(U_n), P(U_0)] answer different questions. A contractive chain loses information about its initial state while converging to a stationary distribution that can be far from the start. The data-processing inequality bounds the first and says nothing about the second. | Active |
| CLAIM-271 v2 | A collective’s reasons need not be any of its members’ reasons, so aggregating members’ conclusions, as polling does, can yield verdicts the collective’s own reasons do not support | The owner’s thesis of 2026-10-13, given in conversation by refining “the good of a higher level agent need not align with the respective goods of the parts” to reasons. The assistant drew the polling consequence. On THEORY-725 a group that judges linked propositions must choose between aggregating premises and aggregating conclusions, and the two can disagree. A poll aggregates conclusions. It does not say that polling is illegitimate, nor that the collective knows better than its members. | Proposed |
| CLAIM-272 v2 | Giving every member an equal budget of actions does not equalize their influence: coordination is one route, letting a member’s plan direct other members’ actions, so a cap on self-allocation constrains action and not authority | A8 §3 on the owner’s r/place case. Every account had the same cooldown, a ban on self-allocation at the level of pixels, yet “a participant who creates a successful design template might have almost no direct pixel- writing capacity beyond any ordinary user, yet exercise enormous influence”. A8: “Reddit’s software imposed a cooldown and common action budget, but did not give participants equal effective influence.” It qualifies CLAIM-285: the budget constrains moves, and endorsement moves authority. It does not say the inequality is illegitimate. | Active |
| CLAIM-273 v6 | A maintained r/place artwork copied from an off-canvas design is a dissipative structure in Prigogine’s structural sense, order held only by a sustained flow of repair against rival coalitions and against unaffiliated placement whose rate falls over the event, but its order is imported from the design and not born of an instability | The owner, on reading Wu and Silva’s finding that lasting artworks are those whose coalitions keep working under continual overwriting: “sounds like there’s likely a connection to dissipative structure here”. It holds for half of Prigogine’s criterion (NOTE-424): an open system kept from the state it would drift to by a sustained flow, here of placements. The flow works against two sources of corruption. One is rival coalitions. The other is unaffiliated placement, a real decay whose rate falls over the event (version 2, the owner’s correction, CLAIM-274). It fails for the other half, since a copied artwork’s order comes from its design, not from an instability (CASE-079; Adams et al. corroborate). No thermodynamic quantity is defined. | Active |
| CLAIM-274 v2 | Participation on a shared canvas thins selectively: people keep coming back while art they invested in survives, so unaffiliated corruption falls over the event and the remaining participants are weighted toward maintainers, a cooling schedule the population produces for itself | The owner’s correction to CLAIM-273. Over days, random participation is a real decay, and it is not constant. Uninvested participants drop out, and invested ones stay while their art persists, which “creat[es] a survival function that biases towards user’s sustaining participation if the art they are invested in persists”. So the “temperature” of random corruption is high early and low late. This is a feedback from pattern to flow, and it answers QUESTION-085 in part. Untested on the logs. | Proposed |
| CLAIM-275 v2 | An intervention can come before the interpretation it makes available, so in an organization of processes meaning, policy and influence can co-evolve, and none of them is upstream of the others in every case | A4 §6, on the record’s two accounts of emotion, Frijda’s appraisal upstream of action readiness and Barrett’s construction, and the owner’s two replies at U5: “yes, exactly” to “meaning, policy, and influence can co-evolve”, and “so much yes” to “An operator may act not because it already possesses an interpretation, but because its intervention creates the conditions under which a particular interpretation becomes available.” The first filing left both out. It does not say interpretation never comes first. | Active |
| CLAIM-276 v2 | A shared interpretation’s coherence, its fidelity to evidence and the plurality of live alternatives are separate quantities, and a population can raise the first while lowering the other two, so a collective interpretation’s stability is no evidence of its truth | A1 §6, before the influence canvas: meaning as “metastable patterns of mutually reinforcing constraints”, with the caveat that “delusions, dogmas, and self-reinforcing errors can also become metastable”. So coherence C(M), evidential fidelity F(M, Y) and plurality P(M) must be measured apart. Zollman’s result that sparser communication helps a community settle on the better option (THEORY-143) and Holman and Bruner’s industrial selection (THEORY-146) are the record’s readings that bear on it. It does not say coherence is bad. | Proposed |
| CLAIM-277 v4 | Durable authority among an organization’s processes need not be a primitive: trust can be the temporal regularity of endorsement that policies earn by being right often, and the same loop entrenches whatever gained influence early | The owner’s objection at U5 to A4’s call to keep “persistent authority structures” distinct from “transient endorsement updates”: “I’d expect persistent authority to be an emergent property here as ‘right a lot’ policies become distinguished into ‘trusted’ policies.” A5 granted it. Momentary endorsement, established trust and institutionalized authority are regimes of one process, set by how slowly endorsers forget. A5 added the converse: the same loop turns an early lead into durable authority. The claim does not say which of the two a given organization does. | Active |
| CLAIM-279 v5 | Whether an intervention stabilizes or destabilizes a pattern is relative to a policy and a frame, so denoiser, critic and re-noiser are regimes an operator falls into, not kinds of operator | The owner at U3 proposed operators that may “renoise the region it has influence over e.g. because it disagrees with the direction of the current work”, and at U5 that named operator types are “just different regimes in the dynamics of our general process”, with niches emerging. A5 granted it. A8 grounded it in the owner’s r/place case: restoring a pixel is denoising for the group whose image it is and destruction for the group overwriting it. The claim does not say specialization always emerges. | 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-281 v2 | Endorsement indexed by role lets a process empower another as a critic while opposing its preferred policy, so an organization that allocates authority by role can keep disagreement working inside it instead of sorting into factions | A2 §8, on the owner’s U2 design. If processes endorse only those whose policies match their own, the influence structure “risks degenerating into factions of mutually reinforcing beliefs”. Indexing endorsement by role, E_i(j, r, c, t), lets i back j as an error detector without backing j’s authority over the final choice. CASE-080 is the worked example. It does not say role boundaries hold under pressure. | Proposed |
| CLAIM-283 v2 | The precedence a motive claims over action and the authority the rest of the organization grants it are different quantities: a motive can claim control without receiving it, and be granted control it does not claim | A4 §2, reading Frijda through the record: “control precedence also suggests a useful addition to our parameterization”, a priority p_i claimed by a process, which “is not the same as granted influence I_i. An operator can urgently demand control without receiving it. That distinction between claimed precedence and endorsed authority may be essential to modeling internal conflict.” It joins THEORY-055 to the endorsement scheme. It does not say which wins. | Active |
| CLAIM-284 v6 | A self, in the self-governing sense, is a historically continuous organization of processes that takes part in governing the conditions of its own persistence, differentiation and transformation, not merely one that persists | A10 §11’s central hypothesis, reached after the owner asked at U10 for a research programme on a constitutive theory of selfhood. It treats the endogeneity of governance as the distinguishing mark: the organization takes part in changing how it will operate, which CLAIM-485 locates in revising its governing standards rather than in allocating authority among its processes. A11 named its falsifier. “Self” is in TERM-045’s self-governing sense, with persisting and integrated senses nearby, and not the subject sense. None of the entries it is set against objects to it as stated: it disclaims the will CLAIM-116 denies, the subject sense of CLAIM-165 and a boundary test (CLAIM-194), and CLAIM-288 undercuts ARG-015, the sufficiency-test route to it, not the claim. | Active |
| CLAIM-285 v3 | An endorsement scheme that denies each operator control over its own authority can make delegation do work: rewarded for how far their preferred policies are realized and not for authority held, operators delegate to aligned others, and the two conditions need not be confined to one-hop allocation | The owner’s design at U2 of the 2026-10-13 exchange: operators vote on one another’s influence, cannot significantly manipulate their own, and gain by finding aligned operators and delegating authority to them. A2 made it precise. Two conditions are imposed: each operator’s own authority is insensitive to its own endorsements, and its payoff is how closely the collective decision matches what it would endorse. Under them, empowering a better-placed ally is a way to get one’s policies realized without becoming more powerful. It does not say such schemes resist collusion, or that alignment makes delegation wise. | Proposed |
| CLAIM-286 v2 | Habit, akrasia, rumination, rigidity and insight can be modelled as regimes of one organization, in which processes transform shared meaning and allocate one another’s influence, with trust, specialization and higher-level agency arising from its history and not imposed | A7’s central thesis, the explanatory half of the manuscript, kept apart from the constitutive half (CLAIM-284) as A7 itself asked. Its novelty is the unification, not any ingredient: “multi-agent cognition, competing control systems, temporal discounting, self-exciting processes, and organizational emergence all have substantial literatures”. It is the claim CLAIM-278 objects to. It does not say these processes are a self. | Proposed |
| 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-289 | Non-stochastic strings stay non-stochastic under total recursive models: their minimal randomness deficiency agrees with the finite-set one to within O(log n) in argument and value | The step that THEORY-260’s promotion (version 2) names as the record’s own: carrying LIT-239’s non-stochastic strings, proved for finite-set models, to total recursive function models through Propositions B.1(b) and B.2(b) with Remark B.3. Remark B.3 asserts wholesale that every result of the paper extends to total functions up to a logarithmic term. This writes the extension out for this one result. It holds at O(log n) precision only, and does not reach LIT-229’s sophistication, which is defined at constant precision. | Active |
| CLAIM-290 | A positive-definite kernel’s minimal realizations are unique up to a unitary, and two finite representation matrices with the same centred Gram matrix differ by a translation and an orthogonal map | The record’s own proofs of two steps that THEORY-004 rests on and that its sources state without proof. (a) Jorgensen & Tian’s Cor. 1.35: minimal realizations of a positive-definite kernel are unique up to a unitary. The book leaves this “as an exercise”, and NOTE-829 supplied the book’s own proof of Thm 4.35, transferred. (b) The finite case that LIT-250 §5.3 states as known: XXᵀ = YYᵀ implies Y = XQ with Q orthogonal, with no assumption that the rows span R^d. With centring this becomes a translation and an orthogonal map. It does not say Q is unique, which fails when the rank is below d. | Active |
| CLAIM-291 | The adjoint of a square-integrable integral operator is the integral operator with the conjugate-transposed kernel | The record’s own step, written down in THEORY-009 and marked there as not the Riesz article’s, which covers matrices and bounded operators only. For a kernel k in L²(μ⊗ν), the operator (Tf)(x) = ∫ k(x,y) f(y) dν(y) from L²(ν) to L²(μ) has adjoint (T*g)(y) = ∫ k̄(x,y) g(x) dμ(x), by Cauchy–Schwarz and Fubini. So T is self-adjoint, when μ = ν, exactly when k(x,y) = k̄(y,x) almost everywhere. It does not say where the symmetry of k comes from, which is THEORY-009’s question, and it is not claimed for kernels that are not square-integrable. | Active |
| CLAIM-294 v2 | Two inquiry histories can agree on every current conclusion and still call for different revisions of it, so a current marginal belief is not a sufficient state for updating on evidence about what it depended on | A5’s central claim, made exact by A8’s construction (CASE-093) and checked here. Two joint distributions over a hypothesis H and a condition C share P(H) = 0.9; learning C = 1 sends one to 1.0 and the other to 0.8. Keeping only the marginal merges histories that need different updates. It does not say a full posterior falls short (CLAIM-300), or that a dependency graph is the fix (CLAIM-293). | Active |
| CLAIM-295 v2 | A record of an inquiry’s justifications adds nothing for decisions its current state already suffices for: what it can add is a wider family of decisions for which what is kept suffices, and decisions a bounded agent can make that it otherwise could not | A10’s conclusion, with A5’s second claim and A10 §5’s three values of history: informational, computational and option value. It places CLAIM-250 without settling it. CLAIM-250 says what accountable inquiry ought to preserve; this says what preserving it could buy. The cases make the first half exact (CLAIM-294, CLAIM-300). The second half, that real inquiries change their questions in ways that make the purchase worth its cost, is not shown. | Proposed |
| CLAIM-296 v2 | What a system has, what it knows it has, and what it can deploy within a task’s deadline are different, and the last is a relation among the resource, the agent, its environment, the task, the deadline and the cue, not a property of any one of them | A18’s first candidate, from the owner’s EMT case (CASE-085): the drug was stocked, the EMT knew it, and it could not be found before the medic moved on. “If I can’t find it, it isn’t there” is false of the inventory and right of the decision. TERM-055 names the relation. A19 added the cue: the same memory under a different request may retrieve it. | Active |
| CLAIM-297 v5 | When an operator’s authority is updated by how well it performs on the interpretation it helped make dominant, the coupled meaning and influence of an organization can amplify an initial interpretive advantage without any gain in fidelity to independent evidence | A22’s narrow claim and A23 VIII.E’s central hypothesis, from the owner’s U22: connect retrieval-mediated anchoring to the record’s distributed agent as dual meaning and influence canvases (CLAIM-285, TERM-053). Its existence is shown in the linearization of a model of the kind in CASE-092 (CLAIM-330); the nonlinear model is unanalysed (QUESTION-100). If the influence field adds nothing to ordinary adaptive retrieval, the objection once filed as CLAIM-278, now ARG-036, stands against it. | Active |
| CLAIM-298 v2 | A frame can change a judgement by changing which of an interpreter’s stored distinctions are reachable, without supplying any evidence about what is being judged | A20’s proposed claim, after the owner tied addressing to anchoring at U20, and A19’s “addressing conditions”. Its psychological form is the selective-accessibility account of anchoring, and the readings of 2026-10-15 weaken it: Strack and Mussweiler (1997, read) infer accessibility from moderations and latencies without measuring it, and their model lets the same retrieved knowledge push a judgement either way; Harris et al. (2019, read) find the most direct measure of the accessibility step does not replicate and cannot detect priming at all. The retrieval step is inferred, not shown. The mechanism the record holds, attention as sparse distributed memory (LIT-269), is a model, not evidence about judges. The extension to communication in general is the record’s and is not shown. | Proposed |
| CLAIM-299 | Decision sufficiency, historical accountability and correctness are three properties of a record of inquiry, and each can hold while the other two fail | A8’s “small mathematical structure”, with A5’s “Epistemic traceability and epistemic sufficiency are different properties”. Shown by construction: a sufficient posterior without history (CASE-082), a perfectly accountable record that is wrong (CASE-084), a current marginal that is right and cannot be revised (CASE-093). CLAIM-189 and CLAIM-190 hold neighbouring points about measuring an argument. This names the three predicates so the others can say which they mean. | Active |
| CLAIM-300 | A state sufficient for a family of decisions under a model makes the rest of an inquiry’s history worthless for those decisions, and it can stop being sufficient when a source is discredited, the model is revised or the decisions change | A10’s answer to the owner’s U10, with A8’s fourth case and A10’s normal constructions (CASE-082, CASE-087). Under a fixed, correctly specified model a sufficient posterior makes the history redundant for those decisions. The same sample mean that sufficed cannot say which reading remains when one instrument is discredited, or test a mixture. Sufficiency was always relative to the model and the family. CLAIM-152 says the same of individuation by target; this says it of a retained state over time. | Active |
| CLAIM-301 v2 | Iterative retrieval can turn a provisional interpretation into a premise: a framing selects what is encountered, what is encountered reinforces the framing, and the question being investigated drifts as well as the queries | A21’s proposed claim, from the owner’s U21 link between retrieval-mediated anchoring, agent harnesses and older information retrieval. Classical IR named query drift (LIT-1079). An agent that rewrites its own task adds TERM-056, which A21 judged “arguably more consequential”. The exchange did this itself between A2 and A13. | Proposed |
| CLAIM-302 | Equivalence under feasible tests can be much coarser than statistical equivalence: there are ensembles almost disjoint from uniform that no polynomial-size test tells apart from it, and efficiently samplable ensembles of this kind exist if pseudorandom generators do | A15’s witness for “Complexity changes what we mean by an observable”, which the owner asked to have developed at U15, corrected by the reading of Goldreich (NOTE of 2026-10-15). CLAIM-264 says agreement on a restricted probe family is coarser than identity; feasibility gives a restriction that is forced, not chosen. The separation itself is unconditional: a counting argument gives ensembles supported on at most 2^(n/2) strings that no circuit of size 2^(n/8) tells from uniform. Only an efficiently samplable witness needs an assumption, and a secure pseudorandom generator supplies one. All of it is asymptotic, about ensembles indexed by n. | Active |
| CLAIM-303 | Filing an argument moves work across time: it is paid for now, in filing, indexing, tracking dependencies and checking it is still current, against reconstruction later, so it is worth its cost only when expected reuse covers it, and recurrence is evidence of reuse, not the criterion | A11, at the owner’s request for “content to the effect of computation-storage tradeoffs”. A11’s four expenditures (materialization, indexing, dependency tracking, refresh) and its break-even condition. The arithmetic is trivial. The thesis is about the record: that its second-occurrence rule (ADR-032) and the nucleation threshold of CLAIM-185 are approximations to this trade, and can fail in both directions. | Proposed |
| CLAIM-304 | A rendering can keep a distinction recoverable in principle and make it infeasible to recover: if pseudorandom generators exist, a uniformly random bit can be encoded so that an unbounded receiver recovers it except with probability at most 2⁻⁽ⁿ⁺¹⁾, while no efficient receiver does non-negligibly better than chance | A14’s first failure mode, computational inaccessibility, and A18’s fourth candidate: “Recoverable in principle ≠ recoverable within budget.” CLAIM-199 shows a garbling can help a bounded receiver. This is the other direction: a nearly lossless rendering can defeat every efficient one. The construction is the record’s, from CLAIM-302’s witness; A18 asked for one and warned against “a vague appeal to an inverse being hard”. | Active |
| CLAIM-305 | Resolving a singularity by blow-up reparametrizes the states and adds no observation, so it cannot make indistinguishable states distinguishable: every point over a singular point gives the same distribution, and the Fisher information can stay degenerate there; what the resolution buys is a normal form for the divergence, and so the learning coefficient | The owner’s LEGO monograph says, in Part I (chapters 4, 6, 7, 9, the Overview and “Definitions and Theorems”), that blow-up “restores identifiability”, “introduces new observables” and makes the Fisher information non-degenerate, and maps it onto splitting a LEGO bin. The pulled-back model is p(x | π(u)), a function of u only through π(u), so every point of the exceptional divisor gives the distribution of the singular point. In p(x | a, b) = N(ab, 1), the chart a = u, b = uv gives mean u²v and a Fisher matrix of zero all along u = 0. Splitting a bin is refining the observable, which can separate states. MOM-CLM-099 records that the monograph uses “blow-up” in three senses; this records why the analogy cannot hold in any of them. | Active |
| CLAIM-306 | Under a deadline, search can establish presence by finding one item but absence only by exhausting the collection, so “If I can’t find it, it isn’t there” acts on an unfinished search as negation as failure acts on a finished one: a default stronger than either the closed-world assumption or negation as failure, safe only when the arrangement makes the full search finish within the deadline | The medic’s “If I can’t find it, it isn’t there” (CASE-085) and the owner’s “if I can’t find it quickly enough, it may as well not be there” (CASE-094) act on a failed search as if it showed absence. One find shows presence, but absence needs a check of everything, which a deadline forbids. First filed as negation as failure on a time bound, with Reiter and Clark unread. Both readings corrected it. The two assumptions are separate. Reiter’s closed-world assumption is that the database is complete about the world. Clark’s negation as failure is licensed only by finite failure: “the exhaustive but unsuccessful search for a proof”. A search cut off by a deadline meets neither, so the rule is stronger than both. It assumes a closed world and that the unsearched part would have failed. It is safe when the full pass finishes in time. In CASE-085 the EMT knew the drug was stocked, which is exactly where Reiter shows the closed-world assumption inconsistent. So there it was a decision to stop, not an inference. | Superseded — by CLAIM-312 |
| CLAIM-307 | Retrieval pressure and evidence are different criteria for carving a category, and they move in opposite directions with copy count: evidence that a distinction exists grows with its copies, the search a bin saves shrinks with them, so the bins a deadline forces are often the ones the data least supports | From MOM-CLM-166, which reads the owner’s LEGO parable (CASE-094) against a formalism that cited it with the sign reversed. CLAIM-154 says when a distinction is real enough to name. Its evidence grows with the number of copies. The parable says when a distinction must be built to act in time: a single brick among similar ones. Expected search falls as copies grow. The two answer different questions, “is it there?” and “can it be reached in time?”, and come apart in both directions. MOM’s table was re-run here and reproduced, and a simulation of the search agrees. | Active |
| CLAIM-309 | How good a mixture is and how discriminable it is from its diluent come apart: under linear mixing a smoothie’s distance from milk only shrinks as milk is added, so a preference that rises and then falls with milk is over the ratio and cannot be a d′, and the signal-detection reading of the owner’s smoothie line reverses one of its directions | The smoothie note in the owner’s LEGO monograph reads the owner’s line (CASE-096) as signal detection. Milk is the noise, “Less Good” is d′ falling as the mixture approaches milk, and “More Good” is d′ rising as a little milk is added. Under linear mixing the mixture’s taste is (1 − f)s + f·m, and its distance from milk is (1 − f)|s − m|. That falls monotonically from the first drop, so discriminability from milk cannot rise and then fall. The note’s own first model is right: goodness is a single-peaked function of the ratio, which is a preference, not a discriminability. MOM-CLM-166 found the same kind of reversal in the formal reading of the LEGO parable. MOM’s record never mentions the smoothie note. | Active |
| CLAIM-310 v2 | Sorting schemes over objects with determinate properties never conflict as descriptions, since the product of any sortings refines them all; they conflict as arrangements, since a fixed number of bins realizes one partition when each item is stored once, and which costs least depends on what is searched for and on what stands out within a bin | What is directionally right in the owner’s LEGO monograph, as Mathematics of Meaning graded it. Its contextuality claim is empty: any sortings of bricks share a joint refinement (MOM-CLM-137), and the events they generate stay Boolean (MOM-ARG-047). Its intuition that builders cannot share a sorting is true of arrangements. One set of bins realizes one partition, the product may need more bins than there are, and the cheapest choice depends on what each builder searches for and on what stands out within a bin (CASE-095). The disagreement is a trade, not a failure of global truth. Sorting on one attribute also turns a search for a combination of features into a search for one feature within each bin, which Treisman and Gelade (LIT-1082, read) show is the difference between a serial scan and one found at a glance. | Active |
| CLAIM-312 v2 | ”If I can’t find it, it isn’t there” asserts operational unavailability, that the item will not be put to use before the deadline, not absence: a search that fails by the deadline establishes unavailability outright, and licenses absence only with a certificate that the unsearched remainder cannot hold the item, from exhaustion, from an invariant of the arrangement, or from a closed-world default | Restates CLAIM-306 at the owner’s request, after CLAIM-311 showed that absence can be established without exhausting a collection. The owner’s own wording in CASE-094, “it may as well not be there”, is hyperbole for operational availability (TERM-055), not a claim about inventory. Read so, the rule reports an outcome and needs no default. CLAIM-306’s analysis survives as the account of the literal reading: what a failed search must be joined with before it licenses absence. The gap between the two readings is CLAIM-306’s Bayes term, and it matters when the statement is passed to someone who will act on presence. | Active |
| CLAIM-315 | In comparative anchoring tasks, considering an anchor shifts the later numerical estimate without adding evidence about the target, and the shift is carried by anchor-consistent knowledge made more accessible; the shift is established, the accessibility step is inferred and has not been measured | The empirical half of CLAIM-298, split off under ADR-043’s pilot, which found that claim compound: an empirical claim about judgement tasks and an interpretive extension to communication in general. This half is scoped to the comparative-question paradigm. Its first part is established (THEORY-337); its second is the selective-accessibility account (THEORY-335), whose direct test failed to replicate with a measure that also missed direct priming. CLAIM-298 now rests on it. | Proposed |
| CLAIM-316 v2 | A person’s drive profile is time-indexed: who drives changes with state, such as hungry or sated and stressed or calm, with task and with regime | Split from CLAIM-166 under ADR-043: the first of the owner’s two parts of 2026-10-11, “‘who drives’ isn’t a constant”, stated on its own. It is argued from the drive-profile term and the will line’s account of which regime is effective, and no observation the record holds estimates a person’s drive profile over successive windows, so it is interpretive. The microbiome part, which the reviews support, stays in CLAIM-166. | Active |
| CLAIM-317 v2 | Self-presentations that differ by audience do no harm while the audiences are kept apart; people keep them apart and script the occasions where they must meet, and broadcast and networked media bring them together unchosen, which is when the presentations collide | Split from CLAIM-196 under ADR-043: the empirical half of that claim, the sociology of audiences on which its sheaf reading rests. Its evidence is boyd (2008, read in part in NOTE-710), after Meyrowitz (1985), and one documented collapse, CASE-064. boyd’s claims about collapse are documented with interviews and examples, not measured, and the Carmichael case reaches the record secondhand, so it stays Proposed. It says nothing about overlaps, covers or gluing; that is CLAIM-196’s. | Proposed |
| CLAIM-318 | Within a shared observational scenario, exact structure-preserving symmetries are the invertible members of a nested family of stochastic transports, and among Markov kernels between finite sets the invertible ones are the permutation matrices, so the invertible core is the relabellings, a groupoid in which objects joined by an arrow have isomorphic automorphism groups | Split from CLAIM-103 under ADR-043: the nesting and its invertible core, stated on their own so that their warrant can be. A110 §25 nests exact symmetries inside structure-compatible transports inside stochastic communicative transports, within a shared scenario, and the exact symmetries are the invertible ones. For Markov kernels between finite sets, a stochastic matrix with a stochastic inverse is a permutation matrix, because a nonnegative matrix with a nonnegative inverse is monomial, so the invertible core is the relabellings. In that groupoid an invertible u : A → B gives Aut(A) ≅ Aut(B), which corrects A198 §8. It does not say what symmetries are for: that they supply the yardstick for non-symmetric transports is CLAIM-103’s, and interpretive. | Active |
| CLAIM-319 | Over a scenario of n contexts in an odd cycle, changing the support of one context takes the contextual fraction from 1 to 0 while the other n − 1 contexts and every marginal are kept exactly, at a weighted observational distortion of 1/n, so within a scenario the fraction’s Lipschitz constant against that distortion is at least n; and any change of global extension needs a contextual model on one side | Split from CLAIM-201 under ADR-043: the derivation that claim called “decisive and checkable”, stated on its own. For odd n, an n-cycle of ±1 observables in which every context anticorrelates is strongly contextual; making one context correlate gives a model with a global distribution. The two agree on n − 1 contexts and on every marginal, differ by total variation 1 in the last, and so lie at weighted D_obs = 1/n with contextual fractions 1 and 0. For n = 3 it is CASE-037 with one observable relabelled. It answers how small the local change can be; it says nothing about whether any data are contextual. | Active |
| CLAIM-320 | Within one fixed measurement scenario, two no-signalling empirical models can agree on all but one of their contexts and on every single-observable marginal while their contextual fractions are 1 and 0, so keeping most local judgement distributions does not fix their global compatibility | Split from CLAIM-105 under ADR-043: the possibility that claim’s headline needs, shown by the pair it lost and recovered in CASE-037. On the cover {AB, BC, AC} with binary outcomes, the parity triangle at 1/2 per allowed outcome is no-signalling and strongly contextual, with contextual fraction 1. Change only S_AC to {(0,0), (1,1)}: two contexts and every marginal are unchanged, and the model now extends to a global distribution, with fraction 0. It is an existence result by construction, and the weights are stipulated. It does not say reconstruction chains do this, which is CLAIM-105’s thesis and interpretive, and the context that changes moves by a total-variation distance of 1. | Active |
| CLAIM-321 v4 | In text-to-image diffusion models each condition of a prompt can be met while their conjunction or relational binding fails: benchmarks find single objects rendered almost always and spatial relations and attribute binding failing most, and composing by adding scores does worst on relations | Split from CLAIM-123 under ADR-043: the empirical part of that claim, that each condition can be met while their conjunction or relational binding fails, documented by GenEval, T2I-CompBench and T2I-CompBench++, by Attend-and-Excite’s “catastrophic neglect”, and by Composable Diffusion losing to an energy-based baseline on relations. It corroborates CLAIM-123’s derivation without carrying it, and does not say what causes the failures. | 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-323 v2 | Where source and rendering are experiments about one common situation, a rendering that depends on the situation other than through the source is not a garbling of it and can be incomparable with it in Blackwell’s order: with Z uniform on {1, 2, 3}, a source that tells whether Z = 1 and a rendering that tells whether Z = 3 each have the lower 0–1 risk on one of the problems of saying whether Z = 1 and whether Z = 3, so neither dominates | Split from CLAIM-258 under ADR-043: the worked case that objection uses, stated on its own so that its warrant can be. Over a common situation Z uniform on three values, U reports whether Z = 1 and V whether Z = 3. V is not a garbling of U, since given U = 0 it still varies with Z, and the risks on “say whether Z = 3” (0 from V, 1/3 from U) and “say whether Z = 1” (the reverse) show neither experiment dominates. It is an existence result by construction. It does not say this is the normal translation case, which is CLAIM-258’s reading and is interpretive. | Active |
| CLAIM-324 v2 | In the What Survives Translation? exchange, the manuscript drafted straight from the crystallized argument changed the thesis with no turn arguing the move and dropped 24 of that argument’s items, none on request, and the second crystallized argument announced its change of question but left items out without saying which had dissolved and which were lost | Split from CLAIM-178 under ADR-043: the documented case on which that claim’s normative conclusion rests, scoped to the one exchange it comes from. The evidence is the workbench reconstructions of that exchange (2026/10/09/025539, 2026/10/10/040457). One exchange, reconstructed turn by turn by the record’s own readers; it says nothing about drafts in general. | Active |
| CLAIM-325 | The behavioural data the record has read show no contextuality proper: none of the five kinds of data Dzhafarov, Zhang and Kujala re-analyse is contextual, Wang et al. test none of their 90 language systems for it, and no documented test of pragmatic or meaning judgements finds it at adequate power | Split from CLAIM-219 under ADR-043: the empirical premise of that objection’s dilemma, which CLAIM-201 conceded. Dzhafarov, Zhang and Kujala (LIT-264, read in NOTE-235) find none of five kinds of behavioural data contextual, two of them previously published as contextual; Wang, Sadrzadeh, Abramsky and Cervantes (LIT-851) report signalling in 69 of 90 language systems and test none for contextuality; CASE-053 collects the documented tests on elicited judgements and finds no contextual pragmatic data. It is scoped: CASE-053 records a reliable positive result on instructed matching, so “none in behavioural data” is too broad, and the absence is LIT-264’s working hypothesis, not a proof that such data cannot exist. | Active |
| CLAIM-326 v5 | With losses in [0, 1] and a stated prior, the positive part of the Bayes-risk increase on the same decision problem, D⁺_Q(U → V; π), is directed, is zero from a garbling back to its source, vanishes for every finite problem and prior exactly when the rendering is at least as informative as the source in Blackwell’s order, over finitely many states and a source whose outcome space is standard Borel, and has A86’s D_Q, with the identity on tasks, as its symmetrization | Split from CLAIM-259 under ADR-043: the properties of the restated decision term, which CLAIM-259 called “elementary and checkable”, stated on their own so that their warrant can be. Define D⁺_Q(U → V; π) = sup over q in Q of [r_q,π(V) − r_q,π(U)]⁺. A garbling never gains; with Q all finite problems and π all priors, the term vanishes exactly when V is at least as informative as U, by the Bayes form of Blackwell’s theorem for finitely many states (THEORY-156); it is directed; and A86’s D_Q is its symmetrization. It does not say this is the right decision term, which is CLAIM-259’s proposal, and it does not state the prior-free relation to Le Cam’s deficiency. | Active |
| CLAIM-327 | A slowly changing collective variable, such as a reputation, a rivalry or a standing, is part of a collective’s dynamics and not only an observer’s average when its members read it, condition what they do on it, and by doing so regenerate it | A9 §3 and §10 of the exchange of 2026-10-16, after Flack 2012 (LIT-1122, unread). Three stages: an observer finds a stable statistic of fast interactions; members recognize it and use it; their use preserves or regenerates it. Only the third makes the variable an endogenous level. It is the general form of CLAIM-277, where trust is the temporal regularity of endorsement that then steers endorsement. It does not say that such a variable individuates one collective: five slow variables sharing a referent may be five processes. | Proposed |
| 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-330 | In the coupled meaning–influence model linearized at its symmetric state, with each field stable alone and nonnegative couplings, the coupling destabilizes symmetry exactly when βγ > (1 − α)(1 − δ): only the loop can do it, and the direction that grows mixes meaning and authority | A14 §2 of the exchange of 2026-10-16, checked. For J = [[α, β], [γ, δ]] with nonnegative entries and α, δ < 1, the leading eigenvalue exceeds 1 iff βγ > (1 − α)(1 − δ). If either coupling is zero the eigenvalues are α and δ. The leading eigenvector is (β, λ+ − α), positive in both components. A partial answer to QUESTION-100’s “when the symmetric state is unstable”, for the linearization only; it says nothing about the nonlinear attractors or about fidelity. | Active |
| 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-332 v2 | A loosely organized population can change what an outside institution does through its members’ separately motivated acts of making, selecting and passing things on, without forming a collective intention or judgment, when the organized pattern of those acts, and not only the acts of identifiable individuals, earns its place in explaining the change | A7’s “distributed cultural uptake”, of the exchange of 2026-10-16, on the owner’s Juggernaut case. On A7’s ladder (aggregate behaviour, amplification, collective causal efficacy, collective intention, corporate agency) it asserts the third rung and denies that the third needs the fourth. Promoted from a section of QUESTION-119 at the owner’s word, with A7’s defeater priced by CLAIM-154, which A7 said it needed. It does not say the fandom was the efficacious unit. | Proposed |
| CLAIM-333 | Measuring every relevant variable is necessary but not sufficient for a Granger-causal analysis to say anything about interventions: the intervention must also be an isolated exogenous change and no influence may act within one sampling step, and then Granger noncausality implies no intervention effect and the effect is identified from the observational predictor, but a Granger-causal relation is still only potentially causal | The record’s answer to NOTE-010’s C5, “if all relevant variables are measured, Granger- and Pearl-type analyses coincide”, which the ΦID review asserts without conditions. Eichler and Didelez (THEORY-704) give sufficient conditions, and complete measurement is one of them. A two-variable process with nothing hidden shows it is not enough: a acts on b within one step, a is Granger-noncausal for b, and setting a(t) changes the mean of b(t + 1) by ργ. Checked by hand and by simulation. | Active |
| CLAIM-335 v3 | Transfer entropy measures directed predictive improvement, not information flow: as a conditional mutual information it is the source’s unique information about the target’s next value plus its synergy with the target’s past, so it can credit a source with a bit the source carries only jointly and read zero from sources that jointly fix the target, and conditioning on more series does not remove the synergy | The record’s position on whether transfer entropy measures information flow. James, Barnett and Crutchfield show it does not, if flow is information attributable to the source alone (THEORY-707). Williams and Beer’s decomposition shows why, for any partial information decomposition satisfying the consistency equations (THEORY-712). Both papers’ examples were recomputed exactly. This is a different failure from CLAIM-333’s, prediction against intervention. It leaves transfer entropy standing as a predictive quantity. | Active |
| CLAIM-336 v6 | The pragmatic-transport and will-organization lines describe one model, an organization of operators that act on a shared interpretive state under a context while allocating one another’s influence: a frame is the context under which operators act, a judgement is the response they yield, an action-generating regime is an operator or coalition, and a will-organization is the dynamics that allocates influence among them | The owner’s, U2 of the exchange of 2026-10-16: the pragmatic-transport model and the will-organization model are “both manifestations of the same underlying model”. The mapping is the assistant’s, A6, filed at the owner’s request (“address the still open stuff”). At U8 the owner endorsed it as filed (“Yes, as filed”). It reads both lines into CLAIM-297’s operator model. The sharp edge: it says the lines share one model, not that either line’s results transfer to the other unchanged. Each mapping is a hypothesis until a result on one line is shown to hold, through it, on the other. | Proposed |
| CLAIM-338 v2 | The selectivity active inference gives action, sampling what one expects to experience, is played in the coupled meaning–authority model by the authority space: influence decides which operators retrieve and so what the next judgement observes, which makes Friston’s self-confirming sampling the model’s authority-to-interpretation arrow and his agent a coupled loop run without independent scoring | The owner’s, U10 of the exchange of 2026-10-16, on Friston et al.’s “sampling selectively what one expects to experience”: “I think this selectivity maps to the authority space in my coupled model.” Worked out by A10. Selective sampling is the β arrow of CASE-099, authority shaping interpretation through what it retrieves. Policies scored on current beliefs are the γ arrow. So Friston’s agent runs both arrows, and his “this weakness becomes the strength” accepts capture, with the anchor moved outside the loop to selection on whole agents. The sharp edge: the mapping relocates sampling from the world to retrieval, which is CLAIM-337’s move reversed, and it holds only if the agent’s own store can surprise it as the world can. | Proposed |
| CLAIM-340 | Scoring operators on predictions committed before the evidence is not by itself Regime B: in the linearized operator model the coupling of interpretation to endorsement has the sign of κ′ − κ̄, so commitment removes capture only when the interpretation bends the reading of the evidence no more than it bends the predictions, and it keeps the learning that revising after the evidence would lose | The formal question QUESTION-121 asked, answered in CASE-099’s linearization (CASE-106): is committing predictions before the evidence equivalent to Regime B? No. The coupling γ is 4ηs(κ′ − κ̄), where κ̄ is how far the shared meaning bends the committed predictions and κ′ how far it bends the reading of the evidence. It is corrective, null or capturing as κ′ is below, at or above κ̄. Strong correction can fail by oscillation when |βγ| ≥ 1 − αδ. Revising predictions after the evidence sets γ = 0 but also stops authority from tracking who predicts well. Linear, at the symmetric state, for squared-error scoring. | Active |
| CLAIM-341 v3 | The loop that keeps a lucid agent’s model in touch with what it models runs between judgement and observation: each judgement reshapes the observer whose later observations it then judges, and action on the world is not part of that loop, so active inference’s action–perception cycle misplaces where the agent is active | The owner’s, U1 of the exchange of 2026-10-16: Friston’s free-energy approach is “generally correct, but the cybernetic model is wrong”; action can be cut out of the loop, which decomposes into “Judgement (qua measurement that generates interpretations) <—> Observation”. At U2 the owner held that the pragmatic-transport and will-organization models are “both manifestations of the same underlying model”. The claim is stated in that model’s terms, as CLAIM-297’s circuit, and in the diachronic form A4 proposed and the owner asked to be filed at U5 (“make the revisions”): a judgement need not produce the observation it judges, but it reshapes the observer that produces the next one. The sharp edge: the synchronic form, in which each judgement produces its own outcome, is not claimed. That is the open route of TERM-039 and CLAIM-127, and the record demoted it once before (CLAIM-109). | Active |
| CLAIM-342 v3 | What keeps a judgement–observation loop from confirming itself is evidence whose arrival or scoring does not pass through the interpretation it tests; action is one source of such evidence, not a necessary one, and a loop that selects its own evidence can lock in with action available | The assistant’s synthesis, A3 and A4 of the exchange of 2026-10-16, filed at the owner’s request at U5. Three results the record already holds. CLAIM-330: capture in the operator model needs both arrows of CLAIM-297’s circuit, and scoring operators independently of the dominant interpretation removes it. CLAIM-141: a loop always has a distributional fixed point, so what binds it is a constraint that prescribes marginals. THEORY-285 (NOTE-766): an active-inference agent locks in with action available, because its own sampling policy withholds the evidence that would correct it. The claim does not say action is unimportant, only that it is not what does the anchoring. | Active |
| CLAIM-343 | For three or more parts, no ΦID can use a redundancy function that both satisfies the identity axiom and yields nonnegative atoms, because on the Williams–Beer lattice the two are inconsistent from three sources up; a ΦID verdict on three or more parts therefore rests on which axiom the analyst drops, and should name it | The record’s answer to the gap left by the PID filing: no held measure gave ΦID an identity-respecting redundancy for more than two sources. Rauh et al. show none can, on the lattice ΦID uses, without a negative atom (THEORY-713). The record’s measures split the difference: I_min keeps atoms nonnegative by calling independent copied bits redundant, and Ince’s I_ccs keeps an independent-sources identity and reports a −1-bit atom (THEORY-714). Two-part ΦID is untouched. | Active |
| CLAIM-344 v3 | Resolve is a maintained organization of precedence, commitment and revision that keeps a temporally extended policy effective across changes in locally dominant evaluations while keeping the capacity to revise it; mere slowness or persistence is not resolve | The owner’s frame, U37 of the exchange of 2026-10-17: “I think emergence of “resolve” could be an interesting frame within which to examine our will-organization framework.” A37 defined it, and A39 to A47 revised it each turn: retention and revision as separate grades, fragility against rigidity (A41), access against authority (A42), and governance that makes its own repeated exercise unnecessary (A45, A47). The record already holds a theory of resolve, Ainslie’s recursive staking of future choices (THEORY-067); this is its organizational and revisable form, placed in CLAIM-159’s will-organization cell. The sharp edge: the standard for when revision is warranted is not supplied, and is QUESTION-087’s open problem. | Active |
| CLAIM-345 | Equal controllability rank does not fix the cost of control: for x_{t+1} = x_t + b·u the least quadratic effort for a displacement Δ is Δ²/b², unbounded as b → 0 while the system stays controllable, and in general the least effort is Δxᵀ W_T^† Δx, set by the Gramian and not by its rank | A9 §2 and A12’s Proposition 1 of the exchange of 2026-10-17, the step the owner’s U9 “controllability of a system isn’t binary” needs. For a scalar step x_{t+1} = x_t + b·u the cheapest input costs Δ²/b², so two systems that are both controllable can differ in cost by any factor. The general statement is the minimum-energy formula with the controllability Gramian. A9: “This is already a standard result from linear control theory.” Proved here because the record holds no source for it. The sharp edge: the cost is relative to a fixed input norm, and rescaling the input makes every b cost the same, so comparing costs across systems needs inputs in common units. | Active |
| CLAIM-346 | Feasibility, aggregation and epistemic coordination are independent obstructions to an organization’s realizing its demands: each can occur with the other two absent | Owner-seeded, U36 of the exchange of 2026-10-17: Arrow’s theorem, then cryptography and “the two generals problem”. A36 placed them: “Arrow’s theorem belongs in the theory of endorsement, not directly in the geometry of feasible updates”, and the two generals add “epistemic frustration”. Three elementary constructions, each with one obstruction and not the others, are given in the body. The sharp edge: the independence is relative to fixing the demands as the constituents’ own acceptance conditions; that no remedy for one removes another is A36’s further reading, argued in the body and not part of the claim. | Active |
| CLAIM-347 v3 | Frustration among an organization’s demands is an ordinal fact before it is a quantity: the jointly satisfiable sets of demands form a downward-closed complex whose minimal non-faces are the minimal conflicts, relief is strict enlargement of that complex for the same declared demands, reorganizations that relieve different conflicts are incomparable, and dropping or suppressing a demand is not relief | The owner’s correction, U37 of the exchange of 2026-10-17: “We can do quite a lot with access to an ordering, even if it doesn’t give us a true measure.” A37 granted it (“I agree with your correction”) and built the acceptance sets, their intersection and the compatibility complex. Corrected here: acceptance conditions sit on attainable outcomes, a demand’s form depends on whether it demands improvement or maintenance, and A37’s weak-preference sets fail only as representations of improvement demands. The definitional facts are shown in the body, including that every pair of demands can be jointly improvable while the triple is not. The sharp edge: relief compares complexes for the same declared demands, so a reorganization that deletes a demand is not compared at all, and two reorganizations can be incomparable. It is the move CLAIM-128 and TERM-043 made for translation, in a new line. | Active |
| CLAIM-348 v4 | No coarse-graining is normatively adequate in general because it preserves stability, prediction or aggregate performance: a description adequate for an institution’s performance can merge states its members’ claims must distinguish, so adequacy is fixed by the evaluative target, and the target cannot be justified solely by the description that preserves it | A21 §18’s Candidate 2 of the exchange of 2026-10-17, with A21 §5’s clause against circularity and A22’s Construction C (CASE-110). A21: “no coarse-graining may be treated as generally normatively adequate solely because it preserves organizational stability, predictive accuracy, or aggregate performance.” The case is demonstrated: total output preserves an institution’s every judgment and merges a member’s claim. The general conclusion is interpretive. It is CLAIM-152’s target-relativity carried from individuation to evaluation, and CLAIM-060 in the language of coarse-graining. Filed in distributed-agency because its case is a whole against its members. The sharp edge: it does not say which target is right, and it denies that the description can settle it. | Active |
| CLAIM-349 v6 | An organization’s access to a signal, the signal’s authority over action, and action on it are separable, and adaptive regulation keeps the first while making the second conditional on evidence; overcontrol, which buys freedom from harmful acts by cutting access or making inhibition unconditional, is a maladaptive regime and not more control, so flexibility is a context-sensitive property of maintained influence relations, not of how much is inhibited | The owner’s idea, U42 of the exchange of 2026-10-17, on A41’s line that an organization “could become extremely resistant to internal changes while losing its capacity to learn, correct errors, or act at all”: “useful connections to the ACT and DBT frameworks here, which provide us with accounts/ontologies of maladaption and productive flexibility”. In A42’s form: recognizing a signal, granting it authority and acting on it are three steps; ACT’s defusion is a mechanism for CLAIM-156’s decoupling; DBT adds bounded stabilization before correction; RO-DBT names overcontrol as maladaptive. The sharp edge: these are analogies from human treatment, the organizational classes are A42’s proposals, not diagnoses, and RO-DBT’s own evidence is “promising but not definitive”. | Active |
| CLAIM-351 | A zero aggregate gradient does not show that the demands it aggregates are reconciled: with positive weights it holds both when every demand’s own gradient vanishes and when nonzero gradients cancel, and in the second case no update improves them all to first order; even the first is only joint first-order stationarity, which a demand’s maximum or saddle also has | A33 §5 of the exchange of 2026-10-17: “Zero aggregate gradient does not imply absence of frustrated demands.” With L₁ = (θ − 1)² and L₂ = (θ + 1)² at θ = 0 (CASE-115), the equal-weight gradient is zero and the aggregate is at its global minimum, while each loss is 1 and wants the opposite move. In general a vanishing positive combination of gradients is either every gradient zero or a certificate that no update improves them all, and the scalar cannot tell which. The sharp edge: it is a fact about a weighted sum, not about what a monitor reading it represents. A29’s “the unity of the distress signal need not arise from the unity of the underlying causes” is the interpretive reading, kept apart in the body. | Active |
| CLAIM-352 v4 | Sen’s two aspects of freedom divide along the record’s line between what an agent can viably reach and the organization that selects among it: viable reachability can stand for the opportunity aspect only through a map from trajectories to valued functionings, which control theory does not supply, and will-organization gives a causal account of part of the process aspect, not of its fairness or legitimacy | The owner’s connection, U11 of the exchange of 2026-10-17, quoting A9 and A10 on viable reachability: “This feels reminiscent of ideas from moral philosophy, e.g. Amartya Sen capabilities account.” Worked out by A11. Sen’s opportunity aspect is what reachability can represent, once a map says which reachable trajectories are valued functionings. His process aspect is in part what will-organization models: whether the agent’s own governance selected the outcome. Read first-hand in NOTE-263 (Sen’s lecture) and NOTE-259 (Robeyns). The sharp edge: reachable states are not capabilities, and an efficacious governance is not a fair or legitimate process. | Active |
| CLAIM-353 v2 | A will-organization that gives two operators decisive jurisdiction over a pair of options each, respects unanimous preference and admits any profile of operator rankings cannot always choose, and unlike Arrow’s impossibility this is not escaped by giving endorsement richer, cardinal or comparable, information, so what distributed governance must give up is jurisdiction, unanimity or the domain, not an informational restriction | From U36 of the exchange of 2026-10-17. The owner raised Arrow; A36 answered “Sen’s liberal paradox may be even closer than Arrow” and asked whether a will-organization can “guarantee coherent joint decisions while preserving specified domains of constituent authority and respecting unanimous preferences”. THEORY-027 says no in general, and its title holds the difference A36 cited without stating: “unlike Arrow’s theorem, the conflict is not removed by interpersonal comparability”. So A36’s remedy, letting endorsement use richer information, answers Arrow but not jurisdiction. The sharp edge: it holds only if operator jurisdiction is pairwise decisiveness, which THEORY-027 leaves open even for persons. | Active |
| CLAIM-354 v2 | Freedom of will and autonomy come in degrees along several dimensions, among them viable reachability, control cost, robustness to disturbance, governance reconfigurability, revisability and motivational integration, and agents compare by inclusion of what they can viably reach under matched conditions: a partial order with incomparable pairs, not a scalar, and a gradient only of a declared measure | The owner’s, U9 of the exchange of 2026-10-17: “controllability of a system isn’t binary, and neither is sensitivity to perturbation”, so can the account speak of “gradations (perhaps even gradients/spectra?) of freedom of will/autonomy”. Worked out by A9 §3 and §7, A10 §7 and A15’s central thesis. The dimensions vary separately, and comparison is by inclusion of viably reachable sets under matched conditions, a partial order, the shape CLAIM-128 has in the transport line. The sharp edge: it does not measure metaphysical free will or responsibility, and reachable-set size is not monotone with autonomy, since a precommitment can shrink the set while making an endorsed project realizable. | Proposed |
| CLAIM-355 v7 | In a distributed agent the binding of appraisal, readiness and governance into one response can be real while the single owner a self-model or collective self-description attributes it to is a representational construction, not a further entity; the illusion, where there is one, is in the attribution and belongs to whichever system adopts the representation, and this deflates the self without settling whether experience is real | The owner’s, U26 and U27 of the exchange of 2026-10-17: at U26 whether, “adopting an illusionist/fictionalist position”, the record can make claims about subjecthood; at U27, “illusory binding-type phenomena in distributed agents”, starting from the record’s emotion material. A26 answered with a selective fictionalism, “the imagined substantial owner, not the organized agent”; A27 located it: “The illusion might concern the owner, not the binding”, and an illusion requires “which system constructs or adopts the misleading representation”. The two are filed as one claim. It rests on no claim: the organizational-affect claim it would rest on, CLAIM-039, is Deferred, and whether that line reopens is the owner’s decision, not made here. The sharp edge: it says nothing about whether the integrated state is felt. | Proposed |
| CLAIM-356 v4 | An objective that originates outside a learning system can become a goal of the training organization, through its causal role in selecting, stabilizing and reproducing the learned structure it rewards; exogenous origin does not disqualify a goal, but it does not show that the network governs or endorses the objective, and what is selected is performance on the updating distribution, not generalization | The owner’s, U35 of the exchange of 2026-10-17, against A34’s guardrail that “Loss minimization does not automatically mean the model has its own goals”: the externally assigned objective “can motivate identification and persistence of learned features”, so the training process can be described as “having endogenous goals”. A35 granted it: “Yes, in a qualified but important sense”, and weakened the generalization half, since selection is for performance on “the encounters and feedback distribution actually used for updating”. It objects in part to CLAIM-288: it grants that a modeller-fixed objective does not show self-constitution, and denies that exogenous origin bars a goal from becoming the training organization’s own regulation. The sharp edge: the goal belongs to the training organization (CLAIM-367), not to the network, and nothing here says the network endorses or governs it. | Active |
| CLAIM-357 v5 | The frustration residual and governance regret separate structural infeasibility, realized violation and minimax suboptimality, and identify none of them as thwarting: a positive residual says no admissible update meets every declared requirement, a positive regret only that the actual update’s worst residual exceeds the best achievable, which can hold while every requirement is met, and actual violation needs regret above the negative residual; aggregate performance does not tell infeasibility from realized violation, and the multipliers that certify infeasibility need not be the weights governance assigns | A34 §4 and A35 §3.3 of the exchange of 2026-10-17, restated at A39 §2C and A40 §3.4, from A33’s “irreducible conflict” and “manufactured frustration”. With m(d) the worst residual, Φ its minimum and Γ the actual update’s excess over Φ (CLAIM-365): Φ > 0 is structural infeasibility; when Φ ≤ 0 the actual update violates a requirement exactly when Γ > −Φ. Positive governance regret establishes excess worst-case shortfall relative to the optimum, and can hold while every requirement is met. Neither quantity identifies an obstructing mechanism, a governance failure or active thwarting; governance-induced frustration needs an argument or intervention showing the allocation of influence responsible. A35: “Importantly, these dual multipliers are not endorsement weights.” | Active |
| CLAIM-358 v3 | Learned local accommodation can reduce the amortized cost of recurrent arbitration: where a recurring conflict among an agent’s processes admits a stable accommodation, settling it among the processes can cost less over repeated encounters than escalating each instance to a higher-level process that mediates or overrides, though local negotiation and the relations it needs are not free | The owner’s, U45 of the exchange of 2026-10-17: “processes which can navigate disagreement amongst themselves require fewer resources from the system than processes which need to activate additional subsystems to resolve disagreement.” A45 put it in conditional form: where a recurring conflict admits a stable local accommodation, learning it amortizes the cost of higher-order mediation. It refines CLAIM-261’s “pays for its unity in effort”: the divided agent pays for escalation. The title stated the owner’s thesis unconditionally until the owner’s review of the filing put it in A45’s conditional form: local negotiation, and keeping up the relations among specialists it needs, have costs of their own. The sharp edge: it does not say local settlement is always cheaper, that an integrated agent works less hard, or anything about authenticity. | Proposed |
| CLAIM-359 v2 | A self-governing organization’s robustness to compromised constituents is a property of the processes that allocate, audit and revise authority, not only of its constraints on harmful acts; safeguards against capture can also restrict the disagreement and revision that self-governance needs, and where they do security and self-governance trade off, while others, such as audits independent of the audited that protect dissent, serve both, so the two are distinct achievements and not opposed ones | The owner’s question, U41 of the exchange of 2026-10-17: “is literature on organizational robustness to insider threats potentially useful to us?” A41’s answer, condensed: an insider can aim at the organization’s future allocation of authority rather than at the present decision, so robustness must protect the processes that allocate, audit and revise authority, and the same protection can silence the opposition that corrects the organization, though some safeguards protect both. Insider threats and internal opposition can look alike. The sharp edge: Byzantine fault tolerance protects a fixed specification; this claim is about protecting the capacity to change it, which no protocol of that kind supplies. | 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-362 | Non-domination of an agent’s subcomponents is a candidate constituent of authenticity as an organizational achievement, not a sufficient criterion of ownership: higher-level processes need not impose the outcome because the lower-level ones already support it or settle their disagreement among themselves, and a process that rarely decides keeps access to the roles in which it is consequential | The owner’s, U45 of the exchange of 2026-10-17: “‘authenticity’ should be treated as an organizational achievement characterized by non-domination of subcomponents”. A45 granted it as “an important correction to our developing theory”, against A44’s “An authentically maintained goal may demand more effort, not less”. A46 refined non-domination to “continued access to consequential roles”. A candidate constituent of authenticity and a candidate repair of CLAIM-016’s “integrated”, not an operational test of ownership: the title said “Authenticity is …” until the owner’s review of the filing narrowed it. The authenticity line was set aside on 2026-10-05; filing this does not reopen it, and whether it reopens is the owner’s call. The manipulation objection stands (CLAIM-364). | Proposed |
| 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-365 v2 | On a norm-ball update set the local frustration residual Φ_r = min over ‖d‖ ≤ r of max_i(ε_i + g_iᵀd) equals the maximum over the simplex of Σλ_iε_i − r‖Σλ_ig_i‖_*, so infeasibility of the declared improvements has a certificate, and any admissible actual update exceeds Φ_r by a nonnegative governance regret | A34 §4 and A35 §3 of the exchange of 2026-10-17, checked. The residual is the smallest worst-case shortfall of the declared local improvements ε_i over updates of size at most r. Minimax for the bilinear problem on two compact convex sets gives the dual over the simplex, so Φ_r > 0 exactly when some λ certifies that no update meets all demands (A34’s form). Governance regret Γ is the gap between an actual admissible update’s shortfall and Φ_r, and is never negative. For L₁ = (θ − 1)², L₂ = (θ + 1)² at θ = 0, Φ_r = ε for every r. The sharp edge: per A37 it is a cardinal refinement of the ordinal fact (CLAIM-347), and its magnitude depends on units (A36 §2D). | Active |
| CLAIM-366 v3 | Whether several objectives share a strict first-order descent direction, 0 ∉ conv{g_i}, is invariant under smooth invertible reparameterization, while the sign of a Euclidean gradient inner product is not, and a negative inner product does not exclude common descent; a budgeted version is invariant only with the metric pulled back | A35 §2 of the exchange of 2026-10-17, at the owner’s U35 “double click” on whether functionally equivalent parameterizations give equivalent frustration diagnoses. Gradients transform as g′ = Jᵀg and directions as v′ = J⁻¹v, so directional derivatives, and with them the common-descent test 0 ∉ conv{g_i}, do not depend on coordinates. A Euclidean inner product does: g₁ = (1, 1), g₂ = (1, −½) have product ½, and under θ = diag(½, 2)ψ their transforms have −7/4, while d = (−1, 0) lowers both throughout. The sharp edge: it covers coordinate changes of one parameter space at first order, not function-preserving symmetries or training trajectories (QUESTION-127). The practice corollary, not to diagnose task conflict by gradient cosine, is the anthology’s. | Active |
| 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-368 v4 | The primitive for an organization’s regulatory difficulty is frustration, not distress: a relation between maintained, consequential demands and the incompatibilities, constraints or countervailing processes that limit their realization, independent of strain, the burden of sustaining activity, and distinct from distress, a possible integrated response to either | The owner’s, U33 of the exchange of 2026-10-17: “maybe we should focus less on distress and more on frustration”. A33 granted it: “Frustration is the most promising theoretical primitive of the three.” Frustration is a fact about demands, admissible transformations and governance, so it can be stated without feelings and without a common scale. It supersedes in substance the distress-first formulations of A28–A32, which were never filed. The sharp edge: it says what to start from, not that a frustrated organization is distressed or feels anything. The claim bears on the organizational-affect line, which is Deferred (CLAIM-039); whether that line reopens is the owner’s decision, not made here. | Active |
| CLAIM-369 | In symmetric resource-mediated competition with interaction matrix A = UᵀU and growth rates r = Uᵀb − c, Lotka–Volterra population dynamics are multiplicative gradient flow on the convex feature-selection objective ½‖b − Un‖² + cᵀn over the nonnegative orthant: the invasion fitness of an absent component is the negative partial derivative of that objective, and the uninvadable equilibria are its KKT points | From a synthesis the owner relayed on 2026-10-18 (workbench entry of that date), checked here and given a proof. When competition between components is mediated by shared resources with feature or niche vectors u_i, so that A = UᵀU and r = Uᵀb − c, the Lotka–Volterra dynamics are ṅ_i = −n_i ∂_i L with L(n) = ½‖b − Un‖² + cᵀn: entropic mirror descent on the positive orthant. A rare component’s invasion fitness is −∂_i L, the value of adding that feature, and uninvadable equilibria are the KKT points of the convex program. The sharp edge: the identity needs a shared scalar objective, and it fails for asymmetric interactions or processes with competing objectives, which is where an organization stops being an optimizer. Mehta et al. (2019) and Marsland, Cui and Mehta (2020) give the general duality for consumer–resource models. | Active |
| CLAIM-370 | For a symmetric positive-pair distribution with marginal p, the conditional-expectation operator on L²(p) has the density ratio K⁺ as its kernel, and it is Hilbert–Schmidt exactly when the χ²-divergence of the pair from the product of its marginals is finite, in which case it is compact and self-adjoint with an orthonormal eigenbasis | THEORY-005’s derivation, stated as the record’s own and with its proof. Johnson et al. (LIT-258) write the operator on a finite space without an integrability condition. HaoChen et al. (LIT-249) reach the Hilbert– Schmidt property from a uniform bound, which is stronger. Here the condition is exact: Hilbert–Schmidt if and only if finite χ². It says nothing about what trained features span. | Active |
| CLAIM-371 | Under the componentwise order on distortion profiles, two profiles are incomparable exactly when they trade off, and then positive weightings can rank them either way, while every positive weighting agrees with a dominance | The order-theoretic part of CLAIM-128, on its own so that it can carry its own warrant. It says nothing about translation, what the components measure, or which weighting a task fixes. Only that, under the componentwise order of TERM-043, a trade-off is incomparability, that a trade-off can be resolved either way by positive weights, and that a dominance cannot. | Active |
| CLAIM-372 | Within a fixed measurement scenario, the contextual fraction is a piecewise-linear and Lipschitz-continuous function of the empirical model’s probability table, with a constant that depends only on the scenario | The record’s own derivation, from the linear programme of Abramsky, Barbosa and Mansfield (LIT-265, Eq. 3), which THEORY-165 holds. The non-contextual fraction is the minimum of the dual objective over finitely many vertices, so it is concave and piecewise linear in the probability table, and the contextual fraction is Lipschitz in it. The constant is the largest ℓ₁ norm of a dual vertex, which depends only on the scenario and is not bounded here. Nothing here crosses scenarios or applies to signalling data. | Active |
| CLAIM-373 | If a map approximately intertwines two operators, with defects E_A = ΦA − A′Φ and E_B = ΦB − B′Φ, then Φ[A,B] − [A′,B′]Φ = A′E_B + E_A B − B′E_A − E_B A, so the commutator is carried to within (‖A‖ + ‖A′‖)‖E_B‖ + (‖B‖ + ‖B′‖)‖E_A‖ | The commutator-distortion identity of the manuscript’s §9, on its own and proved. A map that nearly intertwines each of two operations carries their commutator to the commutator of the images, up to an error that is linear in the two intertwining defects. ARG-006 is the exact case. It says nothing about whether the defects can be identified from data (CLAIM-253), or what bounds an observed order effect (CLAIM-231). | Active |
| CLAIM-374 | On a consistently connected system, Contextuality-by-Default and the sheaf criterion agree: a maximally connected coupling exists exactly when a global law has the contexts’ laws as its marginals | The record’s derivation of what NOTE-600 marks as its own inference. In a consistently connected system, every observable has one distribution in all the contexts that contain it. Then each connection’s maximal coupling makes its copies equal with probability 1 (LIT-777, Theorem 3.3), so a maximally connected coupling is a joint law of one variable per observable, which is a global section in Abramsky and Brandenburger’s sense (LIT-016, THEORY-012). Conversely, a global section gives such a coupling. The two criteria come apart only when marginals shift with context. | Active |
| CLAIM-375 | Under one-hop allocation within an epoch, an operator that endorses an ally whose policy is nearer its own than the collective decision is raises how far its preferred policy is realized while its own authority stays fixed, so the two conditions of the endorsement scheme hold together | The demonstrated core of CLAIM-285. Under A3’s one-hop rule I_j = I_j⁰ + Σ_(k≠j) b_k E_kj, with budgets and baselines fixed within an epoch (CLAIM-282), an operator’s authority does not respond to its own endorsements. If the collective decision is the authority-weighted mean of the operators’ policies, then endorsing an ally whose policy is nearer one’s own than the decision is moves the decision strictly toward one’s policy. So the reward for realized policy, and not for held authority, pays for delegating. It does not say operators behave so, or that any rule beyond one hop keeps both conditions. | Active |
| CLAIM-376 | A linear system that is stable at every instant can have a positive Lyapunov exponent: shifting any operator with exponent λ > 0 by −δI lowers its exponent by exactly δ and makes every instantaneous operator stable, so for 0 < δ < λ the shifted system is stable at every instant and unstable | The case THEORY-724’s source asserts and does not show. If A(t) has first Lyapunov exponent λ > 0, the propagator of A(t) − δI is e^(−δt)Φ(t), so its exponent is exactly λ − δ, while every eigenvalue of every A(t) moves left by δ. Applied to the undamped oscillator switching ω between 0.5 and 3 every unit of time: λ = 0.1955, and with δ = 0.1 the system is stable at every instant, with eigenvalues −0.1 ± 3i and −0.1 ± 0.5i, and has exponent 0.0955. | Active |
| CLAIM-377 | For any differentiable model under squared loss with Gaussian noise of precision β, the model’s Fisher on n inputs is the Gauss–Newton matrix βJᵀJ, and its non-zero eigenvalues are exactly β times those of the empirical NTK Gram matrix JJᵀ, with the same multiplicities, its eigenvectors being Jᵀ applied to the Gram matrix’s, normalized | THEORY-084’s Step 1, stated as the record’s own and proved. Through the SVD J = UΣVᵀ, JᵀJ and JJᵀ share the non-zero eigenvalues σ_i² with equal multiplicities, and Jᵀu/σ is the eigenvector of JᵀJ for a unit eigenvector u of JJᵀ. Under y | x ~ N(f(x; θ), β⁻¹), the expected outer product of the score is β∇f∇fᵀ, which summed over inputs is βJᵀJ, the Gauss–Newton matrix. “Fisher” means the model’s Fisher, not the empirical Fisher of observed residuals. It holds at every width, in every regime and on any data. It says nothing about what the spectrum looks like, which is THEORY-084’s. | Active |
| CLAIM-378 | A representational similarity index invariant to every invertible linear map depends on a representation only through its column space, so it takes one value on all column-centred representations of rank n − 1, as it does on all representations of rank n | The generalization of THEORY-236’s theorem. If col(X) = col(Y), write X = BC and Y = BD with B a basis of the common column space and C, D of full row rank, extend C and D to invertible matrices, and the quotient maps X onto Y. Since XA always has the column space of X, the GL(p) orbits are exactly the sets of n × p matrices sharing a column space. Theorem 1 is the case of column space ℝⁿ. Column-centred matrices of rank n − 1 all have column space 1^⊥, so an invariant index cannot tell them apart either. | Active |
| CLAIM-379 | On a finite set of stimuli, regularized linear readouts with ridge b > 0 cannot tell apart two centred representations of the same width exactly when one is an orthogonal transformation of the other, and the unregularized CCA member cannot tell apart representations with the same column space, which differ by an invertible linear map | The proved core of CLAIM-269. What a regularized linear readout decodes is a function of K_X = X G⁻¹ Xᵀ/M, with G = aC_X + bI (THEORY-008). For b > 0, K_X and the Gram matrix XXᵀ determine each other, by a monotone map on the shared eigenvalues; and equal Gram matrices mean an orthogonal transformation (CLAIM-290, THEORY-004). For b = 0, K_X is the projection onto the column space, which fixes X only up to an invertible linear map, as for a softmax layer (THEORY-723). | Active |
| CLAIM-380 v2 | With finitely many states and finitely many outcomes, the positive part of the Bayes-risk increase on the same decision problem is directed, is zero from a garbling back to its source, vanishes for every finite problem and prior exactly when the rendering is at least as informative as the source, and has A86’s D_Q as its symmetrization | The finite-outcome part of CLAIM-326. Define D⁺_Q(U → V; π) = sup over q in Q of [r_q,π(V) − r_q,π(U)]⁺, with losses in [0, 1] and a stated prior. A garbling never gains. The term is directed. A86’s D_Q is its symmetrization. And with every finite problem and prior, it vanishes exactly when V is at least as informative as U, by Blackwell’s Theorem 6 (THEORY-717). It does not cover outcome spaces that are not finite, or say this is the right decision term. | Active |
| CLAIM-381 | Over a finite class of items with finite judgement outcomes, a constant outcome kernel fits every item only when the target readers’ averaged responses do not vary with the item, an exact fit is a garbling with the item as common parameter, and Le Cam’s deficiency and its restriction to finitely many decision problems are finite computations | The derivational core of CLAIM-228. Over a finite class of items, the target term is the readers’ response averaged over a procedure’s output, and one outcome kernel family is fixed across the items. Then a constant kernel fits only target responses that carry no information about the item. An exact fit is a garbling, with the item as the common parameter. And Le Cam’s deficiency between the two finite tables is one linear programme. Its restriction to finitely many decision problems is a finite computation. It does not say the measure is informative, which is CLAIM-228’s empirical question. | Active |
| CLAIM-382 | In an autoencoder initialised with i.i.d. Gaussian weights and zero biases and trained by SGD or momentum SGD on a loss of its output, the law of each hidden layer’s learned representation is invariant under every orthogonal map of that layer that commutes with its activation, so under a radial activation no basis is privileged in law, while elementwise tanh or Leaky-ReLU yields invariance only under the signed permutations or the permutations, which leaves the standard axes free to be privileged | THEORY-288’s symmetry argument, stated as the record’s own and proved. Transform the parameters by orthogonal maps Q_l of the hidden spaces that commute with the activation. The network then computes Q_l h_l and the same output, so the loss is invariant. Gradient steps commute with the transformation, and an i.i.d. Gaussian initialisation is invariant under it, so the law of the trained representations is too. For radial activations this is all of O(n), and no basis is privileged in law. For elementwise ones it is a finite group, so the axes may be privileged. Whether they are, and how strongly, is THEORY-288’s empirical content. The argument needs an orthogonally equivariant optimiser, and fails for Adam. | Active |
| CLAIM-383 | In plane Couette and plane Poiseuille flow, measured in the energy norm, the linearized operator about the laminar profile has transient growth at least cR and resolvent norm at least cR² with c independent of R, so wherever it is eigenvalue-stable a perturbation of norm at most CR⁻² makes it eigenvalue-unstable | THEORY-304’s scalings as lower bounds, derived. At streamwise wavenumber zero, the cross-stream velocities obey an R-independent Stokes problem in the time t/R. They force the streamwise velocity through −U′v, so the streamwise response is R times an R-independent field. In the energy norm this gives transient growth at least cR, and in the steady forced problem a resolvent norm at least cR². Through pseudospectra, a perturbation of norm O(R⁻²) then moves an eigenvalue into the unstable half-plane wherever the flow is eigenvalue-stable. The sharp constants, and that the growth is no more than order R, come from the computation and are not here. | Active |
| CLAIM-384 | For a network linearised at its initial parameters, with an isotropic Gaussian prior of precision α on the parameter displacement and Gaussian noise of precision β, the log-determinant part of the evidence is −½ Σ log(1 + βλ/α) over the non-zero eigenvalues λ of the empirical neural tangent kernel’s Gram matrix on the training inputs, so at most n directions are priced however many parameters the network has | Active | |
| CLAIM-385 v2 | If a symmetric operator on ℝⁿ commutes with an orthogonal representation of a compact group, each eigenspace is a sum of real irreducibles and each multiplicity a sum of multiples of their dimensions, so SO(2) and ℤ/n for n ≥ 3 force paired eigenvalues; conversely the spectrum fixes neither the group nor a basis inside an eigenspace | Active | |
| CLAIM-386 | For x(t+1) = (A* + εC)x with A* block-diagonal, the Simon–Ando aggregate  = QAV has one-step closure defect exactly QA − ÂQ = QA(I − VQ); the part from the blocks’ own dynamics vanishes iff every block has equal column sums, and then the whole defect is ε·QC(I − VQ) | Derived in the reading of Shpak, Stadler, Wagner and Altenberg (2004), NOTE-977, which states the Simon–Ando aggregate without an error term, and re-checked here. It splits the closure defect of block aggregates into a part from coupling between blocks, which is exactly first order in ε, and a part from the blocks’ own dynamics, which vanishes exactly in the equitable case of THEORY-755. Deterministic dynamics, one step; the post-transient orders reported below are numerical, not part of the claim. | Active |
| CLAIM-387 | Optimal deterministic information-bottleneck partitions at two budgets need not be nested: with X uniform on four states and binary Y with P(Y=1|x) = (0, 0, 1/8, 3/8), the optimum is {0,1,2 | 3} for 6.91 < β < 9.26 and {0,1 | 2,3} for 9.26 < β < 16.06, two partitions neither of which refines the other | Found by brute force in the reading of Equitz and Cover (NOTE-988) and re-run here from scratch. It answers the deterministic half of QUESTION-220 in the negative: raising the budget can reorganize the optimal partition rather than split it. The two optima are not even laminar, so no fixed tree holds both as prunings, and NOTE-676’s nesting is bought by its tree restriction. It says nothing about stochastic encoders, where finite-β optima generally live (THEORY-743). | Active |
| 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-389 v2 | In a stable linear Gaussian VAR(1), exact dynamical independence of a linear coarse-graining implies that its Mori–Zwanzig memory vanishes, but not conversely: memory needs coupling out of the coarse variable and back, and dependence needs only the way back, so a coarse variable can be Markov in its own law with zero memory and still be dynamically dependent | Derived in the reading of Chorin, Hald and Kupferman (2000), NOTE-989, and re-checked here. It settles, for the linear Gaussian VAR(1) class, the relation QUESTION-222 left open between memory in the reduced dynamics and THEORY-257’s dynamical independence: memory is the round trip Y → rest → Y, dependence the inward leg alone. Not about VAR(p ≥ 2), where the reading reports that an independent variable can carry memory, nor about nonlinear systems. | Active |
| CLAIM-390 | For a block of coordinates in a stable linear Gaussian VAR(1), dynamical dependence is at most ½ log det(I + Σ_YY⁻¹ A_YR C A_YRᵀ), with A_YR the coupling into the block and C the covariance of the rest given the block’s present state, so it is of second order in the coupling into the block, whatever the coupling out of it | First found in the reading of Chorin, Hald and Kupferman (2000), NOTE-989, as a by-product; derived and checked here. It answers the forward half of QUESTION-221 for a block’s full state: weak coupling into a block makes its dynamical dependence small, to second order. It is about the block’s full state, not its aggregate. For the aggregate, the block’s own internal dynamics add a defect of their own (CLAIM-386). | Active |
| CLAIM-391 | For any classes with weights π_c and per-class factor matrices H_c and Δ_c, the class-wise Kronecker product Σ_c π_c H_c ⊗ Δ_c exceeds the product of the weighted averages H̄ ⊗ Δ̄ by exactly the weighted between-class covariance Σ_c π_c (H_c − H̄) ⊗ (Δ_c − Δ̄), so the two agree when either factor is the same in every class | Active | |
| CLAIM-392 v2 | Stochastic information-bottleneck optima at two budgets need not be nested: for X uniform on four states and binary Y with P(Y=1|x) = (0, 0, 1/8, 3/8), the unique optima at β = 8 and β = 12 admit no Markov chain X → T₂ → T₁, so raising the budget reorganizes the optimum even with noisy encoders | Computed in the reading of Charvin, Catenacci Volpi and Polani (2023), NOTE-981, on the source of CLAIM-387, and re-run here. With THEORY-753’s criterion (refinable iff some pair of optima forms the chain, iff the coarse decoder points lie in the fine decoder hull when that hull is non-degenerate), and optima certified unique, the hull test fails. It answers the stochastic half of QUESTION-220 in the negative for this source. The certificate is numerical, not interval arithmetic, and the loss is small: 0.49% of the larger budget, in unique information. | Active |
| CLAIM-394 | In a stationary linear Gaussian VAR(1) that is time-reversible (AΠ = ΠAᵀ, Π the stationary covariance), every slow-feature direction is a left eigenvector of A, so any span of slow features is an exactly dynamically independent coarse-graining; off reversibility a slow feature is in general neither independent nor free of memory | Derived in the reading of Schüler and Wiskott (2025), NOTE-1015, and re-checked here. It says when slowness, the criterion of slow feature analysis (THEORY-746), picks out a closed coarse-graining in THEORY-733’s sense: always in the reversible linear Gaussian VAR(1), which is the class of noise-free square mixtures of independent AR(1) processes, and not in general otherwise. Linear features, linear Gaussian dynamics, lag one. | Active |
| CLAIM-395 | Under Montévil and Mossio’s definition of closure, a closed set of constraints has at least two members, and if each constraint is produced at the time scale of a constraint in the set that generates it and not at the scale at which it is itself conserved, the set includes at least one slow and one fast dependence, so a system with a single constraint of its own cannot realise closure | Active | |
| CLAIM-396 v2 | Directional information measures between reciprocally coupled units follow the path of a one-sided drive rather than the symmetry of the coupling, so the observed direction of information flow does not by itself reveal which way, or whether both ways, the units are coupled | The record’s generalization of one study (Das, Manikandan and Banerjee, THEORY-275) beyond its system, filed under ADR-047 v4 as the record’s own claim, since the source makes no general claim. It bears on the claims that read peer or hierarchical architecture from the direction of coupling. | Proposed |
| CLAIM-397 v2 | For a scalar stationary process with autocovariance C, the Mori–Zwanzig memory kernels for the projection onto the current value are fixed by C alone, through C(m+1) = Σ_{k≤m} c_k C(m−k); the memory vanishes iff C is geometric, and when C has finite Hankel rank d the memory has Hankel rank exactly d − 1 | Derived in the reading of Lin and Lu (2019), NOTE-1029, and re-checked here. It settles the minimal-order question CLAIM-398 left open, for every scalar stationary process with rational autocovariance, and gives the structural reason for CLAIM-389’s “not conversely”: the memory is a functional of the coarse variable’s own law, so it cannot register dependence on the rest of the system. | Active |
| CLAIM-398 | In a stable linear Gaussian VAR(1) on ℝⁿ, a scalar linear coarse variable Y = LX is, in its own law, an ARMA process of orders at most (n, n − 1); so its Mori–Zwanzig memory, though non-zero at every lag in general, is carried exactly by finitely many coordinates that are functions of Y’s own past and innovations | Derived in the reading of Chorin and Lu (2015), NOTE-1028, and re-checked here. Their NARMAX closures are fitted, with no error bound; in the linear Gaussian class the same idea is exact. A coarse variable with memory admits a finite Markovian augmentation built only from its own history, which is the augmentation THEORY-257’s criterion conditions on. Scalar Y, VAR(1), Gaussian noise. | Active |
| CLAIM-399 | Causal abstraction in the senses of Rubenstein et al., Beckers and Halpern, and Beckers, Eberhardt and Halpern does not secure governance-response sufficiency: exact transformation, τ-abstraction and zero approximate-abstraction distance all accept the hidden-bit coarse-graining, which loses ρ(h = 1) bits of the response to h, because each lets high-level noise carry what the coarse state drops; for one outcome and the identity correspondence, sufficiency is their compatibility condition with the high-level context fixed to the coarse state, and strong abstraction rejects the case only through interventions on the hidden parameter | The record’s join, on 2026-10-21, of its readings of the causal-abstraction papers (NOTE-1037, NOTE-1032, NOTE-1045) with CLAIM-407. A25 of the exchange of 2026-10-20: “We should not present governance-preserving coarse-graining as a new general theory of causal abstraction.” That stands. But it is not an instance of these papers’ notions either: their criteria compare interventional laws and let the high-level context be any map that works, so they accept the hidden governance bit, whose coarse state keeps nothing of the response to h. Re-checked step by step against the three THEORYs. It corrects TERM-067’s first wording, which read the profile as TERM-043’s causal component with the identity correspondence. | Active |
| CLAIM-400 v3 | In the meaning–authority model linearized at symmetry, a third, maintained legibility state that authority moves (ε) and that moves interpretation (ν) or endorsement (μ), with persistence λ < 1 and nonnegative couplings, destabilizes the symmetric state exactly when the two-variable condition holds with β + νε/(1 − λ) in place of β and δ + με/(1 − λ) in place of δ: at the threshold the regime is indistinguishable from stronger two-variable couplings, and the slower it is the more it adds, while away from the threshold it adds a mode that no two-variable model has, so a lean in the regime can outlast the advantages it was built from | QUESTION-253 asked whether authority’s effect on what becomes legible as evidence is a third channel with its own instability condition, or CLAIM-340’s κ′ renamed. Both, in different respects. With a maintained legibility state r, det(I − J₃) = (1 − λ)[(1 − α)(1 − δ) − βγ] − ε[νγ + μ(1 − α)], which is (1 − λ) times CLAIM-330’s expression with β_eff = β + νε/(1 − λ) and δ_eff = δ + με/(1 − λ). So the instability threshold is a two-variable one with stronger couplings, and a slower regime (λ near 1) adds more. Away from the threshold, r is a third mode: a lean in the regime can hold interpretation and authority off symmetry after they would have relaxed, which no two-variable parameters reproduce. | Active |
| 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-403 v5 | A contribution’s admission to an organization’s inquiry, its recognition in apt terms, its credibility, its uptake into judgements, and its contributor’s part in revising the standards of uptake are separable, each possible without the later ones, so an organization can widen access while every channel by which a less authoritative contribution could change the criteria of authority stays closed | A24 §6 of the exchange of 2026-10-20, on the owner’s U24: “Someone’s contribution may be received and politely acknowledged yet have no mechanism through which it can change institutional understanding.” A25 §5 repeated the split from the side of visibility, and A27 §6 used it of consultation. CLAIM-349 has the three-step form for an organization’s own signals. This carries it to contributors and adds the top rung, Longino’s tempered equality and QUESTION-041’s channel. It does not say that every contribution is owed uptake. | Active |
| CLAIM-404 v4 | An organization can be governed from outside without any of its decisions being made for it, through the evidence its own procedures receive or through the criteria by which they weigh evidence; the two routes are distinct and each is possible without the other, so informational and evaluative independence do not imply each other; and where the organization’s role is to evaluate another that affects its evidence or resources, the interpretation–authority loop can close between the two institutions, so that formal independence of the evaluator’s procedure does not make its evaluation independent | The owner’s cases, U20 (“maybe cases like reflexive control and regulatory capture could be informative here”) and U21 (news-media capture) of the exchange of 2026-10-20, with A26 §4’s two constructions and A27 §6. A20: “Control over an organization need not consist in issuing its decisions. It can consist in shaping the conditions under which the organization determines its own decisions”. A26: “Neither guarantees the other.” CLAIM-342 holds the informational half and CLAIM-348 the evaluative half. The sharp edge: it names possible mechanisms. It does not say that any regulator, newsroom or expert body is captured. The replies’ empirical works, read on 2026-10-21, ground the two routes and give nothing to the loop between institutions. | Proposed |
| 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-406 v5 | Structural, pre-emptive testimonial injustice has the form of the record’s trust loop: an arrangement that decides whose word is sought can keep an early exclusion going through the indicators of competence that only being sought produces, with no continuing prejudiced act; but the loop alone cannot tell perpetuated privilege from merited expertise, because that needs the prejudice condition the dynamics do not contain | The owner’s, U24 of the exchange of 2026-10-20, on A23’s closing thesis: “this seems to me reminiscent of themes in feminist philosophy, e.g. perpetuation of privilege”. A24 granted it. CLAIM-277’s loop already runs from early advantage to “undeserved authority”, and its note of 2026-10-18 from the side that loses. Fricker’s un-refreshed list (THEORY-327) is a case of it in which some people’s views “are not sought”. The sharp edge: the loop is the same whether what it entrenches was earned, and only a prejudice makes it an injustice. | Active |
| CLAIM-407 v3 | A coarse-graining exactly informationally closed under a process’s ordinary dynamics need not preserve its responses to an intervention on the mechanism: for a declared intervention distribution ρ, independent of the state, the deficiency Γ = I(S; Y^(I) | T(S), I) can be positive, as in the hidden governance bit, where it is ρ(h = 1) bits; and Γ = 0 exactly when, for every intervention ρ charges, the response kernels are constant on T’s fibres over the states of positive probability | A16 §3–4 of the exchange of 2026-10-20 and A17 §4.2–4.3, its paper’s Proposition 1, reused at A18 and in A23’s audit. A16: “a representation can be perfectly informationally closed under the ordinary dynamics while failing to preserve a governance-relevant counterfactual distinction.” The witness is CASE-125; the proof is in the body, checked exactly on 2026-10-21. The qualitative point was on file: CLAIM-350’s “What it does not say” (A22’s Construction B of 2026-10-17, CLAIM-127), and CLAIM-122’s supervisory test, whose note of 2026-10-18 has it without parameters. New here are the parameters, the deficiency Γ and the exact condition for Γ = 0. It is an application of ordinary causal sufficiency, not new information theory, and it does not say the system governs itself. | Active |
| CLAIM-408 v3 | In ḋ = (α − κ)d − βd³, with d the difference between two parties’ shares of authority, α their self-reinforcement and κ a constraint that bears on both alike, the equal allocation is the only equilibrium and is stable for κ > α, and for κ < α it is unstable and the unequal allocations ±√((α − κ)/β) are stable: a constraint that favours neither party can, by weakening, destabilize the equal allocation and make persistent unequal allocations stable, of any size near the threshold (|d*| → 0 as κ → α), without determining which party gains the larger share, and in this model restoring κ > α restores the equal allocation | A19 of the exchange of 2026-10-20, on the owner’s U19: does the account “capture ‘deregulation’ as a disguised effort to induce organizational symmetry breaking?” A19’s model is a supercritical pitchfork, CASE-112’s normal form with no tilt and μ = α − κ. The stability analysis is checked here, algebraically and numerically. A19: “A policy can be neutral with respect to the identities of participants while being non-neutral with respect to the kinds of power distributions its dynamics produce.” The claim is about the model. It says nothing about any reform, or about anyone’s intent, and it does not show that a tipped allocation outlasts the constraint’s return: in this model it does not. | Active |
| CLAIM-409 v2 | For one state law, one intervention distribution and one outcome, a deficiency of sufficiency cannot increase under refinement: if T₁ = g∘T₂ then Γ(T₂) ≤ Γ(T₁); informational closure, by contrast, is monotone in neither direction, since in the three-bit chain of Rosas et al. (2024) A is closed, its refinement (A, B) is not and the full state refining that is closed again, while A⊕B, a coarsening of (A, B), is not closed either; closure fails to be monotone because refining a description changes the future it must predict as well as the evidence, so Blackwell dominance, which every deterministic refinement has over its coarsening, does not order closure | Two readers’ drafts of one point, from A6, A7, A16 and A17 of the exchange of 2026-10-20. A16 §5 and A17’s Proposition 2: a fixed-target deficiency is refinement-monotone; “Adding information cannot hurt exact sufficiency for an unchanged question, but changing what the description is expected to explain can expose new dependencies.” A6 §6 and A7’s Proposition 3: “Increasing the information retained by a representation can destroy a desirable dynamical property”, and “There is no general data-processing inequality ordering these quantities, because both the predicted variable and the conditioning information change.” This claim joins them, and corrects A7’s slogan “When More Information Reveals Less Autonomy”: closure is not reversed by refinement, it is unordered by it. Checked exactly on 2026-10-21. | Active |
| CLAIM-410 v4 | Removing a constraint on an organization’s members does not move it along one scale of more or less governance: it changes a profile of who holds rule-making, monitoring, enforcement, appeal and revision, in which the authority the constraint held can be eliminated, distributed or transferred, and the members’ first-order options and their share in revising the conditions of their action can move in opposite directions | The owner’s question, U18 of the exchange of 2026-10-20: “what does this suggest about e.g. “deregulation” as an ideological end?” A18: removing a regulator “does not remove governance”, and the question is whether a change “eliminate[s] an exercise of authority, distribute[s] that authority, or transfer[s] it to another locus”. Its five-part profile generalizes TERM-017’s three relations, which “can vary independently” (CLAIM-057), and its two freedoms are CLAIM-086’s distinction carried from a constraint to its removal. The sharp edge: it says nothing about whether any deregulation is good, or about what any actual reform did. A18: “This doesn’t establish that deregulation is good or bad.” | Active |
| CLAIM-412 v9 | Experience is constituted by interpretive organization, not produced by it: an appropriately organized process in which signals acquire significance for a system is the experience, so whether a system can have experience becomes whether it can sustain that organization | The owner’s, U1 and U2 of the exchange of 2026-10-21. At U1 the owner argued that if sensory apparatus is necessary for grounded experience, ungrounded experience is possible and “experience is fundamentally an interpretive act”, and proposed recasting the possibility of experience as the possibility of interpretation. A1 asked whether experience is constituted by interpretation or produced by it; at U2 the owner chose “former reading” and named the brain in a vat, the rubber hand illusion and CBT. A1–A7 refined the thesis without changing it. Interpretation is defined without experience, and it is organization, not judgement. The step from organization to experience is an identity to be defended, not a theorem. Its open edge is the sufficiency condition, which CLAIM-411 presses and QUESTION-254 asks for. | Proposed |
| CLAIM-413 v3 | Grounding is not a property of an experience but a relation among an interpretation, what it purports to be about, and a process that constrains it independently; its current, developmental and epistemic senses come apart from one another, and in the current sense it comes apart from whether the interpretation occurs, so ungrounded is not unconstrained, and what makes an interpretive organization experiential need not be what makes its contents veridical | The owner’s premise at U1, that sensory apparatus is necessary for grounded experience, as A1, A3, A5 and A7 restated it. A1: “grounding is fundamentally relational, whereas interpretation can, in principle, be internally realized.” A5, after reading CLAIM-342: “Sensory grounding may concern the independence of the constraints on interpretation, rather than the existence of interpretation itself”, and “Ungrounded ≠ Unconstrained”. A7 separated current, developmental and epistemic grounding. The epistemic sense is CLAIM-342’s, so the claim rests on it. The occurrence half is the owner’s. A7: “What makes an interpretive organization experiential is not necessarily what makes its contents veridical.” | 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-415 v5 | A person can be organized by a judgement they attribute to a collective that does not hold it: the audience in a self-model can be a false unity, and a judgement can shape a person who rejects it, because resisting it makes it consequential | From the owner’s U39 of the exchange of 2026-10-22: how an individual’s perspective is shaped by “the perception of a plurality of opinion where one may not exist (e.g. because of a loud minority)”, and the phrase “I am whatever you say I am”. A39: “An individual’s perspective can be reorganized by what they believe other people’s perspectives are—even when those other perspectives have been misperceived or scarcely exist.” A40 drew the extension of CLAIM-355: “The imagined social audience may also be organized into a false unity.” The edge: the attributed collective attitude itself is already held (List’s falsely attributed common attitudes, CASE-104); what is new is its place in a person’s own organization. | Proposed |
| CLAIM-416 v4 | Competing perspectives compete over the tests that measure them as well as under them: success under an evaluative regime is evidence of competence relative to that regime, a fair test need not be neutral across competences, and a perspective that gains influence over the test can change what later success shows | From the owner’s case at U35 of the exchange of 2026-10-22, rival schools of martial arts vying for dominance, and A35–A37’s development of it. A35: “Competition selects perspectives, but perspectives also shape what competition selects for.” A37: “Being effective under a test is not the same as possessing authority to determine what the test should measure.” It is the one mechanism in the second half of the exchange the record did not already hold in some form. The edge: it does not say that tests are unfair or that rules are changed in order to entrench, which A36 kept apart as a further claim needing its own evidence. | 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-422 v3 | A successful corrective act, an executable procedure and a maintained organizational capacity are three different things, so an organization can record a correction, even rewrite its rules, without the corrected capacity being maintained | From A24 and A25 of the exchange of 2026-10-22, on the owner’s cases of a fireground mayday that changed a safety culture (U23) and NASA’s learning before and after Challenger (U25). A24: “A successful act, an executable procedure, and a maintained organizational capacity are three different things.” A25: “Institutional learning is not complete when an organization changes its rules.” It rests on CLAIM-025, which separates the operative regime, the governing organization and the capacity to transform it, with the record’s reading of the Columbia board (THEORY-140) as corroboration. The edge: a recorded correction is evidence of a correction, not of its maintenance. | Active |
| CLAIM-423 v3 | In a political collective, components that change at different speeds (attention, coalitions, elected terms, administrative careers, law and treaties, generational memory) are not only nested by timescale: under a given institutional arrangement their different temporal horizons affect which forms of influence each can accumulate, exercise and keep, and so which of them holds authority over the others, so a state can stay continuous as an actor while the organization producing its positions changes under it | The owner’s, at U28 of the exchange of 2026-10-22: domestic and international politics as the domain where “regime ecology” becomes concrete, with “separation of timescales in elections, durations of tenure in elected and appointed positions, lifespan, generational memory, etc.” creating “amorphous collectives of varying orders and degrees of coupling”. A28 stated the claim in its strongest line. It rests on CLAIM-331, that higher-level variables are characteristically slower, and denies that slowness alone settles which level governs. | Proposed |
| 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-425 | A perspective governs itself with respect to social judgement to the extent that it keeps access to others’ judgements of it while making their authority over its conduct depend on their grounds, not on their visibility, repetition or attributed plurality; neither absorbing every judgement nor resisting every one meets this, since both let the judgements set the terms of response | A39’s closing thesis and its fourth reading of “I am whatever you say I am”, in the exchange of 2026-10-22, filed at the owner’s request. A39: “I can recognize the judgment, investigate its grounds, and refuse to let its apparent popularity substitute for its actual credibility.” It is CLAIM-349’s keep-access, condition-authority applied to judgements of oneself, with CLAIM-415’s false audience as what it guards against. The edge: the opposite of conformity is not independence, since resisting every judgement is governed by the judgements as much as obeying them. | Proposed |
| 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-428 | Material interdependence couples parties’ outcomes without fixing the perspective that organizes the coupling: the same dependence can be organized as mutual opportunity, as competitive vulnerability or as coercive leverage, so interdependence makes for peace to the extent that cooperation also changes which interests the parties’ institutions recognize and who holds influence over them, and payoff coupling alone does not settle which | From the exchange of 2026-10-22, “Ben Franklin Effect Explained”: the owner’s U6, “maybe this is a stretch, but this seems like it could be connected to the hypothesis that trade promotes peace by coupling interests through coupled economies”. A6: “economic coupling is not the same thing as cooperative perspectival integration.” The claim is the commercial-peace debate read through CLAIM-429: trade changes the state of a relationship, and the question is when it changes the coupling. | Proposed |
| CLAIM-429 v2 | Where interpretation decides the occasions for cooperation and cooperation’s outcomes revise interpretation, an intervention can change the loop’s state or its coupling: a favourable exception changes the state and leaves the rule that judges exceptions as it was, while a change in how far outcomes may revise the governing interpretation changes the coupling, and where the coupling does not depend on the state, only the second changes how later evidence is taken | From the exchange of 2026-10-22, “Ben Franklin Effect Explained”, A5: “One could ask whether a perspectival invitation changes only the initial state of the system, or also changes the coupling parameters—the degree to which cooperative outcomes acquire authority over future interpretations.” And: “It is the difference between introducing a positive exception and changing how exceptions are allowed to revise the rule.” The owner took the line up at U6. The claim puts it in the terms of the record’s coupled meaning–influence model (CLAIM-297, CLAIM-330). | Active |
| CLAIM-430 | An interaction can make available a way of relating that its participants’ operative perspectives did not hold, by giving each a role to enact in it, so that taking part can come before, and help produce, the reinterpretation it later seems to express; whether the change stays with the partner, generalizes to a category, or is reproduced beyond the encounter are further questions | From the exchange of 2026-10-22, “Ben Franklin Effect Explained”: the owner’s U2, asking for Franklin’s favour to be read as a “perspectival invitation”, and U4, connecting it to intergroup contact. A3: “A favor request invites its recipient to enact a relational perspective that may not yet be part of their established way of interpreting the requester.” It is CLAIM-275’s intervention before interpretation applied between people, and a candidate answer to the first half of QUESTION-259, how perspectives are generated. The phrase was coined in A3; the record had not used it before. | Proposed |
| CLAIM-432 v4 | A corporation can be an agent fit to be held responsible and the bearer of functional affect in Frijda’s sense, so psychopathy’s affective features can be assigned to it as well as its conduct: it lacks remorse, functionally, when harm it does to others is not among the concerns its own appraisals track and gains precedence over what it does only when a regulator or a market turns it into a threat to the corporation’s concerns; that profile, threat without remorse, is the construct’s, and it is changed by redesigning the corporation’s concerns, not its members’ characters | The record’s reading of Bakan’s “institutional psychopath” (LIT-1430, unread), filed at the owner’s request on 2026-10-23 and revised the same day when the owner pointed out that the record’s framework assigns affect to corporation-like things (CLAIM-039, reopened). On Frijda’s account an emotion is an appraisal of an event’s pertinence to a concern, eliciting action readiness with control precedence; a corporation has concerns, appraisals and readiness. A harm to others reaches its decisions either as one of its own concerns (procedures, role duties: functional concern and remorse) or as a threat to its other concerns (regulators, markets: functional fear). A corporation with only the second is functionally psychopathic across the construct, not in part. Wells Fargo’s sales practices (CASE-151) are its documented case. | Proposed |
| CLAIM-433 v2 | The potential account of valence is an account of goal-conduciveness valence, not of intrinsic pleasantness: on the component process model’s separation of levels of valence, the ordering that prevails ranks states by need satisfaction and goal attainment, the potential’s strength tracks ‘wanting’ and its sign tracks goal conduciveness, while ‘liking’ is a separate appraisal with its own ordering; so the wanting–liking dissociation is two valence systems coming apart, as that separation predicts, and the objection that the account is not about pleasure is conceded rather than answered | The reply the owner asked for, 2026-10-23, to the objection that potential tracks ‘wanting’, not ‘liking’ (CLAIM-438). Shuman, Sander and Scherer’s “levels of valence” separate intrinsic pleasantness from goal conduciveness, on Berridge’s evidence; Scherer and Moors report that the two have different physiological signatures and combine multiplicatively. The record’s ordering is goal conduciveness. The objection is conceded in a principled form: the account covers goal-conduciveness valence, and “hedonic” in the owner’s thesis and its term now reads “goal-conduciveness”, the owner having made that revision. | Proposed |
| CLAIM-434 | On a finite set of outcomes, some function rises with every move that wins one of a negotiation’s conflicts exactly when no chain of winning moves returns to where it began, and the length of the longest such chain ending at an outcome is one such function; a perfectly transitive record of which side won each pair, in a complete tournament contesting every pair once, leaves a cyclic share of (n − 2)/3n under the Hodge decomposition, a baseline that does not carry to sparse records; the Hodge gradient can reverse a comparison the wins settle, netting a record erases alternation, a record fixes a class of potentials rather than one, a coherent record is not yet one aligned with any single perspective’s ordering, a best-fitting ordering of a cycle is no Lyapunov function, the sign a class of potentials gives can be set-valued, and an ordering fitted to a record overstates its agreement there | The formal core of the rename of 2026-10-23 from “ascendancy” to “potential” (TERM-076). Part 1 is the finite case of Monderer and Shapley’s equivalence between the finite improvement property and a generalized ordinal potential, proved here because the record has not read their paper (LIT-1462). Part 2 is a calibration of the Hodge decomposition (Candogan et al.; Jiang et al.) for binary conflict records, computed here: even a perfect ranking leaves a cyclic residual. Part 3 separates coherence from alignment. Parts 9 to 11 were added after a second review. Parts 4 to 8 were added when a review of the pull request found that the measures built on parts 2 and 3 confused ordinal and cardinal structure; each is checked in scratch/formal/valence.py. | Active |
| CLAIM-435 v2 | Veit’s common currency and ALARM’s override are two regimes of one ordering serving as the negotiation’s potential, compensatory and overriding, so their rivalry over what the first felt valence did becomes the question whether the earliest potential orderings are continuous: in motivational trade-off experiments, a continuous indifference curve between a noxious cost and a resource for Veit, a discontinuity at a threshold beyond which no resource buys the cost for ALARM; only a graded override, deciding at every level of its own intensity, lacks a currency altogether | A consequence of the owner’s reframing of valence as ordering-potential (CLAIM-440). THEORY-101 records that its rivalry with ALARM “would dissolve if ALARM’s “100% weight” were recast as a weight in a common currency rather than an override of it.” It is recast instead: both are an ordering serving as the negotiation’s potential, compensatory or overriding, and the trade-off test separates them by continuity. Corrected on reading Debreu before filing: a threshold override still has a (discontinuous) currency; only a graded override has none (CLAIM-436, part 3a). | Proposed |
| CLAIM-436 v4 | An instantaneous ordering is a common currency on a finite set of options, where every complete preorder has a real-valued representation, but not in general: the lexicographic order on the unit square has no real-valued representation, while a continuous complete preorder on a connected separable space has a continuous one; so admitting an ordering is strictly weaker than admitting a currency, a graded lexicographic override lies in the gap while an exact threshold override does not, a threshold override with a discrimination threshold is a lexicographic semiorder whose choices can cycle and so is no ordering at all, and even where each instant has a currency, successive currencies need not share exchange rates | The formal half of the owner’s reframing of 2026-10-23, that a “common currency” is better read as a negotiation admitting an (at least instantaneous) ordering. On finite option sets the two coincide at each instant. On a continuum they do not: a graded lexicographic order, one form ALARM’s “100% weight” override could take, admits no numerical representation, while a continuous ordering, the form of Veit’s proportional trade-offs, admits a continuous one (Eilenberg; Debreu). A threshold override admits a discontinuous one, and one with a discrimination threshold, a lexicographic semiorder, can cycle and admits no ordering at all (Luce; Tversky). Across instants, representations need not be related, so a sequence of currencies need not be one currency. | Active |
| CLAIM-437 v3 | ’Wanting’ and ‘liking’ are saliences relative to different, overlapping processes, pursuit and consummation, each ranking states by their bearing on its own concerns; valence is then relative to a perspective, every perspective in the negotiation has its own, the system’s valence is that of the perspective whose ordering is the negotiation’s potential, and ambivalence is strong saliences of opposite sign with no potential absorbing them | The owner’s, 2026-10-23: “maybe ‘wanting’ and ‘liking’ can be differentiated by characterizing them as saliencies relative to different (possibly overlapping) processes? I’m not sure if this resolves anything, but I think it least positions the wanting-liking distinction closer to the record’s account.” Worked through the same day. It relativizes valence to perspectives, as Shuman, Sander and Scherer’s micro-valences already do, makes the system’s valence the prevailing perspective’s, and answers two problems the readings of incentive sensitization left open. | Proposed |
| CLAIM-439 v3 | A regime of valence is felt, in the sense of attended and available to the system’s other processes, when the system that is in it also models it: when a deeper process infers which ordering wins its negotiation, which way the system is moving along it and how strongly it prevails, and the inference is used elsewhere in the system; unfelt valence is the potential without that model, as unfelt fluency is a change in precision without the inference about it | Filed at the owner’s direction, 2026-10-23, as a candidate for when the functional regime of CLAIM-440 is felt. It extends Brouillet and Friston’s distinction (THEORY-662), unfelt fluency as a change in precision and felt fluency as a deeper inference about it, from fluency to valence, and Hesp et al.’s affective precision, a belief about how reliable one’s own policies are. It is a candidate for CLAIM-411’s open sufficiency condition, for affect only, and it adopts THEORY-662’s sense of “felt”: attended and available, not a further phenomenal fact. | Proposed |
| CLAIM-440 v4 | An organization’s appraisal is the negotiation among its perspectives, a common currency is that negotiation’s admitting an ordering of the options it faces, and goal-conduciveness valence is a regime in which an ordering of the organization’s own states by their bearing on its maintenance prevails in the negotiation; so valence presupposes contested rankings, not frustrated demands, its sign is whether the organization runs ahead of or behind a reference course along the potential ordering, its intensity is how far the negotiation’s decisions follow that ordering, and ambivalence, where no ordering prevails, differs from neutrality, where one prevails and the organization keeps to its course | The owner’s, 2026-10-23, in the discussion of THEORY-101 that followed the corporate psychopathy filing: “what if the ‘appraisal’ is the process by which competing perspectives negotiate amongst themselves? I think our earlier results equip us to reframe ‘common currency’ as ‘admits an (at least instantaneous) ordering’. we could then formalize a hedonic valence as a circumstance in which a particular kind of ordering dominates the dynamics.” Worked through the same day: potential read through Frijda’s marks of control precedence, the kind of ordering fixed as one over the system’s own states, and five consequences drawn. | Proposed |
| CLAIM-442 v3 | Frijda’s emotion and the potential account’s system valence sit on opposite sides of the gap between the precedence a motive claims and the authority it is granted: an emotion, action readiness claiming control precedence, is a claim, a perspective’s valence is read on its claims, and the system’s valence is read on what the negotiation grants, so a change in grants with the claims fixed, as mindfulness is said to make, changes the system’s valence and leaves the perspectives’ emotions and valences as they were | The assistant’s, from a comparison of the record’s will and affect lines made at the owner’s request on 2026-10-23 and filed at the owner’s direction. CLAIM-283 splits precedence into what a motive claims and what it is granted. Frijda’s emotion (THEORY-055) is on the claim side; the potential account (CLAIM-440, TERM-076) reads valence off grants, the conflicts actually won. The claim resolves the asymmetry by CLAIM-437’s relativity: a perspective’s valence is on the claim side, the system’s on the grant side. The sharp edge: on this reading suspension changes the system’s valence and no perspective’s, which is what the mindfulness case must show. | Proposed |
| CLAIM-443 v3 | A learned prior over which processes govern, P(g | z, H) ∝ exp(βQ(g, z) + b_H(g, z)), its bias b_H trained by reward-modulated Hebbian updates to the relations by which one process recruits or endorses another, is a candidate mechanism for durable authority and for amortized governance; but persistence is not amortization, which is shown only when earlier work replaces later computation, communication or recruitment, and a prior over authority differs from a prior over actions only when what is appropriate changes | The owner’s, 2026-10-23, on whether practice could reconstruct relations of practical authority: “what if we just treat this as a kind of momentum term? or like a hebbian prior?” Worked through the same day (workbench entry of 2026-10-24, U9–U12). Momentum is read as switching cost, the Hebbian prior as a learned bias over allocations of authority, and two limits are kept: persistence is not amortization, and a prior over authority must be told from a prior over actions. | Active |
| CLAIM-444 v2 | A replicator dynamic on the distribution of authority among an organization’s processes is the special case of the meaning–authority–legibility model in which the organization’s interpretation is the authority-weighted mixture of its processes’ and evidence reaches scoring without a maintained regime of its own; the replicator tools (Bayesian reading, potential and harmonic games, stochastic stability) then apply, and the record’s separate interpretation and legibility states earn their place exactly where interpretation departs from that mixture or legibility keeps a memory of past authority | Filed at the owner’s direction, 2026-10-24. The owner asked whether the tools of Soma et al. (THEORY-899), “or from related work”, could formalize the record’s more abstract version of the dynamics. Their population–policy duality fits the record’s authority dynamics with one identification. Read as a reduction, it says what CASE-124’s extra states are for. | Proposed |
| CLAIM-445 v3 | A protective regime, in a person, an institution or a system of states, becomes self-maintaining when the interventions it authorizes shift the evidence used to judge its necessity, the authority and resources of those who judge it, the capacities of its constituents or the threat environment itself in ways that favour its continuation; this can happen when the original threat was real and the first protection apt, and it is a failure only where the regime has become less responsive to evidence that it is no longer needed | The owner’s, 2026-10-23, on the account of governance-maintained anxiety (CLAIM-446): “this seems like it would also be supported political and social scientific observations about state/societal protectionism”. Worked through the same day (workbench entry of 2026-10-24, U16) with securitization, policy feedback, emergency powers and the security dilemma. The literatures support components of the mechanism; none shows a single self-confirming loop behind every protective policy. | Proposed |
| CLAIM-446 v7 | Some persistent anxiety may be governance-maintained rather than belief-maintained: anticipated threat grants defensive processes authority over action, attention and evidence acquisition; under the avoidance that authority selects, the hypotheses that the situation is dangerous and that it is safe predict the same observation, so repeated safety need not correct the threat estimate; relief reinforces the defense without being evidence of danger; and the regime can outlast a corrected belief, its pathology, where present, being defensive authority insensitive to corrective evidence at avoidable cost | The owner’s, 2026-10-23, quoting “A governance prior can become self-protecting by reducing the access of the processes most likely to provide evidence against it”: “I think you may have inadvertently landed on a formalization of anxiety”. Worked through the same day (workbench entry of 2026-10-24, U14–U15). A candidate account of avoidance-maintained anxiety, not of anxiety in general, filed as a candidate answer to QUESTION-045. Its evidence is model-level and adjacent; nothing here measures authority in patients. | Proposed |
| CLAIM-447 v2 | Model-based wanting is a pursuit process’s ranking of the futures it predicts under candidate interventions, P(S | do(a)) against P(S | do(a₀)), while cue-triggered wanting is learned salience that need not compute those futures; a process’s causal model, its wanting and its practical efficacy are separable, so learning to want differently, learning that a want will not pay, and learning not to act on it are three different changes | The owner’s, 2026-10-23, asking what the record’s account of wanting is: “i just found myself characterizing it as a kind of a prediction about a future state, and realized that really this is a do() operation and the future state that’s being anticipated is what might or might not happen given a candidate intervention.” Worked through the same day (workbench entry of 2026-10-24, U6–U7). It says what CLAIM-437’s pursuit process ranks, keeps cue-triggered wanting as a second level, and separates wanting from will. A dated part of 2026-10-24 adds that governance can change what is wanted through what it lets be represented. | Proposed |
| CLAIM-450 v5 | Three standards for a communicative distinction come apart: statistical distinguishability of an interpreter’s response profiles, measured locally by the Fisher metric and never raised by a parameter-independent garbling; usability by a bounded receiver, which a transformation can raise; and pragmatic efficacy in the act; and where response models are singular, as Watanabe’s theory treats, a missing response can come from an absent attempt or an unresponsive receiver alike, and only intervention or later dynamics separate them | The owner’s, 2026-10-24, after setting aside the belief–knowledge distinction: “forget about that distinction then and let’s connect back to the communicative act stuff and amari/watanabe theory”. Worked through the same day (workbench entry of 2026-10-24, U27). Amari’s geometry and Watanabe’s singular learning are given different jobs in one modelling architecture, alongside bounded legibility and the communicative-act account, rather than read as rival characterizations. | Active |
| CLAIM-451 v3 | When an organization’s record of winning moves cycles, the failure is organizational nonintegrability, distinct from a perspective’s own preference instability and from switching of the governing regime; it becomes organizational tension only when realized as costly reversal against demands the organization maintains, and cognitive dissonance only when that tension is detected and appraised as aversive; learning can relieve it by accommodation, by entrenched precedence or by cheap periodic coordination, which observed coherence does not tell apart, and ambivalence and nonintegrability entail neither one another | The owner’s, 2026-10-23, quoting “A potential exists exactly when the finite relation of observed wins is acyclic”: “rather than asserting potentials always have to exist, could we characterize cycles as a kind of internal tension or cognitive dissonance? preference/perspective/will instability?” Worked through the same day (workbench entry of 2026-10-24, U13). The record never asserted that potentials exist (TERM-077, CLAIM-434); this says what a cycle is when one does not, and keeps the structural fact apart from tension and from dissonance. | Proposed |
| CLAIM-452 | For an organization whose response in each probe context is the authority-weighted mixture of its processes’ known response profiles, the authority shares are identifiable from a set of contexts exactly when the processes’ stacked profiles over those contexts are affinely independent; because the response is linear in the shares, local and global identifiability coincide, the condition is that the Fisher information of any design supported on those contexts is positive definite on the simplex’s tangent space, and with binary outcomes at least one context fewer than there are processes is needed | When an organization’s response in context c is p_π(·|c) = Σᵢ πᵢ pᵢ(·|c), the mixture CLAIM-444 reduces the replicator model to, which probe contexts reveal its authority shares π? Exactly those over which the profiles are affinely independent. The response is linear in π, so there is no gap between local and global identifiability, and the condition is the Fisher information of CASE-159’s pullback being positive definite on the tangent space of the simplex. Each binary context adds at most one rank, so k processes need at least k − 1 contexts. It is a condition checkable before any data, which is what QUESTION-031 asks for; none of the three works read on 2026-10-25 states it. | Active |
| CLAIM-453 v2 | A population of perspectives, each advocating one of two interpretations, makes its collective choice by drift diffusion when the coordinate the decision is read from integrates independent evidence with no net leak or self-reinforcement and commitment is a bound on that coordinate; two interpretations make the reduction one-dimensional, but they do not by themselves give it | The owner’s hypothesis at U34 of the exchange of 2026-10-24, continued: “if we’ve set up our simulation appropriately, when n=2 we should see drift diffusion dynamics”. It is the owner’s second statement of CLAIM-262’s continuous case, first given on 2026-10-12. A34 qualified it, A35 gave the dial, and A36 gave an exact reduction for a network of accumulators. The record’s own replicator construction gives a second, which the exchange did not see. Both were checked when filed. The sharp edge: two interpretations are necessary for a one-dimensional reduction, not sufficient. | 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-455 | For one bounded observer, a transformation of a representation can make one task’s distinction legible and another’s illegible at once, so legibility regimes are ordered only relative to a task, and a regime that improves one perspective’s competence can disable another’s | Stated in CASE-154’s title and its “What it can show” and held by no claim, found in the audit of 2026-10-27 for propositions cases state that no claim holds. With two fair bits and an observer that reads one coordinate and cannot compute XOR, the raw pair gives 50% error on the XOR task and 0% on the first bit, and the XOR gives the reverse. CLAIM-199 says a garbling can raise usable information for a receiver; this adds that the same garbling lowers it for another task of the same receiver. The edge: one observer, two tasks; nothing about which task matters. | Active |
| CLAIM-456 v2 | Maintaining a governing rule internally, by the organization’s own reciprocal production, can be more fragile than having it reset from outside: arrangements identical in ordinary operation can differ in which losses are repairable, and the self-produced rule can be lost to a double loss or an interruption of the work that produces it which outside reset survives | Stated in CASE-161’s “What it can show” (“internal maintenance can be the more fragile arrangement”) and held by no claim, found in the audit of 2026-10-27. In the lab’s 32-member population, with ordinary trajectories identical, reciprocal production restored one zeroed rule in 48 of 48 runs and both zeroed in 0 of 48, and lost both rules to an 80-update producer outage in 48 of 48, where external reset restored every case. An existence result in one stipulated population. The edge: it says nothing against self-governance, only that self-production is not robustness. | Active |
| CLAIM-457 | That no single institution can bring about a remedy does not imply that no combination of them can: the institutions able together to realize a corrective outcome need include none able alone, so a true statement of unilateral inability is not a statement that the outcome is unattainable | A8 and A9 of the exchange of 2026-10-26, on the owner’s CECOT case at U7: the United States said it could not bring a man back from Salvadoran custody, and El Salvador’s president that he could not send him. Both can be true while the two together can, and the June 2025 return showed they could. Demonstrated by a construction. The edge: being able to realize an outcome together is not being responsible for it together, and feasible, authorized, willing and compellable coalitions are four families, not one. | Active |
| CLAIM-459 | An input to a bistable balance of authority can be sincere and causally efficacious without changing which regime operates: below a threshold the structure of the competition sets, it moves the balance within the current basin, so a higher-order volition that changes nothing visible need not be idle | Stated in CASE-112’s title and its first “What it can show” bullet and held by no claim, found in the audit of 2026-10-27. In ẇ = μw − w³ + h with μ > 0, the operative regime changes only when |h| passes 2μ^{3/2}/(3√3); for 0 < h < h_c the input moves w and leaves the regime. A8 of the exchange of 2026-10-17: “An endorsement can be sincere and causally efficacious while remaining too weak to shift the system out of its current attractor basin.” The edge: efficacy on the balance, not on behaviour; the claim says a null in behaviour is no evidence of a null input. | Active |
| CLAIM-460 v2 | In the completely locked-in state, evidence of lucid judgement has to cross a channel the patient drives, which is action in active inference’s sense, so such cases can show the judgement–observation loop running down but never running with no action at all, and a null result cannot tell lost judgement from a lost channel | Stated in CASE-107’s “What it can show” (“CLIS is the test, and it is asymmetric”) and held by no claim, found in the audit of 2026-10-27. CLAIM-341’s defeater (b) asks for evidence that lucid judgement fails with every contingency removed, “by evidence that does not itself restore such a contingency”; the case argues that the confirming direction cannot be had either, since any report needs a channel. Chaudhary et al.’s patient communicated only once neurofeedback restored a contingency. The edge: a limit on evidence, not a verdict on CLAIM-341. | Active |
| CLAIM-462 v3 | An arrangement of institutions can keep, or increase, its capacity for effective action while its capacity to be effectively corrected by others degrades, because the two are maintained by different relations, so the first is no evidence of the second | A8’s candidate central result and A9’s conjecture, from the exchange of 2026-10-26: “A complex institutional system can preserve or even increase its capacity for effective action while losing its capacity for effective correction.” It carries CLAIM-422 (a correction is not a maintained capacity to correct) and CLAIM-099 (effective action is not governance among regimes) from one organization to correction by other institutions. The edge: it is about relations, not about any government’s conduct, and says nothing about which corrections are owed. | 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-464 v2 | An intervention can change what it would take to correct it: by altering the distribution of control, access, resources or enforcement before it is reviewed, it can make a specified corrective outcome costlier or unreachable while the standards that govern that outcome stay the same | A7 to A9 of the exchange of 2026-10-26, from the owner’s U6 and U7: the police entry at USIP before any court ruled, the East Wing demolished before review, and transfers into foreign custody. A7 named it “endogenous remedial constraint”, preferring that to fait accompli, which “describes an outcome but does not specify the causal mechanism”. A possibility claim with three mechanisms: physical irreversibility, enforcement-mediated entrenchment and jurisdictional displacement. The edge: it says nothing about intent, and nothing about how much weight a court should give to risks the act created. | Active |
| CLAIM-465 | An organization’s flexibility among regimes depends on the conditions under which a regime gives up authority as well as those under which it takes it, so escalation without a release condition leaves authority with a regime after the demand that justified it has passed | Stated in CASE-135’s “What it shows” (“Release as well as escalation”) and held by no claim, found in the audit of 2026-10-27. From A24 of the exchange of 2026-10-22: flexibility depends “also on the conditions under which they relinquish it”. The Wichita review documents it: search was not reprioritized for over eleven minutes after the mayday, “despite the Mayday being under control within a few minutes”, and Command did not announce when it was complete. CLAIM-027’s maintained relations and TERM-017 name suspension, not release. The edge: one documented incident. | Proposed |
| CLAIM-466 v2 | Lock-in from selectively admitted evidence and lock-in from self-scoring need different remedies: weighting admitted evidence by known, positive admission probabilities undoes the first and leaves the second, so correcting for how evidence was selected is not correcting how it is scored | Stated in CASE-162’s “What it can show” and held by no claim, found in the audit of 2026-10-27. In the lab’s population, admission that depends on the record left the worse alternative in charge in 41 of 64 worlds, and exact inverse-propensity weighting brought that to 0 below full selectivity; with self-scoring alone (c = 0.5, nothing censored) 39 of 64 stayed wrong and the correction changed nothing. CLAIM-404 holds that the informational and evaluative routes are distinct; this says their remedies are too. The edge: the correction is an oracle’s, with known propensities. | Active |
| CLAIM-467 v3 | Under full-information, independent audits, a learned allocation of influence among specialists is no better than a contextual router trained on the same audits, which is a mixture of experts whose experts earn responsibility by fitting better; whatever governance adds over routing has to be shown where evaluation fails, and the record has not yet found such a regime | The prediction CASE-158 states (“Under full information, governance should not beat it”) and held by no claim, found in the audit of 2026-10-27; the runs were reported in CASE-158 and reproduced in CASE-162, where the router had the lower error in all four cells, selective and captured audits included. It gives CLAIM-278’s objection a definite form for this model class. The edge: it bounds governance by routing under full information; it does not say governance never helps, and the regimes where it might (QUESTION-271’s four failures) are untested or, so far, lost. | Active |
| CLAIM-469 v2 | Luria is an apparatus for a record’s objects in the operational sense: through its schemes, vocabularies, validators and generated views it realizes a system of distinctions that fixes what counts as a referable and governable object within the record, so that a split scheme makes one object two and a promoted vocabulary makes a value an entity; it keeps, enforces and propagates those distinctions; and its distinctions are revised through the record’s own use | The operational half of CLAIM-476, split from it at the owner’s review of the pull request. In TERM-089’s sense, which needs no observer and no constitutive metaphysics, luria differentiates, retains, enforces and revises distinctions among a record’s entries. That is established by how its grammar works (CLAIM-479) and by the record’s own amendments (CLAIM-419, CASE-131, CASE-178). The further thesis that the record’s objects are constituted in Barad’s sense stays in CLAIM-476, which now rests on this one. Split so that luria’s evidential role does not depend on accepting Barad’s ontology. | Active |
| 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-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-472 v2 | Because an apparatus makes some distinctions determinate and leaves others unstatable, choosing and maintaining one is open to evaluation and not only to verification; but that a cut excludes something fixes no obligation, since every distinction excludes, and which exclusions matter is a judgment indexed to a standard, a scale and those affected | The owner asked at U6 of the exchange of 2026-10-27 for Barad’s ethico-onto-epistem-ology and “practices of knowing are simultaneously practices that participate in the world’s becoming”. A6 §4 and A10 §6 kept two things apart, and the claim keeps both: “the choice and maintenance of an apparatus can itself be an object of ethical evaluation”, and “Practice produces differences ⇏ A particular normative obligation”. The second half is CLAIM-363’s indexing, which A6 named as the bridge. Barad is unread here. | Proposed |
| 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-475 v2 | Specifying is itself a resource-bounded realization: formulating a question takes time, concepts and computation as realizing a configuration takes energy and matter, so the questions an agent can ask are a product of what it has already realized; a stabilized specification is past inquiry stored so that later questions become cheaper to ask, and it can make other questions harder | The owner’s, U17 of the exchange of 2026-10-27: “resource constraints impact specification in exactly the same way as they impact realization. I can’t interrogate a question that takes me more time than I have to even ask it.” It extends CLAIM-470: if inquiry is specification, specifying is a process with costs, and the feasible questions are bounded before any answering starts. A17 and A18 drew a consequence the record can use: TERM-065 takes its query family as supplied, and this claim says that family is the output of bounded activity. A stable specification amortizes the work that made it, which is a separation of time scales (CLAIM-478), and entrenches what it makes cheap. | Active |
| 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 |
| CLAIM-479 | In the record a typed relation is more constrained than either of its relata: a claim’s content is open prose, while rests_on fixes the scheme at both ends, has supports written as its converse and says what retiring its target leaves, and none of that moves when either claim’s content does; so a relation’s rigidity is a fact about the grammar, not evidence that the dependency it records is sound | The owner’s, U6 of the exchange of 2026-10-27, against A5’s “its relationships are explicitly represented rather than metaphysically primitive”: “and yet interestingly, relations like “supports” are less flexible than the raw contents of either relata.” Shown from luria.yaml, which A6 §6 read correctly. The relation’s type is determinate where the relata’s content is not, and that determinacy is no warrant for the dependency: CLAIM-293 is the demonstrated case. CASE-131 is the instance in which the rigidity of a relation outran what its relata meant and the grammar was amended. | Active |
| CLAIM-480 v2 | Composing interactions can turn an interior into a constraint, and sometimes into a constraint of a new kind: in the chain E = ½k₁(x₁ − x₂)² + ½k₂(x₂ − x₃)², with x₂ internal and equilibrated, the boundary sees E_eff = ½·k₁k₂/(k₁ + k₂)·(x₁ − x₃)², a coupling between x₁ and x₃ that neither part has; if the interior relaxes slowly, eliminating it leaves a history-dependent constraint, a memory kernel, so interconnection fixes an effective constraint on the boundary’s trajectories and separation of time scales decides only whether that constraint is approximately memoryless; and for cellular sheaves the reduced constraint can relate three boundary values where every relation among the parts is pairwise | From A22 §4 and A23 §IV of the exchange of 2026-10-27, which called composition “the most important missing mechanism” after the owner’s U20. Eliminating an equilibrated interior leaves an effective boundary relation that no part has; an outside system interacting only with the boundary meets it as a constraint, and “The interior has effectively become apparatus.” Baez and Fong’s black-boxing functor is the general theorem for passive linear networks. The memory case ties it to Mori–Zwanzig and to CLAIM-478: interconnection yields an effective constraint on the boundary’s trajectories in every case, and separation of time scales decides only whether it is approximately memoryless. For cellular sheaves the reduction can need a richer relational vocabulary than the parts used (THEORY-1090; QUESTION-283). It is independent evidence for CLAIM-477, that constraints are realized by organization. | Active |
| CLAIM-483 | An argument developed with collaborators who keep no memory fails mainly at identity and not at structure, so that coding what recurs, not argument mapping, is the remedy, and this holds beyond one owner and one assistant family | The comparative and general half of CLAIM-177 version 1, split off by the status review of 2026-10-27 (ADR-057) and kept Proposed. CLAIM-177 now says what the record observed: identity failures recurring across six exchanges with one owner and one assistant family. Whether they outnumber structure defects was counted in one exchange only, and the population is one owner and one family, which CLAIM-177’s own body called “a pattern, not a measurement”. | Proposed |
| CLAIM-484 | Internal conflict is the gap between the precedence a motive claims over action and the authority the rest of the organization grants it | The second half of CLAIM-283 version 1, split off by the status review of 2026-10-27 (ADR-057) and kept Proposed. Each of CLAIM-283’s four dependents (CLAIM-368, CLAIM-440, CLAIM-442, CLAIM-446) uses only the first half, the distinction between claimed precedence and granted authority, which is now CLAIM-283 and is Active. That internal conflict is this gap is a further identification, and no case in the record shows it. CASE-151 and CASE-127 illustrate the separation of access from authority, and their notes say they do not show that a motive claimed precedence. | Proposed |
| CLAIM-485 v2 | In the self-governing sense, what endogenous governance adds over a behaviourally equivalent system with an external scheduler is not that it allocates authority among its own processes but that it can revise its own governing standards when they break down | The bridge the owner asked for on 2026-10-28, between Kahl’s proposal (THEORY-1165), which is about agency in the sense that bears on responsibility, and QUESTION-092, which fixes TERM-045’s sense 5, self-governing. It is the record’s answer to the question. Internal allocation of authority, the second of CLAIM-025’s separable capacities (governing among regimes), coordinates execution and does not make a system govern itself more than an external scheduler would. The capacity to revise its governing standards when they break down does: the third capacity, which CLAIM-284 names as taking part in governing the conditions of its own transformation. Two systems matched within a regime differ under it, and they diverge in behaviour once that regime breaks down. | Active |
| CLAIM-486 v2 | A rendering can keep the communicative act while changing the proposition, so preserving the proposition is not necessary for preserving the communicative event | The necessity half of CLAIM-061’s version 1, split off when the status review of 2026-10-28 narrowed CLAIM-061 to sufficiency (ADR-047’s third ruling). Its one documented case is Phillips’s handshake for Paul’s holy kiss (CASE-056), which competent judges took to keep the greeting. The defender of necessity has a reply the record does not answer: the proposition worth keeping is the coarser one, and the handshake keeps 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-488 v3 | Le Cam deficiency, after Torgersen, would quantify the approximate case of the Blackwell order for translation, and decoder-only audience knowledge would make the coding problem a Wyner-Ziv problem | The two steps of the manuscript’s §5 that CLAIM-050 carried until the status review of 2026-10-28 and that rest on works the record has not read: deficiency for the approximate case (Torgersen) and the Wyner-Ziv form of decoder side information. Split off when CLAIM-050 was narrowed to what its read sources support (ADR-047’s third ruling). | Active |
| CLAIM-489 v2 | A sign’s communicative significance is fixed by its contrasts within a system rather than by correspondence to a referent | CLAIM-082’s version 1 title, kept as its own Proposed entry when the sixth status review narrowed CLAIM-082 to what Saussure’s value supports (ADR-047’s third ruling). It carries the two parts the reading does not: that significance in use is fixed this way, and that contrast works instead of reference rather than alongside it. | Rejected |
| CLAIM-490 | A fanbase is a mixture of spectators who relate to the club in different ways, as supporters, followers, fans and flâneurs, so the public stance credited to it is weighted towards the most committed types before any bias in who is sampled | From Giulianotti’s taxonomy (THEORY-1111): supporters are hot and bound to the club as community, while flâneurs are cool consumers who switch clubs. The expressions that make up “the fans hate the owner” come from the hot types, and the cool ones take no part. So the stance is the committed segment’s by composition, before amplification or preference falsification. It does not say the committed segment is a minority, or that its stance is illegitimate. | Proposed |
| CLAIM-491 v5 | No action is selfless in the sense of aiming at a good that is no self’s: what is called selflessness, collectivist or altruistic, is concern for the good of a self extended to include others or a group, so collectivism is self-interest on a larger self-identity | The owner’s position, from the discussion that raised self-categorization theory (2026-10-28 and 29). Selves come at more and less inclusive levels: social identity in self-categorization theory, fusion, self-expansion, interdependent self-construal. Apparent selflessness is then concern for a larger self. Cialdini et al.’s “oneness” result is its best evidence; Batson et al.’s rejoinder and the risk of trivial truth are its objections. It does not say people are self-centred, or that groups have no good of their own. | Proposed |
| CLAIM-493 v2 | When a fanbase is set against an outside party such as its club’s owner, its more extreme members become more prototypical of it, so a vocal minority can fix the fanbase’s public stance through a group process and not only through biased sampling of who speaks | A derivation from self-categorization theory: in an intergroup context the more extreme members of a group gain prototypicality (Turner et al. 1994, p. 458, reporting Haslam and Turner). If influence follows prototypicality (Turner 2005, unread), a fanbase opposed to its owner will treat its most hostile members as most representative. A minority stance can then become the fanbase’s public stance by a group process that A2’s preference falsification and amplification do not need. It does not say that the private majority agrees. | Proposed |
| CLAIM-495 | For an O(d)-valued connection on a connected graph, the assignments that meet every edge relation xᵢ = Tᵢⱼxⱼ form a space isomorphic to the vectors at one vertex fixed by every holonomy based there, which is the kernel of the connection Laplacian; for d = 1, and for U(1) phases, that space is all or nothing, but for d > 1 a connection whose loops are not trivial can still keep a subspace on which every loop is, so compatibility among local frames can be partial and graded by direction; and edge maps that do not commute can compose to a flat loop, so non-commutativity is not holonomy | From A2 and A3 of the exchange “Paper assessment” (2026-10-29), which drew it out of LIT-1820’s O(d) setting against THEORY-1082’s U(1) one. The proof and the example are the record’s, checked numerically. It is the zeroth cohomology of the connection sheaf, so standard, and it says nothing about which organizations have such transports. | Active |
| CLAIM-496 | Agreement between routes of translation is a measure of coherence, not of fidelity, and the two are independent: a rendering that sends every source utterance to one output makes direct and relay transport agree exactly while a receiver who could tell a promise from a prediction with no error is left at chance, and two routes that keep the act and differ in register disagree completely while losing nothing the act-identification task needs | From A4 and A5 of the exchange “Paper assessment” (2026-10-29), where the assistant carried LIT-1820’s comparison of alternative paths over to translation and then warned that “path agreement is a coherence criterion, not a fidelity criterion”. The constructions are the record’s. It does not say path discrepancy is uninformative: it says it measures something CLAIM-259’s directed loss does not, and conversely. | Active |
| 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-498 | Averaging weights within a basin averages features: the network whose weights are the average of several networks in one low-loss basin has, in every layer, the average of their features | The averaging clause of THEORY-111’s old title, kept as a Proposed claim by the ADR-047 sweep of 2026-10-30 (kind 2) when the eleventh status review’s narrowing had dropped it. No source measured or asserts it: it is the record’s step from pairs to many-model averages, and its defeater is the averaging half of the old promote_when. | Proposed |
| CLAIM-499 | The linear barrier left after aligning independently trained networks over the architecture’s symmetries rises with depth | The depth clause of THEORY-112’s old title, kept as a Proposed claim by the ADR-047 sweep of 2026-10-30 (kind 2) when the eleventh status review’s narrowing had dropped it. No source measures or states it for barriers after alignment: it is the record’s composition of Entezari et al.’s unaligned depth curves with Ferbach et al.’s compounding width bound. Its defeater is the depth paragraph of the old promote_when. | Proposed |
| CLAIM-500 | The governance-induced kind of frustration is not idle: some failures of an organization’s actual updates to meet demands that an admissible update would meet are explained by how influence is allocated, and not by step size, curvature, noise, conditioning or a fixed weighting rule | Split from CLAIM-357 by the eighteenth status review (ADR-057; ADR-047’s kind 2, the record’s own extrapolation). CLAIM-357 separates structural infeasibility, realized violation and minimax suboptimality, and says none of them identifies thwarting. This claim is the thesis that its old defeat condition tested: that the governance-induced kind does work an optimizer analysis does not, because some satisfiable demands go unmet through the allocation of influence. Untested; A39’s case study 2 on CASE-099 would test it. | Proposed |
| 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-502 | Multi-hop delegation can keep an operator’s authority exactly independent of its own endorsements: under leave-one-out damped delegation, which counts the authority reaching each operator only along paths that have not already passed through it, an operator’s endorsements raise the authority of every operator the endorsed one reaches and leave its own unchanged | A construction that shows CLAIM-282’s old title false. Compute each operator’s authority from A2’s damped recursive rule with that operator’s own outgoing endorsements removed. Then authority reaches it along paths of any length, but only along paths that have not passed through it, so nothing it endorses can return to it. Its authority is exactly independent of its own endorsements, and an endorsement moves authority two hops and more. It does not say the rule conserves authority, that it closes the social route of moving others’ endorsements, or that CLAIM-375’s guarantee carries over. | Active |
| CLAIM-503 | Over finitely many states and finite outcome sets, one experiment is ε-deficient relative to another in every decision problem with losses in [0, 1] exactly when a single Markov kernel brings it within ε in total variation at every state, so the deficiency computed as a linear programme is the least such ε | Le Cam’s randomization criterion for finite experiments, uniform in the state, with losses in [0, 1]. The least ε for which some kernel brings M within ε of N in total variation at every state, which CLAIM-381 computes as a linear programme, equals the least ε for which M is ε-deficient relative to N in every finite decision problem. One direction composes N’s rule with the kernel; the other is one minimax step over a bilinear objective. At ε = 0 it is the finite Blackwell order (THEORY-717). | 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-506 v2 | The split of the last eukaryotic common ancestor’s central carbon metabolism, archaeal enzymes in the cytosol and alphaproteobacterial ones in the mitochondrion, does not single out syntrophy: a host that kept its own archaeal glycolysis and took up a bacterium with a TCA cycle leaves it whether the partnership began in syntrophy or by engulfment by an already complex host, and what the split counts against is a host whose carbon metabolism was replaced by the symbiont’s | Split from THEORY-1109 by the twenty-second status review (ADR-065; ADR-047’s kind 2, the record’s own extrapolation). THEORY-1109 reports what Santana-Molina and colleagues find and that they read it as support for syntrophy; this claim is the record’s judgement that the split cannot carry that reading. | Active |
| CLAIM-507 v2 | On WMT22 News MQM, xCOMET’s error spans are more coherent with its own regression scores than either is with expert judgement: the agreement between its heads is coherence between two outputs of one model, and adds little to what the spans’ own agreement with experts shows | The record’s reading of Guerreiro et al.’s Table 5, split from THEORY-1134 when the twenty-second status review narrowed it to the measurements and promoted it (ADR-065; ADR-047 kind 2). An instance of CLAIM-496’s distinction between coherence and fidelity. The statistics compared differ (Pearson between heads; Kendall and F1 against humans), and converted to one scale the gap is smaller than it looks. | Proposed |
| CLAIM-508 v2 | Gene ancestries alone cannot tell a symbiotic partner from a source of transferred genes: a partner whose genes were mostly lost, replaced or spread thin would leave the diffuse trace that Tobiasson and colleagues read as piecemeal transfer, and Bernabeu and colleagues concede that their donor signals say nothing of the kind of interaction | Split from THEORY-1104 by the twenty-second status review (ADR-065; ADR-047’s kind 2, the record’s own extrapolation). THEORY-1104 reports Tobiasson and colleagues’ reading of diffuse bacterial genes as transfer; THEORY-1105 reports Bernabeu and colleagues’ concession about their own donors. This claim is what the record draws from both. | Active |
| CLAIM-509 v2 | Stem lengths alone do not establish an order of acquisition in eukaryogenesis, neither Pittis and Gabaldón’s late mitochondrion nor Bernabeu and colleagues’ transfer waves: normalized stem length measures time only if rates before and after LECA are proportional, it shortens as closer relatives are sampled, the alphaproteobacterial separation from other bacteria rests on P = 0.044, and on Tobiasson and colleagues’ data it does not behave as a clock | Split from THEORY-1102 and THEORY-1101 by the twenty-second status review (ADR-065; ADR-047’s kind 2, the record’s own extrapolation). The two readings, now Active, report what the papers find; this claim is the record’s judgement of what stem lengths can establish. | Active |
| 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-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-516 | Where every constraint capacity turns over at a positive rate and is produced only by others, with no basal production and production vanishing as its producers do, capacities whose production graph is acyclic all decay to zero: a capacity that persists needs a productive cycle among its ancestors, and removing a feedback edge set extinguishes every capacity; a cycle is necessary and not sufficient, and a one-member cycle is not closure | From A10 §1 and §5A of the exchange “Analyze nucleation concepts” (2026-10-31), after the owner’s “try to progress the theoretical program”. The proof was rechecked by the reader of U7–U10. It is known in substance from autocatalytic-set theory, as A10 said. What it adds to the record is the boundary with closure: the necessary cycle may be a self-loop, and a self-loop is not closure in TERM-070’s sense or CLAIM-395’s, which need two or more constraints. | Active |
| CLAIM-517 | A successor regulator keeps a viable set positively invariant if, at every boundary context, its response distribution is within γ/L in total variation of a regulator that certifies inward margin γ, the dynamics being L-Lipschitz in that distribution; an average distillation loss certifies this only through coverage of the boundary contexts, so fidelity measured in ordinary operation certifies nothing about viability | From A16 §4 and §5 of the exchange “Analyze nucleation concepts” (2026-10-31), the owner having quoted its conclusion at U17: “preserving a regulator’s response distribution sufficiently accurately can guarantee preservation of a physical organization’s viability”. The algebra was rechecked; the regularity conditions A16 left implicit are stated here. A16’s application to its own construction (γ = 0.16) was notional, since that model has no regulator distribution and L is undefined there. | Active |
| 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-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-520 | The value of keeping a corrective capacity is conditional on objectives, uncertainty and cost: a free, optional audit cannot lower a single time-consistent decision-maker’s expected performance, but an audit that costs C to maintain and bears on k decisions with error rate ε is worth k(0.25 − 0.5ε) − C in the exchange’s model, negative when C is large or k small, and where no hypothesis fits the world, correction gains no reward and improves only calibration | From A24 of the exchange “Analyze nucleation concepts” (2026-10-31), answering the owner’s U24 question whether corrigibility’s desirability had been established. The arithmetic was rechecked by the turns’ reader. This is the subject-matter half of the answer. The support half, that the record’s constructions do not establish that corrigibility ought to be kept, is ARG-042, which this claim undercuts. | Active |
| 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-523 | For a normatively relevant discrepancy to change what an organization does, three distinct achievements are needed and any can fail while the others hold: legibility, by which the discrepancy becomes recognizable; volitional efficacy, by which a corresponding demand can move action; and correctability, by which a fitting revision can be carried out within deadline and resources; none establishes that the demand or the revision is justified, and whether the norm-satisfying histories the agent can still realize are empty depends partly on what its earlier actions destroyed | The owner’s synthesis at review of the filing of the exchange “Analyze nucleation concepts” (2026-10-31). It was first filed as a dated note on QUESTION-364, and filed as a claim at the owner’s word (“this should probably be a new CLAIM, not hidden inside the prose of a QUESTION”). It joins three held entries, legibility (TERM-064), will-organization (TERM-023) and correctability (TERM-085), into one account of normative efficacy. It extends CLAIM-349’s split of access, authority and action from an organization’s own signals to normatively relevant discrepancies. Proposed: the separations are argued, not built. | Proposed |
| CLAIM-524 | Whether functionally equivalent realizations are connected depends on which paths are admissible: for f = u₁v₁ + u₂v₂ with nonnegative weights, (1, 1, 0, 0) and (0, 0, 1, 1) are joined by a curve along which f stays 1 though the straight line between them falls to ½, and under any resource budget below √2 times the endpoints’ cost no path with f = 1 joins them | From the owner’s remark at U17 of the exchange “Analyze nucleation concepts” (2026-10-31), that the reconstruction fibres “reminds me of loss landscape connected mode stuff (which might just be a consequence of high dimensional geometry? … probably already discussed on the nucleation record)”. It is: see below. A17 §9 gave the curve and A18 §7 the budget for a tied-weight family; the general bound here is the reader’s, rechecked. “Viable mode connectivity” is A18’s name and is not filed as a term. | 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-527 | Viable reach, valence and emotion are three quantities in an organization, not one: an emotion is a claim to precedence, system valence is movement along the ordering that wins the negotiation, and a change in what the organization can viably reach is neither, so an organization can run ahead along its prevailing ordering while its viable reach contracts | Filed 2026-10-31 from the readings of Massumi and McKim (2009) and Bencherki, Brummans and Vézy (2024). Massumi’s affect is a transition in a body’s capacitation, augmented or diminished, and the parent paper defines agency as its augmenting half. The record’s affect line reads emotion as a claim to precedence (Frijda) and system valence as movement along what wins the negotiation; neither is a change in what can be done. This claim names the third quantity, viable reach, and says it can move against valence. It does not say that Massumi’s capacitation is viable reach, or that more reach is better. | 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-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-532 | Self-formation, in the sense the record holds (the transformation dimension of a will-organization), is the production by an agent’s own activity on a discrepancy it cannot yet resolve of a maintained capacity, a new distinction it can make legible or a new channel by which it can act, that outlasts the discrepancy and serves a class of later ones; it is told apart from learning an action by transfer to discrepancies of the same class after the inducing conditions are gone, and from a capacity installed or upheld from outside by interventions on the processes that produce and maintain it | The positive account A33 §7 offered, at the owner’s U33 of the exchange “Assess SDT Coverage” (2026-11-02), sharpened by the reader of U32–U33 so that it can fail. The record held self-formation as a capacity (CLAIM-025, TERM-023) and what does not show it (CLAIM-540: an observer’s learning; CLAIM-522: recovery does not show provenance); it held no account of what self-formation produces. A33 wrote it; adopting it is the owner’s call. It is a non-libertarian reading of Kane’s self-forming actions (CLAIM-022’s note of 2026-11-02). The steps A33 chains, discrepancy to discrimination to response to maintained capacity to revised governance, are not a sequence (CLAIM-474). | Proposed |
| CLAIM-533 | The sensitivity that formal chaos gives a will’s dynamics is not control over them: in Kane’s self-forming actions, chaotic amplification keeps the outcome open, but it magnifies the agent’s efforts, uncontrolled fluctuations and outside inputs alike, so what would make the outcome the agent’s is how its own control couples to the amplifying directions, relative to noise and to other parties’ inputs and with what feedback, which sensitivity does not supply; and under weak noise what amplification touches lasts only where it reaches the slow modes | The owner’s, at U16 and U20 of the exchange “Assess SDT Coverage” (2026-11-02). U16: “I think there’s an intuitive control theoretic connection here through the lens of controllability and sensitivity to change and chaos and slow modes.” U20: “this brings us back to controllability vs sensitivity, and why I was alluding to a connection between Kane’s freedom and (formal) chaos.” The owner first said it at U9 of 2026-10-17 (“controllability of a system isn’t binary, and neither is sensitivity to perturbation”); the controllability half was filed as CLAIM-354 and CLAIM-345, and the sensitivity half had no code. This is its second appearance. Its demonstrated part is CLAIM-542. | Proposed |
| CLAIM-534 | A plural will’s motivational integration, a dimension of freedom of will the record names and leaves unanalysed, is the extent to which the demands it maintains are jointly met, within tolerances it can recognize, across the contexts where they interact, and kept so under its own dynamics; it is neither agreement among the demands nor the dominance of one, and its parts come apart: realizability (the tolerance frontier), realization (governance frustration), maintenance (viability) and the allocation of the tolerance each demand gives up | A positive account, filed at the owner’s U33 of the exchange “Assess SDT Coverage” (2026-11-02): “are there any positive accounts or even just hypotheses we should consider documenting on the record (even if just as proposals)?” It joins the owner’s U27, “compatibility of tolerance bounds”, to CLAIM-354’s “motivational integration”, which the record names and does not analyse. The wording is A29’s, sharpened by the reader of U27–U29; adopting it is the owner’s call. Proposed: the identification is argued, and its formal half is CLAIM-538. | Proposed |
| CLAIM-535 | An organization that acts on what it observes has a policy acceptable in every circumstance exactly when, for each observation, the circumstances it cannot tell apart share an acceptable action; so every circumstance having an acceptable action does not give a policy, a finer observation never removes one, and where acceptable actions overlap the coarsest observations that suffice are several and incomparable, so which distinctions must be made legible depends on which acceptable action the organization commits to | A33 §4 of the exchange “Assess SDT Coverage” (2026-11-02), at the owner’s U33 request for positive accounts, with A30 §2’s example and A32’s Claim B. Its second appearance in the exchange, so it gets a code. The criterion is elementary, and its monotonicity is Blackwell’s easy direction (THEORY-1096). What it adds to CLAIM-350, its single-valued case, is found by the reader of U32–U33: with overlapping acceptable sets, legibility is relative to policy. A positive characterization of what legibility must supply for action. | Active |
| CLAIM-536 | A categorical model of perspectives and an LDA-style model differ in where the mixture lives: the first draws every act’s perspective from one fixed categorical distribution, the second gives each episode its own mixture, drawn from a Dirichlet, and draws each act from it; the Dirichlet is a distribution over mixtures, not the perspectives themselves, and with symmetric concentration a over K perspectives two acts in one episode share a perspective with probability (a + 1)/(Ka + 1) against 1/K across episodes, so the concentration runs from one perspective per episode, as in persona selection (a → 0), to a fresh independent draw for every act (a → ∞) | The owner’s U12 of the exchange “Assess SDT Coverage” (2026-11-02), stated precisely: “H1 isn’t LDA like though. that’s my point. it’s a categorical distribution. the topics in H@ are the dirichlet distribution which parameterizes the categorical distribution, which is what distinguishes H2 from H1 and why H2 is an LDA.” The structure is right; one word is not. The Dirichlet is a distribution over each episode’s mixture, and the topics, here the perspectives, are the categories that mixture weights. The agreement formula, derived here and checked by simulation, shows that both readings of H1 are limits of H2. | Active |
| CLAIM-537 | In tolerance-bounded compatibility on a graph with disturbed offsets, |Dx − a₀ − w| ≤ δ for |w_e| ≤ η_e, a compatible configuration exists for every disturbance exactly when |cᵀa₀| + Σ η_e|c_e| ≤ Σ δ_e|c_e| on every cycle, and one configuration serves every disturbance exactly when η ≤ δ and |cᵀa₀| ≤ Σ(δ_e − η_e)|c_e|; an agent that chooses its configuration from what it observes needs the second condition within each class of disturbances it cannot tell apart, so whether a compatible state can be selected lies between the two and depends on what the agent can read | A30 §§2–3 of the exchange “Assess SDT Coverage” (2026-11-02), at the owner’s “keep going”, with the second and third conditions derived by the reader of U30–U31 and checked by simulation (500 random instances, no mismatch). It is the first concrete instance of the branch’s note of 2026-11-02 on CLAIM-354, that a reachable set should range over the policies an organization can carry out on what it can read. The framing is adjustable robust optimization (LIT-1975). Static selection only, scalar overlaps only. | Active |
| CLAIM-538 | On a finite graph of contexts whose overlaps carry preferred real offsets a and tolerances δ_e ≥ 0, an assignment within every tolerance, |Dx − a| ≤ δ, exists exactly when no cycle’s holonomy exceeds the sum of its tolerances; with every δ_e > 0 the least uniform enlargement of the tolerances that admits one is the largest ratio, over simple cycles, of holonomy to summed tolerance, so the obstruction is certified by a cycle; the feasible allocations of tolerance depend on the offsets only through their class in H¹, so local adjustment can move a mismatch among the overlaps of a cycle and never remove it; and an evaluation that omits one overlap of every witnessing cycle reports a compatibility that does not hold | The owner’s U27 of the exchange “Assess SDT Coverage” (2026-11-02), “compatibility of tolerance bounds”, with U28’s pointer to the record’s sheaf tools, worked out at A28 §3 and A29 §§3–4, 7 and A32’s Claim A. The feasibility criterion is the classical feasible-differential theorem of network flows (Rockafellar 1984; no checked identifier, not registered), and the ratio is LP duality, so the result is granted, not the record’s discovery. What the record adds is the reading: the frontier is an invariant of the obstruction class, governance chooses where on it the mismatch falls, and omission can fake compatibility. Checked by linear programming against brute-force cycle enumeration on random graphs. | Active |
| CLAIM-539 | Jennings’s attention as the source of a free will has Frankfurt’s two-level architecture with its upper level changed from an attitude to a process: the whole collection of an agent’s interests, prioritizing, settles which first-order interest becomes effective, as a second-order volition does for Frankfurt, but by metacontrol and not by endorsement; so it inherits unchanged the objection that a manipulated organization can meet the condition, and what it adds to Frankfurt is that the process forms new interests and is a contextually emergent cause | The owner’s U14 of the exchange “Assess SDT Coverage” (2026-11-02): “would it be fair to say Jennings theory is Frankfurt with a hat on?” Answered from CLAIM-122’s note of 2026-10-18, which separates higher-order volition, an attitude about what should be effective, from metacontrol, the machinery that alters what becomes effective. First filed as a note on CLAIM-122, since the paper was unread. The owner then supplied it, and the reading (NOTE-1508) bears the claim out: attention is prioritization by a collection of interests, with no endorsement anywhere, and no historical condition. | Proposed |
| CLAIM-541 | Wu-wei is better read as control placed and timed where a system’s own dynamics do most of the work than as the absence of control: Ott–Grebogi–Yorke control of chaos is a formal instance, in which small perturbations timed by the system’s own wandering hold it on an unstable orbit, and the control, though small, continues for as long as the orbit is held; so reported effortlessness has at least three distinct sources, no conflict to override, conflict settled cheaply by learned accommodation, and conflict met as it arises by small well-timed feedback, which may feel alike and differ in mechanism | The owner’s U17 of the exchange “Assess SDT Coverage” (2026-11-02), quoting A16 on Ott–Grebogi–Yorke control: “that’s very wu-wei”. The first appearance was U8 of 2026-10-30, about the record’s unit of explanation, noted on CLAIM-337 and not filed then. This is the second, so it gets a code. The three sources are A18 §4’s, joining two Proposed claims. A18 §7’s statement that OGY gives “persistent” effects is corrected: OGY’s effect lasts only while the control continues. | Proposed |
| CLAIM-542 | Sensitivity does not fix the allocation or the authorship of control: linearized, every input reaches the final state through the same transition operator, ∂x_T/∂w_t = Φ(T, t)B_w(t), so systems with the same Lyapunov spectrum can differ arbitrarily in what an agent’s own channel, an outside party’s channel and noise each reach and at what least energy; and along one unstable direction a larger exponent λ lowers the least effort to reach a displacement, since W_T = b²(e^{2λT} − 1)/2λ grows with λ, while a constant open-loop input against white noise entering the same direction has terminal signal-to-noise ratio tending to (bu/σ)√(2/λ), which falls as λ grows, so only feedback that observes the state turns cheaper control into reliable direction | The demonstrated part of the owner’s U16 and U20 of the exchange “Assess SDT Coverage” (2026-11-02), “controllability vs sensitivity”. A20 §2 stated the impulse case (“the relative contribution is not determined by e^{λT}”) and A22 §5 the channel case. The scalar signal-to-noise result is the reader’s derivation, checked by simulation. It sharpens the owner’s point: sensitivity makes control cheaper and, without feedback, less decisive against noise. CLAIM-345 holds the cost formula and not the allocation across channels. | Active |
| CLAIM-543 | What separates a language model’s distribution over personas from a distribution over organizational perspectives is not whether the latent model is hierarchical, since a mixture or an LDA-style admixture already is, but whether some latent components condition which others are available or consequential: a model whose components are exchangeable given their weights is organizationally flat however many levels its prior has, and dependencies among components count as organization (organization as relational arrangement) only where interventions, not fit, support them | The owner’s U8 of the exchange “Assess SDT Coverage” (2026-11-02): “think of the relations as bayesian hierarchy, so H1 is a flat plate model and H2 has hierarchical/causal structure”, said of a language model read as a distribution over perspectives under the Persona Selection Model (U6). Stated here with A9’s correction: an LDA is itself a three-level hierarchical model drawn in plates, so “flat” has to mean organizationally flat, components exchangeable given their weights, not probabilistically flat. The precise form of the owner’s H1/H2 contrast is CLAIM-536. Proposed: the contrast is argued, and no study separates the two kinds of model on a language model. | 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 |
| CLAIM-545 | Freedom of will, in the operational sense, is an agent’s governance of its own governability: the extent to which its own organization makes the relevant distinctions legible, gives the demands they raise practical efficacy, directs its transitions, and revises the relations that govern those three, including under another’s interference; openness, sensitivity and controllability of outcomes each fall short of it, and domination is another’s capacity to govern those same relations, used or not | A26 of the exchange “Assess SDT Coverage” (2026-11-02), written at the owner’s request for the synthesis “without all the hedging” (U26), after “synthesize” (U25). The owner asked for the strong form and did not state or endorse its wording; adopting it is the owner’s call. The phrase is A’s, from A22 §3 (“a will that governs its own governability”) through A24 to A26. Its parts are held, two of them the owner’s: CLAIM-354 and CLAIM-523, with CLAIM-485 and CLAIM-404. What it adds is the identification. The record had dimensions of freedom and no thesis of what freedom is. Three qualifications A26 dropped are restored: the sense is operational, the claim is descriptive, and it is open to the manipulation objection. | Proposed |
| CLAIM-546 | Negative frequency dependence that keeps two types in coexistence does not make their interaction cooperative: in Hawk–Dove with cost C above value V each type increases when rare and they coexist at the interior equilibrium of V/C Hawks, with Hawks still taking the whole resource from Doves, and on the Black Queen account producers of a leaked good and the cells that use it without paying coexist at a frequency set by the community’s need; so whether types persist together and whether they cooperate are separate questions, and a coexistence criterion answers only the first | From §3 of the synthesis “The Evolution of Cooperation: From Coexistence to Symbiosis to Morality”, which the owner supplied on 2026-11-04: “stable coexistence of strategies is not necessarily the same as stable cooperation: cooperators and defectors can coexist without eliminating exploitation”. The record held the ecological half, invasion growth when rare (CASE-118), and a case of the point (the Black Queen, THEORY-1048). It did not hold the point itself. Hawk–Dove makes it exact. The wording is the reader’s; adopting it is the owner’s call. | Proposed |
| CLAIM-547 | Cooperation within groups and the coexistence of groups are distinct targets that can trade off: in the group-selection rule of Nowak’s five, b/c > 1 + n/m, cooperation spreads because a group that grows to size n splits and another group is driven extinct, so the mechanism that stabilizes cooperation inside groups works by removing groups; cooperation local to a group, the persistence of several groups whose interests are opposed, and concern for those outside one’s group are three achievements, and none of them secures the next | From §7 of the synthesis “The Evolution of Cooperation: From Coexistence to Symbiosis to Morality”, which the owner supplied on 2026-11-04. It calls this “the most important tension”: cooperation within groups can undermine coexistence between groups. The synthesis separates local cooperation, system-level coexistence and impartial moral concern. Nowak’s group-selection model, which the record holds (THEORY-567), turns out to be an exact instance: there, cooperation within groups is bought by group extinction. The wording is the reader’s; adopting it is the owner’s call. | Proposed |