@adia-ai/agent 0.8.28 → 0.8.30

package/tools.js.map

@@ -1 +1 @@
-{"version":3,"file":"tools.js","sourceRoot":"","sources":["src/tools.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAiBH,MAAM,UAAU,UAAU,CAAC,GAAY;IACrC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,IAAI,mCAAmC,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,eAAe,GAAG,CAAC,IAAI,4BAA4B,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,eAAe,GAAG,CAAC,IAAI,sCAAsC,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAgB;IACtC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxD,WAAW,EAAE,CAAC,CAAC,WAAW;KAC3B,CAAC,CAAC,CAAC;AACN,CAAC;AAED;gDACgD;AAChD,MAAM,UAAU,UAAU,CAAC,MAA+B,EAAE,KAA8B;IACxF,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,MAAM,CAAC,UAAU,CAAc,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3F,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,GAAG,IAAI,KAAK,CAAC;YAAE,OAAO,8BAA8B,GAAG,GAAG,CAAC;IACnE,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,CAA4C,CAAC;IAC3F,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC1D,OAAO,aAAa,GAAG,cAAc,IAAI,SAAS,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC;QACpG,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;YAC9D,OAAO,aAAa,GAAG,kBAAkB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACjE,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAc;IAC/C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ,CAAC,CAAC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;QAChD,KAAK,QAAQ,CAAC,CAAC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;QAChD,KAAK,SAAS,CAAC,CAAC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC5E,KAAK,SAAS,CAAC,CAAC,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;QAClD,KAAK,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC1C,KAAK,QAAQ,CAAC,CAAC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3F,KAAK,MAAM,CAAC,CAAC,OAAO,KAAK,KAAK,IAAI,CAAC;QACnC,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;IACvB,CAAC;AACH,CAAC;AAOD;;oEAEoE;AACpE,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,IAAa,EACb,KAA8B,EAC9B,GAAgB;IAEhB,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACpD,IAAI,OAAO;QAAE,OAAO,EAAE,MAAM,EAAE,kBAAkB,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAE3E,IAAI,CAAC;QACH,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC9C,OAAO,EAAE,MAAM,EAAE,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;QAC1F,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAS,CAAC;QAChC,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACzD,uEAAuE;QACvE,MAAM,QAAQ,GAAG,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,MAAM,CAAC;QACvD,MAAM,GAAG,GAAG,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM;YAC/C,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,eAAe,CAAC,KAA+B,CAAC,EAAE;YACnH,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QACjB,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE;YAC3B,MAAM;YACN,OAAO,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE;YAC7F,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,CAAC,GAAG,CAAC,EAAE;YAAE,OAAO,EAAE,MAAM,EAAE,kBAAkB,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACrG,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC1B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,aAAc,GAAa,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC5F,CAAC;AACH,CAAC"}
+{"version":3,"file":"tools.js","sourceRoot":"","sources":["src/tools.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAuBH,MAAM,UAAU,UAAU,CAAC,GAAY;IACrC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,IAAI,mCAAmC,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,eAAe,GAAG,CAAC,IAAI,4BAA4B,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,eAAe,GAAG,CAAC,IAAI,sCAAsC,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAgB;IACtC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxD,WAAW,EAAE,CAAC,CAAC,WAAW;KAC3B,CAAC,CAAC,CAAC;AACN,CAAC;AAED;gDACgD;AAChD,MAAM,UAAU,UAAU,CAAC,MAA+B,EAAE,KAA8B;IACxF,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,MAAM,CAAC,UAAU,CAAc,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3F,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,GAAG,IAAI,KAAK,CAAC;YAAE,OAAO,8BAA8B,GAAG,GAAG,CAAC;IACnE,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,CAA4C,CAAC;IAC3F,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC1D,OAAO,aAAa,GAAG,cAAc,IAAI,SAAS,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC;QACpG,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;YAC9D,OAAO,aAAa,GAAG,kBAAkB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACjE,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAc;IAC/C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ,CAAC,CAAC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;QAChD,KAAK,QAAQ,CAAC,CAAC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;QAChD,KAAK,SAAS,CAAC,CAAC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC5E,KAAK,SAAS,CAAC,CAAC,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;QAClD,KAAK,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC1C,KAAK,QAAQ,CAAC,CAAC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3F,KAAK,MAAM,CAAC,CAAC,OAAO,KAAK,KAAK,IAAI,CAAC;QACnC,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;IACvB,CAAC;AACH,CAAC;AAOD;;oEAEoE;AACpE,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,IAAa,EACb,KAA8B,EAC9B,GAAgB;IAEhB,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACpD,IAAI,OAAO;QAAE,OAAO,EAAE,MAAM,EAAE,kBAAkB,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAE3E,IAAI,CAAC;QACH,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC9C,OAAO,EAAE,MAAM,EAAE,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;QAC1F,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAS,CAAC;QAChC,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACzD,uEAAuE;QACvE,MAAM,QAAQ,GAAG,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,MAAM,CAAC;QACvD,MAAM,GAAG,GAAG,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM;YAC/C,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,eAAe,CAAC,KAA+B,CAAC,EAAE;YACnH,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QACjB,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE;YAC3B,MAAM;YACN,OAAO,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE;YAC7F,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,CAAC,GAAG,CAAC,EAAE;YAAE,OAAO,EAAE,MAAM,EAAE,kBAAkB,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACrG,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC1B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,aAAc,GAAa,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC5F,CAAC;AACH,CAAC"}

package/trace.d.ts

@@ -0,0 +1,50 @@
+/**
+ * Tracing — the harness saying what it DID, not what it said.
+ *
+ * A transcript proves what was said; only a structured signal proves what
+ * happened. Every turn emits records at the points the harness genuinely
+ * reaches — prompt assembly, each provider call and its response, each tool
+ * execution, each workflow step verdict, each guardrail intervention, and
+ * the turn's token usage, and each MCP source connecting — through one
+ * closed phase vocabulary.
+ *
+ * `mcp` covers what a SOURCE does (handshake, what it listed, a failed
+ * connect). A tool a server contributed executes under `tool` like any
+ * other: once it is a ToolDef, it is not special.
+ *
+ * Two consumers, one record: a `trace` event on the AgentEvent stream (so a
+ * UI can render the turn's mechanics) and a pluggable SINK (so a process can
+ * log or export them). Tracing is OFF unless `AgentConfig.trace` is set —
+ * absence leaves no event, no console line, and no request difference.
+ *
+ * No external dependency and no exporter protocol: the sink is a function.
+ * An OpenTelemetry (or any other) exporter is a caller-side adapter over
+ * that function, deliberately not vendored here.
+ */
+export declare const TRACE_PHASES: readonly ["prompt", "request", "response", "tool", "workflow", "guardrail", "usage", "mcp"];
+export type TracePhase = (typeof TRACE_PHASES)[number];
+export declare function isTracePhase(value: unknown): value is TracePhase;
+export interface TraceRecord {
+    phase: TracePhase;
+    /** What happened within the phase — `'assembled'`, `'step:verdict'`,
+     *  `'tool:denied'`. Free-form by design: the PHASE is the closed
+     *  vocabulary a reader switches on, the name is the detail. */
+    name: string;
+    /** Epoch ms. */
+    at: number;
+    sessionId?: string;
+    data?: Record<string, unknown>;
+}
+export type TraceSink = (record: TraceRecord) => void;
+/** The default sink — one console line per record, no dependency. */
+export declare const consoleSink: TraceSink;
+export interface Tracer {
+    enabled: boolean;
+    /** Build a record, hand it to the sink, and return it for the stream.
+     *  Returns null when tracing is off, so callers emit nothing. */
+    record(phase: TracePhase, name: string, data?: Record<string, unknown>): TraceRecord | null;
+}
+/** `true` → the console sink; a function → that sink; falsy → tracing off. */
+export type TraceConfig = boolean | TraceSink | undefined;
+export declare function createTracer(config: TraceConfig, sessionId?: string): Tracer;
+//# sourceMappingURL=trace.d.ts.map

package/trace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"trace.d.ts","sourceRoot":"","sources":["src/trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,eAAO,MAAM,YAAY,6FAEf,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,CAEhE;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,UAAU,CAAC;IAClB;;mEAE+D;IAC/D,IAAI,EAAE,MAAM,CAAC;IACb,gBAAgB;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED,MAAM,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,WAAW,KAAK,IAAI,CAAC;AAEtD,qEAAqE;AACrE,eAAO,MAAM,WAAW,EAAE,SAGzB,CAAC;AAEF,MAAM,WAAW,MAAM;IACrB,OAAO,EAAE,OAAO,CAAC;IACjB;qEACiE;IACjE,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,WAAW,GAAG,IAAI,CAAC;CAC7F;AAED,8EAA8E;AAC9E,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC;AAE1D,wBAAgB,YAAY,CAAC,MAAM,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,MAAM,CAsB5E"}

package/trace.js

@@ -0,0 +1,60 @@
+/**
+ * Tracing — the harness saying what it DID, not what it said.
+ *
+ * A transcript proves what was said; only a structured signal proves what
+ * happened. Every turn emits records at the points the harness genuinely
+ * reaches — prompt assembly, each provider call and its response, each tool
+ * execution, each workflow step verdict, each guardrail intervention, and
+ * the turn's token usage, and each MCP source connecting — through one
+ * closed phase vocabulary.
+ *
+ * `mcp` covers what a SOURCE does (handshake, what it listed, a failed
+ * connect). A tool a server contributed executes under `tool` like any
+ * other: once it is a ToolDef, it is not special.
+ *
+ * Two consumers, one record: a `trace` event on the AgentEvent stream (so a
+ * UI can render the turn's mechanics) and a pluggable SINK (so a process can
+ * log or export them). Tracing is OFF unless `AgentConfig.trace` is set —
+ * absence leaves no event, no console line, and no request difference.
+ *
+ * No external dependency and no exporter protocol: the sink is a function.
+ * An OpenTelemetry (or any other) exporter is a caller-side adapter over
+ * that function, deliberately not vendored here.
+ */
+export const TRACE_PHASES = [
+    'prompt', 'request', 'response', 'tool', 'workflow', 'guardrail', 'usage', 'mcp',
+];
+export function isTracePhase(value) {
+    return typeof value === 'string' && TRACE_PHASES.includes(value);
+}
+/** The default sink — one console line per record, no dependency. */
+export const consoleSink = (record) => {
+    const detail = record.data ? ` ${JSON.stringify(record.data)}` : '';
+    console.debug(`[agent] ${record.phase}/${record.name}${detail}`);
+};
+export function createTracer(config, sessionId) {
+    if (!config)
+        return { enabled: false, record: () => null };
+    const sink = typeof config === 'function' ? config : consoleSink;
+    return {
+        enabled: true,
+        record(phase, name, data) {
+            const record = {
+                phase,
+                name,
+                at: Date.now(),
+                ...(sessionId ? { sessionId } : {}),
+                ...(data ? { data } : {}),
+            };
+            try {
+                sink(record);
+            }
+            catch (err) {
+                // A broken sink must never take the turn down with it.
+                console.warn(`[agent] trace sink threw: ${err.message}`);
+            }
+            return record;
+        },
+    };
+}
+//# sourceMappingURL=trace.js.map

package/trace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trace.js","sourceRoot":"","sources":["src/trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK;CACxE,CAAC;AAIX,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,YAAkC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC1F,CAAC;AAgBD,qEAAqE;AACrE,MAAM,CAAC,MAAM,WAAW,GAAc,CAAC,MAAM,EAAE,EAAE;IAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACpE,OAAO,CAAC,KAAK,CAAC,WAAW,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,GAAG,MAAM,EAAE,CAAC,CAAC;AACnE,CAAC,CAAC;AAYF,MAAM,UAAU,YAAY,CAAC,MAAmB,EAAE,SAAkB;IAClE,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IAC3D,MAAM,IAAI,GAAc,OAAO,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC;IAC5E,OAAO;QACL,OAAO,EAAE,IAAI;QACb,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI;YACtB,MAAM,MAAM,GAAgB;gBAC1B,KAAK;gBACL,IAAI;gBACJ,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE;gBACd,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC1B,CAAC;YACF,IAAI,CAAC;gBACH,IAAI,CAAC,MAAM,CAAC,CAAC;YACf,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,uDAAuD;gBACvD,OAAO,CAAC,IAAI,CAAC,6BAA8B,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;YACtE,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/workflow.d.ts

@@ -7,9 +7,53 @@
  * terminal — its result is always accepted. `when` skips a step entirely
  * for this invocation. Scripted pipeline over per-turn re-decision: the
  * sequence is data, so every consuming surface runs the SAME cascade.
+ *
+ * Four seams the A2UI migration (gh#664) proved were missing, added in
+ * gh#665, all additive:
+ *  - `until` may return a VERDICT (`{accepted, reason, detail, data}`)
+ *    instead of a bare boolean, so the reason a step was rejected travels
+ *    with the attempt instead of being recomputed by the consumer.
+ *  - a workflow-level EXIT GATE, declared once, that every accepted
+ *    non-terminal result passes through (the per-call `gate` callback each
+ *    consumer used to carry).
+ *  - SAME-STEP RETRY: `retry: { maxRounds }` re-runs the same step against
+ *    the previous round's verdict before falling through.
+ *  - a SERVICES channel on the context, separate from `input`: what the run
+ *    may USE (llmAdapter, clients, stores) rather than what it is ABOUT.
  */
-export interface WorkflowContext<TInput = unknown> {
+/** A step's accept decision. `reason` is a stable code a consumer can
+ *  switch on (`'schema-invalid'`); `detail` is the human sentence. */
+export interface Verdict {
+    accepted: boolean;
+    reason?: string;
+    detail?: string;
+    /** Anything the consumer wants carried on the attempt (feedback entries,
+     *  validation output) — the retry round sees it as `ctx.feedback.data`. */
+    data?: unknown;
+    /** Set when the step's own `until` accepted and the WORKFLOW's exit gate
+     *  rejected — a different diagnosis, and one a retry round needs to see
+     *  on `ctx.feedback` to know what it is repairing. */
+    gateRejected?: boolean;
+}
+/** What a predicate may return: a verdict, or any value read for its
+ *  truthiness (the v0 boolean, and whatever a loose JS predicate returns). */
+export type StepDecision = boolean | Verdict | unknown;
+/** Normalize any predicate return to a Verdict.
+ *
+ *  A Verdict-shaped object (one with a boolean `accepted`) is taken as-is;
+ *  EVERYTHING else is read for its truthiness, so a predicate written before
+ *  verdicts existed — `until: r => r.messages.length`, `until: r => r.id` —
+ *  keeps meaning what it always meant. Treating a non-boolean as a
+ *  malformed verdict would silently flip those to rejected. */
+export declare function toVerdict(decision: StepDecision): Verdict;
+export interface WorkflowContext<TInput = unknown, TServices = Record<string, unknown>> {
+    /** What this run is ABOUT. */
     input: TInput;
+    /** What this run may USE — llmAdapter, clients, stores. Always present
+     *  (`{}` when the caller declared none). Services used to ride `input`;
+     *  that still works and is not deprecated for consumer-owned shapes, but
+     *  new code should put dependencies here and keep `input` the subject. */
+    services: TServices;
     sessionId: string;
     signal?: AbortSignal;
     /** Step events land here (agent.run forwards them). */
@@ -19,26 +63,84 @@ export interface WorkflowContext<TInput = unknown> {
         step: string;
         data?: unknown;
     }) => void;
+    /** Structured trace records (see trace.ts). Absent = tracing off. */
+    trace?: (phase: string, name: string, data?: Record<string, unknown>) => void;
+    /** 1-based retry round for the step currently running. 1 on a step that
+     *  declares no `retry`. */
+    round?: number;
+    /** The verdict that rejected the PREVIOUS round of this same step —
+     *  present only on retry rounds. This is the feedback channel a step
+     *  retries against. */
+    feedback?: Verdict;
 }
-export interface WorkflowStep<TInput = unknown, TResult = unknown> {
+export interface WorkflowStep<TInput = unknown, TResult = unknown, TServices = Record<string, unknown>> {
     name?: string;
-    run: (ctx: WorkflowContext<TInput>) => TResult | Promise<TResult>;
-    /** Accept predicate: true → this result is the workflow's result.
-     *  Absent → terminal step, always accepted. */
-    until?: (result: TResult) => boolean;
+    run: (ctx: WorkflowContext<TInput, TServices>) => TResult | Promise<TResult>;
+    /** Accept predicate. Return a Verdict (`{accepted, reason, …}`) to record
+     *  WHY; return anything else and it is read for truthiness — a truthy
+     *  return accepts, a falsy one falls the ladder through.
+     *  Absent → terminal step, always accepted, and the workflow's exit gate
+     *  does NOT run on it (the floor is the floor — declare `until: () => true`
+     *  instead if the last step should be gated like the others).
+     *  May be async: a real acceptance gate reads assets off disk (A2UI's
+     *  schema + catalog validation), so a sync-only predicate would force
+     *  every consumer to pre-resolve its gate outside the workflow. */
+    until?: (result: TResult, ctx: WorkflowContext<TInput, TServices>) => StepDecision | Promise<StepDecision>;
     /** Skip guard: false → step doesn't run this invocation. */
-    when?: (ctx: WorkflowContext<TInput>) => boolean;
+    when?: (ctx: WorkflowContext<TInput, TServices>) => boolean | Promise<boolean>;
+    /** Retry this SAME step against the rejecting verdict before falling
+     *  through to the next one. `maxRounds` counts TOTAL runs of the step
+     *  (2 = one retry). Each round sees `ctx.round` and `ctx.feedback`; each
+     *  round is its own entry in `attempts`. A workflow exit-gate rejection
+     *  consumes a round exactly like an `until` rejection, and arrives on the
+     *  next round's `ctx.feedback` carrying `gateRejected: true`. Absent =
+     *  one round, the v0 behavior. */
+    retry?: {
+        maxRounds: number;
+    };
 }
-export interface Workflow<TInput = unknown, TResult = unknown> {
+export interface WorkflowOptions<TInput = unknown, TResult = unknown, TServices = Record<string, unknown>> {
+    /** The check EVERY accepted non-terminal result passes through, declared
+     *  once for the whole workflow instead of restated per step. Runs after
+     *  the step's own `until` accepted; a rejection falls the ladder through
+     *  exactly as an `until` rejection does. */
+    exitGate?: (result: TResult, ctx: WorkflowContext<TInput, TServices>) => StepDecision | Promise<StepDecision>;
+}
+export interface Workflow<TInput = unknown, TResult = unknown, TServices = Record<string, unknown>> {
     name: string;
-    steps: Array<WorkflowStep<TInput, TResult>>;
+    steps: Array<WorkflowStep<TInput, TResult, TServices>>;
+    exitGate?: WorkflowOptions<TInput, TResult, TServices>['exitGate'];
+}
+export interface WorkflowAttempt<TResult = unknown> {
+    step: string;
+    accepted: boolean;
+    result: TResult;
+    /** Rejection (or acceptance) code from a verdict-returning predicate.
+     *  Absent when the predicate returned a bare boolean. */
+    reason?: string;
+    detail?: string;
+    /** Verdict payload — feedback entries, validation output. */
+    data?: unknown;
+    /** Which retry round of this step produced the attempt (1-based). */
+    round: number;
+    /** True when the step's own `until` accepted but the workflow's exit
+     *  gate rejected — the two rejections are different diagnoses. */
+    gateRejected?: boolean;
 }
 export interface WorkflowResult<TResult = unknown> {
     result: TResult | undefined;
     /** Name/index of the accepting step, or null when every step fell through. */
     step: string | null;
     accepted: boolean;
+    /** Every step round that actually ran, in order, with its verdict — the
+     *  escalation trace. Skipped (`when` false) steps don't appear. */
+    attempts: Array<WorkflowAttempt<TResult>>;
 }
-export declare function defineWorkflow<TInput = unknown, TResult = unknown>(name: string, steps: Array<WorkflowStep<TInput, TResult>>): Workflow<TInput, TResult>;
-export declare function runWorkflow<TInput, TResult>(workflow: Workflow<TInput, TResult>, ctx: WorkflowContext<TInput>): Promise<WorkflowResult<TResult>>;
+export declare function defineWorkflow<TInput = unknown, TResult = unknown, TServices = Record<string, unknown>>(name: string, steps: Array<WorkflowStep<TInput, TResult, TServices>>, options?: WorkflowOptions<TInput, TResult, TServices>): Workflow<TInput, TResult, TServices>;
+/** The context a caller hands `runWorkflow` — `services` is optional here
+ *  and defaulted to `{}` before any step sees it. */
+export type WorkflowInvocation<TInput, TServices = Record<string, unknown>> = Omit<WorkflowContext<TInput, TServices>, 'services' | 'round' | 'feedback'> & {
+    services?: TServices;
+};
+export declare function runWorkflow<TInput, TResult, TServices = Record<string, unknown>>(workflow: Workflow<TInput, TResult, TServices>, invocation: WorkflowInvocation<TInput, TServices>): Promise<WorkflowResult<TResult>>;
 //# sourceMappingURL=workflow.d.ts.map

package/workflow.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"workflow.d.ts","sourceRoot":"","sources":["src/workflow.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,MAAM,WAAW,eAAe,CAAC,MAAM,GAAG,OAAO;IAC/C,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,uDAAuD;IACvD,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,OAAO,CAAA;KAAE,KAAK,IAAI,CAAC;CAC1F;AAED,MAAM,WAAW,YAAY,CAAC,MAAM,GAAG,OAAO,EAAE,OAAO,GAAG,OAAO;IAC/D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,CAAC,GAAG,EAAE,eAAe,CAAC,MAAM,CAAC,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAClE;mDAC+C;IAC/C,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,OAAO,CAAC;IACrC,4DAA4D;IAC5D,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,eAAe,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC;CAClD;AAED,MAAM,WAAW,QAAQ,CAAC,MAAM,GAAG,OAAO,EAAE,OAAO,GAAG,OAAO;IAC3D,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC7C;AAED,MAAM,WAAW,cAAc,CAAC,OAAO,GAAG,OAAO;IAC/C,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC;IAC5B,8EAA8E;IAC9E,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,wBAAgB,cAAc,CAAC,MAAM,GAAG,OAAO,EAAE,OAAO,GAAG,OAAO,EAChE,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAC1C,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAG3B;AAED,wBAAsB,WAAW,CAAC,MAAM,EAAE,OAAO,EAC/C,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,EACnC,GAAG,EAAE,eAAe,CAAC,MAAM,CAAC,GAC3B,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAiBlC"}
+{"version":3,"file":"workflow.d.ts","sourceRoot":"","sources":["src/workflow.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH;sEACsE;AACtE,MAAM,WAAW,OAAO;IACtB,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;+EAC2E;IAC3E,IAAI,CAAC,EAAE,OAAO,CAAC;IACf;;0DAEsD;IACtD,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED;8EAC8E;AAC9E,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;AAMvD;;;;;;+DAM+D;AAC/D,wBAAgB,SAAS,CAAC,QAAQ,EAAE,YAAY,GAAG,OAAO,CAEzD;AAED,MAAM,WAAW,eAAe,CAAC,MAAM,GAAG,OAAO,EAAE,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IACpF,8BAA8B;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd;;;8EAG0E;IAC1E,QAAQ,EAAE,SAAS,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,uDAAuD;IACvD,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,OAAO,CAAA;KAAE,KAAK,IAAI,CAAC;IACzF,qEAAqE;IACrE,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC;IAC9E;+BAC2B;IAC3B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;2BAEuB;IACvB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,YAAY,CAAC,MAAM,GAAG,OAAO,EAAE,OAAO,GAAG,OAAO,EAAE,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IACpG,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,CAAC,GAAG,EAAE,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7E;;;;;;;;uEAQmE;IACnE,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAC3G,4DAA4D;IAC5D,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/E;;;;;;sCAMkC;IAClC,KAAK,CAAC,EAAE;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;CAC/B;AAED,MAAM,WAAW,eAAe,CAAC,MAAM,GAAG,OAAO,EAAE,OAAO,GAAG,OAAO,EAAE,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IACvG;;;gDAG4C;IAC5C,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;CAC/G;AAED,MAAM,WAAW,QAAQ,CAAC,MAAM,GAAG,OAAO,EAAE,OAAO,GAAG,OAAO,EAAE,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAChG,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IACvD,QAAQ,CAAC,EAAE,eAAe,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,CAAC;CACpE;AAED,MAAM,WAAW,eAAe,CAAC,OAAO,GAAG,OAAO;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,OAAO,CAAC;IAChB;6DACyD;IACzD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,6DAA6D;IAC7D,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,qEAAqE;IACrE,KAAK,EAAE,MAAM,CAAC;IACd;sEACkE;IAClE,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,cAAc,CAAC,OAAO,GAAG,OAAO;IAC/C,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC;IAC5B,8EAA8E;IAC9E,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB;uEACmE;IACnE,QAAQ,EAAE,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;CAC3C;AAED,wBAAgB,cAAc,CAAC,MAAM,GAAG,OAAO,EAAE,OAAO,GAAG,OAAO,EAAE,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACrG,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EACtD,OAAO,GAAE,eAAe,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAM,GACxD,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAQtC;AAED;qDACqD;AACrD,MAAM,MAAM,kBAAkB,CAAC,MAAM,EAAE,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IACxE,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,UAAU,GAAG,OAAO,GAAG,UAAU,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,SAAS,CAAA;CAAE,CAAC;AAEzG,wBAAsB,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACpF,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,EAC9C,UAAU,EAAE,kBAAkB,CAAC,MAAM,EAAE,SAAS,CAAC,GAChD,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAwElC"}

package/workflow.js

@@ -7,30 +7,108 @@
  * terminal — its result is always accepted. `when` skips a step entirely
  * for this invocation. Scripted pipeline over per-turn re-decision: the
  * sequence is data, so every consuming surface runs the SAME cascade.
+ *
+ * Four seams the A2UI migration (gh#664) proved were missing, added in
+ * gh#665, all additive:
+ *  - `until` may return a VERDICT (`{accepted, reason, detail, data}`)
+ *    instead of a bare boolean, so the reason a step was rejected travels
+ *    with the attempt instead of being recomputed by the consumer.
+ *  - a workflow-level EXIT GATE, declared once, that every accepted
+ *    non-terminal result passes through (the per-call `gate` callback each
+ *    consumer used to carry).
+ *  - SAME-STEP RETRY: `retry: { maxRounds }` re-runs the same step against
+ *    the previous round's verdict before falling through.
+ *  - a SERVICES channel on the context, separate from `input`: what the run
+ *    may USE (llmAdapter, clients, stores) rather than what it is ABOUT.
  */
-export function defineWorkflow(name, steps) {
+function isVerdict(value) {
+    return typeof value === 'object' && value !== null && typeof value.accepted === 'boolean';
+}
+/** Normalize any predicate return to a Verdict.
+ *
+ *  A Verdict-shaped object (one with a boolean `accepted`) is taken as-is;
+ *  EVERYTHING else is read for its truthiness, so a predicate written before
+ *  verdicts existed — `until: r => r.messages.length`, `until: r => r.id` —
+ *  keeps meaning what it always meant. Treating a non-boolean as a
+ *  malformed verdict would silently flip those to rejected. */
+export function toVerdict(decision) {
+    return isVerdict(decision) ? decision : { accepted: !!decision };
+}
+export function defineWorkflow(name, steps, options = {}) {
     if (!steps.length)
         throw new Error(`defineWorkflow "${name}": at least one step`);
-    return { name, steps };
+    for (const step of steps) {
+        if (step.retry && !(step.retry.maxRounds >= 1)) {
+            throw new Error(`defineWorkflow "${name}": retry.maxRounds must be >= 1`);
+        }
+    }
+    return { name, steps, ...(options.exitGate ? { exitGate: options.exitGate } : {}) };
 }
-export async function runWorkflow(workflow, ctx) {
+export async function runWorkflow(workflow, invocation) {
+    const base = {
+        ...invocation,
+        services: (invocation.services ?? {}),
+    };
     let last;
+    const attempts = [];
     for (let i = 0; i < workflow.steps.length; i++) {
         const step = workflow.steps[i];
         const stepName = step.name ?? `step-${i + 1}`;
-        if (step.when && !step.when(ctx))
+        if (step.when && !(await step.when(base)))
             continue;
-        last = await step.run(ctx);
-        const accepted = step.until ? step.until(last) : true;
-        ctx.emit?.({
-            type: 'step',
-            workflow: workflow.name,
-            step: stepName,
-            data: { accepted },
-        });
-        if (accepted)
-            return { result: last, step: stepName, accepted: true };
+        const maxRounds = step.retry?.maxRounds ?? 1;
+        let feedback;
+        for (let round = 1; round <= maxRounds; round++) {
+            const ctx = {
+                ...base,
+                round,
+                ...(feedback ? { feedback } : {}),
+            };
+            base.trace?.('workflow', 'step:start', { workflow: workflow.name, step: stepName, round });
+            last = await step.run(ctx);
+            // Terminal step (no `until`): unconditionally accepted, and the exit
+            // gate does not run — the floor of a ladder is the answer of last
+            // resort, not another thing that can reject.
+            let verdict = step.until ? toVerdict(await step.until(last, ctx)) : { accepted: true };
+            if (verdict.accepted && step.until && workflow.exitGate) {
+                const gate = toVerdict(await workflow.exitGate(last, ctx));
+                if (!gate.accepted) {
+                    // `gateRejected` rides the VERDICT, not just the attempt: a gate
+                    // rejection consumes a retry round like any other, and the next
+                    // round reads this off `ctx.feedback` to know it is repairing the
+                    // gate's objection rather than the step's own.
+                    verdict = { ...gate, reason: gate.reason ?? 'gate-rejected', gateRejected: true };
+                }
+            }
+            attempts.push({
+                step: stepName,
+                accepted: verdict.accepted,
+                result: last,
+                round,
+                ...(verdict.reason ? { reason: verdict.reason } : {}),
+                ...(verdict.detail ? { detail: verdict.detail } : {}),
+                ...(verdict.data !== undefined ? { data: verdict.data } : {}),
+                ...(verdict.gateRejected ? { gateRejected: true } : {}),
+            });
+            base.emit?.({
+                type: 'step',
+                workflow: workflow.name,
+                step: stepName,
+                data: { accepted: verdict.accepted, round, ...(verdict.reason ? { reason: verdict.reason } : {}) },
+            });
+            base.trace?.('workflow', 'step:verdict', {
+                workflow: workflow.name,
+                step: stepName,
+                round,
+                accepted: verdict.accepted,
+                ...(verdict.reason ? { reason: verdict.reason } : {}),
+            });
+            if (verdict.accepted) {
+                return { result: last, step: stepName, accepted: true, attempts };
+            }
+            feedback = verdict;
+        }
     }
-    return { result: last, step: null, accepted: false };
+    return { result: last, step: null, accepted: false, attempts };
 }
 //# sourceMappingURL=workflow.js.map

package/workflow.js.map

@@ -1 +1 @@
-{"version":3,"file":"workflow.js","sourceRoot":"","sources":["src/workflow.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAgCH,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,KAA2C;IAE3C,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,IAAI,sBAAsB,CAAC,CAAC;IAClF,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,QAAmC,EACnC,GAA4B;IAE5B,IAAI,IAAyB,CAAC;IAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9C,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,SAAS;QAC3C,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACtD,GAAG,CAAC,IAAI,EAAE,CAAC;YACT,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,QAAQ,CAAC,IAAI;YACvB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,EAAE,QAAQ,EAAE;SACnB,CAAC,CAAC;QACH,IAAI,QAAQ;YAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACxE,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACvD,CAAC"}
+{"version":3,"file":"workflow.js","sourceRoot":"","sources":["src/workflow.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAqBH,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,OAAQ,KAAiB,CAAC,QAAQ,KAAK,SAAS,CAAC;AACzG,CAAC;AAED;;;;;;+DAM+D;AAC/D,MAAM,UAAU,SAAS,CAAC,QAAsB;IAC9C,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;AACnE,CAAC;AA2FD,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,KAAsD,EACtD,UAAuD,EAAE;IAEzD,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,IAAI,sBAAsB,CAAC,CAAC;IAClF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,mBAAmB,IAAI,iCAAiC,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACtF,CAAC;AAOD,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,QAA8C,EAC9C,UAAiD;IAEjD,MAAM,IAAI,GAAuC;QAC/C,GAAG,UAAU;QACb,QAAQ,EAAE,CAAC,UAAU,CAAC,QAAQ,IAAI,EAAE,CAAc;KACnD,CAAC;IACF,IAAI,IAAyB,CAAC;IAC9B,MAAM,QAAQ,GAAoC,EAAE,CAAC;IAErD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9C,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,SAAS;QAEpD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC,CAAC;QAC7C,IAAI,QAA6B,CAAC;QAElC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC;YAChD,MAAM,GAAG,GAAuC;gBAC9C,GAAG,IAAI;gBACP,KAAK;gBACL,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAClC,CAAC;YACF,IAAI,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,YAAY,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;YAC3F,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAE3B,qEAAqE;YACrE,kEAAkE;YAClE,6CAA6C;YAC7C,IAAI,OAAO,GAAY,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YAChG,IAAI,OAAO,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACxD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;gBAC3D,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACnB,iEAAiE;oBACjE,gEAAgE;oBAChE,kEAAkE;oBAClE,+CAA+C;oBAC/C,OAAO,GAAG,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;gBACpF,CAAC;YACH,CAAC;YAED,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,MAAM,EAAE,IAAI;gBACZ,KAAK;gBACL,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7D,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxD,CAAC,CAAC;YACH,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,IAAI,EAAE,MAAM;gBACZ,QAAQ,EAAE,QAAQ,CAAC,IAAI;gBACvB,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;aACnG,CAAC,CAAC;YACH,IAAI,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,cAAc,EAAE;gBACvC,QAAQ,EAAE,QAAQ,CAAC,IAAI;gBACvB,IAAI,EAAE,QAAQ;gBACd,KAAK;gBACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACtD,CAAC,CAAC;YAEH,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACrB,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACpE,CAAC;YACD,QAAQ,GAAG,OAAO,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AACjE,CAAC"}