# typescript-ai-native-lang

> AI-Native TypeScript - the TypeScript projection of the Discipline v0.2: cells, branding over structural typing, contract-first ordering, the nine scaffolds in TypeScript, tsconfig-as-discipline, the erasure boundary, errors as discriminated unions, type-level testing, and the nine scaffold cards

A community documentation of nothing it declares, published by org.vibevm.ai-native, in en.
Read it at /doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/. Rendered 2026-09-12.

AI-Native TypeScript - the TypeScript projection of the Discipline v0.2: cells, branding over structural typing, contract-first ordering, the nine scaffolds in TypeScript, tsconfig-as-discipline, the erasure boundary, errors as discriminated unions, type-level testing, and the nine scaffold cards

## For agents

- [Boot snippet](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/boot-snippet/): `org.vibevm.ai-native/typescript-ai-native-lang@1.0.0` contributes a boot snippet: text that a session reads before it starts work, placed into the project's generated boot lane by `vibe install`. It is not read on this page — it is read by the agent. (1 min · user, agent)

## Pages

- [AI-Native TypeScript (Discipline v0.2) — boot snippet](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/boot/20-stack-typescript-ai-native-lang/): TypeScript code in this project follows the AI-Native TypeScript guide (`spec/typescript/GUIDE-AI-NATIVE-TYPESCRIPT.xml` in this package). (3 min)
- [Card Registry — INDEX (TypeScript projection)](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/cards/INDEX/): **Discipline v0.2 · BETA · T2 · TypeScript** (4 min)
- [CARD: scaffold-a-generators — Generators / Codegen (TypeScript)](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/cards/scaffold-a-generators/): **Discipline v0.2 · BETA · T2 · TypeScript** (3 min)
- [CARD: scaffold-b-typed-builders — Typed Surfaces / Branding / Typestate (TypeScript)](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/cards/scaffold-b-typed-builders/): **Discipline v0.2 · BETA · T2 · TypeScript** (3 min)
- [CARD: scaffold-c-runnable-contracts — Runnable Contracts (TypeScript)](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/cards/scaffold-c-runnable-contracts/): **Discipline v0.2 · BETA · T2 · TypeScript** (3 min)
- [CARD: scaffold-d-differential-oracle — Differential / Characterization Oracle (TypeScript)](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/cards/scaffold-d-differential-oracle/): **Discipline v0.2 · BETA · T2 · TypeScript** (5 min)
- [CARD: scaffold-e-fast-loop — Per-Cell Fast Verification Loop (TypeScript)](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/cards/scaffold-e-fast-loop/): **Discipline v0.2 · BETA · T2 · TypeScript** (3 min)
- [CARD: scaffold-f-structured-diagnostics — Structured, Requirement-Citing Diagnostics (TypeScript)](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/cards/scaffold-f-structured-diagnostics/): **Discipline v0.2 · BETA · T2 · TypeScript** (3 min)
- [CARD: scaffold-g-doctests — Executable Examples / Twoslash (TypeScript)](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/cards/scaffold-g-doctests/): **Discipline v0.2 · BETA · T2 · TypeScript** (2 min)
- [CARD: scaffold-h-simulators — Local Simulators / Reference Models (TypeScript)](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/cards/scaffold-h-simulators/): **Discipline v0.2 · BETA · T2 · TypeScript** (3 min)
- [CARD: scaffold-i-codemods — Scaffolded Edit Operations / Codemods (TypeScript)](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/cards/scaffold-i-codemods/): **Discipline v0.2 · BETA · T2 · TypeScript · [E-hyp] — validate before relying on it** (3 min)
- [Package manifest](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/manifest/): What `org.vibevm.ai-native/typescript-ai-native-lang@1.0.0` declares about itself. Everything on this page is the package's own manifest, read and shown — nothing here is an opinion about the package. (3 min · user, dev)
- [typescript-ai-native-lang — README](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/readme/): The README of `org.vibevm.ai-native/typescript-ai-native-lang@1.0.0`, as the package ships it. (3 min · user, dev)
- [AI-Native TypeScript — The Guide](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/typescript/GUIDE-AI-NATIVE-TYPESCRIPT/): **Discipline v0.2 · status: BETA · T2 · TypeScript only (JavaScript gets a separate guide) · supersedes GUIDE-TYPESCRIPT-v0.1** (23 min)
- [TCG-ORACLE v0.1 — the TypeScript oracle process model](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/typescript/mechanisms/TCG-ORACLE-v0.1/): **Status: v0.1 — authored with AGENTIC-TCG-TS-PLAN v0.1 (Phase 1), implemented by its Phases 2–3.** (4 min)
- [TCG-PROTOCOL v0.1 — the oracle wire protocol, both hops](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/typescript/mechanisms/TCG-PROTOCOL-v0.1/): **Status: v0.1 — authored with AGENTIC-TCG-TS-PLAN v0.1 (Phase 1), implemented by its Phases 2–4.** (4 min)
- [Tool Spec (high-level): `typescript-ai-native-conform-frontend` — the TypeScript frontend for the language-neutral conform engine](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/typescript/tools/conform-frontend-typescript/): *Status: **SHIPPED** (0.3.0, the deferrals-closeout campaign) — this package's `crates/typescript-ai-native-conform-frontend` (`id = "ts-tsc"`) + `crates/typescript-ai-native-conform` (binary **`typescript-ai-native-conform`**), fed by the Compiler-API extractor at `tools/ts-extract/` through the `typescript-ai-native-extract-bridge` NDJSON protocol.* (5 min)
- [Tool Spec (high-level): `typescript-ai-native-tcg` — Token-Level Type-Constrained Generation for TypeScript](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/typescript/tools/typescript-ai-native-tcg/): *Status: vision / component brief — **DELIBERATELY HELD AT STUB DEPTH**, and **dispositioned VERY-FAR-FUTURE by the owner (2026-07-07)**: token-level (logit-mask) TCG requires an inference substrate vibevm does not have — `vibe-llm` is an M0 stub, and hosted agent APIs never expose logits — so this line waits, explicitly and indefinitely, on local-LLM plumbing.* (4 min)
- [Tool Spec: `vibe-agentic-tcg-ts` — the Agentic Type Oracle for TypeScript](/doc/org.vibevm.ai-native/typescript-ai-native-lang/1.0.0/typescript/tools/vibe-agentic-tcg-ts/): *Status: component brief at FULL seven-section parity (problem · design stance · component shape · staged ambition · licensing · risk register · summary).* (6 min)