The claim

The owner’s review of the pull request, 2026-10-27, on CLAIM-476: “There are really two assertions. The operational claim: Luria realizes a system of distinctions through its schemas, records, validators, and revision processes. Those distinctions determine what counts as a referable and governable object within the record. This is close to demonstrated. The constitutive claim: Luria instantiates Barad’s notion of an apparatus … This requires an additional philosophical argument.” And: “I would therefore avoid putting ‘in Barad’s sense’ into the title of the operational claim.”

This is the operational claim, in TERM-089’s four functions:

  • Differentiation. The grammar fixes what counts as a distinct object: whether two propositions are one entry or two, whether a work and a recommendation drawn from it carry different standing, and whether a word is a value or an entity. Promotion is the clearest case (LU-ADR-124): a vocabulary that needs to say more becomes a scheme, and a value with a label becomes an entry with its own status, history and relations. A7 of the exchange: “The system has changed what kind of thing the value is permitted to be.”
  • Retention. Retiring is a status, not a removal. The status vocabularies say what each retired state means, a Superseded entry must name its successor, a bumped version must carry a history entry saying what changed, and a reference to an entry that is no longer there fails the lint. What keeps the files and their earlier text is the repository. An entry nothing cites could be deleted without a finding, and for it “Retire by status, never by deletion” (CLAUDE.md) is a convention, not a check.
  • Enforcement. A distinction the grammar holds is checked by the lint, propagated along declared relations and shown in generated views. A distinction held only in prose is not. A typed relation fixes the scheme at both ends and says what retiring its target leaves (CLAIM-479).
  • Revision. Misfits met in filing are read as defects of the grammar and answered by amending it. CLAIM-419 holds this as a finding about the record, with five amendments. CASE-131 is the one in which a fixed relation misrepresented its relata. CASE-178 measured how revisions arrive: in the pull request whose documents need them, nine times in ten with an ADR.

Its warrant

Demonstrated for the first three functions, by construction: they are what luria’s grammar and machinery do, and they were checked against its code and this record’s configuration on 2026-10-29 (the history note names the checks). The fourth, that the distinctions are revised through the record’s use, is the record’s history. CLAIM-419 holds it (Active, empirical) with its five amendments, and CASE-178 measures how they arrive. This claim rests on that and adds no history of its own. What it adds is that a revision changes what luria differentiates and enforces on its next run, because luria reads its grammar from the configuration the amendment edits. The owner’s review: “close to demonstrated”.

What it does not claim

  • That the record’s objects are constituted, in Barad’s sense or any stronger sense than “made referable and governable”. That is CLAIM-476.
  • That the distinctions are the right ones, or that every misfit is caught. CLAIM-419’s limit stands: a move silently forced into the wrong shape leaves no decision behind. TERM-089: “A self-modifying apparatus is not necessarily an epistemically self-correcting apparatus.” A revision made only to make records pass, for instance by weakening a rule, would be revision without improvement (CLAIM-342; A22 §10).
  • That luria maintains itself. It depends on maintainers, computers and the repository it lives in (CLAIM-195).
  • That the grammar decides which kind a piece of content is. It fixes the kinds and what follows from each. Whether a proposition about support is filed as an ARG or a CLAIM (ADR-061), or a reading as grounds or as corroboration (ADR-058), is the filer’s judgement, guided by decisions no tool reads.