{
 "commission": "construct",
 "object_kind": "operator",
 "object_description": "the conversion of an act a source performs into a property of the entity a sentence describes",
 "row": "op-attributization",
 "entity": "op-attributization",
 "address": "attributization",
 "addresses": [
  {
   "address": "attributization",
   "surface": "none (null composition)",
   "date": "2026-10-25"
  }
 ],
 "epoch": "2026-10-25",
 "type": "Op (an operator: the operation an entity form conceals, composed as its own object)",
 "surface": "none (null composition)",
 "auth": "—",
 "status": {
  "procedure": "EA-NEGONT-02 v0.9, #1690: witness case, ρ = constructs, read by SPXI-gnΩsis 0.21.1 (gnosis-S7/0.1 (EA-NEGONT-02 v0.9, #1690)); archive subset selected under §3.4 D/R/O with the hop (scripts/non_traverse.py at archive commit 49f596e1d074), admission by two independent reading passes, the hop screened by string and read; composed from the entity's ledgers; the composer read the ledgers, never the transcript",
  "ledger": "unaudited (§3.8: one extractor per ledger); field quotes located verbatim in the saved source texts 0/0; archive quotes located verbatim in the deposit texts 172/178",
  "frozen": false,
  "readings": "live (claude-sonnet-5-5; triage claude-haiku-5-5)"
 },
 "spec": "EA-NEGONT-02 v0.9, #1690",
 "objects": {
  "T": {
   "path": null,
   "kind": "null",
   "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
   "words": 0,
   "cards": 0,
   "inline_source_labels": 0,
   "claims": [],
   "wikipedia": {
    "title": "Attributization",
    "observed": true,
    "exists": false,
    "page_title": "Attributization",
    "at": "2026-10-25T16:58:51.155Z",
    "url": null
   },
   "note": "construction: the operator composed from the archive and the sources the caller named, with no composition at an address to read",
   "source": {
    "kind": "construction: the object composed with no T"
   },
   "provenance": {
    "class": "construction",
    "statement": "no composition at an address is read: the operator is composed from the archive and the sources the caller named"
   }
  },
  "KO": {
   "title": "Attributization",
   "genre": "knowledge object, witness case, under EA-NEGONT-02 v0.9 (#1690)",
   "status": "composed 2026-10-25 by SPXI-gnΩsis; not frozen",
   "sentences": [
    {
     "n": 1,
     "para": 1,
     "text": "Attributization is an operator, the operation the entity form conceals, defined in deposit #1696 as \"the act a text performs and the encyclopedic sentence states as an attribute of an entity, in which the operator speaks with the entity's voice.\"",
     "claims": [
      "OA1696-02"
     ]
    },
    {
     "n": 2,
     "para": 1,
     "text": "The field holds no entry and no claim for it, so the account here rests wholly on the archive's defining papers, #1696 and #1697.",
     "claims": [
      "OA1696-02",
      "OA1697-03"
     ]
    },
    {
     "n": 3,
     "para": 1,
     "text": "Deposit #1696 stipulates that an operator enters by a label, a description, and its strings, \"the phrases in which it is performed and the phrases in which entities speak it\", and for the specimen these are \"nothing at all\" and \"first work\".",
     "claims": [
      "OA1696-01",
      "OA1697-01"
     ]
    },
    {
     "n": 4,
     "para": 1,
     "text": "The same deposit stipulates that an operator's row composes it as the subject: \"what it does, on what domain, where it is performed, which entities it speaks through (each attributization of S3(c) an instance), and where it stops.\"",
     "claims": [
      "OA1696-03",
      "OA1697-02"
     ]
    },
    {
     "n": 5,
     "para": 1,
     "text": "Because an operator is no author in the archive, #1696 stipulates that every mention of its strings is bearing.",
     "claims": [
      "OA1696-04"
     ]
    },
    {
     "n": 6,
     "para": 2,
     "text": "The test is stated in S3(c) of #1696 and again in #1697: \"Does the source perform an act that the sentence states as a property of the entity? Record the conversion; which operative relations survive it (scope, distinctions, evidence, consequences); and whether those relations keep authority to revise the description.\"",
     "claims": [
      "OA1696-05",
      "OA1697-03"
     ]
    },
    {
     "n": 7,
     "para": 2,
     "text": "A candidate locator is stipulated to flag \"an active verb in the source rendered as a credential noun or priority adjective in the sentence\", with the example \"we had nothing to say\" → \"first work\".",
     "claims": [
      "OA1696-06",
      "OA1697-04"
     ]
    },
    {
     "n": 8,
     "para": 3,
     "text": "In the specimen of #1696, the operation is read as \"a first-person count over a stated domain ending in a total negation\" (\"nothing at all\"; \"absolutely nothing else\"), and the attribute is the primacy of a work.",
     "claims": [
      "OA1696-07"
     ]
    },
    {
     "n": 9,
     "para": 3,
     "text": "The deposit reads the surviving relations as the attribution to Aristotle and the locus, and the lost ones as \"the quantifier's exhaustiveness and its domain.\"",
     "claims": [
      "OA1696-08"
     ]
    },
    {
     "n": 10,
     "para": 3,
     "text": "It reads authority to revise as present where the cited locus survives, since \"any reader holding the text can reopen the sentence\", while \"the lead sentence as reused carries no such route.\"",
     "claims": [
      "OA1696-09"
     ]
    },
    {
     "n": 11,
     "para": 3,
     "text": "In summary form, #1696 reads the transformation as one in which \"the exhaustive negation becomes a priority claim, and the negation's object becomes a modern category.\"",
     "claims": [
      "OA1696-11"
     ]
    },
    {
     "n": 12,
     "para": 4,
     "text": "Deposit #1697 reads the operation as running by inversion in one row of its table: \"the verdict SE 34 hands to its hearers (184b3–8) becomes Aristotle's assertion of primacy in a modern subject, bounded to a region.\"",
     "claims": [
      "OA1697-05"
     ]
    },
    {
     "n": 13,
     "para": 4,
     "text": "The attribute is stated as Aristotle's own claim, \"According to Aristotle, this is the first work\", and #1697 reads the article as performing \"the reverse of the source's operation: it closes what the source holds open.\"",
     "claims": [
      "OA1697-06",
      "OA1697-07"
     ]
    },
    {
     "n": 14,
     "para": 4,
     "text": "The paper attributes the description of the inversion as chiastic to Lee Sharks, 2026-10-23.",
     "claims": [
      "OA1697-08"
     ]
    },
    {
     "n": 15,
     "para": 4,
     "text": "It reads the surviving relations as the attribution to Aristotle and the locus, whose \"ff.\" reaches 184b3–8, and the lost ones as \"the condition, the hearers' task, the pardon for what the method leaves out\"; it also reads that in none of the sentences is the operation presented, since no sentence reports that Aristotle holds the claim out to be inspected.",
     "claims": [
      "OA1697-10",
      "OA1697-09"
     ]
    },
    {
     "n": 16,
     "para": 5,
     "text": "The operation also runs by narrowing: #1697 reads \"a stated criterion becomes membership in a later taxonomy\", and reads Aristotle's consequence (τὸ ἑπόμενον) as becoming \"Affirming the consequent\", one modern formal fallacy, standing under the heading \"informal fallacies\".",
     "claims": [
      "OA1697-12",
      "OA1697-13"
     ]
    },
    {
     "n": 17,
     "para": 5,
     "text": "Where the operation survives in the sentence there is no attributization; #1697 records of its W4–W6 rows, \"No attributization: the operation survives.\"",
     "claims": [
      "OA1697-17"
     ]
    },
    {
     "n": 18,
     "para": 5,
     "text": "The same paper's innocent-reading rule stipulates that a claim the source's claim entails is supported and the narrowing recorded as a loss of scope, while \"a species put for a genus is no entailment\".",
     "claims": [
      "OA1697-11"
     ]
    },
    {
     "n": 19,
     "para": 6,
     "text": "The deposits state the operator's limits at their own strength: the concept, as Message 1 defines it, \"does not transfer: readers outside the session apply it only where a noun or adjective of standing replaces a verb.\"",
     "claims": [
      "OA1697-21"
     ]
    },
    {
     "n": 20,
     "para": 6,
     "text": "Deposit #1697 records of round 01 that \"no reply is a clean blind cross-family reading, so round 01 yields no validation\", and records the fidelity of the translation as contested, with both arguments.",
     "claims": [
      "OA1697-22",
      "OA1697-23"
     ]
    },
    {
     "n": 21,
     "para": 6,
     "text": "The one empirical prediction is stated as a hypothesis: attributization with loss of operative authority \"occurs at a higher rate on entity pages than on work and method pages.\"",
     "claims": [
      "OA1696-12",
      "OA1697-18"
     ]
    },
    {
     "n": 22,
     "para": 6,
     "text": "Its falsifier is \"no difference or a lower rate on entity pages\", with the positive controls of §7.3 as the first test, and #1696 stipulates that a null \"leaves the protocol intact and removes the claim that closures fall unevenly on these entities.\"",
     "claims": [
      "OA1696-13",
      "OA1697-19",
      "OA1696-14"
     ]
    }
   ],
   "field_claims": {},
   "field_sources": {}
  },
  "P": {
   "title": "Attributization",
   "lede": {
    "text": "An operator: the act a text performs and the encyclopedic sentence states as an attribute of an entity, so that the operator speaks with the entity's voice (#1696). The field holds no account of it.",
    "claims": [
     "OA1696-02"
    ]
   },
   "sections": [
    {
     "icon": "definition",
     "head": "Entry",
     "items": [
      {
       "label": "Strings",
       "text": "Enters by a label, a description and its strings; for the specimen, \"nothing at all\" and \"first work\".",
       "claims": [
        "OA1696-01"
       ]
      },
      {
       "label": "Row",
       "text": "Its row composes the operator as subject: what it does, on what domain, where performed, which entities it speaks through, and where it stops.",
       "claims": [
        "OA1696-03"
       ]
      },
      {
       "label": "Status",
       "text": "An operator is no author in the archive; every mention of its strings is bearing.",
       "claims": [
        "OA1696-04"
       ]
      }
     ]
    },
    {
     "icon": "test",
     "head": "Test",
     "items": [
      {
       "label": "Question",
       "text": "Does the source perform an act that the sentence states as a property of the entity? Record the conversion, the surviving relations (scope, distinctions, evidence, consequences), and whether they keep authority to revise the description.",
       "claims": [
        "OA1696-05",
        "OA1697-03"
       ]
      },
      {
       "label": "Locator",
       "text": "Flags an active verb in the source rendered as a credential noun or priority adjective (\"we had nothing to say\" → \"first work\").",
       "claims": [
        "OA1696-06"
       ]
      }
     ]
    },
    {
     "icon": "specimen",
     "head": "Specimen",
     "items": [
      {
       "label": "Operation",
       "text": "A first-person count over a stated domain ending in a total negation; the attribute is primacy of a work.",
       "claims": [
        "OA1696-07"
       ]
      },
      {
       "label": "Loss",
       "text": "Surviving: the attribution to Aristotle and the locus. Lost: the quantifier's exhaustiveness and its domain.",
       "claims": [
        "OA1696-08"
       ]
      },
      {
       "label": "Revision",
       "text": "The cited locus lets a reader holding the text reopen the sentence; the sentence as reused carries no such route.",
       "claims": [
        "OA1696-09"
       ]
      }
     ]
    },
    {
     "icon": "modes",
     "head": "Modes",
     "items": [
      {
       "label": "Inversion",
       "text": "The verdict the source hands its hearers becomes Aristotle's assertion of primacy; the article closes what the source holds open.",
       "claims": [
        "OA1697-05",
        "OA1697-07"
       ]
      },
      {
       "label": "Narrowing",
       "text": "A stated criterion becomes membership in a later taxonomy; Aristotle's consequence becomes one modern formal fallacy.",
       "claims": [
        "OA1697-12",
        "OA1697-13"
       ]
      }
     ]
    },
    {
     "icon": "limits",
     "head": "Limits",
     "items": [
      {
       "label": "Control",
       "text": "Where the operation survives in the sentence, no attributization.",
       "claims": [
        "OA1697-17"
       ]
      },
      {
       "label": "Transfer",
       "text": "The concept does not transfer outside the session except where a noun or adjective of standing replaces a verb.",
       "claims": [
        "OA1697-21"
       ]
      },
      {
       "label": "Round 01",
       "text": "Yields no validation; translation fidelity recorded contested.",
       "claims": [
        "OA1697-22",
        "OA1697-23"
       ]
      }
     ]
    },
    {
     "icon": "prediction",
     "head": "Prediction",
     "items": [
      {
       "label": "P1",
       "text": "A hypothesis: attributization with loss of operative authority occurs at a higher rate on entity pages than on work and method pages.",
       "claims": [
        "OA1696-12"
       ]
      },
      {
       "label": "Falsifier",
       "text": "No difference or a lower rate on entity pages; a null leaves the protocol intact and removes the claim that closures fall unevenly.",
       "claims": [
        "OA1696-13",
        "OA1696-14"
       ]
      }
     ]
    }
   ],
   "open": [
    {
     "question": "Does attributization with loss of operative authority occur at a higher rate on entity pages than on work and method pages?",
     "rests_on": [
      "OA1696-12",
      "OA1697-18"
     ],
     "modality": "hypothesis",
     "would_resolve": "The positive controls of §7.3 as first test; no difference or a lower rate on entity pages falsifies."
    },
    {
     "question": "Is the translation of the encyclopedic grammar faithful?",
     "rests_on": [
      "OA1697-23"
     ],
     "modality": "contested",
     "would_resolve": "A clean blind cross-family reading, which round 01 did not supply."
    }
   ],
   "rail": [
    {
     "lineage": "attributization-test",
     "claims": [
      "OA1696-05",
      "OA1697-03"
     ],
     "earliest": "#1696"
    },
    {
     "lineage": "W2-attributization-inversion",
     "claims": [
      "OA1697-05",
      "OA1697-06"
     ],
     "earliest": "#1697"
    },
    {
     "lineage": "P1-entity-form",
     "claims": [
      "OA1696-12",
      "OA1697-18"
     ],
     "earliest": "#1696"
    }
   ],
   "genre": "the compression: AIO's interaction grammar (lede, headed clusters, bolded labels, card rail), composed from the knowledge object",
   "status": "composed 2026-10-25 from the knowledge object; not frozen",
   "entity": "Composed under v0.9, witness case (ρ = constructs)"
  },
  "P_B": {
   "title": "Attributization",
   "lede": {
    "text": "The field holds no account of this operator.",
    "claims": []
   },
   "sections": [],
   "rail": [],
   "arm": "B (the field alone)",
   "genre": "popup — the compression, composed from the field ledger alone",
   "status": "composed 2026-10-25 from the field ledger alone; not frozen",
   "entity": "The field at its full resolution, with no archive claims admitted."
  },
  "KO_B": {
   "title": "Attributization",
   "arm": "B (the field alone)",
   "genre": "the same plan, the field alone",
   "status": "draft 2026-10-25; not frozen",
   "sentences": [],
   "field_claims": {},
   "field_sources": {}
  },
  "L_B": {
   "words": 0,
   "text": "",
   "note": "L_F(B) is realized as the field arm's expansion (objects.KO_B)."
  },
  "L_BA": {
   "words": 755,
   "text": "Attributization is an operator, the operation the entity form conceals, defined in deposit #1696 as \"the act a text performs and the encyclopedic sentence states as an attribute of an entity, in which the operator speaks with the entity's voice.\" The field holds no entry and no claim for it, so the account here rests wholly on the archive's defining papers, #1696 and #1697. Deposit #1696 stipulates that an operator enters by a label, a description, and its strings, \"the phrases in which it is performed and the phrases in which entities speak it\", and for the specimen these are \"nothing at all\" and \"first work\". The same deposit stipulates that an operator's row composes it as the subject: \"what it does, on what domain, where it is performed, which entities it speaks through (each attributization of S3(c) an instance), and where it stops.\" Because an operator is no author in the archive, #1696 stipulates that every mention of its strings is bearing. The test is stated in S3(c) of #1696 and again in #1697: \"Does the source perform an act that the sentence states as a property of the entity? Record the conversion; which operative relations survive it (scope, distinctions, evidence, consequences); and whether those relations keep authority to revise the description.\" A candidate locator is stipulated to flag \"an active verb in the source rendered as a credential noun or priority adjective in the sentence\", with the example \"we had nothing to say\" → \"first work\". In the specimen of #1696, the operation is read as \"a first-person count over a stated domain ending in a total negation\" (\"nothing at all\"; \"absolutely nothing else\"), and the attribute is the primacy of a work. The deposit reads the surviving relations as the attribution to Aristotle and the locus, and the lost ones as \"the quantifier's exhaustiveness and its domain.\" It reads authority to revise as present where the cited locus survives, since \"any reader holding the text can reopen the sentence\", while \"the lead sentence as reused carries no such route.\" In summary form, #1696 reads the transformation as one in which \"the exhaustive negation becomes a priority claim, and the negation's object becomes a modern category.\" Deposit #1697 reads the operation as running by inversion in one row of its table: \"the verdict SE 34 hands to its hearers (184b3–8) becomes Aristotle's assertion of primacy in a modern subject, bounded to a region.\" The attribute is stated as Aristotle's own claim, \"According to Aristotle, this is the first work\", and #1697 reads the article as performing \"the reverse of the source's operation: it closes what the source holds open.\" The paper attributes the description of the inversion as chiastic to Lee Sharks, 2026-10-23. It reads the surviving relations as the attribution to Aristotle and the locus, whose \"ff.\" reaches 184b3–8, and the lost ones as \"the condition, the hearers' task, the pardon for what the method leaves out\"; it also reads that in none of the sentences is the operation presented, since no sentence reports that Aristotle holds the claim out to be inspected. The operation also runs by narrowing: #1697 reads \"a stated criterion becomes membership in a later taxonomy\", and reads Aristotle's consequence (τὸ ἑπόμενον) as becoming \"Affirming the consequent\", one modern formal fallacy, standing under the heading \"informal fallacies\". Where the operation survives in the sentence there is no attributization; #1697 records of its W4–W6 rows, \"No attributization: the operation survives.\" The same paper's innocent-reading rule stipulates that a claim the source's claim entails is supported and the narrowing recorded as a loss of scope, while \"a species put for a genus is no entailment\". The deposits state the operator's limits at their own strength: the concept, as Message 1 defines it, \"does not transfer: readers outside the session apply it only where a noun or adjective of standing replaces a verb.\" Deposit #1697 records of round 01 that \"no reply is a clean blind cross-family reading, so round 01 yields no validation\", and records the fidelity of the translation as contested, with both arguments. The one empirical prediction is stated as a hypothesis: attributization with loss of operative authority \"occurs at a higher rate on entity pages than on work and method pages.\" Its falsifier is \"no difference or a lower rate on entity pages\", with the positive controls of §7.3 as the first test, and #1696 stipulates that a null \"leaves the protocol intact and removes the claim that closures fall unevenly on these entities.\"",
   "rail": [],
   "note": "L(B ∪ A), the witness case, realized as the knowledge object (objects.KO); its rail is the compression's (objects.P.rail)."
  }
 },
 "field": [],
 "field_claims": {},
 "field_sources": {},
 "ledger": {
  "archive": "datasets/negative-of-the-negative/v2/ledgers/op-attributization/ledger-archive.json",
  "field": "datasets/negative-of-the-negative/v2/ledgers/op-attributization/field.json",
  "selection": "datasets/negative-of-the-negative/v2/traversal/op-attributization/",
  "audit": null
 },
 "breaches": [
  {
   "check": "ontology-contested",
   "detail": "the two readings differ (pass 1: ρ = outside the vocabulary: no counterpart (the archive composes the operator where the field holds nothing), case witness; pass 2: ρ = constructs, case witness); composed under pass 2: the readings disagree on ρ; the reading of ρ = constructs is taken (ruled 2026-10-25: \"if the readings disagree go constructs\")"
  },
  {
   "check": "coverage",
   "detail": "140 carried claims neither composed nor logged in the channel",
   "claims": [
    "OA1696-10",
    "OA1696-15",
    "OA1697-14",
    "OA1697-15",
    "OA1697-16",
    "OA1697-20",
    "OA1580-01",
    "OA1580-02",
    "OA1580-03",
    "OA1580-04",
    "OA1580-05",
    "OA1580-06",
    "OA1580-07",
    "OA1580-08",
    "OA1580-09",
    "OA1580-10",
    "OA1580-11",
    "OA1580-12",
    "OA1580-13",
    "OA1580-14",
    "OA1580-15",
    "OA1580-16",
    "OA1580-17",
    "OA1580-18",
    "OA1580-19",
    "OA1580-20",
    "OA1580-21",
    "OA1580-22",
    "OA1580-23",
    "OA1580-24",
    "OA1580-25",
    "OA1580-26",
    "OA1587-01",
    "OA1587-02",
    "OA1587-03",
    "OA1587-04",
    "OA1587-05",
    "OA1587-06",
    "OA1587-07",
    "OA1587-08",
    "OA1587-09",
    "OA1587-10",
    "OA1587-11",
    "OA1587-12",
    "OA1587-13",
    "OA1587-14",
    "OA1587-15",
    "OA1587-16",
    "OA1587-17",
    "OA1587-18",
    "OA1587-19",
    "OA1587-20",
    "OA1587-21",
    "OA1587-22",
    "OA1587-23",
    "OA1587-24",
    "OA1587-25",
    "OA1590-01",
    "OA1590-02",
    "OA1590-03",
    "OA1590-04",
    "OA1590-05",
    "OA1590-06",
    "OA1590-07",
    "OA1590-08",
    "OA1590-10",
    "OA1590-11",
    "OA1590-12",
    "OA1590-13",
    "OA1590-14",
    "OA1590-15",
    "OA1590-16",
    "OA1590-17",
    "OA1590-18",
    "OA1590-19",
    "OA1590-20",
    "OA1590-21",
    "OA1590-22",
    "OA1590-23",
    "OA1590-24",
    "OA1590-25",
    "OA1590-26",
    "OA1590-27",
    "OA1590-28",
    "OA1590-29",
    "OA1590-30",
    "OA1590-31",
    "OA1590-32",
    "OA1590-33",
    "OA1629-01",
    "OA1629-02",
    "OA1629-03",
    "OA1629-04",
    "OA1629-06",
    "OA1629-07",
    "OA1629-08",
    "OA1629-09",
    "OA1629-10",
    "OA1629-11",
    "OA1629-12",
    "OA1629-13",
    "OA1629-15",
    "OA1629-16",
    "OA1629-18",
    "OA1629-19",
    "OA1702-01",
    "OA1702-02",
    "OA1702-03",
    "OA1702-04",
    "OA1702-05",
    "OA1702-06",
    "OA1702-07",
    "OA1702-08",
    "OA1702-09",
    "OA1702-10",
    "OA1702-11",
    "OA1702-12",
    "OA1702-13",
    "OA1702-14",
    "OA1702-16",
    "OA1702-17",
    "OA1702-18",
    "OA1702-19",
    "OA1702-20",
    "OA1702-21",
    "OA1702-22",
    "OA1702-23",
    "OA1702-24",
    "OA1702-25",
    "OA1702-26",
    "OA1702-27",
    "OA1702-28",
    "OA1702-29",
    "OA1702-30",
    "OA1702-31",
    "OA1702-33",
    "OA1702-34",
    "OA1702-35",
    "OA1702-36",
    "OA1702-37"
   ]
  },
  {
   "check": "kernel-coverage",
   "detail": "16 source kernels absent from the compression's body and rail",
   "claims": [
    "OA1580-01",
    "OA1580-03",
    "OA1580-21",
    "OA1587-01",
    "OA1587-02",
    "OA1587-09",
    "OA1587-19",
    "OA1590-01",
    "OA1590-02",
    "OA1590-03",
    "OA1629-01",
    "OA1629-12",
    "OA1629-16",
    "OA1702-01",
    "OA1702-02",
    "OA1702-04"
   ]
  },
  {
   "check": "grade (heuristic)",
   "at": "KO1",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grounding (heuristic)",
   "at": "KO2",
   "detail": "0% of the unit's content words occur in the quotes it cites (floor 30%)",
   "share": 0
  },
  {
   "check": "grade (heuristic)",
   "at": "KO3",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grade (heuristic)",
   "at": "KO4",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grade (heuristic)",
   "at": "KO5",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grade (heuristic)",
   "at": "KO7",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grade (heuristic)",
   "at": "KO14",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grade (heuristic)",
   "at": "KO18",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grade (heuristic)",
   "at": "KO22",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grade (heuristic)",
   "at": "P1.1",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grade (heuristic)",
   "at": "P1.2",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grade (heuristic)",
   "at": "P1.3",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grade (heuristic)",
   "at": "P2.2",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grade (heuristic)",
   "at": "P3.2",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grade (heuristic)",
   "at": "P3.3",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grade (heuristic)",
   "at": "P4.2",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grade (heuristic)",
   "at": "P6.2",
   "detail": "every cited claim is graded (interpretation, hypothesis or stipulation) and the sentence carries no grade in its grammar"
  },
  {
   "check": "grounding",
   "at": "B:P-lede",
   "detail": "a unit that cites no claim"
  },
  {
   "check": "reverse-entailment",
   "at": "KO2",
   "detail": "the unit says more than the claims it cites",
   "exceeds": [
    "The field holds no entry and no claim for it",
    "so the account here rests wholly on the archive's defining papers",
    "The field holds no entry and no claim for it",
    "so the account here rests wholly on the archive's defining papers, #1696 and #1697"
   ],
   "raters": [
    false,
    false
   ]
  },
  {
   "check": "reverse-entailment",
   "at": "KO5",
   "detail": "the unit says more than the claims it cites",
   "exceeds": [
    "Because an operator is no author in the archive, #1696 stipulates that every mention of its strings is bearing (the quote gives the clause with 'so' as the deposit's own inference; the unit's grammar is fine on causation, but it omits 'read as #1690 §3.4 reads it', the qualifier fixing what 'bearing' means)"
   ],
   "raters": [
    false,
    true
   ]
  },
  {
   "check": "reverse-entailment",
   "at": "KO8",
   "detail": "the unit says more than the claims it cites",
   "exceeds": [
    "In the specimen of #1696, the operation is read as ... (an interpretation presented as a bare reading with no hedge; the quote is an interpretation, and 'is read as' is borderline) "
   ],
   "raters": [
    true,
    false
   ]
  },
  {
   "check": "reverse-entailment",
   "at": "KO14",
   "detail": "the unit says more than the claims it cites",
   "exceeds": [
    "The paper attributes the description of the inversion as chiastic to Lee Sharks, 2026-10-23 (the quote is truncated and the interpretation-modality claim does not show the paper 'attributes' it; it only records a parenthetical, with the quotation cut off before its close)"
   ],
   "raters": [
    false,
    true
   ]
  },
  {
   "check": "reverse-entailment",
   "at": "KO17",
   "detail": "the unit says more than the claims it cites",
   "exceeds": [
    "Where the operation survives in the sentence there is no attributization (stated as a general rule; the quote is one record, 'No attributization: the operation survives.', with the 'W4–W6 rows' scope not given in it)",
    "of its W4–W6 rows"
   ],
   "raters": [
    false,
    true
   ]
  },
  {
   "check": "reverse-entailment",
   "at": "KO19",
   "detail": "the unit says more than the claims it cites",
   "exceeds": [
    "The deposits state the operator's limits at their own strength",
    "the concept ... \"does not transfer\" is said of 'the concept, as Message 1 defines it', and the quote comes only from #1697, not 'the deposits'"
   ],
   "raters": [
    true,
    false
   ]
  },
  {
   "check": "reverse-entailment",
   "at": "P-lede",
   "detail": "the unit says more than the claims it cites",
   "exceeds": [
    "The field holds no account of it.",
    "The field holds no account of it."
   ],
   "raters": [
    false,
    false
   ]
  },
  {
   "check": "reverse-entailment",
   "at": "P5.1",
   "detail": "the unit says more than the claims it cites",
   "exceeds": [
    "Where the operation survives in the sentence, no attributization (stated as a general control rule; the quote is a record of particular rows' outcome, with no scope or generality given)"
   ],
   "raters": [
    false,
    true
   ]
  }
 ],
 "composition_gnosis": {
  "service": {
   "name": "SPXI-gnΩsis",
   "version": "0.21.1",
   "protocol": "EA-WIKI-OPEN-01 v1.1 (#1697)"
  },
  "ontology_rules": "2026-10-25c: disagreements settle by the constructs ruling; the case follows ρ",
  "protocol": "gnosis-S7/0.1 (EA-NEGONT-02 v0.9, #1690)",
  "mode": "live",
  "models": {
   "triage": "claude-haiku-5-5",
   "reading": "claude-sonnet-5-5",
   "thinking": "up-front thinking off"
  },
  "archive_release": {
   "archive_commit": "49f596e1d074f8233d8a282abc60e1d57068cd2b",
   "registry_sha256": "9f835f1aa71e5fd5e46dfde8c72b80d953f133d768b6e37340d30696474c3843",
   "citation_graph_sha256": "b1fdd083c109a303130092ecc7a2779e2f54afe951defd209129640b535ae082",
   "traverse_script_sha256": "83737905f980ae5e70b075fc0112cd9b0e3f5af2ef769f4e646d6e388733d2ff"
  },
  "passes": [
   {
    "stage": "admit-dro",
    "id": "1-pass1",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 14,
     "cache_creation_input_tokens": 8298,
     "cache_read_input_tokens": 0,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 8298,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 340,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.024173,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-dro",
    "id": "1-pass2",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 27,
     "cache_creation_input_tokens": 0,
     "cache_read_input_tokens": 8298,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 0,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 515,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.006034,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-dro",
    "id": "2-pass1",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 14,
     "cache_creation_input_tokens": 14140,
     "cache_read_input_tokens": 916,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 14140,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 480,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.04027,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-dro",
    "id": "2-pass2",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 27,
     "cache_creation_input_tokens": 0,
     "cache_read_input_tokens": 15056,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 0,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 415,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.00571,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "1-pass1",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 14,
     "cache_creation_input_tokens": 10693,
     "cache_read_input_tokens": 0,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 10693,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 490,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.001583,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "1-pass2",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 27,
     "cache_creation_input_tokens": 0,
     "cache_read_input_tokens": 10693,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 0,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 482,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.000351,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "2-pass1",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 14,
     "cache_creation_input_tokens": 8583,
     "cache_read_input_tokens": 916,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 8583,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 761,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.001464,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "2-pass2",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 27,
     "cache_creation_input_tokens": 0,
     "cache_read_input_tokens": 9499,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 0,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 662,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.000429,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "3-pass1",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 14,
     "cache_creation_input_tokens": 9433,
     "cache_read_input_tokens": 916,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 9433,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 823,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.001601,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "3-pass2",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 27,
     "cache_creation_input_tokens": 0,
     "cache_read_input_tokens": 10349,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 0,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 896,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.000554,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "4-pass1",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 14,
     "cache_creation_input_tokens": 8050,
     "cache_read_input_tokens": 916,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 8050,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 568,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.001301,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "4-pass2",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 27,
     "cache_creation_input_tokens": 0,
     "cache_read_input_tokens": 8966,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 0,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 482,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.000333,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "5-pass1",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 14,
     "cache_creation_input_tokens": 9608,
     "cache_read_input_tokens": 916,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 9608,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 384,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.001404,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "5-pass2",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 27,
     "cache_creation_input_tokens": 0,
     "cache_read_input_tokens": 10524,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 0,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 566,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.000391,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "6-pass1",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 14,
     "cache_creation_input_tokens": 10814,
     "cache_read_input_tokens": 916,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 10814,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 524,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.001624,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "6-pass2",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 27,
     "cache_creation_input_tokens": 0,
     "cache_read_input_tokens": 11730,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 0,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 523,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.000382,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "7-pass1",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 14,
     "cache_creation_input_tokens": 7816,
     "cache_read_input_tokens": 916,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 7816,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 363,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.001169,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "7-pass2",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 27,
     "cache_creation_input_tokens": 0,
     "cache_read_input_tokens": 8732,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 0,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 381,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.000281,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "8-pass1",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 14,
     "cache_creation_input_tokens": 6189,
     "cache_read_input_tokens": 916,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 6189,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 535,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.001052,
    "sampling": "model defaults"
   },
   {
    "stage": "admit-hop",
    "id": "8-pass2",
    "how": "live:claude-haiku-5-5",
    "model": "claude-haiku-5-5",
    "usage": {
     "input_tokens": 27,
     "cache_creation_input_tokens": 0,
     "cache_read_input_tokens": 7105,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 0,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 323,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.000235,
    "sampling": "model defaults"
   },
   {
    "stage": "extract-archive",
    "id": "1696",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 17,
     "cache_creation_input_tokens": 7465,
     "cache_read_input_tokens": 0,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 7465,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 2420,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.042897,
    "sampling": "model defaults"
   },
   {
    "stage": "extract-archive",
    "id": "1697",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 17,
     "cache_creation_input_tokens": 14309,
     "cache_read_input_tokens": 910,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 14309,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 3623,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.072128,
    "sampling": "model defaults"
   },
   {
    "stage": "extract-archive",
    "id": "137",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 17,
     "cache_creation_input_tokens": 1804,
     "cache_read_input_tokens": 910,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 1804,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 284,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.007475,
    "sampling": "model defaults"
   },
   {
    "stage": "extract-archive",
    "id": "1574",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 17,
     "cache_creation_input_tokens": 1344,
     "cache_read_input_tokens": 910,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 1344,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 9,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.003575,
    "sampling": "model defaults"
   },
   {
    "stage": "extract-archive",
    "id": "1580",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 17,
     "cache_creation_input_tokens": 14067,
     "cache_read_input_tokens": 910,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 14067,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 3864,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.073933,
    "sampling": "model defaults"
   },
   {
    "stage": "extract-archive",
    "id": "1587",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 17,
     "cache_creation_input_tokens": 6363,
     "cache_read_input_tokens": 910,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 6363,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 3698,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.053013,
    "sampling": "model defaults"
   },
   {
    "stage": "extract-archive",
    "id": "1590",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 17,
     "cache_creation_input_tokens": 13822,
     "cache_read_input_tokens": 910,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 13822,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 5297,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.08765,
    "sampling": "model defaults"
   },
   {
    "stage": "extract-archive",
    "id": "1629",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 17,
     "cache_creation_input_tokens": 4859,
     "cache_read_input_tokens": 910,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 4859,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 2674,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.039013,
    "sampling": "model defaults"
   },
   {
    "stage": "extract-archive",
    "id": "1702",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 17,
     "cache_creation_input_tokens": 22153,
     "cache_read_input_tokens": 910,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 22153,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 5466,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.110168,
    "sampling": "model defaults"
   },
   {
    "stage": "ontology",
    "id": "pass1",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 27,
     "cache_creation_input_tokens": 25474,
     "cache_read_input_tokens": 0,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 25474,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 1248,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.076219,
    "sampling": "model defaults"
   },
   {
    "stage": "ontology",
    "id": "pass2",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 30,
     "cache_creation_input_tokens": 0,
     "cache_read_input_tokens": 25474,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 0,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 1817,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.020777,
    "sampling": "model defaults"
   },
   {
    "stage": "compose",
    "id": "pass1",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 16,
     "cache_creation_input_tokens": 24828,
     "cache_read_input_tokens": 0,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 24828,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 4809,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.110192,
    "sampling": "model defaults"
   },
   {
    "stage": "delta",
    "id": "pass1",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 12,
     "cache_creation_input_tokens": 2810,
     "cache_read_input_tokens": 0,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 2810,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 1496,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.022009,
    "sampling": "model defaults"
   },
   {
    "stage": "audit",
    "id": "rater1",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 11,
     "cache_creation_input_tokens": 8255,
     "cache_read_input_tokens": 0,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 8255,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 1313,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.03379,
    "sampling": "model defaults"
   },
   {
    "stage": "audit",
    "id": "rater2",
    "how": "live:claude-sonnet-5-5",
    "model": "claude-sonnet-5-5",
    "usage": {
     "input_tokens": 13,
     "cache_creation_input_tokens": 0,
     "cache_read_input_tokens": 8255,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 0,
      "ephemeral_1h_input_tokens": 0
     },
     "output_tokens": 1120,
     "service_tier": "standard",
     "inference_geo": "global",
     "speed": "standard",
     "output_tokens_details": {
      "thinking_tokens": 0
     }
    },
    "cost_usd": 0.012052,
    "sampling": "model defaults"
   }
  ],
  "cost_usd": 0.85523,
  "seconds": 315.801,
  "stages": {
   "reading": {
    "cost_usd": 0.67719,
    "from_checkpoint": null,
    "service": {
     "name": "SPXI-gnΩsis",
     "version": "0.21.1",
     "protocol": "EA-WIKI-OPEN-01 v1.1 (#1697)"
    },
    "checkpoint": "s7/op-attributization/reading/bddad4c3ad35920740c676ce9ebb6cfc4b0f862ebffd0abbb1754fd3c1c3e029.json",
    "delivered": true
   },
   "construction": {
    "cost_usd": 0.17804,
    "ran": true,
    "delivered": true
   }
  }
 },
 "ontology": {
  "composition": "witness",
  "case": {
   "value": "witness",
   "statement": "The field holds nothing for this operator: its ledger is empty, so there is no field ontology that the archive extends. The archive supplies an ontology no other source makes available, the operator as the concealed operation of the entity form, whose attribute-form (\"first work\") is its surface. The law of the suppressed witness is read against what the field holds, which is nothing, and does not apply where the field holds the ontology even marginally; here it holds none. The archive's ontology therefore rules. The field is carried whole (as an empty ledger, so the translation table has no rows), and the composition at the address has no sentences to align.",
   "loci": [
    {
     "dep": 1696,
     "locus": "The commission and its object",
     "quote": "the operation the entity form conceals (§1), the act a text performs and the encyclopedic sentence states as an attribute of an entity, in which the operator speaks with the entity's voice.",
     "quote_ok": true
    },
    {
     "dep": 1696,
     "locus": "S3(c) Attributization",
     "quote": "Does the source perform an act that the sentence states as a property of the entity? Record the conversion; which operative relations survive it (scope, distinctions, evidence, consequences); and whether those relations keep authority to revise the description.",
     "quote_ok": true
    },
    {
     "dep": 1697,
     "locus": "Appendix C, where the session stands alone",
     "quote": "The concept, as Message 1 defines it, does not transfer: readers outside the session apply it only where a noun or adjective of standing replaces a verb.",
     "quote_ok": true
    }
   ]
  },
  "E_F": {
   "type": "absence (the field holds no entity for this operator: no encyclopedic entry and no field claims)",
   "definition": "The field ledger is empty. The encyclopedia and the composition layer hold no entity for Attributization, or hold it only by a null composition; the field's entity is recorded as that absence.",
   "claims": []
  },
  "E_A": {
   "definition": "Attributization is an operator: the operation the entity form conceals, namely an act a source text performs (for the specimen, a first-person count over a stated domain ending in a total negation) that the encyclopedic sentence states as an attribute of an entity (primacy of a work, membership in a taxonomy, a credential noun or priority adjective), the operator thereby speaking with the entity's voice. It enters by a label, a description and its strings (\"nothing at all\", \"first work\"), and its row composes the operator as subject: what it does, on what domain, where it is performed, which entities it speaks through (each attributization an instance) and where it stops. It is tested by asking whether the source performs an act the sentence states as a property of the entity, recording the conversion, which operative relations survive it (scope, distinctions, evidence, consequences) and whether they keep authority to revise the description. A candidate locator flags an active verb in the source rendered as a credential noun or priority adjective. The operation may run by inversion (the verdict the source hands its hearers becomes Aristotle's assertion of primacy; the article closes what the source holds open) or by narrowing (a stated criterion becomes membership in a later taxonomy; Aristotle's consequence becomes one modern formal fallacy). Its loss is typically of the quantifier's exhaustiveness and domain, while the attribution and the locus survive; where the locus survives, a reader holding the text can reopen the sentence, and where the sentence is reused it carries no such route. Limits: where the source's operation survives in the sentence there is no attributization; the concept does not transfer to readers outside the session except where a noun or adjective of standing replaces a verb; round 01 yields no validation and the translation's fidelity is recorded contested; the P1 prediction (a higher rate of attributization with loss of operative authority on entity pages than on work and method pages) is a hypothesis with a stated falsifier, and a null removes the claim that closures fall unevenly while leaving the protocol intact.",
   "claims": [
    "OA1696-01",
    "OA1696-02",
    "OA1696-03",
    "OA1696-04",
    "OA1696-05",
    "OA1696-06",
    "OA1696-07",
    "OA1696-08",
    "OA1696-09",
    "OA1696-10",
    "OA1696-11",
    "OA1696-12",
    "OA1696-13",
    "OA1696-14",
    "OA1697-01",
    "OA1697-02",
    "OA1697-03",
    "OA1697-04",
    "OA1697-05",
    "OA1697-06",
    "OA1697-07",
    "OA1697-08",
    "OA1697-09",
    "OA1697-10",
    "OA1697-11",
    "OA1697-12",
    "OA1697-13",
    "OA1697-14",
    "OA1697-17",
    "OA1697-18",
    "OA1697-19",
    "OA1697-20",
    "OA1697-21",
    "OA1697-22",
    "OA1697-23"
   ],
   "defining_papers": [
    1696,
    1697
   ]
  },
  "rho": {
   "value": "constructs",
   "statement": "The archive defines the operator by its own protocol. Nothing in the field names or holds it, so there is no field entity for the archive to extend, revise or contest by locus. The archive composes the operator itself, supplying its entry strings, its test, its locator and its specimens, so the field's side of the relation is empty.",
   "claims": [
    "OA1696-01",
    "OA1696-02",
    "OA1696-05",
    "OA1696-06",
    "OA1697-03",
    "OA1697-21"
   ],
   "guard": "Claims only that the operator's definition, test and instances come from the archive's defining papers (#1696, #1697). It does not claim that the operator transfers beyond the session, that the translation of the encyclopedic grammar is validated, or that attributization occurs at a higher rate on entity pages; the papers record the first as a limit, the second as contested and the third as an untested hypothesis."
  },
  "translation": [],
  "receiving_texts": "witness case: each field claim carried whole beside its translation, with its receiving text where located",
  "t_alignment": [],
  "contested": {
   "readings": [
    {
     "rho": {
      "value": "outside the vocabulary: no counterpart (the archive composes the operator where the field holds nothing)",
      "statement": "E_F is an absence. The archive neither extends a field entity, nor reads one as constructed by reception, nor revises its own earlier statements of one (although #1697 carries #1696's operator definition forward, that is versioning, not revision of the entity). The relation is archive-sole composition of an operator the field does not hold.",
      "claims": [
       "OA1696-02",
       "OA1697-01",
       "OA1697-02"
      ],
      "guard": "Claims only that the field ledger is empty for this operator. It does not claim that the encyclopedia lacks the operation, only that no field claim names or defines it."
     },
     "case": {
      "value": "witness",
      "statement": "The field holds nothing for Attributization, so no field ontology exists for the archive to extend (ρ is not \"extends\", so the equal case is not available). The archive supplies the ontology on its own: the operation the entity form conceals, composed as a subject in its own right. The law of the suppressed witness is read against what the field holds, which is nothing, so the archive's ontology rules. The field is carried whole, and carried empty, with no field claim to translate.",
      "loci": [
       {
        "dep": 1696,
        "locus": "The commission and its object",
        "quote": "the operation the entity form conceals (§1), the act a text performs and the encyclopedic sentence states as an attribute of an entity, in which the operator speaks with the entity's voice."
       },
       {
        "dep": 1696,
        "locus": "The commission and its object",
        "quote": "Its row composes the operator as the subject: what it does, on what domain, where it is performed, which entities it speaks through (each attributization of S3(c) an instance), and where it stops."
       }
      ]
     }
    },
    {
     "rho": {
      "value": "constructs",
      "statement": "The archive defines the operator by its own protocol. Nothing in the field names or holds it, so there is no field entity for the archive to extend, revise or contest by locus. The archive composes the operator itself, supplying its entry strings, its test, its locator and its specimens, so the field's side of the relation is empty.",
      "claims": [
       "OA1696-01",
       "OA1696-02",
       "OA1696-05",
       "OA1696-06",
       "OA1697-03",
       "OA1697-21"
      ],
      "guard": "Claims only that the operator's definition, test and instances come from the archive's defining papers (#1696, #1697). It does not claim that the operator transfers beyond the session, that the translation of the encyclopedic grammar is validated, or that attributization occurs at a higher rate on entity pages; the papers record the first as a limit, the second as contested and the third as an untested hypothesis."
     },
     "case": {
      "value": "witness",
      "statement": "The field holds nothing for this operator: its ledger is empty, so there is no field ontology that the archive extends. The archive supplies an ontology no other source makes available, the operator as the concealed operation of the entity form, whose attribute-form (\"first work\") is its surface. The law of the suppressed witness is read against what the field holds, which is nothing, and does not apply where the field holds the ontology even marginally; here it holds none. The archive's ontology therefore rules. The field is carried whole (as an empty ledger, so the translation table has no rows), and the composition at the address has no sentences to align.",
      "loci": [
       {
        "dep": 1696,
        "locus": "The commission and its object",
        "quote": "the operation the entity form conceals (§1), the act a text performs and the encyclopedic sentence states as an attribute of an entity, in which the operator speaks with the entity's voice."
       },
       {
        "dep": 1696,
        "locus": "S3(c) Attributization",
        "quote": "Does the source perform an act that the sentence states as a property of the entity? Record the conversion; which operative relations survive it (scope, distinctions, evidence, consequences); and whether those relations keep authority to revise the description."
       },
       {
        "dep": 1697,
        "locus": "Appendix C, where the session stands alone",
        "quote": "The concept, as Message 1 defines it, does not transfer: readers outside the session apply it only where a noun or adjective of standing replaces a verb."
       }
      ]
     }
    }
   ],
   "taken": 2,
   "rule": "the readings disagree on ρ; the reading of ρ = constructs is taken (ruled 2026-10-25: \"if the readings disagree go constructs\")"
  }
 },
 "delta": {
  "T_vs_LB": "Empty on both sides. T is an empty composition, the field ledger holds no claims, and KO_B is empty, so nothing was disclosed for T to compose, drop, raise, assign elsewhere, deny or reread. None of the §6.2 types applies. The silence is exact: the field holds no entry and no claim on attributization (the ko's own first-paragraph finding), and T composes nothing at this address.",
  "LB_vs_LBA": "Admission supplies the whole account, since KO_B is empty and every sense below comes from the archive. (1) Definition and entry: attributization is an operator, the act a text performs that the encyclopedic sentence states as an attribute of an entity, so that the operator speaks with the entity's voice (OA1696-02). It enters by a label, a description and its strings, the phrases in which it is performed and the phrases in which entities speak it; for the specimen these are \"nothing at all\" and \"first work\" (OA1696-01, OA1697-01). Its row composes what it does, its domain, where it is performed, the entities it speaks through, each S3(c) attributization an instance, and where it stops (OA1696-03, OA1697-02). Every mention of its strings is bearing, since an operator is no author (OA1696-04). The basis is the defining papers #1696 and #1697 alone (OA1697-03). (2) Test and locator: does the source perform an act that the sentence states as a property of the entity? Record the conversion, which operative relations survive (scope, distinctions, evidence, consequences), and whether they keep authority to revise the description (OA1696-05, OA1697-03). A candidate locator flags an active verb in the source rendered as a credential noun or priority adjective, as in \"we had nothing to say\" becoming \"first work\" (OA1696-06, OA1697-04). (3) Mechanism by inversion: a first-person count over a stated domain ending in total negation becomes the primacy of a work (OA1696-07). The verdict SE 34 hands to its hearers (184b3–8) becomes Aristotle's assertion of primacy in a modern subject, bounded to a region (OA1697-05). The article performs the reverse of the source's operation and closes what the source holds open (OA1697-06, OA1697-07). The description of the inversion as chiastic is attributed to Lee Sharks, 2026-10-23 (OA1697-08). The exhaustive negation becomes a priority claim and its object a modern category (OA1696-11). (4) Mechanism by narrowing: a stated criterion becomes membership in a later taxonomy, and Aristotle's consequence (τὸ ἑπόμενον) becomes \"Affirming the consequent\", one modern formal fallacy under \"informal fallacies\" (OA1697-12, OA1697-13). (5) Survival and loss: the attribution to Aristotle and the locus survive, the latter reaching 184b3–8 through \"ff.\", while the quantifier's exhaustiveness and domain are lost (OA1696-08), as are the condition, the hearers' task and the pardon for what the method leaves out (OA1697-10). No sentence presents the operation, since none reports that Aristotle holds the claim out to be inspected (OA1697-09). Authority to revise is present where the cited locus survives, because any reader holding the text can reopen the sentence, and absent from the lead sentence as reused (OA1696-09). (6) Limits and corrections: where the operation survives in the sentence there is no attributization (W4–W6, OA1697-17). Under the innocent-reading rule an entailed claim is supported and the narrowing recorded as loss of scope, while a species put for a genus is no entailment (OA1697-11). The concept does not transfer outside the session; readers apply it only where a noun or adjective of standing replaces a verb (OA1697-21). Round 01 yields no validation, no reply being a clean blind cross-family reading, and the fidelity of the translation is contested with both arguments recorded (OA1697-22, OA1697-23). The one empirical prediction is a hypothesis that attributization with loss of operative authority occurs at a higher rate on entity pages than on work and method pages (OA1696-12, OA1697-18). Its falsifier is no difference or a lower rate on entity pages, with the §7.3 positive controls as the first test; a null leaves the protocol intact and removes the claim that closures fall unevenly on these entities (OA1696-13, OA1697-19, OA1696-14)."
 },
 "kernel": [
  {
   "K": "K1",
   "claim": "The operator is the act a text performs and the encyclopedic sentence states as an attribute of an entity, the operator speaking with the entity's voice.",
   "source": "#1696",
   "M_src": "stipulation",
   "sense": "definition of the operator",
   "contrast": "Field holds nothing; the entity form states only the attribute."
  },
  {
   "K": "K2",
   "claim": "The test: record the conversion, the surviving operative relations, and whether they keep authority to revise the description.",
   "source": "#1696, #1697",
   "M_src": "stipulation",
   "sense": "decision procedure",
   "contrast": "No field test exists."
  },
  {
   "K": "K3",
   "claim": "Candidate locator: an active verb in the source rendered as a credential noun or priority adjective.",
   "source": "#1696, #1697",
   "M_src": "stipulation",
   "sense": "detection rule",
   "contrast": "No field counterpart."
  },
  {
   "K": "K4",
   "claim": "Specimen: a first-person count over a stated domain ending in a total negation becomes primacy of a work.",
   "source": "#1696",
   "M_src": "interpretation",
   "sense": "specimen reading",
   "contrast": "The field states primacy without the count."
  },
  {
   "K": "K5",
   "claim": "Loss: the quantifier's exhaustiveness and its domain; surviving: the attribution and the locus.",
   "source": "#1696",
   "M_src": "interpretation",
   "sense": "what the conversion costs",
   "contrast": "The sentence as reused shows no loss."
  },
  {
   "K": "K6",
   "claim": "Where the locus survives a reader can reopen the sentence; the reused sentence carries no such route.",
   "source": "#1696",
   "M_src": "interpretation",
   "sense": "revision authority",
   "contrast": "No field route to revision."
  },
  {
   "K": "K7",
   "claim": "The operation runs by inversion: the verdict handed to hearers becomes Aristotle's assertion of primacy.",
   "source": "#1697",
   "M_src": "interpretation",
   "sense": "mode one",
   "contrast": "The source holds the matter open; the article closes it."
  },
  {
   "K": "K8",
   "claim": "The operation runs by narrowing: a stated criterion becomes membership in a later taxonomy.",
   "source": "#1697",
   "M_src": "interpretation",
   "sense": "mode two",
   "contrast": "Consequence becomes one modern formal fallacy."
  },
  {
   "K": "K9",
   "claim": "Where the source's operation survives in the sentence there is no attributization.",
   "source": "#1697",
   "M_src": "documented",
   "sense": "control",
   "contrast": "Bounds the operator's reach."
  },
  {
   "K": "K10",
   "claim": "The concept does not transfer outside the session except where a noun or adjective of standing replaces a verb.",
   "source": "#1697",
   "M_src": "self-description",
   "sense": "transfer limit",
   "contrast": "No claim of general applicability."
  },
  {
   "K": "K11",
   "claim": "P1 (higher rate on entity pages) is a hypothesis with a stated falsifier; a null leaves the protocol intact.",
   "source": "#1696, #1697",
   "M_src": "hypothesis",
   "sense": "prediction and its limit",
   "contrast": "No field prediction."
  }
 ],
 "measure": {
  "rule": "v0.9 §4.10: KO_B sentences surviving in the KO at similarity ≥ 0.95, with positions (similarity: 2·LCS/(|a|+|b|) over words)",
  "v0.9": {
   "surviving": 0,
   "of": 0,
   "positions": []
  },
  "opening_run": {
   "rule": "v0.9 §5.10 (equal-terms case): the field-only KO's sentences as the KO's opening run in their own order",
   "breach": false
  },
  "blocks": {
   "rule": "v0.9 §4.1: sentences typed by the ledgers of the claims they cite (F field-only, A archive-only, M both)",
   "sequence": "AAAAAAAAAAAAAAAAAAAAAA",
   "field_only_head": 0,
   "archive_only_tail": 22,
   "breach": false
  }
 },
 "channel": [],
 "audit": {
  "rule": "v0.9 §5.3: reverse entailment by two raters; every unit needs a judgment from both",
  "ran": true,
  "complete": true,
  "units": 38,
  "unjudged": [],
  "agreement": 0.842,
  "breaches": 8
 }
}