Objections and replies

49 lines, walked from objects_to: and undercuts_support_of ((u:CLAIM)-[:undercuts]->(g:ARG)-[:concludes]->(c:CLAIM)) on CLAIM documents. Each step explains itself; this page is the order they came in.

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 (thesis, Superseded)
  • CLAIM-001 — The conditional-diffusion literature already covers directed transport between observational scenarios, including changing covers (counter, Proposed)
    • 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 (disclaimed, Active)

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 (thesis, Superseded)
  • CLAIM-004 — Not every difference between translations is a difference of frame: some change the act being framed (thesis, Proposed) — also undercuts support of CLAIM-102
• CLAIM-102 — Variations in translation are transformations between pragmatic frames of reference that preserve selected invariants of the communicative act (thesis, Superseded)
  • CLAIM-035 — Translation operations are generally not invertible, need not compose by a fixed rule, and preserve no structure given in advance; which communicative properties are invariant must be discovered or negotiated (granted, Active) — through ARG-004

From 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

• CLAIM-005 — 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 (thesis, 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 (granted, Active) — also objects to CLAIM-125
  • CLAIM-226 — 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 (counter, Active) — also objects to CLAIM-115
  • CLAIM-232 — 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 (counter, Active) — through ARG-026 — also undercuts support of CLAIM-078, CLAIM-115, CLAIM-139
  • CLAIM-233 — The central theses’ defeat conditions pit them only against embedding, propositional or surface similarity, and two rivals the record holds, functional equivalence as Nida states it and a proposition with its illocutionary force, also predict that judged pragmatic observables beat text similarity (granted, Active) — through ARG-026 — also undercuts support of CLAIM-078, CLAIM-115, CLAIM-139
  • CLAIM-244 — 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 (counter, Proposed) — also objects to CLAIM-078, CLAIM-115, CLAIM-139
    • CLAIM-240 — 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 (thesis, Proposed)
      • CLAIM-458 — 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 (counter, Active)
  • 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 (granted, Active)
• CLAIM-033 — In published translations, renderings that lose distinctions along one dimension commonly gain specificity along another, so loss is not one-dimensional (thesis, Proposed)
  • CLAIM-238 — Many of the line’s defeat conditions cannot in practice be met: the comparative ones are null results with no margin over an observable set the thesis may re-choose, and the possibility theses’ are universal negatives that no finite study establishes (granted, Active) — also objects to CLAIM-077, CLAIM-087, CLAIM-105, CLAIM-115, CLAIM-139, CLAIM-143
    • 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 (thesis, Active)
• CLAIM-056 — Local transport errors in a reconstruction chain are bounded by the per-step discrepancies weighted by the sensitivity of the later reconstructions, so the same local error can be damped, accumulated or amplified, and local similarity can coexist with large global drift; the bound measures departure from a reference transport, not whether the act survives (thesis, 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 (granted, Active)
  • CLAIM-208 — 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 (counter, Active) — also objects to CLAIM-059, CLAIM-078
• CLAIM-059 — Repeated reconstruction chains fall into different regimes under conditions assigned in advance, contracting toward conventions, accumulating neutrally or amplifying, and amplification needs a metric other than total variation, an enlarged state or state-dependent dynamics (thesis, Proposed)
• CLAIM-077 — A transport is admissible only if it keeps specified observable distinctions apart, which excludes trivial collapse by construction (thesis, Active)
• CLAIM-078 — The theory succeeds if its observational and decision measures predict changes of communicative identity that text similarity misses and follow its compositional predictions across reconstructions; it needs neither quantum contextuality nor exact Noether laws (thesis, Proposed)
• CLAIM-087 — Cross-modal reconstruction often improves a receiver’s access to an implicit communicative relation beyond the text-only baseline, as when posture or expression conveys solidarity better than the source text’s literal content, though a rendering made without the situation is a garbling and cannot improve what an ideal receiver could do (thesis, Proposed)
• CLAIM-105 — In documented reconstruction chains, steps that keep most local judgements commonly change their global compatibility: translation preserves local meanings while changing the global structure of meaning (thesis, Proposed)
  • CLAIM-219 — A change in the global compatibility of a fixed scenario is either a change in contextuality proper, which the behavioural data read show none of, or a change in overlap consistency, which is ordinary context dependence and moves by at most 2ε when each context moves by ε (counter, Active) — through ARG-032
  • CLAIM-235 — 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 (counter, Active) — also undercuts support of CLAIM-125
• 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 (thesis, Superseded)
  • CLAIM-222 — 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 (counter, Active) — also objects to CLAIM-139
  • CLAIM-243 — Read as description, the manuscript’s thesis is close to true by definition; read as a criterion, it is a schema until the decision family Q is fixed, and its descriptive defeat condition can test neither reading (counter, Active)
    • CLAIM-252 — The account does not say which distinctions a translation ought to keep: it says how to tell which ones a rendering kept for stated tasks and receivers, and what ought to be kept is set by the purpose the translation serves (disclaimed, Active)
• 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 (thesis, Active)
  • CLAIM-237 — 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 (granted, Active)
  • 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 (granted, Active)
• CLAIM-137 — A communicative kind is identified by an invariant that does not depend on any one realization, as a group character identifies a representation up to isomorphism, once one symmetry group is identified across the realizations by its action on the situation and not by labels of a medium, so that invariant has classificatory priority over any particular realization (thesis, Proposed)
  • CLAIM-132 — Characters classify finite-dimensional representations of a finite or compact group up to isomorphism only over a field of characteristic zero; they forget the isomorphisms, fix neither the group nor a permutation action, and classify kinds, not tokens or positions (granted, Active)
  • CLAIM-246 — Sharing a kind is symmetric and blind to which work is the source, so the October thesis cannot say a translation is of its original, against the line’s own directed, graded fidelity and identity through descent (counter, Rejected) — also objects to CLAIM-139
    • CLAIM-210 — Sharing a kind and being a rendering are different relations: kind-sharing is symmetric and says what is to be preserved, while fidelity belongs to a transport from a given source, so an utterance of the same kind made independently of the source shares its kind and has no fidelity to it (thesis, 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 (granted, Active)
• 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 (thesis, Superseded)
  • 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 (granted, 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 (counter, Proposed) — also objects to CLAIM-142
    • CLAIM-217 — For a communicative kind, the standard of sufficiency is the uptake of competent participants who know the standings and norms in play: a defeasible standard, overridden only where the act’s other constituents diverge from the judges’ verdicts, so a probe family is tested against it, and a kind outruns the families coarser than that standard and the judges only through those constituents (thesis, Proposed)
      • CLAIM-241 — 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 (counter, Active)
  • CLAIM-211 — Read as worded, the manuscript’s thesis and the October thesis give rival answers to what survives, which come apart in both directions on the cases of the receiver objection, yet the record links them by complements and scopes the October thesis to a question its fidelity clause does not stay inside (granted, Active)
    • CLAIM-223 — Whether a distinction survived is fixed by what the receivers can recover, and whether it can be shown to have survived is fixed by what the analyst’s probes can identify, so the manuscript’s thesis and the October fidelity clause, read so, answer different parts of one question (thesis, Active)
  • CLAIM-216 — A thesis that conjoins relational constitution, statistical recovery, transport and receivers’ recovery is defeated whole by any one of its empirical findings, though its clauses can hold or fail apart, so the line is better put as separate theses, each with its own defeat condition, resting on one another only where one is a premise of another (counter, Active) — also objects to CLAIM-204
• CLAIM-142 — Two communicative realizations can agree on every probe in a restricted family without being structurally identical, so observational equivalence is relative to the probes, and only independently justified probes evaluated on held-out cases are evidence that structure was preserved (thesis, Proposed)
• CLAIM-143 — Local descriptions that disagree are not thereby incompatible: whether there is an obstruction can be assessed only relative to a specified class of admissible correspondences between their observations, independently validated and not admitted because they remove the disagreement (thesis, Active)
• 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 (thesis, Proposed)

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 (thesis, 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 (thesis, Active)

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 (thesis, Superseded)
  • CLAIM-010 — On this account every control system has a will (counter, Rejected) — also objects to CLAIM-027
    • 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 (thesis, Superseded)
    • CLAIM-116 — Regulation, even higher-order regulation, does not establish a will (disclaimed, Active)
• CLAIM-027 — Which of an agent’s available regimes becomes effective depends on maintained relations — accessibility, precedence, persistence, jurisdiction, suspension and transformation — that are not reducible to the contents of the competing regimes, whatever mechanisms realize them (thesis, Active)
  • CLAIM-089 — Northstar simply prefers speed: the governing relations are revealed preferences of the organization, not a separate organization of efficacy (counter, Rejected)
    • CLAIM-122 — Will-organization is not one more higher-order preference: changing the conditions of efficacy changes behaviour while the competing preferences stay fixed (thesis, Active)
    • CLAIM-482 — An organization’s aggregate revealed preference exists exactly when its record of winning moves never cycles, and where it exists it is fitted to one regime of authority, so an intervention on authority that changes the winning moves changes the fitted preference and the preference does not predict the change (counter, Active)

From 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

• CLAIM-063 — A transport that approximately intertwines each framing operation approximately preserves their commutator, so the degree to which interpretive perspectives interfere can itself be part of what a translation preserves; on observed responses that degree is the order effect, which the intertwining defects bound only with a readout defect added and which the data identify only through observational distortion (thesis, 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 (granted, Active) — through ARG-006 — also objects to CLAIM-117
  • CLAIM-253 — The intertwining defects are defined on unobservable interpretive-state spaces, so they are not identified from judgement data, and the commutator identity bounds observed order effects only with a further, unstated readout-intertwining defect (counter, Active) — through ARG-006 — also objects to CLAIM-117
• CLAIM-117 — Pragmatic fidelity requires preserving the dynamics of interpretation, not only final judgements: a good transport approximately intertwines source and target framing operations under a correspondence anchored to independently measured distinctions (thesis, Proposed)

From 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

• CLAIM-013 — 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 (thesis, Proposed)
  • CLAIM-097 — T2I-CompBench is not purely object-centered: its non-spatial relation category already probes interactions, but scores them with CLIPScore and near human ceiling (granted, 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 (thesis, Superseded)
  • CLAIM-040 — Symmetry is a kind of invariance, and Noether’s theorem is the point: invariance under transformation yields conservation (counter, Active)

From Describing the relations that decide which regime becomes effective as one will-organization, across realizers, explains something that planning theory, control theory, executive-control research and institutional theory each describing their own realizer does not

• CLAIM-487 — Describing the relations that decide which regime becomes effective as one will-organization, across realizers, explains something that planning theory, control theory, executive-control research and institutional theory each describing their own realizer does not (thesis, Proposed)
  • CLAIM-024 — Nothing here is new but a question: planning theory, control theory, executive control and institutional theory already study every mechanism the account names, and where the account has been set beside the expected value of control and Ainslie’s interests it differs only in asking what governs how the driver changes rather than who drives, a question those mechanisms may answer without it (counter, Proposed)
    • CLAIM-159 — The record’s rival accounts of will are claims about drive profiles in different cells: Ainslie’s interests are aggregate or emergent, the expected value of control is top-down, and will-organization is the maintained organization that governs how the drive profile changes (thesis, Active)

From A constraint may govern conduct without governing the conditions under which it remains authoritative

• CLAIM-086 — A constraint may govern conduct without governing the conditions under which it remains authoritative (thesis, Active)
  • CLAIM-032 — Northstar’s internal procedures are not morally or historically analogous to the regime Fraenkel described (granted, Active) — through ARG-003

From 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

• CLAIM-038 — A communicative object is a context-indexed system of empirical constraints over a cover of contexts, and these need not extend to one globally realizable interpretation (thesis, Active)
  • CLAIM-141 — Causal-loop consistency and sheaf contextuality are both local-to-global problems, but passing to distributions affects them oppositely: a loop with no deterministic solution has a distributional fixed point, while a model with no global section in its supports has no global distribution either (granted, Active) — through ARG-010
  • 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 (granted, Active) — through ARG-010

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 (thesis, Rejected)
  • CLAIM-041 — Context-sensitive interpretation, order effects and noncommuting framing operations do not by themselves establish nonclassical probability or quantum contextuality (granted, Active) — also undercuts support of CLAIM-109
• CLAIM-109 — In translation the pragmatic frame does not merely select a description of meaning but participates in determining which meaning becomes actual (thesis, Superseded)

From Brooks’s architecture, Kelso’s coordination dynamics and Levin’s bioelectric selves are three different ways of understanding what an organized whole is

• CLAIM-110 — Brooks’s architecture, Kelso’s coordination dynamics and Levin’s bioelectric selves are three different ways of understanding what an organized whole is (counter, Rejected)
  • CLAIM-045 — Architectural, dynamical and goal-directed accounts of distributed agency are complementary components of one account, each answering a different sub-question (thesis, Active)

From 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

• 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 (thesis, Active)
  • CLAIM-225 — Blackwell’s order measures what an ideal decision-maker could do, not what a given receiver can reconstruct, and the line’s claims that a rendering can improve access describe garblings that real receivers do better with, which is the shape of the Blackwell thesis’s own defeat condition (counter, Active) — also undercuts support of CLAIM-220
  • CLAIM-230 — 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 (counter, Active)
  • CLAIM-258 — Blackwell’s order compares experiments about one parameter, so it does not reach the normal translation case: source and target readers decide about situations with changed coordinates, and where the state is common a translator with context knowledge yields a rendering that is not a garbling of the source, which the order typically leaves incomparable with it and about which the direction the manuscript uses is silent (counter, Proposed)
    • CLAIM-212 — 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 (thesis, Proposed)
      • 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 (counter, Proposed)
• CLAIM-067 — If a transport exactly intertwines a generating set of communicative operations, it preserves every trajectory composed from them (thesis, Superseded)
  • CLAIM-106 — Pragmatic fidelity is a graded, potentially asymmetric property of transport, not an equivalence relation; equivalence is its zero-distortion limit (thesis, Active)
    • 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 (granted, Active) — also objects to CLAIM-050
• 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 (thesis, Proposed)

From Renderings that keep the proposition can perform a different communicative act, so preserving the proposition is not sufficient for preserving the communicative event

• 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 (thesis, Active)
  • CLAIM-053 — The manuscript argues only that preserving the proposition is insufficient; that it is also unnecessary rests on an argument the exchange gave and the manuscript leaves out (granted, Superseded)
  • 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 (granted, Active) — also objects to CLAIM-084
  • CLAIM-229 — The footing, compensation and constitution theses ground on invented cases whose readings the assistant assigned, and the case filed for the proposition’s non-necessity holds the words fixed, so it shows only insufficiency (granted, Superseded)
• CLAIM-084 — 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 (thesis, Proposed)

From 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

• CLAIM-058 — Context-conditioned language models give a controlled computational setting in which the theory’s frame, order and transport effects can be tested before human studies (thesis, Proposed)
  • CLAIM-085 — A framing effect in a language model is a property of that model under those prompts, and what a translation ought to preserve is a normative question that model response distributions, being descriptive, cannot settle (granted, Active) — through ARG-008
  • CLAIM-248 — The founding stimuli (Villon, Henley’s Villon, Hofstadter’s Marot) and commentary on them are likely in language models’ training data, and what a context does to one model need not be what it does to another, so a model’s reading of their footing may be recall, and a directional match in one model may not hold in the next (counter, Active) — through ARG-008

From 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

• CLAIM-107 — 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 (thesis, 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 (granted, Active)

From 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

• 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 (thesis, 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 (granted, Active)

From 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

• 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 (thesis, Proposed)
  • CLAIM-236 — 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 (granted, Rejected)
    • 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 (thesis, Active)

From 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

• CLAIM-151 — Which communicative act an utterance performs is partly constituted by its relations to participant roles, norms and expected uptake, so a transformation that changes those relations can change the act and not only its realization (thesis, Proposed)
  • CLAIM-130 — 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) (thesis, Active) — through ARG-012
  • CLAIM-150 — An ontology of intrinsically individuated objects with relational properties can reproduce the categorical and operational identifications, and the predictions, of a relational one, so identification underdetermines constitution (disclaimed, Active) — through ARG-023, ARG-038
  • CLAIM-221 — 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 (counter, Proposed)
  • CLAIM-224 — Under partial relational constitution, a translation always changes the participants, audience and norms that the relational-constitution thesis makes constituents of the act, so whether the act survives turns on a correspondence of relations the structure cannot supply from inside (counter, Proposed)

From Communicative acts and their participants exist as relata but have no identity beyond what their relations differentiate: non-eliminative structural realism without primitive identity

• 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 (thesis, Proposed)
  • CLAIM-134 — 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 (counter, Proposed)
  • CLAIM-138 — The Newman objection is the collapse objection at the level of ontology, and the remedy offered for both, independently specified relations, concedes that relational structure alone does not fix communicative identity (counter, Proposed)

From A candidate structure is worth naming as a unit when its effect-to-noise ratio outruns the Occam cost of keeping it: reify when d’² exceeds the log prior-to-posterior variance ratio, where the model with the candidate stays regular at the parameters that switch it off

• CLAIM-154 — A candidate structure is worth naming as a unit when its effect-to-noise ratio outruns the Occam cost of keeping it: reify when d’² exceeds the log prior-to-posterior variance ratio, where the model with the candidate stays regular at the parameters that switch it off (thesis, Active)
  • CLAIM-188 — Where the model with a candidate structure is singular at the parameters that switch the candidate off, with real log canonical threshold λ below d/2 and multiplicity m, the reification rule’s Gaussian Occam term overcharges keeping the candidate by (d/2 − λ) log n + (m − 1) log log n to leading order, so near the threshold the rule prunes candidates the Bayes factor keeps, and its derivation holds only where that model stays regular (counter, Active)

From Relative to a stated target, a combined form is one system while its joint dynamics are nearly decomposable with the form as a block whose gap beats the Occam factor, and it lasts as long as that block persists; the unit is the gap-isolated block, not any member

• CLAIM-157 — Relative to a stated target, a combined form is one system while its joint dynamics are nearly decomposable with the form as a block whose gap beats the Occam factor, and it lasts as long as that block persists; the unit is the gap-isolated block, not any member (thesis, Proposed)
  • CLAIM-173 — The threshold criterion measures coupling strength, and coupling is not constitution: a metronome driving a musician, or a nerve driving a muscle, forms a strongly coupled block that clears the threshold without being one system (counter, Rejected)
    • CLAIM-167 — One-way drive rightly passes the threshold criterion: a metronome and its musician, or a nerve and its muscle, form one system relative to a target that needs both, and the direction of coupling gives the system’s internal architecture, not its membership (thesis, Proposed)
• CLAIM-170 — The agents in a system are a factorization of it relative to a level of description and a target; agents in general are identified by adaptation, and willed agents are individuated by their will-organization: a willed agent is the jurisdiction of a will-organization (thesis, Proposed)
  • CLAIM-168 — Identifying agents by their will-organization is circular: will-organization is defined for an agent already given, and the agent-versus-device comparison presupposes an identified system, so neither can produce the factorization it is meant to find (counter, Proposed)
    • CLAIM-174 — A candidate factor is an agent at a level when it is one system there, when a goal-directed description beats a device description by more than the Occam cost, and when its policy would adapt if its actions’ consequences changed; it is a willed agent when, further, a will-organization over several regimes describes it better than none, and what passes that is the jurisdiction of a will-organization (thesis, Proposed)
      • CLAIM-194 — A gap or coupling criterion cannot tell a boundary a system produces from one imposed on it: a membrane the cell makes and a beam joining two pendulums pass alike, so the block test cannot by itself supply the individuality minimal agency needs (counter, Active) — also objects to CLAIM-157
      • CLAIM-393 — Ordinary and legal attributions of agency to an artifact cannot serve as the independent marks that would defeat the record’s agency test, because they turn on whether its mechanism is understood: a known mechanism invites “This is all just programmed!”, an inscrutable one invites fear, whatever the description lengths (counter, Proposed)

From 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

• CLAIM-160 — Data written for a potential future receiver has its intended meaning fixed by the write: even if it is never read, what it was meant to say was settled when it was stored (thesis, 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 (counter, Proposed)

From “Synchronization” is an analogy without a mechanism: phase synchrony among coupled oscillators has a coupling, an order parameter and transitions, valuations that fail to cross have none of these, and the word adds nothing to “the curves do not cross”

• CLAIM-163 — “Synchronization” is an analogy without a mechanism: phase synchrony among coupled oscillators has a coupling, an order parameter and transitions, valuations that fail to cross have none of these, and the word adds nothing to “the curves do not cross” (counter, Superseded)
  • CLAIM-198 — Preference reversal is not yet disunity: interests that govern a choice at disjoint times glue, and a self is divided over a choice only on an overlap, which the agent’s prediction of its own later valuation creates (thesis, Proposed)

From Mutual entrainment is a sufficient mark of a combined form, and marks it as one of peers: when each side adjusts the other’s timing the pair carries a collective variable neither has alone; one-way drive also makes a combined form, with a hierarchical architecture

• CLAIM-172 — Mutual entrainment is a sufficient mark of a combined form, and marks it as one of peers: when each side adjusts the other’s timing the pair carries a collective variable neither has alone; one-way drive also makes a combined form, with a hierarchical architecture (thesis, Active)
  • CLAIM-165 — A combined form constituted by mutual entrainment is not thereby a self in the subject sense: two dancers in phase are one coordination, an autonomous process, and still two subjects (counter, Proposed)
    • CLAIM-175 — A partner-dancing couple, while dancing, is one combined cognitive form on the extended-mind thesis’s own terms, more clearly than Otto and his notebook, and merits a name of its own (thesis, Active)

From Recurrence is the trigger of persistence this record is built around: coding a thing the second time it turns up captures exactly the drift that defeats an argument, and keeps capture from flooding the record

• CLAIM-176 — Recurrence is the trigger of persistence this record is built around: coding a thing the second time it turns up captures exactly the drift that defeats an argument, and keeps capture from flooding the record (thesis, Proposed)
  • CLAIM-181 — The record fixes the grammar an argument is expressed in, though not its shape: its closed vocabulary of schemes, roles and relations formalizes early, and a move that fits no CLAIM, TERM, ARG or declared relation is forced into one or lost until the misfit is noticed and the grammar amended to hold it (counter, Proposed) — also objects to CLAIM-178
    • CLAIM-419 — The record’s grammar is fixed at any moment but amendable by decision, and in practice a move that fit no scheme or relation has repeatedly been treated as a defect of the grammar and answered by amending it, so a move the grammar cannot hold is not only forced or lost; whether every such move is caught is not shown (counter, Active)
• CLAIM-178 — A manuscript should be a view over the argument and not its only copy: a draft written straight from an exchange drops commitments and changes its thesis without saying so, and both become visible only against a record where claims carry status and inclusion separately (thesis, Proposed)

From Restating an argument across memoryless sessions is iterated transport with only a weak channel back to the source: without anchors, restatements drift toward the collaborators’ own framings rather than at random, and a code restores continuity of transmission

• CLAIM-191 — Restating an argument across memoryless sessions is iterated transport with only a weak channel back to the source: without anchors, restatements drift toward the collaborators’ own framings rather than at random, and a code restores continuity of transmission (thesis, Proposed)
  • CLAIM-189 — Fidelity is the wrong measure of a developing argument: maturing drops and changes things legitimately, so what a record can secure is traceability, change that is announced and located, not preservation (counter, Proposed)

From 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

• 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 (thesis, Proposed)
  • CLAIM-251 — 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 (counter, Proposed)

From 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

• CLAIM-202 — What the line adds to functional and relevance-theoretic accounts of translation is measured structure beyond a static pragmatic profile: the context-indexed profile, its response to later framings and its decision relevance predict receivers’ recovery beyond the similarity of static stance and footing ratings (thesis, Proposed)
  • CLAIM-205 — Functional and relevance-theoretic accounts of translation, as Nida, Nord and Gutt state them, need not fix one context or a static stance profile of the rendering (counter, Active) — through ARG-031

From Forbidding self-endorsement does not stop an operator from amplifying its own authority: under damped recursive delegation, reciprocal and cyclic endorsements recycle authority, so an operator’s authority depends on its own endorsements, while one-hop allocation within an epoch, from budgets and baselines fixed independently of outgoing endorsements, makes it exactly independent of them

• CLAIM-282 — Forbidding self-endorsement does not stop an operator from amplifying its own authority: under damped recursive delegation, reciprocal and cyclic endorsements recycle authority, so an operator’s authority depends on its own endorsements, while one-hop allocation within an epoch, from budgets and baselines fixed independently of outgoing endorsements, makes it exactly independent of them (granted, Active)
  • CLAIM-502 — Multi-hop delegation can keep an operator’s authority exactly independent of its own endorsements: under leave-one-out damped delegation, which counts the authority reaching each operator only along paths that have not already passed through it, an operator’s endorsements raise the authority of every operator the endorsed one reaches and leave its own unchanged (thesis, Active)

From A self, in the self-governing sense, is a historically continuous organization of processes that takes part in governing the conditions of its own persistence, differentiation and transformation, not merely one that persists

• CLAIM-284 — A self, in the self-governing sense, is a historically continuous organization of processes that takes part in governing the conditions of its own persistence, differentiation and transformation, not merely one that persists (thesis, Active)
  • CLAIM-288 — In a population whose operators each maximize an objective the modeller fixed, the norms the organization appears to maintain are set by the modeller, not by the organization: they can become its goals through their role in selecting what persists, but it does not produce or revise them (counter, Active) — through ARG-015
    • CLAIM-356 — An objective that originates outside a learning system can become a goal of the training organization, through its causal role in selecting, stabilizing and reproducing the learned structure it rewards; exogenous origin does not disqualify a goal, but it does not show that the network governs or endorses the objective, and what is selected is performance on the updating distribution, not generalization (thesis, Active)

From Habit, akrasia, rumination, rigidity and insight can be modelled as regimes of one organization, in which processes transform shared meaning and allocate one another’s influence, with trust, specialization and higher-level agency arising from its history and not imposed

• CLAIM-286 — Habit, akrasia, rumination, rigidity and insight can be modelled as regimes of one organization, in which processes transform shared meaning and allocate one another’s influence, with trust, specialization and higher-level agency arising from its history and not imposed (thesis, Proposed)
  • CLAIM-467 — Under full-information, independent audits, a learned allocation of influence among specialists is no better than a contextual router trained on the same audits, which is a mixture of experts whose experts earn responsibility by fitting better; whatever governance adds over routing has to be shown where evaluation fails, and the record has not yet found such a regime (thesis, Active) — through ARG-036

From Iterative retrieval can turn a provisional interpretation into a premise: a framing selects what is encountered, what is encountered reinforces the framing, and the question being investigated drifts as well as the queries

• CLAIM-301 — Iterative retrieval can turn a provisional interpretation into a premise: a framing selects what is encountered, what is encountered reinforces the framing, and the question being investigated drifts as well as the queries (thesis, Proposed)
  • CLAIM-292 — Retrieval that depends on current belief is not a bias in itself: adaptive search can be rational when inference accounts for how the evidence was selected, and calling a search biased needs a standard outside the search (granted, Active)

From A record of an inquiry’s justifications adds nothing for decisions its current state already suffices for: what it can add is a wider family of decisions for which what is kept suffices, and decisions a bounded agent can make that it otherwise could not

• CLAIM-295 — A record of an inquiry’s justifications adds nothing for decisions its current state already suffices for: what it can add is a wider family of decisions for which what is kept suffices, and decisions a bounded agent can make that it otherwise could not (thesis, Proposed)
  • CLAIM-293 — The topology of a support graph does not fix how a conclusion should be revised when one of its supports fails: two records with the same edges can carry evidence of different strength and call for different revisions (granted, Active)

From Filing an argument moves work across time: it is paid for now, in filing, indexing, tracking dependencies and checking it is still current, against reconstruction later, so it is worth its cost only when expected reuse covers it, and recurrence is evidence of reuse, not the criterion

• CLAIM-303 — Filing an argument moves work across time: it is paid for now, in filing, indexing, tracking dependencies and checking it is still current, against reconstruction later, so it is worth its cost only when expected reuse covers it, and recurrence is evidence of reuse, not the criterion (thesis, Proposed)
  • CLAIM-308 — Where reuse cannot be forecast, recurrence weighted by reconstruction cost is the filing criterion, not only evidence for one: filing at the first use at which reconstructing again would take the overpayment past the cost of filing is within 2 − (c_a + u)/c_r of the hindsight optimum on every sequence of uses, at most twice, and no deterministic rule without foresight guarantees materially better, under fixed known costs, with staleness left out and the cost of recognizing what a filed argument answers taken as fixed (counter, Proposed)
    • CLAIM-314 — Reusing a filed argument has a recognition cost that a fixed per-use price leaves out: certifying that stored answers cover a new question is NP-complete even for conjunctive queries, grows with the number and size of the stored definitions rather than being a constant per item, and is undefined for an item filed without a statement of what it answers, so each filing raises the cost of later reuse and per-item break-even decisions are not independent (counter, 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 (thesis, Superseded)
  • CLAIM-311 — A search cut off before an exhaustive pass can establish absence when the arrangement certifies that the unsearched remainder cannot hold the item: a sorted table answers non-membership in a logarithmic number of probes, and the Threshold Algorithm stops early with its answer proved, so absence needs a certificate about the remainder, not exhaustion; similarity search in high dimension is where no such certificate exists (counter, Active)

From Sorting schemes over objects with determinate properties never conflict as descriptions, since the product of any sortings refines them all; they conflict as arrangements, since a fixed number of bins realizes one partition when each item is stored once, and which costs least depends on what is searched for and on what stands out within a bin

• CLAIM-310 — Sorting schemes over objects with determinate properties never conflict as descriptions, since the product of any sortings refines them all; they conflict as arrangements, since a fixed number of bins realizes one partition when each item is stored once, and which costs least depends on what is searched for and on what stands out within a bin (thesis, Active)
  • CLAIM-313 — A fixed number of bins realizes one partition only when each item is stored once: with copies, overlapping partitions coexist, as hashing-based similarity search stores each item in many partitions and pays for it in space, so sortings conflict as arrangements only under a one-copy constraint, which binds bricks but not index entries (counter, Active)

From 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

• CLAIM-341 — The loop that keeps a lucid agent’s model in touch with what it models runs between judgement and observation: each judgement reshapes the observer whose later observations it then judges, and action on the world is not part of that loop, so active inference’s action–perception cycle misplaces where the agent is active (thesis, Active)
  • CLAIM-337 — 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 (counter, Proposed)
  • CLAIM-339 — 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 (counter, Active)
    • CLAIM-342 — What keeps a judgement–observation loop from confirming itself is evidence whose arrival or scoring does not pass through the interpretation it tests; action is one source of such evidence, not a necessary one, and a loop that selects its own evidence can lock in with action available (thesis, Active)

From Non-domination of an agent’s subcomponents is a candidate constituent of authenticity as an organizational achievement, not a sufficient criterion of ownership: higher-level processes need not impose the outcome because the lower-level ones already support it or settle their disagreement among themselves, and a process that rarely decides keeps access to the roles in which it is consequential

• CLAIM-362 — Non-domination of an agent’s subcomponents is a candidate constituent of authenticity as an organizational achievement, not a sufficient criterion of ownership: higher-level processes need not impose the outcome because the lower-level ones already support it or settle their disagreement among themselves, and a process that rarely decides keeps access to the roles in which it is consequential (thesis, Proposed)
  • CLAIM-364 — Processes conditioned never to object coordinate without override at the same behaviour and supervisory cost as processes that negotiate, so the two part only under intervention, when a constituent dissents, or in their history (counter, Proposed) — through ARG-030

From Experience is constituted by interpretive organization, not produced by it: an appropriately organized process in which signals acquire significance for a system is the experience, so whether a system can have experience becomes whether it can sustain that organization

• CLAIM-412 — Experience is constituted by interpretive organization, not produced by it: an appropriately organized process in which signals acquire significance for a system is the experience, so whether a system can have experience becomes whether it can sustain that organization (thesis, Proposed)
  • CLAIM-411 — Under the broad, nonphenomenal definition of interpretation the constitutive thesis uses, substantial processing that is not independently shown to be experiential meets the definition, blindsight’s apparently unconscious visual discrimination among it, so interpretation alone does not establish experience, and the thesis must say which further organizational properties, if any, make an interpretation experiential (counter, Active)

From A perspective governs itself with respect to social judgement to the extent that it keeps access to others’ judgements of it while making their authority over its conduct depend on their grounds, not on their visibility, repetition or attributed plurality; neither absorbing every judgement nor resisting every one meets this, since both let the judgements set the terms of response

• CLAIM-425 — A perspective governs itself with respect to social judgement to the extent that it keeps access to others’ judgements of it while making their authority over its conduct depend on their grounds, not on their visibility, repetition or attributed plurality; neither absorbing every judgement nor resisting every one meets this, since both let the judgements set the terms of response (thesis, Proposed)
  • CLAIM-426 — Where a judgement’s circulation helps bring about what it says, its visibility, repetition and attributed plurality are evidence about what it will bring about, so the rule that a judgement’s authority should come from its grounds and not its visibility holds for judgements of what already is, and not without qualification for judgements of what someone or something will become (counter, Proposed)

From A corporation can be an agent fit to be held responsible and the bearer of functional affect in Frijda’s sense, so psychopathy’s affective features can be assigned to it as well as its conduct: it lacks remorse, functionally, when harm it does to others is not among the concerns its own appraisals track and gains precedence over what it does only when a regulator or a market turns it into a threat to the corporation’s concerns; that profile, threat without remorse, is the construct’s, and it is changed by redesigning the corporation’s concerns, not its members’ characters

• CLAIM-432 — A corporation can be an agent fit to be held responsible and the bearer of functional affect in Frijda’s sense, so psychopathy’s affective features can be assigned to it as well as its conduct: it lacks remorse, functionally, when harm it does to others is not among the concerns its own appraisals track and gains precedence over what it does only when a regulator or a market turns it into a threat to the corporation’s concerns; that profile, threat without remorse, is the construct’s, and it is changed by redesigning the corporation’s concerns, not its members’ characters (thesis, Proposed)
  • CLAIM-431 — A corporation’s functional remorse cannot be told from prudence: any procedure or role duty that makes others’ harms its concern was put there for its own ends, reputation, liability or recruitment, so the line between harm as concern and harm as threat, and with it the line between a remorseful and a psychopathic corporation, does not hold, and the clinical word adds nothing to a description of its incentives (counter, Proposed)

From An organization’s appraisal is the negotiation among its perspectives, a common currency is that negotiation’s admitting an ordering of the options it faces, and goal-conduciveness valence is a regime in which an ordering of the organization’s own states by their bearing on its maintenance prevails in the negotiation; so valence presupposes contested rankings, not frustrated demands, its sign is whether the organization runs ahead of or behind a reference course along the potential ordering, its intensity is how far the negotiation’s decisions follow that ordering, and ambivalence, where no ordering prevails, differs from neutrality, where one prevails and the organization keeps to its course

• CLAIM-440 — An organization’s appraisal is the negotiation among its perspectives, a common currency is that negotiation’s admitting an ordering of the options it faces, and goal-conduciveness valence is a regime in which an ordering of the organization’s own states by their bearing on its maintenance prevails in the negotiation; so valence presupposes contested rankings, not frustrated demands, its sign is whether the organization runs ahead of or behind a reference course along the potential ordering, its intensity is how far the negotiation’s decisions follow that ordering, and ambivalence, where no ordering prevails, differs from neutrality, where one prevails and the organization keeps to its course (thesis, Proposed)
  • CLAIM-438 — An ordering serving as the negotiation’s potential, as the potential account of valence defines it, tracks ‘wanting’, not ‘liking’: sensitized incentive salience wins a system’s conflicts, persists and resumes while hedonic impact measured by taste reactivity stays flat or falls, so the regime the account calls hedonic valence is motivational valence, and hedonic valence, if it is anywhere in the account, is elsewhere (counter, Proposed)
  • CLAIM-441 — Flow tells against the potential account’s condition that valence is undefined where no pair is contested: on the record’s own account of flow nothing is overridden because an activity’s immediate reward and its longer-run value coincide, yet flow is reported as positive, so either flow’s positivity is intrinsic pleasantness and not goal-conduciveness valence, or flow keeps contested pairs its processes settle among themselves, or the positivity comes after the episode and not during it, or the condition is wrong (counter, Proposed)
  • CLAIM-448 — An ordinal potential describes only the winning-move relation it is computed on; where an organization’s legibility regime selects which contests are admitted or recorded, an acyclic record, even a persistent potential, can be the product of selective contestation, so observed coherence is not evidence that the organization’s perspectives are integrated, and an intervention that improves its self-governance may at first increase the disagreement observed (counter, Active)
  • CLAIM-449 — The potential account of valence’s first consequence, no frustration, no valence, runs together two relations: perspectives’ contested rankings, which a record of winning moves registers, and demands that are jointly infeasible, which the compatibility complex registers; rankings can contest while every demand is satisfiable, and demands can be infeasible before any contest is recorded, so the consequence needs one of them named, and the absorbed writer, reported as positive with nothing contested, tests whichever is chosen (counter, Active)
  • CLAIM-468 — Valence intensity need not be the strength of the prevailing ordering’s potential: in Hesp et al.’s model negative valence is a weakening of the preference ordering’s precision with a fall back to habit, and positive affect is reported to lower a goal’s priority, so for either sign stronger valence can go with a weaker hold of the ordering (counter, Proposed)
    • CLAIM-505 — A goal’s lowered priority under positive affect need not be a weaker hold of the prevailing ordering: on Carver’s satisficing account the effort released goes to the goal furthest behind, which the prevailing ordering of the system’s states may itself direct (counter, Proposed)

From Coupling locally described systems necessarily induces a separation of time scales between their collective behaviour and their relative behaviour

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

From No action is selfless in the sense of aiming at a good that is no self’s: what is called selflessness, collectivist or altruistic, is concern for the good of a self extended to include others or a group, so collectivism is self-interest on a larger self-identity

• CLAIM-491 — No action is selfless in the sense of aiming at a good that is no self’s: what is called selflessness, collectivist or altruistic, is concern for the good of a self extended to include others or a group, so collectivism is self-interest on a larger self-identity (thesis, Proposed)
  • CLAIM-492 — If the self is defined to include whatever an agent cares about, the claim that all motivation serves the self is true by definition and rules nothing out; the thesis has content only with a criterion of the self’s extent that can come apart from what the agent cares about (counter, Active)
  • CLAIM-494 — Empathic concern for another produces motivation whose ultimate goal is the other’s welfare, and it does so when perceived self–other merging is controlled, so not all helping is concern for an extended self (counter, Proposed)

From A self-maintaining organization ought to preserve its corrigibility

• CLAIM-511 — A self-maintaining organization ought to preserve its corrigibility (disclaimed, Proposed)
  • CLAIM-520 — The value of keeping a corrective capacity is conditional on objectives, uncertainty and cost: a free, optional audit cannot lower a single time-consistent decision-maker’s expected performance, but an audit that costs C to maintain and bears on k decisions with error rate ε is worth k(0.25 − 0.5ε) − C in the exchange’s model, negative when C is large or k small, and where no hypothesis fits the world, correction gains no reward and improves only calibration (thesis, Active) — through ARG-042

From Normative judgments about an organization’s continuity, reform or obligations can depend on diachronic relations that descriptions of present states or terminal outcomes do not show, so specifying the relevant relations and histories can be necessary to apply them adequately; which continuations ought to follow is a further normative question, not a prerequisite of every normative judgment

• CLAIM-518 — Normative judgments about an organization’s continuity, reform or obligations can depend on diachronic relations that descriptions of present states or terminal outcomes do not show, so specifying the relevant relations and histories can be necessary to apply them adequately; which continuations ought to follow is a further normative question, not a prerequisite of every normative judgment (thesis, Proposed)
  • CLAIM-512 — The diachronic thesis faces two objections: a dilemma, that read narrowly it fails for judgments not about any organization’s continuation, such as that suffering is bad, and read broadly every judgment is met vacuously as a preference between continuations unless the organizational description adds causal specificity, transfer or counterfactual discrimination; and a distinction, that evaluating a history is not prescribing its continuation, so a judgment can be determinate with no future transformation fixed (counter, Proposed)

From Competent behaviour does not establish an internal world model: over a fixed interface and a finite horizon, an agent with no model, whose actions are looked up from the history so far, reproduces the interaction distribution of an agent that has one exactly; a policy can identify predictive structure without any particular internal component realizing it, so compression and generalization support comparing candidate architectures, and establishing an internal mechanism needs evidence that discriminates candidate implementations, such as targeted interventions

• CLAIM-519 — Competent behaviour does not establish an internal world model: over a fixed interface and a finite horizon, an agent with no model, whose actions are looked up from the history so far, reproduces the interaction distribution of an agent that has one exactly; a policy can identify predictive structure without any particular internal component realizing it, so compression and generalization support comparing candidate architectures, and establishing an internal mechanism needs evidence that discriminates candidate implementations, such as targeted interventions (thesis, Proposed)
  • CLAIM-513 — Across a family of goals, a world model is not an optional explanation of competent behaviour: in a fully observed, finite, communicating, stationary environment, a goal-conditioned policy within a factor 1 − δ of optimal on every composite goal of depth n fixes every transition probability to within √(2P(1 − P)/((n − 1)(1 − δ))), so observers reading the same policy must ascribe the same world model; what it leaves open is whether a predictive component is realized inside the agent, since a lookup table over histories and goals has the same policy (counter, Active)