Run Thirsty-Lang

This executes in your browser using the reference lexer, parser, and tree-walking interpreter — not a mock. Edit the program and the verdict, audit trace, and decision hash update live.

program.tl

Admissibility decision

ALLOWgates 4/4

All required gates satisfied — action admitted to execution.

Audit trace

1·intent send_outbound_mail
2·capability OUT_MAIL — scope=200, class=2
3·action outbound
4·gate capability
5⊢require satisfied
6⊢require satisfied
7·gate continuity
8⊢require satisfied
9·gate audit
10⊢require satisfied
11⊢commit

Audit artifact

{
  "language": "Thirsty-Lang",
  "version": "0.8.1",
  "verdict": "ALLOW",
  "reason": "All required gates satisfied — action admitted to execution.",
  "intents": [
    "send_outbound_mail"
  ],
  "capabilities": [
    "OUT_MAIL"
  ],
  "gates": "4/4",
  "bindings": {
    "OUT_MAIL": {
      "scope": 200,
      "class": 2
    }
  },
  "decision_hash": "0xe82baac4feab5d4fe82baac4"
}

Decision hash is deterministic — identical source yields an identical hash, making verdicts replay-friendly.