What is Invariant?
Invariant is a deterministic execution kernel for large language models.
It treats the LLM as untrusted compute and enforces policy at the execution boundary,
not inside the model or prompt.
Why this is infrastructure (not a library)
Invariant operates as a reference monitor: it intercepts execution,
enforces admissibility in real time, and produces cryptographically verifiable
receipts. This places it in the same architectural class as kernels,
sandboxes, and trusted runtimes - not alignment or moderation tools.
Who this is for
This project is intended for systems engineers, security researchers,
AI infrastructure teams, and anyone interested in verifiable AI execution.
It is not a chatbot framework or a model training project.
What is Invariant?
Invariant is a deterministic execution kernel for large language models.
It treats the LLM as untrusted compute and enforces policy at the execution boundary,
not inside the model or prompt.
Why this is infrastructure (not a library)
Invariant operates as a reference monitor: it intercepts execution,
enforces admissibility in real time, and produces cryptographically verifiable
receipts. This places it in the same architectural class as kernels,
sandboxes, and trusted runtimes - not alignment or moderation tools.
Who this is for
This project is intended for systems engineers, security researchers,
AI infrastructure teams, and anyone interested in verifiable AI execution.
It is not a chatbot framework or a model training project.