<?xml version="1.0" encoding="UTF-8"?>
<spec xmlns="https://vibevm.org/spec/1">
  <title id="root">CARD: scaffold-e-fast-loop — Per-Cell Fast Verification Loop (Go)</title>
  <status stage="spec" state="done"/>
  <p p="1"><fact id="status-line" status="impl/done">**Discipline v0.2 · BETA · T2 · Go**</fact></p>
  <section id="band-one-identity" title="Band 1 — Identity &amp; Recognition">
    <p p="2"><fact id="CLASSIFICATION" status="impl/done">Classification: layer=E (verification) + H (weak-reader); mechanism=scaffold E.</fact></p>
    <p p="3"><fact id="INTENT" status="impl/done">Intent: Guarantee every cell is independently buildable and testable in seconds (`go test ./internal/cells/&lt;name&gt;/ -race`), so an agent's edit→check→read-error→edit loop gets a first signal fast enough to steer — the substrate that makes every other scaffold's pass/fail usable. Go hands this scaffold the strongest substrate of the three stacks: per-package testing needs no project references (TS) and no shared cold `target/` (Rust); the compiler was engineered for build speed as a headline feature.</fact></p>
    <p p="4"><fact id="ALSO-KNOWN-AS" status="spec/done">Also Known As: tight feedback loop; per-package test; incremental check; smoke loop; agent-computer interface.</fact></p>
    <p p="5"><fact id="APPLICABILITY-RECOGNITION" status="impl/done">Applicability / Recognition: Apply when — a cell cannot be checked without building/testing the whole module set; the only verification is a multi-minute CI run; an agent must wait minutes for a signal. *Detector seed:* `go test ./&lt;cell&gt;/` fails to run in isolation (cross-package test coupling, missing fakes forcing integration setup), OR the cell has no tests at all → recognition fires (verification locality beats capability, R3-007).</fact></p>
  </section>
  <section id="band-two-justification" title="Band 2 — Justification &amp; Tradeoffs">
    <p p="6"><fact id="MOTIVATION" status="spec/done">Motivation: A weak agent in a bounded loop gets one signal per multi-minute CI run — useless. With `go test ./internal/cells/batchplanner/ -race` returning in ~1–5 s, the same agent iterates dozens of times in the budget that previously bought zero feedback. The interpreter-budget result confirms: more local runs help agents that can use feedback; the loop is the amplifier.</fact></p>
    <p p="7"><fact id="STRUCTURE-AND-PARTICIPANTS" status="impl/done">Structure &amp; Participants: *Cell isolation* (a package with injected capabilities — no ambient setup) · *Fast checker* (`go vet` + per-package `go test -race`) · *Structured error* (Class F messages + Go's file:line panics) · *Budget guard* (first signal &lt; ~60s; in practice far under).</fact></p>
    <p p="8"><fact id="COLLABORATIONS" status="impl/done">Collaborations: Runs Classes C/D/G checks (invariants, fuzz seeds, Examples all live in the same per-package run); consumes Class B's compile checks; emits Class F diagnostics. The raid executor runs this per batch. Capability injection (§2) is what MAKES the isolation real — a cell touching ambient state needs integration scaffolding and falls out of the loop.</fact></p>
    <p p="9"><fact id="GOALS-AND-NON-GOALS" status="impl/done">Goals / Non-Goals: *Goals:* sub-minute first signal per cell; make the loop the standard agent workflow. *Non-Goals:* NOT replacing full CI (module-wide `go test ./...` still runs at merge); does NOT create capability — scaffolds amplify, they do not create.</fact></p>
    <p p="10"><fact id="CONSEQUENCES" status="spec/done">Consequences: (+) every other scaffold becomes loop-usable; (+) `-race` rides along at per-package cost, so the concurrency discipline (§5) is checked in the same loop. (−) requires cells genuinely isolable (drives §2 cell design); a cell with no tests has NO loop — that is a finding, not a neutral state.</fact></p>
    <p p="11"><fact id="ALTERNATIVES" status="spec/done">Alternatives: whole-module CI only (too slow for an agent loop); manual testing (not mechanical). Neither is a substitute.</fact></p>
    <p p="12"><fact id="RISKS-AND-ASSUMPTIONS" status="spec/done">Risks &amp; Assumptions: assumes cells are isolable; ambient coupling breaks this (anti-pattern). *Sunset:* none — the loop is foundational.</fact></p>
    <p p="13"><fact id="EVIDENCE-AND-TRANSFER-STRENGTH" status="spec/done">Evidence &amp; Transfer-strength: R3-007 (verification locality, theory), R2C interpreter-budget result (more runs amplify capable agents, benchmark), BLD-010 (30–60s practical threshold). Class: benchmark + theory. Tag: **[E-strong]**.</fact></p>
  </section>
  <section id="band-three-operation" title="Band 3 — Operation">
    <fence lang="card-ops" p="14">trigger: WHEN a cell lacks a sub-minute isolated check, OR has no tests, OR verification requires a whole-module run THEN apply
mode: gate            # a structural precondition, verified at merge
routine:
  1. Make the cell a self-contained package: capabilities injected, no ambient setup (§2).
  2. Ensure `go test ./&lt;cell&gt;/ -race` runs in isolation, &lt; ~60s (in practice seconds).
  3. Wire the cell's Class C/D/G artifacts (invariants, fuzz seeds, Examples) into that same run.
  4. Give the loop a one-line entry: `go-ai-native fast-loop --cell &lt;package&gt;` (asserts the budget).
  5. Confirm first-signal latency is within budget; if not, cut corpus/case counts.
checker: `go-ai-native fast-loop` (cell tests in isolation under budget; a test-less cell fails)
raid_role: layer=infrastructure; order=after:cell-boundaries; batch=cell
budget: active_rules=1; first_signal=&lt;60s by definition</fence>
  </section>
</spec>
