@junghanacs/entwurf 0.20.0 → 0.21.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (112) hide show
  1. package/AGENTS.md +85 -190
  2. package/BASELINE.md +6 -5
  3. package/CHANGELOG.md +220 -14
  4. package/CONTRIBUTING.md +1 -1
  5. package/DELIVERY.md +202 -60
  6. package/README.md +54 -26
  7. package/VERIFY.md +37 -7
  8. package/docs/acp-backend-rail.md +31 -15
  9. package/docs/external-mcp-host.md +58 -35
  10. package/docs/fresh-cut-policy.md +3 -2
  11. package/docs/setup-clean-host.md +110 -17
  12. package/mcp/entwurf-bridge/dist/mcp/entwurf-bridge/src/index.js +101 -109
  13. package/mcp/entwurf-bridge/dist/pi-extensions/lib/acp/backend-adapter.js +2 -2
  14. package/mcp/entwurf-bridge/dist/pi-extensions/lib/acp/tool-surface.js +6 -0
  15. package/mcp/entwurf-bridge/dist/pi-extensions/lib/codex-fresh-preflight.js +326 -0
  16. package/mcp/entwurf-bridge/dist/pi-extensions/lib/entwurf-fact-provider.js +22 -2
  17. package/mcp/entwurf-bridge/dist/pi-extensions/lib/entwurf-peers-render.js +3 -1
  18. package/mcp/entwurf-bridge/dist/pi-extensions/lib/entwurf-v2-contract.js +6 -7
  19. package/mcp/entwurf-bridge/dist/pi-extensions/lib/entwurf-v2-native-push.js +30 -17
  20. package/mcp/entwurf-bridge/dist/pi-extensions/lib/entwurf-v2-production.js +7 -1
  21. package/mcp/entwurf-bridge/dist/pi-extensions/lib/entwurf-v2-surface.js +7 -4
  22. package/mcp/entwurf-bridge/dist/pi-extensions/lib/meta-mailbox-body.js +20 -11
  23. package/mcp/entwurf-bridge/dist/pi-extensions/lib/meta-sender-identity.js +227 -1
  24. package/mcp/entwurf-bridge/dist/pi-extensions/lib/mux-fresh-call.js +50 -15
  25. package/mcp/entwurf-bridge/dist/pi-extensions/lib/native-push/adapter.js +10 -7
  26. package/mcp/entwurf-bridge/dist/pi-extensions/lib/native-push/codex-ws-client.js +403 -0
  27. package/mcp/entwurf-bridge/dist/pi-extensions/lib/native-push/register.js +4 -4
  28. package/mcp/entwurf-bridge/dist/pi-extensions/meta-bridge-hook-codex.js +325 -0
  29. package/mcp/entwurf-bridge/dist/scripts/meta-bridge-fresh-cut.js +6 -1
  30. package/mcp/entwurf-bridge/src/index.ts +115 -111
  31. package/mcp/entwurf-bridge/tsconfig.build.json +1 -0
  32. package/package.json +14 -5
  33. package/pi-extensions/entwurf-control.ts +71 -19
  34. package/pi-extensions/lib/acp/acp-client.ts +3 -3
  35. package/pi-extensions/lib/acp/backend-adapter.ts +3 -3
  36. package/pi-extensions/lib/acp/backend.ts +3 -3
  37. package/pi-extensions/lib/acp/event-mapper.ts +4 -4
  38. package/pi-extensions/lib/acp/tool-surface.ts +6 -0
  39. package/pi-extensions/lib/codex-fresh-preflight.ts +363 -0
  40. package/pi-extensions/lib/compaction-send-guard.ts +80 -0
  41. package/pi-extensions/lib/entwurf-fact-provider.ts +29 -3
  42. package/pi-extensions/lib/entwurf-peers-render.ts +4 -1
  43. package/pi-extensions/lib/entwurf-v2-contract.ts +6 -7
  44. package/pi-extensions/lib/entwurf-v2-native-push.ts +35 -18
  45. package/pi-extensions/lib/entwurf-v2-production.ts +10 -3
  46. package/pi-extensions/lib/entwurf-v2-surface.ts +7 -4
  47. package/pi-extensions/lib/meta-mailbox-body.ts +22 -13
  48. package/pi-extensions/lib/meta-sender-identity.ts +305 -0
  49. package/pi-extensions/lib/mux-fresh-call.ts +64 -19
  50. package/pi-extensions/lib/native-push/adapter.ts +21 -24
  51. package/pi-extensions/lib/native-push/codex-ws-client.ts +506 -0
  52. package/pi-extensions/lib/native-push/register.ts +7 -9
  53. package/pi-extensions/meta-bridge-hook-codex.ts +371 -0
  54. package/run.sh +251 -35
  55. package/scripts/check-acp-usage-accounting.ts +9 -9
  56. package/scripts/check-agy-sender-identity.ts +1 -1
  57. package/scripts/check-codex-birth-hook.ts +264 -0
  58. package/scripts/check-codex-bridge-identity.ts +179 -0
  59. package/scripts/check-codex-native-push.ts +386 -0
  60. package/scripts/check-codex-sender-identity.ts +495 -0
  61. package/scripts/check-compaction-send-guard.ts +130 -0
  62. package/scripts/check-copilot-receive-arm.ts +4 -1
  63. package/scripts/check-entwurf-fact-provider.ts +38 -0
  64. package/scripts/check-entwurf-peers-surface.ts +13 -1
  65. package/scripts/check-entwurf-self-address.ts +15 -16
  66. package/scripts/check-entwurf-v2-contract.ts +4 -3
  67. package/scripts/check-entwurf-v2-decider.ts +7 -5
  68. package/scripts/check-entwurf-v2-native-push.ts +35 -7
  69. package/scripts/check-entwurf-v2-production.ts +203 -11
  70. package/scripts/check-entwurf-v2-runner.ts +1 -1
  71. package/scripts/check-entwurf-v2-surface.ts +1 -1
  72. package/scripts/check-gate-qualification.ts +7 -4
  73. package/scripts/check-harness-admission-parity.ts +0 -1
  74. package/scripts/check-install-surface.ts +23 -7
  75. package/scripts/check-mux-launch-tmux.ts +47 -2
  76. package/scripts/check-native-push-adapter.ts +20 -16
  77. package/scripts/check-native-push-register.ts +5 -1
  78. package/scripts/check-release-gate-outcomes.ts +47 -1
  79. package/scripts/check-setup-qualification.sh +3 -1
  80. package/scripts/codex-birth-doctor.sh +276 -0
  81. package/scripts/codex-birth-install.sh +414 -0
  82. package/scripts/codex-birth-uninstall.sh +170 -0
  83. package/scripts/codex-mcp-config.py +435 -0
  84. package/scripts/codex-statusline-config.py +434 -0
  85. package/scripts/codex_toml_io.py +532 -0
  86. package/scripts/lib/codex-fresh-live-protocol.ts +113 -0
  87. package/scripts/lib/codex-fresh-source-receipts.ts +399 -0
  88. package/scripts/lib/launch-receipt-windows.ts +46 -0
  89. package/scripts/lib/tmux-coordinate-row.ts +58 -0
  90. package/scripts/meta-bridge-fresh-cut.ts +6 -1
  91. package/scripts/mutants/codex-native.json +838 -0
  92. package/scripts/mutants/compaction-send-guard.json +103 -0
  93. package/scripts/mutants/entwurf-peers.json +19 -0
  94. package/scripts/mutants/mux-fresh-call.json +19 -8
  95. package/scripts/mutants/omp-fresh.json +6 -4
  96. package/scripts/mutants/pi-package-ownership.json +26 -0
  97. package/scripts/mutants/release-gate.json +13 -0
  98. package/scripts/mutants/v2-surface.json +53 -1
  99. package/scripts/pi_settings_io.py +3 -1
  100. package/scripts/raw-async-delivery/README.md +2 -1
  101. package/scripts/raw-codex-measure/README.md +114 -46
  102. package/scripts/register-pi-package.py +38 -30
  103. package/scripts/register-pi-provider.py +3 -2
  104. package/scripts/smoke-acp-raw-turn-live.ts +1 -1
  105. package/scripts/smoke-agy-native-push-live.ts +3 -1
  106. package/scripts/smoke-codex-birth.sh +347 -0
  107. package/scripts/smoke-codex-config-state.sh +511 -0
  108. package/scripts/smoke-codex-fresh-live.ts +1186 -0
  109. package/scripts/smoke-codex-native-push-live.ts +75 -0
  110. package/scripts/smoke-setup-verdict.sh +123 -10
  111. package/scripts/smoke-user-scope-citizen.sh +199 -71
  112. package/scripts/tsconfig.json +1 -0
@@ -64,16 +64,17 @@ import * as process from "node:process";
64
64
  import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
65
65
  import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js";
66
66
  import { z } from "zod";
67
+ import { codexFreshPreflight } from "../../../pi-extensions/lib/codex-fresh-preflight.js";
67
68
  import { controlSocketPathIn, defaultControlSocketDir } from "../../../pi-extensions/lib/control-socket-path.js";
68
69
  import { resolveMailboxReceiverFacts } from "../../../pi-extensions/lib/entwurf-deliverability.js";
69
70
  import { listEntwurfFacts } from "../../../pi-extensions/lib/entwurf-fact-provider.js";
70
- import { renderEntwurfPeers } from "../../../pi-extensions/lib/entwurf-peers-render.js";
71
+ import { ENTWURF_PEERS_RENDER_LIMIT, renderEntwurfPeers } from "../../../pi-extensions/lib/entwurf-peers-render.js";
71
72
  import { computeSelfAddressability } from "../../../pi-extensions/lib/entwurf-self-address.js";
72
73
  import { nativePushSupported } from "../../../pi-extensions/lib/entwurf-v2-contract.js";
73
74
  import { resolveMailboxWakeModeCapability } from "../../../pi-extensions/lib/entwurf-v2-decider.js";
74
75
  import { runAndRenderEntwurfV2FromSurface } from "../../../pi-extensions/lib/entwurf-v2-surface.js";
75
76
  import { makeVisibleResumeDeps, renderVisibleResume, visibleResume, } from "../../../pi-extensions/lib/entwurf-v2-visible-resume.js";
76
- import { probeNativeSenderAlive, resolveTrustedMetaSenderIdentity, } from "../../../pi-extensions/lib/meta-sender-identity.js";
77
+ import { probeNativeSenderAlive, reconcileSenderIdentityClaims, resolveCodexRequestSenderIdentity, resolveTrustedMetaSenderIdentity, } from "../../../pi-extensions/lib/meta-sender-identity.js";
77
78
  import { applyOmpBridgeChildRootPolicy, defaultMetaMailboxDir, defaultMetaSessionsDir, makeStoreRecordReader, readActiveStoreEntries, readMetaInbox, readMetaReceiverMarker, readMetaSenderMarker, requireBackend, } from "../../../pi-extensions/lib/meta-session.js";
78
79
  import { freshCall, renderFreshCall } from "../../../pi-extensions/lib/mux-fresh-call.js";
79
80
  import { RESUME_CALL_REJECT_HINT, resumeCall } from "../../../pi-extensions/lib/mux-resume-call.js";
@@ -128,11 +129,11 @@ function textErr(msg) {
128
129
  const server = new McpServer({ name: "entwurf-bridge", version: "0.1.0" });
129
130
  // Transparency envelope.
130
131
  //
131
- // Record-backed pi and trusted native-marker senders carry a structured envelope
132
- // so the receiver renders WHO (agentId, sessionId), FROM WHERE (cwd), and WHEN
133
- // (timestamp UTC, displayed in KST). `entwurf_self` is identity-required: pi's env
134
- // is a child carrier for the garden id established by record birth; a native sender
135
- // marker is accepted only through its backing record. Plain anonymous external hosts
132
+ // Record-backed pi, pid-marker native senders, and request-scoped Codex senders carry a
133
+ // structured envelope so the receiver renders WHO (agentId, sessionId), FROM WHERE (cwd), and
134
+ // WHEN (timestamp UTC, displayed in KST). `entwurf_self` is identity-required: pi's env is a
135
+ // child carrier for the garden id established by record birth; a native sender marker or Codex
136
+ // request selector is accepted only through its backing record. Plain anonymous external hosts
136
137
  // fail. #50 C4: v2 delivery is identity-REQUIRED by default — "if we don't know
137
138
  // who sent it, we don't send it" holds on every install surface, not only where
138
139
  // an installer remembered to set a flag. The ONE documented escape hatch is
@@ -144,27 +145,25 @@ const server = new McpServer({ name: "entwurf-bridge", version: "0.1.0" });
144
145
  class EntwurfEnvelopeWiringError extends Error {
145
146
  constructor(missing) {
146
147
  super(`entwurf sender envelope wiring incomplete — missing env: ${missing.join(", ")}, ` +
147
- "and no trusted meta-sender marker was found. This MCP child should either inherit " +
148
- "PI_SESSION_ID + PI_AGENT_ID (from an entwurf-control pi session), " +
149
- "or run inside a garden-native meta-session whose own native hook wrote a live " +
150
- "sender marker (Claude Code writes it from SessionStart, Antigravity from PreInvocation). " +
151
- "entwurf_self is only callable when one of those authoritative identity paths is present.");
148
+ "and no record-backed native sender claim was found. This MCP child should inherit " +
149
+ "PI_SESSION_ID + PI_AGENT_ID from an entwurf-control pi session, carry a live sender marker " +
150
+ "written by its native hook, or be the managed Codex MCP child whose current tool request " +
151
+ "names a thread backed by a Codex citizen record. entwurf_self is callable only while one of " +
152
+ "those authoritative identity paths is present.");
152
153
  }
153
154
  }
154
- // #50 C4: anonymous sends are refused BY DEFAULT — a send with no pi-session
155
- // identity AND no trusted meta-sender marker does not go out as anonymous
156
- // external-mcp unless the operator explicitly wired the escape hatch.
155
+ // #50 C4: anonymous sends are refused BY DEFAULT — a send with no pi-session identity,
156
+ // trusted pid marker, or request-scoped Codex record does not go out as anonymous external-mcp
157
+ // unless the operator explicitly wired the escape hatch.
157
158
  // "If we don't know who sent it, we don't send it."
158
159
  class EntwurfSenderIdentityError extends Error {
159
160
  constructor() {
160
161
  super("entwurf-bridge refused: no authoritative sender identity. Anonymous external sends are " +
161
- "refused by default, and no pi-session env (PI_SESSION_ID + PI_AGENT_ID) or live meta-sender " +
162
- "marker was found for this process. Each native backend writes that marker from its OWN hook, keyed " +
163
- "by the native host's parent pid + start-time (Claude Code from SessionStart, Antigravity from " +
164
- "PreInvocation) open this session through the installed meta-bridge so your garden id is " +
165
- "registered, then retry. A deliberately-anonymous external MCP host may set " +
166
- "ENTWURF_BRIDGE_ALLOW_ANONYMOUS_SENDER=1 (explicit operator wiring; the send is then marked " +
167
- "external/non-replyable).");
162
+ "refused by default, and this request has no complete pi-session env, live record-backed " +
163
+ "sender marker, or managed Codex thread selector backed by a Codex citizen record. Open the " +
164
+ "session through its installed birth/MCP integration, then retry. A deliberately-anonymous " +
165
+ "external MCP host may set ENTWURF_BRIDGE_ALLOW_ANONYMOUS_SENDER=1 (explicit operator wiring; " +
166
+ "the send is then marked external/non-replyable).");
168
167
  }
169
168
  }
170
169
  function buildStrictPiSenderEnvelope() {
@@ -203,41 +202,7 @@ function buildStrictPiSenderEnvelope() {
203
202
  replyable: self.replyable,
204
203
  };
205
204
  }
206
- async function buildTrustedMetaSenderEnvelope(cwd = process.cwd()) {
207
- // No pi-session identity. Try the meta-sender marker: a native backend that minted a
208
- // garden-id from its own hook (Claude SessionStart / agy PreInvocation). The marker is
209
- // keyed by the shared parent pid — this MCP child's process.ppid IS the native host the
210
- // hook ran under (NOT cwd inference). A trusted marker promotes this process from
211
- // anonymous external-mcp to a meta-session sender addressed by its garden-id.
212
- const trusted = resolveTrustedMetaSenderIdentity({
213
- markerPath: process.env.ENTWURF_META_SENDER_MARKER?.trim() || undefined,
214
- });
215
- if (!trusted)
216
- return null;
217
- const { marker, identity } = trusted;
218
- // Identity is trusted — but `replyable` is a SEPARATE fact, and WHICH fact depends on the
219
- // rail a reply would ride (보정①). THREE values, not a native-push-or-self-fetch binary:
220
- // native-push ← nativePushSupported(backend). NOT wakeMode: `direct-inject` also covers
221
- // codex/pi, which have no native-push adapter.
222
- // self-fetch ← resolveMailboxWakeModeCapability (the decider's mailbox seam — one owner
223
- // with dispatch). A new hardcoded backend list would drift the moment the registry
224
- // admits another self-fetch citizen.
225
- // none ← neither. omp today: no mailbox drain, no native-push adapter. Rendering
226
- // this as self-fetch printed a mailboxPath nothing drains.
227
- // self-fetch (claude-code/copilot): can this citizen's own inbox wake? → the SHARED
228
- // receiver composition `resolveMailboxReceiverFacts`, the same one the v2 dispatch seam
229
- // uses, so a citizen's self-reported replyability can never disagree with what dispatch
230
- // decides about it. It reads the presence marker (a dead/reused owner already folds to
231
- // null) AND, where the watch owner is the sender-marker process, the #101 join that says
232
- // the owner is still serving THIS garden rather than one it switched away from.
233
- // native-push (antigravity): there is no inbox and no watch. A reply is injected into a
234
- // live app-server conversation, so only an adapter probe can answer. Composing the
235
- // receiver atom here would demand `watchArmed` from a backend that never arms one, and
236
- // every agy citizen would report replyable:false forever.
237
- // Either way an inactive/unreachable citizen STILL returns its identity (who-sent must
238
- // survive; degrading to null would erase the sender) — only with replyable:false.
239
- // The rail, named ONCE and reused for both the predicate and the caller's rendering —
240
- // so entwurf_self can never re-derive it differently from what decided `replyable`.
205
+ async function buildMetaSenderEnvelope(identity, cwd, trustedMarker) {
241
206
  const metaDeliveryDomain = nativePushSupported(identity.backend)
242
207
  ? "native-push"
243
208
  : resolveMailboxWakeModeCapability(identity)
@@ -252,6 +217,9 @@ async function buildTrustedMetaSenderEnvelope(cwd = process.cwd()) {
252
217
  }
253
218
  : metaDeliveryDomain === "self-fetch"
254
219
  ? (() => {
220
+ if (!trustedMarker) {
221
+ throw new Error(`entwurf-bridge: ${identity.backend} resolved as self-fetch without the sender marker its receiver join requires`);
222
+ }
255
223
  const receiver = resolveMailboxReceiverFacts(identity, {
256
224
  readReceiverMarker: (gardenId) => readMetaReceiverMarker({ gardenId }),
257
225
  readSenderMarker: (backend, ownerPid) => readMetaSenderMarker({ backend: requireBackend(backend), ownerPid }),
@@ -274,7 +242,7 @@ async function buildTrustedMetaSenderEnvelope(cwd = process.cwd()) {
274
242
  envelope: {
275
243
  sessionId: identity.gardenId,
276
244
  agentId: `meta-session/${identity.backend}`,
277
- cwd: marker.cwd || cwd,
245
+ cwd,
278
246
  timestamp: new Date().toISOString(),
279
247
  origin: "meta-session",
280
248
  replyable: self.replyable,
@@ -282,17 +250,43 @@ async function buildTrustedMetaSenderEnvelope(cwd = process.cwd()) {
282
250
  metaDeliveryDomain,
283
251
  };
284
252
  }
285
- // async only for the native-push branch's adapter probe: a pi sender and a claude-code
286
- // sender still resolve from files alone, so their cost is unchanged.
287
- async function buildAuthoritativeSelfEnvelope() {
253
+ async function resolveAuthoritativeSender(context, cwd = process.cwd()) {
254
+ const sessionId = process.env.PI_SESSION_ID?.trim();
255
+ const agentId = process.env.PI_AGENT_ID?.trim();
256
+ const pi = sessionId && agentId && cwd ? buildStrictPiSenderEnvelope() : null;
257
+ const marker = resolveTrustedMetaSenderIdentity({
258
+ markerPath: process.env.ENTWURF_META_SENDER_MARKER?.trim() || undefined,
259
+ });
260
+ const codex = resolveCodexRequestSenderIdentity({
261
+ provenance: process.env.ENTWURF_BRIDGE_NATIVE_HOST,
262
+ clientInfo: server.server.getClientVersion(),
263
+ requestMeta: context.requestMeta,
264
+ });
265
+ const selected = reconcileSenderIdentityClaims([
266
+ ...(pi ? [{ rail: "pi-session", id: pi.sessionId }] : []),
267
+ ...(marker ? [{ rail: "meta-sender-marker", id: marker.identity.gardenId }] : []),
268
+ ...(codex ? [{ rail: "codex-request", id: codex.identity.gardenId }] : []),
269
+ ]);
270
+ if (!selected)
271
+ return null;
272
+ if (codex && codex.identity.gardenId === selected.id) {
273
+ return buildMetaSenderEnvelope(codex.identity, codex.identity.cwd);
274
+ }
275
+ if (marker && marker.identity.gardenId === selected.id) {
276
+ return buildMetaSenderEnvelope(marker.identity, marker.marker.cwd || cwd, marker);
277
+ }
278
+ if (pi && pi.sessionId === selected.id)
279
+ return { envelope: pi };
280
+ throw new Error(`entwurf-bridge: reconciled sender ${selected.id} has no matching identity source`);
281
+ }
282
+ // Async only when the selected sender rides native-push: replyability is the adapter's live fact.
283
+ async function buildAuthoritativeSelfEnvelope(context = {}) {
284
+ const resolved = await resolveAuthoritativeSender(context);
285
+ if (resolved)
286
+ return resolved;
288
287
  const sessionId = process.env.PI_SESSION_ID?.trim();
289
288
  const agentId = process.env.PI_AGENT_ID?.trim();
290
289
  const cwd = process.cwd();
291
- if (sessionId && agentId && cwd)
292
- return { envelope: buildStrictPiSenderEnvelope() };
293
- const meta = await buildTrustedMetaSenderEnvelope(cwd);
294
- if (meta)
295
- return meta;
296
290
  const missing = [];
297
291
  if (!sessionId)
298
292
  missing.push("PI_SESSION_ID");
@@ -302,18 +296,11 @@ async function buildAuthoritativeSelfEnvelope() {
302
296
  missing.push("cwd");
303
297
  throw new EntwurfEnvelopeWiringError(missing);
304
298
  }
305
- async function buildSendSenderEnvelope() {
306
- const sessionId = process.env.PI_SESSION_ID?.trim();
307
- const agentId = process.env.PI_AGENT_ID?.trim();
299
+ async function buildSendSenderEnvelope(context = {}) {
300
+ const resolved = await resolveAuthoritativeSender(context);
301
+ if (resolved)
302
+ return resolved.envelope;
308
303
  const cwd = process.cwd();
309
- if (sessionId && agentId && cwd)
310
- return buildStrictPiSenderEnvelope();
311
- const meta = await buildTrustedMetaSenderEnvelope(cwd);
312
- // Delivery takes the WIRE envelope only — the rail axis is rendering-local.
313
- if (meta)
314
- return meta.envelope;
315
- // No marker. #50 C4: anonymous external is refused UNLESS the operator wired the
316
- // explicit escape hatch — identity-required is the default, not an install flag.
317
304
  if (process.env.ENTWURF_BRIDGE_ALLOW_ANONYMOUS_SENDER !== "1") {
318
305
  throw new EntwurfSenderIdentityError();
319
306
  }
@@ -365,12 +352,11 @@ server.tool("entwurf_v2", "CANONICAL DELIVERY SURFACE for garden ids: message, r
365
352
  "outcome (delivered / rejected / delivered-but-lock-dirty). EXISTING targets only; discover with " +
366
353
  "entwurf_peers. A peer entwurf_peers shows as liveness=alive → fire-and-forget. A " +
367
354
  "citizen with NO socket liveness (liveness=unsupported) is ALSO fire-and-forget — unsupported means only " +
368
- '"no control-socket probe" and the decider picks its own rail: a self-fetch backend (e.g. Claude Code) ' +
369
- "gets the mailbox, a native-push backend (e.g. Antigravity) gets direct injection and has NO mailbox at " +
370
- "all. THERE IS A THIRD RESULT: the mailbox delivers only to a DELIVERABLE citizen, so a terminated " +
371
- "session, or a backend with no adapter here (e.g. codex), is mailbox-undeliverable, not queued for an " +
372
- "inbox nobody drains. The native-push probe is 3-valued: alive → injected; dead → " +
373
- "native-push-target-dead; indeterminate → native-push-probe-indeterminate (unestablished ≠ gone). " +
355
+ '"no control-socket probe." The decider resolves the actual rail at dispatch time: a self-fetch ' +
356
+ "mailbox only while deliverable, native-push direct injection only while its adapter probe is alive, " +
357
+ "or a THIRD RESULT: rejection when neither holds. An inactive self-fetch citizen is mailbox-undeliverable; " +
358
+ "native-push has NO mailbox: dead native-push-target-dead; indeterminate " +
359
+ "native-push-probe-indeterminate. " +
374
360
  "DORMANT IS UNREACHABLE: a socket-domain citizen that is not running gets dormant-fire-forget-unsupported " +
375
361
  "— same receiver rule as the mailbox, no active drainer means no delivery. " +
376
362
  "The intent that used to answer there, owned-outcome, resumed it by launching a hidden background child " +
@@ -402,11 +388,11 @@ server.tool("entwurf_v2", "CANONICAL DELIVERY SURFACE for garden ids: message, r
402
388
  "follow_up (queue after it). The mailbox and native-push plans carry no mode, so it has no " +
403
389
  "effect on those rails."),
404
390
  wants_reply: z.boolean().optional().describe("Human-conversation reply hint (default false)"),
405
- }, async ({ target, intent, message, mode, wants_reply }) => {
391
+ }, async ({ target, intent, message, mode, wants_reply }, extra) => {
406
392
  try {
407
393
  // Resolved ONCE so the dispatch-moment timestamp is fixed and the control RPC sender
408
394
  // + the mailbox body sender share one envelope. No replyability gate (see above).
409
- const sender = await buildSendSenderEnvelope();
395
+ const sender = await buildSendSenderEnvelope({ requestMeta: extra._meta });
410
396
  const rendered = await runAndRenderEntwurfV2FromSurface({ target, intent, message, mode, wants_reply },
411
397
  // No trust-preflight inputs are passed, and none exist to pass: the preflight on this
412
398
  // path guarded the resume verdict and left with `owned-outcome`. `senderProvider` is
@@ -424,15 +410,14 @@ server.tool("entwurf_self", "Return this caller's authoritative identity envelop
424
410
  "degrading it to nothing would erase who-sent. Use to confirm WHO you " +
425
411
  "are (agentId, sessionId), FROM WHERE (cwd), and WHEN this snapshot was taken. " +
426
412
  "Works for pi sessions (PI_SESSION_ID / PI_AGENT_ID) and for garden-native meta-sessions, whose " +
427
- "garden id comes from a trusted sender marker their OWN native hook wrote (Claude Code from " +
428
- "SessionStart, Antigravity from PreInvocation). For a meta-session it also reports WHICH rail a " +
429
- "reply rides, because that differs by backend: a self-fetch citizen (Claude Code) has a drainable " +
430
- "mailbox and its path is shown, while a native-push citizen (Antigravity) has NO mailbox at all — " +
431
- "a reply is injected straight into its live conversation. Do not expect a mailbox just because " +
432
- "origin is meta-session. Throws for plain anonymous external MCP hosts because they have no " +
433
- "authoritative reply address.", {}, async () => {
413
+ "garden id comes from the matching record plus either a trusted native process marker or Codex's " +
414
+ "request-scoped thread selector. For a meta-session it also reports WHICH rail a reply rides, " +
415
+ "because that differs by backend: a self-fetch citizen has a drainable mailbox, while a " +
416
+ "native-push citizen has NO mailbox at all — a reply is injected straight into its live native " +
417
+ "conversation/thread. Do not expect a mailbox just because origin is meta-session. Throws for " +
418
+ "plain anonymous external MCP hosts because they have no authoritative reply address.", {}, async (_args, request) => {
434
419
  try {
435
- const self = await buildAuthoritativeSelfEnvelope();
420
+ const self = await buildAuthoritativeSelfEnvelope({ requestMeta: request._meta });
436
421
  const sender = self.envelope;
437
422
  const kst = formatKstTimestamp(sender.timestamp);
438
423
  const extra = {};
@@ -522,6 +507,9 @@ server.tool("entwurf_peers", "List the entwurf fact surface: garden citizens (fr
522
507
  readRecord: makeStoreRecordReader(sessionsDir),
523
508
  // Socket axis: the same dir dispatch uses (grammar SSOT), scan-internal only.
524
509
  socket: { dir: ENTWURF_DIR },
510
+ // #112: observe only rows this human surface can render. Full store facts,
511
+ // diagnostics, liveness, and machine payload remain intact.
512
+ observationLimit: ENTWURF_PEERS_RENDER_LIMIT,
525
513
  });
526
514
  const { text } = renderEntwurfPeers(result);
527
515
  return textOk(text);
@@ -610,29 +598,29 @@ server.tool("entwurf_register_native", "Register an ALREADY-RUNNING native conve
610
598
  // its own garden id, a fresh cell answered with its uuidv7 `PI_SESSION_ID` value read out of the
611
599
  // environment by an MCP server it had spawned itself — confidently, and wrong. A sibling launched
612
600
  // against that answer would call home to a garden id nobody holds.
613
- server.tool("entwurf_fresh_call", "Open ONE fresh visible sibling in the operator's tmux and hand it a first task. Four fixed " +
614
- "backends only: pi, claude-code, copilot, omp. The sibling's FIRST action is a callback to you carrying a nonce, and the " +
601
+ server.tool("entwurf_fresh_call", "Open ONE fresh visible sibling in the operator's tmux and hand it a first task. Five fixed " +
602
+ "backends only: pi, claude-code, copilot, omp, codex. The sibling's FIRST action is a callback to you carrying a nonce, and the " +
615
603
  "sender envelope of that callback is its garden id — that is how you learn the address of something that " +
616
604
  "did not exist a moment ago. This returns a LAUNCH receipt (tmux window/pane plus that nonce) and nothing " +
617
605
  "else: it does NOT mean the runtime started, the first turn ran, or the task was delivered. Nothing polls " +
618
606
  "for the callback; if it never arrives the window is visible and can be read directly. For EXISTING " +
619
607
  "citizens use entwurf_v2 — this tool only creates, and entwurf_peers only reports. Model is REQUIRED and " +
620
608
  "is passed to the chosen runtime CLI (`provider/model` for pi; model id/alias for Claude Code; a model name " +
621
- "or `auto` for copilot; a fuzzy model pattern for omp). A copilot launch goes through entwurf's own managed " +
622
- "invocation and is refused BEFORE any window opens if this host lacks the Copilot birth, MCP, receiver or " +
623
- "visible-footer units; an omp launch is refused the same way if this host lacks the OMP birth, MCP, receiver or " +
624
- "visible-status units, or if omp's tools.xdev is not false (the vendor default hides MCP tool schemas from the " +
625
- "prompt, so the sibling could not call you back at all). An optional " +
609
+ "or `auto` for copilot; a fuzzy model pattern for omp or codex). Copilot, omp, and codex are refused BEFORE " +
610
+ "any window opens when their required birth, MCP, receive/delivery, or visible-identity units are absent. " +
611
+ "Codex additionally requires the operator-owned default app-server socket; entwurf never starts or supervises it. " +
612
+ "An optional " +
626
613
  "cwd starts the sibling in ONE literal absolute existing directory (cross-repo fresh) — never pick resume " +
627
614
  "for a dormant record's cwd; resume is continuity-only. Omitted/empty cwd means the caller's own directory. " +
628
- "An optional placement.tmuxSession opens it in ONE EXISTING session of this agent's own tmux server; an " +
629
- "absent SESSION is tmux-session-missing and NOTHING is created. Omit placement for the caller's own session. " +
615
+ "An optional placement.tmuxSession is an expert override naming ONE EXISTING session on this agent's own tmux server. " +
616
+ "When omitted, Codex targets the exact existing `codex` home session; other backends target the caller's session. " +
617
+ "A missing named/home session is tmux-session-missing and NOTHING is created. " +
630
618
  "There are no arbitrary command/env knobs. Do not put secrets in the task — model and task argv are visible to " +
631
619
  "same-user processes on this host. Requires that this agent itself runs " +
632
620
  "inside tmux: without a pane anchor there is no session to open a sibling beside.", {
633
621
  backend: z
634
- .enum(["pi", "claude-code", "copilot", "omp"])
635
- .describe("Which fixed runtime to open. Only these four; there is no arbitrary command."),
622
+ .enum(["pi", "claude-code", "copilot", "omp", "codex"])
623
+ .describe("Which fixed runtime to open. Only these five; there is no arbitrary command."),
636
624
  model: z
637
625
  .string()
638
626
  .min(1)
@@ -646,7 +634,7 @@ server.tool("entwurf_fresh_call", "Open ONE fresh visible sibling in the operato
646
634
  // as an unused suppression while the escape goes back to being fixable.
647
635
  // biome-ignore lint/complexity/noUselessEscapeInRegex: emitted to a Rust regex validator, see above
648
636
  .regex(/^[A-Za-z0-9][A-Za-z0-9._/:\[\]-]*$/)
649
- .describe("Required runtime model: canonical provider/model for pi, a Claude Code model id/alias, or a Copilot model name (or auto)."),
637
+ .describe("Required runtime model: canonical provider/model for pi, a Claude Code model id/alias, or a Copilot/OMP/Codex model name."),
650
638
  task: z
651
639
  .string()
652
640
  .min(1)
@@ -663,11 +651,11 @@ server.tool("entwurf_fresh_call", "Open ONE fresh visible sibling in the operato
663
651
  .describe("EXACT name of an EXISTING session on this agent's own tmux server. Nothing is created: an absent session is refused as tmux-session-missing, and a name outside [A-Za-z0-9][A-Za-z0-9_-]* as tmux-session-name-invalid."),
664
652
  })
665
653
  .optional()
666
- .describe("Optional project seat: open the sibling in ONE EXISTING tmux session of this agent's own server instead of the caller's session. Nothing is ever created an absent session is a refusal, not a new session. Independent of cwd; neither is inferred from the other. The receipt echoes the REQUESTED name and reports the resolved target session id."),
667
- }, async ({ backend, model, task, cwd, placement }) => {
654
+ .describe("Optional expert seat override: open the sibling in ONE EXISTING tmux session of this agent's own server. When omitted, Codex selects the exact existing `codex` home session; other backends use the caller's session. Nothing is ever created. Independent of cwd; neither is inferred from the other. The receipt reports the selected name, its source, and resolved target session id."),
655
+ }, async ({ backend, model, task, cwd, placement }, extra) => {
668
656
  let callerGardenId = null;
669
657
  try {
670
- const self = await buildAuthoritativeSelfEnvelope();
658
+ const self = await buildAuthoritativeSelfEnvelope({ requestMeta: extra._meta });
671
659
  callerGardenId = self.envelope.sessionId;
672
660
  }
673
661
  catch (err) {
@@ -683,7 +671,11 @@ server.tool("entwurf_fresh_call", "Open ONE fresh visible sibling in the operato
683
671
  callerGardenId = null;
684
672
  }
685
673
  try {
686
- const rendered = renderFreshCall(freshCall({ backend, model, task, cwd, placement, callerGardenId }));
674
+ const missing = backend === "codex" ? await codexFreshPreflight(process.env) : null;
675
+ const result = missing
676
+ ? { ok: false, reason: missing }
677
+ : freshCall({ backend, model, task, cwd, placement, callerGardenId });
678
+ const rendered = renderFreshCall(result);
687
679
  return rendered.isError ? textErr(rendered.text) : textOk(rendered.text);
688
680
  }
689
681
  catch (err) {
@@ -123,8 +123,8 @@ export const claudeAdapter = {
123
123
  },
124
124
  // MEASURED (2026-09-02, #93): claude-agent-acp's `usage_update` carries a
125
125
  // session-cumulative ESTIMATED cost (`cost.amount = message.total_cost_usd`)
126
- // and a context-occupancy scalar (`used`; both read at 0.75.1
127
- // `dist/acp-agent.js:3467-3482`). Both are measured, so backend.ts seals them.
126
+ // and a context-occupancy scalar (`used`; both read at 0.76.0
127
+ // `dist/acp-agent.js:3471-3486`). Both are measured, so backend.ts seals them.
128
128
  // The token partition is NOT declared here: ACP's only token carrier is a
129
129
  // per-turn round-trip aggregate, which is not what pi's four fields mean.
130
130
  sealsTurnAccounting: true,
@@ -120,6 +120,12 @@ export function buildClaudeSessionMeta(params, normalizedSystemPrompt) {
120
120
  ...(params.modelId ? { model: params.modelId } : {}),
121
121
  tools: [...params.tools],
122
122
  settingSources: [...params.settingSources],
123
+ // `settings` is an OBJECT here, and that is a contract, not a convenience.
124
+ // claude-agent-acp also accepts a STRING PATH, and at 0.76.0 the readFile +
125
+ // JSON.parse for that form moved out of `resolvedProvider` up onto the
126
+ // unconditional `session/new` path — a shape that WOULD reach us, and does not,
127
+ // only because we never hand it a path. Keep it inline: a path would put file
128
+ // IO, and its failure modes, inside every session creation.
123
129
  settings: {
124
130
  permissions: {
125
131
  allow: [...params.permissionAllow],