"We ship proof, not code. The product is the contract plus the attestation. The application is the byproduct."
Consumer "vibe-coding" builders emit unstructured code with no contract, no invariants, and no proof. They cannot verify tenant isolation, and they cannot guarantee that a generated application won't silently fail in production.
WholeStack is the deterministic software manufacturing engine. Every system gets a contract. Every change gets proof. Every action gets an authority decision. WholeStack keeps the record.
flowchart TD
A["Customer Requirements & Intent"] --> B["Intent Closure & Semantic Buckets"]
B --> C["Canonical Business Blueprint<br/><code>intent-lock.json</code>"]
C --> D["Domain ISL AST<br/>Validated via <code>@isl-lang/parser</code>"]
D --> E["Deterministic Codegen Engine<br/>PostgreSQL Schema + RLS + Server Actions"]
E --> F["Artifact Fidelity Gate<br/>11 Fail-Closed Invariants"]
F --> G["Sandboxed Runtime Boot<br/>Schema-Isolated Postgres + Live Origin"]
G --> H["15-Beat Did-Chain Journey Execution<br/>Observed Database Mutations & Receipts"]
H --> I["ShipGate Cryptographic Attestation<br/><code>shipgate.json (VERDICT: SHIP)</code>"]
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
β 1. WHOLESTACK β THE DETERMINISTIC MANUFACTURING ENGINE β
β β Transforms natural language requirements into validated, β
β β multi-tenant business applications. Zero probabilistic β
β β guessing inside the compiler lowering. β
βββββββββββββββββββΌββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ€
β 2. VOLITION β THE AGENT AUTHORITY OS β
β β Mediates autonomous agent actions against sealed contractsβ
β β "Agents decide what they want to do. β
β β Volition decides what they have the authority to do." β
βββββββββββββββββββΌββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ€
β 3. SHIPGATE β INDEPENDENT RUNTIME ATTESTATION β
β β 11 static fidelity invariants, adversarial anti-stub β
β β scanning, and 15-beat customer did-chain verification. β
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
"No intelligence is considered real until the production artifact consumes it, and no behavior is considered proven until the generated application executes it."
-
Deterministic Lowering: Where the compiler has a lowering rule, ISL
$\rightarrow$ application code is 100% deterministic. LLMs never touch compiler lowering at build time. - Fail-Closed Integrity: If an application functions but violates tenant boundaries, it FAILS CLOSED. If an action does not mutate durable state, it is decorative.
- Proof Over Code: We do not evaluate screenshots or raw tokens. We boot the application in schema-isolated sandboxes and execute live user journeys to record cryptographic receipts.
While the core WholeStack manufacturing factory remains proprietary, we publish open authority kernels, benchmark harnesses, and client toolchains:
| Repository | Focus | Highlights |
|---|---|---|
WholestackAI/isl |
Open Language Standard | Closed-world contract language, AST parser (@isl-lang/parser), typechecker (@isl-lang/typechecker), and formal specification (MIT). |
WholestackAI/volition-proof |
Public Authority Kernel | Runnable Volition governor + 15-attack adversarial gauntlet. 19 ungoverned control breaches, 0 Volition breaches. |
WholestackAI/volition-releases |
Desktop Client | Official Volition Hub installers for macOS and Windows. |
- Deterministic Authority Research: How decoupled, non-self-modifiable governors prevent autonomous agent privilege escalation.
- The Authority Gauntlet Map: Live evidence receipts across 18 model executors and adversarial defect classes.