Works — A manuscript the record’s claims are marshalled into. Membership says a claim is in the work; whether the record believes it is the status, and the two disagree (ADR-032).
What Survives Translation? — the owner’s working manuscript, drafted October 2026: contextual pragmatic information transport, combining structuralism, speech-act pragmatics, sheaf-theoretic contextuality, symmetry, rate–distortion and Blackwell comparison, conditional diffusion and iterated learning.
45 of 547 CLAIM documents. Back to the full index.
| # | Title | Summary | Status |
|---|---|---|---|
| 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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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 |