Topics — What a work is about. Nucleation holds whatever reading the owner files here, whether or not an Anthology of the SOTA topic could also hold it; instruction for ML practice belongs to the anthology (ADR-048). The words are seeded from the clusters the reading-time triage of 2026-09-25 found, and grow by decision.
Epistemology — knowledge, belief and evidence — justification and rational credence, the value of knowledge, testimony, trust and expertise, and social and inductive-risk questions about evidence (group: philosophy).
53 of 547 CLAIM documents. Back to the full index.
| # | Title | Summary | Status |
|---|---|---|---|
| CLAIM-142 v3 | Two communicative realizations can agree on every probe in a restricted family without being structurally identical, so observational equivalence is relative to the probes, and only independently justified probes evaluated on held-out cases are evidence that structure was preserved | It began at the owner’s U45 pointer to Yoneda, and A158 §5 gave it its first form. A173, A178 §3.2, A184 §2, A203 §§8 and 14, A214 §3 and A218 Ch7 restate it; A203 calls it “our central epistemic distinction”. The mathematical half is elementary and exact. The substantive half is the realist commitment that communicative identity is not exhausted by any probe profile. It makes TERM-014’s equivalence class probe-relative, and puts a realist reading over CLAIM-046’s methodological ordering. | Proposed |
| CLAIM-152 v6 | Any individuation built on sufficiency is relative to the target it is sufficient for: fix the outcomes differently and a different partition wins, so no boundary drawn this way is universal | Dual-filed from MOM-POS-001 (ADR-037). A sufficient statistic is sufficient for a target Y, so every partition chosen as minimal sufficient inherits Y. MOM’s example: fix the outcomes differently and “organism” wins instead of “animal”. In this record it is the standing caution on every boundary criterion filed beside it (CLAIM-154, CLAIM-161). It does not say boundaries are arbitrary, only that each is relative to a stated target. | Active |
| CLAIM-176 v4 | 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 | The filing rule of ADR-032 (“a thing gets a code the second time it turns up”), read as one trigger of persistence (CLAIM-185), and the one this record is built around. Narrowed to that on 2026-10-11, on the owner’s reframing. The same threshold appears in three places in luria and was found independently each time. Proposed: the rule has been applied, but no other threshold has been compared with it. | Proposed |
| CLAIM-177 v2 | In the record’s exchanges with collaborators who keep no memory, the argument repeatedly loses identity: concepts are redefined silently, objections and readings come back as though new, and the thesis changes without anyone arguing for the change | Stated as a finding in ADR-032, from seven readers coding the will exchange, and found again in the What Survives Translation? exchange by the workbench reconstructions of 2026-10-09 and 2026-10-10. Filed on 2026-10-11 as the first premise of the manuscript. Two exchanges with one owner and one assistant family, so Proposed. | Active |
| CLAIM-178 v2 | 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 | Luria’s distinction between sources and generated views, carried over from files to argument. The evidence is the two “crystallized arguments” of the What Survives Translation? exchange and the manuscripts drafted from them (workbench 2026/10/09/025539, 2026/10/10/040457). Proposed: the record is kept beside the manuscript, and nothing generates a manuscript from it. | Proposed |
| CLAIM-180 v4 | Drift is retrieval failure outside a critical distance: a restatement close enough to an idea retrieves it, one that has drifted too far is taken for new, and a code bypasses retrieval by content altogether | Proposed by the assistant on 2026-10-11, when the owner raised sparse distributed memory and Hebbian learning after CLAIM-182, and filed at the owner’s request. It reads the drift of CLAIM-177 through SDM’s critical distance (read in NOTE-242) and Hopfield’s basins of attraction (unread when filed; read 2026-10-14 in NOTE-819). The analogy is the claim; whether restatement distance predicts re-derivation has not been measured. | Proposed |
| CLAIM-181 v4 | 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 | Shipman and Marshall’s objection to formal representation (LIT-756), turned on this record, and narrowed on the owner’s correction of 2026-10-11. As the assistant first put it (“a crystal takes the shape of its seed”), it was wrong about crystals. A seed templates the lattice, but the habit is set by growth conditions. The objection therefore reaches the grammar of the argument, and not which claims it comes to hold. Some evidence for it is already in the record: the flourishes it declined to code, and the literature roles that “recurred” but stay in prose (ADR-032). | Proposed |
| CLAIM-182 v2 | Storage is not anchoring, addressability is: a structure that is kept but cannot be pointed at part by part does not stop re-derivation, and the same content becomes an anchor once its parts get addresses | An answer to QUESTION-038, proposed by the assistant on 2026-10-11 and filed at the owner’s request. The evidence is in the record already: the two shared transcripts persisted throughout, and ideas were re-derived inside them anyway. Their moves became citable only when the workbench reconstructions gave each turn a label. Two exchanges, and the comparison is not controlled, so Proposed. | Proposed |
| CLAIM-183 v2 | Generated views of the record, fed back into the exchange, become instruments of the argument: they show where its terms evolved faster than its formalism | From U40 of the translation exchange, the first time a generated view went back into the conversation (workbench 2026/10/10/040455). The assistant read the term-revisions chain as evidence about the manuscript, and made five moves in reply. One of them was “Nucleation itself is a case study”. One instance, so Proposed. | Proposed |
| CLAIM-184 v3 | Anchors entrench: a structure that persists early can lock in its framing, so that later structure grows on it and alternatives become hard to reach, and retirement by status is the record’s remedy only if superseded anchors stop attracting new structure | The cost side of the owner’s reframing (CLAIM-185), proposed by the assistant on 2026-10-11 and filed at the owner’s request. If persistence is what lets structure grow, it also lets early framings grow structure that is costly to undo. Grounded on Dunitz & Bernstein (unread) and Ostwald (read). The test: do Superseded entries keep drawing new citations? | Proposed |
| CLAIM-185 v3 | The nucleation threshold of an argument is whatever makes a structure persist: a persistent structure is available as an anchor, and more complex structure can evolve only on anchors | The owner’s reframing of 2026-10-11, after two readings showed that no physical nucleation threshold is a count. The threshold is not recurrence as such but whatever triggers persistence. Recurrence is the trigger this record is built around (CLAIM-176), and there are others. The readings fit the reframing: a physical nucleus is defined by persistence, and seeds that do not persist lose their power. Proposed: the generalization is stated, not tested. | Proposed |
| CLAIM-186 v4 | How fast an argument grows sets how it grows: drift tracks how fast new material arrives relative to how fast it is anchored, so a fast, prolific exchange branches, as a crystal grown far from equilibrium does, and a project memory stabilizes an argument by keeping anchoring up with arrival | Proposed by the assistant on 2026-10-11, while correcting its own crystal analogy (CLAIM-181), and filed at the owner’s request rather than on a second occurrence. The analogy is to morphological instability. Near equilibrium a growing crystal faces over, and far from it the faces branch. The evidence so far is anecdotal. The fastest stretch of the translation exchange carried two moves of thesis, and drift has not been measured against pace. There is no slow exchange to compare it with, so the claim is Proposed and untested. | 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 | The counter to CLAIM-191, filed with it. The transport line measures fidelity, and CLAIM-034 already says fidelity is one goal among several. A developing argument aims at maturing, and TERM-052 says maturing drops things legitimately. A fidelity profile would score legitimate dissolution as distortion. What the record secures is that change is announced and located: traceability. | Proposed |
| CLAIM-190 v2 | The anchoring measures are computed in the grammar that shapes the argument, so by themselves they cannot certify that drift fell: drift must also be judged under standards the record did not supply | An evaluation counter to the persistence and growth-rate claims, distinct from CLAIM-181. CLAIM-181 says the record shapes the argument. This says it also shapes the measures. Inbound references per code and turns per anchor are counted in the record’s own grammar, so by CLAIM-149 they cannot also certify that what they encourage reduced drift. Proposed from the synthesis review. | Superseded — by ARG-028 |
| 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 | The first claim joining the nucleating-argument and pragmatic-transport lines, which shared no edges. A sequence of memoryless sessions restating an argument is a chain of retellings, the telephone game of CASE-015. The transport line’s results then predict that drift has a direction, toward the transmitters’ prior (THEORY-155, CLAIM-090), and that convergence is not preservation (CLAIM-081). A code supplies CLAIM-002’s continuity of transmission. Proposed from a synthesis review; the counter is CLAIM-189. | Proposed |
| CLAIM-195 v2 | For an argument, the constraint set that persistence is relative to is fixed by an amendable decision, not discovered: the record stipulates what counts as the same claim persisting, which makes the choice explicit without making it non-arbitrary | Files the point the workbench of 2026-10-11 (214308) left as notes on CLAIM-185 and CLAIM-181. Viability is relative to a constraint set the theory does not supply (THEORY-134), and the will-organization line leaves “who fixes the constraint set” open (CLAIM-079, ARG-007). For an argument the record fixes it by decision (ADR-032 and its successors), so the set is explicit and amendable. That shows how one system fixes its set; it does not show the choice is non-arbitrary. | Active |
| CLAIM-213 | A proposed relational kind is a hypothesis about invariance across admissible changes of measurement and context, not an equivalence class under the measurements now available, so realism about kinds gains empirical content as extrapolation to probe families, populations and environments not used to construct them | From the interlocutor’s reading of PR #121 and its reconciliation, relayed by the owner on 2026-10-12. The middle position it proposes between the realist reading of CLAIM-139’s ontological clause and an operationalist one, which it would leave open as a tension rather than resolve. Proposed and not adopted. | Proposed |
| CLAIM-250 | What a developing argument should preserve through legitimate revision is its accountability structure, what was asserted, why, how it was challenged and what justified its revision, not its propositions, so fidelity is defined over justificatory and provenance relations while propositional content changes | From the interlocutor’s reading of PR #121 and its reconciliation, relayed by the owner on 2026-10-12, on the third open tension (CLAIM-189 against CLAIM-252). It reads the tension as mostly reconcilable and moves the fidelity object from propositions to justificatory relations. Proposed and not adopted. | Proposed |
| CLAIM-264 v2 | Two objects can agree on every probe in a restricted family without being isomorphic, so equivalence under a probe family is coarser than identity unless the family is rich enough | The general content of CLAIM-142, filed alone under ADR-040 so that it does not rest on CLAIM-046 and CLAIM-011, which are about pragmatic identity. The restricted Yoneda functor is fully faithful exactly when the probe family is dense. A strong generator makes it conservative, which is weaker: a morphism the probes see as invertible is invertible, but objects with isomorphic profiles need not be isomorphic. Matching every probe’s marginal leaves the joint unconstrained. The evidential rule is CLAIM-322’s. | Active |
| CLAIM-276 v2 | A shared interpretation’s coherence, its fidelity to evidence and the plurality of live alternatives are separate quantities, and a population can raise the first while lowering the other two, so a collective interpretation’s stability is no evidence of its truth | A1 §6, before the influence canvas: meaning as “metastable patterns of mutually reinforcing constraints”, with the caveat that “delusions, dogmas, and self-reinforcing errors can also become metastable”. So coherence C(M), evidential fidelity F(M, Y) and plurality P(M) must be measured apart. Zollman’s result that sparser communication helps a community settle on the better option (THEORY-143) and Holman and Bruner’s industrial selection (THEORY-146) are the record’s readings that bear on it. It does not say coherence is bad. | 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 against CLAIM-301, as A21 insisted (“That counter is essential. Without it, we’d be using ‘anchoring’ as a blanket criticism of adaptive search.”), and said again at A20 §5, A21 §4 and A23 V.E. Sequential experimental design chooses its next observation by its current belief and is not thereby biased. | Active |
| 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 | A6’s compensating-evidence case (CASE-089), granted against reading CLAIM-295 as saying a graph of justifications is enough. Two pieces of evidence support H in both worlds. Discount the first, and posterior odds are 20:1 in one world and 1.1:1 in the other. rests_on and grounds record that support exists, not how much. | Active |
| CLAIM-294 v2 | Two inquiry histories can agree on every current conclusion and still call for different revisions of it, so a current marginal belief is not a sufficient state for updating on evidence about what it depended on | A5’s central claim, made exact by A8’s construction (CASE-093) and checked here. Two joint distributions over a hypothesis H and a condition C share P(H) = 0.9; learning C = 1 sends one to 1.0 and the other to 0.8. Keeping only the marginal merges histories that need different updates. It does not say a full posterior falls short (CLAIM-300), or that a dependency graph is the fix (CLAIM-293). | Active |
| CLAIM-295 v2 | 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 | A10’s conclusion, with A5’s second claim and A10 §5’s three values of history: informational, computational and option value. It places CLAIM-250 without settling it. CLAIM-250 says what accountable inquiry ought to preserve; this says what preserving it could buy. The cases make the first half exact (CLAIM-294, CLAIM-300). The second half, that real inquiries change their questions in ways that make the purchase worth its cost, is not shown. | Proposed |
| CLAIM-299 | Decision sufficiency, historical accountability and correctness are three properties of a record of inquiry, and each can hold while the other two fail | A8’s “small mathematical structure”, with A5’s “Epistemic traceability and epistemic sufficiency are different properties”. Shown by construction: a sufficient posterior without history (CASE-082), a perfectly accountable record that is wrong (CASE-084), a current marginal that is right and cannot be revised (CASE-093). CLAIM-189 and CLAIM-190 hold neighbouring points about measuring an argument. This names the three predicates so the others can say which they mean. | Active |
| CLAIM-300 | A state sufficient for a family of decisions under a model makes the rest of an inquiry’s history worthless for those decisions, and it can stop being sufficient when a source is discredited, the model is revised or the decisions change | A10’s answer to the owner’s U10, with A8’s fourth case and A10’s normal constructions (CASE-082, CASE-087). Under a fixed, correctly specified model a sufficient posterior makes the history redundant for those decisions. The same sample mean that sufficed cannot say which reading remains when one instrument is discredited, or test a mixture. Sufficiency was always relative to the model and the family. CLAIM-152 says the same of individuation by target; this says it of a retained state over time. | Active |
| CLAIM-301 v2 | 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 | A21’s proposed claim, from the owner’s U21 link between retrieval-mediated anchoring, agent harnesses and older information retrieval. Classical IR named query drift (LIT-1079). An agent that rewrites its own task adds TERM-056, which A21 judged “arguably more consequential”. The exchange did this itself between A2 and A13. | Proposed |
| CLAIM-302 | Equivalence under feasible tests can be much coarser than statistical equivalence: there are ensembles almost disjoint from uniform that no polynomial-size test tells apart from it, and efficiently samplable ensembles of this kind exist if pseudorandom generators do | A15’s witness for “Complexity changes what we mean by an observable”, which the owner asked to have developed at U15, corrected by the reading of Goldreich (NOTE of 2026-10-15). CLAIM-264 says agreement on a restricted probe family is coarser than identity; feasibility gives a restriction that is forced, not chosen. The separation itself is unconditional: a counting argument gives ensembles supported on at most 2^(n/2) strings that no circuit of size 2^(n/8) tells from uniform. Only an efficiently samplable witness needs an assumption, and a secure pseudorandom generator supplies one. All of it is asymptotic, about ensembles indexed by n. | Active |
| 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 | A11, at the owner’s request for “content to the effect of computation-storage tradeoffs”. A11’s four expenditures (materialization, indexing, dependency tracking, refresh) and its break-even condition. The arithmetic is trivial. The thesis is about the record: that its second-occurrence rule (ADR-032) and the nucleation threshold of CLAIM-185 are approximations to this trade, and can fail in both directions. | Proposed |
| CLAIM-308 v3 | 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 | Filed at the owner’s request, from the rent-or-buy result of Karlin et al. 1988 (THEORY-348) set against CLAIM-303’s clause that recurrence is evidence of reuse, not the criterion. In CLAIM-303’s own terms the break-even rule needs no forecast and is worst-case optimal; ADR-032’s second-occurrence rule is that rule when filing costs about one reconstruction. It does not reach staleness, which the theorem forbids rather than prices, or drifting costs, and where reuse can be forecast an expected-reuse rule can do better, so CLAIM-303’s criterion survives there. | 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 | Filed at the owner’s request, from the readings on answering queries using views (Levy, Mendelzon, Sagiv and Srivastava 1995; Chandra and Merlin 1977; Halevy 2001). CLAIM-308’s guarantee needs a fixed, known per-use cost c_a; recognizing that a stored answer covers a new question is a search whose cost depends on everything stored, so filing one item changes the price of using the others. It undermines the premise CLAIM-308 states, not its arithmetic. The hardness is worst case and over short definitions, partial reuse is cheap, and nothing here is measured on the record. | Proposed |
| CLAIM-322 v2 | Agreement under a probe family is evidence that two objects share structure only to the degree that the family was chosen independently of the comparison and is evaluated on cases it was not chosen on, so a family selected to make two objects look alike shows only that it can be selected | Split from CLAIM-264 under ADR-043: its evidential half, stated on its own so that its warrant can be. CLAIM-264’s exact half shows that agreement on a restricted probe family does not fix identity; this claim draws the rule for reading such agreement as evidence. It is an argument, not a theorem, so it is interpretive. It does not say which probes to choose, or that held-out probes are neutral. | Active |
| CLAIM-324 v2 | In the What Survives Translation? exchange, the manuscript drafted straight from the crystallized argument changed the thesis with no turn arguing the move and dropped 24 of that argument’s items, none on request, and the second crystallized argument announced its change of question but left items out without saying which had dissolved and which were lost | Split from CLAIM-178 under ADR-043: the documented case on which that claim’s normative conclusion rests, scoped to the one exchange it comes from. The evidence is the workbench reconstructions of that exchange (2026/10/09/025539, 2026/10/10/040457). One exchange, reconstructed turn by turn by the record’s own readers; it says nothing about drafts in general. | Active |
| CLAIM-346 | Feasibility, aggregation and epistemic coordination are independent obstructions to an organization’s realizing its demands: each can occur with the other two absent | Owner-seeded, U36 of the exchange of 2026-10-17: Arrow’s theorem, then cryptography and “the two generals problem”. A36 placed them: “Arrow’s theorem belongs in the theory of endorsement, not directly in the geometry of feasible updates”, and the two generals add “epistemic frustration”. Three elementary constructions, each with one obstruction and not the others, are given in the body. The sharp edge: the independence is relative to fixing the demands as the constituents’ own acceptance conditions; that no remedy for one removes another is A36’s further reading, argued in the body and not part of the claim. | Active |
| CLAIM-403 v5 | A contribution’s admission to an organization’s inquiry, its recognition in apt terms, its credibility, its uptake into judgements, and its contributor’s part in revising the standards of uptake are separable, each possible without the later ones, so an organization can widen access while every channel by which a less authoritative contribution could change the criteria of authority stays closed | A24 §6 of the exchange of 2026-10-20, on the owner’s U24: “Someone’s contribution may be received and politely acknowledged yet have no mechanism through which it can change institutional understanding.” A25 §5 repeated the split from the side of visibility, and A27 §6 used it of consultation. CLAIM-349 has the three-step form for an organization’s own signals. This carries it to contributors and adds the top rung, Longino’s tempered equality and QUESTION-041’s channel. It does not say that every contribution is owed uptake. | Active |
| CLAIM-404 v4 | An organization can be governed from outside without any of its decisions being made for it, through the evidence its own procedures receive or through the criteria by which they weigh evidence; the two routes are distinct and each is possible without the other, so informational and evaluative independence do not imply each other; and where the organization’s role is to evaluate another that affects its evidence or resources, the interpretation–authority loop can close between the two institutions, so that formal independence of the evaluator’s procedure does not make its evaluation independent | The owner’s cases, U20 (“maybe cases like reflexive control and regulatory capture could be informative here”) and U21 (news-media capture) of the exchange of 2026-10-20, with A26 §4’s two constructions and A27 §6. A20: “Control over an organization need not consist in issuing its decisions. It can consist in shaping the conditions under which the organization determines its own decisions”. A26: “Neither guarantees the other.” CLAIM-342 holds the informational half and CLAIM-348 the evaluative half. The sharp edge: it names possible mechanisms. It does not say that any regulator, newsroom or expert body is captured. The replies’ empirical works, read on 2026-10-21, ground the two routes and give nothing to the loop between institutions. | Proposed |
| CLAIM-406 v5 | Structural, pre-emptive testimonial injustice has the form of the record’s trust loop: an arrangement that decides whose word is sought can keep an early exclusion going through the indicators of competence that only being sought produces, with no continuing prejudiced act; but the loop alone cannot tell perpetuated privilege from merited expertise, because that needs the prejudice condition the dynamics do not contain | The owner’s, U24 of the exchange of 2026-10-20, on A23’s closing thesis: “this seems to me reminiscent of themes in feminist philosophy, e.g. perpetuation of privilege”. A24 granted it. CLAIM-277’s loop already runs from early advantage to “undeserved authority”, and its note of 2026-10-18 from the side that loses. Fricker’s un-refreshed list (THEORY-327) is a case of it in which some people’s views “are not sought”. The sharp edge: the loop is the same whether what it entrenches was earned, and only a prejudice makes it an injustice. | Active |
| CLAIM-413 v3 | Grounding is not a property of an experience but a relation among an interpretation, what it purports to be about, and a process that constrains it independently; its current, developmental and epistemic senses come apart from one another, and in the current sense it comes apart from whether the interpretation occurs, so ungrounded is not unconstrained, and what makes an interpretive organization experiential need not be what makes its contents veridical | The owner’s premise at U1, that sensory apparatus is necessary for grounded experience, as A1, A3, A5 and A7 restated it. A1: “grounding is fundamentally relational, whereas interpretation can, in principle, be internally realized.” A5, after reading CLAIM-342: “Sensory grounding may concern the independence of the constraints on interpretation, rather than the existence of interpretation itself”, and “Ungrounded ≠ Unconstrained”. A7 separated current, developmental and epistemic grounding. The epistemic sense is CLAIM-342’s, so the claim rests on it. The occurrence half is the owner’s. A7: “What makes an interpretive organization experiential is not necessarily what makes its contents veridical.” | Active |
| CLAIM-416 v4 | Competing perspectives compete over the tests that measure them as well as under them: success under an evaluative regime is evidence of competence relative to that regime, a fair test need not be neutral across competences, and a perspective that gains influence over the test can change what later success shows | From the owner’s case at U35 of the exchange of 2026-10-22, rival schools of martial arts vying for dominance, and A35–A37’s development of it. A35: “Competition selects perspectives, but perspectives also shape what competition selects for.” A37: “Being effective under a test is not the same as possessing authority to determine what the test should measure.” It is the one mechanism in the second half of the exchange the record did not already hold in some form. The edge: it does not say that tests are unfair or that rules are changed in order to entrench, which A36 kept apart as a further claim needing its own evidence. | Active |
| CLAIM-419 v2 | 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 | The owner’s, at U18 of the exchange of 2026-10-22: “when we’ve encountered representational challenges, we’ve generally interpreted those as a symptom of a represntational weakness of the record and used that opportunity to mature the luria configuration, featureset, or both.” It answers CLAIM-181, which had no reply on file, with the record’s own decisions as evidence. It narrows CLAIM-181 rather than defeating it: the record shows moves that were caught and the grammar amended, and one case (ADR-032’s literature roles) where a recurring move was left in prose. | Active |
| CLAIM-422 v3 | A successful corrective act, an executable procedure and a maintained organizational capacity are three different things, so an organization can record a correction, even rewrite its rules, without the corrected capacity being maintained | From A24 and A25 of the exchange of 2026-10-22, on the owner’s cases of a fireground mayday that changed a safety culture (U23) and NASA’s learning before and after Challenger (U25). A24: “A successful act, an executable procedure, and a maintained organizational capacity are three different things.” A25: “Institutional learning is not complete when an organization changes its rules.” It rests on CLAIM-025, which separates the operative regime, the governing organization and the capacity to transform it, with the record’s reading of the Columbia board (THEORY-140) as corroboration. The edge: a recorded correction is evidence of a correction, not of its maintenance. | Active |
| CLAIM-426 v2 | 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 | The owner, on 2026-10-23, after CLAIM-425 was filed: “this is reminding me of ‘hyperstition’”. Land’s definition (LIT-1396): “hyperstitions – by their very existence as ideas – function causally to bring about their own reality.” CLAIM-425 says not to let a judgement’s popularity substitute for its credibility. For a judgement whose popularity helps make it true, popularity is evidence, about the future it is helping to make. The claim narrows CLAIM-425, it does not reverse it: visibility still does not show what was the case. | Proposed |
| CLAIM-429 v2 | Where interpretation decides the occasions for cooperation and cooperation’s outcomes revise interpretation, an intervention can change the loop’s state or its coupling: a favourable exception changes the state and leaves the rule that judges exceptions as it was, while a change in how far outcomes may revise the governing interpretation changes the coupling, and where the coupling does not depend on the state, only the second changes how later evidence is taken | From the exchange of 2026-10-22, “Ben Franklin Effect Explained”, A5: “One could ask whether a perspectival invitation changes only the initial state of the system, or also changes the coupling parameters—the degree to which cooperative outcomes acquire authority over future interpretations.” And: “It is the difference between introducing a positive exception and changing how exceptions are allowed to revise the rule.” The owner took the line up at U6. The claim puts it in the terms of the record’s coupled meaning–influence model (CLAIM-297, CLAIM-330). | Active |
| CLAIM-455 | For one bounded observer, a transformation of a representation can make one task’s distinction legible and another’s illegible at once, so legibility regimes are ordered only relative to a task, and a regime that improves one perspective’s competence can disable another’s | Stated in CASE-154’s title and its “What it can show” and held by no claim, found in the audit of 2026-10-27 for propositions cases state that no claim holds. With two fair bits and an observer that reads one coordinate and cannot compute XOR, the raw pair gives 50% error on the XOR task and 0% on the first bit, and the XOR gives the reverse. CLAIM-199 says a garbling can raise usable information for a receiver; this adds that the same garbling lowers it for another task of the same receiver. The edge: one observer, two tasks; nothing about which task matters. | Active |
| CLAIM-460 v2 | In the completely locked-in state, evidence of lucid judgement has to cross a channel the patient drives, which is action in active inference’s sense, so such cases can show the judgement–observation loop running down but never running with no action at all, and a null result cannot tell lost judgement from a lost channel | Stated in CASE-107’s “What it can show” (“CLIS is the test, and it is asymmetric”) and held by no claim, found in the audit of 2026-10-27. CLAIM-341’s defeater (b) asks for evidence that lucid judgement fails with every contingency removed, “by evidence that does not itself restore such a contingency”; the case argues that the confirming direction cannot be had either, since any report needs a channel. Chaudhary et al.’s patient communicated only once neurofeedback restored a contingency. The edge: a limit on evidence, not a verdict on CLAIM-341. | Active |
| CLAIM-466 v2 | Lock-in from selectively admitted evidence and lock-in from self-scoring need different remedies: weighting admitted evidence by known, positive admission probabilities undoes the first and leaves the second, so correcting for how evidence was selected is not correcting how it is scored | Stated in CASE-162’s “What it can show” and held by no claim, found in the audit of 2026-10-27. In the lab’s population, admission that depends on the record left the worse alternative in charge in 41 of 64 worlds, and exact inverse-propensity weighting brought that to 0 below full selectivity; with self-scoring alone (c = 0.5, nothing censored) 39 of 64 stayed wrong and the correction changed nothing. CLAIM-404 holds that the informational and evaluative routes are distinct; this says their remedies are too. The edge: the correction is an oracle’s, with known propensities. | Active |
| CLAIM-469 v2 | Luria is an apparatus for a record’s objects in the operational sense: through its schemes, vocabularies, validators and generated views it realizes a system of distinctions that fixes what counts as a referable and governable object within the record, so that a split scheme makes one object two and a promoted vocabulary makes a value an entity; it keeps, enforces and propagates those distinctions; and its distinctions are revised through the record’s own use | The operational half of CLAIM-476, split from it at the owner’s review of the pull request. In TERM-089’s sense, which needs no observer and no constitutive metaphysics, luria differentiates, retains, enforces and revises distinctions among a record’s entries. That is established by how its grammar works (CLAIM-479) and by the record’s own amendments (CLAIM-419, CASE-131, CASE-178). The further thesis that the record’s objects are constituted in Barad’s sense stays in CLAIM-476, which now rests on this one. Split so that luria’s evidential role does not depend on accepting Barad’s ontology. | Active |
| CLAIM-470 v3 | Inquiry is a form of specification: a question fixes which differences would count as an answer, an inquiry adds the operations that make those differences accessible, and what it finds can stabilize into a specification that constrains later inquiry; so inquiry stands to its findings as a specification to its realizations, with one difference, that an inquiry can revise what an answer could be | The owner’s, U15 of the exchange of 2026-10-27: “inquiry is a form of specification.” It carries CLAIM-477’s analogy into inquiry: question and finding stand as specification and realization, and a stabilized finding becomes a specification for the next inquiry. A15 and A16 found Dewey and Collingwood the nearest predecessors, and counterexample-guided abstraction refinement the nearest formal case. TERM-065 already keeps a description apart from the regime it is judged under; the claim adds that the regime is itself a product of inquiry and can be its object. It does not say that inquiry makes what it investigates. | Active |
| CLAIM-472 v2 | Because an apparatus makes some distinctions determinate and leaves others unstatable, choosing and maintaining one is open to evaluation and not only to verification; but that a cut excludes something fixes no obligation, since every distinction excludes, and which exclusions matter is a judgment indexed to a standard, a scale and those affected | The owner asked at U6 of the exchange of 2026-10-27 for Barad’s ethico-onto-epistem-ology and “practices of knowing are simultaneously practices that participate in the world’s becoming”. A6 §4 and A10 §6 kept two things apart, and the claim keeps both: “the choice and maintenance of an apparatus can itself be an object of ethical evaluation”, and “Practice produces differences ⇏ A particular normative obligation”. The second half is CLAIM-363’s indexing, which A6 named as the bridge. Barad is unread here. | Proposed |
| CLAIM-475 v2 | Specifying is itself a resource-bounded realization: formulating a question takes time, concepts and computation as realizing a configuration takes energy and matter, so the questions an agent can ask are a product of what it has already realized; a stabilized specification is past inquiry stored so that later questions become cheaper to ask, and it can make other questions harder | The owner’s, U17 of the exchange of 2026-10-27: “resource constraints impact specification in exactly the same way as they impact realization. I can’t interrogate a question that takes me more time than I have to even ask it.” It extends CLAIM-470: if inquiry is specification, specifying is a process with costs, and the feasible questions are bounded before any answering starts. A17 and A18 drew a consequence the record can use: TERM-065 takes its query family as supplied, and this claim says that family is the output of bounded activity. A stable specification amortizes the work that made it, which is a separation of time scales (CLAIM-478), and entrenches what it makes cheap. | Active |
| CLAIM-476 v4 | Beyond what it does operationally, luria is an apparatus in Barad’s constitutive sense for the objects of a record, and only for them: the record’s objects are constituted, and not only made referable and governable, by the distinctions its grammar enacts, so that the same authored material is a different set of objects under a revised apparatus, and the record’s own inquiry reconstitutes the apparatus that constitutes them | The owner’s, U7 of the exchange of 2026-10-27: “oh shit, I think I may have inadvertently operationalized this notion of apparatus already, check out github.com/dmarx/luria”. Split at the owner’s review of the pull request. What luria demonstrably does, differentiating, retaining, enforcing and revising the distinctions that fix a record’s objects, is now CLAIM-469, stated without Barad. This claim keeps the further, constitutive thesis: those objects are constituted in Barad’s sense, not only made governable. That needs an argument the operational facts do not supply, and the readings press on it, since Barad rejects carrying agential realism as a template. Of Barad, only her 2012 essay is read here (NOTE-1458), and it gives no general account of an apparatus. | Proposed |
| CLAIM-479 | In the record a typed relation is more constrained than either of its relata: a claim’s content is open prose, while rests_on fixes the scheme at both ends, has supports written as its converse and says what retiring its target leaves, and none of that moves when either claim’s content does; so a relation’s rigidity is a fact about the grammar, not evidence that the dependency it records is sound | The owner’s, U6 of the exchange of 2026-10-27, against A5’s “its relationships are explicitly represented rather than metaphysically primitive”: “and yet interestingly, relations like “supports” are less flexible than the raw contents of either relata.” Shown from luria.yaml, which A6 §6 read correctly. The relation’s type is determinate where the relata’s content is not, and that determinacy is no warrant for the dependency: CLAIM-293 is the demonstrated case. CASE-131 is the instance in which the rigidity of a relation outran what its relata meant and the grammar was amended. | Active |
| CLAIM-483 | An argument developed with collaborators who keep no memory fails mainly at identity and not at structure, so that coding what recurs, not argument mapping, is the remedy, and this holds beyond one owner and one assistant family | The comparative and general half of CLAIM-177 version 1, split off by the status review of 2026-10-27 (ADR-057) and kept Proposed. CLAIM-177 now says what the record observed: identity failures recurring across six exchanges with one owner and one assistant family. Whether they outnumber structure defects was counted in one exchange only, and the population is one owner and one family, which CLAIM-177’s own body called “a pattern, not a measurement”. | Proposed |