# go-ai-native-lang

> AI-Native Go - the Go projection of the Discipline v0.2: gap closure over a prescriptive language (closed error sets, loud interface conformance, owned goroutines, no init()), cells and seams, the nine scaffolds in Go, //spec: directive traceability, 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/go-ai-native-lang/1.0.0/. Rendered 2026-09-12.

AI-Native Go - the Go projection of the Discipline v0.2: gap closure over a prescriptive language (closed error sets, loud interface conformance, owned goroutines, no init()), cells and seams, the nine scaffolds in Go, //spec: directive traceability, and the nine scaffold cards

## For agents

- [Boot snippet](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/boot-snippet/): `org.vibevm.ai-native/go-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 Go (Discipline v0.2) — boot snippet](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/boot/20-stack-go-ai-native-lang/): Go code in this project follows the AI-Native Go guide (`spec/go/GUIDE-AI-NATIVE-GO.xml` in this package). (3 min)
- [Card Registry — INDEX (Go projection)](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/cards/INDEX/): **Discipline v0.2 · BETA · T2 · Go** (4 min)
- [CARD: scaffold-a-generators — Generators / Codegen (Go)](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/cards/scaffold-a-generators/): **Discipline v0.2 · BETA · T2 · Go** (3 min)
- [CARD: scaffold-b-typed-builders — Typed Surfaces / Defined Types / Constructors (Go)](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/cards/scaffold-b-typed-builders/): **Discipline v0.2 · BETA · T2 · Go** (4 min)
- [CARD: scaffold-c-runnable-contracts — Runnable Contracts (Go)](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/cards/scaffold-c-runnable-contracts/): **Discipline v0.2 · BETA · T2 · Go** (3 min)
- [CARD: scaffold-d-differential-oracle — Differential / Characterization Oracle (Go)](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/cards/scaffold-d-differential-oracle/): **Discipline v0.2 · BETA · T2 · Go** (5 min)
- [CARD: scaffold-e-fast-loop — Per-Cell Fast Verification Loop (Go)](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/cards/scaffold-e-fast-loop/): **Discipline v0.2 · BETA · T2 · Go** (3 min)
- [CARD: scaffold-f-structured-diagnostics — Structured, Requirement-Citing Diagnostics (Go)](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/cards/scaffold-f-structured-diagnostics/): **Discipline v0.2 · BETA · T2 · Go** (3 min)
- [CARD: scaffold-g-doctests — Executable Examples (Go)](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/cards/scaffold-g-doctests/): **Discipline v0.2 · BETA · T2 · Go** (3 min)
- [CARD: scaffold-h-simulators — Local Simulators / Reference Models (Go)](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/cards/scaffold-h-simulators/): **Discipline v0.2 · BETA · T2 · Go** (3 min)
- [CARD: scaffold-i-codemods — Scaffolded Edit Operations / Codemods (Go)](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/cards/scaffold-i-codemods/): **Discipline v0.2 · BETA · T2 · Go · [E-hyp] — validate before relying on it** (3 min)
- [AI-Native Go — The Guide](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/go/GUIDE-AI-NATIVE-GO/): **Discipline v0.2 · status: BETA · T2 · supersedes the legacy projection GUIDE-GO-v0.1 (which stays, untouched, in `flow:org.vibevm.ai-native/core-ai-native/spec/legacy-projections/`) · third supported language, after Rust (pilot) and TypeScript** (21 min)
- [TCG-ORACLE-GO v0.1 — the gopls oracle process model](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/go/mechanisms/TCG-ORACLE-GO-v0.1/): **Status: v0.1 — authored with GO-AI-NATIVE-PLAN v0.1 (Phase 3), implemented by its Phase 7.** (7 min)
- [TCG-PROTOCOL-GO v0.1 — the go relay's wire contract](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/go/mechanisms/TCG-PROTOCOL-GO-v0.1/): **Status: v0.1 — authored with GO-AI-NATIVE-PLAN v0.1 (Phase 3), implemented by its Phase 7.** (5 min)
- [Tool Spec: `go-ai-native-conform-frontend` + `go-extract` — the Go frontend for the language-neutral conform engine](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/go/tools/conform-frontend-go/): *Status: **SHIPPED with this package** (GO-AI-NATIVE-PLAN Phases 4–5) — `crates/go-ai-native-conform-frontend` (`id = "go-extract"`) + `crates/go-ai-native-conform` (binary **`go-ai-native-conform`**), fed by the stdlib-only extractor at `tools/go-extract/` through the `go-ai-native-extract-bridge` NDJSON protocol.* (4 min)
- [Tool Spec (high-level): `go-ai-native-tcg` — Token-Level Type-Constrained Generation for Go](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/go/tools/go-ai-native-tcg/): *Status: vision / component brief — **DELIBERATELY HELD AT STUB DEPTH**, and **dispositioned VERY-FAR-FUTURE by the owner (2026-07-17, the GO-AI-NATIVE mandate: «TCG если реализовывать, то только agentic, для token level мы пока не готовы»)**: 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.* (3 min)
- [Tool Spec: `vibe-agentic-tcg-go` — the Agentic Type Oracle for Go](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/go/tools/vibe-agentic-tcg-go/): *Status: component brief at FULL seven-section parity (problem · design stance · component shape · staged ambition · licensing · risk register · summary).* (7 min)
- [Package manifest](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/manifest/): What `org.vibevm.ai-native/go-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)
- [go-ai-native-lang — README](/doc/org.vibevm.ai-native/go-ai-native-lang/1.0.0/readme/): The README of `org.vibevm.ai-native/go-ai-native-lang@1.0.0`, as the package ships it. (5 min · user, dev)