Skip to main content
Status: Design direction; not implemented in Genesis code. The semantic layer is open-world: more information and vocabularies may exist. Agent execution must be closed-world: an operation accepts finite inputs, returns declared outputs, produces explicit errors, and has known effects. Typed Web IR will bridge these models.
TWIR should define:
  • primitive and structured types;
  • resources and identity fields;
  • finite operations;
  • error contracts;
  • pagination and streams;
  • evidence requirements;
  • effect and risk classes;
  • authorization requirements;
  • exact semantic module closure.
Transport bindings must compile from TWIR rather than independently inventing semantics.
Last modified on August 10, 2026