Lines of inquiry — A named line of the record’s own argument, so that a line can be set aside as a whole and what depends on it can be found. Retracting a line is a status change on its members, never a deletion (ADR-032).
Contextual pragmatic information transport — what survives when an utterance is translated, retold or rendered in another medium — communicative identity as relationally organized observables, and fidelity as directed, task-relative transport between observational systems.
221 of 547 CLAIM documents. Back to the full index.
| # | Title | Summary | Status |
|---|---|---|---|
| CLAIM-001 | The conditional-diffusion literature already covers directed transport between observational scenarios, including changing covers | The owner at U34, quoting A93’s research opportunity: “I think conditional diffusion literature has us covered here.” Accepted for compositional conditioning and transport between distributions; never shown for changing covers, and limited by A97 itself. | Proposed |
| CLAIM-002 v2 | A text’s identity across retellings is a family of relations, namely identity of the artifact, continuity of transmission and similarity of communicative function, which is why a distant retelling can be recognizably descended from an original it no longer resembles | A52 §13.5 with A50 §7, recovered. A50 called the point that “the act of translation changes the conditions for subsequent translation” possibly “the most consequential”. The manuscript keeps a family of transformations but not the three relations. | Active |
| CLAIM-004 v2 | Not every difference between translations is a difference of frame: some change the act being framed | A18’s passive/active distinction, recovered. It outlived the act object it presupposed: A38 §7.2 and A40 §9.2 used it to undercut the relativity analogy. It fell out with the relativity section, which the manuscript omits, not by refutation. The manuscript’s four-way split (§4) names structural reorganization but gives no criterion. | Proposed |
| CLAIM-005 v3 | Pragmatic fidelity is the match between distributions of context-indexed communicative judgements across a correspondence of source and target contexts, not the similarity of one canonical meaning vector; the match constrains a translation only once one outcome correspondence is fixed across many items, and summed over source contexts alone it charges for loss and not for addition | A24’s D(τ), the origin of the transport framework, and the manuscript’s L_obs (§6). One of three terms of the manuscript’s fidelity functional. | Proposed |
| CLAIM-006 | What fundamentally distinguishes variations of a translation is the frame from which it is delivered | The owner’s first thesis (U6). Narrowed, corrected and restated in speech-act terms over A11–A14, losing “the main thing” on the way, and replaced by the manuscript’s weaker claim that proposition preservation is neither necessary nor sufficient. | Superseded — by CLAIM-061 |
| CLAIM-007 | In a bridge or chain of progressive reconstruction the path itself is observable: which constraints survive early, which are introduced late, and which relations emerge only through refinement | A97 §3 on Schrödinger bridges, recovered. The manuscript keeps the bridge only as “a complementary path-space viewpoint” (§7); the programme of observing the path was dropped without critique. | Proposed |
| CLAIM-008 | The abstract similarity between renderings is similarity of higher-order latents, which can survive large differences in lower-order ones | The owner’s U27 request and A73’s answer: a hierarchy of latents up to a relational configuration, with D_prag, D_dyn and local versus global distances. Superseded at U28 when the owner made the levels levels of observables. | Superseded — by CLAIM-042 |
| CLAIM-009 | Pragmatic judgements may be formally contextual: their context-relative distributions may admit no global extension once direct context effects are accounted for | A24’s “contextuality hypothesis, which remains open”, and A30’s H2. The manuscript keeps it as a possibility its empirical programme tests (§3, §9, §10) and disclaims any presumption that it holds. | 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 | The assistant’s own objections at A34 §3 and A40 §6.4, with the remedy of A40 §VIII. Recovered: the manuscript keeps the intertwining identity but states neither limit nor remedy, apparently by inadvertence. | Active |
| CLAIM-013 v2 | Existing text-to-image benchmarks evaluate object presence, attributes and whether spatial or interactive relations are depicted, not the stance, social alignment or uptake an image conveys, and need extending to pragmatically consequential relations and social uptake | The manuscript’s §10, Case III, which calls T2I-CompBench and GenEval object-centered baselines. CLAIM-097 qualifies that for T2I-CompBench. | Proposed |
| CLAIM-014 | Krifka’s performative updates fix which changes in conversational standing count, and Blackwell comparison tests whether a rendering preserves the information needed to recover them | A93 §5, recovered: “could become one of the manuscript’s distinctive theoretical integrations.” Krifka was in C6’s references and A93’s priority list (ninth) and is absent from the manuscript and the record. | Proposed |
| CLAIM-015 | Classical structuralism studies relations within a system, whereas this theory makes the transport of relational systems its object and does not require structure to remain invariant | A102’s contrast under U36, objected to by the owner at U37 (“symmetry is a kind of invariance, no?”) and conceded at A105: “My earlier contrast between structural invariance and structural transport was too sharp.” | Superseded — by CLAIM-113 |
| CLAIM-017 | What survives translation is the invariants, and approximately preserved relations, of communicative transformation | The crystallized argument’s final thesis (A110, U38). The manuscript’s answer, written three minutes later in C7, is receiver-relative: what “a receiving system can still reconstruct and act upon”. No turn announces or argues the change. | Superseded — by CLAIM-115 |
| CLAIM-019 v2 | 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 | A102 §2, recovered: Lévi-Strauss treated myth variants as related by transformations, and “Recent computational work has explicitly modeled his analysis”. The manuscript §2 mentions Lévi-Strauss’s transformations but cites neither Descola nor the computational work. | Active |
| CLAIM-020 | A translation’s quality is the number of formal and semantic constraints it preserves | Hofstadter’s starting criterion, as A4 reports it, and the Pareto- frontier picture of fidelity around it. Refuted in the same reply by the mother’s translation. | Rejected |
| CLAIM-023 v2 | 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 | Disclaimed from A35 §9 on and sharpened at A40 against Gutt and Krifka. The manuscript §1 keeps it (“not the claim that each individual ingredient is novel”) and cites Gutt, but drops Krifka, whom four replies named as the closest prior art. | Active |
| CLAIM-026 | Translation is not the transmission of an invariant semantic object but the selective preservation of decision-relevant information across changing observational and interpretive structures | A86’s “deeper thesis” under U31, with its dynamical complement. Renamed the framework “contextual pragmatic information transport”, the manuscript’s subtitle from C6 on. Superseded at U35 by proposal v6 (A100); the manuscript’s closing sentence is its descendant. | Superseded — by CLAIM-048 |
| CLAIM-028 | No result from the exchange’s four experiments reached a later draft: the authored chains were excluded by rule, and the synthetic constructions were dropped without a stated reason | What became of E1–E4. C6 Appendix F made the provenance caveats a rule (“Do not use assistant-authored examples as independent LLM samples”), and A89 called C6 “a theoretical manuscript with a specified empirical program”. The synthetic results of E1 were legitimate existence constructions and their loss is not explained. | Active |
| CLAIM-029 v3 | A language model’s response to a context is functionally a parameterized pragmatic frame | The owner at U17, offered as a motivating example “maybe even just for notational purposes”. The assistant made it the primary formal example (A43), then one running case of three (A52). Its formal statement, frame as a parameterized family of contexts, did not survive outline v4. | Proposed |
| CLAIM-031 | A reconstruction chain reorganizes observational constraints rather than only accumulating metric error: a text can change greatly while keeping a few consequential constraints, and one changed constraint can change the act | A75’s self-critique of the metric drift bound, “something our earlier metric formulation obscured”. The manuscript keeps the bound and a soft form of the limit (§8: invariants, decision risks and compatibility structures “need not coincide”). | Active |
| CLAIM-033 v4 | In published translations, renderings that lose distinctions along one dimension commonly gain specificity along another, so loss is not one-dimensional | A75, recovered: transport maps region to region, and “the translation can broaden conceptual possibilities while narrowing interpersonal interpretation”. Dropped with the region picture’s replacement by sections, without critique. | Proposed |
| CLAIM-034 | Fidelity is one evaluative goal among adaptation, critique and parody, and a deliberately adaptive translation calls for one-way simulation of the source’s relevant possibilities rather than equivalence | A38 §11.5 and A40 §7.3, §14.2–14.3, recovered. Dropped with the bisimulation section and the ethics discussion, apparently by inadvertence; the manuscript keeps only that transport is directed. | Proposed |
| CLAIM-035 v2 | 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 | A18’s own limit on its analogy: “the physics analogy has a hard limit.” Accepted at once. Its content reached the manuscript as the semigroup of §4. | Active |
| CLAIM-036 | Communicative meaning is constituted through systems of distinctions and relations, and translation transports these systems, selectively preserving or transforming their differential, probabilistic and interactional structure | A102’s thesis under U36 (“feels like there’s a connection to structuralism here”). Structuralism became the philosophical foundation; its contrast with transport was overstated and conceded at U37. | Superseded — by CLAIM-108 |
| CLAIM-037 v4 | Formal contextuality is a failure of global extension, distinct from ordinary context dependence, and needs Contextuality-by-Default when marginals shift with context | The manuscript’s §3 and §9. It separates three things: context dependence, stochastic noncommutativity, and contextuality as an obstruction to a global section. Its note of 2026-10-29 names the version it should cite: CbD 2.0 (LIT-831). | Proposed |
| CLAIM-038 v3 | A communicative object is a context-indexed system of empirical constraints over a cover of contexts, and these need not extend to one globally realizable interpretation | A78, after the owner’s U29 pointer to this record’s sheaf- contextuality readings, which the assistant said it “couldn’t reopen”. The manuscript §3: “an empirical model can remain well-defined even without a global hidden meaning state.” | Active |
| CLAIM-040 | Symmetry is a kind of invariance, and Noether’s theorem is the point: invariance under transformation yields conservation | The owner at U37, quoting A102’s “We do not require the structure to remain invariant”: “symmetry is a kind of invariance, no? isn’t that part of the point of Noether Theory?” Conceded at A105. Its Noether half was limited by the assistant in the same reply. | Active |
| CLAIM-041 v2 | Context-sensitive interpretation, order effects and noncommuting framing operations do not by themselves establish nonclassical probability or quantum contextuality | Built over A21–A30, against the assistant’s quantum move and then the owner’s U13. The manuscript §9 states it. Its strongest ground, the record’s THEORY-013, is not cited in the manuscript. | Active |
| CLAIM-042 v2 | The levels at which communicative observables exist organize observables, not objects: a communicative object is identified jointly by constraints from observables at several levels, which, where those observables share one state space, is the intersection of the regions they pick out | The owner’s correction at U28, accepted by A75 as “a more fundamental formulation”. The manuscript §2: observations “are not ordered into one strict ontological ladder”, and “An identified communicative object may be represented by an intersection of such regions.” | Active |
| CLAIM-043 | Equal entropy does not entail equal relational structure, and a collection of local entropies need not characterize global compatibility | A86 §4. The manuscript §5 keeps its example: perfect correlation and perfect anticorrelation of two fair binary observables have equal entropy and reverse a fundamental relationship. | Active |
| CLAIM-044 v2 | Ambiguity and contextuality are different phenomena: an ambiguous utterance admits several compatible global assignments, a contextual one admits none | A81 §3.4 and A82 §8.7, recovered. The manuscript keeps the contrast between context sensitivity and contextuality but not this one, between too many global readings and none. Dropped at C6 without critique. | Proposed |
| CLAIM-046 v2 | Different hidden-state models can produce identical observations, so pragmatic identity and fidelity should be defined on observable responses before any equivalence of internal states is assumed | The reason for the A39 restructure, made under U16: put “observational equivalence at the center of the formal theory”. The manuscript is built on it: observables are operational, no latent coordinate is primitive, and latents are validated by prediction (§2–3). | Active |
| CLAIM-048 | Communication transports structures of observational constraints rather than invariant semantic objects, and translation, language-model reconstruction and conditional image generation are realizations of one process | Proposal v6 (A100, under U35), Contextual Information Transport Across Language, Images, and Communicative Frames. It made conditional generation “part of the central theory, not merely an application at the end”. Revised at A102 with structuralism. | Superseded — by CLAIM-036 |
| CLAIM-049 v2 | An adaptive interpreter’s state includes its message, context knowledge and learned parameters, and learning can make some relational invariants more stable and others less | A110 §22, recovered, with its case: a translator familiar with an underworld genre conserves its affiliative humour, a naive one turns it into a moral statement. The manuscript keeps one sentence (§11) on adapted receivers. | Active |
| CLAIM-050 v6 | For report fidelity, fidelity is relative to the communicative decisions receivers make, and Blackwell’s order on rendering procedures, over a designed distribution of situations, makes precise the ceiling a rendering sets on those decisions | The manuscript’s §5: rate–distortion makes coding cost explicit, Blackwell comparison (restricted to a family Q of communicative decision problems) makes fidelity operational, and decoder side information is a Wyner–Ziv problem. | Active |
| CLAIM-051 | Fidelity is always fidelity with respect to some selected structure: a specified family of communicative observations, interventions and permitted continuations | A35 §8, “Hofstadter’s central insight at a more abstract level”, and A40’s “Revised central proposition”. The manuscript makes fidelity relative to the receiver’s decisions and states the choice of observables to be normative. | Superseded — by CLAIM-050 |
| CLAIM-052 v4 | Interpretive framing operations generally do not commute, and this can be investigated without committing to quantum probability | A30’s H1, “pragmatic noncommutativity”, what the owner’s U13 claim became. Manuscript §9: order-dependent framing “is central to pragmatic reconstruction”. | Proposed |
| CLAIM-053 v3 | 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 | The crystallized argument §1 said “not sufficient”; the manuscript §1 says “neither necessary nor sufficient”. Its own example shows only insufficiency. The case against necessity is A12’s asymmetry and A24’s compensation hypothesis, neither in the manuscript. | Superseded — by ARG-021, ARG-020 |
| CLAIM-054 | A translation can preserve interpretive content while failing as a social act: interpretive and performative fidelity come apart | A35 §7, recovered. Last present at A35; the distinction is not named again in A38–A40, which speak of social constitution and joint states instead, and “performative” does not occur in the manuscript. Apparently dropped by inadvertence, never argued against. | Proposed |
| CLAIM-055 | The pragmatic identity of an utterance is partly constituted by the context-dependent transformations it induces, so pragmatic fidelity is an approximate structure-preserving correspondence between source and target dynamics | The thesis of the U14 replies (A33–A35), which shifted the invariant from attributes to transformations. Revised at A40 into an observation-relative form, and replaced in the manuscript by the observables thesis. | Superseded — by CLAIM-083 |
| CLAIM-056 v4 | Local transport errors in a reconstruction chain are bounded by the per-step discrepancies weighted by the sensitivity of the later reconstructions, so the same local error can be damped, accumulated or amplified, and local similarity can coexist with large global drift; the bound measures departure from a reference transport, not whether the act survives | A50 §2–3, kept nearly verbatim in outline v4 and the manuscript §8. The manuscript later restricts the expansive regime: for stochastic kernels in total variation, contraction coefficients do not exceed one. | Active |
| CLAIM-058 v2 | Context-conditioned language models give a controlled computational setting in which the theory’s frame, order and transport effects can be tested before human studies | A45 §8: “Put the three LLM experiments before the human-participant studies, positioning the former as controlled computational tests and the latter as external validation.” The conclusion of the U17 analogy, limited by the circularity objection. | Proposed |
| CLAIM-059 v3 | Repeated reconstruction chains fall into different regimes under conditions assigned in advance, contracting toward conventions, accumulating neutrally or amplifying, and amplification needs a metric other than total variation, an enlarged state or state-dependent dynamics | A50 §3, A52 §5.3 and the crystallized argument §19, recovered. The manuscript and C7 Appendix B keep the corrected bound and the remark that κ ≤ 1 in total variation; the taxonomy and its third experiment’s test were dropped. | Proposed |
| CLAIM-061 v3 | Renderings that keep the proposition can perform a different communicative act, so preserving the proposition is not sufficient for preserving the communicative event | Manuscript §1, and the Abstract’s “retain its topic while reversing the speaker’s stance, and … change almost every word while preserving the interpersonal relation”. The descendant of the owner’s frame thesis (CLAIM-006) without its ranking; the central thesis (CLAIM-115) rests on it. | Active |
| CLAIM-063 v3 | A transport that approximately intertwines each framing operation approximately preserves their commutator, so the degree to which interpretive perspectives interfere can itself be part of what a translation preserves; on observed responses that degree is the order effect, which the intertwining defects bound only with a readout defect added and which the data identify only through observational distortion | A34 §4, made approximate at A40 §6.4 and stated in the manuscript §9 as the commutator-distortion identity. Its argument is an ARG because A40 limited the inference: the conclusion holds of Φ’s image only. | Proposed |
| CLAIM-064 | A translation reconstructs not only what is said but the situation of its saying | A12’s one-line thesis, recovered. Last stated at A12; it fell out when the vocabulary moved to speech acts (A14) and then to observables, apparently inadvertently, never refuted. | Proposed |
| CLAIM-065 | Pragmatic fidelity is approximate preservation of the ways an utterance conditions, transforms and constrains later interpretation and interaction, across transient framing and learned interpretive dispositions | The thesis of the U17 replies and outline v3 (A45 §10, A48), adding learned dispositions and language models to A40’s observation-relative thesis. Superseded at A50–A52 by the transport thesis. | Superseded — by CLAIM-101 |
| CLAIM-066 v2 | 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 the readings of Griffiths and Kalish (NOTE-599) and Kirby, Cornish and Smith (NOTE-596, Skimmed). The manuscript cites them as showing one thing; they show different things. | Superseded — by ARG-035 |
| CLAIM-067 | If a transport exactly intertwines a generating set of communicative operations, it preserves every trajectory composed from them | A49’s “compositional preservation theorem”, proposed as the paper’s organizing result. True as algebra; superseded at U20 when the owner objected that fidelity is similarity within ε, not equivalence. Its rationale, test generators and infer trajectories, lives on in the drift bound. | Superseded — by CLAIM-106 |
| CLAIM-068 v3 | Repeated reconstruction is attraction toward conventional regions of communicative possibility: pragmatic stances, not only lexicon and grammar, can be stabilized by transmission | A50 §3 and §6, A52 §5.5 and §7.4–7.5, recovered. The manuscript keeps the stable conventional endpoint and one stance-drift example, but not attraction, selection pressures or the extension of iterated learning to footing. Apparently dropped by inadvertence. | Proposed |
| CLAIM-069 v3 | The 2016 Contextuality-by-Default criterion was being replaced by multimaximal couplings as it appeared, and the change matters for observables in more than two contexts | From the reading of Dzhafarov and Kujala 2016 (NOTE-600). The manuscript cites the 2016 paper; its general observational covers need the later version. | Superseded — by ARG-022 |
| CLAIM-070 | Transport induced by one global stochastic kernel carries a global extension of the source model to a global extension of the target model | Proposition II of A84, Proposition B2 of C6, the manuscript’s Proposition 2. Without a common global kernel preservation is not automatic, which leaves open whether transport can create or destroy contextuality. | Active |
| CLAIM-071 | Conditional generation shares a mathematical vocabulary with translation, not a mechanism: denoising time is not telephone-game time, and a generative failure is not a proof of sheaf contextuality | A97’s own two limits, which the manuscript §7 keeps. They became the whole of the claim once generation was demoted from realization to analogue. | Active |
| CLAIM-072 v2 | Saussure says purely differential only of signifier and signified taken apart; the sign as a whole is a positive fact, and signs stand in opposition | From the reading of the Cours (NOTE-594). The manuscript’s paraphrase is right about value and loose about difference, and Saussure’s value is distinct from signification, which the manuscript’s “significance” blurs. | Superseded — by ARG-034, ARG-033 |
| CLAIM-073 | Demonstrating that interpretive framings do not commute establishes that the judgements cannot be described by one ordinary joint probability distribution | The owner at U13, answering A24. Granted for projective measurements, refuted for operations by a classical counterexample (A30) that the owner never contested, so Rejected; what replaced it is pragmatic noncommutativity, which the manuscript keeps. | Rejected — by CLAIM-052 |
| CLAIM-074 v4 | Fidelity is relative to the interpreter’s learning history: what the current context supplies and what earlier experience has left in the interpreter are separate histories, told apart by what they carry and not by whether the change sits in activations or in weights, so fidelity under a fixed interpreter, across interpreters and across states of adaptation are different quantities | A44 §4 and A48 §5.5, recovered. Kept to outline v4 (§9.5); absent from the manuscript, which keeps the context/interpreter split but not its consequence for fidelity. Apparently dropped by inadvertence. | Active |
| CLAIM-076 v2 | Cross-modal chains expose reconstruction because media differ in expressive affordances, and each interpreter, such as a captioner, may add motives and relations that were not present | A110 §21, recovered. The manuscript’s Case III keeps the protocol and drops the reason for it; C7 Appendix D keeps a related control (captioners blind to the source). | Proposed |
| CLAIM-077 v3 | A transport is admissible only if it keeps specified observable distinctions apart, which excludes trivial collapse by construction | A49’s answer to the collapse objection, recovered: d_O(s_1, s_2) > δ implies d_O(Φ(s_1), Φ(s_2)) > δ′. The owner’s U19 strategy at work: define rather than defend. One bullet in outline v4; absent from the manuscript. | Active |
| CLAIM-078 v3 | The theory succeeds if its observational and decision measures predict changes of communicative identity that text similarity misses and follow its compositional predictions across reconstructions; it needs neither quantum contextuality nor exact Noether laws | A110 §X’s success criterion and its closing statement of what remains to be shown, recovered. The manuscript keeps half (Case I: incremental prediction of held-out judgements) and drops the disclaimer and the compositional half. | Proposed |
| CLAIM-081 v3 | Retaining information about the ancestor and drifting in the population’s distribution are different profiles: a chain can forget where it started while staying far from the original, so convergence is not preservation and transmission is not degradation | C1 Appendix D’s two profiles and E1’s two forgettings (A59). The manuscript §11 keeps it in one line (“converge in surface form while diverging in ancestral information”); the named profiles and the synthetic construction are gone. | Active |
| CLAIM-082 v3 | A term’s value, as distinct from its signification, is fixed by its contrasts with the coexisting terms of its system | The manuscript’s structuralist premise (§2), citing Saussure and Lévi- Strauss. CLAIM-072 corrects how it states Saussure. | Proposed |
| CLAIM-083 | Pragmatic translation fidelity is the preservation, under corresponding communicative conditions, of the ways an utterance transforms interpretation, interpersonal alignment and the possibilities for subsequent interaction | The thesis of the revised outline (A40 §XV), with A39’s operational identity: a pragmatically significant difference is a difference in the observable transitions an utterance makes possible. Superseded at A45–A48 by the outline-v3 thesis, which added learned dispositions; the chain runs on through the transport thesis to the manuscript’s. | Superseded — by CLAIM-065 |
| CLAIM-084 v2 | Lexical similarity cannot distinguish preservation of communicative footing from a change of speech-act function, so the primary outcome of a reconstruction study is pragmatic-frame retention judged blind to condition, once a measure of footing and stance has been shown reliable | A63 and A70, drawn from the authored chains. The manuscript §8 keeps it (“The structural measurements are more informative than lexical comparisons alone”) and §10 keeps independent responses and split annotators; the blinding to condition is not stated. | Proposed |
| CLAIM-085 v2 | A framing effect in a language model is a property of that model under those prompts, and what a translation ought to preserve is a normative question that model response distributions, being descriptive, cannot settle | A45 §8–9 and A48 §8.5, recovered. Both limbs went in the de-hedging after U19, though neither is a hedge: one is a design constraint, the other a distinction between normative and descriptive fidelity. The manuscript keeps part of the remedy and neither argument. | Active |
| CLAIM-087 v3 | Cross-modal reconstruction often improves a receiver’s access to an implicit communicative relation beyond the text-only baseline, as when posture or expression conveys solidarity better than the source text’s literal content, though a rendering made without the situation is a garbling and cannot improve what an ideal receiver could do | A97 §6 and A100 §11.10, recovered. The manuscript treats a change of medium only as a risk to relational fidelity (§7), though §11 allows that an adapted receiver may recover an implicit relation. | Proposed |
| CLAIM-088 | Task-sensitive information preservation is established in semantic and goal-oriented communication; what is new is applying it to sheaf-structured pragmatic observations under sequential, context-dependent reconstruction | A86 §9’s priority concession, recovered: “We should build on that rather than present task-sensitive information preservation as an entirely new invention.” Dropped at C6 with the works it named (a survey, Chai et al., Zhao et al. 2025), apparently by inadvertence; none is in the record. | Active |
| CLAIM-090 v3 | Serial transmission is reconstructive and filtered by the transmitters’ inductive biases, so a stable endpoint can be far from the ancestral utterance while remaining interpretable | The manuscript’s §8, citing Bartlett, Griffiths and Kalish, and Kirby, Cornish and Smith together as showing the same thing. CLAIM-066 separates what each shows. | Proposed |
| CLAIM-091 v2 | A translation can reach pragmatic equivalence by compensating for changed social coordinates with changed linguistic ones, so lexical infidelity can be required for pragmatic fidelity | A24’s compensation hypothesis, recovered. Last present at A24 in owner turns U1–U13; the manuscript keeps its consequence (“change almost every word while preserving the interpersonal relation”) but not the mechanism. Apparently dropped inadvertently, never refuted. | Proposed |
| CLAIM-092 | Translation can be posed as a context-indexed information bottleneck: compress the source while preserving information about the responses in each measurement context separately | A86 §2, kept in C6 Appendix C with a sharper caveat, recovered. The manuscript keeps the caveat (§5) and cites Tishby, Pereira and Bialek in its references, but states no bottleneck anywhere in its text. | Proposed |
| CLAIM-093 | Not every invariance of a stochastic or communicative process implies a Noether conservation law: the symmetry principle can be borrowed, a conservation analogue has to be derived | A105, limiting the owner’s U37 appeal to Noether in the same reply that conceded the rest. The manuscript §4 and §11: Noether-type results give “conservation criteria for particular stochastic processes, not a universal conservation law of meaning”. | Active |
| CLAIM-094 | A harmonic observable conserves only its mean, and Baez and Fong show that mean conservation for every initial state does not make an observable a symmetry | From the reading of Baez and Fong (NOTE-598). The manuscript’s Kf = f is the mean-only condition, which the cited theorem’s counterexample shows is weaker than commuting with the generator. | Active |
| CLAIM-095 | Anticipated objections are better met by precise definitions, constructions and results than by hedges | The owner’s methodological instruction at U19, accepted by A49 as “define rather than defend; demonstrate rather than disclaim”, with the guard that it does not mean concealing limitations. Its sweep removed hedges, and with them some substantive points. | Proposed |
| CLAIM-097 v2 | T2I-CompBench is not purely object-centered: its non-spatial relation category already probes interactions, but scores them with CLIPScore and near human ceiling | From the reading of T2I-CompBench (NOTE-592). The benchmark’s interaction category is the nearest existing measurement of what Case III proposes, and its weaknesses are the manuscript’s argument. | Active |
| CLAIM-098 v3 | Translation and cross-modal reconstruction need not be group actions: they form a category or semigroup of directed stochastic transformations, in which invertible symmetries are special cases | Manuscript §4. The one trace the relativity analogy left: symmetry and equivariance for exact preservation, a semigroup of stochastic maps for the rest. | Active |
| CLAIM-100 | Sheaf-theoretic contextuality has to be extended to directed transport between observational scenarios whose covers change, and that extension is the theory’s open mathematical problem | A93 §1’s “Research opportunity” and A94’s bridge question, which the owner quoted at U34. The manuscript concedes the gap (“cover-changing or incompatible maps demand separate analysis”, §6) without posing it. | Superseded — by CLAIM-125 |
| CLAIM-101 | Translation is a context-conditioned transport process that preserves selected structures of communicative meaning to varying degrees while introducing distortions that may accumulate, attenuate or amplify under composition | A50 §7 and outline v4 (A52), after the owner’s U20 objection. The manuscript keeps transport, graded fidelity and drift. Superseded at U30 by the observational-structure thesis of proposal v5 (A81–A83). | Superseded — by CLAIM-124 |
| CLAIM-102 | Variations in translation are transformations between pragmatic frames of reference that preserve selected invariants of the communicative act | A18’s “structural claim”, concluded by the relativity analogy. Replaced by the manuscript’s directed, lossy transformations once the analogy’s group structure was undercut and the frame-independent act dropped. | Superseded — by CLAIM-098 |
| CLAIM-103 | Symmetry is not opposed to transport: exact symmetries are the invertible core of a nested family of transports, and their main use is to supply the invariants against which non-symmetric transports are assessed | A110 §25, recovered. The manuscript §4 keeps “invertible symmetry maps are special cases” and drops the nesting and the yardstick role, apparently by inadvertence. | Proposed |
| CLAIM-105 v4 | In documented reconstruction chains, steps that keep most local judgements commonly change their global compatibility: translation preserves local meanings while changing the global structure of meaning | A78’s thesis for the paper, “potentially the most interesting connection we’ve found”, with Δ_CF, the change in contextual fraction along a chain, as its measure. The manuscript keeps the thesis as its Abstract’s last sentence but drops the measure and the worked examples (at C6, per the chunk-5 reader). | Proposed |
| CLAIM-106 v3 | Pragmatic fidelity is a graded, potentially asymmetric property of transport, not an equivalence relation; equivalence is its zero-distortion limit | The owner’s objection at U20, accepted in full by A50 (“an important correction”) and made the thesis of outline v4. The manuscript §12: “stochastic transport generalizes exact equivalence to graded fidelity.” | Active |
| CLAIM-107 v3 | Under Markov reconstruction kernels, an observable’s expectation is invariant when the observable is harmonic (K f = f), and drifts by at most Σ ε_i when ‖K_i f − f‖∞ ≤ ε_i; on a finite irreducible chain only constants are harmonic | The manuscript’s §4, citing Baez and Fong. CLAIM-094 says what the cited theorem needs that the discrete-time criterion leaves out. | Active |
| CLAIM-108 | Communicative identity is characterized by the observational structures and relations invariant or equivariant under specified classes of transformation, and fidelity by their preservation, deformation or loss | A105’s thesis after the owner’s U37 objection, with the title question restated: “What are the invariants of communicative transformation, which classes of transformation preserve them, and what happens when those symmetries are broken?” The manuscript’s §1 thesis is a softened form. | Superseded — by CLAIM-017 |
| CLAIM-109 | In translation the pragmatic frame does not merely select a description of meaning but participates in determining which meaning becomes actual | A21’s “preferred formulation”, reached by the quantum-cognition analogy. Withdrawn over A24–A30 as the inference was undercut, and replaced by a hypothesis held open for test. | Superseded — by CLAIM-009 |
| CLAIM-111 | A text supports a distribution over possible communicative situations, and a translation can be faithful by preserving that distribution and its response to further evidence | A45 §6, recovered: fidelity as P_o(z | c_o, u_o) ≈ P_t(τ_z(z) | c_t, u_t), “an interesting middle position between our original relativistic account and the later dynamical account”. Dropped at outline v3 without critique. | Proposed |
| CLAIM-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 | A38 §10.1 and A40 §13.1. The manuscript’s conclusion keeps it: the question is “neither whether a translation duplicates an invariant semantic substance nor whether all meanings are endlessly fluid”. | Active |
| CLAIM-113 v2 | Transformations and invariants define one another: translation preserves some structures exactly, carries some equivariantly, preserves some approximately and reorganizes others, and identity is studied through what a class of transformations leaves invariant | A105’s reframing after U37, and the manuscript §4 and §11: “Structural transformations help identify structure through what they preserve”, with a four-way split of exact, equivariant, approximate and reorganizing transformations. | Active |
| CLAIM-114 v2 | Drift along a reconstruction chain can be marked by a pragmatic phase change, the first generation at which a different communicative configuration dominates, which per-step error in surface content does not show | A73, recovered: track local reconstruction error D_local(i) = W(q_(i-1), q_i) apart from cumulative departure D_global(i) = W(q_0, q_i), and look for the generation at which the configuration flips. Dropped when the latents were demoted at U28, without critique. | Proposed |
| CLAIM-115 v3 | What survives translation is the set of communicative distinctions and relations a receiving system can still reconstruct and act upon, not the wording or the proposition | The manuscript’s central thesis (Abstract, §1, §12). It does not say every relation must survive, or that there is one privileged set of observables: the choice of observables and decision tasks is stated to be normative and contestable (§11). | Superseded — by CLAIM-220 |
| CLAIM-117 v3 | Pragmatic fidelity requires preserving the dynamics of interpretation, not only final judgements: a good transport approximately intertwines source and target framing operations under a correspondence anchored to independently measured distinctions | A30’s commuting diagram for pragmatic fidelity, developed in the manuscript §9 as intertwining defects and the commutator-distortion identity. | Proposed |
| CLAIM-118 v5 | Context and interpreter are separate sources of interpretive change, told apart by what each carries and not by mechanism: what the current context supplies, whether held in activations or in weights updated on it and discarded after, is the signal; what earlier contexts have left in the interpreter and it carries into new ones is the interpreter; and improving the signal differs from improving the interpreter | A43’s first point about the U17 proposal, developed at A44–A45 into three sources of change (evidence, transient computation, parameters). The manuscript §5 keeps it in two sentences. | Active |
| CLAIM-119 v2 | Communicative categories form a concept lattice rather than a hierarchy: categories such as affectionate teasing and sarcastic condemnation share attributes and differ in a few social-relational constraints | A75 §7, recovered: formal concept analysis as the direct formalization of the owner’s “objects are intersections of regions”. Absent from A81, C6 and the manuscript without critique. The record holds Ganter and Wille unread. | Proposed |
| CLAIM-120 | Conditional generative systems realize stochastic transports between constrained distributions, and their compositional fidelity depends on preserving the compatibility and relational structure of constraints across media | A97’s “strongest new proposition”, made central by proposal v6 (A100). The manuscript’s Abstract calls conditional diffusion and Schrödinger bridges “generative analogues”, and §7 claims only a shared vocabulary; no turn up to U37 argues for the demotion. | Superseded — by CLAIM-071 |
| CLAIM-121 | A transport whose local kernels commute with restriction maps overlap-consistent source models to overlap-consistent target models | Proposition I of A84, Proposition B1 of C6, the manuscript’s Proposition 1. It concerns marginal consistency, not global noncontextuality. | Active |
| CLAIM-123 v6 | In conditional generation, adding scores composes two conditions exactly when the ratio p(y₁,y₂|x)/(p(y₁|x)p(y₂|x)) does not vary with the noisy state x, which conditional independence of the conditions at that state is sufficient for but does not require | The manuscript’s §7, citing Composable Diffusion, T2I-CompBench and Schrödinger bridges. The readings support it, and the manuscript is more careful than the paper it cites. | Active |
| CLAIM-124 | Communicative objects are characterized through overlapping constraints on observables at partially ordered levels; translation transports these locally constrained structures, and repeated reconstruction changes both local interpretations and their global compatibility | The thesis of proposal v5 (A81–A83, under U30), which put observational structure first: “a global communicative object is no longer stipulated in advance.” Revised at U31 into the selective preservation of decision-relevant information. | Superseded — by CLAIM-026 |
| CLAIM-125 v4 | Directed transport between empirical models whose covers change has two open problems: when it preserves decision-relevant information, and how it extends to signalling data | CLAIM-100 narrowed. Simulations between empirical models already give directed stochastic transport between scenarios whose covers change, and settle when it preserves global compatibility. What is left open is decision-relevant information and signalling data. | Active |
| CLAIM-126 v3 | Model stitching tests whether a transport preserves decision-relevant information only in its reconstruction form: a map fitted to reproduce the target representation certifies one direction of Blackwell sufficiency, while task-loss stitching compares one decision problem through a fixed head, and a failure to stitch is no evidence against sufficiency | Proposed by the record on 2026-10-09 as an operational handle on the decision-relevant half of CLAIM-125, and qualified by the reading of Bansal, Nakkiran & Barak before it was filed: only reconstruction-fitted stitching certifies sufficiency, and only within the map class. | Active |
| CLAIM-127 v3 | Conditioning on a communicative situation, intervening on it and intervening on what the interpreter is told are three different operations, so a framing intervention should index the empirical model, e_C^a = P(Y_C | do(a)), not enter its cover as one more context | The owner’s do() move at U41, formalized at A129 §1 and §5 and restated in the review relayed the same day. A129 keeps three operations apart: conditioning on the situation, intervening on it, and intervening on what the interpreter is told. It keeps one cover, with the empirical laws indexed by intervention. The link to signalling is the record’s extrapolation, and A129’s own graph gives a second route to it. | Proposed |
| CLAIM-128 v2 | No single ranking of translations holds across tasks: where distortion profiles trade off, only a task’s priorities rank them, and the theory of fidelity fixes no weighting | A129 §3, after the owner’s U41 “agreed.” to unifying the fidelity lineages, and restated at A151 §5, A178 Ch9.7 and A203 §22. A translation that keeps social footing and loses rhyme is not ranked above or below one that does the opposite until a task says which matters. It does not say how the components are measured, nor that they are independent. | Proposed |
| CLAIM-129 v3 | A factorization recovers only the structure visible in the relations it is fitted to, so a topic can survive a transformation that changes the communicative act, and a kind must be tested against probe families chosen for their bearing on the act | The assistant’s, at A210 §5 after the owner’s U58, and again at A214 §3–§4. It recurs from U56 (A203 §37) to U60 (A218 H3), so it gets a code. It is CLAIM-004’s distinction between changing the frame and changing the act, in a factorization, and TERM-014’s relativity to a family of measurements, stated for factorizations. It does not say lexical structure is irrelevant to the act, or that a richer factorization cannot capture acts. | Proposed |
| CLAIM-130 v4 | Telling an interpreter about a communicative situation, do(I = a), is a different intervention from changing the situation, do(S = s): only a do(S) intervenes on the relations that would constitute an act, and in a vignette or rating study every manipulation is a do(I) | The owner proposed Pearl’s do() at U41, and A129 §1 drew the distinction. It recurs at A151, A191, A203, A214 and A218. CLAIM-127 is about where the index sits in the formalism; this claim is about what an experiment manipulates. The sharp edge: in a vignette or rating study every manipulation is a do(I). | Active |
| CLAIM-131 | A compatible family of sections of the event sheaf always glues, so where a communicative object lacks a global realization the obstruction lies in its supports or distributions, not in the event sheaf | The assistant at A125 §2 and A129 §2, after the owner’s U41 “double click on this”. It is the standard sheaf property of E(U) = ∏ O_x (Abramsky and Brandenburger). Granted, because it is elementary; it is used against TERM-002’s wording, not against CLAIM-038’s thesis, which version 2 restates to agree with it. | Active |
| CLAIM-132 v2 | Characters classify finite-dimensional representations of a finite or compact group up to isomorphism only over a field of characteristic zero; they forget the isomorphisms, fix neither the group nor a permutation action, and classify kinds, not tokens or positions | Standard representation theory, which the exchange states correctly with its main hypotheses (A194 §1, A198 §§2 and 4, A203 §§5–6, A218 §3.2). This entry adds the limits the exchange left out, and the exact link to Yoneda: a character is a counts-only relational profile, complete because the category is semisimple. Granted, because it bounds the owner’s analogy: priority for classifying kinds up to isomorphism, in the most favourable setting, and no further. | Active |
| CLAIM-133 | Communicative identity is relational continuity under admissible transformation: translation transports relationally organized observational structure, correspondence fixes what can be compared, admissibility which transformations count, and fidelity which communicatively consequential distinctions remain recoverable | The thesis of the assistant’s two consolidations after the U40–U42 review: the state of the argument at U43 (A151) and proposal outline v7 at U49 (A178). The owner asked for “the current state of our argument” and for the proposal to be updated “to account for our progress”, and argued no change. A151 also brings back the identity clause of Superseded CLAIM-108. Filed so that the change of thesis is visible, as CLAIM-017 was. It does not replace CLAIM-115, which no draft has given up, and the October thesis replaced it in turn. | Superseded — by CLAIM-139 |
| CLAIM-134 v2 | A non-eliminative structural realism that keeps relata but denies them any intrinsic identity-fixing feature is the position Chakravartty’s dilemma targets, and granting numerical plurality without relational differentiation, as A194 and A198 do, concedes a non-relational ground of identity | The record’s objection to the owner’s U54 individuation thesis. No one raised it in the exchange. Chakravartty’s fn. 9 names Esfeld and Lam, the position A194 calls “close” (NOTE-149). Leitgeb and Ladyman’s edgeless two-node graph is the hard case the exchange’s examples avoid. The owner’s character move answers the dilemma for kinds and not for identity. | Proposed |
| CLAIM-135 v3 | Recovering latent structure from relational data is three achievements, reconstruction, identification up to stated ambiguities, and constitution of a communicative kind, and identifiability theory reaches the second at most | The assistant’s, at A207 §5 (three profiles) and A214 §1 (three problems, two warrants), kept as A218 §5’s five objects of inquiry. A214 asked for it as a THEORY; it is the record’s own distinction, so it is a claim. It answers QUESTION-001 in part, by naming a failure that question did not. It does not say identified factors are never kinds, or that the second step is open. | Active |
| CLAIM-136 | Communicative acts and their participants exist as relata but have no identity beyond what their relations differentiate: non-eliminative structural realism without primitive identity | The owner’s U54 position, its second part: “Individuated objects exist, but only in so far as they are differentiated by their relata.” Filed scoped to communicative acts and their participants. The assistant placed it “close to” Esfeld and Lam (A194), then weakened it without saying so, from “only in so far as differentiated” to numerical plurality without differentiation (A194 §5, A198 §3, A203 §2). The owner has not chosen between the two versions. | Proposed |
| CLAIM-137 v3 | A communicative kind is identified by an invariant that does not depend on any one realization, as a group character identifies a representation up to isomorphism, once one symmetry group is identified across the realizations by its action on the situation and not by labels of a medium, so that invariant has classificatory priority over any particular realization | The owner’s own position at U54, its first part: “Character’s are “more essential” than the representations that are comprised of them.” It is the first owner-stated answer to QUESTION-021 that takes neither horn. The assistant kept “more essential” in the sense of classificatory priority (A194 §1, A198 §I). A218 weakens it further, without argument, to “may be better guides to its kind”. Since version 2 it says the realizations must share a symmetry group anchored on the situation (CLAIM-249). | Proposed |
| CLAIM-138 v3 | The Newman objection is the collapse objection at the level of ontology, and the remedy offered for both, independently specified relations, concedes that relational structure alone does not fix communicative identity | The exchange drew the parallel itself, four times (A187 §6, A191 §10, A203 §19, A218 Ch2.10). What it did not draw is the cost. The standard answer to Newman adds non-structural input, and so does admissibility, which sits uneasily with the claim that relations constitute identity. The objection presses on the owner’s individuation thesis only if its relations are read extensionally, and it does not touch the “partly” of relational constitution. | Proposed |
| CLAIM-139 v3 | A communicative kind’s identity is grounded in its relational organization rather than in any expression or encoding; statistical methods recover aspects of that organization from restricted observations, translation transports it, and fidelity is which independently identifiable, decision-relevant relational distinctions persist | The thesis of the assistant’s second crystallized argument (A203, at U56), of A214 (U59) and of the October proposal and outline (A218, U60). The owner asked to “layout the full argument”, to “tie it all together” and to “generate a new proposal and outline”, and argued none of it. Unlike CLAIM-017 → CLAIM-115, the change of question was announced (A203 X); the change of criterion was not. A218 replaces the receiver with the analyst’s identifiability (CLAIM-140). Filed scoped to communicative kinds. No draft carries it, so it does not supersede the manuscript’s thesis; on the fidelity clause it is that thesis’s rival (CLAIM-211). | Superseded — by CLAIM-204 |
| CLAIM-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 | CLAIM-115 makes survival relative to “a receiving system”. The October thesis (A218, U60) makes it relative to “independently identifiable” distinctions, and A218 defines identifiability on the analyst’s probe system. The receiver is left in one sentence of A218 §8 and in Ch13.5. Filed by the record’s reading of A218; no turn of the exchange says it. It objects to CLAIM-139 as stated, not to its truth, and it is granted because it is a comparison of texts. | Active |
| CLAIM-141 v2 | 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 | A161, after the owner’s U46, sharpened. A161 saw that a causal loop and a contextual model are “not the same”, but not that they run in opposite directions under passage to distributions, or why. Its parity pattern is LIT-278’s identification of Liar cycles with contextual support tables, which the record holds and has read (NOTE-251). A173 and A178 kept the three kinds of global consistency apart; A218 Ch10.9 keeps the feedback case. | Active |
| CLAIM-142 v3 | Two communicative realizations can agree on every probe in a restricted family without being structurally identical, so observational equivalence is relative to the probes, and only independently justified probes evaluated on held-out cases are evidence that structure was preserved | It began at the owner’s U45 pointer to Yoneda, and A158 §5 gave it its first form. A173, A178 §3.2, A184 §2, A203 §§8 and 14, A214 §3 and A218 Ch7 restate it; A203 calls it “our central epistemic distinction”. The mathematical half is elementary and exact. The substantive half is the realist commitment that communicative identity is not exhausted by any probe profile. It makes TERM-014’s equivalence class probe-relative, and puts a realist reading over CLAIM-046’s methodological ordering. | Proposed |
| CLAIM-143 v3 | Local descriptions that disagree are not thereby incompatible: whether there is an obstruction can be assessed only relative to a specified class of admissible correspondences between their observations, independently validated and not admitted because they remove the disagreement | A164, after the owner’s U47, restated by A173, A178, A203, A214 and A218. Three classes of disagreement (coordinate difference, structural transformation, global obstruction) and an order of tests: fix and validate the correspondence, then ask whether the descriptions extend jointly. A173 proposed it as a design principle; it is a thesis of the line. The relativity example motivates it and is not evidence for it. | Active |
| CLAIM-144 | Inertial observers who disagree about temporal order differ in coordinates, not in a failure to glue: only spacelike-separated events change order between frames, and frames are global charts related by a group action | A164’s correction of the owner’s U47, which is standard special relativity, with two repairs. A164 left out the reading of the owner’s scenario whose answer is invariant (two passings of one marker). And it described frames as patches glued by a cocycle, which they are not: each inertial frame charts all of spacetime, and the frames are related by the Poincaré group. | Active |
| CLAIM-145 v4 | Trope analysis of the kind A155 proposes is Propp’s and Lévi-Strauss’s transformational analysis, whom the manuscript should cite as precursors | The record’s objection to CLAIM-147; no one raised it in the exchange. A155 presents TV Tropes as “the clearest large-scale empirical setting” for the structuralist side of the theory and names neither Propp nor Lévi-Strauss, whom the record reads as the direct precursors. The circularity half recurs in the exchange’s own controls (A178 Study B and Ch12.9), and A218 drops the control. The prior-art half is close to granted. | Active |
| CLAIM-146 | Recovering latent relational structure from an interaction matrix, with no privileged latent coordinates, is decades-old prior art, so the manuscript’s contribution cannot be that recovery | The owner’s prior-art objection at U58 to A207’s closing framing, conceded by A210 in its first sentence and extended by A214 to identifiability and cross-lingual alignment. It is the line’s third in-band prior-art retraction, after CLAIM-019 and CLAIM-100 → CLAIM-125. The concession holds for structure. It does not hold for individual topics, which are recovered only by privileging the nonnegative representation, and uniquely only under separability or anchor-word conditions. | Active |
| CLAIM-147 v2 | A trope is a family of observational profiles joined by admissible transformations around a core of preserved relations, so trope instances can separate structural preservation from pragmatic preservation | A155, at U44, after the owner proposed TV Tropes. A trope is taken to be neither an invariant token pattern nor a semantic label, but a family of observational profiles related by recasting, adaptation, inversion, subversion and parody. Comparing such families tests whether relational measures track communicative identity where surface similarity fails. A178 made it Study B; A191 §8 gave it five manipulations. The record objects that the analysis is Propp’s and Lévi-Strauss’s, and that the catalogue cannot validate it (CLAIM-145). | Proposed |
| CLAIM-148 v4 | A matrix factorization is identified only up to an invertible change of latent coordinates, which weight decay narrows to rotations and nonnegativity to rescalings and permutations plus a data-dependent remainder; such a gauge is not a symmetry of the relational system, and automorphisms of the data act on the factors only when the factorization is identifiable | Drawn by the assistant at A207 §3, made explicit at A214 §6 and kept in A218 (§4.2, Ch5.4–5.9). Granted, because it is elementary, and the record already held its mathematics. The record adds the full list of invariants, the data-dependent freedom of nonnegative factorization, and why identifiability must come before automorphisms and characters. It does not say latent axes are meaningless, or that observed data have non-trivial automorphisms. | Active |
| CLAIM-149 v2 | A probe family that supplies a transformation’s training signal cannot also certify what the transformation preserves: preservation must be shown under probes that were not used to train it | The owner set the frame at U51 (“a useful case study … the projected GAN work”); A184 §§3–4 argued it, with its Experiment C and closing maxim, and A203 §30 and A218 Study 6 keep it. It carries CLAIM-011’s remedy from correspondences to training objectives. Kynkäänniemi et al. (CASE-041) is a documented instance, which the exchange did not know of. The documented support is one training case, in image generation, and one selection case, in translation (CASE-071). | Active |
| CLAIM-150 v2 | An ontology of intrinsically individuated objects with relational properties can reproduce the categorical and operational identifications, and the predictions, of a relational one, so identification underdetermines constitution | The exchange’s own guard, stated six times (A187, A191 §4, A198 §VI, A203 §35, A214 §13, A218 §13). The record adds the stronger, formal form from THEORY-032: the Yoneda lemma presupposes the relata. That suits the non-eliminative choice and gives elimination no support. The ontological thesis needs its own conceptual argument; the mathematics and the experiments cannot supply it. | Active |
| CLAIM-151 v5 | Which communicative act an utterance performs is partly constituted by its relations to participant roles, norms and expected uptake, so a transformation that changes those relations can change the act and not only its realization | The assistant at A187 §3, after the owner’s U52 question about ontic structural realism, restated at A191 §1, A203 §3, A214 §13 and A218 §2. It is argued for social acts, and its argument stops there; the record’s scope does not (version 3), and the general frame is CLAIM-477, of which this is a domain case. Its “representational against constitutive transformation” is CLAIM-004’s distinction re-derived, which it cites. Searle’s status functions (LIT-482) are the nearer held prior art, and “moderate OSR” is the wrong name for it. | Proposed |
| CLAIM-160 v3 | Data written for a potential future receiver has its intended meaning fixed by the write: even if it is never read, what it was meant to say was settled when it was stored | The owner’s claim of 2026-10-11, in their words: “data is written with a potential future receiver in mind. even if the data is never read, its intended meaning was fixed by the write.” It separates when identity is fixed (at the write, relative to a projected receiver) from when fidelity is measured (at a read, relative to an actual one), which the line had left unsettled. It does not say what a text means to a given reader is fixed. | Proposed |
| CLAIM-171 | A stored text means only what its readings make of it: the writer’s projected receiver is one more reading, so an unread text has possible meanings and no fixed one | The record’s anticipated reception-side objection to the owner’s storage claim. Its nearest support in the line is CLAIM-111, a text supporting a distribution over possible communicative situations. No reception theory is held or read. Open: the reply (the joke changed for the reader, not in what it was made to do) works only if the writer’s frame is itself recoverable, and that is QUESTION-031’s problem. | Proposed |
| CLAIM-187 v2 | Whether two systems compute the same way can be tested by quotienting the full admissible symmetry group and measuring what remains: a residual barrier marks a different mechanism, and a feature with no counterpart blocks the comparison | The record’s one fully measured case of “factor out the admissible symmetries, then test what survives”, which the pragmatic-transport line’s questions about invariants under admissible transformation (QUESTION-027, QUESTION-029, QUESTION-036) ask for in the abstract. From five mode-connectivity THEORYs held without links to the line. The carry-over from trained networks to communicative kinds is the filer’s, and is the claim’s weak point. | Proposed |
| CLAIM-193 v4 | A linear probe family can tell apart only realizations whose representations differ in normalized kernel, and kernels fix a representation only up to the symmetry of what is observed: any distinction beyond that is supplied by the analyst | A partial answer to QUESTION-031 for the linear case, from THEORYs the record held without linking them to the line. What a regularized linear readout decodes is a function of the normalized kernel (THEORY-008); kernels fix a representation only up to the symmetry of what is observed (THEORY-004, THEORY-723); an inner product beyond that is a stipulation (THEORY-018); and spectral degeneracy does not identify the symmetry (THEORY-019). Proved results for learned representations; the carry-over to communicative realizations is the filer’s. | Proposed |
| CLAIM-197 | Sections over contexts that do not overlap always glue, so a sense that differs between disjoint contexts is not a gluing failure: a failure needs an overlap carrying sections that disagree, and which families count as covers decides whether anything glues | Dual-filed from MOM-CLM-088 (ADR-037). The sheaf condition says a family of sections that agree on overlaps glues to one global section. Where two contexts do not overlap, agreement is vacuous and they glue. So “tall”, which takes one threshold for people and another for trees, is one global section with the comparison class part of the meaning, not a failure of gluing. A failure needs contexts that overlap and carry sections that disagree there. Which families count as covering is the piece that decides whether anything glues, and a sheaf picture of meaning that does not state it has decided nothing. | Active |
| CLAIM-199 v3 | Blackwell’s order bounds what a rendering makes possible for any receiver, and a given receiver’s access is usable information relative to the rules it can apply, which a garbling can raise for that receiver but never above what the source makes possible | The record’s reconciliation, on 2026-10-10, of CLAIM-225. Both standards are kept, in different roles: Blackwell’s order is the ceiling, and TERM-034’s interpreter-relative fidelity (“relative to an interpreter and its available side information”) is the receiver’s. CLAIM-087’s improvement is a gain in usable information. The nearest held reading is THEORY-176’s “Its loss bounds r’s best attainable risk for that problem from above”, for restricted rules. The example is checkable; whether real receivers show such gains is a proposal. The usable-information literature was not held when it was filed; Xu et al.’s V-information is now read (note of 2026-10-21). It does not say which rule class real readers have. | Active |
| CLAIM-200 v2 | The procedure-level fidelity thesis’s title says observational fidelity is not defined for a single rendering of a single item, which is more than it shows: one source–target pair does not identify the procedure-level score, and a single rendering can still be judged, as a sample of its procedure or by another measure stated as such, as its own body says | The interlocutor’s second refinement at U62 (A240), checked against CLAIM-228’s text and granted on 2026-10-10. Version 1’s title ended “for a single rendering of a single item it is not defined”; its body says only that this measure does not judge a single rendering, and that one is judged as a sample of its procedure or by another measure. Granted because it can be checked by reading. Repaired in CLAIM-228’s version 2, which changes the title only. It does not touch the derivation or the defeat condition. | Superseded — by ARG-017 |
| CLAIM-201 | Over a fixed scenario, a change of global compatibility at small local distortion needs contextual judgements, which the behavioural data read so far lack; the form of the headline those data leave open is a change of cover, in which a rendering makes some of the source’s questions undecidable for its readers and decides others the source left open | The record’s narrowing, on 2026-10-10, of CLAIM-105 after CLAIM-219. It concedes that the record’s reading of LIT-264 finds no contextual behavioural data, so the fixed-scenario form of “Translation may preserve local meanings while changing the global structure of meaning” has no case but a constructed one. It shows why the fixed-scenario form is sharp and why it needs contextuality. It keeps the form the record already names: “Only a change of scenario can make it jump” (CLAIM-105), and manuscript §11’s “A transport may preserve overlaps but change the available measurement cover”. A proposal; its test is the discriminating study. | Proposed |
| CLAIM-202 v2 | What the line adds to functional and relevance-theoretic accounts of translation is measured structure beyond a static pragmatic profile: the context-indexed profile, its response to later framings and its decision relevance predict receivers’ recovery beyond the similarity of static stance and footing ratings | The record’s reply, on 2026-10-10, to CLAIM-233. CLAIM-023 places the line’s contribution in “a specified, testable account of which communicative distinctions a translation preserves”, so the test of that contribution must be against the accounts that already hold the pragmatic point. This restores CASE-005’s three-way selection (semantic, static pragmatic and trajectory similarity), which was gone by A52, with human receivers. A proposal, untested. It does not say the functionalist rivals are wrong. | Proposed |
| CLAIM-203 v4 | The only design for the October thesis builds its outcome in: the act is fixed by whoever writes the items, and the topic-only baseline is built to fail on the critical cells | Found in the record’s audit of the line on 2026-10-10 (empirical lens); no turn of the exchange raises it. CASE-040 “makes the act a manipulated factor rather than an outcome”, so recovering the act recovers the item writer’s intent, close to a manipulation check. Its held-out items are built to “break the familiar correlation”, so a lexical topic model fails on them by construction. And its baseline is topic-only NMF, not the embedding or surface similarity of CLAIM-139’s own defeat condition. Through CLAIM-135 it reaches CLAIM-139’s epistemic clause. CASE-040’s “What it cannot show” covers neither point. It does not say the design is useless as a first pilot. | Superseded — by ARG-011 |
| CLAIM-204 v3 | A communicative kind’s identity is grounded in its relational organization, for which competent participants’ uptake is the standard; statistical methods recover aspects of it from restricted observations; translation transports it; and what persists is what the receivers can still recover, of which the analyst can certify the independently identifiable part | The record’s restatement, on 2026-10-10, of CLAIM-139 after the audit’s objections to it (CLAIM-233, CLAIM-232, CLAIM-244, CLAIM-206, CLAIM-222, CLAIM-246, CLAIM-211). It keeps the four clauses, adds CLAIM-217’s standard to the first and CLAIM-223’s reading to the fourth, and replaces the third defeat disjunct (“no relational structure beyond the observed response profiles is needed”, which CLAIM-206 showed is always met or undecidable) with an observable comparison on transfer. It supersedes CLAIM-139, by the owner’s delegated ruling of 2026-10-29. A proposal, not a finding. | Proposed |
| CLAIM-205 v3 | Functional and relevance-theoretic accounts of translation, as Nida, Nord and Gutt state them, need not fix one context or a static stance profile of the rendering | From the interlocutor’s reading of PR #121 and its reconciliation, relayed by the owner on 2026-10-12. It accepts CLAIM-202 as the line’s principal empirical thesis and objects to its rival set. Narrowed and promoted on 2026-10-30, when Nida, Nord and Gutt were read; the baseline it proposed is CLAIM-504. | Active |
| CLAIM-206 | If a communicative kind can outrun every probe, human same-kind judgements, themselves one probe family, can neither confirm nor defeat the October thesis; if it cannot, the kind does in the tests only what an observational class does, which the record’s term for a kind says it is not | Found in the record’s audit of the line on 2026-10-10 (structure lens, with one point from the empirical lens); no turn of the exchange raises it. The dilemma reaches the epistemic and fidelity clauses CLAIM-139 says the programme does test, not only the ontological clause its “What it does not say” sets aside. Two defeat conditions misfire under it: CLAIM-142’s is met trivially if the judges’ verdicts count as a probe, and CLAIM-139’s third disjunct is either always met or never decidable. It does not say kinds are unreal, and it is not CLAIM-150’s underdetermination of the ontology. | Proposed |
| CLAIM-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 | Found in the record’s audit of the line on 2026-10-10 (formal lens); no turn of the exchange raises it. The manuscript’s kernels K_C map readers’ judgements to readers’ judgements, while a translation is a channel on texts, T(v | u), and TERM-008 records that the two levels are never formally related. For one source and any overlap-consistent target, the constant kernel makes D_obs zero and satisfies naturality. Granted, because it is elementary. It does not say CLAIM-121 or CLAIM-070 is false; it bears on what they are used to support. | Active |
| CLAIM-208 v2 | The compositional predictions are upper bounds whose constants cannot be estimated from serial-reproduction data in a metric fixed beforehand, so the compositional half of the success criterion cannot fail | Found in the record’s audit of the line on 2026-10-10 (empirical lens); no turn of the exchange raises it. The recursion e_n ≤ (∏κ_j)e_0 + Σε_i∏κ_j is a theorem once its constants are the true ones, so a chain cannot depart from it; it can only show a constant was misestimated. A sensitivity κ_i belongs to a reteller’s kernel and needs many retellings of each of several inputs at every generation, where a chain gives one. And CLAIM-059 says amplification “needs a metric other than total variation” (now held as CLAIM-267), so the regime depends on a metric chosen afterwards. CLAIM-078 records that the compositional half was dropped from the manuscript, not that it cannot fail as stated. It does not say error propagation is unimportant. | Active |
| CLAIM-209 | Probes and statistical models recover only the distinctions identifiable from the relational evidence they are given, and a signature sufficient for a stated family of communicative decisions outside the observed probes can be identified when the full latent factorization is not | The assistant’s second thesis at U62 (A240 T2), the positive answer to QUESTION-027. It has now been asserted four times: A214 §7, A218 (RQ3 and the priority theorem target), A232 (§3.2 and F2) and A240. Filed with QUESTION-027’s scope: the unrestricted claim is answered by standard results, so its content is in decisions outside the observed probes. No signature is yet named. A proposal; the owner argued none of it. | Proposed |
| CLAIM-210 v2 | Sharing a kind and being a rendering are different relations: kind-sharing is symmetric and says what is to be preserved, while fidelity belongs to a transport from a given source, so an utterance of the same kind made independently of the source shares its kind and has no fidelity to it | The record’s reply, on 2026-10-10, to CLAIM-246. The October thesis puts fidelity in what persists “through those transformations”, and TERM-043 makes fidelity the distortion profile of a transport. So the objection’s independent utterance I shares the source’s kind and has no fidelity to it, since no transport relates them; the translation T has both. T’s provenance is a fact the transport clause supplies, not something the kind criterion must recover. CLAIM-002’s continuity of transmission concerns the identity of a work, which TERM-040 keeps apart from the kind. Active, because it is read off the record’s own texts. It does not say judges track descent. | Active |
| CLAIM-211 v2 | 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 | Found in the record’s audit of the line on 2026-10-10 (structure lens); no turn of the exchange raises it. CLAIM-140 shows that the receiver’s test and the analyst’s identifiability come apart in both directions, and stops at “It does not say the October thesis is false”. On those cases CLAIM-115 and CLAIM-139’s fidelity clause give opposite verdicts on what survived, yet the two are joined by complements, which says they answer different parts of one question and do not compete, and CLAIM-139 answers only QUESTION-029. Granted: it is a comparison of texts and of the record’s relations. It does not say which criterion is right. | Active |
| CLAIM-212 v3 | Fidelity as a report and fidelity as a re-performance are different decision targets: Blackwell’s order compares a rendering with its source as evidence about the source’s situation, which both readers decide about, while a rendering that re-performs the act in the target’s situation is compared only through a correspondence of situations | The record’s reply, on 2026-10-10, to CLAIM-258, which it reconciles rather than refutes. In report fidelity the parameter is the source’s situation, common to both readers, so Blackwell’s order is defined; the objection’s worked case then gets a precise verdict, incomparability, as CLAIM-128 expects, and a context-aware translator’s non-garbling is compared by the order and quantified by CLAIM-259. The objection is right about re-performance, where CLAIM-091’s compensation lives: there a correspondence of situations is needed (QUESTION-005). For report tasks the task correspondence is the identity, which removes two of CLAIM-218’s points there. A proposal; it does not say which kind of fidelity literary translation aims at. | Proposed |
| CLAIM-213 | A proposed relational kind is a hypothesis about invariance across admissible changes of measurement and context, not an equivalence class under the measurements now available, so realism about kinds gains empirical content as extrapolation to probe families, populations and environments not used to construct them | From the interlocutor’s reading of PR #121 and its reconciliation, relayed by the owner on 2026-10-12. The middle position it proposes between the realist reading of CLAIM-139’s ontological clause and an operationalist one, which it would leave open as a tension rather than resolve. Proposed and not adopted. | Proposed |
| CLAIM-214 | The distribution-over-situations criterion compares each language’s own listener posterior, so it needs no correspondence of alternative sets; that a literal rendering can fail it is the criterion detecting a lost implicature, and a target language may admit no rendering that passes | The record’s reply, on 2026-10-10, to CLAIM-236. CLAIM-111’s criterion is P_o(z | c_o, u_o) ≈ P_t(τ_z(z) | c_t, u_t). On the rational-speech-act model each posterior is computed with its own language’s alternatives, so comparing the posteriors needs no map between the alternative sets. The objection’s worked case is right, and it shows the criterion rejecting a rendering that keeps the literal content and loses a scalar implicature. Active, because it is read off the criterion’s form and checked by arithmetic. It does not say the model is right or that the criterion applies to poems. | Active |
| CLAIM-215 v2 | Communicative kinds are repeatable organizations of relations among participants, norms, commitments and possible consequences, which concrete events realize without being one another, and which kind an event realizes is not exhausted by the intrinsic properties of the expression token | The assistant’s first thesis at U62 (A240 T1; A232’s first proposition and §2), which splits the ontological clause of the October thesis (CLAIM-139) out from the rest and narrows it. The owner asked how to update the theses and argued none of it. Its first two sentences are TERM-040’s definition. Its third is weaker than CLAIM-151: an intention-based account meets it too, so it does not tell relational constitution from that rival. The study cannot test it. A proposal. | Proposed |
| CLAIM-216 v2 | A thesis that conjoins relational constitution, statistical recovery, transport and receivers’ recovery is defeated whole by any one of its empirical findings, though its clauses can hold or fail apart, so the line is better put as separate theses, each with its own defeat condition, resting on one another only where one is a premise of another | The interlocutor’s objection at U62 (A240) to the October thesis (CLAIM-139) and to the record’s restatement of it (CLAIM-204), given as the reason for superseding CLAIM-139: “Separates ontology, statistical recovery, and empirical transport instead of making them rise or fall together”. The record’s replies of 2026-10-10 had already separated the receiver thesis and the incremental thesis; the restatement joined the four clauses again under one defeat condition. Active since 2026-10-30; CLAIM-204 concedes it. It says what would answer it, and does not say an integrative statement is useless. | Active |
| CLAIM-217 v2 | For a communicative kind, the standard of sufficiency is the uptake of competent participants who know the standings and norms in play: a defeasible standard, overridden only where the act’s other constituents diverge from the judges’ verdicts, so a probe family is tested against it, and a kind outruns the families coarser than that standard and the judges only through those constituents | The record’s reply, on 2026-10-10, to CLAIM-206, and the argument CLAIM-247 found missing. Calling a probe family insufficient (CLAIM-142, CLAIM-135) presupposes a standard beyond it. For an act partly constituted by uptake (CLAIM-151), competent participants’ uptake is that standard, and since version 2 a defeasible one: CLAIM-241 is conceded, so the verdicts yield where the act’s other constituents diverge from them. The kind’s extension is the class the standard fixes, and analysts’ families are insufficient when coarser. No test needs a kind that outruns every family. A proposal, resting on a Proposed premise. It does not touch CLAIM-139’s ontological clause, which the programme does not test. | Proposed |
| CLAIM-218 | The task-paired risk difference the record uses in place of Blackwell’s order, D_Q = sup_q |R_q(U) − R_τ(q)(V)|, is a different quantity: it reduces each risk set to one number, needs the losses of paired tasks on one scale, and its absolute value counts improvement as distortion | Found in the record’s audit of the line on 2026-10-10 (formal lens); no turn of the exchange raises it. CLAIM-050 is stated in Blackwell’s order, and the record’s decision term is A86’s D_Q. A risk per task needs a prior or a minimax summary, where Blackwell’s order compares whole risk sets. Subtracting the risks of two tasks needs their losses on one scale, which nothing supplies. The absolute value makes D_Q symmetric, against CLAIM-106. Granted, because each point is elementary. It objects to CLAIM-106 by undermining the measure meant to realize it, not CLAIM-106’s truth, and it does not say a decision term is unworkable. | Active |
| CLAIM-219 v4 | 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 ε | Found in the record’s audit of the line on 2026-10-10 (structure lens); no turn of the exchange raises it. Dzhafarov, Zhang and Kujala (LIT-264) find no contextuality in five kinds of behavioural data, and CLAIM-125 reports that 34 of 90 language systems signal too much to be contextual. If pragmatic data are noncontextual as a rule, CLAIM-105’s defeat condition is met by default; what is left to change is overlap consistency, which is the “trivial sense of contextuality” and is fixed by the local distributions. The only instance of the headline is the stipulated CASE-037. Among the claims LIT-264 is cited only by CLAIM-041, not by CLAIM-105. The objection is open; it does not say a contextual pragmatic data set cannot exist. | Active |
| CLAIM-220 v2 | For a named population of receivers and a stated family of tasks, what survives a translation, retelling or rendering is the set of task-relevant communicative distinctions those receivers can still recover from it, and measured preservation of the pragmatic observables predicts that recovery better than preservation of the wording or of the proposition, with or without its force | The record’s reply, on 2026-10-10, to the audit’s objections to the tests of the manuscript’s thesis (CLAIM-233, CLAIM-232, CLAIM-243, CLAIM-244, CLAIM-226, CLAIM-222). It restates CLAIM-115 as an empirical claim indexed to receivers and tasks, tested against the rival CLAIM-115 itself names, a proposition with its force, on a behavioural criterion and with an interlingual arm that decides. It supersedes CLAIM-115, by the owner’s delegated ruling of 2026-10-29. It is a proposal, not a finding. It does not claim the line’s distinctive machinery is needed: that is CLAIM-202. | Proposed |
| CLAIM-221 v2 | The relational-constitution thesis’s defeat condition describes a standard rival the record holds no counter for, intention-based accounts of illocution, which plausibly meet it for every act in the four-speakers case except the institutional one | Found in the record’s audit of the line on 2026-10-10 (structure lens); no turn of the exchange raises it. CLAIM-151 is defeated by a held account that individuates teasing, reproach and reprimand by the utterance plus speaker-internal states. That is the intention-based line of Grice, Strawson and Bach and Harnish, none of whom the record holds. On it CASE-018’s friend, parent and comedian differ in communicative intention, and only the judge needs norms, which Searle (LIT-482) already supplies. The record’s own model for CLAIM-111 is of this family. The objection is open; it would narrow CLAIM-151 to institutional acts unless an argument from uptake meets it. | Proposed |
| CLAIM-222 v2 | No design in the programme includes an interlingual translation, and the defeat conditions are disjunctive, so English retellings and model chains could settle a thesis about what survives translation | Found in the record’s audit of the line on 2026-10-10 (empirical lens). The workbench entry for 2026-10-10 notes that the title’s question “is left with no translated text in the programme”; no CLAIM says it, and none draws the consequence. Every stimulus set the designs name is English, or names no language; Villon→Henley and Marot→Hofstadter never enter a design. CLAIM-115’s defeat condition ranges over “translations, retellings or cross-modal renderings”, so a result on English paraphrase alone can meet it. It does not say intralingual results are irrelevant. | Active |
| CLAIM-223 v2 | Whether a distinction survived is fixed by what the receivers can recover, and whether it can be shown to have survived is fixed by what the analyst’s probes can identify, so the manuscript’s thesis and the October fidelity clause, read so, answer different parts of one question | The record’s reply, on 2026-10-10, to CLAIM-211, and the argument CLAIM-140 asked for: “the thesis now needs both conditions, or an argument for dropping one”. It keeps both, in different roles. On CLAIM-140’s cases: a distinction identifiable but unusable did not survive for those receivers; one usable but unidentifiable survived without evidence of it. Read so, complements is right on content. A proposal: it is a reading of CLAIM-139, not what A218 says. | Active |
| CLAIM-224 | Under partial relational constitution, a translation always changes the participants, audience and norms that the relational-constitution thesis makes constituents of the act, so whether the act survives turns on a correspondence of relations the structure cannot supply from inside | Found in the record’s audit of the line on 2026-10-10 (structure lens); no turn of the exchange raises it. A translation is addressed to a new audience under new norms, so on CLAIM-151 it changes constituents of the act, and the record’s way out is always a correspondence (“the appropriate relationships”, “corresponding relational organizations”). That makes QUESTION-005 a question about what the act is, not only how to measure it, and the record’s model of translation holds the audience fixed. CLAIM-138 spares CLAIM-151; this applies its point to CLAIM-151 through translation. The objection is open. It does not say acts never survive translation. | Proposed |
| CLAIM-225 v4 | 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 | Found in the record’s audit of the line on 2026-10-10 (formal and structure lenses); no turn of the exchange connects the two claims. A generator that sees only the text makes its image a garbling of the text about the situation, so by Blackwell’s theorem the image is no better for any decision. CLAIM-087 says such an image can improve access. Either that effect is impossible, or judged access is not Blackwell informativeness, and then CLAIM-050’s standard is not the one CLAIM-115’s receiver and its defeat condition use. It meets the shape of CLAIM-050’s defeat condition, not its letter. It is distinct from CLAIM-140, which sets the analyst against the receiver: this sets the ideal receiver against an actual one. | Active |
| CLAIM-226 v2 | The defeat tests pool unnamed judges and treat their disagreement as noise, though the theory makes the act partly constituted by its audience; for historical sources there is no source audience at all, and for interlingual ones population differences are read as distortion | Found in the record’s audit of the line on 2026-10-10 (empirical lens); no turn of the exchange raises it. A theory on which the act depends on its audience predicts structured variation between judges, so averaging a convenience sample measures an unnamed population’s act. The source term of D(τ) for Villon, Henley or Marot can only be a modern reading, and for a live interlingual case the source and target judges are different communities, so the distance confounds population with transport. CLAIM-074 says fidelity differs across interpreters, as a thesis; it is not applied to the tests. It does not say cross-population fidelity is meaningless. | Active |
| CLAIM-227 | No validated measure of footing or stance exists in the record, and the one repeated assignment of footing, the analyst’s own, changed between passes | Found in the record’s audit of the line on 2026-10-10 (empirical lens); no turn of the exchange raises it. Footing and stance are the observables the central theses turn on, yet the only footing judgement made twice of the same texts, the assistant’s labelling of its own four refrains, changed between A38 and A39 without comment (CASE-012), and no design gives judges a definition, a response format, a reliability target or a validation against a known contrast. Granted, because it is a reading of the record. It does not say footing cannot be measured. | Active |
| CLAIM-228 v4 | D_obs restated over a rendering procedure, with one kernel family fitted on some source items and scored on held-out ones and the target term the readers’ response averaged over the procedure’s output, separates rendering procedures that receivers’ task-indexed recovery separates, so restated it measures observational fidelity informatively | The record’s repair, on 2026-10-10, of the manuscript’s L_obs and the profile’s D_obs after CLAIM-207, CLAIM-230 and CLAIM-235. For one pair a constant kernel makes D_obs zero (CLAIM-207); fixed across items, it fits only if the target readers’ responses do not vary with the item. The repair ties the outcome-level kernels to the text channel, makes the transport a property of a procedure (CLAIM-230), and makes deficiency a finite computation over judgement outcomes (CLAIM-235). A proposal: the derivation is elementary, but whether the restated measure is informative is the defeat condition’s empirical question. It does not say a fitted kernel is the translator’s process. | Proposed |
| CLAIM-229 v3 | The footing, compensation and constitution theses ground on invented cases whose readings the assistant assigned, and the case filed for the proposition’s non-necessity holds the words fixed, so it shows only insufficiency | Found in the record’s audit of the line on 2026-10-10 (empirical and structure lenses); no turn of the exchange raises it. CLAIM-061, CLAIM-091, CLAIM-151 and CLAIM-084 list fictional cases in grounds, which ADR-032 makes evidence, while the cases’ own bodies say they show a possibility, and CLAIM-151’s defeat condition asks a rival to predict a variation nobody observed. CASE-018, filed as the necessity half of CLAIM-061, keeps the words fixed, so it shows only that the proposition is not sufficient. Granted: it is a reading of the record. It does not say the theses are false or that invented cases are useless. | Superseded — by ARG-021, ARG-020, ARG-013, ARG-024, ARG-039 |
| CLAIM-230 v3 | Blackwell comparison needs the state each rendering is about, which natural texts do not supply, so a decision measure is fixed by whoever labels the state, and it orders translation procedures, not single renderings | Found in the record’s audit of the line on 2026-10-10 (empirical lens); no turn of the exchange raises it. Testing Blackwell’s order needs the joint law of the situation and the signal. For natural texts the situation is what interpretation recovers, so it comes from the stimulus design, the analyst’s labels or the judges, and decision-relevant information is measured against whoever fixed it. An experiment is a family of distributions, one per state, so a single rendering of a single poem is not one. CLAIM-050’s defeat condition, “one rendering is a garbling of another”, is then not well typed. It does not say a design-based state is illegitimate. | Active |
| CLAIM-231 | On observed responses, a rendering that keeps the response distribution of each order of two framings within ε of the source’s, under an outcome correspondence, keeps the observed order effect within 2ε, a bound identified from data, while the intertwining identity bounds it only through defects of an unidentified state model | The record’s repair, on 2026-10-10, after CLAIM-253. The commutator identity of the manuscript’s §9 holds, and its defects are not identified from data, by the objection’s hidden-bit construction. What can be estimated is the response distribution under each order, so the bound is restated on those: a special case of observational distortion with contexts indexed by framing order. Active, because it is elementary and checkable. It does not say the state-model account is wrong, and it does not identify the defects. | Active |
| CLAIM-232 v3 | Human ratings of stance or footing and human ratings of fidelity of the same renderings share rater construal, scale use and a general impression, which a machine similarity score shares with neither | Found in the record’s audit of the line on 2026-10-10 (empirical lens); no turn of the exchange raises it. Ratings of stance and footing share rater construal, scale use and the reading of one stimulus with ratings of fidelity, and an embedding score shares none of that. The manuscript’s split annotators (§10, as QUESTION-005 reports) remove the shared rater, not the shared construal. It is a second reason, beside CLAIM-233, that the central tests are easy to pass. Open, because a design could answer it. | Active |
| CLAIM-233 v4 | The central theses’ defeat conditions pit them only against embedding, propositional or surface similarity, and two rivals the record holds, functional equivalence as Nida states it and a proposition with its illocutionary force, also predict that judged pragmatic observables beat text similarity | Found in the record’s audit of the line on 2026-10-10 (structure and empirical lenses); no turn of the exchange raises it. Every thesis-level defeat condition in the line has one form: human judgements of fidelity or of shared kind are predicted as well by a text-similarity score as by the theory’s measures. CLAIM-023 says the pragmatic point is not new, and a functional-equivalence account as Nida states it, or a proposition with its force, passes the same test; Gutt’s relevance-theoretic account, as his thesis states it, does too (CLAIM-501). Granted, because it is read off the texts. It does not say the theses are false, only that their stated tests cannot separate them from the positions they claim to improve on. | Active |
| CLAIM-234 v3 | 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 | Found in the record’s audit of the line on 2026-10-10 (empirical lens); no turn of the exchange raises it. CLAIM-068 extends iterated learning “to speaker footing and communicative conventions”, and no reading the record holds measures a stance or a speech-act function under transmission. Bartlett is unread, and the transmission-chain work on social and affective content is not in the record. Granted: it is a reading of the record. It is minor because CLAIM-068 is off the central chains, and it does not say stances are not stabilized by transmission. | Superseded — by ARG-027 |
| CLAIM-235 v3 | The line’s proposed quantities have no finite-data estimators: plug-in signalling from one or a few occurrences per context is positive in expectation when the true marginals agree, so the contextual fraction is undefined on raw tables, and deficiency over text-valued renderings has no estimator | Found in the record’s audit of the line on 2026-10-10 (formal and empirical lenses); no turn of the exchange raises it. The plug-in signalling of two empirical marginals is positive in expectation when the true marginals agree, so raw tables signal, and the contextual fraction is undefined on them. With one occurrence per context, a non-signalling rank-2 system gives Δ of 0, 2 or 4, with expectation 2: the values NOTE-654 finds in 51 of the 90 systems behind CLAIM-125’s “69 of the 90 systems signal”. The data are author-assigned corpus senses, not judgements. Deficiency over text-valued renderings has no estimator. It does not say signalling is rare in pragmatic judgements, where order effects are themselves signalling. | Active |
| CLAIM-236 v2 | Under the rational-speech-act model the distribution-over-situations thesis grounds on, a form’s interpretation depends on what else the speaker could have said, so matching source and target posteriors needs a correspondence of alternative sets that translation changes and no entry names | Found in the record’s audit of the line on 2026-10-10 (empirical lens); no turn of the exchange raises it. CLAIM-111 makes a translation faithful when the target’s posterior over communicative situations matches the source’s, and its worked model, THEORY-172, makes that posterior depend on the set of alternative utterances. A translation replaces the source language’s alternatives with the target’s, so a rendering with the same literal content can carry a different posterior. Granted, because it follows from the model as the record states it. It does not say the model is wrong or CLAIM-111 false. | Rejected |
| CLAIM-237 v2 | The first open problem of directed transport is not yet posed: a contextual model is a menu of incompatible experiments, and under the natural order on menus any state-independent classical simulation is dominated automatically, so what is open is only the converse or a deficiency bound | Found in the record’s audit of the line on 2026-10-10 (formal lens); no turn of the exchange raises it. Blackwell’s order compares experiments, each a family of distributions over one parameter. An empirical model has no parameter, and if it is contextual it has no joint distribution, only one per context. Posing CLAIM-125’s first part needs models indexed by situations and an order on menus of experiments. Under the natural order, the preservation direction is automatic for a classical simulation that does not depend on the situation. Granted, because the argument is elementary. It narrows what is open; it does not close it. | Active |
| CLAIM-238 v2 | Many of the line’s defeat conditions cannot in practice be met: the comparative ones are null results with no margin over an observable set the thesis may re-choose, and the possibility theses’ are universal negatives that no finite study establishes | Found in the record’s audit of the line on 2026-10-10 (empirical and structure lenses); no turn of the exchange raises it, though CASE-029 records the decision rules that were dropped. Three shapes of defeat condition cannot be met. “As well as” is a null result, which needs an equivalence margin and power, and no entry states either. The observables are “not fixed in advance” (CLAIM-115). And the “can” theses are defeated only by “never” or “always”, so one construction confirms them and no study refutes them, while what the main thesis needs from them is prevalence and magnitude, which none states. Granted: each point is read off the texts. It does not say the theses are false or untestable in principle. | Active |
| CLAIM-239 | A defeat condition that says something cannot be done is met by an argument that it cannot, not by a record of failures, so the admissibility and correspondence theses can fail by their own conditions, though no study the programme runs can make them fail | The record’s reply, on 2026-10-10, to the fourth point of CLAIM-238. luria.yaml’s blurb for defeated_if is “what would defeat the thesis — a kind of result or argument”. CLAIM-077’s condition and CLAIM-143’s second disjunct (“QUESTION-005 answered negatively”) are met by a showing that the distinctions or correspondences cannot be fixed independently. What the objection gets right is that no finite study meets them, so the programme’s experiments do not test these two theses; argument does. Active, because it is read off the rule. | Active |
| CLAIM-240 v3 | A holistic fidelity judgement is fidelity under the judges’ default task, a weighting of the profile’s components that can be estimated on some renderings and tested on others, so it is well defined and consistent with task-relativity, and a defeat condition that uses it must name the population and fix the weighting before the test, and across populations with unequal access to the source must fit the weighting only on the components each can perceive | The record’s reply, on 2026-10-10, to CLAIM-244. Task-relativity (CLAIM-128) denies a ranking that holds across tasks, not that a population has a default task. A weighting estimated on held-in data and tested on held-out data is a finding, not a fit, and a weighting fixed before the test leaves no room to blame the task after a failure. A proposal: whether holistic judgements are such a weighting is itself empirical. The objection is right that the stated defeat conditions name neither task nor receivers; CLAIM-220, CLAIM-204 and QUESTION-075 address that. | Proposed |
| CLAIM-241 v2 | Partial constitution by uptake makes competent participants’ uptake a defeasible standard of a communicative kind, not the criterion: where the act’s other constituents, such as its institutional conditions, diverge from how even informed participants take it, their verdicts can be wrong, and a standard must say whose competence counts, for which class of acts, and how divided verdicts are combined, which a majority does not | The interlocutor’s first refinement at U62 (A240), with its row on CLAIM-217, pressed at full strength. CLAIM-217 moves from “partly constituted by … expected uptake” to “the judges … are the criterion”. Partial constitution gives uptake a vote, not the last word, so where the act’s other constituents diverge from informed uptake the verdicts can be wrong. The claim also names no rule for combining divided verdicts and no class of acts. Open: answering it means saying whether a defeasible standard re-opens the horn CLAIM-217 closed. It does not say uptake is not a standard. | Active |
| CLAIM-242 v3 | The use-level counterpart of Saussure’s value is an utterance’s contrast with the alternatives its speaker could have used in context; values do not cross between languages, which is why fidelity is graded transport through an anchored correspondence rather than identity of value | The record’s reply, on 2026-10-10, to CLAIM-254. It grants the objection’s premises: value is internal to one language state, and it is a fact of langue, while the line’s observables are facts of use. It denies the conclusion. What the premise rules out is identity of value across languages, which the line does not claim (CLAIM-106), and transport through a correspondence fixed from outside both systems is what CLAIM-082’s own qualification already requires. At the level of use, contrast with alternatives is the rational-speech-act model’s premise (THEORY-172) and Bergen, Goodman and Levy’s finding (LIT-809). Saussure becomes precedent, not premise. A proposal, not a refutation. | Proposed |
| CLAIM-243 v2 | Read as description, the manuscript’s thesis is close to true by definition; read as a criterion, it is a schema until the decision family Q is fixed, and its descriptive defeat condition can test neither reading | Found in the record’s audit of the line on 2026-10-10 (structure lens); no turn of the exchange raises it. A distinction no receiver can recover has not survived for anyone, so the descriptive reading is near-analytic. The normative reading leaves which distinctions count to the task family Q, which CLAIM-115’s summary calls “normative and contestable”. The defeat condition fixes observables the thesis declines to fix, and tests them descriptively: CLAIM-085’s split of normative from descriptive, applied to the thesis rather than to model judges. It does not say the thesis is empty. | Active |
| CLAIM-244 v2 | The defeat tests take one holistic, task-free judgement of fidelity as ground truth, though the line’s own theses say fidelity is task-relative, interpreter-relative and not a single ranking | Found in the record’s audit of the line on 2026-10-10 (empirical lens); no turn of the exchange raises it. A judge asked “how faithful?” or “the same kind?” supplies an unstated task and weighting, and is one interpreter. The theory’s measure must then be fitted to that weighting, which is circular, or a mismatch blamed on the judges’ task, which leaves nothing that defeats. It does not say the judgements are useless, only that the defeat conditions lack the task and receiver index the line’s own theses say fidelity needs. CLAIM-140 is its neighbour: that one moves the criterion to the analyst, and neither says it is task-free. | Proposed |
| CLAIM-245 | Under Contextuality-by-Default, a deterministic context-wise recoding can make a noncontextual signalling source maximally contextual, or turn a contextual source into pure signalling, so per-content signalling is not monotone under such maps and the quantity to bound is joint overlap discrepancy | Found in the record’s audit of the line on 2026-10-10 (formal lens); no turn of the exchange raises it. Two worked rank-2 systems answer NOTE-654’s open question negatively: THEORY-177’s per-content signalling can rise under deterministic recodings, once the source signals, and CbD contextuality can be created or removed by them. By data processing, the joint overlap discrepancy cannot rise, so that is the quantity CLAIM-125’s second part should name. Granted, because the examples are elementary. It does not say THEORY-174 is wrong, which is about no-signalling models. | Active |
| CLAIM-246 v2 | Sharing a kind is symmetric and blind to which work is the source, so the October thesis cannot say a translation is of its original, against the line’s own directed, graded fidelity and identity through descent | Found in the record’s audit of the line on 2026-10-10 (structure lens); no turn of the exchange raises it. CLAIM-137 makes realizations one act by a shared invariant, “not resemblance to an original”, and CLAIM-139’s defeat condition tests judgements of shared kind. Sharing a kind is symmetric and says nothing of descent, so an utterance made independently of the source, of the same kind, scores as a translation does. The line’s own theses make fidelity directed and graded (CLAIM-106) and identity partly a matter of transmission (CLAIM-002). The objection is open; it does not say descent must be part of fidelity, only that the kind criterion cannot state it. | Rejected |
| CLAIM-247 v3 | The bearer of communicative identity reversed, from an operational object defined on observed responses to a kind that can outrun observation, and no turn argues the change; both stances stand in the record | Found in the record’s audit of the line on 2026-10-10 (structure lens); no turn of the exchange raises it. It is CLAIM-140’s point for the bearer of identity rather than the receiver. The manuscript defined the communicative object on observations, and CLAIM-112 says that was “a choice of what to measure, not a theory of what meaning is”. CLAIM-139 is a theory of what identity is, with a kind that “may be real while remaining indistinguishable” under the probes. TERM-014 records the change and CLAIM-142 names it in one sentence; no claim records it as unargued. Granted: it is a comparison of texts. It does not say the realist reading is wrong. | Superseded — by ARG-029 |
| CLAIM-248 v4 | The founding stimuli (Villon, Henley’s Villon, Hofstadter’s Marot) and commentary on them are likely in language models’ training data, and what a context does to one model need not be what it does to another, so a model’s reading of their footing may be recall, and a directional match in one model may not hold in the next | Found in the record’s audit of the line on 2026-10-10 (empirical lens); no turn of the exchange raises it. Agreement in direction is what a model trained on human descriptions of teasing and reproach would show anyway, and Villon, Henley and Hofstadter’s Marot are likely in training data, so a model’s “interpretation” of them may be recall. ARG-008 and CLAIM-085 already bound what model results show about human pragmatics. What is new is that CLAIM-058’s validity bar is too low, and the contamination point. Minor. | Active |
| CLAIM-249 | Comparing characters across realizations needs one group identified on both, which is fixed only up to automorphism, and automorphisms permute the irreducible characters, so “the same character” is relative to a chosen correspondence: the collapse problem again, at the level of the symmetry group | Found in the record’s audit of the line on 2026-10-10 (formal lens); no turn of the exchange raises it. To say a visual realization has the same character as a spoken one, the same group element must be named on both sides. Changing that identification by an automorphism α turns χ into χ∘α, and for the cyclic group of order 3 the automorphism g ↦ g² swaps the two nontrivial characters. The transformations the line studies form a semigroup, so the group is a symmetry group the analyst chooses, with its action on each medium fixed independently: CLAIM-011’s anchoring once more. Granted, because the argument is elementary. CLAIM-132 and TERM-041 hold neighbouring limits, not this one. | Active |
| CLAIM-251 v2 | A change in which questions a receiver population can answer determinately is not by itself a change of cover in the sheaf sense: the cover belongs to the measurement scenario and the responses are an empirical model on it, so such a change is a change of empirical model, which can create or remove a gluing obstruction on a fixed cover but does not change what the cover is, and the operational notion needs its own name until a functorial link is shown | From the interlocutor’s reading of PR #121 and its reconciliation, relayed by the owner on 2026-10-12, on the open tension between CLAIM-197 with CASE-048 and the operational cover of CLAIM-201. It keeps the empirical notion and denies it the sheaf-theoretic name. Open. | Proposed |
| 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 | The record’s reply, on 2026-10-10, to the criterion horn of CLAIM-243. The manuscript calls the choice of observables and decision tasks “normative and contestable (§11)” (CLAIM-115’s summary), and CLAIM-085 separates a normative theory of fidelity from a descriptive one. This disclaims the first for the account, so the thesis is not a schema awaiting Q: Q comes from the translation’s brief. Active, because it is a statement of what the account claims. Purpose-relative translation norms (skopos theory) are the tradition that states the normative part; they are not held in the record. | Active |
| CLAIM-253 v2 | The intertwining defects are defined on unobservable interpretive-state spaces, so they are not identified from judgement data, and the commutator identity bounds observed order effects only with a further, unstated readout-intertwining defect | Found in the record’s audit of the line on 2026-10-10 (formal lens); no turn of the exchange raises it. The commutator identity is correct, but Φ, A and A′ act on interpretive states. CLAIM-046 says hidden-state models that give identical observations can differ, and a worked case shows two such models with defects 0 and the largest possible, so the defect is not a function of the data. What is observed is responses, and the identity reaches the observed order effect only through a readout defect between outcome spaces, which no draft names. It is distinct from CLAIM-011, which is about collapse: this is about identification. | Active |
| CLAIM-254 v2 | Read as the Saussure correction has it, the structuralist premise argues against transport: value is internal to one language state, so what can cross between languages is signification, the aspect the premise demotes | Found in the record’s audit of the line on 2026-10-10 (structure lens); no turn of the exchange raises it. CLAIM-072 corrects the manuscript’s Saussure to value and says the correction “does not undercut the manuscript’s use”. But value is fixed inside one language state, so a change of language is a change of the system that fixes every value, and Saussure’s own example has a term and its translation share a signification and differ in value. Value is also a fact of the language system, while the line’s observables are facts of utterances in use. The objection is open. It does not say relational identity is false, only that Saussure, read correctly, does not support its transport. | Superseded — by ARG-033 |
| CLAIM-255 v2 | Intending to perform an act, performing it and being recognized as having performed it are distinct, coupled variables: intended meaning is fixed at production, the act partly by roles, standing and norms, and recognition by uptake, so competent uptake is constitutive for some acts, evidential for others and irrelevant to the existence of still others | From the interlocutor’s reading of PR #121 and its reconciliation, relayed by the owner on 2026-10-12, on the first open tension (CLAIM-160 against CLAIM-151 and CLAIM-217). It gives each claim its own object rather than picking one. Proposed and not adopted: the owner has not taken it. | Proposed |
| CLAIM-256 | D_obs sums over source contexts only, so a target context outside the image of τ appears in no term: a rendering that adds a relation pays nothing, and a change of cover registers only as loss | Found in the record’s audit of the line on 2026-10-10 (formal lens); no turn of the exchange raises it. L_obs and D_obs are sums over source contexts, so a target context that is not the image of one appears in no term. The line says interpreters add relations (CLAIM-076) and that a transport can add a distinction (CLAIM-087), and D_obs is the one component with a formula (CLAIM-128). Granted, because it is read off the definition. It does not say no other component could catch an addition, or that additions are distortions. | Active |
| CLAIM-257 v3 | Observational distortion should be summed over the contexts both covers can host, with the target’s new questions asked of the source too, and the questions only one side can decide reported as a separate change of cover, so that a rendering that adds a relation pays for it | The record’s repair, on 2026-10-10, after CLAIM-256. D_obs sums over source contexts only, so a target context outside the image of τ is free. Asking the target’s new question of the source, where its readers can answer it, puts it in both covers, and an addition then costs. Questions only one side can decide are a change of cover, which CLAIM-201 makes the line’s headline; they are reported, not summed. A proposal: the restatement is a definition, and whether its added term predicts anything is the defeat condition. It does not say additions are distortions. | Active |
| CLAIM-258 v2 | 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 | Found in the record’s audit of the line on 2026-10-10 (formal and structure lenses); no turn of the exchange states it. CLAIM-050’s comparison is over one state Z. Compensation (CLAIM-091) changes the social coordinates, so the target reader decides about a different situation. Where the situation is common, a translator who knows the context makes a rendering that depends on Z other than through the source, so it is not a garbling. Blackwell’s order is still defined then, but typically leaves source and target incomparable, and the direction the manuscript uses says nothing. It does not say decision-relative fidelity is wrong. | Proposed |
| CLAIM-259 v2 | For report fidelity, the decision term should be the positive part of the risk increase on the same decision problem, with losses in [0, 1] and a stated prior; so restated it is directed, counts no improvement as loss, and vanishes for every problem and prior exactly when the rendering is at least as informative as the source in Blackwell’s order | The record’s repair, on 2026-10-10, of A86’s D_Q after CLAIM-218. Define D⁺_Q(U → V; π) = sup over q in Q of [r_q,π(V) − r_q,π(U)]⁺, with r the Bayes risk under the prior π. It is directed and blind to improvement. With Q all finite problems and π all priors, it is zero exactly when V is at least as informative as U in Blackwell’s order, by the Bayes form of Blackwell’s theorem for finitely many states. A86’s D_Q, with the identity on tasks, is its symmetrization. Under report fidelity (CLAIM-212) the paired task is the same task, so no scale between tasks is needed. The mathematics is checkable; the claim that this is the right decision term is a proposal. It does not say Q is fixed. | Active |
| CLAIM-260 | Approximate transports compose into a category only if the distortion obeys a triangle inequality and later kernels are nonexpansive, so the semigroup claim’s “category or semigroup” holds for exact kernels, and for approximate ones only under those conditions | Found in the record’s audit of the line on 2026-10-10 (formal lens); no turn of the exchange raises it. TERM-008’s founding sense is a transport that gets “within some eps”, and CLAIM-106 makes fidelity graded. Kernels always compose, but the composite of an ε₁-transport and an ε₂-transport is an (ε₁ + ε₂)-transport only if the distortion obeys a triangle inequality and the second kernel is nonexpansive. In total variation both hold. QUESTION-017 holds the triangle inequality open and does not tie it to the category claim. Granted, because it is elementary. It does not say the category claim fails for exact transports or in total variation. | Active |
| CLAIM-298 v2 | A frame can change a judgement by changing which of an interpreter’s stored distinctions are reachable, without supplying any evidence about what is being judged | A20’s proposed claim, after the owner tied addressing to anchoring at U20, and A19’s “addressing conditions”. Its psychological form is the selective-accessibility account of anchoring, and the readings of 2026-10-15 weaken it: Strack and Mussweiler (1997, read) infer accessibility from moderations and latencies without measuring it, and their model lets the same retrieved knowledge push a judgement either way; Harris et al. (2019, read) find the most direct measure of the accessibility step does not replicate and cannot detect priming at all. The retrieval step is inferred, not shown. The mechanism the record holds, attention as sparse distributed memory (LIT-269), is a model, not evidence about judges. The extension to communication in general is the record’s and is not shown. | Proposed |
| CLAIM-304 | A rendering can keep a distinction recoverable in principle and make it infeasible to recover: if pseudorandom generators exist, a uniformly random bit can be encoded so that an unbounded receiver recovers it except with probability at most 2⁻⁽ⁿ⁺¹⁾, while no efficient receiver does non-negligibly better than chance | A14’s first failure mode, computational inaccessibility, and A18’s fourth candidate: “Recoverable in principle ≠ recoverable within budget.” CLAIM-199 shows a garbling can help a bounded receiver. This is the other direction: a nearly lossless rendering can defeat every efficient one. The construction is the record’s, from CLAIM-302’s witness; A18 asked for one and warned against “a vague appeal to an inverse being hard”. | Active |
| CLAIM-315 | In comparative anchoring tasks, considering an anchor shifts the later numerical estimate without adding evidence about the target, and the shift is carried by anchor-consistent knowledge made more accessible; the shift is established, the accessibility step is inferred and has not been measured | The empirical half of CLAIM-298, split off under ADR-043’s pilot, which found that claim compound: an empirical claim about judgement tasks and an interpretive extension to communication in general. This half is scoped to the comparative-question paradigm. Its first part is established (THEORY-337); its second is the selective-accessibility account (THEORY-335), whose direct test failed to replicate with a measure that also missed direct priming. CLAIM-298 now rests on it. | Proposed |
| CLAIM-318 | Within a shared observational scenario, exact structure-preserving symmetries are the invertible members of a nested family of stochastic transports, and among Markov kernels between finite sets the invertible ones are the permutation matrices, so the invertible core is the relabellings, a groupoid in which objects joined by an arrow have isomorphic automorphism groups | Split from CLAIM-103 under ADR-043: the nesting and its invertible core, stated on their own so that their warrant can be. A110 §25 nests exact symmetries inside structure-compatible transports inside stochastic communicative transports, within a shared scenario, and the exact symmetries are the invertible ones. For Markov kernels between finite sets, a stochastic matrix with a stochastic inverse is a permutation matrix, because a nonnegative matrix with a nonnegative inverse is monomial, so the invertible core is the relabellings. In that groupoid an invertible u : A → B gives Aut(A) ≅ Aut(B), which corrects A198 §8. It does not say what symmetries are for: that they supply the yardstick for non-symmetric transports is CLAIM-103’s, and interpretive. | Active |
| CLAIM-319 | Over a scenario of n contexts in an odd cycle, changing the support of one context takes the contextual fraction from 1 to 0 while the other n − 1 contexts and every marginal are kept exactly, at a weighted observational distortion of 1/n, so within a scenario the fraction’s Lipschitz constant against that distortion is at least n; and any change of global extension needs a contextual model on one side | Split from CLAIM-201 under ADR-043: the derivation that claim called “decisive and checkable”, stated on its own. For odd n, an n-cycle of ±1 observables in which every context anticorrelates is strongly contextual; making one context correlate gives a model with a global distribution. The two agree on n − 1 contexts and on every marginal, differ by total variation 1 in the last, and so lie at weighted D_obs = 1/n with contextual fractions 1 and 0. For n = 3 it is CASE-037 with one observable relabelled. It answers how small the local change can be; it says nothing about whether any data are contextual. | Active |
| CLAIM-320 | Within one fixed measurement scenario, two no-signalling empirical models can agree on all but one of their contexts and on every single-observable marginal while their contextual fractions are 1 and 0, so keeping most local judgement distributions does not fix their global compatibility | Split from CLAIM-105 under ADR-043: the possibility that claim’s headline needs, shown by the pair it lost and recovered in CASE-037. On the cover {AB, BC, AC} with binary outcomes, the parity triangle at 1/2 per allowed outcome is no-signalling and strongly contextual, with contextual fraction 1. Change only S_AC to {(0,0), (1,1)}: two contexts and every marginal are unchanged, and the model now extends to a global distribution, with fraction 0. It is an existence result by construction, and the weights are stipulated. It does not say reconstruction chains do this, which is CLAIM-105’s thesis and interpretive, and the context that changes moves by a total-variation distance of 1. | Active |
| CLAIM-321 v4 | In text-to-image diffusion models each condition of a prompt can be met while their conjunction or relational binding fails: benchmarks find single objects rendered almost always and spatial relations and attribute binding failing most, and composing by adding scores does worst on relations | Split from CLAIM-123 under ADR-043: the empirical part of that claim, that each condition can be met while their conjunction or relational binding fails, documented by GenEval, T2I-CompBench and T2I-CompBench++, by Attend-and-Excite’s “catastrophic neglect”, and by Composable Diffusion losing to an energy-based baseline on relations. It corroborates CLAIM-123’s derivation without carrying it, and does not say what causes the failures. | Active |
| CLAIM-323 v2 | Where source and rendering are experiments about one common situation, a rendering that depends on the situation other than through the source is not a garbling of it and can be incomparable with it in Blackwell’s order: with Z uniform on {1, 2, 3}, a source that tells whether Z = 1 and a rendering that tells whether Z = 3 each have the lower 0–1 risk on one of the problems of saying whether Z = 1 and whether Z = 3, so neither dominates | Split from CLAIM-258 under ADR-043: the worked case that objection uses, stated on its own so that its warrant can be. Over a common situation Z uniform on three values, U reports whether Z = 1 and V whether Z = 3. V is not a garbling of U, since given U = 0 it still varies with Z, and the risks on “say whether Z = 3” (0 from V, 1/3 from U) and “say whether Z = 1” (the reverse) show neither experiment dominates. It is an existence result by construction. It does not say this is the normal translation case, which is CLAIM-258’s reading and is interpretive. | Active |
| CLAIM-325 | The behavioural data the record has read show no contextuality proper: none of the five kinds of data Dzhafarov, Zhang and Kujala re-analyse is contextual, Wang et al. test none of their 90 language systems for it, and no documented test of pragmatic or meaning judgements finds it at adequate power | Split from CLAIM-219 under ADR-043: the empirical premise of that objection’s dilemma, which CLAIM-201 conceded. Dzhafarov, Zhang and Kujala (LIT-264, read in NOTE-235) find none of five kinds of behavioural data contextual, two of them previously published as contextual; Wang, Sadrzadeh, Abramsky and Cervantes (LIT-851) report signalling in 69 of 90 language systems and test none for contextuality; CASE-053 collects the documented tests on elicited judgements and finds no contextual pragmatic data. It is scoped: CASE-053 records a reliable positive result on instructed matching, so “none in behavioural data” is too broad, and the absence is LIT-264’s working hypothesis, not a proof that such data cannot exist. | Active |
| CLAIM-326 v5 | With losses in [0, 1] and a stated prior, the positive part of the Bayes-risk increase on the same decision problem, D⁺_Q(U → V; π), is directed, is zero from a garbling back to its source, vanishes for every finite problem and prior exactly when the rendering is at least as informative as the source in Blackwell’s order, over finitely many states and a source whose outcome space is standard Borel, and has A86’s D_Q, with the identity on tasks, as its symmetrization | Split from CLAIM-259 under ADR-043: the properties of the restated decision term, which CLAIM-259 called “elementary and checkable”, stated on their own so that their warrant can be. Define D⁺_Q(U → V; π) = sup over q in Q of [r_q,π(V) − r_q,π(U)]⁺. A garbling never gains; with Q all finite problems and π all priors, the term vanishes exactly when V is at least as informative as U, by the Bayes form of Blackwell’s theorem for finitely many states (THEORY-156); it is directed; and A86’s D_Q is its symmetrization. It does not say this is the right decision term, which is CLAIM-259’s proposal, and it does not state the prior-free relation to Le Cam’s deficiency. | Active |
| CLAIM-336 v6 | The pragmatic-transport and will-organization lines describe one model, an organization of operators that act on a shared interpretive state under a context while allocating one another’s influence: a frame is the context under which operators act, a judgement is the response they yield, an action-generating regime is an operator or coalition, and a will-organization is the dynamics that allocates influence among them | The owner’s, U2 of the exchange of 2026-10-16: the pragmatic-transport model and the will-organization model are “both manifestations of the same underlying model”. The mapping is the assistant’s, A6, filed at the owner’s request (“address the still open stuff”). At U8 the owner endorsed it as filed (“Yes, as filed”). It reads both lines into CLAIM-297’s operator model. The sharp edge: it says the lines share one model, not that either line’s results transfer to the other unchanged. Each mapping is a hypothesis until a result on one line is shown to hold, through it, on the other. | Proposed |
| CLAIM-337 v2 | Active inference already runs an internal loop: mental action selects among higher-level cognitive states and sets the precision of lower-level observations, structure learning reshapes the generative model without action, and a judgement is behaviour, so a judgement–observation loop may be action and perception one Markov blanket inward | The assistant’s, A1 of the exchange of 2026-10-16, on active inference’s behalf, strengthened at A4. Sandved-Smith et al. cast mental action as policy selection over higher-level cognitive states; Brouillet and Friston make felt fluency an inference about the precision of one’s own processing; Smith et al. let a generative model grow its own structure by inference and learning alone. With Chalmers’s point that judgements are behaviour, the owner’s judgement is active inference’s action relocated. What it does not reach: the diagram. A redescription with no action on the world concedes that action on the world is not part of the loop. | Proposed |
| CLAIM-338 v2 | The selectivity active inference gives action, sampling what one expects to experience, is played in the coupled meaning–authority model by the authority space: influence decides which operators retrieve and so what the next judgement observes, which makes Friston’s self-confirming sampling the model’s authority-to-interpretation arrow and his agent a coupled loop run without independent scoring | The owner’s, U10 of the exchange of 2026-10-16, on Friston et al.’s “sampling selectively what one expects to experience”: “I think this selectivity maps to the authority space in my coupled model.” Worked out by A10. Selective sampling is the β arrow of CASE-099, authority shaping interpretation through what it retrieves. Policies scored on current beliefs are the γ arrow. So Friston’s agent runs both arrows, and his “this weakness becomes the strength” accepts capture, with the anchor moved outside the loop to selection on whole agents. The sharp edge: the mapping relocates sampling from the world to retrieval, which is CLAIM-337’s move reversed, and it holds only if the agent’s own store can surprise it as the world can. | Proposed |
| CLAIM-339 v3 | A judgement–observation loop cut off from action loses one route for evidence it did not select, and the free-energy principle’s reason for minimizing surprise, that a persisting system must keep its states in bounds, needs action on the world, though a loop can confirm itself with action available too | The assistant’s, A1 of the exchange of 2026-10-16, narrowed at A4. Friston et al. (2010) say active sampling is “mandated by ergodic arguments based on the very existence of adaptive agents”, and the enactive account puts a system’s own norms in its capacity to act against tendencies toward its viability boundary. Kübler and Birbaumer’s extinction hypothesis is the empirical form. As first filed it said a loop without action has a self-confirming minimum. NOTE-766 shows the minimum arises with action available, so the counter now claims only that losing action removes one source of evidence the loop did not select. CLAIM-342 answers it. | Active |
| CLAIM-341 v3 | The loop that keeps a lucid agent’s model in touch with what it models runs between judgement and observation: each judgement reshapes the observer whose later observations it then judges, and action on the world is not part of that loop, so active inference’s action–perception cycle misplaces where the agent is active | The owner’s, U1 of the exchange of 2026-10-16: Friston’s free-energy approach is “generally correct, but the cybernetic model is wrong”; action can be cut out of the loop, which decomposes into “Judgement (qua measurement that generates interpretations) <—> Observation”. At U2 the owner held that the pragmatic-transport and will-organization models are “both manifestations of the same underlying model”. The claim is stated in that model’s terms, as CLAIM-297’s circuit, and in the diachronic form A4 proposed and the owner asked to be filed at U5 (“make the revisions”): a judgement need not produce the observation it judges, but it reshapes the observer that produces the next one. The sharp edge: the synchronic form, in which each judgement produces its own outcome, is not claimed. That is the open route of TERM-039 and CLAIM-127, and the record demoted it once before (CLAIM-109). | Active |
| CLAIM-342 v3 | What keeps a judgement–observation loop from confirming itself is evidence whose arrival or scoring does not pass through the interpretation it tests; action is one source of such evidence, not a necessary one, and a loop that selects its own evidence can lock in with action available | The assistant’s synthesis, A3 and A4 of the exchange of 2026-10-16, filed at the owner’s request at U5. Three results the record already holds. CLAIM-330: capture in the operator model needs both arrows of CLAIM-297’s circuit, and scoring operators independently of the dominant interpretation removes it. CLAIM-141: a loop always has a distributional fixed point, so what binds it is a constraint that prescribes marginals. THEORY-285 (NOTE-766): an active-inference agent locks in with action available, because its own sampling policy withholds the evidence that would correct it. The claim does not say action is unimportant, only that it is not what does the anchoring. | Active |
| CLAIM-350 v2 | 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 | A21 §3 and §18 (Candidate 1) of the exchange of 2026-10-17, and A22’s Construction A: for a judgment J and a coarse-graining C on the same states, J = j∘C for some j exactly when C(x₁) = C(x₂) implies J(x₁) = J(x₂). Granted, because it is elementary (the universal property of a quotient) and Ak’s; the proof is in the body. It is CLAIM-152’s judgment-valued special case with the converse added: CLAIM-152 says a partition sufficient for one target need not be for another, and this says which partitions serve a deterministic judgment, those whose fibres lie inside its level sets, so the coarsest is the judgment’s own partition. The sharp edge: it says when a description keeps a judgment, never whether the judgment is right. A21’s probabilistic and causal versions are recorded in the body, not claimed. | Active |
| CLAIM-380 v2 | With finitely many states and finitely many outcomes, the positive part of the Bayes-risk increase on the same decision problem is directed, is zero from a garbling back to its source, vanishes for every finite problem and prior exactly when the rendering is at least as informative as the source, and has A86’s D_Q as its symmetrization | The finite-outcome part of CLAIM-326. Define D⁺_Q(U → V; π) = sup over q in Q of [r_q,π(V) − r_q,π(U)]⁺, with losses in [0, 1] and a stated prior. A garbling never gains. The term is directed. A86’s D_Q is its symmetrization. And with every finite problem and prior, it vanishes exactly when V is at least as informative as U, by Blackwell’s Theorem 6 (THEORY-717). It does not cover outcome spaces that are not finite, or say this is the right decision term. | Active |
| CLAIM-381 | Over a finite class of items with finite judgement outcomes, a constant outcome kernel fits every item only when the target readers’ averaged responses do not vary with the item, an exact fit is a garbling with the item as common parameter, and Le Cam’s deficiency and its restriction to finitely many decision problems are finite computations | The derivational core of CLAIM-228. Over a finite class of items, the target term is the readers’ response averaged over a procedure’s output, and one outcome kernel family is fixed across the items. Then a constant kernel fits only target responses that carry no information about the item. An exact fit is a garbling, with the item as the common parameter. And Le Cam’s deficiency between the two finite tables is one linear programme. Its restriction to finitely many decision problems is a finite computation. It does not say the measure is informative, which is CLAIM-228’s empirical question. | Active |
| CLAIM-402 v5 | Predictive success of a category across contexts warrants treating it as a real effective kind only when the evidence in those contexts does not pass through the category’s own use, or when the effect of that use is modelled: a category that speakers or institutions act on can produce the regularities that confirm it, and contexts that share its use are not independent | A27 §1 of the exchange of 2026-10-20, on the owner’s U27 (“are we perhaps better positioned now to address QUESTION-007? -009? -011? -028?”), after A26 §2’s performative toy. It is the one criterion A27 added to A191’s four on QUESTION-028’s page, and NOTE-769 anticipated it from Hacking’s interactive kinds. CLAIM-342’s condition on evidence, moved from a judgement–observation loop to the warrant for a kind. The sharp edge: it defeats one inference and is not a criterion of kindhood, so QUESTION-028 stays Open. | Active |
| CLAIM-450 v5 | Three standards for a communicative distinction come apart: statistical distinguishability of an interpreter’s response profiles, measured locally by the Fisher metric and never raised by a parameter-independent garbling; usability by a bounded receiver, which a transformation can raise; and pragmatic efficacy in the act; and where response models are singular, as Watanabe’s theory treats, a missing response can come from an absent attempt or an unresponsive receiver alike, and only intervention or later dynamics separate them | The owner’s, 2026-10-24, after setting aside the belief–knowledge distinction: “forget about that distinction then and let’s connect back to the communicative act stuff and amari/watanabe theory”. Worked through the same day (workbench entry of 2026-10-24, U27). Amari’s geometry and Watanabe’s singular learning are given different jobs in one modelling architecture, alongside bounded legibility and the communicative-act account, rather than read as rival characterizations. | Active |
| CLAIM-458 v2 | A reception split between populations with unequal access to the source can be partly a difference of access and not of weighting, so a comparison of their default tasks can fit weights only on the components every population compared can perceive | The limit CLAIM-240’s note of 2026-10-10 recorded and did not code, filed as an objection. CLAIM-240 reads a holistic fidelity judgement as a default task’s weighting of the profile’s components. In the split over The Vegetarian, some divergences are invisible to readers without Korean (“Most English readers will simply glide over them unaware”), so their weight is zero by blindness, not by a task. The objection undermines a test of CLAIM-240 across such populations unless it fits weights only where both can perceive. It narrows the claim; it does not deny it. | Active |
| CLAIM-461 | Compensation is not only a re-performance notion: for a reader whose code gives the literal word a meaning the source lacked, the compensating rendering can be the more faithful report, so assigning compensation to re-performance alone needs narrowing | The narrowing CLAIM-212’s note of 2026-10-10 proposed and did not make, filed as an objection so it can carry a status. Translators who rendered “Son of God” with non-biological terms for Muslim readers defend the compensating rendering as the better report: the literal word “add[s] a procreative meaning that was absent from the original”. If that holds, compensation (CLAIM-091) serves report fidelity as well as re-performance. Proposed because the renderings are known only through a critic and the reader evidence is the translators’ own. | Proposed |
| CLAIM-477 v2 | Relata stand to relations as realizations stand to specifications: what an entity is, is partly fixed by the constraints on the configurations of entities and relations it can enter, and those constraints are themselves realized and maintained by something, so neither relata nor relations, nor specifications nor realizations, are prior without qualification | The owner’s, U8 of the exchange of 2026-10-27, “maybe relata:relations::realization:specifications/constraints?”, after U6 had set the record’s ambitions as “extremely abstract and unrestricted”. A8 sharpened it: “Relata are to relational structure somewhat as realizations are to specifications—but relations themselves also have realizations”, and added the recursion, that constraints “are themselves realizations within larger relational structures”. Filed unrestricted in domain, as the frame of which CLAIM-151 and CLAIM-136 are domain cases. It is not a structural realism that eliminates relata, and satisfying a specification is not being produced by it. | Proposed |
| CLAIM-486 v2 | A rendering can keep the communicative act while changing the proposition, so preserving the proposition is not necessary for preserving the communicative event | The necessity half of CLAIM-061’s version 1, split off when the status review of 2026-10-28 narrowed CLAIM-061 to sufficiency (ADR-047’s third ruling). Its one documented case is Phillips’s handshake for Paul’s holy kiss (CASE-056), which competent judges took to keep the greeting. The defender of necessity has a reply the record does not answer: the proposition worth keeping is the coarser one, and the handshake keeps it. | Proposed |
| CLAIM-488 v3 | Le Cam deficiency, after Torgersen, would quantify the approximate case of the Blackwell order for translation, and decoder-only audience knowledge would make the coding problem a Wyner-Ziv problem | The two steps of the manuscript’s §5 that CLAIM-050 carried until the status review of 2026-10-28 and that rest on works the record has not read: deficiency for the approximate case (Torgersen) and the Wyner-Ziv form of decoder side information. Split off when CLAIM-050 was narrowed to what its read sources support (ADR-047’s third ruling). | Active |
| CLAIM-489 v2 | A sign’s communicative significance is fixed by its contrasts within a system rather than by correspondence to a referent | CLAIM-082’s version 1 title, kept as its own Proposed entry when the sixth status review narrowed CLAIM-082 to what Saussure’s value supports (ADR-047’s third ruling). It carries the two parts the reading does not: that significance in use is fixed this way, and that contrast works instead of reference rather than alongside it. | Rejected |
| CLAIM-496 | Agreement between routes of translation is a measure of coherence, not of fidelity, and the two are independent: a rendering that sends every source utterance to one output makes direct and relay transport agree exactly while a receiver who could tell a promise from a prediction with no error is left at chance, and two routes that keep the act and differ in register disagree completely while losing nothing the act-identification task needs | From A4 and A5 of the exchange “Paper assessment” (2026-10-29), where the assistant carried LIT-1820’s comparison of alternative paths over to translation and then warned that “path agreement is a coherence criterion, not a fidelity criterion”. The constructions are the record’s. It does not say path discrepancy is uninformative: it says it measures something CLAIM-259’s directed loss does not, and conversely. | Active |
| CLAIM-501 v2 | Gutt’s interpretive resemblance also predicts that judged pragmatic observables beat text similarity, so the central theses’ defeat conditions cannot tell the thesis from a relevance-theoretic account either | Split from CLAIM-233 by the nineteenth status review (ADR-057; ADR-047’s kind 2, the record’s own extrapolation) and promoted by the twenty-first, once Gutt’s 1989 thesis (LIT-1845) was read. CLAIM-233 holds that functional equivalence and a proposition with its force both predict a pass on the central defeat test. This claim adds Gutt’s relevance-theoretic account. The book (LIT-784) stays unread. | Active |
| CLAIM-503 | Over finitely many states and finite outcome sets, one experiment is ε-deficient relative to another in every decision problem with losses in [0, 1] exactly when a single Markov kernel brings it within ε in total variation at every state, so the deficiency computed as a linear programme is the least such ε | Le Cam’s randomization criterion for finite experiments, uniform in the state, with losses in [0, 1]. The least ε for which some kernel brings M within ε of N in total variation at every state, which CLAIM-381 computes as a linear programme, equals the least ε for which M is ε-deficient relative to N in every finite decision problem. One direction composes N’s rule with the kernel; the other is one minimax step over a bilinear objective. At ε = 0 it is the finite Blackwell order (THEORY-717). | Active |
| CLAIM-504 | The strongest operationalization of the functional and relevance-theoretic rivals to the transport structure is a rich contextual baseline of context-response profiles and supervised prediction | Split from CLAIM-205 by the twenty-first status review (ADR-057; ADR-047’s kind 2, the record’s own extrapolation). The interlocutor’s reading of 2026-10-12 proposed it as the fourth row of CLAIM-202’s comparison. CLAIM-205, narrowed, holds that the functional and relevance-theoretic accounts need not fix one context or a static profile; this claim says what their strongest operationalization is. | Proposed |
| CLAIM-507 v2 | On WMT22 News MQM, xCOMET’s error spans are more coherent with its own regression scores than either is with expert judgement: the agreement between its heads is coherence between two outputs of one model, and adds little to what the spans’ own agreement with experts shows | The record’s reading of Guerreiro et al.’s Table 5, split from THEORY-1134 when the twenty-second status review narrowed it to the measurements and promoted it (ADR-065; ADR-047 kind 2). An instance of CLAIM-496’s distinction between coherence and fidelity. The statistics compared differ (Pearson between heads; Kendall and F1 against humans), and converted to one scale the gap is smaller than it looks. | Proposed |
| CLAIM-525 | Information in the sense the Simondonian readings give it, a disparity whose resolution reorders the system that takes it up, is in the line’s terms a change in the interpreter or in the questions receivers can decide, not evidence about a fixed situation, so Blackwell’s order leaves it out by construction and the two accounts are not rivals | The record’s placing, on 2026-10-31, of the information concept in the Simondon readings (Iliadis 2013; Bencherki and Iliadis 2021; Bencherki, Brummans and Vézy 2024) against the line’s Blackwell treatment. The readings’ information is what reorders a receiving system; the line’s is evidence about a fixed situation for a fixed receiver. The first falls in the line’s interpreter channel and change of cover. It gives the readings an operational test of failing to inform, which they lack. It does not say Simondon rejects the quantitative theory, and it is not Simondon’s mapping: his text is unread here. | Proposed |