Revisions batch: on-ramp + model currency + D13 scope row (spec), six guide rules, first full live-AC run (6/6 after the thread-identity fix)

[Carr1005]

The revisions batch from the tester-feedback triage (#24) plus the promoted #18 findings — spec edits and their guide generalizations, validated Option-B style (surgical edits + clean-room Opus regens; no adoption, no rebuild). Also includes the lab's first full keyed live-AC run, which caught and fixed a real design gap.

Spec (3 commits)

• 2835655 — on-ramp + currency: the opening blockquote gains the orientation lead ("what you're building" as a user-visible scene) and the fastest-path/completion sentence (offline suite green = the recommended baseline is complete; keys unlock only live tests/live use); inline heavy-setup notes on D11 Oracle and D12 Tavily; D4 Options name providers, never "current" model names ("expect the build agent to recommend current ones at the gate"); CTX-D gains the request-parameter-compatibility perishable (the temperature-rejection class); fixtures/llm-stubs.py → llm_stubs.py.
• 809dea8 — D13 summary-memory-scope row (owner decision, first contradicted-category row): thread-scoped default (the app path) vs the Lesson-5 notebook's unscoped global pool — both course-demonstrated; stakes test passes because the choice changes what a read returns. Side edits: contradicted-group paragraph, R18 defers to D13, §5 coverage note, CTX-C11 cross-ref.
• R11 harness-known-identity sentence — added mid-batch after the live AC21 run caught the gap (below), per the spec's own living-document rule.

Guide (1 commit, 0cd5ff2)

Six course-agnostic rules: G1 orientation-block template + reader test; G2 heavy options state setup weight inline at choice time; G3 model currency is the generation-vs-gate timing split, CTX-D parameter-constraint category; G4 identifier formats are Pass-A parameters, alphabet included; G5 fixture module filenames must be importable identifiers; G6 the contradicted route's worked storage-scoping example. Reference-style §14 lines.

Validation

• 3/3 clean-room Opus regens: all six new V-properties present in every regen (B full-scored 30/30 PRESENT, 0 PARTIAL with quoted evidence + orchestrator spot-audits; A and C grep-verified). G4 closed the id-alphabet cross-model gap 3/3 (was 0/3); G6 held the scope row 3/3; regen-B is the first exact-canon 13/13 Ledger in any pass. Carried residual expressed as documented (A +1 row, C −1) — logged, not fix-rounded.
• Stage-1 gate probe (Opus): cold-start build agent still stops at the gate with the new blockquote; relayed the completion criterion correctly.
• Matrix: docs/research/guide-revisions-batch-matrix.md (decision log incl. F8 parked and Recording: Claude Code transcript compaction can erase the /prepare-build announcement bookend #19 excluded by owner).

Live-AC run (run-09, owner-supplied key) — the headline

First keyed run: AC4, AC9, AC19, AC22, AC24 passed live. AC21 — the course's cross-session continuity demo — failed deterministically: the assembled context never tells the model its thread id, so it called summarize_and_store with a guessed "current_thread" and the tool honestly consolidated nothing. The oracle worked exactly as designed: the spec gained the missing constraint (R11: harness-known identities are injected, never model-supplied), the run-09 build was conformed (~20 lines), offline suite re-green 21/21, and AC21 passed on rerun — live suite 6/6. The course-agnostic guide rule ("harness-known identities are injected, never model-guessed") is recorded in the matrix as the next pass's first candidate, per fix-and-test-travel-together.

Issue routing

• Tester-feedback triage: converged statuses, owner decisions, and the batch slate (revisions + next pass + measurement) #24: batch items A1–A4 delivered here; C-watchlist unchanged; live-AC item closed (6/6).
• Guide residuals from guide-pins-v2: route closure, constants provenance, fixture churn, gate-semantics reform #18: id-format (G4) and fixture-filename (G5) findings implemented; summary-scoping canon admission implemented (D13 + G6 + P1→13); F8 remains parked by owner decision.

🤖 Generated with Claude Code