@petepetrash/circuit 0.1.0

package/dist/policy/recovery-route-policy.js

@@ -0,0 +1,112 @@
+import { RECOVERY_KIND_CONTRACT_RULES, } from '../schemas/recovery-route-kind.js';
+// 'advance' is the slice-loop forward edge (deep-depth Build): a successful
+// slice verify re-enters the head step for the next slice. It carries no
+// recovery mechanics, exactly like 'continue'.
+export const NORMAL_ROUTE_IDS = new Set(['pass', 'continue', 'complete', 'close', 'advance']);
+export const RECOVERY_ROUTE_PROJECTION_POLICY = {
+    retry_same_step_with_feedback: {
+        selectors: [{ routeId: 'retry', target: 'same_step' }],
+        contract: RECOVERY_KIND_CONTRACT_RULES.retry_same_step_with_feedback,
+        operatorAuthority: 'not_required',
+        attemptBudget: { consumesStepAttempt: true, retryTarget: 'same_step' },
+    },
+    narrow_scope: {
+        selectors: [{ routeId: 'revise' }, { routeId: 'retry', target: 'different_step' }],
+        contract: RECOVERY_KIND_CONTRACT_RULES.narrow_scope,
+        operatorAuthority: 'not_required',
+        attemptBudget: { consumesStepAttempt: false, retryTarget: 'declared_step' },
+    },
+    run_verification: {
+        selectors: [],
+        contract: RECOVERY_KIND_CONTRACT_RULES.run_verification,
+        operatorAuthority: 'not_required',
+        attemptBudget: { consumesStepAttempt: false, retryTarget: 'declared_step' },
+    },
+    run_independent_review: {
+        selectors: [{ routeId: 'run-review' }],
+        contract: RECOVERY_KIND_CONTRACT_RULES.run_independent_review,
+        operatorAuthority: 'not_required',
+        attemptBudget: { consumesStepAttempt: false, retryTarget: 'declared_step' },
+    },
+    checkpoint_authority: {
+        selectors: [{ routeId: 'checkpoint' }, { routeId: 'ask' }],
+        contract: RECOVERY_KIND_CONTRACT_RULES.checkpoint_authority,
+        operatorAuthority: 'required_before_route',
+        attemptBudget: { consumesStepAttempt: false, retryTarget: 'declared_step' },
+    },
+    safe_apply_reject: {
+        selectors: [],
+        contract: RECOVERY_KIND_CONTRACT_RULES.safe_apply_reject,
+        operatorAuthority: 'not_required',
+        attemptBudget: { consumesStepAttempt: false, retryTarget: 'declared_step' },
+    },
+    stop_unsafe: {
+        selectors: [{ routeId: 'blocked' }, { routeId: 'stop' }],
+        contract: RECOVERY_KIND_CONTRACT_RULES.stop_unsafe,
+        operatorAuthority: 'not_required',
+        attemptBudget: { consumesStepAttempt: false, retryTarget: 'declared_step' },
+    },
+    escalate: {
+        selectors: [{ routeId: 'escalate' }, { routeId: 'connector-failed' }],
+        contract: RECOVERY_KIND_CONTRACT_RULES.escalate,
+        operatorAuthority: 'not_required',
+        attemptBudget: { consumesStepAttempt: false, retryTarget: 'declared_step' },
+    },
+    handoff: {
+        selectors: [{ routeId: 'handoff' }],
+        contract: RECOVERY_KIND_CONTRACT_RULES.handoff,
+        operatorAuthority: 'required_to_continue_after_route',
+        attemptBudget: { consumesStepAttempt: false, retryTarget: 'declared_step' },
+    },
+};
+function selectorMatches(input) {
+    if (input.selector.routeId !== input.routeId)
+        return false;
+    if (input.selector.target === undefined)
+        return true;
+    const targetRelation = input.routeTarget === input.stepId ? 'same_step' : 'different_step';
+    return input.selector.target === targetRelation;
+}
+export function recoveryKindForRoute(input) {
+    for (const [kind, policy] of Object.entries(RECOVERY_ROUTE_PROJECTION_POLICY)) {
+        if (policy.selectors.some((selector) => selectorMatches({
+            selector,
+            routeId: input.routeId,
+            routeTarget: input.routeTarget,
+            stepId: input.stepId,
+        }))) {
+            return kind;
+        }
+    }
+    return undefined;
+}
+// A route is legitimate independent of any block's allowed_routes when it is a
+// NORMAL forward route or when the recovery-route projection binds it to a
+// recovery kind. The schematic catalog validator consults this so it stops
+// flagging working forward and corridor-driven recovery routes as "not allowed
+// by block": those routes are already first-class (the projector derives a
+// binding the cycle guard and recovery corridor honor at runtime), so the
+// per-block route list only needs to constrain the flow-specific routes that
+// are NOT generically recognized. See
+// docs/ideas/first-class-composition-sequence.md (gate-recognition reconciliation).
+export function isGenericallyLegitRoute(input) {
+    return NORMAL_ROUTE_IDS.has(input.routeId) || recoveryKindForRoute(input) !== undefined;
+}
+export function recoveryAllowedFailureCausesForKind(kind) {
+    return [...RECOVERY_ROUTE_PROJECTION_POLICY[kind].contract.allowedFailureCauses];
+}
+export function recoveryRequiredRefsForKind(kind) {
+    return [...RECOVERY_ROUTE_PROJECTION_POLICY[kind].contract.defaultRequiredRefs];
+}
+export function recoveryOperatorAuthorityForKind(kind) {
+    return RECOVERY_ROUTE_PROJECTION_POLICY[kind].operatorAuthority;
+}
+export function recoveryAttemptBudgetForKind(kind) {
+    const policy = RECOVERY_ROUTE_PROJECTION_POLICY[kind].attemptBudget;
+    return {
+        consumes_step_attempt: policy.consumesStepAttempt,
+        must_respect_max_attempts: true,
+        retry_target: policy.retryTarget,
+    };
+}
+//# sourceMappingURL=recovery-route-policy.js.map

package/dist/policy/recovery-route-policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recovery-route-policy.js","sourceRoot":"","sources":["../../src/policy/recovery-route-policy.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,4BAA4B,GAM7B,MAAM,mCAAmC,CAAC;AAE3C,4EAA4E;AAC5E,yEAAyE;AACzE,+CAA+C;AAC/C,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AAmB9F,MAAM,CAAC,MAAM,gCAAgC,GAAG;IAC9C,6BAA6B,EAAE;QAC7B,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;QACtD,QAAQ,EAAE,4BAA4B,CAAC,6BAA6B;QACpE,iBAAiB,EAAE,cAAc;QACjC,aAAa,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE;KACvE;IACD,YAAY,EAAE;QACZ,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;QAClF,QAAQ,EAAE,4BAA4B,CAAC,YAAY;QACnD,iBAAiB,EAAE,cAAc;QACjC,aAAa,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE;KAC5E;IACD,gBAAgB,EAAE;QAChB,SAAS,EAAE,EAAE;QACb,QAAQ,EAAE,4BAA4B,CAAC,gBAAgB;QACvD,iBAAiB,EAAE,cAAc;QACjC,aAAa,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE;KAC5E;IACD,sBAAsB,EAAE;QACtB,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC;QACtC,QAAQ,EAAE,4BAA4B,CAAC,sBAAsB;QAC7D,iBAAiB,EAAE,cAAc;QACjC,aAAa,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE;KAC5E;IACD,oBAAoB,EAAE;QACpB,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC1D,QAAQ,EAAE,4BAA4B,CAAC,oBAAoB;QAC3D,iBAAiB,EAAE,uBAAuB;QAC1C,aAAa,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE;KAC5E;IACD,iBAAiB,EAAE;QACjB,SAAS,EAAE,EAAE;QACb,QAAQ,EAAE,4BAA4B,CAAC,iBAAiB;QACxD,iBAAiB,EAAE,cAAc;QACjC,aAAa,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE;KAC5E;IACD,WAAW,EAAE;QACX,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QACxD,QAAQ,EAAE,4BAA4B,CAAC,WAAW;QAClD,iBAAiB,EAAE,cAAc;QACjC,aAAa,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE;KAC5E;IACD,QAAQ,EAAE;QACR,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC;QACrE,QAAQ,EAAE,4BAA4B,CAAC,QAAQ;QAC/C,iBAAiB,EAAE,cAAc;QACjC,aAAa,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE;KAC5E;IACD,OAAO,EAAE;QACP,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;QACnC,QAAQ,EAAE,4BAA4B,CAAC,OAAO;QAC9C,iBAAiB,EAAE,kCAAkC;QACrD,aAAa,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE;KAC5E;CACiE,CAAC;AAErE,SAAS,eAAe,CAAC,KAKxB;IACC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3D,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,cAAc,GAAG,KAAK,CAAC,WAAW,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC;IAC3F,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,cAAc,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAIpC;IACC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,gCAAgC,CAE3E,EAAE,CAAC;QACF,IACE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CACjC,eAAe,CAAC;YACd,QAAQ;YACR,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC,CACH,EACD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,+EAA+E;AAC/E,2EAA2E;AAC3E,2EAA2E;AAC3E,+EAA+E;AAC/E,2EAA2E;AAC3E,0EAA0E;AAC1E,6EAA6E;AAC7E,sCAAsC;AACtC,oFAAoF;AACpF,MAAM,UAAU,uBAAuB,CAAC,KAIvC;IACC,OAAO,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,oBAAoB,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC;AAC1F,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,IAAuB;IAEvB,OAAO,CAAC,GAAG,gCAAgC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,IAAuB;IACjE,OAAO,CAAC,GAAG,gCAAgC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,IAAuB;IAEvB,OAAO,gCAAgC,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,IAAuB;IAClE,MAAM,MAAM,GAAG,gCAAgC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC;IACpE,OAAO;QACL,qBAAqB,EAAE,MAAM,CAAC,mBAAmB;QACjD,yBAAyB,EAAE,IAAI;QAC/B,YAAY,EAAE,MAAM,CAAC,WAAW;KACjC,CAAC;AACJ,CAAC"}

package/dist/policy/rubric.d.ts

@@ -0,0 +1,28 @@
+import { RUBRIC_DIM_SCORE_BY_JUDGMENT, RubricDimResult, type RubricJudgment, RubricResult, type RubricRuntimeSignal, RubricTieBreak } from '../schemas/rubric.js';
+export { RUBRIC_DIM_SCORE_BY_JUDGMENT };
+export declare const THREE_AXIS_RUBRIC_TIE_BREAK_ORDER: readonly ["evidence_rigor", "actionability", "coverage_adequacy", "scope_discipline", "honest_calibration", "project_specificity", "insight_density", "branch_distinctness"];
+export interface RubricDimInput {
+    readonly runtime_signal: RubricRuntimeSignal;
+    readonly model_judgment: RubricJudgment;
+}
+export interface RubricResultInput {
+    readonly dims: Readonly<Record<string, RubricDimInput>>;
+    readonly orderedDims?: readonly string[];
+    readonly finalReason?: string;
+}
+export interface RubricCandidate {
+    readonly id: string;
+    readonly original_ordinal: number;
+    readonly result: RubricResult;
+}
+export interface RubricRanking<T extends RubricCandidate> {
+    readonly winner: T;
+    readonly runner_up?: T;
+    readonly ranked: readonly T[];
+    readonly margin: number | null;
+    readonly tie_break: RubricTieBreak;
+}
+export declare function combineRubricDim(input: RubricDimInput): RubricDimResult;
+export declare function combineRubricResult(input: RubricResultInput): RubricResult;
+export declare function rankRubricCandidates<T extends RubricCandidate>(candidates: readonly T[], orderedDims?: readonly string[]): RubricRanking<T>;
+//# sourceMappingURL=rubric.d.ts.map

package/dist/policy/rubric.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rubric.d.ts","sourceRoot":"","sources":["../../src/policy/rubric.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,4BAA4B,EAC5B,eAAe,EACf,KAAK,cAAc,EACnB,YAAY,EACZ,KAAK,mBAAmB,EACxB,cAAc,EAGf,MAAM,sBAAsB,CAAC;AAK9B,OAAO,EAAE,4BAA4B,EAAE,CAAC;AAExC,eAAO,MAAM,iCAAiC,8KASpC,CAAC;AAEX,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,cAAc,EAAE,mBAAmB,CAAC;IAC7C,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;CACzC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC;IACxD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;CAC/B;AAED,MAAM,WAAW,aAAa,CAAC,CAAC,SAAS,eAAe;IACtD,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACnB,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;CACpC;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,cAAc,GAAG,eAAe,CASvE;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,iBAAiB,GAAG,YAAY,CAuB1E;AAED,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,eAAe,EAC5D,UAAU,EAAE,SAAS,CAAC,EAAE,EACxB,WAAW,GAAE,SAAS,MAAM,EAAsC,GACjE,aAAa,CAAC,CAAC,CAAC,CAyDlB"}

package/dist/policy/rubric.js

@@ -0,0 +1,139 @@
+import { RUBRIC_DIM_SCORE_BY_JUDGMENT, RubricDimResult, RubricResult, RubricTieBreak, aggregateRubricScore, roundRubricScore, } from '../schemas/rubric.js';
+// Re-exported for callers that depend on the producer-side name. The canonical
+// definition (and the scoring formula it feeds) lives in ../schemas/rubric.ts
+// so the producer and the validator share one source (CSR-4).
+export { RUBRIC_DIM_SCORE_BY_JUDGMENT };
+export const THREE_AXIS_RUBRIC_TIE_BREAK_ORDER = [
+    'evidence_rigor',
+    'actionability',
+    'coverage_adequacy',
+    'scope_discipline',
+    'honest_calibration',
+    'project_specificity',
+    'insight_density',
+    'branch_distinctness',
+];
+export function combineRubricDim(input) {
+    const finalScore = input.runtime_signal === 'missing' ? 'fail' : input.model_judgment;
+    return RubricDimResult.parse({
+        runtime_signal: input.runtime_signal,
+        model_judgment: input.model_judgment,
+        final_score: finalScore,
+        dim_score: RUBRIC_DIM_SCORE_BY_JUDGMENT[finalScore],
+        runtime_vetoed: input.runtime_signal === 'missing',
+    });
+}
+export function combineRubricResult(input) {
+    const dims = {};
+    for (const [dimId, dim] of Object.entries(input.dims)) {
+        dims[dimId] = combineRubricDim(dim);
+    }
+    const dimIds = Object.keys(dims);
+    if (dimIds.length === 0) {
+        throw new Error('combineRubricResult requires at least one dim');
+    }
+    const aggregateScore = aggregateRubricScore(Object.values(dims).map((dim) => dim.dim_score));
+    const runtimeVetoCount = Object.values(dims).filter((dim) => dim.runtime_vetoed).length;
+    return RubricResult.parse({
+        dims,
+        aggregate_score: aggregateScore,
+        runtime_veto_count: runtimeVetoCount,
+        tie_break: {
+            ordered_dims: [...(input.orderedDims ?? dimIds)],
+            final_reason: input.finalReason ?? 'not-ranked',
+        },
+    });
+}
+export function rankRubricCandidates(candidates, orderedDims = THREE_AXIS_RUBRIC_TIE_BREAK_ORDER) {
+    if (candidates.length === 0) {
+        throw new Error('rankRubricCandidates requires at least one candidate');
+    }
+    if (orderedDims.length === 0) {
+        throw new Error('rankRubricCandidates requires at least one tie-break dim');
+    }
+    const seenDims = new Set();
+    for (const dimId of orderedDims) {
+        if (seenDims.has(dimId)) {
+            throw new Error(`rankRubricCandidates received duplicate tie-break dim '${dimId}'`);
+        }
+        seenDims.add(dimId);
+    }
+    const seenCandidateIds = new Set();
+    const seenOriginalOrdinals = new Set();
+    for (const candidate of candidates) {
+        if (seenCandidateIds.has(candidate.id)) {
+            throw new Error(`duplicate rubric candidate id '${candidate.id}'`);
+        }
+        seenCandidateIds.add(candidate.id);
+        if (!Number.isInteger(candidate.original_ordinal) || candidate.original_ordinal < 1) {
+            throw new Error(`candidate '${candidate.id}' must have a positive original_ordinal`);
+        }
+        if (seenOriginalOrdinals.has(candidate.original_ordinal)) {
+            throw new Error(`duplicate original_ordinal ${candidate.original_ordinal}`);
+        }
+        seenOriginalOrdinals.add(candidate.original_ordinal);
+        for (const dimId of orderedDims) {
+            if (candidate.result.dims[dimId] === undefined) {
+                throw new Error(`candidate '${candidate.id}' is missing tie-break dim '${dimId}'`);
+            }
+        }
+    }
+    const ranked = [...candidates].sort((a, b) => compareRubricCandidates(a, b, orderedDims));
+    const winner = ranked[0];
+    if (winner === undefined) {
+        throw new Error('rankRubricCandidates received no candidates');
+    }
+    const runnerUp = ranked[1];
+    const finalReason = runnerUp === undefined ? 'single_candidate' : tieBreakReason(winner, runnerUp, orderedDims);
+    return {
+        winner,
+        ...(runnerUp === undefined ? {} : { runner_up: runnerUp }),
+        ranked,
+        margin: runnerUp === undefined
+            ? null
+            : roundRubricScore(winner.result.aggregate_score - runnerUp.result.aggregate_score),
+        tie_break: RubricTieBreak.parse({
+            ordered_dims: [...orderedDims],
+            final_reason: finalReason,
+        }),
+    };
+}
+function compareRubricCandidates(a, b, orderedDims) {
+    if (a.result.aggregate_score !== b.result.aggregate_score) {
+        return b.result.aggregate_score - a.result.aggregate_score;
+    }
+    if (a.result.runtime_veto_count !== b.result.runtime_veto_count) {
+        return a.result.runtime_veto_count - b.result.runtime_veto_count;
+    }
+    for (const dimId of orderedDims) {
+        const aDim = a.result.dims[dimId];
+        const bDim = b.result.dims[dimId];
+        if (aDim === undefined || bDim === undefined) {
+            throw new Error(`missing tie-break dim '${dimId}'`);
+        }
+        if (aDim.dim_score !== bDim.dim_score) {
+            return bDim.dim_score - aDim.dim_score;
+        }
+    }
+    return a.original_ordinal - b.original_ordinal;
+}
+function tieBreakReason(winner, runnerUp, orderedDims) {
+    if (winner.result.aggregate_score !== runnerUp.result.aggregate_score) {
+        return 'aggregate_score';
+    }
+    if (winner.result.runtime_veto_count !== runnerUp.result.runtime_veto_count) {
+        return 'runtime_veto_count';
+    }
+    for (const dimId of orderedDims) {
+        const winnerDim = winner.result.dims[dimId];
+        const runnerUpDim = runnerUp.result.dims[dimId];
+        if (winnerDim === undefined || runnerUpDim === undefined) {
+            throw new Error(`missing tie-break dim '${dimId}'`);
+        }
+        if (winnerDim.dim_score !== runnerUpDim.dim_score) {
+            return `dim_score:${dimId}`;
+        }
+    }
+    return 'original_ordinal';
+}
+//# sourceMappingURL=rubric.js.map

package/dist/policy/rubric.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rubric.js","sourceRoot":"","sources":["../../src/policy/rubric.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,4BAA4B,EAC5B,eAAe,EAEf,YAAY,EAEZ,cAAc,EACd,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,sBAAsB,CAAC;AAE9B,+EAA+E;AAC/E,8EAA8E;AAC9E,8DAA8D;AAC9D,OAAO,EAAE,4BAA4B,EAAE,CAAC;AAExC,MAAM,CAAC,MAAM,iCAAiC,GAAG;IAC/C,gBAAgB;IAChB,eAAe;IACf,mBAAmB;IACnB,kBAAkB;IAClB,oBAAoB;IACpB,qBAAqB;IACrB,iBAAiB;IACjB,qBAAqB;CACb,CAAC;AA2BX,MAAM,UAAU,gBAAgB,CAAC,KAAqB;IACpD,MAAM,UAAU,GAAG,KAAK,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;IACtF,OAAO,eAAe,CAAC,KAAK,CAAC;QAC3B,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,WAAW,EAAE,UAAU;QACvB,SAAS,EAAE,4BAA4B,CAAC,UAAU,CAAC;QACnD,cAAc,EAAE,KAAK,CAAC,cAAc,KAAK,SAAS;KACnD,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAwB;IAC1D,MAAM,IAAI,GAAoC,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACtD,IAAI,CAAC,KAAK,CAAC,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACtC,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,cAAc,GAAG,oBAAoB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IAC7F,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC;IAExF,OAAO,YAAY,CAAC,KAAK,CAAC;QACxB,IAAI;QACJ,eAAe,EAAE,cAAc;QAC/B,kBAAkB,EAAE,gBAAgB;QACpC,SAAS,EAAE;YACT,YAAY,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,IAAI,MAAM,CAAC,CAAC;YAChD,YAAY,EAAE,KAAK,CAAC,WAAW,IAAI,YAAY;SAChD;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,UAAwB,EACxB,cAAiC,iCAAiC;IAElE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAChC,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,0DAA0D,KAAK,GAAG,CAAC,CAAC;QACtF,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC;IACD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,kCAAkC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC;QACrE,CAAC;QACD,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,gBAAgB,CAAC,IAAI,SAAS,CAAC,gBAAgB,GAAG,CAAC,EAAE,CAAC;YACpF,MAAM,IAAI,KAAK,CAAC,cAAc,SAAS,CAAC,EAAE,yCAAyC,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,KAAK,CAAC,8BAA8B,SAAS,CAAC,gBAAgB,EAAE,CAAC,CAAC;QAC9E,CAAC;QACD,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QACrD,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;YAChC,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC/C,MAAM,IAAI,KAAK,CAAC,cAAc,SAAS,CAAC,EAAE,+BAA+B,KAAK,GAAG,CAAC,CAAC;YACrF,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,WAAW,GACf,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IAE9F,OAAO;QACL,MAAM;QACN,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;QAC1D,MAAM;QACN,MAAM,EACJ,QAAQ,KAAK,SAAS;YACpB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC;QACvF,SAAS,EAAE,cAAc,CAAC,KAAK,CAAC;YAC9B,YAAY,EAAE,CAAC,GAAG,WAAW,CAAC;YAC9B,YAAY,EAAE,WAAW;SAC1B,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,CAAkB,EAClB,CAAkB,EAClB,WAA8B;IAE9B,IAAI,CAAC,CAAC,MAAM,CAAC,eAAe,KAAK,CAAC,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;QAC1D,OAAO,CAAC,CAAC,MAAM,CAAC,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC;IAC7D,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,CAAC,kBAAkB,KAAK,CAAC,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAChE,OAAO,CAAC,CAAC,MAAM,CAAC,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC;IACnE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7C,MAAM,IAAI,KAAK,CAAC,0BAA0B,KAAK,GAAG,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,EAAE,CAAC;YACtC,OAAO,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QACzC,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC,gBAAgB,GAAG,CAAC,CAAC,gBAAgB,CAAC;AACjD,CAAC;AAED,SAAS,cAAc,CACrB,MAAuB,EACvB,QAAyB,EACzB,WAA8B;IAE9B,IAAI,MAAM,CAAC,MAAM,CAAC,eAAe,KAAK,QAAQ,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;QACtE,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,kBAAkB,KAAK,QAAQ,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC5E,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChD,IAAI,SAAS,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YACzD,MAAM,IAAI,KAAK,CAAC,0BAA0B,KAAK,GAAG,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,SAAS,CAAC,SAAS,KAAK,WAAW,CAAC,SAAS,EAAE,CAAC;YAClD,OAAO,aAAa,KAAK,EAAE,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,kBAAkB,CAAC;AAC5B,CAAC"}

package/dist/release/checks.d.ts

@@ -0,0 +1,45 @@
+import type { CapabilityAxes, CurrentCapability, CurrentCapabilitySnapshot, OriginalCapabilitySnapshot, ParityExceptionLedger, ProofScenarioIndex, PublicClaimLedger } from './schemas.js';
+export interface ReleaseCheckResult {
+    readonly issues: readonly string[];
+    readonly warnings: readonly string[];
+}
+export declare const CANONICAL_TEXT_AXIS_VALUES: Readonly<Record<string, readonly string[]>>;
+export declare function behavioralAxisMismatches(input: {
+    readonly expected: {
+        readonly axes: CapabilityAxes;
+    };
+    readonly actual: {
+        readonly axes?: CapabilityAxes;
+    };
+}): readonly string[];
+export interface ScriptCheckResult {
+    readonly ok: boolean;
+    readonly detail?: string;
+}
+export declare function executeScriptCheck(check: string): ScriptCheckResult;
+export declare function capabilityMap(current: CurrentCapabilitySnapshot): ReadonlyMap<string, CurrentCapability>;
+export declare function compareParity(input: {
+    readonly original: OriginalCapabilitySnapshot;
+    readonly current: CurrentCapabilitySnapshot;
+    readonly exceptions: ParityExceptionLedger;
+}): ReleaseCheckResult;
+export declare const FLOW_CATALOG_CLAIM_ID = "CLAIM-FLOW-CATALOG-CURRENT";
+export declare function validatePublicClaims(input: {
+    readonly claims: PublicClaimLedger;
+    readonly current: CurrentCapabilitySnapshot;
+    readonly proofs: ProofScenarioIndex;
+    readonly exceptions: ParityExceptionLedger;
+    readonly pathExists: (path: string) => boolean;
+    readonly runScriptCheck?: (check: string) => ScriptCheckResult;
+}): ReleaseCheckResult;
+export declare function validateProofCoverage(input: {
+    readonly proofs: ProofScenarioIndex;
+    readonly exceptions: ParityExceptionLedger;
+    readonly pathExists: (path: string) => boolean;
+}): ReleaseCheckResult;
+export declare function releaseBlockers(input: {
+    readonly exceptions: ParityExceptionLedger;
+    readonly claims: PublicClaimLedger;
+    readonly proofs: ProofScenarioIndex;
+}): readonly string[];
+//# sourceMappingURL=checks.d.ts.map

package/dist/release/checks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checks.d.ts","sourceRoot":"","sources":["../../src/release/checks.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,cAAc,EACd,iBAAiB,EACjB,yBAAyB,EACzB,0BAA0B,EAE1B,qBAAqB,EACrB,kBAAkB,EAClB,iBAAiB,EAClB,MAAM,cAAc,CAAC;AAEtB,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AA2ED,eAAO,MAAM,0BAA0B,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAqClF,CAAC;AA4BF,wBAAgB,wBAAwB,CAAC,KAAK,EAAE;IAC9C,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;KAAE,CAAC;IACrD,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,cAAc,CAAA;KAAE,CAAC;CACrD,GAAG,SAAS,MAAM,EAAE,CA6BpB;AAOD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAQD,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,iBAAiB,CAenE;AAWD,wBAAgB,aAAa,CAC3B,OAAO,EAAE,yBAAyB,GACjC,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAExC;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE;IACnC,QAAQ,CAAC,QAAQ,EAAE,0BAA0B,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,yBAAyB,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C,GAAG,kBAAkB,CAoCrB;AAOD,eAAO,MAAM,qBAAqB,+BAA+B,CAAC;AAWlE,wBAAgB,oBAAoB,CAAC,KAAK,EAAE;IAC1C,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,yBAAyB,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;IAC3C,QAAQ,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;IAG/C,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,iBAAiB,CAAC;CAChE,GAAG,kBAAkB,CA+FrB;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE;IAC3C,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;IAC3C,QAAQ,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;CAChD,GAAG,kBAAkB,CAyCrB;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE;IACrC,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;CACrC,GAAG,SAAS,MAAM,EAAE,CAsBpB"}