Codex TypeScript MCP Grill Status
Codex TypeScript MCP Grill Status
Updated 2026-09-28. Closed. R5: Q10–Q20 answered; shared understanding confirmed by the user. Glossary Q21 is parked: the three working terms were not explicitly accepted and stay working labels. Downstream: glossary, architecture and spec under specs/cli/codex-typescript-mcp. This is later Baseline requirements work, not implementation approval. Retired Q1–Q9 are history only. The isolated runtime is installed and SDK replay works; Codex has zero Typegraph registrations with no proven cause. Grill log owns decision history; research owns current-source evidence.
Current Round
- Round: R5
- Current frontier: empty
- Shared-understanding confirmation: confirmed (user, 2026-09-28: "i confirm your understanding on overrides. i agree with shared understanding.")
- No auto-pinning authority. Only supplied answers are accepted.
| Question id | Prerequisites | Decision | State |
|---|---|---|---|
| Q10 | none | TypeScript Pack carries Typegraph | answered |
| Q11 | none | Pinned machine install, exact lock, CLI-owned | answered |
| Q12 | none | Auto-discover source-bearing tsconfigs; wiki and solution-only excluded; override for ambiguity | answered |
| Q13 | none | One server per compiler project; no HI router in v1 | answered |
| Q14 | none | HI writes and restores its entries; rest of file untouched | answered |
| Q15 | none | Five reads always approved in generated entries (user override) | answered |
| Q16 | none | Activation by load probe under bundled TS7; unavailable with reason on failure | answered |
| Q17 | Q13 | New session after tsconfig/dependency/branch change; documented limitation | answered |
| Q18 | none | hi check reports installed / registered / probe separately | answered |
| Q19 | Q11 | No per-platform test matrix; availability follows upstream packages, failures reported at runtime (user override) | answered |
| Q20 | Q11, Q14 | Remove repo entries on deselection; keep runtime | answered |
| Glossary Q21 | Q10–Q20 | Compiler Project, Tool Runtime, Semantic Session stay working labels; not accepted as canonical | parked |
Imported premises
C1 Typegraph over Serena. C2 existing format/lint/typecheck authoritative. C3 local proof first, Baseline later. C4 Pack-only selection. None vetoed during R5.
Accepted target
project selects TypeScript Pack
CLI installs pinned Typegraph runtime on the machine (exact lock)
CLI discovers source-bearing tsconfigs (wiki, solution-only excluded)
load probe under bundled TS 7.0.2 -> pass: one server entry
-> fail: unavailable, reason recorded
CLI writes/restores its entries in .codex/config.toml
five reads always approved; rest of file untouched
hi check: installed | registered | probe per project
Codex session -> per-project server -> native TS7 read
tsconfig/deps/branch change -> new session (documented)
repo deselects -> its entries removed, runtime staysNot approved: HI router server, automatic recovery, hover/graph/mutation/Effect tools, global approval policy changes, per-platform test matrix, runtime pruning.
Branch Dashboard
Percentages estimate requirements closure, not implementation or proven support.
| Branch | Completion | Locked direction | Open items |
|---|---|---|---|
| Selection | 100% | TypeScript Pack (Q10) | none |
| Runtime | 100% | Pinned machine install (Q11); no per-platform tests (Q19) | none |
| Coverage / topology | 100% | Auto-discover with default exclusions (Q12); per-project servers (Q13) | none |
| Config ownership | 100% | Write and restore entries (Q14); remove on deselection (Q20) | none |
| Approval | 100% | Five reads always approved (Q15) | none; host proof is validation |
| Compatibility | 100% | Load probe gate (Q16) | none |
| Recovery / observability | 100% | Documented new-session limitation (Q17); three health facts (Q18) | none |
| Vocabulary | 90% | Existing canonical terms preserved; three working labels parked (Q21) | none active |
Technical Grounding
| Branch | Evidence | Constraint |
|---|---|---|
| Selection and coverage | registry/resolve.ts:11–42; shape.ts:42–83,105–110; model.ts:258; materialize.ts:61 | Pack selection exists; no compiler-project inventory yet; wiki workspace already excluded from shape. Q12 needs a discovery step. |
| Runtime | isolated runtime lock; features/tool-ensure/application.ts:68–72; tool-management.ts:165,393 | Global/latest installer cannot reproduce the exact graph; Q11 needs a pinned-install path. Node >=22.18 upstream. |
| Config | publisher/sources/hooks.ts:91–104; pipeline.ts:760–778,860–876 | Whole Codex file is Authored and byte-preserved; Q14/Q20 add an entry-scoped lifecycle inside it. |
| Approval / compatibility | E6; fresh SDK replay | approval-never refused reads in the CLI probe; Q15 requires per-tool always-approve in generated entries. Bundled TS 7.0.2 analyses regardless of project TS; Q16 probe unbuilt. |
| Recovery / observability | E4; hi check --json | Only ordinary source refresh proven; check reports current with zero registrations; Q18 adds three facts. |
Working Glossary
Accepted existing terms
Pack, Baseline, Registry, Installed Record, Recorded Shape, Built Artifact, Software Scope, Effective Lint Policy as defined in the Registry Baseline glossary and Managed Lint glossary.
Working labels (Glossary Q21 parked)
| Candidate term | Proposed meaning | Avoid confusing with |
|---|---|---|
| Compiler Project | Source program and options selected by one tsconfig.json | package folder, workspace, Software Scope |
| Tool Runtime | Pinned Typegraph installation and its exact dependency graph on one machine | project compiler, lint toolchain |
| Semantic Session | One live Typegraph process answering for one Compiler Project in one worktree | installation, registration, an approved call |
Axioms
Pack-only selection (C4). Semantic reads never replace lint/typecheck evidence (C2). Installed, registered, probe-passing and answered are four distinct facts. "Compatible" means the bundled compiler loads the project, not a version match. "Fresh" covers source edits only; config/dependency/branch changes need a new session.
Outside Active Scope
Other languages and harnesses; semantic mutations; graph and Effect diagnostics; LSP hover; HI router server and automatic recovery; runtime pruning; global approval policy.
Remaining Non-design Validation
Clean-machine install; per-tool always-approve behaviour on real Codex desktop policy; load probe across recipient tsconfigs; discovery exclusions; divergent worktrees; entry restore on update and removal on deselection; unrelated-config preservation; runtime retention; startup, memory and tool-count measurement for per-project topology. No per-platform matrix (Q19). No numeric performance target requested.
Grill closed 2026-09-28. Glossary Q21 parked: owner user; resume trigger is any later grill round touching this capability. Next: create-architecture, then create-spec.