@mmnto/totem 1.67.0 → 1.68.0

package/dist/spine/split.js

@@ -0,0 +1,235 @@
+// ─── ADR-111 §5 Gate-1 train/test split — frozen, ancestry-ordered ──────────
+//
+// The mining/control split over the frozen corpus `selectionRule(asOfCommit)`
+// (ADR-110 §6). Committed as a lock BEFORE extraction; `trainPrs` = the OLDER
+// ancestry segment (mining), `heldOutPrs` = the NEWER held-out segment
+// (control) — forward-chronological, never a random shuffle (reverse-causality
+// leakage) and never commit-date (rebase-rewritable; the same `--topo-order`
+// invariant as #2197). The split is a THREE-WAY DISJOINT COVER of the corpus:
+// `trainPrs ⊎ heldOutPrs ⊎ excludedPrs == selectionRule(asOfCommit)`, with the
+// positive/negative controls as designated tags WITHIN `heldOutPrs` (never a
+// separate cover bucket). Total accounting (FM (d)/(g)): a corpus PR in no slice
+// is a silent drop; a slice PR outside the corpus is an out-of-corpus member.
+//
+// This module is the pure schema + the deterministic cover validator (the §8
+// split-ledger check) + the forward-ancestry-cut producer. IO (git enumeration
+// → PrMeta) lives in the cli layer, as with `selection-rule.ts`.
+import { z } from 'zod';
+import { diffPrSets } from './selection-rule.js';
+/** Lowercase 40-hex git commit SHA — canonical git form (cf. compiler-schema `COMMIT_SHA_RE`). */
+const COMMIT_SHA_RE = /^[0-9a-f]{40}$/;
+const PrNumber = z.number().int().positive();
+/**
+ * ADR-111 §5 — the frozen split artifact, committed before extraction. The
+ * concrete `cutIndex` is the deferred window-open scalar (Deferred Decisions);
+ * the field is required in the committed artifact, only its value is deferred.
+ */
+export const SplitArtifactSchema = z
+    .object({
+    asOfCommit: z.string().regex(COMMIT_SHA_RE),
+    /** The OLDER ancestry segment — the mining slice. */
+    trainPrs: z.array(PrNumber),
+    /** The NEWER held-out segment — control evaluation. Controls are tags within this. */
+    heldOutPrs: z.array(PrNumber),
+    /** Explicitly enumerated drops (the atomic revert pairs). */
+    excludedPrs: z.array(PrNumber),
+    /** Positive controls — a designated subset (tag) of `heldOutPrs`, never a separate cover bucket. */
+    positiveControlPrs: z.array(PrNumber),
+    /** Negative controls — a designated subset (tag) of `heldOutPrs`. */
+    negativeControlPrs: z.array(PrNumber),
+    splitRule: z.object({
+        /** Human-readable predicate expression that generated the corpus (mirrors the windtunnel lock's `selectionRule.predicate`). */
+        predicate: z.string().refine((s) => s.trim().length > 0, {
+            message: 'splitRule.predicate must be a non-empty expression',
+        }),
+        /**
+         * Forward-chronological ancestry cut: `trainPrs` = the `cutIndex` OLDEST
+         * corpus PRs (ancestry order), `heldOutPrs` = the newer remainder. Concrete
+         * value deferred to window-open (ADR-111 Deferred Decisions).
+         */
+        cutIndex: z.number().int().nonnegative(),
+    }),
+})
+    .superRefine((s, ctx) => {
+    // Disjoint cover is a BAG/ROW property, but the cover/overlap checks dedupe via
+    // Set semantics — so a duplicate row (e.g. trainPrs [1,1,2]) would slip through.
+    // Reject duplicates within each slice/control list at the schema boundary.
+    const lists = [
+        ['trainPrs', s.trainPrs],
+        ['heldOutPrs', s.heldOutPrs],
+        ['excludedPrs', s.excludedPrs],
+        ['positiveControlPrs', s.positiveControlPrs],
+        ['negativeControlPrs', s.negativeControlPrs],
+    ];
+    for (const [field, arr] of lists) {
+        if (new Set(arr).size !== arr.length) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: `${field} contains duplicate PRs`,
+                path: [field],
+            });
+        }
+    }
+});
+/** Thrown when `resolveSplit` cannot produce a clean three-way disjoint cover (Tenet 4, fail-loud). */
+export class SplitCoverError extends Error {
+    result;
+    constructor(result) {
+        super(`[Totem Error] split is not a valid disjoint cover of selectionRule(asOfCommit): ${summarizeCover(result)}`);
+        this.result = result;
+        this.name = 'SplitCoverError';
+    }
+}
+function uniqueSorted(xs) {
+    return [...new Set(xs)].sort((a, b) => a - b);
+}
+function intersect(a, b) {
+    const bs = new Set(b);
+    return uniqueSorted(a.filter((x) => bs.has(x)));
+}
+function summarizeCover(r) {
+    const parts = [];
+    if (r.cover.missing.length)
+        parts.push(`missing(FM-g)=[${r.cover.missing}]`);
+    if (r.cover.extra.length)
+        parts.push(`extra(FM-d)=[${r.cover.extra}]`);
+    if (r.overlaps.trainHeldOut.length)
+        parts.push(`train∩heldOut=[${r.overlaps.trainHeldOut}]`);
+    if (r.overlaps.trainExcluded.length)
+        parts.push(`train∩excluded=[${r.overlaps.trainExcluded}]`);
+    if (r.overlaps.heldOutExcluded.length)
+        parts.push(`heldOut∩excluded=[${r.overlaps.heldOutExcluded}]`);
+    if (r.controlsOutsideHeldOut.length)
+        parts.push(`controls⊄heldOut=[${r.controlsOutsideHeldOut}]`);
+    if (r.controlOverlap.length)
+        parts.push(`pos∩neg=[${r.controlOverlap}]`);
+    if (r.mergeCommitCollisions.length)
+        parts.push(`mergeCommitCollisions=[${r.mergeCommitCollisions}]`);
+    return parts.join(' ');
+}
+/**
+ * The §8 split-ledger check: verifies the split is a three-way disjoint cover of
+ * `corpus` (= `selectionRule(asOfCommit)`), that the controls are tags within
+ * `heldOutPrs`, and that the slices are disjoint by merge-commit (not only PR#).
+ * Pure; the harness asserts `ok` and reads the per-field diffs to pin the exact
+ * Falsifying-Metric clause (FM(d) extra / FM(g) missing).
+ */
+export function validateSplitCover(split, corpus, mergeCommitByPr) {
+    const union = [...split.trainPrs, ...split.heldOutPrs, ...split.excludedPrs];
+    const cover = diffPrSets(corpus, union); // missing ⇒ FM(g), extra ⇒ FM(d)
+    const overlaps = {
+        trainHeldOut: intersect(split.trainPrs, split.heldOutPrs),
+        trainExcluded: intersect(split.trainPrs, split.excludedPrs),
+        heldOutExcluded: intersect(split.heldOutPrs, split.excludedPrs),
+    };
+    const heldOutSet = new Set(split.heldOutPrs);
+    const controlsOutsideHeldOut = uniqueSorted([...split.positiveControlPrs, ...split.negativeControlPrs].filter((pr) => !heldOutSet.has(pr)));
+    const controlOverlap = intersect(split.positiveControlPrs, split.negativeControlPrs);
+    const mergeCommitCollisions = mergeCommitCollisionsAcrossSlices(split, mergeCommitByPr);
+    const ok = cover.missing.length === 0 &&
+        cover.extra.length === 0 &&
+        overlaps.trainHeldOut.length === 0 &&
+        overlaps.trainExcluded.length === 0 &&
+        overlaps.heldOutExcluded.length === 0 &&
+        controlsOutsideHeldOut.length === 0 &&
+        controlOverlap.length === 0 &&
+        mergeCommitCollisions.length === 0;
+    return { ok, cover, overlaps, controlsOutsideHeldOut, controlOverlap, mergeCommitCollisions };
+}
+/** SHAs whose owning PRs land in >1 slice. With 1:1 PR→SHA this also catches a malformed straddle. */
+function mergeCommitCollisionsAcrossSlices(split, mergeCommitByPr) {
+    const slices = [split.trainPrs, split.heldOutPrs, split.excludedPrs];
+    const shaSliceCount = new Map();
+    for (const slice of slices) {
+        const shasInSlice = new Set();
+        for (const pr of slice) {
+            const sha = mergeCommitByPr.get(pr);
+            if (sha !== undefined)
+                shasInSlice.add(sha);
+        }
+        for (const sha of shasInSlice)
+            shaSliceCount.set(sha, (shaSliceCount.get(sha) ?? 0) + 1);
+    }
+    return [...shaSliceCount.entries()]
+        .filter(([, n]) => n > 1)
+        .map(([sha]) => sha)
+        .sort();
+}
+/**
+ * Produce a frozen split from the resolved corpus by the forward-chronological
+ * ancestry cut. `corpus` is `selectionRule(asOfCommit)` (the cover base);
+ * `orderedNewestFirst` is the same ancestry enumeration `resolveSelectionRule`
+ * consumes (`git log --topo-order`, newest-first) and MUST cover the corpus.
+ * `excludedPrs` (the atomic revert pairs) are removed from train/heldOut but
+ * remain in the cover. Validates the result and throws `SplitCoverError` on any
+ * cover/disjointness violation (Tenet 4) — a malformed split never freezes.
+ *
+ * CONTRACT (corpus-scope model A, confirmed by totem-codex's #2200 review; pending
+ * strategy-claude's final §5 word): `corpus` is the cover BASE that INCLUDES the
+ * PRs later assigned to `excludedPrs` — i.e. `selectionRule` is resolved here with
+ * reverts retained, and `excludedPrs` enumerates them explicitly, so
+ * `train ⊎ heldOut ⊎ excluded == corpus` holds and every `excludedPr` is a corpus
+ * member. (The alternative — `selectionRule(asOfCommit)` pre-excludes reverts yet
+ * the split still records them in `excludedPrs` — is NOT supported by the current
+ * schema, which rejects excluded PRs outside the corpus; revisit only if strategy
+ * pins that model.) The fail-loud `excludedPrs ⊆ corpus` guard below enforces this.
+ */
+export function resolveSplit(params) {
+    const corpusSet = new Set(params.corpus);
+    const excludedSet = new Set(params.excludedPrs);
+    // Corpus PRs in ancestry order, newest-first, deduped — then reversed to oldest-first.
+    const seen = new Set();
+    const newestFirstCorpus = [];
+    for (const pr of params.orderedNewestFirst) {
+        if (!corpusSet.has(pr) || seen.has(pr))
+            continue;
+        seen.add(pr);
+        newestFirstCorpus.push(pr);
+    }
+    const ordering = diffPrSets(params.corpus, newestFirstCorpus);
+    if (ordering.missing.length > 0) {
+        throw new Error(`[Totem Error] resolveSplit: orderedNewestFirst does not cover the corpus (missing ancestry order for [${ordering.missing}])`);
+    }
+    // The merge-commit collision check silently skips PRs absent from the map, so a
+    // partial map would weaken the disjoint-by-merge-commit guard — require coverage.
+    const missingMergeCommits = params.corpus.filter((pr) => !params.mergeCommitByPr.has(pr));
+    if (missingMergeCommits.length > 0) {
+        throw new Error(`[Totem Error] resolveSplit: mergeCommitByPr does not cover the corpus (missing merge commits for [${missingMergeCommits}])`);
+    }
+    // excludedPrs MUST be corpus-scoped revert pairs (ADR-111 §5: every listed PR is
+    // a corpus member). A non-corpus entry is a caller contract violation — fail loud
+    // (NOT silently filtered, which would hide the error and break total accounting).
+    const nonCorpusExcluded = params.excludedPrs.filter((pr) => !corpusSet.has(pr));
+    if (nonCorpusExcluded.length > 0) {
+        throw new Error(`[Totem Error] resolveSplit: excludedPrs contains PRs outside the corpus [${nonCorpusExcluded}] — excludedPrs must be corpus-scoped (ADR-111 §5)`);
+    }
+    const oldestFirstNonExcluded = [...newestFirstCorpus]
+        .reverse()
+        .filter((pr) => !excludedSet.has(pr));
+    // A certifying split needs BOTH a non-empty train slice and a non-empty held-out
+    // slice — cutIndex 0 (empty train) or == size (empty held-out, which `slice`
+    // reaches by silent clamp) makes the train/test contract vacuous. Fail loud.
+    if (params.cutIndex <= 0 || params.cutIndex >= oldestFirstNonExcluded.length) {
+        throw new Error(`[Totem Error] resolveSplit: cutIndex ${params.cutIndex} must be strictly between 0 and the non-excluded corpus size ${oldestFirstNonExcluded.length} (non-empty train + held-out)`);
+    }
+    const trainPrs = uniqueSorted(oldestFirstNonExcluded.slice(0, params.cutIndex));
+    const heldOutPrs = uniqueSorted(oldestFirstNonExcluded.slice(params.cutIndex));
+    const split = SplitArtifactSchema.parse({
+        asOfCommit: params.asOfCommit,
+        trainPrs,
+        heldOutPrs,
+        excludedPrs: uniqueSorted(params.excludedPrs),
+        positiveControlPrs: uniqueSorted(params.positiveControlPrs ?? []),
+        negativeControlPrs: uniqueSorted(params.negativeControlPrs ?? []),
+        splitRule: { predicate: params.predicate, cutIndex: params.cutIndex },
+    });
+    const validation = validateSplitCover(split, params.corpus, params.mergeCommitByPr);
+    if (!validation.ok)
+        throw new SplitCoverError(validation);
+    return split;
+}
+/** Re-export for callers building the `mergeCommitByPr` map from enumerated metas. */
+export function mergeCommitMap(metas) {
+    return new Map(metas.map((m) => [m.pr, m.mergeCommit]));
+}
+//# sourceMappingURL=split.js.map

package/dist/spine/split.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"split.js","sourceRoot":"","sources":["../../src/spine/split.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,8EAA8E;AAC9E,8EAA8E;AAC9E,uEAAuE;AACvE,+EAA+E;AAC/E,6EAA6E;AAC7E,8EAA8E;AAC9E,+EAA+E;AAC/E,6EAA6E;AAC7E,iFAAiF;AACjF,8EAA8E;AAC9E,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,iEAAiE;AAEjE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,UAAU,EAA+B,MAAM,qBAAqB,CAAC;AAE9E,kGAAkG;AAClG,MAAM,aAAa,GAAG,gBAAgB,CAAC;AAEvC,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;AAE7C;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KACjC,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC;IAC3C,qDAAqD;IACrD,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IAC3B,sFAAsF;IACtF,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IAC7B,6DAA6D;IAC7D,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IAC9B,oGAAoG;IACpG,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IACrC,qEAAqE;IACrE,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IACrC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC;QAClB,+HAA+H;QAC/H,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE;YACvD,OAAO,EAAE,oDAAoD;SAC9D,CAAC;QACF;;;;WAIG;QACH,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;KACzC,CAAC;CACH,CAAC;KACD,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;IACtB,gFAAgF;IAChF,iFAAiF;IACjF,2EAA2E;IAC3E,MAAM,KAAK,GAA+C;QACxD,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC;QACxB,CAAC,YAAY,EAAE,CAAC,CAAC,UAAU,CAAC;QAC5B,CAAC,aAAa,EAAE,CAAC,CAAC,WAAW,CAAC;QAC9B,CAAC,oBAAoB,EAAE,CAAC,CAAC,kBAAkB,CAAC;QAC5C,CAAC,oBAAoB,EAAE,CAAC,CAAC,kBAAkB,CAAC;KAC7C,CAAC;IACF,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;QACjC,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC;YACrC,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,GAAG,KAAK,yBAAyB;gBAC1C,IAAI,EAAE,CAAC,KAAK,CAAC;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAIL,uGAAuG;AACvG,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACZ;IAA5B,YAA4B,MAAwB;QAClD,KAAK,CACH,mFAAmF,cAAc,CAAC,MAAM,CAAC,EAAE,CAC5G,CAAC;QAHwB,WAAM,GAAN,MAAM,CAAkB;QAIlD,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAqBD,SAAS,YAAY,CAAC,EAAY;IAChC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,SAAS,CAAC,CAAW,EAAE,CAAW;IACzC,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,OAAO,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,cAAc,CAAC,CAAmB;IACzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;IAC7E,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;IACvE,IAAI,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,YAAY,GAAG,CAAC,CAAC;IAC7F,IAAI,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,aAAa,GAAG,CAAC,CAAC;IAChG,IAAI,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,MAAM;QACnC,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,eAAe,GAAG,CAAC,CAAC;IACjE,IAAI,CAAC,CAAC,sBAAsB,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,sBAAsB,GAAG,CAAC,CAAC;IAClG,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,cAAc,GAAG,CAAC,CAAC;IACzE,IAAI,CAAC,CAAC,qBAAqB,CAAC,MAAM;QAChC,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,qBAAqB,GAAG,CAAC,CAAC;IACnE,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAoB,EACpB,MAAgB,EAChB,eAA4C;IAE5C,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,UAAU,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,iCAAiC;IAE1E,MAAM,QAAQ,GAAG;QACf,YAAY,EAAE,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC;QACzD,aAAa,EAAE,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC;QAC3D,eAAe,EAAE,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,WAAW,CAAC;KAChE,CAAC;IAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC7C,MAAM,sBAAsB,GAAG,YAAY,CACzC,CAAC,GAAG,KAAK,CAAC,kBAAkB,EAAE,GAAG,KAAK,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAC/F,CAAC;IAEF,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,CAAC,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC;IACrF,MAAM,qBAAqB,GAAG,iCAAiC,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IAExF,MAAM,EAAE,GACN,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAC1B,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACxB,QAAQ,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;QAClC,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QACnC,QAAQ,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QACrC,sBAAsB,CAAC,MAAM,KAAK,CAAC;QACnC,cAAc,CAAC,MAAM,KAAK,CAAC;QAC3B,qBAAqB,CAAC,MAAM,KAAK,CAAC,CAAC;IAErC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,sBAAsB,EAAE,cAAc,EAAE,qBAAqB,EAAE,CAAC;AAChG,CAAC;AAED,sGAAsG;AACtG,SAAS,iCAAiC,CACxC,KAAoB,EACpB,eAA4C;IAE5C,MAAM,MAAM,GAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IACjF,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACvB,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACpC,IAAI,GAAG,KAAK,SAAS;gBAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9C,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,WAAW;YAAE,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,CAAC,GAAG,aAAa,CAAC,OAAO,EAAE,CAAC;SAChC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;SACxB,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC;SACnB,IAAI,EAAE,CAAC;AACZ,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,YAAY,CAAC,MAU5B;IACC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAEhD,uFAAuF;IACvF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC3C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QACjD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,yGAAyG,QAAQ,CAAC,OAAO,IAAI,CAC9H,CAAC;IACJ,CAAC;IAED,gFAAgF;IAChF,kFAAkF;IAClF,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1F,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,qGAAqG,mBAAmB,IAAI,CAC7H,CAAC;IACJ,CAAC;IAED,iFAAiF;IACjF,kFAAkF;IAClF,kFAAkF;IAClF,MAAM,iBAAiB,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAChF,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,4EAA4E,iBAAiB,oDAAoD,CAClJ,CAAC;IACJ,CAAC;IAED,MAAM,sBAAsB,GAAG,CAAC,GAAG,iBAAiB,CAAC;SAClD,OAAO,EAAE;SACT,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,iFAAiF;IACjF,6EAA6E;IAC7E,6EAA6E;IAC7E,IAAI,MAAM,CAAC,QAAQ,IAAI,CAAC,IAAI,MAAM,CAAC,QAAQ,IAAI,sBAAsB,CAAC,MAAM,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CACb,wCAAwC,MAAM,CAAC,QAAQ,gEAAgE,sBAAsB,CAAC,MAAM,+BAA+B,CACpL,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChF,MAAM,UAAU,GAAG,YAAY,CAAC,sBAAsB,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAE/E,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC;QACtC,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,QAAQ;QACR,UAAU;QACV,WAAW,EAAE,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC;QAC7C,kBAAkB,EAAE,YAAY,CAAC,MAAM,CAAC,kBAAkB,IAAI,EAAE,CAAC;QACjE,kBAAkB,EAAE,YAAY,CAAC,MAAM,CAAC,kBAAkB,IAAI,EAAE,CAAC;QACjE,SAAS,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE;KACtE,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC;IACpF,IAAI,CAAC,UAAU,CAAC,EAAE;QAAE,MAAM,IAAI,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,cAAc,CAAC,KAAe;IAC5C,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC"}

package/dist/spine/split.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=split.test.d.ts.map

package/dist/spine/split.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"split.test.d.ts","sourceRoot":"","sources":["../../src/spine/split.test.ts"],"names":[],"mappings":""}

package/dist/spine/split.test.js

@@ -0,0 +1,142 @@
+import { describe, expect, it } from 'vitest';
+import { resolveSplit, SplitArtifactSchema, SplitCoverError, validateSplitCover, } from './split.js';
+const sha = (n) => String(n).padStart(40, '0');
+const mcMap = (prs) => new Map(prs.map((pr) => [pr, sha(pr)]));
+function split(overrides) {
+    return SplitArtifactSchema.parse({
+        asOfCommit: sha(100),
+        trainPrs: [1, 2],
+        heldOutPrs: [3, 4],
+        excludedPrs: [],
+        positiveControlPrs: [3],
+        negativeControlPrs: [4],
+        splitRule: { predicate: 'code-touching non-bot', cutIndex: 2 },
+        ...overrides,
+    });
+}
+describe('validateSplitCover', () => {
+    const corpus = [1, 2, 3, 4];
+    const mc = mcMap(corpus);
+    it('accepts a clean three-way disjoint cover', () => {
+        expect(validateSplitCover(split(), corpus, mc).ok).toBe(true);
+    });
+    it('rejects duplicate PRs within a slice at the schema boundary', () => {
+        expect(() => split({ trainPrs: [1, 1, 2] })).toThrow(/duplicate/);
+    });
+    it('flags an out-of-corpus member as FM(d) (cover.extra)', () => {
+        const r = validateSplitCover(split({ heldOutPrs: [3, 4, 99] }), corpus, mcMap([...corpus, 99]));
+        expect(r.cover.extra).toEqual([99]);
+        expect(r.cover.missing).toEqual([]);
+        expect(r.ok).toBe(false);
+    });
+    it('flags a silent corpus drop as FM(g) (cover.missing)', () => {
+        const r = validateSplitCover(split({ heldOutPrs: [3], negativeControlPrs: [] }), corpus, mc);
+        expect(r.cover.missing).toEqual([4]);
+        expect(r.cover.extra).toEqual([]);
+        expect(r.ok).toBe(false);
+    });
+    it('flags a train/heldOut overlap (e-split disjointness)', () => {
+        const r = validateSplitCover(split({ trainPrs: [1, 2, 3], heldOutPrs: [3, 4] }), corpus, mc);
+        expect(r.overlaps.trainHeldOut).toEqual([3]);
+        expect(r.ok).toBe(false);
+    });
+    it('flags a control outside heldOut', () => {
+        const r = validateSplitCover(split({ positiveControlPrs: [1] }), corpus, mc);
+        expect(r.controlsOutsideHeldOut).toEqual([1]);
+        expect(r.ok).toBe(false);
+    });
+    it('flags a PR tagged as both a positive and negative control', () => {
+        const r = validateSplitCover(split({ negativeControlPrs: [3, 4] }), corpus, mc);
+        expect(r.controlOverlap).toEqual([3]);
+        expect(r.ok).toBe(false);
+    });
+    it('flags a merge-commit collision across slices', () => {
+        const collide = new Map(mc);
+        collide.set(3, sha(2)); // PR 3 (heldOut) collides with PR 2 (train)
+        const r = validateSplitCover(split(), corpus, collide);
+        expect(r.mergeCommitCollisions).toEqual([sha(2)]);
+        expect(r.ok).toBe(false);
+    });
+});
+describe('resolveSplit — forward-ancestry cut', () => {
+    const corpus = [1, 2, 3, 4];
+    it('puts the OLDER ancestry segment in train', () => {
+        const s = resolveSplit({
+            asOfCommit: sha(100),
+            corpus,
+            orderedNewestFirst: [4, 3, 2, 1], // newest-first; oldest-first = [1,2,3,4]
+            excludedPrs: [],
+            cutIndex: 2,
+            positiveControlPrs: [3],
+            negativeControlPrs: [4],
+            predicate: 'p',
+            mergeCommitByPr: mcMap(corpus),
+        });
+        expect(s.trainPrs).toEqual([1, 2]);
+        expect(s.heldOutPrs).toEqual([3, 4]);
+    });
+    it('throws on excludedPrs outside the corpus (fail-loud, not silently filtered)', () => {
+        expect(() => resolveSplit({
+            asOfCommit: sha(100),
+            corpus,
+            orderedNewestFirst: [4, 3, 2, 1],
+            excludedPrs: [99], // not a corpus member
+            cutIndex: 2,
+            predicate: 'p',
+            mergeCommitByPr: mcMap(corpus),
+        })).toThrow(/excludedPrs contains PRs outside the corpus/);
+    });
+    it('throws when mergeCommitByPr does not cover the corpus', () => {
+        expect(() => resolveSplit({
+            asOfCommit: sha(100),
+            corpus,
+            orderedNewestFirst: [4, 3, 2, 1],
+            excludedPrs: [],
+            cutIndex: 2,
+            predicate: 'p',
+            mergeCommitByPr: mcMap([1, 2, 3]), // missing PR 4
+        })).toThrow(/mergeCommitByPr does not cover the corpus/);
+    });
+    it('throws SplitCoverError when a designated control falls outside heldOut', () => {
+        expect(() => resolveSplit({
+            asOfCommit: sha(100),
+            corpus,
+            orderedNewestFirst: [4, 3, 2, 1],
+            excludedPrs: [],
+            cutIndex: 2,
+            positiveControlPrs: [1], // a train PR, not in heldOut
+            predicate: 'p',
+            mergeCommitByPr: mcMap(corpus),
+        })).toThrow(SplitCoverError);
+    });
+    it('throws when the ancestry ordering does not cover the corpus', () => {
+        expect(() => resolveSplit({
+            asOfCommit: sha(100),
+            corpus,
+            orderedNewestFirst: [4, 3, 2], // missing PR 1
+            excludedPrs: [],
+            cutIndex: 2,
+            predicate: 'p',
+            mergeCommitByPr: mcMap(corpus),
+        })).toThrow(/does not cover the corpus/);
+    });
+    const cutParams = (cutIndex) => ({
+        asOfCommit: sha(100),
+        corpus,
+        orderedNewestFirst: [4, 3, 2, 1],
+        excludedPrs: [],
+        cutIndex,
+        predicate: 'p',
+        mergeCommitByPr: mcMap(corpus),
+    });
+    it('throws when cutIndex exceeds the non-excluded corpus size', () => {
+        expect(() => resolveSplit(cutParams(5))).toThrow(/cutIndex 5 must be strictly between/);
+    });
+    it('throws when cutIndex is 0 (empty train slice)', () => {
+        expect(() => resolveSplit(cutParams(0))).toThrow(/cutIndex 0 must be strictly between/);
+    });
+    it('throws when cutIndex == size (empty held-out slice)', () => {
+        expect(() => resolveSplit(cutParams(4))).toThrow(/cutIndex 4 must be strictly between/);
+    });
+});
+//# sourceMappingURL=split.test.js.map

package/dist/spine/split.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"split.test.js","sourceRoot":"","sources":["../../src/spine/split.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EACL,YAAY,EAEZ,mBAAmB,EACnB,eAAe,EACf,kBAAkB,GACnB,MAAM,YAAY,CAAC;AAEpB,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAC/D,MAAM,KAAK,GAAG,CAAC,GAAa,EAAuB,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAE9F,SAAS,KAAK,CAAC,SAAkC;IAC/C,OAAO,mBAAmB,CAAC,KAAK,CAAC;QAC/B,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC;QACpB,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAChB,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAClB,WAAW,EAAE,EAAE;QACf,kBAAkB,EAAE,CAAC,CAAC,CAAC;QACvB,kBAAkB,EAAE,CAAC,CAAC,CAAC;QACvB,SAAS,EAAE,EAAE,SAAS,EAAE,uBAAuB,EAAE,QAAQ,EAAE,CAAC,EAAE;QAC9D,GAAG,SAAS;KACb,CAAC,CAAC;AACL,CAAC;AAED,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAEzB,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,kBAAkB,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,GAAG,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAChG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QAC7F,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QAC7F,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QAC7E,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QAChF,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,4CAA4C;QACpE,MAAM,CAAC,GAAG,kBAAkB,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACvD,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAE5B,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,YAAY,CAAC;YACrB,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC;YACpB,MAAM;YACN,kBAAkB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,yCAAyC;YAC3E,WAAW,EAAE,EAAE;YACf,QAAQ,EAAE,CAAC;YACX,kBAAkB,EAAE,CAAC,CAAC,CAAC;YACvB,kBAAkB,EAAE,CAAC,CAAC,CAAC;YACvB,SAAS,EAAE,GAAG;YACd,eAAe,EAAE,KAAK,CAAC,MAAM,CAAC;SAC/B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,GAAG,EAAE,CACV,YAAY,CAAC;YACX,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC;YACpB,MAAM;YACN,kBAAkB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAChC,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE,sBAAsB;YACzC,QAAQ,EAAE,CAAC;YACX,SAAS,EAAE,GAAG;YACd,eAAe,EAAE,KAAK,CAAC,MAAM,CAAC;SAC/B,CAAC,CACH,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,EAAE,CACV,YAAY,CAAC;YACX,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC;YACpB,MAAM;YACN,kBAAkB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAChC,WAAW,EAAE,EAAE;YACf,QAAQ,EAAE,CAAC;YACX,SAAS,EAAE,GAAG;YACd,eAAe,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe;SACnD,CAAC,CACH,CAAC,OAAO,CAAC,2CAA2C,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,EAAE,CACV,YAAY,CAAC;YACX,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC;YACpB,MAAM;YACN,kBAAkB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAChC,WAAW,EAAE,EAAE;YACf,QAAQ,EAAE,CAAC;YACX,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,6BAA6B;YACtD,SAAS,EAAE,GAAG;YACd,eAAe,EAAE,KAAK,CAAC,MAAM,CAAC;SAC/B,CAAC,CACH,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,EAAE,CACV,YAAY,CAAC;YACX,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC;YACpB,MAAM;YACN,kBAAkB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,eAAe;YAC9C,WAAW,EAAE,EAAE;YACf,QAAQ,EAAE,CAAC;YACX,SAAS,EAAE,GAAG;YACd,eAAe,EAAE,KAAK,CAAC,MAAM,CAAC;SAC/B,CAAC,CACH,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,CAAC,QAAgB,EAAE,EAAE,CAAC,CAAC;QACvC,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC;QACpB,MAAM;QACN,kBAAkB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAChC,WAAW,EAAE,EAAc;QAC3B,QAAQ;QACR,SAAS,EAAE,GAAG;QACd,eAAe,EAAE,KAAK,CAAC,MAAM,CAAC;KAC/B,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/spine/windtunnel-lock.d.ts

@@ -50,6 +50,7 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
             excludeBotPrs: z.ZodDefault<z.ZodBoolean>;
         }, "strip", z.ZodTypeAny, {
             state: string;
+            asOfCommit: string;
             predicate: string;
             window: {
                 type: "all";
@@ -57,7 +58,6 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
                 type: "bounded";
                 n: number;
             };
-            asOfCommit: string;
             excludeRevertPairs: boolean;
             excludeBotPrs: boolean;
             codePathClassifier?: {
@@ -66,6 +66,7 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
             } | undefined;
         }, {
             state: string;
+            asOfCommit: string;
             predicate: string;
             window: {
                 type: "all";
@@ -73,7 +74,6 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
                 type: "bounded";
                 n: number;
             };
-            asOfCommit: string;
             codePathClassifier?: {
                 includeGlobs: string[];
                 excludeGlobs: string[];
@@ -104,6 +104,7 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
         repo: string;
         selectionRule: {
             state: string;
+            asOfCommit: string;
             predicate: string;
             window: {
                 type: "all";
@@ -111,7 +112,6 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
                 type: "bounded";
                 n: number;
             };
-            asOfCommit: string;
             excludeRevertPairs: boolean;
             excludeBotPrs: boolean;
             codePathClassifier?: {
@@ -130,6 +130,7 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
         repo: string;
         selectionRule: {
             state: string;
+            asOfCommit: string;
             predicate: string;
             window: {
                 type: "all";
@@ -137,7 +138,6 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
                 type: "bounded";
                 n: number;
             };
-            asOfCommit: string;
             codePathClassifier?: {
                 includeGlobs: string[];
                 excludeGlobs: string[];
@@ -247,6 +247,7 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
         repo: string;
         selectionRule: {
             state: string;
+            asOfCommit: string;
             predicate: string;
             window: {
                 type: "all";
@@ -254,7 +255,6 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
                 type: "bounded";
                 n: number;
             };
-            asOfCommit: string;
             excludeRevertPairs: boolean;
             excludeBotPrs: boolean;
             codePathClassifier?: {
@@ -309,6 +309,7 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
         repo: string;
         selectionRule: {
             state: string;
+            asOfCommit: string;
             predicate: string;
             window: {
                 type: "all";
@@ -316,7 +317,6 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
                 type: "bounded";
                 n: number;
             };
-            asOfCommit: string;
             codePathClassifier?: {
                 includeGlobs: string[];
                 excludeGlobs: string[];
@@ -371,6 +371,7 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
         repo: string;
         selectionRule: {
             state: string;
+            asOfCommit: string;
             predicate: string;
             window: {
                 type: "all";
@@ -378,7 +379,6 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
                 type: "bounded";
                 n: number;
             };
-            asOfCommit: string;
             excludeRevertPairs: boolean;
             excludeBotPrs: boolean;
             codePathClassifier?: {
@@ -433,6 +433,7 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
         repo: string;
         selectionRule: {
             state: string;
+            asOfCommit: string;
             predicate: string;
             window: {
                 type: "all";
@@ -440,7 +441,6 @@ export declare const WindtunnelLockSchema: z.ZodEffects<z.ZodObject<{
                 type: "bounded";
                 n: number;
             };
-            asOfCommit: string;
             codePathClassifier?: {
                 includeGlobs: string[];
                 excludeGlobs: string[];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mmnto/totem",
-  "version": "1.67.0",
+  "version": "1.68.0",
   "description": "Persistent memory and context layer for AI agents",
   "type": "module",
   "engines": {