@intentius/chant 0.57.0 → 0.58.0

package/dist/op/duration.d.ts

@@ -0,0 +1,11 @@
+/**
+ * The duration-string parser the Op model uses everywhere a timeout is
+ * authored ("5m", "30s", "1h30m", "100ms"). Its own leaf module so both
+ * `./local-executor.ts` (activity start-to-close timeouts) and `./gate.ts`
+ * (a gate's pending-fact expiry) can reach it without importing each other.
+ * Re-exported from `./local-executor.ts`, which is where it lived and where
+ * every existing caller still imports it from.
+ */
+/** Parse a duration string ("5m", "30s", "1h30m", "100ms") to milliseconds. Throws when nothing in `s` parses as a quantity+unit. */
+export declare function parseDuration(s: string): number;
+//# sourceMappingURL=duration.d.ts.map

package/dist/op/duration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"duration.d.ts","sourceRoot":"","sources":["../../src/op/duration.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,qIAAqI;AACrI,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAU/C"}

package/dist/op/emulator-lifecycle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"emulator-lifecycle.d.ts","sourceRoot":"","sources":["../../src/op/emulator-lifecycle.ts"],"names":[],"mappings":"AAMA;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,qEAAqE;IACrE,IAAI,EAAE,MAAM,CAAC;IACb,2CAA2C;IAC3C,KAAK,EAAE,MAAM,CAAC;IACd,2EAA2E;IAC3E,aAAa,EAAE,MAAM,CAAC;IACtB,sFAAsF;IACtF,UAAU,EAAE,MAAM,CAAC;IACnB,oFAAoF;IACpF,KAAK,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC;IACxC,+EAA+E;IAC/E,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B;;;;;;;;;OASG;IACH,QAAQ,CAAC,EAAE;QACT,0EAA0E;QAC1E,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;CACH;AAED;;;;;;GAMG;AACH,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,YAAY,CAAC;IACnB,GAAG,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC/C;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,mBAAmB,GAAG,kBAAkB,GAAG,SAAS,kBAAkB,EAAE,CAAC;AAErF,8DAA8D;AAC9D,wBAAgB,WAAW,CAAC,WAAW,EAAE,mBAAmB,GAAG,SAAS,GAAG,SAAS,kBAAkB,EAAE,CAGvG;AAKD;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAAC,UAAU,EAAE,kBAAkB,GAAG,MAAM,EAAE,CAIxE;AAED,0EAA0E;AAC1E,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,2FAA2F;IAC3F,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/B;AAED,uDAAuD;AACvD,MAAM,WAAW,iBAAiB;IAChC,UAAU,CAAC,IAAI,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC;IAC1C,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IACpC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAChC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAC/B,EAAE,CAAC,IAAI,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/E,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACrE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,YAAY,GAAG,iBAAiB,CA2EvE"}
+{"version":3,"file":"emulator-lifecycle.d.ts","sourceRoot":"","sources":["../../src/op/emulator-lifecycle.ts"],"names":[],"mappings":"AAMA;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,qEAAqE;IACrE,IAAI,EAAE,MAAM,CAAC;IACb,2CAA2C;IAC3C,KAAK,EAAE,MAAM,CAAC;IACd,2EAA2E;IAC3E,aAAa,EAAE,MAAM,CAAC;IACtB,sFAAsF;IACtF,UAAU,EAAE,MAAM,CAAC;IACnB,oFAAoF;IACpF,KAAK,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC;IACxC,+EAA+E;IAC/E,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B;;;;;;;;;OASG;IACH,QAAQ,CAAC,EAAE;QACT,0EAA0E;QAC1E,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;CACH;AAED;;;;;;GAMG;AACH,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,YAAY,CAAC;IACnB,GAAG,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC/C;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,mBAAmB,GAAG,kBAAkB,GAAG,SAAS,kBAAkB,EAAE,CAAC;AAErF,8DAA8D;AAC9D,wBAAgB,WAAW,CAAC,WAAW,EAAE,mBAAmB,GAAG,SAAS,GAAG,SAAS,kBAAkB,EAAE,CAGvG;AAKD;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAAC,UAAU,EAAE,kBAAkB,GAAG,MAAM,EAAE,CAIxE;AAED,0EAA0E;AAC1E,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,2FAA2F;IAC3F,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/B;AAED,uDAAuD;AACvD,MAAM,WAAW,iBAAiB;IAChC,UAAU,CAAC,IAAI,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC;IAC1C,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IACpC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAChC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAC/B,EAAE,CAAC,IAAI,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/E,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACrE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,YAAY,GAAG,iBAAiB,CA0EvE"}

package/dist/op/gate.d.ts

@@ -0,0 +1,90 @@
+/**
+ * Gate-as-fact (#2119, epic #2114) — the one place that decides what happens
+ * when a run reaches a `gate`, shared by the Op executor
+ * (`./local-executor.ts`) and the component driver
+ * (`../components/driver.ts`) so the two can never drift.
+ *
+ * A gate used to be a wait, which meant a runtime that cannot wait had to
+ * refuse the whole op before its first step (`LocalGateUnsupportedError`,
+ * deleted with this). It is a fact now: the run reads the gate ledger
+ * (`../lifecycle/gate-ledger.ts`) for a resolution someone wrote with `chant
+ * approve`, and either walks through carrying the approver, or records a
+ * pending fact and ends. Nothing blocks, nothing is queued, nothing has to be
+ * resumed — the next run re-evaluates from the ledger, which is exactly the
+ * level-triggered shape a converge tick already has.
+ *
+ * The staleness rule is the same one `chant operator status` has applied since
+ * #1485: a resolution counts only if it is newer than the newest pending fact
+ * for that gate. Approving before the gate was ever reached does not
+ * pre-authorize a future run's gate that has since been recorded pending; a
+ * resolution from last month does not answer the fact this run just wrote.
+ *
+ * Ledger access goes through {@link GateLedgerPort} rather than straight to
+ * git, so a test (and the operator's own in-memory paths) can drive the
+ * decision without an orphan branch on disk.
+ */
+import { type GateResolutionRecord, type PendingGateInput, type PendingGateRecord } from "../lifecycle/gate-ledger.js";
+/** The gate ledger, as the two executors need it: read both kinds of line, append a pending fact. */
+export interface GateLedgerPort {
+    read(op: string): Promise<{
+        resolutions: GateResolutionRecord[];
+        pending: PendingGateRecord[];
+    }>;
+    appendPending(input: PendingGateInput): Promise<PendingGateRecord>;
+}
+/**
+ * The real port: the `chant/lifecycle` orphan branch. Pushes best-effort after
+ * appending, the same two-step-collapsed-into-one shape `chant approve` uses
+ * (`../cli/handlers/operator.ts` calls `pushLifecycle().catch(...)` right after
+ * its append) — a pending fact that only ever reaches the local branch is still
+ * a correct local answer, so a missing remote never fails the run.
+ */
+export declare function gitGateLedgerPort(opts?: {
+    cwd?: string;
+}): GateLedgerPort;
+/** A gate ledger held in memory — what a test, or a caller that has already read the ledger, hands {@link evaluateGate}. */
+export declare function memoryGateLedgerPort(seed?: {
+    resolutions?: GateResolutionRecord[];
+    pending?: PendingGateRecord[];
+}): GateLedgerPort & {
+    appended: PendingGateRecord[];
+};
+/** What a caller has to say about the gate it just reached. */
+export interface GateCheckInput {
+    /** The op the gate belongs to — the component's name, on the driver. */
+    op: string;
+    /** The gate's signal name. */
+    gate: string;
+    description?: string;
+    /** The gate's authored `timeout`, which becomes the pending fact's expiry. Default {@link DEFAULT_GATE_EXPIRY}. */
+    timeout?: string;
+    /** Identifies the run that reached the gate, when the caller has one. */
+    runId?: string;
+    /** ISO-8601 "now" — supplied by the caller, so the decision is deterministic under test. */
+    now?: string;
+}
+/** Either the gate is answered, or it is a standing fact. */
+export type GateCheck = {
+    satisfied: true;
+    resolution: GateResolutionRecord;
+} | {
+    satisfied: false;
+    pending: PendingGateRecord;
+    recorded: boolean;
+};
+/**
+ * Decide a gate against the ledger, recording the pending fact when it isn't
+ * answered.
+ *
+ * - A resolution newer than the newest pending fact satisfies the gate.
+ * - Otherwise, a pending fact that hasn't expired stands as it is: the run
+ *   ends `gated` and the ledger is left alone, so an operator ticking every
+ *   minute against an unapproved gate does not append a line a minute.
+ * - Otherwise (no pending fact, or the newest one has expired) a fresh pending
+ *   fact is appended and the run ends `gated`. `recorded` says which of the
+ *   two happened, so a renderer can tell "just recorded" from "still standing".
+ */
+export declare function evaluateGate(port: GateLedgerPort, input: GateCheckInput): Promise<GateCheck>;
+/** The line every renderer prints to say how a pending gate is cleared. */
+export declare function approveCommand(op: string, gate: string): string;
+//# sourceMappingURL=gate.d.ts.map

package/dist/op/gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.d.ts","sourceRoot":"","sources":["../../src/op/gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAQL,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACvB,MAAM,0BAA0B,CAAC;AAIlC,qGAAqG;AACrG,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,WAAW,EAAE,oBAAoB,EAAE,CAAC;QAAC,OAAO,EAAE,iBAAiB,EAAE,CAAA;KAAE,CAAC,CAAC;IACjG,aAAa,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;CACpE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,CAAC,EAAE;IAAE,GAAG,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,cAAc,CAYzE;AAED,4HAA4H;AAC5H,wBAAgB,oBAAoB,CAClC,IAAI,GAAE;IAAE,WAAW,CAAC,EAAE,oBAAoB,EAAE,CAAC;IAAC,OAAO,CAAC,EAAE,iBAAiB,EAAE,CAAA;CAAO,GACjF,cAAc,GAAG;IAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAA;CAAE,CAgBpD;AAED,+DAA+D;AAC/D,MAAM,WAAW,cAAc;IAC7B,wEAAwE;IACxE,EAAE,EAAE,MAAM,CAAC;IACX,8BAA8B;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mHAAmH;IACnH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,yEAAyE;IACzE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,4FAA4F;IAC5F,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,6DAA6D;AAC7D,MAAM,MAAM,SAAS,GACjB;IAAE,SAAS,EAAE,IAAI,CAAC;IAAC,UAAU,EAAE,oBAAoB,CAAA;CAAE,GACrD;IAAE,SAAS,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,iBAAiB,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAAC;AAKxE;;;;;;;;;;;GAWG;AACH,wBAAsB,YAAY,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,SAAS,CAAC,CAyBlG;AAED,2EAA2E;AAC3E,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAE/D"}

package/dist/op/generate-pipeline.d.ts

@@ -15,7 +15,16 @@
  * separately scheduled cron triggers — so this does not call
  * `resolveComponentGraph`; each `ScheduledOpSpec` is generated independently.
  */
+import { type DiscoveredOp } from "./discover.js";
 import { type ComponentPipelineOptions, type ScheduledOpSpec, type OpPipelineFile, type OpPipelineJob } from "../lexicon.js";
+/**
+ * Copy each discovered Op's own `schedule` (#2120) onto its spec, so a CI
+ * generator can render the cron the Op already declares — `WatchOp({ name,
+ * schedule })` then needs no second cron in the `generateOpsPipeline` call.
+ * The spec's own `trigger`/`schedule` still win; `resolveOpTrigger` reads
+ * `opSchedule` last. Specs for Ops with no cadence pass through untouched.
+ */
+export declare function withOpSchedules(specs: ScheduledOpSpec[], discovered: Map<string, DiscoveredOp>): ScheduledOpSpec[];
 /** Result of generating scheduled CI for a set of Ops (generate mode's Op counterpart, #927). */
 export interface GenerateOpsPipelineResult {
     success: boolean;

package/dist/op/generate-pipeline.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generate-pipeline.d.ts","sourceRoot":"","sources":["../../src/op/generate-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,EAGL,KAAK,wBAAwB,EAC7B,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,aAAa,EACnB,MAAM,YAAY,CAAC;AAsBpB,iGAAiG;AACjG,MAAM,WAAW,yBAAyB;IACxC,OAAO,EAAE,OAAO,CAAC;IACjB,sEAAsE;IACtE,KAAK,CAAC,EAAE,cAAc,EAAE,CAAC;IACzB,wDAAwD;IACxD,IAAI,CAAC,EAAE,aAAa,EAAE,CAAC;IACvB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;GASG;AACH,wBAAsB,mBAAmB,CACvC,GAAG,EAAE,eAAe,EAAE,EACtB,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,wBAAwB,EAClC,GAAG,CAAC,EAAE,MAAM,GACX,OAAO,CAAC,yBAAyB,CAAC,CAyBpC"}
+{"version":3,"file":"generate-pipeline.d.ts","sourceRoot":"","sources":["../../src/op/generate-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAe,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,EAGL,KAAK,wBAAwB,EAC7B,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,aAAa,EACnB,MAAM,YAAY,CAAC;AAsBpB;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,eAAe,EAAE,EACxB,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,GACpC,eAAe,EAAE,CAKnB;AAED,iGAAiG;AACjG,MAAM,WAAW,yBAAyB;IACxC,OAAO,EAAE,OAAO,CAAC;IACjB,sEAAsE;IACtE,KAAK,CAAC,EAAE,cAAc,EAAE,CAAC;IACzB,wDAAwD;IACxD,IAAI,CAAC,EAAE,aAAa,EAAE,CAAC;IACvB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;GASG;AACH,wBAAsB,mBAAmB,CACvC,GAAG,EAAE,eAAe,EAAE,EACtB,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,wBAAwB,EAClC,GAAG,CAAC,EAAE,MAAM,GACX,OAAO,CAAC,yBAAyB,CAAC,CAyBpC"}

package/dist/op/index.d.ts

@@ -1,21 +1,37 @@
-export { Op, phase, activity, gate, effect, build, kubectlApply, helmInstall, helmInstallPinned, waitForStack, waitForReady, gitlabPipeline, lifecycleSnapshot, shell, ensureSecret, teardown, envTeardown, k3dUp, k3dDown, k3sInstall, k3sUninstall, flociUp, flociDown, flociAzUp, flociAzDown, flociGcpUp, flociGcpDown, httpCheck, azGroupEnsure, azGroupDelete, azApply, azDelete, awsApply, awsDelete, gcpApply, gcpDelete, policyGate, spriteCreate, spriteExec, spriteCheckpoint, spriteRestore, listCheckpoints, spriteDestroy, spriteWriteFile, spriteReadFile, spriteListDir, spriteRemove, spriteApplyNetworkPolicy, spriteApplyServices, spriteTaskCreate, spriteTaskRefresh, spriteTaskRelease, spritesUp, spritesDown } from "./builders.js";
+export { Op, phase, activity, gate, effect, build, kubectlApply, helmInstall, helmInstallPinned, waitForStack, waitForReady, gitlabPipeline, lifecycleSnapshot, shell, ensureSecret, teardown, envTeardown, k3dUp, k3dDown, k3sInstall, k3sUninstall, flociUp, flociDown, flociAzUp, flociAzDown, flociGcpUp, flociGcpDown, httpCheck, azGroupEnsure, azGroupDelete, azApply, azDelete, awsApply, awsDelete, gcpApply, gcpDelete, policyGate, guardValidate, spriteCreate, spriteExec, spriteCheckpoint, spriteRestore, listCheckpoints, spriteDestroy, spriteWriteFile, spriteReadFile, spriteListDir, spriteRemove, spriteApplyNetworkPolicy, spriteApplyServices, spriteTaskCreate, spriteTaskRefresh, spriteTaskRelease, spritesUp, spritesDown } from "./builders.js";
 export { OpResource } from "./resource.js";
-export { safeHeartbeat, sleep } from "./activity-runtime.js";
+export { sleep } from "./activity-runtime.js";
 export { emulatorLifecycle, emulatorsOf, endpointEnvVars } from "./emulator-lifecycle.js";
 export type { EmulatorSpec, EmulatorCapability, EmulatorDeclaration, EmulatorUpArgs, EmulatorLifecycle } from "./emulator-lifecycle.js";
 export { checkFreshness, compare, formatResult, latestRelease, parseVersion, unpinned } from "./emulator-freshness.js";
 export type { FreshnessResult } from "./emulator-freshness.js";
-export type { OpConfig, PhaseDefinition, StepDefinition, ActivityStep, GateStep, EffectStep } from "./types.js";
+export type { OpConfig, OpSchedule, PhaseDefinition, StepDefinition, ActivityStep, GateStep, EffectStep, OutcomeAttribute } from "./types.js";
+export { outcomeAttributesOf } from "./types.js";
+export { isValidCronExpression, cronSyntaxMessage, cronMatches, cronDueBetween } from "./cron.js";
+export { WatchOp, ReconcileOp, ApplyOp, ConvergeOp, WorkflowAuditOp, PipelineAuditOp, LexiconUpgradeOp, IN_SCOPE_LEXICONS, } from "./composites/index.js";
+export type { WatchOpConfig, WatchOpResources, ReconcileOpConfig, ReconcileOpResources, ApplyOpConfig, ApplyOpResources, ConvergeOpConfig, ConvergeOpResources, ConvergeDial, WorkflowAuditOpConfig, WorkflowAuditOpResources, PipelineAuditOpConfig, PipelineAuditOpResources, LexiconUpgradeOpConfig, LexiconUpgradeOpResources, } from "./composites/index.js";
 export { receiptActivities, receiptCheckInput } from "./receipt-store.js";
 export type { ReceiptStore, EffectReceiptRef, ReceiptCheckInput, ReceiptActivities, ReceiptActivityOptions, ReceiptReadArgs, ReceiptReadResult, ReceiptWriteArgs, ReceiptStalenessArgs, ReceiptStalenessResult, ReceiptStaleFinding, } from "./receipt-store.js";
 export { discoverOps } from "./discover.js";
 export type { DiscoveredOp, OpDiscoveryResult } from "./discover.js";
-export { generateOpsPipeline } from "./generate-pipeline.js";
+export { generateOpsPipeline, withOpSchedules } from "./generate-pipeline.js";
 export type { GenerateOpsPipelineResult } from "./generate-pipeline.js";
 export { loadActivities, loadProfiles, resolveActivity } from "./activity-registry.js";
-export type { ActivityFn, ActivityProfile } from "./activity-registry.js";
-export { runOpLocally, parseDuration, findGate, LocalGateUnsupportedError, OpRunFailure } from "./local-executor.js";
-export type { StepRecord, OpRunResult } from "./local-executor.js";
+export type { ActivityFn } from "./activity-registry.js";
+export { loadActivityContracts, mergeActivityContracts } from "./activity-contract-registry.js";
+export type { LexiconActivityContractContributor } from "./activity-contract-registry.js";
+export { ACTIVITY_PROFILES, ACTIVITY_PROFILE_NAMES } from "./activity-profiles.js";
+export type { ActivityProfile, ActivityProfileName } from "./activity-profiles.js";
+export { NonRetryableActivityError, nonRetryableFailure } from "./activity-failure.js";
+export { runOpLocally, parseDuration, OpRunFailure } from "./local-executor.js";
+export type { StepRecord, OpRunResult, RunOpOptions } from "./local-executor.js";
+export { evaluateGate, gitGateLedgerPort, memoryGateLedgerPort, approveCommand } from "./gate.js";
+export type { GateLedgerPort, GateCheck, GateCheckInput } from "./gate.js";
+export { createLocalOpRuntime } from "./runtimes/local.js";
+export { runStateOf } from "./runtime.js";
+export type { OpRuntimeProvider, OpRunHandle, OpRunStartOptions, OpRunState, OpRunStatus, OpRunRecord, OpRunRecordInput, OpRunPhaseRecord, OpRunStepRecord, } from "./runtime.js";
+export { buildOpIR, serializeOpIR, opConfigFromIR, OP_IR_FORMAT_VERSION } from "./op-ir.js";
+export type { OpIR, OpIRPhase, OpIRStep, OpIRActivityStep, OpIRGateStep, OpIREffectStep, OpIRActivityContract, } from "./op-ir.js";
 export { renderHuman, renderJson } from "./local-output.js";
 export { activityContract, isActivityContract, collectActivityContracts, validateActivitySteps, KNOWN_ACTIVITY_PROFILES, pathExistsInSchema, } from "./activity-contract.js";
 export type { ActivityContract, ActivityContractIssue } from "./activity-contract.js";

package/dist/op/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/op/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,iBAAiB,EAAE,YAAY,EAAE,YAAY,EAClH,cAAc,EAAE,iBAAiB,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAC7F,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAC5C,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAC3D,aAAa,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EACrG,YAAY,EAAE,UAAU,EAAE,gBAAgB,EAAE,aAAa,EAAE,eAAe,EAAE,aAAa,EACzF,eAAe,EAAE,cAAc,EAAE,aAAa,EAAE,YAAY,EAC5D,wBAAwB,EAAE,mBAAmB,EAC7C,gBAAgB,EAAE,iBAAiB,EAAE,iBAAiB,EACtD,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvF,YAAY,EAAE,YAAY,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACrI,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AACpH,YAAY,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,YAAY,EAAE,QAAQ,EAAE,eAAe,EAAE,cAAc,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAC7G,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACvE,YAAY,EACV,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,sBAAsB,EAC5F,eAAe,EAAE,iBAAiB,EAAE,gBAAgB,EACpD,oBAAoB,EAAE,sBAAsB,EAAE,mBAAmB,GAClE,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,YAAY,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACpF,YAAY,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAClH,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EACL,gBAAgB,EAAE,kBAAkB,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,uBAAuB,EAC9G,kBAAkB,GACnB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AACnF,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACzJ,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACrE,YAAY,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EACL,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EACtD,iBAAiB,EAAE,qBAAqB,EAAE,wBAAwB,EAClE,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,gBAAgB,EACtB,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,iBAAiB,EAAE,iBAAiB,EACpC,wBAAwB,EAAE,wBAAwB,EAAE,cAAc,EAAE,cAAc,EAAE,gBAAgB,EACpG,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,GAClD,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,mBAAmB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,eAAe,EAC1E,4BAA4B,GAC7B,MAAM,YAAY,CAAC;AACpB,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAC/F,OAAO,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC/D,YAAY,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/op/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,iBAAiB,EAAE,YAAY,EAAE,YAAY,EAClH,cAAc,EAAE,iBAAiB,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAC7F,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAC5C,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAC3D,aAAa,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EACrG,aAAa,EACb,YAAY,EAAE,UAAU,EAAE,gBAAgB,EAAE,aAAa,EAAE,eAAe,EAAE,aAAa,EACzF,eAAe,EAAE,cAAc,EAAE,aAAa,EAAE,YAAY,EAC5D,wBAAwB,EAAE,mBAAmB,EAC7C,gBAAgB,EAAE,iBAAiB,EAAE,iBAAiB,EACtD,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvF,YAAY,EAAE,YAAY,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACrI,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AACpH,YAAY,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,eAAe,EAAE,cAAc,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAC;AAC3I,OAAO,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAC;AAC/F,OAAO,EACL,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EACzC,eAAe,EAAE,eAAe,EAAE,gBAAgB,EAAE,iBAAiB,GACtE,MAAM,cAAc,CAAC;AACtB,YAAY,EACV,aAAa,EAAE,gBAAgB,EAC/B,iBAAiB,EAAE,oBAAoB,EACvC,aAAa,EAAE,gBAAgB,EAC/B,gBAAgB,EAAE,mBAAmB,EAAE,YAAY,EACnD,qBAAqB,EAAE,wBAAwB,EAC/C,qBAAqB,EAAE,wBAAwB,EAC/C,sBAAsB,EAAE,yBAAyB,GAClD,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACvE,YAAY,EACV,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,sBAAsB,EAC5F,eAAe,EAAE,iBAAiB,EAAE,gBAAgB,EACpD,oBAAoB,EAAE,sBAAsB,EAAE,mBAAmB,GAClE,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC3E,YAAY,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACpF,YAAY,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAC7F,YAAY,EAAE,kCAAkC,EAAE,MAAM,8BAA8B,CAAC;AACvF,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAChF,YAAY,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAChF,OAAO,EAAE,yBAAyB,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACpF,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAC7E,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAC9E,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAC;AAC/F,YAAY,EAAE,cAAc,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAC;AACxE,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,YAAY,EACV,iBAAiB,EAAE,WAAW,EAAE,iBAAiB,EAAE,UAAU,EAAE,WAAW,EAC1E,WAAW,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,eAAe,GACjE,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,SAAS,CAAC;AACzF,YAAY,EACV,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,gBAAgB,EAAE,YAAY,EAAE,cAAc,EAAE,oBAAoB,GAChG,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EACL,gBAAgB,EAAE,kBAAkB,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,uBAAuB,EAC9G,kBAAkB,GACnB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AACnF,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACzJ,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACrE,YAAY,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EACL,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EACtD,iBAAiB,EAAE,qBAAqB,EAAE,wBAAwB,EAClE,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,gBAAgB,EACtB,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,iBAAiB,EAAE,iBAAiB,EACpC,wBAAwB,EAAE,wBAAwB,EAAE,cAAc,EAAE,cAAc,EAAE,gBAAgB,EACpG,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,GAClD,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,mBAAmB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,eAAe,EAC1E,4BAA4B,GAC7B,MAAM,YAAY,CAAC;AACpB,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAC/F,OAAO,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC/D,YAAY,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC"}

package/dist/op/local-executor.d.ts

@@ -1,56 +1,92 @@
 /**
- * Local Op executor — runs an Op's phases in-process with no Temporal worker.
+ * Local Op executor — runs an Op's phases in this process.
  *
- * A first-class peer to Temporal mode for dev loops, CI, and drift/observation
- * Ops. Provides phase sequencing, parallel phases, per-step retry + timeout via
+ * The default runtime (#2121), and the one dev loops, CI, and drift/observation
+ * Ops use. Provides phase sequencing, parallel phases, per-step retry + timeout via
  * activity profiles, `outcomeAttribute` capture, and `onFailure` compensation.
- * Gates and schedules are unsupported and rejected before any phase runs.
  *
- * The executor is deliberately decoupled from the Temporal lexicon: activity
+ * A gate is a fact, not a wait (#2119). Reaching one, the executor consults the
+ * gate ledger through `./gate.ts`: a resolution newer than the gate's newest
+ * pending fact lets the step pass, carrying the approver onto its record;
+ * anything else records the pending fact and ends the run with status `gated`.
+ * No later phase runs and `onFailure` does not run — a gate is not a failure,
+ * and there is nothing to compensate for. The next run re-evaluates from the
+ * ledger, so `chant approve <op> <gate>` followed by `chant run <op>` is the
+ * whole loop.
+ *
+ * The executor is deliberately decoupled from any lexicon: activity
  * implementations and profiles are passed in (loaded dynamically by the CLI),
- * so core never statically depends on `@intentius/chant-lexicon-temporal`.
+ * so core never statically depends on one.
  */
-import type { OpConfig, ActivityStep, GateStep } from "./types.js";
+import type { OpConfig, ActivityStep } from "./types.js";
 import { type ActivityFn, type ActivityProfile } from "./activity-registry.js";
+import { type GateLedgerPort } from "./gate.js";
+import type { PendingGateRecord } from "../lifecycle/gate-ledger.js";
+import type { OpRunRecord } from "./runtime.js";
+export { parseDuration } from "./duration.js";
 export interface StepRecord {
     phase: string;
     fn: string;
     /**
-     * Present for a local-executor record. Absent for one reconstructed from
-     * Temporal workflow history (op-progress.ts) — an activity's scheduled
-     * input isn't decoded there, so the field is simply omitted rather than
-     * populated with a guess.
+     * Present for a local-executor record. A runtime that reconstructs records
+     * from its own run history may not have an activity's scheduled input to
+     * hand, and omits the field rather than guessing at it.
      */
     args?: Record<string, unknown>;
     status: "ok" | "fail" | "skipped";
     durationMs: number;
+    /**
+     * The first outcome attribute the step published, kept singular because a
+     * step publishing one is the ordinary case and every reader of this field
+     * predates the plural form. {@link StepRecord.outcomes} is the whole list.
+     */
     outcome?: {
         name: string;
         value: unknown;
     };
+    /** Every outcome attribute the step published, in authored order (#2105). Absent when it published none. */
+    outcomes?: Array<{
+        name: string;
+        value: unknown;
+    }>;
     error?: string;
+    /** Set on a `gate` step that passed (#2119): who resolved it, when, and at what address. */
+    approval?: {
+        gate: string;
+        resolvedBy: string;
+        timestamp: string;
+        url?: string;
+    };
 }
 export interface OpRunResult {
     op: string;
     records: StepRecord[];
     totalMs: number;
-    ok: boolean;
-}
-/** Thrown when an Op contains a gate (or schedule) that local mode cannot run. */
-export declare class LocalGateUnsupportedError extends Error {
-    readonly signalName: string;
-    constructor(signalName: string);
+    /**
+     * Three-state outcome (#2119). `gated` is neither success nor failure: the
+     * run reached a gate nobody has approved, recorded the fact, and stopped.
+     * The CLI exits 3 for it so CI can tell "waiting on a human" from "broken".
+     *
+     * Written to the run ledger as the record's own `status` (#2118).
+     */
+    status: "ok" | "fail" | "gated";
+    /** ISO-8601 start of this run. */
+    startedAt: string;
+    /** Present when `status === "gated"`: the pending fact the run ended on. */
+    gate?: PendingGateRecord;
+    /**
+     * The run's ledger record (#2118) — always built, whether or not it was
+     * appended. `chant run <op> --json` prints exactly this, so what a caller
+     * reads on stdout and what a later `readRunLedger` reads back are the same
+     * document.
+     */
+    record: OpRunRecord;
 }
 /** Thrown on terminal Op failure; carries the partial run result for rendering. */
 export declare class OpRunFailure extends Error {
     readonly result: OpRunResult;
     constructor(result: OpRunResult);
 }
-/** Parse a Temporal duration string ("5m", "30s", "1h30m", "100ms") to ms. */
-export declare function parseDuration(s: string): number;
-/** Find the first gate step anywhere in the Op (phases + onFailure, including
- * gates nested inside effect steps), if any. */
-export declare function findGate(config: OpConfig): GateStep | undefined;
 /**
  * Find the first `policyGate` step anywhere in the Op (phases + `onFailure`,
  * including steps nested inside effect steps), if any.
@@ -62,14 +98,64 @@ export declare function findGate(config: OpConfig): GateStep | undefined;
  * shown to a user who passed a documented flag. The combination cannot be
  * honoured until the gate can build and load policies inside the boundary
  * (#1157), so both `chant run` paths pre-flight it with this and refuse before
- * any phase executes, the same shape as {@link findGate}'s pre-flight.
+ * any phase executes. This is the one pre-flight refusal left on the Op path —
+ * a `gate` no longer is one (#2119).
  */
 export declare function findPolicyGateStep(config: OpConfig): ActivityStep | undefined;
+/** How a run reaches the gate ledger, and what it calls itself there (#2119). */
+export interface RunOpOptions {
+    /**
+     * Where gate facts are read and written. Defaults to the `chant/lifecycle`
+     * orphan branch under `cwd`; a test (or a caller that already holds the
+     * ledger) passes `memoryGateLedgerPort()` from `./gate.ts` instead.
+     */
+    gates?: GateLedgerPort;
+    /** Working directory for the default git-backed gate ledger. */
+    cwd?: string;
+    /** ISO-8601 "now", so a gate decision is deterministic under test. */
+    now?: string;
+    /** Identifies this run on any pending fact it records. */
+    runId?: string;
+    /**
+     * Called once per settled step, in the order the records are produced
+     * (#2121) — what the local op runtime (./runtimes/local.ts) feeds
+     * `--progress-json` from. Side-effect free when omitted.
+     */
+    onRecord?: (record: StepRecord) => void;
+    /**
+     * Append the run's {@link OpRunRecord} to the run ledger
+     * (`../lifecycle/run-ledger.ts`) when the run settles (#2118). Opt-in on
+     * purpose: the executor is called from unit tests and in-process harnesses
+     * whose working directory is an ordinary checkout, and a run there must not
+     * write to the lifecycle branch. The local runtime (./runtimes/local.ts) and
+     * `chant operator` pass it; nothing else does.
+     */
+    ledger?: {
+        cwd?: string;
+    };
+    /**
+     * Called when the ledger append itself fails. The run's own outcome is
+     * already decided by then, so a ledger failure is reported to the caller,
+     * never promoted into a run failure.
+     */
+    onLedgerError?: (err: unknown) => void;
+}
 /**
- * Execute an Op locally. Resolves with the run result on success; rejects with
- * `OpRunFailure` (carrying the partial result) on terminal failure, after
- * running any `onFailure` phases in reverse order. Throws
- * `LocalGateUnsupportedError` up front if the Op contains a gate.
+ * Execute an Op locally.
+ *
+ * Resolves with the run result when every phase succeeds (`status: "ok"`), and
+ * also when the run stopped at an unapproved gate (`status: "gated"`, with the
+ * pending fact on `result.gate`) — a gate is a fact, not an error, so it is not
+ * thrown. Rejects with `OpRunFailure` (carrying the partial result) on terminal
+ * failure, after running any `onFailure` phases in reverse order; a gated run
+ * runs no `onFailure` phase, because nothing failed and nothing was left
+ * half-applied to compensate for.
+ *
+ * Whichever of the three ways it settles, the run carries an
+ * {@link OpRunRecord} on `result.record` (#2118). With `options.ledger` that
+ * record is also appended to `<env>/runs__<op>.jsonl` on the lifecycle branch
+ * before this returns or rejects, so an Op's outcome outlives the process that
+ * produced it.
  */
-export declare function runOpLocally(config: OpConfig, activities: Map<string, ActivityFn>, profiles: Record<string, ActivityProfile>, signal?: AbortSignal): Promise<OpRunResult>;
+export declare function runOpLocally(config: OpConfig, activities: Map<string, ActivityFn>, profiles: Record<string, ActivityProfile>, signal?: AbortSignal, options?: RunOpOptions): Promise<OpRunResult>;
 //# sourceMappingURL=local-executor.d.ts.map

package/dist/op/local-executor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"local-executor.d.ts","sourceRoot":"","sources":["../../src/op/local-executor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAmB,YAAY,EAAE,QAAQ,EAA8B,MAAM,SAAS,CAAC;AAC7G,OAAO,EAAmB,KAAK,UAAU,EAAE,KAAK,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAM7F,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;IACX;;;;;OAKG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,MAAM,EAAE,IAAI,GAAG,MAAM,GAAG,SAAS,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC;IAC3C,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,EAAE,EAAE,OAAO,CAAC;CACb;AAID,kFAAkF;AAClF,qBAAa,yBAA0B,SAAQ,KAAK;aACtB,UAAU,EAAE,MAAM;gBAAlB,UAAU,EAAE,MAAM;CAO/C;AAED,mFAAmF;AACnF,qBAAa,YAAa,SAAQ,KAAK;aACT,MAAM,EAAE,WAAW;gBAAnB,MAAM,EAAE,WAAW;CAIhD;AAmBD,8EAA8E;AAC9E,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAU/C;AA8BD;gDACgD;AAChD,wBAAgB,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAY/D;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,QAAQ,GAAG,YAAY,GAAG,SAAS,CAa7E;AAiSD;;;;;GAKG;AACH,wBAAsB,YAAY,CAChC,MAAM,EAAE,QAAQ,EAChB,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,EACnC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EACzC,MAAM,CAAC,EAAE,WAAW,GACnB,OAAO,CAAC,WAAW,CAAC,CAgDtB"}
+{"version":3,"file":"local-executor.d.ts","sourceRoot":"","sources":["../../src/op/local-executor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAmB,YAAY,EAAwC,MAAM,SAAS,CAAC;AAC7G,OAAO,EAAmB,KAAK,UAAU,EAAE,KAAK,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAI7F,OAAO,EAAmC,KAAK,cAAc,EAAE,MAAM,QAAQ,CAAC;AAC9E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAElE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAG7C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAI3C,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;IACX;;;;OAIG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,MAAM,EAAE,IAAI,GAAG,MAAM,GAAG,SAAS,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB;;;;OAIG;IACH,OAAO,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC;IAC3C,4GAA4G;IAC5G,QAAQ,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACnD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,4FAA4F;IAC5F,QAAQ,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAClF;AAED,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;;OAMG;IACH,MAAM,EAAE,IAAI,GAAG,MAAM,GAAG,OAAO,CAAC;IAChC,kCAAkC;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,4EAA4E;IAC5E,IAAI,CAAC,EAAE,iBAAiB,CAAC;IACzB;;;;;OAKG;IACH,MAAM,EAAE,WAAW,CAAC;CACrB;AAID,mFAAmF;AACnF,qBAAa,YAAa,SAAQ,KAAK;aACT,MAAM,EAAE,WAAW;gBAAnB,MAAM,EAAE,WAAW;CAIhD;AA2DD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,QAAQ,GAAG,YAAY,GAAG,SAAS,CAa7E;AA+ZD,iFAAiF;AACjF,MAAM,WAAW,YAAY;IAC3B;;;;OAIG;IACH,KAAK,CAAC,EAAE,cAAc,CAAC;IACvB,gEAAgE;IAChE,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,sEAAsE;IACtE,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,0DAA0D;IAC1D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;;OAIG;IACH,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,IAAI,CAAC;IACxC;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE;QAAE,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1B;;;;OAIG;IACH,aAAa,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,KAAK,IAAI,CAAC;CACxC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,YAAY,CAChC,MAAM,EAAE,QAAQ,EAChB,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,EACnC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EACzC,MAAM,CAAC,EAAE,WAAW,EACpB,OAAO,GAAE,YAAiB,GACzB,OAAO,CAAC,WAAW,CAAC,CA6HtB"}

package/dist/op/local-output.d.ts

@@ -10,7 +10,17 @@ type Writer = (line: string) => void;
  * stays clean for piping (the `--json` renderer owns stdout).
  */
 export declare function renderHuman(result: OpRunResult, write?: Writer): void;
-/** Render a run result as JSON on stdout (and nothing else on stdout). */
+/**
+ * Render the run's ledger record as JSON on stdout (and nothing else on
+ * stdout).
+ *
+ * The record, not the whole `OpRunResult` (#2118): what `chant run <op> --json`
+ * emits is byte-for-byte what the run appended to `<env>/runs__<op>.jsonl`, so
+ * a consumer reading stdout and one reading the ledger back later agree on
+ * every field, the run id included. A gated run's record names the gate it
+ * stopped on; the `approve` command line rides alongside so a CI job reporting
+ * the gate doesn't have to reassemble it from the op and gate names.
+ */
 export declare function renderJson(result: OpRunResult, write?: Writer): void;
 export type { OpRunResult, StepRecord };
 //# sourceMappingURL=local-output.d.ts.map

package/dist/op/local-output.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"local-output.d.ts","sourceRoot":"","sources":["../../src/op/local-output.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEhE,KAAK,MAAM,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;AAerC;;;GAGG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,GAAE,MAAe,GAAG,IAAI,CA4B7E;AAED,0EAA0E;AAC1E,wBAAgB,UAAU,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,GAAE,MAAe,GAAG,IAAI,CAE5E;AAED,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC"}
+{"version":3,"file":"local-output.d.ts","sourceRoot":"","sources":["../../src/op/local-output.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAGhE,KAAK,MAAM,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;AAerC;;;GAGG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,GAAE,MAAe,GAAG,IAAI,CA6C7E;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,GAAE,MAAe,GAAG,IAAI,CAG5E;AAED,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC"}

package/dist/op/op-ir.d.ts

@@ -0,0 +1,184 @@
+/**
+ * op.json IR — chant #1289 ("An Op compiles only to TypeScript, so walk-away
+ * cost is zero everywhere except Ops").
+ *
+ * `OpConfig` is already inert data: every field is a string, number, boolean,
+ * or a nested object of those (no functions, no closures, no runtime
+ * references — see `./types.ts`). This module is the "second, simpler output
+ * from the same walk" the issue asks for: a deterministic
+ * `dist/ops/<name>/op.json`, so a foreign runtime (or a dashboard, a policy
+ * check, an agent) can read what an Op does without importing chant or
+ * parsing generated TypeScript.
+ *
+ * It lives in core, not in a hosting lexicon (#2118, epic #2114). The IR is a
+ * restatement of `OpConfig`, and `OpConfig` is core's — as is the profile
+ * table a step's `profile` key names, since #2117. What core does not own is
+ * the activity contracts that give a step's args a schema: those stay
+ * decentralized, so `buildOpIR` takes the registry as a parameter and defaults
+ * it to empty. A caller holding a lexicon's contracts passes them in, and the
+ * `activityContracts` section fills out without core ever importing that
+ * lexicon.
+ *
+ * Two things beyond a literal restatement of `OpConfig` earn their place:
+ *
+ *  - Every step's `profile` / gate `timeout` is resolved to its effective
+ *    value (chant's own default when omitted), and every referenced profile's
+ *    actual retry/timeout policy rides along out of `ACTIVITY_PROFILES`.
+ *    Without it a foreign runtime would have to read chant's TypeScript to
+ *    know what "fastIdempotent" means.
+ *  - Every step whose `fn` has a registered {@link ActivityContract} in the
+ *    contract registry the caller passes (chant #1288 Stage 1) gets its args/
+ *    returns zod schema embedded as JSON Schema (via zod 4's built-in
+ *    `z.toJSONSchema`), keyed by activity name. This is exactly the payoff
+ *    the Stage 1 decision comment named: "#1289 (op.json IR) ... build on
+ *    these [Stage 1] contracts." Ownership stays decentralized — only
+ *    activities the passed registry knows are covered; a step calling an
+ *    activity from a lexicon outside it (or one with no registered contract
+ *    yet) simply has no entry here.
+ *  - Every step whose contract declares entity-identifying args
+ *    (`ActivityContract.entities`, chant #2022) gets those args' literal
+ *    string values resolved into `entities` — the estate join a renderer
+ *    otherwise had to invent off scope fields like `stackName`. The contract
+ *    entry echoes the declared key list, so a consumer can resolve values
+ *    this serialization could not (a step-output ref) itself.
+ *    JSON-Schema-incompatible contracts (schemas containing transforms or
+ *    custom types that zod cannot serialize) are skipped gracefully: the
+ *    activity appears in the Op's step graph but has no entry in
+ *    activityContracts, consistent with the decentralized and partial
+ *    coverage philosophy.
+ *
+ * Resolving defaults loses nothing: parsing `op.json` back into an
+ * `OpConfig`-shaped object (`opConfigFromIR`) and re-serializing it produces
+ * a byte-identical `op.json`, and a lexicon serializer fed the reconstruction
+ * emits byte-identical code (verified by the round-trip tests here) — the
+ * issue's own verification criterion.
+ *
+ * ## Step-output references (chant #1290, #1288 Stage 2 follow-up)
+ *
+ * A step's `args` may hold a {@link StepOutputRef} (`./step-output-ref.ts`)
+ * anywhere in its structure — a placeholder for a
+ * prior step's declared return value, which the executor substitutes for at
+ * run time from the producing step's record. This module does not
+ * special-case it: `irActivityStep` copies `step.args` through as-is (same as
+ * every other value), and `JSON.stringify` — both the literal one in
+ * `serializeOpIR` and the structural-equality one `z.toJSONSchema`-adjacent
+ * consumers would use — drops a `StepOutputRef`'s brand (a `Symbol.for(...)`
+ * key; JSON has no symbols) while keeping its three own enumerable string
+ * properties. The result is a plain, first-class IR value at exactly the
+ * position the reference sat in `args`:
+ *
+ * ```json
+ * { "kind": "step-output-ref", "step": "build-step", "path": "manifestPath" }
+ * ```
+ *
+ * (`path` omitted when the reference is to the whole return value.) This is
+ * deliberate, not an accident of `JSON.stringify`'s symbol-dropping — a
+ * foreign consumer of op.json can match on `args.<field>.kind ===
+ * "step-output-ref"` to recognize a placeholder and resolve it against
+ * `steps[].id`/`activityContracts[fn].returns` itself, without ever loading
+ * chant's TypeScript. `op-ir.test.ts` asserts the shape directly so a future
+ * change to `StepOutputRef`'s own fields (`./step-output-ref.ts`) that would
+ * silently change this JSON shape gets caught here.
+ */
+import type { OutcomeAttribute, OpConfig, OpSchedule } from "./types.js";
+import type { EffectReceiptRef } from "./receipt-store.js";
+import type { ActivityContract } from "./activity-contract.js";
+import { type ActivityProfile } from "./activity-profiles.js";
+/**
+ * The op.json IR schema version. Bumped on a breaking change to this
+ * module's output shape — additive fields (a new optional key) do not
+ * require a bump.
+ *
+ * `2.0` (#2118): `taskQueue` and `namespace` are gone and `searchAttributes`
+ * is replaced by `labels`. Those three were the fields only a workflow engine
+ * read; an op.json now states what the Op does, not where it runs.
+ */
+export declare const OP_IR_FORMAT_VERSION = "2.0";
+export interface OpIRActivityStep {
+    kind: "activity";
+    fn: string;
+    /** Always present (defaulted to `{}`) — unlike `ActivityStep.args`, which omits an empty bag. */
+    args: Record<string, unknown>;
+    /** Resolved to its effective value — `ActivityStep.profile ?? "fastIdempotent"`. */
+    profile: string;
+    /**
+     * What this step's effect touches in the estate (#2022): the string values
+     * of the args its contract declares as entity-identifying
+     * (`ActivityContract.entities`), resolved per step at serialization the
+     * same way `profile` is. Absent when the activity has no contract, the
+     * contract declares no entity args, or none of them holds a literal string
+     * in this step (a step-output ref resolves at run time, not here).
+     */
+    entities?: string[];
+    /** One run outcome, or several published off the same result (#2105). */
+    outcomeAttribute?: OutcomeAttribute | OutcomeAttribute[];
+}
+export interface OpIRGateStep {
+    kind: "gate";
+    signalName: string;
+    /** Resolved to its effective value — `GateStep.timeout ?? "48h"`. */
+    timeout: string;
+    description?: string;
+}
+export interface OpIREffectStep {
+    kind: "effect";
+    receipt: EffectReceiptRef;
+    expectation?: string;
+    steps: Array<OpIRActivityStep | OpIRGateStep>;
+    description?: string;
+}
+export type OpIRStep = OpIRActivityStep | OpIRGateStep | OpIREffectStep;
+export interface OpIRPhase {
+    name: string;
+    parallel: boolean;
+    steps: OpIRStep[];
+}
+/** A registered activity contract's args/returns, restated as JSON Schema. */
+export interface OpIRActivityContract {
+    args: Record<string, unknown>;
+    returns?: Record<string, unknown>;
+    /** Names of args the contract declares as entity-identifying (#2022) — the key a consumer uses to resolve entities out of any step's `args` itself, including values this serialization could not (a step-output ref). */
+    entities?: string[];
+}
+export interface OpIR {
+    formatVersion: string;
+    name: string;
+    overview: string;
+    depends: string[];
+    /** The Op's discovery keys (#2118) — `OpConfig.labels` verbatim, `{}` when it declares none. */
+    labels: Record<string, string>;
+    /**
+     * The Op's cadence (#2120) — `OpConfig.schedule` verbatim, absent when it
+     * declares none. Op data, not runtime data: the cron says how often this Op
+     * should run, and which scheduler honours it is the reader's business, the
+     * same way `profile` states a retry policy without naming a retrier. An
+     * additive optional key, so it needs no `formatVersion` bump.
+     */
+    schedule?: OpSchedule;
+    phases: OpIRPhase[];
+    onFailure: OpIRPhase[];
+    /** Every activity profile referenced by a step in this Op, keyed by profile name — from the registry passed to {@link buildOpIR}, empty when none was. */
+    activityProfiles: Record<string, ActivityProfile>;
+    /**
+     * JSON Schema for every referenced activity that has a registered contract
+     * in the passed registry (chant #1288 Stage 1). Decentralized and partial
+     * by design — see the module doc.
+     */
+    activityContracts: Record<string, OpIRActivityContract>;
+}
+/**
+ * Build the deterministic op.json IR for one Op's config.
+ *
+ * `contractRegistry` is the one thing core does not own (see the module doc):
+ * a caller holding a lexicon's activity contracts passes them in and
+ * `activityContracts` fills out. Omitted, that section is empty — the step
+ * graph, the labels and every step's resolved `profile` name are unaffected
+ * either way. `profileRegistry` defaults to core's own `ACTIVITY_PROFILES`;
+ * a test overrides it.
+ */
+export declare function buildOpIR(config: OpConfig, contractRegistry?: ReadonlyMap<string, ActivityContract>, profileRegistry?: Readonly<Record<string, ActivityProfile>>): OpIR;
+/** Serialize one Op's op.json IR to a deterministic JSON string (stable key order, 2-space indent, trailing newline). Takes the same two optional registries as {@link buildOpIR}. */
+export declare function serializeOpIR(config: OpConfig, contractRegistry?: ReadonlyMap<string, ActivityContract>, profileRegistry?: Readonly<Record<string, ActivityProfile>>): string;
+/** Reconstruct an `OpConfig` from its op.json IR. */
+export declare function opConfigFromIR(ir: OpIR): OpConfig;
+//# sourceMappingURL=op-ir.d.ts.map