Lines of argument

31 lines, walked from rests_on: and argued_from ((c:CLAIM)<-[:concludes]-(g:ARG)-[:rests_on]->(p:CLAIM) WHERE NOT (g {status: 'Rejected'})) on CLAIM documents. Each step explains itself; this page is the order they came in.

Grouped by line, which every line holds in common — a line about two things is listed under both.

authenticity

From 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

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 (Deferred)
- 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 (Deferred)
- CLAIM-104 — Authenticity grounds normativity downward, from an encompassing agent to its constituents, but not across agents at one level (Deferred)

distributed-agency

From A search cut off before an exhaustive pass can establish absence when the arrangement certifies that the unsearched remainder cannot hold the item: a sorted table answers non-membership in a logarithmic number of probes, and the Threshold Algorithm stops early with its answer proved, so absence needs a certificate about the remainder, not exhaustion; similarity search in high dimension is where no such certificate exists

CLAIM-311 — A search cut off before an exhaustive pass can establish absence when the arrangement certifies that the unsearched remainder cannot hold the item: a sorted table answers non-membership in a logarithmic number of probes, and the Threshold Algorithm stops early with its answer proved, so absence needs a certificate about the remainder, not exhaustion; similarity search in high dimension is where no such certificate exists (Active)
- CLAIM-312 — “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 (Active)

From 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

CLAIM-389 — 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 (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 (Active)

CLAIM-418 — 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 (Active)
- CLAIM-431 — A corporation’s functional remorse cannot be told from prudence: any procedure or role duty that makes others’ harms its concern was put there for its own ends, reputation, liability or recruitment, so the line between harm as concern and harm as threat, and with it the line between a remorseful and a psychopathic corporation, does not hold, and the clinical word adds nothing to a description of its incentives (Proposed)

From 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

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 (Active)
- 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 (Proposed)

formal-apparatus

From 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

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 (Active)
- CLAIM-037 — Formal contextuality is a failure of global extension, distinct from ordinary context dependence, and needs Contextuality-by-Default when marginals shift with context (Proposed)

From 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

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 (Active)
- CLAIM-334 — Granger causation from a macro variable to the micro variables it supervenes on, Seth’s downward Granger causation, is not evidence of a macro-to-micro intervention effect, even with every micro variable measured: supervenience leaves no intervention on the macro variable that holds its micro base fixed at the same time (Active)

From 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

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 (Active)
- CLAIM-392 — 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 (Active)

From 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

CLAIM-389 — 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 (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 (Active)

learned-structure

From 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

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 (Active)
- CLAIM-392 — 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 (Active)

nucleating-argument

From 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

CLAIM-294 — 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 (Active)
- CLAIM-295 — 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 (Proposed) — also rests on CLAIM-300
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 (Active)

pragmatic-transport

From Lévi-Straussian transformational analysis, as Descola reads it and as it has been modelled computationally, is direct prior art for structural transport, not only a philosophical precursor

CLAIM-019 — Lévi-Straussian transformational analysis, as Descola reads it and as it has been modelled computationally, is direct prior art for structural transport, not only a philosophical precursor (Active)
- CLAIM-145 — Trope analysis of the kind A155 proposes is Propp’s and Lévi-Strauss’s transformational analysis, whom the manuscript should cite as precursors (Active)

From The contribution is not that translation is pragmatic or that speech acts change contexts, but a specified, testable account of which communicative distinctions a translation preserves

CLAIM-023 — The contribution is not that translation is pragmatic or that speech acts change contexts, but a specified, testable account of which communicative distinctions a translation preserves (Active)
- CLAIM-202 — 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 (Proposed)
- CLAIM-233 — The central theses’ defeat conditions pit them only against embedding, propositional or surface similarity, and two rivals the record holds, functional equivalence as Nida states it and a proposition with its illocutionary force, also predict that judged pragmatic observables beat text similarity (Active)
  - CLAIM-501 — 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 (Active)

From No result from the exchange’s four experiments reached a later draft: the authored chains were excluded by rule, and the synthetic constructions were dropped without a stated reason

CLAIM-028 — No result from the exchange’s four experiments reached a later draft: the authored chains were excluded by rule, and the synthetic constructions were dropped without a stated reason (Active)
- CLAIM-238 — Many of the line’s defeat conditions cannot in practice be met: the comparative ones are null results with no margin over an observable set the thesis may re-choose, and the possibility theses’ are universal negatives that no finite study establishes (Active)

From A language model’s response to a context is functionally a parameterized pragmatic frame

CLAIM-029 — A language model’s response to a context is functionally a parameterized pragmatic frame (Proposed)
- CLAIM-058 — 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 (Proposed) — through ARG-008

CLAIM-042 — 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 (Active)
- CLAIM-033 — In published translations, renderings that lose distinctions along one dimension commonly gain specificity along another, so loss is not one-dimensional (Proposed)
- CLAIM-038 — 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 (Active)
  - CLAIM-105 — 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 (Proposed) — also rests on CLAIM-320
- CLAIM-119 — 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 (Proposed)
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 (Active)

From 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

CLAIM-118 — 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 (Active)
- CLAIM-074 — 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 (Active)
  - CLAIM-049 — 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 (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 (Proposed) — also rests on CLAIM-257
CLAIM-257 — 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 (Active)

From Interpretive framing operations generally do not commute, and this can be investigated without committing to quantum probability

CLAIM-052 — Interpretive framing operations generally do not commute, and this can be investigated without committing to quantum probability (Proposed)
- CLAIM-117 — 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 (Proposed)

From The manuscript argues only that preserving the proposition is insufficient; that it is also unnecessary rests on an argument the exchange gave and the manuscript leaves out

CLAIM-053 — The manuscript argues only that preserving the proposition is insufficient; that it is also unnecessary rests on an argument the exchange gave and the manuscript leaves out (Superseded)
- CLAIM-229 — The footing, compensation and constitution theses ground on invented cases whose readings the assistant assigned, and the case filed for the proposition’s non-necessity holds the words fixed, so it shows only insufficiency (Superseded)

From Kirby, Cornish and Smith show structure emerging under transmission with an experimenter’s filter, not filtering by measured inductive biases, and Griffiths and Kalish’s convergence to the prior holds only for sampling learners

CLAIM-066 — Kirby, Cornish and Smith show structure emerging under transmission with an experimenter’s filter, not filtering by measured inductive biases, and Griffiths and Kalish’s convergence to the prior holds only for sampling learners (Superseded)
- CLAIM-234 — The record’s iterated-learning readings bear on lexical, structural and functional transmission, and none measures stance, footing or speech-act function along a chain (Superseded)

From A framing effect in a language model is a property of that model under those prompts, and what a translation ought to preserve is a normative question that model response distributions, being descriptive, cannot settle

CLAIM-085 — A framing effect in a language model is a property of that model under those prompts, and what a translation ought to preserve is a normative question that model response distributions, being descriptive, cannot settle (Active)
- CLAIM-243 — Read as description, the manuscript’s thesis is close to true by definition; read as a criterion, it is a schema until the decision family Q is fixed, and its descriptive defeat condition can test neither reading (Active)
- CLAIM-248 — The founding stimuli (Villon, Henley’s Villon, Hofstadter’s Marot) and commentary on them are likely in language models’ training data, and what a context does to one model need not be what it does to another, so a model’s reading of their footing may be recall, and a directional match in one model may not hold in the next (Active)
- CLAIM-252 — The account does not say which distinctions a translation ought to keep: it says how to tell which ones a rendering kept for stated tasks and receivers, and what ought to be kept is set by the purpose the translation serves (Active)

CLAIM-091 — 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 (Proposed)
- CLAIM-258 — Blackwell’s order compares experiments about one parameter, so it does not reach the normal translation case: source and target readers decide about situations with changed coordinates, and where the state is common a translator with context knowledge yields a rendering that is not a garbling of the source, which the order typically leaves incomparable with it and about which the direction the manuscript uses is silent (Proposed) — also rests on CLAIM-323
CLAIM-323 — 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 (Active)

From 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

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 (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 (Proposed) — also rests on CLAIM-325
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 (Active)
- CLAIM-219 — A change in the global compatibility of a fixed scenario is either a change in contextuality proper, which the behavioural data read show none of, or a change in overlap consistency, which is ordinary context dependence and moves by at most 2ε when each context moves by ε (Active)

From Functional and relevance-theoretic accounts of translation, as Nida, Nord and Gutt state them, need not fix one context or a static stance profile of the rendering

CLAIM-205 — Functional and relevance-theoretic accounts of translation, as Nida, Nord and Gutt state them, need not fix one context or a static stance profile of the rendering (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 (Proposed)

CLAIM-210 — 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 (Active)
- CLAIM-216 — A thesis that conjoins relational constitution, statistical recovery, transport and receivers’ recovery is defeated whole by any one of its empirical findings, though its clauses can hold or fail apart, so the line is better put as separate theses, each with its own defeat condition, resting on one another only where one is a premise of another (Active)

From 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

CLAIM-380 — 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 (Active)
- CLAIM-326 — 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 (Active)
  - CLAIM-259 — 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 (Active) — also rests on CLAIM-380

From 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

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 (Proposed)
- CLAIM-298 — 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 (Proposed)

will-organization

From Explaining practical efficacy does not settle whose the will is

CLAIM-022 — Explaining practical efficacy does not settle whose the will is (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 (Proposed) — also rests on CLAIM-122
CLAIM-122 — Will-organization is not one more higher-order preference: changing the conditions of efficacy changes behaviour while the competing preferences stay fixed (Active)

From 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

CLAIM-261 — 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 (Active)
- CLAIM-358 — 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 (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 (Proposed) — through ARG-030

Sharing no `line`

From 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

CLAIM-002 — 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 (Active)
- CLAIM-246 — Sharing a kind is symmetric and blind to which work is the source, so the October thesis cannot say a translation is of its original, against the line’s own directed, graded fidelity and identity through descent (Rejected) — also rests on CLAIM-106
CLAIM-004 — Not every difference between translations is a difference of frame: some change the act being framed (Proposed)
CLAIM-011 — Intertwining with an uninformative correspondence is vacuous or lossy, so the source–target correspondence must be anchored to independently measured distinctions and evaluated on tasks other than those it was estimated on (Active)
- CLAIM-077 — A transport is admissible only if it keeps specified observable distinctions apart, which excludes trivial collapse by construction (Active)
  - CLAIM-147 — 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 (Proposed) — also rests on CLAIM-113
- CLAIM-138 — The Newman objection is the collapse objection at the level of ontology, and the remedy offered for both, independently specified relations, concedes that relational structure alone does not fix communicative identity (Proposed)
  - CLAIM-224 — Under partial relational constitution, a translation always changes the participants, audience and norms that the relational-constitution thesis makes constituents of the act, so whether the act survives turns on a correspondence of relations the structure cannot supply from inside (Proposed) — also rests on CLAIM-004
- CLAIM-143 — 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 (Active) — also rests on CLAIM-035, CLAIM-265
- CLAIM-149 — 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 (Active) — also rests on CLAIM-266
- CLAIM-249 — Comparing characters across realizations needs one group identified on both, which is fixed only up to automorphism, and automorphisms permute the irreducible characters, so “the same character” is relative to a chosen correspondence: the collapse problem again, at the level of the symmetry group (Active) — also rests on CLAIM-132, CLAIM-318
- 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 (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 ε (Active)
    - CLAIM-488 — 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 (Active) — also rests on CLAIM-381
CLAIM-025 — An operative regime, the governing organization among regimes, and the capacity to transform that organization can persist or fail separately (Active)
- CLAIM-099 — Maintaining a regime of effective action and maintaining the capacity to govern among regimes are not the same achievement (Active) — through ARG-007 — also argued from CLAIM-079
  - CLAIM-344 — 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 (Active) — also rests on CLAIM-277, CLAIM-331
  - CLAIM-462 — 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 (Active) — also rests on CLAIM-422
- CLAIM-284 — 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 (Active)
- CLAIM-354 — 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 (Proposed) — also rests on CLAIM-079, CLAIM-345
  - 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 (Proposed) — also rests on CLAIM-345, CLAIM-542
- CLAIM-359 — 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 (Active) — also rests on CLAIM-282
- CLAIM-422 — 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 (Active)
- CLAIM-424 — 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 (Active)
- CLAIM-485 — 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 (Active)
CLAIM-030 — 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 (Active)
- CLAIM-192 — 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 (Proposed) — also rests on CLAIM-177
- CLAIM-271 — 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 (Proposed)
  - CLAIM-432 — 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 (Proposed) — also rests on CLAIM-039
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 (Proposed)
CLAIM-035 — Translation operations are generally not invertible, need not compose by a fixed rule, and preserve no structure given in advance; which communicative properties are invariant must be discovered or negotiated (Active)
- CLAIM-098 — 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 (Active)
CLAIM-039 — Affective states can be properties of organized systems, characterized functionally as Frijda characterizes emotions, without implying subjective experience (Proposed)
CLAIM-040 — Symmetry is a kind of invariance, and Noether’s theorem is the point: invariance under transformation yields conservation (Active)
- CLAIM-113 — 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 (Active)
  - CLAIM-017 — What survives translation is the invariants, and approximately preserved relations, of communicative transformation (Superseded)
  - 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 (Proposed) — also rests on CLAIM-318
  - 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 (Superseded)
CLAIM-046 — 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 (Active)
- CLAIM-206 — If a communicative kind can outrun every probe, human same-kind judgements, themselves one probe family, can neither confirm nor defeat the October thesis; if it cannot, the kind does in the tests only what an observational class does, which the record’s term for a kind says it is not (Proposed) — also rests on CLAIM-135, CLAIM-150
- CLAIM-247 — The bearer of communicative identity reversed, from an operational object defined on observed responses to a kind that can outrun observation, and no turn argues the change; both stances stand in the record (Superseded) — also rests on CLAIM-112
- CLAIM-253 — The intertwining defects are defined on unobservable interpretive-state spaces, so they are not identified from judgement data, and the commutator identity bounds observed order effects only with a further, unstated readout-intertwining defect (Active)
CLAIM-047 — Possessing an action-generating regime is not the same as its being practically effective (Active)
- CLAIM-027 — 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 (Active) — also rests on CLAIM-080; also argued from CLAIM-080
  - CLAIM-156 — 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 (Proposed) — also rests on CLAIM-169
  - CLAIM-316 — 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 (Active)
  - CLAIM-349 — 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 (Active) — also rests on CLAIM-025
    - CLAIM-403 — 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 (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 (Proposed) — also rests on CLAIM-415
    - CLAIM-446 — 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 (Proposed) — also rests on CLAIM-283, CLAIM-443
      - CLAIM-445 — 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 (Proposed)
  - CLAIM-352 — 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 (Active) — also rests on CLAIM-079
  - CLAIM-353 — 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 (Active)
  - CLAIM-368 — 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 (Active) — also rests on CLAIM-283
    - CLAIM-347 — 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 (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 (Proposed) — also rests on CLAIM-284, CLAIM-287
      - CLAIM-440 — 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 (Proposed) — also rests on CLAIM-039, CLAIM-283
        
        CLAIM-435 — 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 (Proposed) — also rests on CLAIM-436
        
        CLAIM-437 — ‘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 (Proposed)
        
        CLAIM-442 — 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 (Proposed) — also rests on CLAIM-283
        
        CLAIM-447 — 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 (Proposed)
        
        CLAIM-439 — 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 (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 (Proposed) — also rests on CLAIM-079
      - 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 (Proposed) — also rests on CLAIM-025, CLAIM-522, CLAIM-535, CLAIM-540
      - 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 (Proposed) — also rests on CLAIM-079, CLAIM-357, CLAIM-538
    - CLAIM-357 — 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 (Active) — also rests on CLAIM-365
      - 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 (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 (Proposed)
CLAIM-050 — 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 (Active)
- 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 (Proposed)
- CLAIM-115 — 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 (Superseded) — also rests on CLAIM-061, CLAIM-082, CLAIM-486; also argued from CLAIM-082
- CLAIM-126 — 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 (Active) — also rests on CLAIM-268
CLAIM-057 — Precedence, jurisdiction and suspension can vary independently (Active)
- CLAIM-410 — 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 (Active) — also rests on CLAIM-086, CLAIM-282
CLAIM-060 — An encompassing organization’s success does not establish the well-being, viability or autonomy of its constituents — and the converse holds too (Active)
- CLAIM-348 — 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 (Active) — also rests on CLAIM-152, CLAIM-350
CLAIM-061 — Renderings that keep the proposition can perform a different communicative act, so preserving the proposition is not sufficient for preserving the communicative event (Active)
- CLAIM-151 — 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 (Proposed)
  - CLAIM-137 — 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 (Proposed)
  - CLAIM-217 — 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 (Proposed)
  - CLAIM-255 — 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 (Proposed) — also rests on CLAIM-160
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 (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 (Superseded) — also rests on CLAIM-121
- CLAIM-125 — 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 (Active) — also rests on CLAIM-121
- CLAIM-207 — The transports of Propositions 1–2 and of D_obs act on judgement outcomes, not texts, and for any one source–target pair a constant kernel transports any overlap-consistent target, so they constrain a translation only once one kernel family is fixed across many utterances and derived from the text channel (Active) — also rests on CLAIM-121
  - CLAIM-228 — 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 (Proposed) — through ARG-017 — also rests on CLAIM-011, CLAIM-381; also argued from CLAIM-011, CLAIM-381
CLAIM-075 — Viability does not establish what ought to persist (Active)
- CLAIM-363 — 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 (Active) — also rests on CLAIM-152
  - CLAIM-518 — 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 (Proposed) — also rests on CLAIM-350
CLAIM-079 — Stability does not entail viability: a system can occupy a stable regime while losing access to trajectories that keep satisfying its constraints (Active)
- CLAIM-195 — 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 (Active)
  - CLAIM-476 — 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 (Proposed) — also rests on CLAIM-419, CLAIM-469, CLAIM-479
    - CLAIM-472 — 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 (Proposed) — also rests on CLAIM-363
CLAIM-080 — The agent is independently warranted: the account asks how a given agent’s practical efficacy is organized, not what makes something an agent (Active)
CLAIM-082 — A term’s value, as distinct from its signification, is fixed by its contrasts with the coexisting terms of its system (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 (Superseded)
CLAIM-086 — A constraint may govern conduct without governing the conditions under which it remains authoritative (Active)
CLAIM-090 — 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 (Proposed)
- CLAIM-068 — Repeated reconstruction is attraction toward conventional regions of communicative possibility: pragmatic stances, not only lexicon and grammar, can be stabilized by transmission (Proposed)
CLAIM-106 — Pragmatic fidelity is a graded, potentially asymmetric property of transport, not an equivalence relation; equivalence is its zero-distortion limit (Active)
- CLAIM-056 — 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 (Active) — also rests on CLAIM-267
  - CLAIM-059 — 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 (Proposed) — also rests on CLAIM-068, CLAIM-267
  - CLAIM-081 — 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 (Active) — also rests on CLAIM-270
  - CLAIM-114 — 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 (Proposed)
- 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 (Superseded)
- CLAIM-128 — 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 (Proposed) — also rests on CLAIM-371
- CLAIM-242 — 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 (Proposed)
  - CLAIM-220 — 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 (Proposed) — through ARG-040 — also rests on CLAIM-050, CLAIM-061; also argued from CLAIM-050
    - CLAIM-078 — 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 (Proposed)
CLAIM-112 — The operational account does not say that meaning is nothing but observable behaviour, nor that no stable content exists because interpretation is context-dependent (Active)
CLAIM-121 — A transport whose local kernels commute with restriction maps overlap-consistent source models to overlap-consistent target models (Active)
CLAIM-132 — Characters classify finite-dimensional representations of a finite or compact group up to isomorphism only over a field of characteristic zero; they forget the isomorphisms, fix neither the group nor a permutation action, and classify kinds, not tokens or positions (Active)
CLAIM-135 — 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 (Active)
- CLAIM-454 — 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 (Active) — also rests on CLAIM-414
  - 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 (Proposed) — also rests on CLAIM-135, CLAIM-414
CLAIM-140 — The October thesis replaces what a receiver can reconstruct with what the analyst’s probe system can identify as the test of what survives, and no turn argues the change (Active)
- CLAIM-211 — Read as worded, the manuscript’s thesis and the October thesis give rival answers to what survives, which come apart in both directions on the cases of the receiver objection, yet the record links them by complements and scopes the October thesis to a question its fidelity clause does not stay inside (Active)
- CLAIM-223 — 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 (Active)
  - CLAIM-450 — 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 (Active) — also rests on CLAIM-199
CLAIM-141 — Causal-loop consistency and sheaf contextuality are both local-to-global problems, but passing to distributions affects them oppositely: a loop with no deterministic solution has a distributional fixed point, while a model with no global section in its supports has no global distribution either (Active)
- CLAIM-342 — 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 (Active) — also rests on CLAIM-330
  - CLAIM-402 — 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 (Active)
  - CLAIM-413 — 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 (Active)
CLAIM-150 — An ontology of intrinsically individuated objects with relational properties can reproduce the categorical and operational identifications, and the predictions, of a relational one, so identification underdetermines constitution (Active)
CLAIM-152 — 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 (Active)
- CLAIM-157 — 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 (Proposed) — also rests on CLAIM-154, CLAIM-164
  - CLAIM-174 — 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 (Proposed) — also rests on CLAIM-154
    - CLAIM-367 — 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 (Proposed) — also rests on CLAIM-027, CLAIM-152, CLAIM-170
- CLAIM-405 — 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 (Active)
  - CLAIM-477 — 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 (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 (Proposed) — also rests on CLAIM-331
  - 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 (Proposed) — also rests on CLAIM-522
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 (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 (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 (Active)
CLAIM-154 — 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 (Active)
- CLAIM-332 — 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 (Proposed)
CLAIM-160 — 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 (Proposed)
CLAIM-164 — 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 (Active)
CLAIM-169 — 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 (Proposed)
- CLAIM-162 — 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 (Proposed) — through ARG-016
  - CLAIM-441 — Flow tells against the potential account’s condition that valence is undefined where no pair is contested: on the record’s own account of flow nothing is overridden because an activity’s immediate reward and its longer-run value coincide, yet flow is reported as positive, so either flow’s positivity is intrinsic pleasantness and not goal-conduciveness valence, or flow keeps contested pairs its processes settle among themselves, or the positivity comes after the episode and not during it, or the condition is wrong (Proposed)
- 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 (Proposed) — also rests on CLAIM-197
CLAIM-170 — 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 (Proposed)
CLAIM-177 — 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 (Active)
- CLAIM-178 — 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 (Proposed) — also rests on CLAIM-324
  - CLAIM-183 — 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 (Proposed)
  - CLAIM-189 — Fidelity is the wrong measure of a developing argument: maturing drops and changes things legitimately, so what a record can secure is traceability, change that is announced and located, not preservation (Proposed) — also rests on CLAIM-034, CLAIM-270
- CLAIM-182 — 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 (Proposed)
  - CLAIM-180 — 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) — also rests on CLAIM-177
  - 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 (Proposed) — also rests on CLAIM-002, CLAIM-177, CLAIM-267, CLAIM-270
- CLAIM-185 — 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 (Proposed)
  - CLAIM-176 — 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 (Proposed) — also rests on CLAIM-177, CLAIM-483
- CLAIM-186 — 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)
- 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 (Proposed)
CLAIM-181 — The record fixes the grammar an argument is expressed in, though not its shape: its closed vocabulary of schemes, roles and relations formalizes early, and a move that fits no CLAIM, TERM, ARG or declared relation is forced into one or lost until the misfit is noticed and the grammar amended to hold it (Proposed)
- CLAIM-190 — The anchoring measures are computed in the grammar that shapes the argument, so by themselves they cannot certify that drift fell: drift must also be judged under standards the record did not supply (Superseded) — also rests on CLAIM-264, CLAIM-266
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 (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 (Proposed) — also rests on CLAIM-317
CLAIM-199 — 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 (Active)
CLAIM-263 — 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 (Proposed)
- CLAIM-187 — 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 (Proposed) — also rests on CLAIM-264
CLAIM-264 — 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 (Active)
- CLAIM-322 — 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 (Active)
  - CLAIM-142 — 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 (Proposed) — also rests on CLAIM-011, CLAIM-046, CLAIM-264
    - CLAIM-129 — 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 (Proposed) — also rests on CLAIM-004, CLAIM-061
    - 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 (Superseded) — also rests on CLAIM-011, CLAIM-050, CLAIM-077, CLAIM-143
    - CLAIM-139 — 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 (Superseded) — through ARG-029 — also rests on CLAIM-050, CLAIM-077, CLAIM-135, CLAIM-151; also argued from CLAIM-046, CLAIM-112
    - CLAIM-204 — 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 (Proposed) — also rests on CLAIM-050, CLAIM-077, CLAIM-135, CLAIM-151, CLAIM-217, CLAIM-223
CLAIM-265 — 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 (Active)
CLAIM-266 — 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 (Active)
CLAIM-267 — 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 (Active)
CLAIM-268 — 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 (Active)
CLAIM-270 — 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 (Active)
- CLAIM-225 — Blackwell’s order measures what an ideal decision-maker could do, not what a given receiver can reconstruct, and the line’s claims that a rendering can improve access describe garblings that real receivers do better with, which is the shape of the Blackwell thesis’s own defeat condition (Active)
  - CLAIM-087 — 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 (Proposed)
CLAIM-275 — 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 (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 (Proposed)
CLAIM-279 — 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 (Active)
CLAIM-282 — Forbidding self-endorsement does not stop an operator from amplifying its own authority: under damped recursive delegation, reciprocal and cyclic endorsements recycle authority, so an operator’s authority depends on its own endorsements, while one-hop allocation within an epoch, from budgets and baselines fixed independently of outgoing endorsements, makes it exactly independent of them (Active)
- CLAIM-277 — 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 (Active)
  - CLAIM-297 — 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 (Active) — also rests on CLAIM-275
    - CLAIM-336 — 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 (Proposed) — also rests on CLAIM-279, CLAIM-286
      - CLAIM-338 — 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 (Proposed) — also rests on CLAIM-297
    - CLAIM-341 — 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 (Active) — also rests on CLAIM-275
    - CLAIM-429 — 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 (Active) — also rests on CLAIM-330
  - CLAIM-406 — 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 (Active) — also rests on CLAIM-330
  - CLAIM-443 — 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 (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 (Active)
  - CLAIM-285 — 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 (Proposed) — also rests on CLAIM-282, CLAIM-502
CLAIM-283 — 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 (Active)
- 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 (Proposed)
CLAIM-286 — 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 (Proposed)
CLAIM-287 — 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 (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 (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 (Active)
  - CLAIM-269 — 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 (Active) — also rests on CLAIM-385
    - CLAIM-193 — 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 (Proposed) — also rests on CLAIM-264
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 (Active)
- 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 (Active)
  - CLAIM-401 — 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 (Active) — also rests on CLAIM-152, CLAIM-348, CLAIM-397
CLAIM-317 — 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 (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 (Active)
CLAIM-324 — 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 (Active)
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 (Active)
- 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 (Active)
  - CLAIM-404 — 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 (Proposed) — also rests on CLAIM-330, CLAIM-342, CLAIM-348, CLAIM-410
    - 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 (Proposed) — also rests on CLAIM-025, CLAIM-027, CLAIM-354, CLAIM-424, CLAIM-485, CLAIM-523, CLAIM-533
      - 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 (Proposed) — also rests on CLAIM-170
- CLAIM-400 — 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 (Active)
  - CLAIM-444 — 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 (Proposed)
CLAIM-331 — 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 (Active)
- CLAIM-423 — 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 (Proposed)
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 (Active)
- 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 (Active)
CLAIM-350 — A coarse-graining preserves a deterministic judgment exactly when the judgment is constant on its fibres: the judgment then factors through the coarse description, uniquely on its image, and otherwise two states the judgment tells apart have been merged (Active)
- CLAIM-407 — 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 (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 (Active)
  - CLAIM-409 — 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 (Active)
- 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 (Active)
CLAIM-365 — 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 (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 (Active)
CLAIM-385 — 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-397 — 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 (Active)
CLAIM-414 — 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 (Active)
- CLAIM-417 — 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 (Proposed) — through ARG-025
- CLAIM-427 — 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 (Superseded)
- CLAIM-519 — 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 (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 (Proposed) — also rests on CLAIM-513
- CLAIM-540 — The persistence a Dirichlet–categorical hierarchy gives a run of selections is an observer’s learning about a fixed mixture, not a change in what selects: under a uniform prior an observed first choice raises the predicted chance of repeating it from 1/2 to 2/3, while the same choice forced leaves it at 1/2, so the hierarchy’s reinforcement is not evidence of self-formation or of a maintained will-organization, which need the mixture itself to change under the choice (Active)
CLAIM-415 — 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 (Proposed)
CLAIM-419 — The record’s grammar is fixed at any moment but amendable by decision, and in practice a move that fit no scheme or relation has repeatedly been treated as a defect of the grammar and answered by amending it, so a move the grammar cannot hold is not only forced or lost; whether every such move is caught is not shown (Active)
- CLAIM-469 — 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 (Active) — also rests on CLAIM-479
CLAIM-436 — 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 (Active)
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 (Active)
CLAIM-486 — A rendering can keep the communicative act while changing the proposition, so preserving the proposition is not necessary for preserving the communicative event (Proposed)
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 (Active)
CLAIM-513 — Across a family of goals, a world model is not an optional explanation of competent behaviour: in a fully observed, finite, communicating, stationary environment, a goal-conditioned policy within a factor 1 − δ of optimal on every composite goal of depth n fixes every transition probability to within √(2P(1 − P)/((n − 1)(1 − δ))), so observers reading the same policy must ascribe the same world model; what it leaves open is whether a predictive component is realized inside the agent, since a lookup table over histories and goals has the same policy (Active)
CLAIM-522 — 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 (Active)
- 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 (Proposed)
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 (Proposed)

From 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‖

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‖ (Active)
- CLAIM-063 — 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 (Proposed) — through ARG-006

From 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)

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) (Active)
- 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 (Proposed) — also rests on CLAIM-388, CLAIM-480
CLAIM-388 — 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 (Active)
CLAIM-470 — 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 (Active)
- CLAIM-475 — 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 (Active)
CLAIM-480 — 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 (Active)
- CLAIM-471 — 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 (Active)
  - CLAIM-473 — Coupling locally described systems necessarily induces a separation of time scales between their collective behaviour and their relative behaviour (Rejected)
  - CLAIM-474 — 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 (Proposed) — also rests on CLAIM-470, CLAIM-475, CLAIM-480, CLAIM-481
- 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 (Proposed)
CLAIM-481 — Coupling does not by itself separate time scales: two identical undamped oscillators coupled with stiffness k have normal modes at ω₀ and √(ω₀² + 2k), nearly equal when k ≪ ω₀², and neither decays; separation comes where the coupling dissipates relative differences faster than collective ones, as in ẋ = −ax − k(x − y), ẏ = −ay − k(y − x), whose collective and relative modes relax at rates a and a + 2k, and in a Laplacian flow ẋ = −κLx, where the spectrum of L sets the rates (Active)

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 (Active)
- CLAIM-451 — 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 (Proposed)
- CLAIM-482 — An organization’s aggregate revealed preference exists exactly when its record of winning moves never cycles, and where it exists it is fitted to one regime of authority, so an intervention on authority that changes the winning moves changes the fitted preference and the preference does not predict the change (Active)

nucleation

Explorer

Lines of argument

Graph View

authenticity

From 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

distributed-agency

formal-apparatus

From 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

learned-structure

nucleating-argument

From 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

pragmatic-transport

From Lévi-Straussian transformational analysis, as Descola reads it and as it has been modelled computationally, is direct prior art for structural transport, not only a philosophical precursor

From The contribution is not that translation is pragmatic or that speech acts change contexts, but a specified, testable account of which communicative distinctions a translation preserves

From No result from the exchange’s four experiments reached a later draft: the authored chains were excluded by rule, and the synthetic constructions were dropped without a stated reason

From A language model’s response to a context is functionally a parameterized pragmatic frame

From Interpretive framing operations generally do not commute, and this can be investigated without committing to quantum probability

From The manuscript argues only that preserving the proposition is insufficient; that it is also unnecessary rests on an argument the exchange gave and the manuscript leaves out

From Kirby, Cornish and Smith show structure emerging under transmission with an experimenter’s filter, not filtering by measured inductive biases, and Griffiths and Kalish’s convergence to the prior holds only for sampling learners

From A framing effect in a language model is a property of that model under those prompts, and what a translation ought to preserve is a normative question that model response distributions, being descriptive, cannot settle

From Functional and relevance-theoretic accounts of translation, as Nida, Nord and Gutt state them, need not fix one context or a static stance profile of the rendering

will-organization

From Explaining practical efficacy does not settle whose the will is

From 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

From 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

From 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‖

From 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)

Backlinks

Table of Contents

nucleation

Explorer

Lines of argument

Graph View

authenticity

From 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

distributed-agency

formal-apparatus

From 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

learned-structure

nucleating-argument

From 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

pragmatic-transport

From Lévi-Straussian transformational analysis, as Descola reads it and as it has been modelled computationally, is direct prior art for structural transport, not only a philosophical precursor

From The contribution is not that translation is pragmatic or that speech acts change contexts, but a specified, testable account of which communicative distinctions a translation preserves

From No result from the exchange’s four experiments reached a later draft: the authored chains were excluded by rule, and the synthetic constructions were dropped without a stated reason

From A language model’s response to a context is functionally a parameterized pragmatic frame

From 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

From Interpretive framing operations generally do not commute, and this can be investigated without committing to quantum probability

From The manuscript argues only that preserving the proposition is insufficient; that it is also unnecessary rests on an argument the exchange gave and the manuscript leaves out

From Kirby, Cornish and Smith show structure emerging under transmission with an experimenter’s filter, not filtering by measured inductive biases, and Griffiths and Kalish’s convergence to the prior holds only for sampling learners

From A framing effect in a language model is a property of that model under those prompts, and what a translation ought to preserve is a normative question that model response distributions, being descriptive, cannot settle

From 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

From Functional and relevance-theoretic accounts of translation, as Nida, Nord and Gutt state them, need not fix one context or a static stance profile of the rendering

From 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

will-organization

From Explaining practical efficacy does not settle whose the will is

From 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

Sharing no line

From 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

From 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‖

From 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)

Backlinks

Table of Contents

Sharing no `line`