Thirsty-Lang

Reference parser for TSCG governance flows.

Express a governance flow in symbolic compression grammar. The reference parser tokenises primitives, derives required checks, and renders an audit artifact. Full grammar in the TSCG / TSCG-B specs.

tscg source

Parsed

ING → SEL → COG → CAP [ OUT_MAIL , scope = 200 ] → INV ( L_ reflex < L_ cog ) → COM → LED

Required checks

⊢ Selection pressure recorded
⊢ Capability footprint validated
⊢ Invariants evaluated
⊢ Audit ledger entry written

Execution decision

ALLOWAll required gates satisfied

Audit artifact

{
  "source": "ING → SEL → COG → CAP[OUT_MAIL,scope=200] → INV(L_reflex<L_cog) → COM → LED",
  "primitives": [
    "ING",
    "SEL",
    "COG",
    "CAP",
    "INV",
    "COM",
    "LED"
  ],
  "verdict": "ALLOW",
  "reason": "All required gates satisfied",
  "decision_hash": "0x9cf1710540152e90815865e06e284670",
  "replay_digest": "0xcc3f812597f82c30",
  "validators": [
    "Galahad",
    "Cerberus",
    "Codex"
  ]
}

Reference parser — supports a fixed subset of TSCG primitives. Full grammar, semantic resolution layer, and TSCG-B class bindings are specified in the TSCG / TSCG-B papers.