15 lines, walked from supersedes: on CLAIM documents. Each step explains itself; this page is the order they came in.

From What fundamentally distinguishes variations of a translation is the frame from which it is delivered

  • CLAIM-006 — What fundamentally distinguishes variations of a translation is the frame from which it is delivered (Superseded)
    • CLAIM-061 — Renderings that keep the proposition can perform a different communicative act, so preserving the proposition is not sufficient for preserving the communicative event (Active)

From The abstract similarity between renderings is similarity of higher-order latents, which can survive large differences in lower-order ones

  • CLAIM-008 — The abstract similarity between renderings is similarity of higher-order latents, which can survive large differences in lower-order ones (Superseded)
    • CLAIM-042 — The levels at which communicative observables exist organize observables, not objects: a communicative object is identified jointly by constraints from observables at several levels, which, where those observables share one state space, is the intersection of the regions they pick out (Active)

From In translation the pragmatic frame does not merely select a description of meaning but participates in determining which meaning becomes actual

  • CLAIM-109 — In translation the pragmatic frame does not merely select a description of meaning but participates in determining which meaning becomes actual (Superseded)
    • CLAIM-009 — Pragmatic judgements may be formally contextual: their context-relative distributions may admit no global extension once direct context effects are accounted for (Proposed)

From Will is a second- or higher-order attractor in an agent’s dynamics

  • CLAIM-012 — Will is a second- or higher-order attractor in an agent’s dynamics (Superseded)
    • CLAIM-027 — Which of an agent’s available regimes becomes effective depends on maintained relations — accessibility, precedence, persistence, jurisdiction, suspension and transformation — that are not reducible to the contents of the competing regimes, whatever mechanisms realize them (Active)

From 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

  • 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 (Superseded)
    • CLAIM-113 — Transformations and invariants define one another: translation preserves some structures exactly, carries some equivariantly, preserves some approximately and reorganizes others, and identity is studied through what a class of transformations leaves invariant (Active)

From 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

  • 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 (Superseded)
    • 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 (Superseded)
      • 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 (Superseded)
        • CLAIM-101 — Translation is a context-conditioned transport process that preserves selected structures of communicative meaning to varying degrees while introducing distortions that may accumulate, attenuate or amplify under composition (Superseded)
          • CLAIM-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 (Superseded)
            • 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 (Superseded)
              • 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 (Superseded)
                • CLAIM-036 — Communicative meaning is constituted through systems of distinctions and relations, and translation transports these systems, selectively preserving or transforming their differential, probabilistic and interactional structure (Superseded)
                  • CLAIM-108 — Communicative identity is characterized by the observational structures and relations invariant or equivariant under specified classes of transformation, and fidelity by their preservation, deformation or loss (Superseded)
                    • CLAIM-017 — What survives translation is the invariants, and approximately preserved relations, of communicative transformation (Superseded)
                      • CLAIM-115 — What survives translation is the set of communicative distinctions and relations a receiving system can still reconstruct and act upon, not the wording or the proposition (Superseded)
                        • CLAIM-220 — For a named population of receivers and a stated family of tasks, what survives a translation, retelling or rendering is the set of task-relevant communicative distinctions those receivers can still recover from it, and measured preservation of the pragmatic observables predicts that recovery better than preservation of the wording or of the proposition, with or without its force (Proposed)

From Fidelity is always fidelity with respect to some selected structure: a specified family of communicative observations, interventions and permitted continuations

  • CLAIM-051 — Fidelity is always fidelity with respect to some selected structure: a specified family of communicative observations, interventions and permitted continuations (Superseded)
    • CLAIM-050 — For report fidelity, fidelity is relative to the communicative decisions receivers make, and Blackwell’s order on rendering procedures, over a designed distribution of situations, makes precise the ceiling a rendering sets on those decisions (Active)

From Demonstrating that interpretive framings do not commute establishes that the judgements cannot be described by one ordinary joint probability distribution

  • CLAIM-073 — Demonstrating that interpretive framings do not commute establishes that the judgements cannot be described by one ordinary joint probability distribution (Rejected)
    • CLAIM-052 — Interpretive framing operations generally do not commute, and this can be investigated without committing to quantum probability (Proposed)

From That every regulator with a higher-order attractor counts as having a will is acceptable once agency is kept apart from phenomenal experience

  • CLAIM-062 — That every regulator with a higher-order attractor counts as having a will is acceptable once agency is kept apart from phenomenal experience (Superseded)
    • CLAIM-080 — The agent is independently warranted: the account asks how a given agent’s practical efficacy is organized, not what makes something an agent (Active)

From If a transport exactly intertwines a generating set of communicative operations, it preserves every trajectory composed from them

  • CLAIM-067 — If a transport exactly intertwines a generating set of communicative operations, it preserves every trajectory composed from them (Superseded)
    • CLAIM-106 — Pragmatic fidelity is a graded, potentially asymmetric property of transport, not an equivalence relation; equivalence is its zero-distortion limit (Active)

From 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

  • 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 (Superseded)
    • 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 (Active)

From Variations in translation are transformations between pragmatic frames of reference that preserve selected invariants of the communicative act

  • CLAIM-102 — Variations in translation are transformations between pragmatic frames of reference that preserve selected invariants of the communicative act (Superseded)
    • CLAIM-098 — Translation and cross-modal reconstruction need not be group actions: they form a category or semigroup of directed stochastic transformations, in which invertible symmetries are special cases (Active)

From 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

  • CLAIM-100 — Sheaf-theoretic contextuality has to be extended to directed transport between observational scenarios whose covers change, and that extension is the theory’s open mathematical problem (Superseded)
    • CLAIM-125 — Directed transport between empirical models whose covers change has two open problems: when it preserves decision-relevant information, and how it extends to signalling data (Active)

From 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

  • CLAIM-133 — Communicative identity is relational continuity under admissible transformation: translation transports relationally organized observational structure, correspondence fixes what can be compared, admissibility which transformations count, and fidelity which communicatively consequential distinctions remain recoverable (Superseded)
    • CLAIM-139 — A communicative kind’s identity is grounded in its relational organization rather than in any expression or encoding; statistical methods recover aspects of that organization from restricted observations, translation transports it, and fidelity is which independently identifiable, decision-relevant relational distinctions persist (Superseded)
      • CLAIM-204 — A communicative kind’s identity is grounded in its relational organization, for which competent participants’ uptake is the standard; statistical methods recover aspects of it from restricted observations; translation transports it; and what persists is what the receivers can still recover, of which the analyst can certify the independently identifiable part (Proposed)

From Under a deadline, search can establish presence by finding one item but absence only by exhausting the collection, so “If I can’t find it, it isn’t there” acts on an unfinished search as negation as failure acts on a finished one: a default stronger than either the closed-world assumption or negation as failure, safe only when the arrangement makes the full search finish within the deadline

  • CLAIM-306 — Under a deadline, search can establish presence by finding one item but absence only by exhausting the collection, so “If I can’t find it, it isn’t there” acts on an unfinished search as negation as failure acts on a finished one: a default stronger than either the closed-world assumption or negation as failure, safe only when the arrangement makes the full search finish within the deadline (Superseded)
    • CLAIM-312 — “If I can’t find it, it isn’t there” asserts operational unavailability, that the item will not be put to use before the deadline, not absence: a search that fails by the deadline establishes unavailability outright, and licenses absence only with a certificate that the unsearched remainder cannot hold the item, from exhaustion, from an invariant of the arrangement, or from a closed-world default (Active)