{
    "ts":  "2026-10-04T10:44:00Z",
    "symbol_grammar":  "oid.kell.symbol.verb_grammar.v1",
    "opposition_mint":  "oid.kell.invent.opposition_mint.v1",
    "pairs_file":  "KELL_OPPOSITION_PAIRS.json",
    "law":  "A/E/I/O labels · each claim cites door receipt · no merged meters · opposition_mint v1 · opposition_mint v1",
    "invalid_example":  {
                            "form":  "invalid_syllogism",
                            "note":  "Some short r/s high + Some seat sales r/s =\u003e Some 500 immune",
                            "receipt":  "KIDS_ILOGIC_VENN_FLEET_INVALID_FORM_NOW.txt"
                        },
    "claims":  [
                   {
                       "id":  "C1",
                       "form":  "I",
                       "claim":  "Some aa2 basin runs achieve rebuild 500/500 with digits kept",
                       "meter":  "aa2 basin",
                       "receipt":  "ATOMIC_ATTRACTION_2_NOW.txt",
                       "lane":  "deductive_on_bank",
                       "truth":  "T",
                       "public":  true,
                       "sym":  { "aux":  "○", "case":  "·", "path":  "C1⊂kids|GET=ATOMIC_ATTRACTION_2_NOW.txt" }
                   },
                   {
                       "id":  "C2",
                       "form":  "I",
                       "claim":  "Some kraken seed expands match crystal_bank_kraken.json byte-for-byte",
                       "meter":  "R_wire 9850:1",
                       "receipt":  "AA2_E2E_PROVE_RECEIPT_NOW.txt",
                       "lane":  "deductive_local",
                       "truth":  "T",
                       "public":  true,
                       "sym":  { "aux":  "○", "case":  "·", "path":  "C2⊂kids|GET=AA2_E2E_PROVE_RECEIPT_NOW.txt" }
                   },
                   {
                       "id":  "C3",
                       "form":  "O",
                       "claim":  "Some public copies are not STOW-tipped custody",
                       "meter":  "revoke",
                       "receipt":  "REVOKED_ATOM_LIST_NOW.txt",
                       "lane":  "security",
                       "truth":  "T",
                       "public":  true,
                       "sym":  { "aux":  "○", "case":  "·", "path":  "C3⊂kids|GET=REVOKED_ATOM_LIST_NOW.txt" }
                   },
                   {
                       "id":  "C4",
                       "form":  "A",
                       "claim":  "All sold server-side prove requests must use origin slot pool",
                       "meter":  "queue",
                       "receipt":  "coloroftie.com/fruit/queue_policy.json",
                       "lane":  "policy_definitional",
                       "truth":  "T",
                       "public":  true,
                       "sym":  { "aux":  "⊙", "case":  "†", "path":  "C4⊕→@1700⊂fruit|GET=queue_policy" }
                   },
                   {
                       "id":  "C5",
                       "form":  "E",
                       "claim":  "No hold-out grow bank is published on Linode fruit path",
                       "meter":  "custody",
                       "receipt":  "COLOROFTIE_FRUIT_ROUTER_NOW.txt",
                       "lane":  "E_target",
                       "truth":  "T",
                       "public":  true,
                       "sym":  { "aux":  "○", "case":  "·", "path":  "C5⊕⇄@sky⊂fruit|GET=COLOROFTIE_FRUIT_ROUTER_NOW.txt" }
                   },
                   {
                       "id":  "C6",
                       "form":  "I",
                       "claim":  "Some static porch loads sustain 500 fetches with 0 fail",
                       "meter":  "HTTP",
                       "receipt":  "AA2_LINODE_LOAD500_RECEIPT_NOW.txt",
                       "lane":  "inductive",
                       "truth":  "T",
                       "public":  true,
                       "sym":  { "aux":  "○", "case":  "·", "path":  "C6⊕⇄@sky|GET=AA2_LINODE_LOAD500_RECEIPT_NOW.txt" }
                   },
                   {
                       "id":  "C7",
                       "form":  "O",
                       "claim":  "Some concurrent origin aa2_speed runs exceed 10us p95 at N=25",
                       "meter":  "CPU knee",
                       "receipt":  "AA2_LINODE_LOAD25_RECEIPT_NOW.txt",
                       "lane":  "inductive",
                       "truth":  "T",
                       "public":  true,
                       "sym":  { "aux":  "○", "case":  "·", "path":  "C7⊕⇄@sky|GET=AA2_LINODE_LOAD25_RECEIPT_NOW.txt" }
                   },
                   {
                       "id":  "C8",
                       "meter":  "queue",
                       "opposes":  "C4",
                       "truth":  "?",
                       "claim":  "Some sold server-side prove requests bypass origin slot pool",
                       "form":  "O",
                       "public":  false,
                       "receipt":  "KELL_OPPOSITION_PAIRS.json",
                       "lane":  "policy_opposite",
                       "sym":  { "aux":  "○", "case":  "·", "path":  "C8⊂kids|?C4" }
                   },
                   {
                       "id":  "C9",
                       "meter":  "custody",
                       "opposes":  "C5",
                       "truth":  "?",
                       "claim":  "Some hold-out grow bank bytes exist on Linode fruit path",
                       "form":  "I",
                       "public":  false,
                       "receipt":  "KELL_OPPOSITION_PAIRS.json",
                       "lane":  "custody_opposite",
                       "sym":  { "aux":  "○", "case":  "·", "path":  "C9⊂kids|?C5" }
                   },
                   {
                       "id":  "C10",
                       "meter":  "revoke",
                       "opposes":  "C3",
                       "truth":  "?",
                       "claim":  "All public copies are STOW-tipped custody",
                       "form":  "A",
                       "public":  false,
                       "receipt":  "KELL_OPPOSITION_PAIRS.json",
                       "lane":  "security_opposite",
                       "sym":  { "aux":  "○", "case":  "·", "path":  "C10⊂kids|?C3" }
                   }
               ],
    "title":  "Kell claims card"
}