VM: o executor que recusa o relógio

runPlan (packages/vm/src/run-plan.ts:53–88) segue uma ordem inegociável: ① lê o texto do módulo (readFile); ② roda o cheque de determinismo — .ts passa por checkDeterminismTs (sweep por regex, run-plan.ts:16–28), JS passa por checkDeterminism de @alembic/mission (parse AST com Acorn, packages/mission/src/determinism.ts:51–101); ③ só então registra o loader tsx (ensureTsx, :32–44) e importa; ④ exige export const run função — senão, erro "must export a run(hooks) function" (:74–78); ⑤ injeta os hooks (createHooks) e devolve o summary. E o envelope: nunca lança — todo caminho de falha vira { ok: false, error } (:84–87).

// trecho real, não editado
const checkDeterminismTs = (source: string): { ok: true } | { ok: false; reason: string } => {
  const forbidden = [
    { pattern: /\bDate\.now\s*\(/, name: 'Date.now()' },
    { pattern: /\bnew\s+Date\s*\(\s*\)/, name: 'new Date()' },
    { pattern: /\bMath\.random\s*\(/, name: 'Math.random()' },
  ];
  for (const { pattern, name } of forbidden) {
    if (pattern.test(source)) {
      return { ok: false, reason: `Non-deterministic construct detected: ${name}` };
    }
  }
  return { ok: true };
};

Pense como… o raio-X da esteira do aeroporto: a mala (seu plano) é escaneada ANTES de embarcar — não existe "abre depois que decolar". Onde quebra: o raio-X procura o proibido com margem de erro humana; aqui o sweep de .ts é assumidamente paranoico — pega o padrão até dentro de comentário, porque "a false positive is safer than allowing non-determinism into a resumable plan" (run-plan.ts:12–14).

Isto não é doc aspiracional: o teste do pacote ESCREVE um plano com Date.now() e exige a recusa, com as duas substrings no erro. A mensagem que você verá na prática é "plan module <path> is non-deterministic: Non-deterministic construct detected: Date.now()" (montada em run-plan.ts:61–65).

// trecho real, não editado (núcleo do teste)
writeFileSync(
  planPath,
  `export const run = async () => ({ now: Date.now() });`,
  'utf8',
);
// …
expect(result.ok).toBe(false);
if (!result.ok) {
  expect(result.error).toContain('non-deterministic');
  expect(result.error).toContain('Date.now');
}

Chame de sandbox, mas com precisão: não é uma jaula de SO (isso é a lição 12, com Docker/Podman). O plan module roda in-process, importado como ESM (pathToFileURL → import, run-plan.ts:71–72). O confinamento da VM é de OUTRO tipo, em três camadas: ① porta de entrada — o cheque de determinismo recusa o fonte antes do import; ② superfície de capacidades — o plano recebe UM objeto h (AlembicHooks, packages/vm/src/types.ts:58–89) com exatamente 8 verbos: phase, agent, parallel, pipeline, mission, swarm, council, log — modelo, journal e council só existem ATRAVÉS deles, com adapters e store injetados por RunPlanOptions (types.ts:94–119); ③ envelope de erro — runPlan captura tudo e devolve { ok:false }, nunca derruba o chamador (run-plan.ts:84–87).

A recusa do relógio não é purismo — é o alicerce de duas features. Cache: h.agent/h.swarm calculam computeCacheKey = sha256(JSON estável de {prompt, opts}) (packages/vm/src/cache.ts:20–21) e persistem em <runDir>/workflows/<wf-id>/cache.json (cache.ts:23–24) — só faz sentido porque um plano determinístico gera as MESMAS chamadas a cada execução; --no-cache pula leitura e escrita (RunPlanOptions.noCache, types.ts:117–118). Identidade e replay: o próprio runId é run-<hash> do spec canônico (runIdFor, packages/swarm/src/ids.ts:19–30) — re-submeter o mesmo escopo cai no MESMO run-dir, e alembic replay reaplica events.jsonl + cache em vez de recomputar o mundo.