@petepetrash/circuit 0.1.0

package/dist/schemas/selection-policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"selection-policy.d.ts","sourceRoot":"","sources":["../../src/schemas/selection-policy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAOvC,eAAO,MAAM,mBAAmB;;;;;;;;kBAKrB,CAAC;AACZ,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAKtE,eAAO,MAAM,MAAM;;;;;;;;EAAuE,CAAC;AAC3F,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,CAAC;AAmB5C,eAAO,MAAM,aAAa;;;;;;;;;;;4BAKxB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAM1D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAQnB,CAAC;AACZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AASlE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAsBnB,CAAC;AACZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAElE,eAAO,MAAM,eAAe;;;;;;;;EAQ1B,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAO9D,eAAO,MAAM,oBAAoB,uFAQc,CAAC;AAMhD,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AACjF,KAAK,iBAAiB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAC/D,KAAK,gCAAgC,GAAG,QAAQ,CAAC,eAAe,EAAE,iBAAiB,CAAC,SAAS,IAAI,GAC7F,IAAI,GACJ,KAAK,CAAC;AACV,eAAO,MAAM,iCAAiC,EAAE,gCAAuC,CAAC;AAkBxF,QAAA,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8BAchB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAgDxD,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAkC9B,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC"}

package/dist/schemas/selection-policy.js

@@ -0,0 +1,209 @@
+import { z } from 'zod';
+import { SkillId, StageId, StepId } from './ids.js';
+import { JsonObject } from './json.js';
+import { Power } from './power.js';
+import { CompiledDepth } from './process.js';
+// Provider-scoped model. The four-provider enum is closed; `model` is an
+// open string because connector-specific code owns provider/model handling.
+// New model releases do not force a schema change here.
+export const ProviderScopedModel = z
+    .object({
+    provider: z.enum(['openai', 'anthropic', 'gemini', 'custom']),
+    model: z.string().min(1),
+})
+    .strict();
+// Effort tier. OpenAI's 6-tier vocabulary plus Claude Code's `max`,
+// chosen for cross-provider
+// portability — connectors map non-OpenAI effort levels onto this set.
+export const Effort = z.enum(['none', 'minimal', 'low', 'medium', 'high', 'xhigh', 'max']);
+// Skill arrays enforce uniqueness. Set-algebra composition (union,
+// difference) at the resolver layer expects the inputs to be sets;
+// accepting duplicates at parse time would let a YAML author's typo
+// silently produce `['tdd', 'tdd']` and mask the intent.
+const UniqueSkillArray = z.array(SkillId).superRefine((arr, ctx) => {
+    const duplicates = [...new Set(arr.filter((skill, index) => arr.indexOf(skill) !== index))];
+    if (duplicates.length === 0)
+        return;
+    ctx.addIssue({
+        code: 'custom',
+        message: `skills array contains duplicates: ${duplicates.join(', ')}`,
+    });
+});
+// Typed skill operations, no empty-array ambiguity. `inherit` is a pure
+// sentinel; the other three carry an explicit `skills: SkillId[]`. Empty
+// arrays under non-inherit modes are legal and mean what they say:
+// replace:[] clears the set; append:[] and remove:[] are no-ops.
+export const SkillOverride = z.discriminatedUnion('mode', [
+    z.object({ mode: z.literal('inherit') }).strict(),
+    z.object({ mode: z.literal('replace'), skills: UniqueSkillArray }).strict(),
+    z.object({ mode: z.literal('append'), skills: UniqueSkillArray }).strict(),
+    z.object({ mode: z.literal('remove'), skills: UniqueSkillArray }).strict(),
+]);
+// Every field optional; `.strict()` rejects surplus keys (typos that
+// would otherwise silently leave the effective selection at the prior
+// layer's default). `invocation_options` is JSON-safe; its merge
+// semantics are right-biased by precedence (later layers override).
+export const SelectionOverride = z
+    .object({
+    model: ProviderScopedModel.optional(),
+    effort: Effort.optional(),
+    skills: SkillOverride.default({ mode: 'inherit' }),
+    depth: CompiledDepth.optional(),
+    invocation_options: JsonObject.default({}),
+})
+    .strict();
+// ResolvedSelection is the effective record at relay time.
+// `invocation_options` is included because connectors consume it; omitting
+// it would make RelayStartedTraceEntry.resolved_selection insufficient for
+// audit or replay. The resolver flattens `applied[].override.invocation_options`
+// via right-biased merge by precedence. ResolvedSelection does NOT carry
+// SkillOverride — the resolver flattens the override chain into a final
+// unique SkillId[].
+export const ResolvedSelection = z
+    .object({
+    model: ProviderScopedModel.optional(),
+    effort: Effort.optional(),
+    skills: UniqueSkillArray,
+    depth: CompiledDepth.optional(),
+    invocation_options: JsonObject.default({}),
+    // Present only when the Power dial materialized this selection's model or
+    // effort from a tier table. Absent when explicit model config won, when
+    // the connector has no tier table, or on pre-dial artifacts. Carried here
+    // so RelayStartedTraceEntry.resolved_selection self-reports dial
+    // application and the run receipt never has to guess.
+    power: Power.optional(),
+    // True only when a retry (attempt > 1) actually bumped the allocated tier
+    // up. A retry whose role was already at the top tier records no
+    // escalation — the receipt counts real bumps, not retries.
+    power_escalated: z.boolean().optional(),
+    // Present only when the dial setting was `auto`: the dial value above came
+    // from the run's clamped researcher inference (or the medium fallback when
+    // no inference had resolved yet), not from a fixed operator setting.
+    power_source: z.literal('auto').optional(),
+})
+    .strict();
+export const SelectionSource = z.enum([
+    'default',
+    'user-global',
+    'project',
+    'flow',
+    'stage',
+    'step',
+    'invocation',
+]);
+// Precedence is declared, closed, and compile-time pinned to the
+// `SelectionSource` enum. The `as const satisfies readonly SelectionSource[]`
+// makes drift between the enum and the precedence list a `tsc --strict`
+// error — adding a source to the enum without adding it here (or vice
+// versa) fails the build before the runtime sees it.
+export const SELECTION_PRECEDENCE = [
+    'default',
+    'user-global',
+    'project',
+    'flow',
+    'stage',
+    'step',
+    'invocation',
+];
+export const _compileTimeSelectionSourceParity = true;
+// Precedence-index lookup used by the applied-chain ordering check.
+const PRECEDENCE_INDEX = Object.fromEntries(SELECTION_PRECEDENCE.map((s, i) => [s, i]));
+// Applied[] entries are a discriminated union on `source`. The `stage` and
+// `step` variants carry a required disambiguator (`stage_id`, `step_id`).
+// The five singleton-identified variants (default, user-global, project,
+// flow, invocation) do not, because a Run has at most one contribution
+// from each.
+//
+// Disambiguators make provenance independently auditable: reading an
+// `applied` entry with `source: 'stage'` names the exact stage. Two
+// `stage` entries are permitted when a step legally belongs to multiple
+// stages (overlapping stages are allowed in the schema; the trace must
+// be able to represent them).
+const AppliedEntry = z.discriminatedUnion('source', [
+    z.object({ source: z.literal('default'), override: SelectionOverride }).strict(),
+    z.object({ source: z.literal('user-global'), override: SelectionOverride }).strict(),
+    z.object({ source: z.literal('project'), override: SelectionOverride }).strict(),
+    z.object({ source: z.literal('flow'), override: SelectionOverride }).strict(),
+    z
+        .object({
+        source: z.literal('stage'),
+        stage_id: StageId,
+        override: SelectionOverride,
+    })
+        .strict(),
+    z.object({ source: z.literal('step'), step_id: StepId, override: SelectionOverride }).strict(),
+    z.object({ source: z.literal('invocation'), override: SelectionOverride }).strict(),
+]);
+// Ghost-provenance rejection. An override is "empty" iff every field is
+// at its schema default: no model, no effort, no depth, skills in `inherit`
+// mode, invocation_options empty. Applied entries whose override is empty
+// fabricate provenance for a non-contributing layer and are rejected.
+function overrideContributes(o) {
+    if (o.model !== undefined)
+        return true;
+    if (o.effort !== undefined)
+        return true;
+    if (o.depth !== undefined)
+        return true;
+    if (o.skills.mode !== 'inherit')
+        return true;
+    if (Object.keys(o.invocation_options).length > 0)
+        return true;
+    return false;
+}
+const SelectionResolutionBody = z
+    .object({
+    resolved: ResolvedSelection,
+    applied: z.array(AppliedEntry),
+})
+    .strict();
+const issueAt = (ctx, path, message) => {
+    ctx.addIssue({ code: 'custom', path, message });
+};
+// Single-pass enforcement on the applied chain:
+//   - Precedence-order: each source must have a precedence index > the
+//     previous for category changes. Equal index is tolerated when the
+//     disambiguator distinguishes the entries (two stage entries are
+//     legal).
+//   - Unique-identity: no identity (source + disambiguator) appears twice.
+//     For singleton sources (default, user-global, project, flow,
+//     invocation), identity is the source alone. For plural sources
+//     (stage, step), identity is `{source, stage_id}` / `{source, step_id}`.
+//   - Ghost-provenance: every entry's override must contribute — no entry
+//     that re-asserts the prior chain's resolved value.
+function identityKey(entry) {
+    switch (entry.source) {
+        case 'stage':
+            return `stage:${entry.stage_id}`;
+        case 'step':
+            return `step:${entry.step_id}`;
+        default:
+            return entry.source;
+    }
+}
+export const SelectionResolution = SelectionResolutionBody.superRefine((res, ctx) => {
+    const seen = new Set();
+    let lastIndex = -1;
+    for (let i = 0; i < res.applied.length; i++) {
+        const entry = res.applied[i];
+        if (entry === undefined)
+            continue;
+        const key = identityKey(entry);
+        if (seen.has(key)) {
+            issueAt(ctx, ['applied', i, 'source'], `duplicate applied identity '${key}' at index ${i}; each identity may contribute at most once (stage/step are disambiguated by their id)`);
+            continue;
+        }
+        seen.add(key);
+        const idx = PRECEDENCE_INDEX[entry.source];
+        if (idx < lastIndex) {
+            issueAt(ctx, ['applied', i, 'source'], `applied entry '${entry.source}' at index ${i} is out of precedence order; entries must appear in SELECTION_PRECEDENCE order (default < user-global < project < flow < stage < step < invocation). Two entries with equal precedence (two stages, two steps) are legal and must appear contiguously; a later category cannot precede an earlier one.`);
+        }
+        else {
+            lastIndex = idx;
+        }
+        if (!overrideContributes(entry.override)) {
+            issueAt(ctx, ['applied', i, 'override'], `applied entry at index ${i} has an empty override (no model, effort, depth, skills operation, or invocation_options); a layer that contributes nothing must NOT appear in the applied chain (ghost provenance)`);
+        }
+    }
+});
+//# sourceMappingURL=selection-policy.js.map

package/dist/schemas/selection-policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"selection-policy.js","sourceRoot":"","sources":["../../src/schemas/selection-policy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,yEAAyE;AACzE,4EAA4E;AAC5E,wDAAwD;AACxD,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KACjC,MAAM,CAAC;IACN,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC7D,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACzB,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,oEAAoE;AACpE,4BAA4B;AAC5B,uEAAuE;AACvE,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;AAG3F,mEAAmE;AACnE,mEAAmE;AACnE,oEAAoE;AACpE,yDAAyD;AACzD,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;IACjE,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5F,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACpC,GAAG,CAAC,QAAQ,CAAC;QACX,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,qCAAqC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;KACtE,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AACxE,yEAAyE;AACzE,mEAAmE;AACnE,iEAAiE;AACjE,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACxD,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;IACjD,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC3E,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC1E,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;CAC3E,CAAC,CAAC;AAGH,qEAAqE;AACrE,sEAAsE;AACtE,iEAAiE;AACjE,oEAAoE;AACpE,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,KAAK,EAAE,mBAAmB,CAAC,QAAQ,EAAE;IACrC,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE;IACzB,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAClD,KAAK,EAAE,aAAa,CAAC,QAAQ,EAAE;IAC/B,kBAAkB,EAAE,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;CAC3C,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,2DAA2D;AAC3D,2EAA2E;AAC3E,2EAA2E;AAC3E,iFAAiF;AACjF,yEAAyE;AACzE,wEAAwE;AACxE,oBAAoB;AACpB,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,KAAK,EAAE,mBAAmB,CAAC,QAAQ,EAAE;IACrC,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE;IACzB,MAAM,EAAE,gBAAgB;IACxB,KAAK,EAAE,aAAa,CAAC,QAAQ,EAAE;IAC/B,kBAAkB,EAAE,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;IAC1C,0EAA0E;IAC1E,wEAAwE;IACxE,0EAA0E;IAC1E,iEAAiE;IACjE,sDAAsD;IACtD,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE;IACvB,0EAA0E;IAC1E,gEAAgE;IAChE,2DAA2D;IAC3D,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IACvC,2EAA2E;IAC3E,2EAA2E;IAC3E,qEAAqE;IACrE,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE;CAC3C,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,IAAI,CAAC;IACpC,SAAS;IACT,aAAa;IACb,SAAS;IACT,MAAM;IACN,OAAO;IACP,MAAM;IACN,YAAY;CACb,CAAC,CAAC;AAGH,iEAAiE;AACjE,8EAA8E;AAC9E,wEAAwE;AACxE,sEAAsE;AACtE,qDAAqD;AACrD,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,SAAS;IACT,aAAa;IACb,SAAS;IACT,MAAM;IACN,OAAO;IACP,MAAM;IACN,YAAY;CACiC,CAAC;AAWhD,MAAM,CAAC,MAAM,iCAAiC,GAAqC,IAAI,CAAC;AAExF,oEAAoE;AACpE,MAAM,gBAAgB,GAAoC,MAAM,CAAC,WAAW,CAC1E,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CACR,CAAC;AAErC,2EAA2E;AAC3E,0EAA0E;AAC1E,yEAAyE;AACzE,uEAAuE;AACvE,aAAa;AACb,EAAE;AACF,qEAAqE;AACrE,oEAAoE;AACpE,wEAAwE;AACxE,uEAAuE;AACvE,8BAA8B;AAC9B,MAAM,YAAY,GAAG,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE;IAClD,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE;IAChF,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE;IACpF,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE;IAChF,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC7E,CAAC;SACE,MAAM,CAAC;QACN,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QAC1B,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,iBAAiB;KAC5B,CAAC;SACD,MAAM,EAAE;IACX,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC9F,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE;CACpF,CAAC,CAAC;AAGH,wEAAwE;AACxE,4EAA4E;AAC5E,0EAA0E;AAC1E,sEAAsE;AACtE,SAAS,mBAAmB,CAAC,CAAoB;IAC/C,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC7C,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,uBAAuB,GAAG,CAAC;KAC9B,MAAM,CAAC;IACN,QAAQ,EAAE,iBAAiB;IAC3B,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC;CAC/B,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,OAAO,GAAG,CAAC,GAAoB,EAAE,IAAyB,EAAE,OAAe,EAAE,EAAE;IACnF,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;AAClD,CAAC,CAAC;AAEF,gDAAgD;AAChD,uEAAuE;AACvE,uEAAuE;AACvE,qEAAqE;AACrE,cAAc;AACd,2EAA2E;AAC3E,kEAAkE;AAClE,oEAAoE;AACpE,6EAA6E;AAC7E,0EAA0E;AAC1E,wDAAwD;AACxD,SAAS,WAAW,CAAC,KAAmB;IACtC,QAAQ,KAAK,CAAC,MAAM,EAAE,CAAC;QACrB,KAAK,OAAO;YACV,OAAO,SAAS,KAAK,CAAC,QAA6B,EAAE,CAAC;QACxD,KAAK,MAAM;YACT,OAAO,QAAQ,KAAK,CAAC,OAA4B,EAAE,CAAC;QACtD;YACE,OAAO,KAAK,CAAC,MAAM,CAAC;IACxB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAG,uBAAuB,CAAC,WAAW,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;IAClF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,CACL,GAAG,EACH,CAAC,SAAS,EAAE,CAAC,EAAE,QAAQ,CAAC,EACxB,+BAA+B,GAAG,cAAc,CAAC,wFAAwF,CAC1I,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,MAAM,GAAG,GAAG,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,GAAG,GAAG,SAAS,EAAE,CAAC;YACpB,OAAO,CACL,GAAG,EACH,CAAC,SAAS,EAAE,CAAC,EAAE,QAAQ,CAAC,EACxB,kBAAkB,KAAK,CAAC,MAAM,cAAc,CAAC,wSAAwS,CACtV,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,GAAG,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzC,OAAO,CACL,GAAG,EACH,CAAC,SAAS,EAAE,CAAC,EAAE,UAAU,CAAC,EAC1B,0BAA0B,CAAC,qLAAqL,CACjN,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/schemas/skill-hook.d.ts

@@ -0,0 +1,214 @@
+import { z } from 'zod';
+export declare const SKILL_HOOK_VOCABULARY: readonly [{
+    readonly hook: "before:high-impact-alignment";
+    readonly detected_from: readonly ["goal-contract:impact=high", "operator-flag:high-impact"];
+    readonly cardinality: "per-run";
+    readonly default_mode: "mute";
+}, {
+    readonly hook: "before:architecture-analysis";
+    readonly detected_from: readonly ["selected-process:explore-architecture", "step-metadata:architecture-analysis"];
+    readonly cardinality: "per-step";
+    readonly default_mode: "auto";
+}, {
+    readonly hook: "before:plan-implementation";
+    readonly detected_from: readonly ["stage-transition:Plan", "step-metadata:plan"];
+    readonly cardinality: "per-stage";
+    readonly default_mode: "auto";
+}, {
+    readonly hook: "before:implementation";
+    readonly detected_from: readonly ["stage-transition:Plan->Act", "stage-transition:Act"];
+    readonly cardinality: "per-stage";
+    readonly default_mode: "auto";
+}, {
+    readonly hook: "before:verification";
+    readonly detected_from: readonly ["stage-transition:Verify", "step-metadata:verify"];
+    readonly cardinality: "per-stage";
+    readonly default_mode: "auto";
+}, {
+    readonly hook: "before:edit-files";
+    readonly detected_from: readonly ["plan-report:anticipated-file-extensions", "plan-report:likely-touched"];
+    readonly cardinality: "per-step";
+    readonly default_mode: "auto";
+}, {
+    readonly hook: "after:edit-files";
+    readonly detected_from: readonly ["change-report:touched-files", "change-set:observed"];
+    readonly cardinality: "per-step";
+    readonly default_mode: "auto";
+}, {
+    readonly hook: "after:verification-failed";
+    readonly detected_from: readonly ["evidence-map:required-check-failed"];
+    readonly cardinality: "per-step";
+    readonly default_mode: "auto";
+}, {
+    readonly hook: "after:evidence-gap";
+    readonly detected_from: readonly ["evidence-map:required-claim-missing-after-verify"];
+    readonly cardinality: "per-stage";
+    readonly default_mode: "auto";
+}, {
+    readonly hook: "before:close-run";
+    readonly detected_from: readonly ["run-envelope:close-decision", "stage-transition:Close"];
+    readonly cardinality: "per-run";
+    readonly default_mode: "auto";
+}, {
+    readonly hook: "before:handoff";
+    readonly detected_from: readonly ["command:handoff", "run-envelope:handoff-decision"];
+    readonly cardinality: "per-run";
+    readonly default_mode: "auto";
+}];
+export declare const SkillHookCardinality: z.ZodEnum<{
+    "per-run": "per-run";
+    "per-step": "per-step";
+    "per-stage": "per-stage";
+}>;
+export type SkillHookCardinality = z.infer<typeof SkillHookCardinality>;
+export declare const SkillHookPolicyMode: z.ZodEnum<{
+    auto: "auto";
+    mute: "mute";
+}>;
+export type SkillHookPolicyMode = z.infer<typeof SkillHookPolicyMode>;
+export declare const SkillHookName: z.ZodString;
+export type SkillHookName = z.infer<typeof SkillHookName>;
+export declare const SkillHookNameArray: z.ZodArray<z.ZodString>;
+export type SkillHookNameArray = z.infer<typeof SkillHookNameArray>;
+export declare const SkillHookPolicyRule: z.ZodObject<{
+    mode: z.ZodDefault<z.ZodEnum<{
+        auto: "auto";
+        mute: "mute";
+    }>>;
+    skills: z.ZodOptional<z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>>;
+    strict: z.ZodDefault<z.ZodBoolean>;
+}, z.core.$strict>;
+export type SkillHookPolicyRule = z.infer<typeof SkillHookPolicyRule>;
+export declare const SkillHookDetectionConfig: z.ZodObject<{
+    disabled_patterns: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
+}, z.core.$strict>;
+export type SkillHookDetectionConfig = z.infer<typeof SkillHookDetectionConfig>;
+export declare const SkillHookConfig: z.ZodObject<{
+    policy: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+        mode: z.ZodDefault<z.ZodEnum<{
+            auto: "auto";
+            mute: "mute";
+        }>>;
+        skills: z.ZodOptional<z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>>;
+        strict: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strict>>>;
+    detection: z.ZodDefault<z.ZodObject<{
+        disabled_patterns: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type SkillHookConfig = z.infer<typeof SkillHookConfig>;
+export declare const SkillHookSkillState: z.ZodEnum<{
+    planned: "planned";
+    staged: "staged";
+    requested: "requested";
+    observed: "observed";
+    unplanned: "unplanned";
+    unavailable: "unavailable";
+}>;
+export type SkillHookSkillState = z.infer<typeof SkillHookSkillState>;
+export declare const SkillHookPolicyResolution: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    mode: z.ZodLiteral<"none">;
+    source: z.ZodLiteral<"none">;
+}, z.core.$strict>, z.ZodObject<{
+    mode: z.ZodEnum<{
+        auto: "auto";
+        mute: "mute";
+    }>;
+    source: z.ZodEnum<{
+        "project-policy": "project-policy";
+        "user-global-policy": "user-global-policy";
+        "default-mapping": "default-mapping";
+    }>;
+    strict: z.ZodBoolean;
+    policy_ref: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>], "source">;
+export type SkillHookPolicyResolution = z.infer<typeof SkillHookPolicyResolution>;
+export declare const SkillHookSkillRef: z.ZodObject<{
+    id: z.core.$ZodBranded<z.ZodString, "SkillId", "out">;
+    state: z.ZodEnum<{
+        planned: "planned";
+        staged: "staged";
+        requested: "requested";
+        observed: "observed";
+        unplanned: "unplanned";
+        unavailable: "unavailable";
+    }>;
+    source: z.ZodEnum<{
+        "project-policy": "project-policy";
+        "user-global-policy": "user-global-policy";
+        "default-mapping": "default-mapping";
+        "host-observed": "host-observed";
+    }>;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export type SkillHookSkillRef = z.infer<typeof SkillHookSkillRef>;
+export declare const RunSkillHookEvent: z.ZodObject<{
+    schema: z.ZodLiteral<"run.skill-hook@v0">;
+    event_id: z.ZodString;
+    hook: z.ZodString;
+    detected_from: z.ZodArray<z.ZodString>;
+    cardinality: z.ZodEnum<{
+        "per-run": "per-run";
+        "per-step": "per-step";
+        "per-stage": "per-stage";
+    }>;
+    policy: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        mode: z.ZodLiteral<"none">;
+        source: z.ZodLiteral<"none">;
+    }, z.core.$strict>, z.ZodObject<{
+        mode: z.ZodEnum<{
+            auto: "auto";
+            mute: "mute";
+        }>;
+        source: z.ZodEnum<{
+            "project-policy": "project-policy";
+            "user-global-policy": "user-global-policy";
+            "default-mapping": "default-mapping";
+        }>;
+        strict: z.ZodBoolean;
+        policy_ref: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>], "source">;
+    flow_id: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "CompiledFlowId", "out">>;
+    stage_id: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "StageId", "out">>;
+    step_id: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "StepId", "out">>;
+    attempt_id: z.ZodOptional<z.ZodString>;
+    decision_packet_id: z.ZodOptional<z.ZodString>;
+    triggered_skills: z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "SkillId", "out">;
+        state: z.ZodEnum<{
+            planned: "planned";
+            staged: "staged";
+            requested: "requested";
+            observed: "observed";
+            unplanned: "unplanned";
+            unavailable: "unavailable";
+        }>;
+        source: z.ZodEnum<{
+            "project-policy": "project-policy";
+            "user-global-policy": "user-global-policy";
+            "default-mapping": "default-mapping";
+            "host-observed": "host-observed";
+        }>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    unavailable_skills: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "SkillId", "out">;
+        state: z.ZodEnum<{
+            planned: "planned";
+            staged: "staged";
+            requested: "requested";
+            observed: "observed";
+            unplanned: "unplanned";
+            unavailable: "unavailable";
+        }>;
+        source: z.ZodEnum<{
+            "project-policy": "project-policy";
+            "user-global-policy": "user-global-policy";
+            "default-mapping": "default-mapping";
+            "host-observed": "host-observed";
+        }>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export type RunSkillHookEvent = z.infer<typeof RunSkillHookEvent>;
+//# sourceMappingURL=skill-hook.d.ts.map

package/dist/schemas/skill-hook.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"skill-hook.d.ts","sourceRoot":"","sources":["../../src/schemas/skill-hook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4ExB,CAAC;AAEX,eAAO,MAAM,oBAAoB;;;;EAA+C,CAAC;AACjF,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAKxE,eAAO,MAAM,mBAAmB;;;EAA2B,CAAC;AAC5D,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAgBtE,eAAO,MAAM,aAAa,aA2BxB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAE1D,eAAO,MAAM,kBAAkB,yBAY7B,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAEpE,eAAO,MAAM,mBAAmB;;;;;;;kBAyC5B,CAAC;AACL,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAQtE,eAAO,MAAM,wBAAwB;;kBAI1B,CAAC;AACZ,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAEhF,eAAO,MAAM,eAAe;;;;;;;;;;;;kBAKjB,CAAC;AACZ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D,eAAO,MAAM,mBAAmB;;;;;;;EAO9B,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEtE,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;8BAepC,CAAC;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAElF,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;kBAgB1B,CAAC;AACL,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAElE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAgD1B,CAAC;AACL,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC"}