@mmnto/totem 1.67.1 → 1.68.0

package/dist/capability/review-catch.test.js

@@ -0,0 +1,90 @@
+import { describe, expect, it } from 'vitest';
+import { regenerateCapabilityLedger } from './regenerate.js';
+import { mineReviewCatch, resolveActorId } from './review-catch.js';
+const sha = (n) => String(n).padStart(40, '0');
+const HORIZON = '2026-06-21T00:00:00.000Z';
+function finding(overrides) {
+    return {
+        author: 'coderabbitai[bot]',
+        prRef: 'mmnto-ai/totem#2205',
+        commitSha: sha(1),
+        assertedAt: '2026-06-20T00:00:00.000Z',
+        ...overrides,
+    };
+}
+describe('resolveActorId — couple to the registries, do not mint', () => {
+    it('maps the three active review-bot logins to their stable actor-ids', () => {
+        expect(resolveActorId('coderabbitai[bot]')).toBe('coderabbit');
+        expect(resolveActorId('gemini-code-assist[bot]')).toBe('gemini-code-assist');
+        expect(resolveActorId('greptile-apps[bot]')).toBe('greptile');
+    });
+    it('does NOT specially map dropped/research-only backends (pr-agent/qodo)', () => {
+        // No shipped #670 registry to couple to — they fall through to the raw login.
+        expect(resolveActorId('pr-agent[bot]')).toBe('pr-agent[bot]');
+        expect(resolveActorId('qodo[bot]')).toBe('qodo[bot]');
+    });
+    it('does NOT collapse an unknown bot variant into a shipped actor-id — exact match (greptile P2)', () => {
+        // A future `greptile-enterprise[bot]` must NOT become `greptile` (would mix hit-rates).
+        expect(resolveActorId('greptile-enterprise[bot]')).toBe('greptile-enterprise[bot]');
+        expect(resolveActorId('coderabbit-premium[bot]')).toBe('coderabbit-premium[bot]');
+    });
+    it('throws on an empty/whitespace author login (fail loud — GCA)', () => {
+        expect(() => resolveActorId('')).toThrow(/non-empty/);
+        expect(() => resolveActorId('   ')).toThrow(/non-empty/);
+    });
+    it('keeps a cohort seat login as its own actor-id', () => {
+        expect(resolveActorId('totem-claude')).toBe('totem-claude');
+        expect(resolveActorId('strategy-codex')).toBe('strategy-codex');
+    });
+});
+describe('mineReviewCatch — held/wrong/silence', () => {
+    it('accepted → a correct resolution; declined → a wrong resolution', () => {
+        const { claims, resolutions } = mineReviewCatch([
+            finding({ commentId: 111, disposition: 'accepted' }),
+            finding({ commentId: 222, disposition: 'declined' }),
+        ]);
+        expect(claims).toHaveLength(2);
+        expect(resolutions).toHaveLength(2);
+        expect(resolutions.find((r) => r.evidenceRef.includes('111') || r.claimId === claims[0].claimId)
+            ?.outcome).toBe('correct');
+        expect(resolutions.every((r) => r.resolutionSource === 'disposition-thread')).toBe(true); // FM-b
+    });
+    it('silence (no disposition) emits NO resolution → unresolved by absence', () => {
+        const { claims, resolutions } = mineReviewCatch([finding({ commentId: 333 })]);
+        expect(claims).toHaveLength(1);
+        expect(resolutions).toHaveLength(0);
+        const ledger = regenerateCapabilityLedger(claims, resolutions, { resolutionHorizon: HORIZON });
+        expect(ledger.rows[0].unresolvedN).toBe(1);
+        expect(ledger.rows[0].decisiveN).toBe(0);
+    });
+    it('claimId is stable across re-mining and independent of assertedAt (identity ≠ content)', () => {
+        const a = mineReviewCatch([
+            finding({ commentId: 111, assertedAt: '2026-06-20T00:00:00.000Z' }),
+        ]);
+        const b = mineReviewCatch([
+            finding({ commentId: 111, assertedAt: '2026-06-25T09:09:09.000Z' }),
+        ]);
+        expect(a.claims[0].claimId).toBe(b.claims[0].claimId); // assertedAt excluded from claimId
+    });
+    it('two findings on the same PR get distinct claims (nativeKey discriminator)', () => {
+        const { claims } = mineReviewCatch([finding({ commentId: 111 }), finding({ commentId: 222 })]);
+        expect(claims[0].claimId).not.toBe(claims[1].claimId);
+    });
+});
+describe('mineReviewCatch → regenerate — end-to-end division', () => {
+    it('produces a per-actor hit-rate division from review findings', () => {
+        const { claims, resolutions } = mineReviewCatch([
+            finding({ commentId: 1, author: 'coderabbitai[bot]', disposition: 'accepted' }),
+            finding({ commentId: 2, author: 'coderabbitai[bot]', disposition: 'accepted' }),
+            finding({ commentId: 3, author: 'gemini-code-assist[bot]', disposition: 'accepted' }),
+            finding({ commentId: 4, author: 'gemini-code-assist[bot]', disposition: 'declined' }),
+            finding({ commentId: 5, author: 'totem-claude', disposition: 'accepted' }),
+        ]);
+        const ledger = regenerateCapabilityLedger(claims, resolutions, { resolutionHorizon: HORIZON });
+        const byAgent = Object.fromEntries(ledger.rows.map((r) => [r.agentSource, r.hitRate]));
+        expect(byAgent.coderabbit).toBe(1); // 2/2
+        expect(byAgent['gemini-code-assist']).toBe(0.5); // 1/2
+        expect(byAgent['totem-claude']).toBe(1); // 1/1
+    });
+});
+//# sourceMappingURL=review-catch.test.js.map

package/dist/capability/review-catch.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"review-catch.test.js","sourceRoot":"","sources":["../../src/capability/review-catch.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAA2B,eAAe,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAE7F,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAC/D,MAAM,OAAO,GAAG,0BAA0B,CAAC;AAE3C,SAAS,OAAO,CACd,SAA8D;IAE9D,OAAO;QACL,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,qBAAqB;QAC5B,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;QACjB,UAAU,EAAE,0BAA0B;QACtC,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,wDAAwD,EAAE,GAAG,EAAE;IACtE,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,cAAc,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC/D,MAAM,CAAC,cAAc,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC7E,MAAM,CAAC,cAAc,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,8EAA8E;QAC9E,MAAM,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC9D,MAAM,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8FAA8F,EAAE,GAAG,EAAE;QACtG,wFAAwF;QACxF,MAAM,CAAC,cAAc,CAAC,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QACpF,MAAM,CAAC,cAAc,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACtD,MAAM,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,cAAc,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC5D,MAAM,CAAC,cAAc,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,eAAe,CAAC;YAC9C,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;YACpD,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;SACrD,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CACJ,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC;YACxF,EAAE,OAAO,CACZ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClB,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,KAAK,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO;IACnG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/E,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,0BAA0B,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,iBAAiB,EAAE,OAAO,EAAE,CAAC,CAAC;QAC/F,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,CAAC,GAAG,eAAe,CAAC;YACxB,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,0BAA0B,EAAE,CAAC;SACpE,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,eAAe,CAAC;YACxB,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,0BAA0B,EAAE,CAAC;SACpE,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,CAAC,mCAAmC;IAC9F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,EAAE,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/F,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,eAAe,CAAC;YAC9C,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;YAC/E,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;YAC/E,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,yBAAyB,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;YACrF,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,yBAAyB,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;YACrF,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;SAC3E,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,0BAA0B,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,iBAAiB,EAAE,OAAO,EAAE,CAAC,CAAC;QAC/F,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACvF,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;QAC1C,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM;QACvD,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/capability/schema.d.ts

@@ -0,0 +1,244 @@
+import { z } from 'zod';
+/**
+ * Task-types (closed-but-append-extensible, #697 axis 5). Only `review-catch` is
+ * mined in the first column; the other five are reserved for follow-on columns and
+ * carried in the enum so the ledger shape is stable as columns are added.
+ */
+export declare const TaskTypeSchema: z.ZodEnum<["review-catch", "bug-localization", "diagnostic-harness", "diagnostic-screenshot", "layout-design", "code-impl"]>;
+export type TaskType = z.infer<typeof TaskTypeSchema>;
+/**
+ * Resolution outcome (#697). `partial` is its OWN bucket — never half-credited (a
+ * `0.5` is an invented score that smuggles quality-synthesis back in, violating FM-b);
+ * `unresolved` is the derived absence of an effective resolution by horizon.
+ */
+export declare const OutcomeSchema: z.ZodEnum<["correct", "wrong", "partial", "unresolved"]>;
+export type Outcome = z.infer<typeof OutcomeSchema>;
+/**
+ * Closed resolution-source enum (#697 fold 3). There is deliberately NO `llm-judge`
+ * member — that makes **FM-b (no LLM-judge in the resolution path) STRUCTURAL**: an
+ * LLM-judged resolution is unconstructible at the type/parse boundary, not merely
+ * checked. The blind model-diverse head-to-head escape-hatch enters only as a frozen
+ * `frozen-label` (a frozen graded result, never a live judge).
+ */
+export declare const ResolutionSourceSchema: z.ZodEnum<["deterministic-event", "disposition-thread", "frozen-label", "operator-tiebreak"]>;
+export type ResolutionSource = z.infer<typeof ResolutionSourceSchema>;
+/**
+ * Layer-B attribution provenance (#697 `{ ref, commitSha }`) — DISTINCT from the spine
+ * miner's `ProvenanceRecord` (which keys on a PR number); a capability claim references
+ * a thread/primitive `ref` + the commit it was asserted against.
+ */
+export declare const CapabilityProvenanceSchema: z.ZodObject<{
+    ref: z.ZodEffects<z.ZodString, string, string>;
+    commitSha: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    commitSha: string;
+    ref: string;
+}, {
+    commitSha: string;
+    ref: string;
+}>;
+export type CapabilityProvenance = z.infer<typeof CapabilityProvenanceSchema>;
+/**
+ * An append-only output-time claim. `agentSource` is a STABLE Layer-B actor-id (a
+ * cohort seat id or a review-backend catalog id); model/backend identity is NEVER
+ * folded into it (kept as separate optional `payload` metadata) so the hit-rate
+ * aggregates across model swaps (#697 fold 5; ADR-078 `agent_source` is NOT amended).
+ */
+export declare const CapabilityClaimSchema: z.ZodObject<{
+    claimId: z.ZodEffects<z.ZodString, string, string>;
+    agentSource: z.ZodEffects<z.ZodString, string, string>;
+    taskType: z.ZodEnum<["review-catch", "bug-localization", "diagnostic-harness", "diagnostic-screenshot", "layout-design", "code-impl"]>;
+    claimKind: z.ZodEffects<z.ZodString, string, string>;
+    provenance: z.ZodObject<{
+        ref: z.ZodEffects<z.ZodString, string, string>;
+        commitSha: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        commitSha: string;
+        ref: string;
+    }, {
+        commitSha: string;
+        ref: string;
+    }>;
+    /** The source primitive's stable native id — the `claimId` discriminator that survives re-enumeration. */
+    nativeKey: z.ZodEffects<z.ZodString, string, string>;
+    assertedAt: z.ZodString;
+    /** Descriptive metadata (incl. model/backend) — NEVER part of `claimId` (identity ≠ content). */
+    payload: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, "strip", z.ZodTypeAny, {
+    provenance: {
+        commitSha: string;
+        ref: string;
+    };
+    claimId: string;
+    agentSource: string;
+    taskType: "review-catch" | "bug-localization" | "diagnostic-harness" | "diagnostic-screenshot" | "layout-design" | "code-impl";
+    claimKind: string;
+    nativeKey: string;
+    assertedAt: string;
+    payload?: Record<string, unknown> | undefined;
+}, {
+    provenance: {
+        commitSha: string;
+        ref: string;
+    };
+    claimId: string;
+    agentSource: string;
+    taskType: "review-catch" | "bug-localization" | "diagnostic-harness" | "diagnostic-screenshot" | "layout-design" | "code-impl";
+    claimKind: string;
+    nativeKey: string;
+    assertedAt: string;
+    payload?: Record<string, unknown> | undefined;
+}>;
+export type CapabilityClaim = z.infer<typeof CapabilityClaimSchema>;
+/**
+ * An append-only ground-truth-time resolution. The log may carry N resolutions per
+ * claim (accept → walked back → operator-adjudicated); the regenerator selects exactly
+ * one effective terminal per `resolutionHorizon` (#697 fold 2).
+ */
+export declare const CapabilityResolutionSchema: z.ZodObject<{
+    resolutionId: z.ZodEffects<z.ZodString, string, string>;
+    claimId: z.ZodEffects<z.ZodString, string, string>;
+    outcome: z.ZodEnum<["correct", "wrong", "partial", "unresolved"]>;
+    resolutionSource: z.ZodEnum<["deterministic-event", "disposition-thread", "frozen-label", "operator-tiebreak"]>;
+    evidenceRef: z.ZodEffects<z.ZodString, string, string>;
+    resolvedAt: z.ZodString;
+    /**
+     * Explicit supersession chain — preferred over `resolvedAt` ordering when present.
+     * `nonEmpty` (not bare `z.string()`): a `""` pointer would be neither `undefined` nor a
+     * real resolutionId, silently activating chain logic on a ghost target (CR).
+     */
+    supersedesResolutionId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+}, "strip", z.ZodTypeAny, {
+    outcome: "partial" | "unresolved" | "correct" | "wrong";
+    claimId: string;
+    resolutionId: string;
+    resolutionSource: "deterministic-event" | "disposition-thread" | "frozen-label" | "operator-tiebreak";
+    evidenceRef: string;
+    resolvedAt: string;
+    supersedesResolutionId?: string | undefined;
+}, {
+    outcome: "partial" | "unresolved" | "correct" | "wrong";
+    claimId: string;
+    resolutionId: string;
+    resolutionSource: "deterministic-event" | "disposition-thread" | "frozen-label" | "operator-tiebreak";
+    evidenceRef: string;
+    resolvedAt: string;
+    supersedesResolutionId?: string | undefined;
+}>;
+export type CapabilityResolution = z.infer<typeof CapabilityResolutionSchema>;
+/**
+ * One derived row of the regenerable cache. `hitRate = correctN / decisiveN` where
+ * `decisiveN = correctN + wrongN`; `partial` and `unresolved` are BOTH excluded from
+ * the rate (reported as their own counts). `hitRate` is `null` when `decisiveN === 0`
+ * (no decisive evidence yet — never `0/0` NaN). The full distribution is always present.
+ */
+export declare const CapabilityLedgerRowSchema: z.ZodObject<{
+    agentSource: z.ZodString;
+    taskType: z.ZodEnum<["review-catch", "bug-localization", "diagnostic-harness", "diagnostic-screenshot", "layout-design", "code-impl"]>;
+    correctN: z.ZodNumber;
+    wrongN: z.ZodNumber;
+    partialN: z.ZodNumber;
+    unresolvedN: z.ZodNumber;
+    decisiveN: z.ZodNumber;
+    hitRate: z.ZodNullable<z.ZodNumber>;
+    lastResolved: z.ZodNullable<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    agentSource: string;
+    taskType: "review-catch" | "bug-localization" | "diagnostic-harness" | "diagnostic-screenshot" | "layout-design" | "code-impl";
+    correctN: number;
+    wrongN: number;
+    partialN: number;
+    unresolvedN: number;
+    decisiveN: number;
+    hitRate: number | null;
+    lastResolved: string | null;
+}, {
+    agentSource: string;
+    taskType: "review-catch" | "bug-localization" | "diagnostic-harness" | "diagnostic-screenshot" | "layout-design" | "code-impl";
+    correctN: number;
+    wrongN: number;
+    partialN: number;
+    unresolvedN: number;
+    decisiveN: number;
+    hitRate: number | null;
+    lastResolved: string | null;
+}>;
+export type CapabilityLedgerRow = z.infer<typeof CapabilityLedgerRowSchema>;
+export declare const CapabilityLedgerSchema: z.ZodObject<{
+    /** The asOf bound for "settled" resolutions — the back-mining analog of the frozen corpus. */
+    resolutionHorizon: z.ZodEffects<z.ZodString, string, string>;
+    rows: z.ZodArray<z.ZodObject<{
+        agentSource: z.ZodString;
+        taskType: z.ZodEnum<["review-catch", "bug-localization", "diagnostic-harness", "diagnostic-screenshot", "layout-design", "code-impl"]>;
+        correctN: z.ZodNumber;
+        wrongN: z.ZodNumber;
+        partialN: z.ZodNumber;
+        unresolvedN: z.ZodNumber;
+        decisiveN: z.ZodNumber;
+        hitRate: z.ZodNullable<z.ZodNumber>;
+        lastResolved: z.ZodNullable<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        agentSource: string;
+        taskType: "review-catch" | "bug-localization" | "diagnostic-harness" | "diagnostic-screenshot" | "layout-design" | "code-impl";
+        correctN: number;
+        wrongN: number;
+        partialN: number;
+        unresolvedN: number;
+        decisiveN: number;
+        hitRate: number | null;
+        lastResolved: string | null;
+    }, {
+        agentSource: string;
+        taskType: "review-catch" | "bug-localization" | "diagnostic-harness" | "diagnostic-screenshot" | "layout-design" | "code-impl";
+        correctN: number;
+        wrongN: number;
+        partialN: number;
+        unresolvedN: number;
+        decisiveN: number;
+        hitRate: number | null;
+        lastResolved: string | null;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    resolutionHorizon: string;
+    rows: {
+        agentSource: string;
+        taskType: "review-catch" | "bug-localization" | "diagnostic-harness" | "diagnostic-screenshot" | "layout-design" | "code-impl";
+        correctN: number;
+        wrongN: number;
+        partialN: number;
+        unresolvedN: number;
+        decisiveN: number;
+        hitRate: number | null;
+        lastResolved: string | null;
+    }[];
+}, {
+    resolutionHorizon: string;
+    rows: {
+        agentSource: string;
+        taskType: "review-catch" | "bug-localization" | "diagnostic-harness" | "diagnostic-screenshot" | "layout-design" | "code-impl";
+        correctN: number;
+        wrongN: number;
+        partialN: number;
+        unresolvedN: number;
+        decisiveN: number;
+        hitRate: number | null;
+        lastResolved: string | null;
+    }[];
+}>;
+export type CapabilityLedger = z.infer<typeof CapabilityLedgerSchema>;
+/**
+ * Deterministic `claimId` (#697 fold 1): a versioned, canonically-serialized digest of
+ * the IDENTITY fields only — `payload`/`assertedAt` are excluded so re-back-mining or a
+ * payload edit never re-keys the claim and orphans the join (FM-a). `nativeKey` is the
+ * primary discriminator (one source primitive can yield N claims); `claimKind` defends
+ * against future-task collisions. Key order is irrelevant (canonical serialization).
+ */
+export declare function deriveClaimId(input: {
+    agentSource: string;
+    taskType: TaskType;
+    claimKind: string;
+    provenanceRef: string;
+    commitSha: string;
+    nativeKey: string;
+}): string;
+//# sourceMappingURL=schema.d.ts.map

package/dist/capability/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/capability/schema.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAOxB;;;;GAIG;AACH,eAAO,MAAM,cAAc,8HAOzB,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD;;;;GAIG;AACH,eAAO,MAAM,aAAa,0DAAwD,CAAC;AACnF,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,+FAKjC,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE;;;;GAIG;AACH,eAAO,MAAM,0BAA0B;;;;;;;;;EAKrC,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;IAMhC,0GAA0G;;;IAO1G,iGAAiG;;;;;;;;;;;;;;;;;;;;;;;;;;EAEjG,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;;GAIG;AACH,eAAO,MAAM,0BAA0B;;;;;;;IASrC;;;;OAIG;;;;;;;;;;;;;;;;;;EAEH,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAUpC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E,eAAO,MAAM,sBAAsB;IACjC,8FAA8F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAG9F,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAItE;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,QAAQ,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB,GAAG,MAAM,CAUT"}

package/dist/capability/schema.js

@@ -0,0 +1,141 @@
+// ─── totem-strategy#697 Layer-B cohort-capability ledger — schema ────────────
+//
+// A claim→resolution prediction ledger; per-agent×task-type "capability" is a
+// REGENERABLE CACHE recomputed from an append-only log (Tenet-20 carve-out c, the
+// same shape as #670 + the ADR-110 wind-tunnel). Contract canonical on
+// totem-strategy#697 (schema c.4755374011; folds 1-5 c.4755799517). The hit-rate is
+// NEVER stored mutable — it is recomputed by the regenerator. This module defines the
+// append-only claim/resolution schemas + the derived ledger + the deterministic
+// `claimId`. It is network/LLM-free.
+import { createHash } from 'node:crypto';
+import { z } from 'zod';
+import { canonicalStringify } from '../compile-manifest.js';
+const nonEmpty = (label) => z.string().refine((s) => s.trim().length > 0, { message: `${label} must be a non-empty value` });
+/**
+ * Task-types (closed-but-append-extensible, #697 axis 5). Only `review-catch` is
+ * mined in the first column; the other five are reserved for follow-on columns and
+ * carried in the enum so the ledger shape is stable as columns are added.
+ */
+export const TaskTypeSchema = z.enum([
+    'review-catch',
+    'bug-localization',
+    'diagnostic-harness',
+    'diagnostic-screenshot',
+    'layout-design',
+    'code-impl',
+]);
+/**
+ * Resolution outcome (#697). `partial` is its OWN bucket — never half-credited (a
+ * `0.5` is an invented score that smuggles quality-synthesis back in, violating FM-b);
+ * `unresolved` is the derived absence of an effective resolution by horizon.
+ */
+export const OutcomeSchema = z.enum(['correct', 'wrong', 'partial', 'unresolved']);
+/**
+ * Closed resolution-source enum (#697 fold 3). There is deliberately NO `llm-judge`
+ * member — that makes **FM-b (no LLM-judge in the resolution path) STRUCTURAL**: an
+ * LLM-judged resolution is unconstructible at the type/parse boundary, not merely
+ * checked. The blind model-diverse head-to-head escape-hatch enters only as a frozen
+ * `frozen-label` (a frozen graded result, never a live judge).
+ */
+export const ResolutionSourceSchema = z.enum([
+    'deterministic-event',
+    'disposition-thread',
+    'frozen-label',
+    'operator-tiebreak',
+]);
+/**
+ * Layer-B attribution provenance (#697 `{ ref, commitSha }`) — DISTINCT from the spine
+ * miner's `ProvenanceRecord` (which keys on a PR number); a capability claim references
+ * a thread/primitive `ref` + the commit it was asserted against.
+ */
+export const CapabilityProvenanceSchema = z.object({
+    ref: nonEmpty('provenance.ref'),
+    commitSha: z
+        .string()
+        .regex(/^[0-9a-f]{40}$/, { message: 'commitSha must be a lowercase 40-hex SHA' }),
+});
+/**
+ * An append-only output-time claim. `agentSource` is a STABLE Layer-B actor-id (a
+ * cohort seat id or a review-backend catalog id); model/backend identity is NEVER
+ * folded into it (kept as separate optional `payload` metadata) so the hit-rate
+ * aggregates across model swaps (#697 fold 5; ADR-078 `agent_source` is NOT amended).
+ */
+export const CapabilityClaimSchema = z.object({
+    claimId: nonEmpty('claimId'),
+    agentSource: nonEmpty('agentSource'),
+    taskType: TaskTypeSchema,
+    claimKind: nonEmpty('claimKind'),
+    provenance: CapabilityProvenanceSchema,
+    /** The source primitive's stable native id — the `claimId` discriminator that survives re-enumeration. */
+    nativeKey: nonEmpty('nativeKey'),
+    // RFC-3339 UTC (Z, no offset) — well-formedness lets the regenerator compare timestamps
+    // chronologically without a date-only / offset value silently misplacing the window.
+    assertedAt: z
+        .string()
+        .datetime({ message: 'assertedAt must be an RFC-3339 UTC datetime (Z suffix)' }),
+    /** Descriptive metadata (incl. model/backend) — NEVER part of `claimId` (identity ≠ content). */
+    payload: z.record(z.unknown()).optional(),
+});
+/**
+ * An append-only ground-truth-time resolution. The log may carry N resolutions per
+ * claim (accept → walked back → operator-adjudicated); the regenerator selects exactly
+ * one effective terminal per `resolutionHorizon` (#697 fold 2).
+ */
+export const CapabilityResolutionSchema = z.object({
+    resolutionId: nonEmpty('resolutionId'),
+    claimId: nonEmpty('claimId'),
+    outcome: OutcomeSchema,
+    resolutionSource: ResolutionSourceSchema,
+    evidenceRef: nonEmpty('evidenceRef'),
+    resolvedAt: z
+        .string()
+        .datetime({ message: 'resolvedAt must be an RFC-3339 UTC datetime (Z suffix)' }),
+    /**
+     * Explicit supersession chain — preferred over `resolvedAt` ordering when present.
+     * `nonEmpty` (not bare `z.string()`): a `""` pointer would be neither `undefined` nor a
+     * real resolutionId, silently activating chain logic on a ghost target (CR).
+     */
+    supersedesResolutionId: nonEmpty('supersedesResolutionId').optional(),
+});
+/**
+ * One derived row of the regenerable cache. `hitRate = correctN / decisiveN` where
+ * `decisiveN = correctN + wrongN`; `partial` and `unresolved` are BOTH excluded from
+ * the rate (reported as their own counts). `hitRate` is `null` when `decisiveN === 0`
+ * (no decisive evidence yet — never `0/0` NaN). The full distribution is always present.
+ */
+export const CapabilityLedgerRowSchema = z.object({
+    agentSource: z.string(),
+    taskType: TaskTypeSchema,
+    correctN: z.number().int().nonnegative(),
+    wrongN: z.number().int().nonnegative(),
+    partialN: z.number().int().nonnegative(),
+    unresolvedN: z.number().int().nonnegative(),
+    decisiveN: z.number().int().nonnegative(),
+    hitRate: z.number().min(0).max(1).nullable(),
+    lastResolved: z.string().nullable(),
+});
+export const CapabilityLedgerSchema = z.object({
+    /** The asOf bound for "settled" resolutions — the back-mining analog of the frozen corpus. */
+    resolutionHorizon: nonEmpty('resolutionHorizon'),
+    rows: z.array(CapabilityLedgerRowSchema),
+});
+const CLAIM_ID_VERSION = 'capclaim:v1';
+/**
+ * Deterministic `claimId` (#697 fold 1): a versioned, canonically-serialized digest of
+ * the IDENTITY fields only — `payload`/`assertedAt` are excluded so re-back-mining or a
+ * payload edit never re-keys the claim and orphans the join (FM-a). `nativeKey` is the
+ * primary discriminator (one source primitive can yield N claims); `claimKind` defends
+ * against future-task collisions. Key order is irrelevant (canonical serialization).
+ */
+export function deriveClaimId(input) {
+    const canonical = canonicalStringify({
+        agentSource: input.agentSource,
+        taskType: input.taskType,
+        claimKind: input.claimKind,
+        provenanceRef: input.provenanceRef,
+        commitSha: input.commitSha,
+        nativeKey: input.nativeKey,
+    });
+    return createHash('sha256').update(`${CLAIM_ID_VERSION}${canonical}`).digest('hex');
+}
+//# sourceMappingURL=schema.js.map

package/dist/capability/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/capability/schema.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,kFAAkF;AAClF,uEAAuE;AACvE,oFAAoF;AACpF,sFAAsF;AACtF,gFAAgF;AAChF,qCAAqC;AAErC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAE5D,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAE,EAAE,CACjC,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,KAAK,4BAA4B,EAAE,CAAC,CAAC;AAEnG;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,CAAC;IACnC,cAAc;IACd,kBAAkB;IAClB,oBAAoB;IACpB,uBAAuB;IACvB,eAAe;IACf,WAAW;CACZ,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;AAGnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC3C,qBAAqB;IACrB,oBAAoB;IACpB,cAAc;IACd,mBAAmB;CACpB,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,GAAG,EAAE,QAAQ,CAAC,gBAAgB,CAAC;IAC/B,SAAS,EAAE,CAAC;SACT,MAAM,EAAE;SACR,KAAK,CAAC,gBAAgB,EAAE,EAAE,OAAO,EAAE,0CAA0C,EAAE,CAAC;CACpF,CAAC,CAAC;AAGH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC;IAC5B,WAAW,EAAE,QAAQ,CAAC,aAAa,CAAC;IACpC,QAAQ,EAAE,cAAc;IACxB,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC;IAChC,UAAU,EAAE,0BAA0B;IACtC,0GAA0G;IAC1G,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC;IAChC,wFAAwF;IACxF,qFAAqF;IACrF,UAAU,EAAE,CAAC;SACV,MAAM,EAAE;SACR,QAAQ,CAAC,EAAE,OAAO,EAAE,wDAAwD,EAAE,CAAC;IAClF,iGAAiG;IACjG,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC1C,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,YAAY,EAAE,QAAQ,CAAC,cAAc,CAAC;IACtC,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC;IAC5B,OAAO,EAAE,aAAa;IACtB,gBAAgB,EAAE,sBAAsB;IACxC,WAAW,EAAE,QAAQ,CAAC,aAAa,CAAC;IACpC,UAAU,EAAE,CAAC;SACV,MAAM,EAAE;SACR,QAAQ,CAAC,EAAE,OAAO,EAAE,wDAAwD,EAAE,CAAC;IAClF;;;;OAIG;IACH,sBAAsB,EAAE,QAAQ,CAAC,wBAAwB,CAAC,CAAC,QAAQ,EAAE;CACtE,CAAC,CAAC;AAGH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,QAAQ,EAAE,cAAc;IACxB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACxC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACtC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACxC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC3C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACzC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC5C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACpC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,8FAA8F;IAC9F,iBAAiB,EAAE,QAAQ,CAAC,mBAAmB,CAAC;IAChD,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC;CACzC,CAAC,CAAC;AAGH,MAAM,gBAAgB,GAAG,aAAa,CAAC;AAEvC;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,KAO7B;IACC,MAAM,SAAS,GAAG,kBAAkB,CAAC;QACnC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B,CAAC,CAAC;IACH,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,gBAAgB,GAAG,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACtF,CAAC"}

package/dist/capability/schema.test.d.ts

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

package/dist/capability/schema.test.d.ts.map

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

package/dist/capability/schema.test.js

@@ -0,0 +1,93 @@
+import { describe, expect, it } from 'vitest';
+import { CapabilityClaimSchema, CapabilityResolutionSchema, deriveClaimId, ResolutionSourceSchema, } from './schema.js';
+const sha = (n) => String(n).padStart(40, '0');
+const baseClaimIdInput = {
+    agentSource: 'cr',
+    taskType: 'review-catch',
+    claimKind: 'review-finding',
+    provenanceRef: 'mmnto-ai/totem#2205',
+    commitSha: sha(1),
+    nativeKey: 'gh-review-comment:111',
+};
+describe('deriveClaimId', () => {
+    it('is stable + deterministic for identical identity fields', () => {
+        expect(deriveClaimId(baseClaimIdInput)).toBe(deriveClaimId({ ...baseClaimIdInput }));
+        // 64-char sha256 hex
+        expect(deriveClaimId(baseClaimIdInput)).toMatch(/^[0-9a-f]{64}$/);
+    });
+    it('changes on each identity field (no collisions across nativeKey/claimKind/agentSource)', () => {
+        const base = deriveClaimId(baseClaimIdInput);
+        expect(deriveClaimId({ ...baseClaimIdInput, nativeKey: 'gh-review-comment:222' })).not.toBe(base);
+        expect(deriveClaimId({ ...baseClaimIdInput, claimKind: 'other-kind' })).not.toBe(base);
+        expect(deriveClaimId({ ...baseClaimIdInput, agentSource: 'gca' })).not.toBe(base);
+        expect(deriveClaimId({ ...baseClaimIdInput, commitSha: sha(2) })).not.toBe(base);
+        expect(deriveClaimId({ ...baseClaimIdInput, provenanceRef: 'x#1' })).not.toBe(base);
+    });
+});
+describe('ResolutionSourceSchema (FM-b is structural)', () => {
+    it('accepts the four authority classes', () => {
+        for (const s of [
+            'deterministic-event',
+            'disposition-thread',
+            'frozen-label',
+            'operator-tiebreak',
+        ]) {
+            expect(ResolutionSourceSchema.parse(s)).toBe(s);
+        }
+    });
+    it('has NO llm-judge member — an LLM-judged resolution is unconstructible', () => {
+        expect(ResolutionSourceSchema.safeParse('llm-judge').success).toBe(false);
+        expect(ResolutionSourceSchema.options).not.toContain('llm-judge');
+    });
+});
+describe('CapabilityClaimSchema', () => {
+    const valid = {
+        claimId: 'abc',
+        agentSource: 'cr',
+        taskType: 'review-catch',
+        claimKind: 'review-finding',
+        provenance: { ref: 'mmnto-ai/totem#2205', commitSha: sha(1) },
+        nativeKey: 'gh-review-comment:111',
+        assertedAt: '2026-06-20T00:00:00.000Z',
+    };
+    it('parses a valid claim and rejects a non-SHA commit + empty fields', () => {
+        expect(CapabilityClaimSchema.safeParse(valid).success).toBe(true);
+        expect(CapabilityClaimSchema.safeParse({
+            ...valid,
+            provenance: { ref: 'x', commitSha: 'not-a-sha' },
+        }).success).toBe(false);
+        expect(CapabilityClaimSchema.safeParse({ ...valid, agentSource: '  ' }).success).toBe(false);
+    });
+    it('rejects a malformed assertedAt — date-only, offset, or empty (greptile P2)', () => {
+        expect(CapabilityClaimSchema.safeParse({ ...valid, assertedAt: '2026-06-20' }).success).toBe(false);
+        expect(CapabilityClaimSchema.safeParse({ ...valid, assertedAt: '2026-06-20T12:00:00+00:00' })
+            .success).toBe(false);
+        expect(CapabilityClaimSchema.safeParse({ ...valid, assertedAt: '' }).success).toBe(false);
+    });
+});
+describe('CapabilityResolutionSchema', () => {
+    const valid = {
+        resolutionId: 'rc-res:111',
+        claimId: 'abc',
+        outcome: 'correct',
+        resolutionSource: 'disposition-thread',
+        evidenceRef: 'gh-review-comment:111',
+        resolvedAt: '2026-06-20T00:00:00.000Z',
+    };
+    it('parses a valid resolution and rejects a bad outcome', () => {
+        expect(CapabilityResolutionSchema.safeParse(valid).success).toBe(true);
+        expect(CapabilityResolutionSchema.safeParse({ ...valid, outcome: 'maybe' }).success).toBe(false);
+    });
+    it('accepts an optional supersedesResolutionId', () => {
+        expect(CapabilityResolutionSchema.safeParse({ ...valid, supersedesResolutionId: 'rc-res:110' })
+            .success).toBe(true);
+    });
+    it('rejects a malformed resolvedAt — date-only (greptile P2)', () => {
+        expect(CapabilityResolutionSchema.safeParse({ ...valid, resolvedAt: '2026-06-20' }).success).toBe(false);
+    });
+    it('rejects an empty/whitespace supersedesResolutionId — ghost pointer (CR)', () => {
+        expect(CapabilityResolutionSchema.safeParse({ ...valid, supersedesResolutionId: '' }).success).toBe(false);
+        expect(CapabilityResolutionSchema.safeParse({ ...valid, supersedesResolutionId: '   ' }).success).toBe(false);
+    });
+});
+//# sourceMappingURL=schema.test.js.map

package/dist/capability/schema.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.test.js","sourceRoot":"","sources":["../../src/capability/schema.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,aAAa,EACb,sBAAsB,GACvB,MAAM,aAAa,CAAC;AAErB,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAE/D,MAAM,gBAAgB,GAAG;IACvB,WAAW,EAAE,IAAI;IACjB,QAAQ,EAAE,cAAuB;IACjC,SAAS,EAAE,gBAAgB;IAC3B,aAAa,EAAE,qBAAqB;IACpC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;IACjB,SAAS,EAAE,uBAAuB;CACnC,CAAC;AAEF,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,GAAG,gBAAgB,EAAE,CAAC,CAAC,CAAC;QACrF,qBAAqB;QACrB,MAAM,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,IAAI,GAAG,aAAa,CAAC,gBAAgB,CAAC,CAAC;QAC7C,MAAM,CAAC,aAAa,CAAC,EAAE,GAAG,gBAAgB,EAAE,SAAS,EAAE,uBAAuB,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CACzF,IAAI,CACL,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,EAAE,GAAG,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvF,MAAM,CAAC,aAAa,CAAC,EAAE,GAAG,gBAAgB,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClF,MAAM,CAAC,aAAa,CAAC,EAAE,GAAG,gBAAgB,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,MAAM,CAAC,aAAa,CAAC,EAAE,GAAG,gBAAgB,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,KAAK,MAAM,CAAC,IAAI;YACd,qBAAqB;YACrB,oBAAoB;YACpB,cAAc;YACd,mBAAmB;SACpB,EAAE,CAAC;YACF,MAAM,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1E,MAAM,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,MAAM,KAAK,GAAG;QACZ,OAAO,EAAE,KAAK;QACd,WAAW,EAAE,IAAI;QACjB,QAAQ,EAAE,cAAc;QACxB,SAAS,EAAE,gBAAgB;QAC3B,UAAU,EAAE,EAAE,GAAG,EAAE,qBAAqB,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;QAC7D,SAAS,EAAE,uBAAuB;QAClC,UAAU,EAAE,0BAA0B;KACvC,CAAC;IAEF,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,qBAAqB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,MAAM,CACJ,qBAAqB,CAAC,SAAS,CAAC;YAC9B,GAAG,KAAK;YACR,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,WAAW,EAAE;SACjD,CAAC,CAAC,OAAO,CACX,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACd,MAAM,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAC1F,KAAK,CACN,CAAC;QACF,MAAM,CACJ,qBAAqB,CAAC,SAAS,CAAC,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,2BAA2B,EAAE,CAAC;aACnF,OAAO,CACX,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACd,MAAM,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,MAAM,KAAK,GAAG;QACZ,YAAY,EAAE,YAAY;QAC1B,OAAO,EAAE,KAAK;QACd,OAAO,EAAE,SAAS;QAClB,gBAAgB,EAAE,oBAAoB;QACtC,WAAW,EAAE,uBAAuB;QACpC,UAAU,EAAE,0BAA0B;KACvC,CAAC;IAEF,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,0BAA0B,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,MAAM,CAAC,0BAA0B,CAAC,SAAS,CAAC,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CACvF,KAAK,CACN,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CACJ,0BAA0B,CAAC,SAAS,CAAC,EAAE,GAAG,KAAK,EAAE,sBAAsB,EAAE,YAAY,EAAE,CAAC;aACrF,OAAO,CACX,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CACJ,0BAA0B,CAAC,SAAS,CAAC,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,OAAO,CACrF,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,CACJ,0BAA0B,CAAC,SAAS,CAAC,EAAE,GAAG,KAAK,EAAE,sBAAsB,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CACvF,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACd,MAAM,CACJ,0BAA0B,CAAC,SAAS,CAAC,EAAE,GAAG,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,CAC1F,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/index.d.ts

@@ -141,10 +141,30 @@ export type { RecurrencePattern, RecurrenceSeverityBucket, RecurrenceStats, Recu
 export { computeSignature, jaccard, normalizeFindingBody, RecurrencePatternSchema, RecurrenceSeverityBucketSchema, RecurrenceStatsSchema, RecurrenceToolSchema, tokenizeForJaccard, toSeverityBucket, } from './recurrence-stats.js';
 export type { RetrospectClassification, RetrospectFinding, RetrospectReport, RetrospectRound, RetrospectRouteOutReason, } from './retrospect.js';
 export { buildStopConditions, classifyFinding, computeDedupRate, groupFindingsByRound, RETROSPECT_ROUTE_OUT_REASONS, RetrospectClassificationSchema, RetrospectFindingSchema, RetrospectReportSchema, RetrospectRoundSchema, RetrospectRouteOutReasonSchema, signatureOfBody, toCrossPrBucket, toRoundPosition, } from './retrospect.js';
+export type { CandidateRuleRecord, ClassifierDisposition } from './spine/candidate-rule.js';
+export { CandidateRuleRecordSchema, ClassifierDispositionSchema } from './spine/candidate-rule.js';
+export type { ClassifierResult, ClassifyStageDeps, ClassifyStageResult, DraftClassifier, } from './spine/classify.js';
+export { assembleMinerLedgers, ClassifierResultSchema, dispositionToRouting, runClassifyStage, } from './spine/classify.js';
+export type { DraftExtractor, ExtractStageDeps, ExtractStageResult, FetchResult, ReviewThread, ReviewThreadComment, ReviewThreadContent, ReviewThreadSource, } from './spine/extract.js';
+export { runExtractStage } from './spine/extract.js';
+export type { ApiFetchSlice, ApiUsageLedger, ApiUsageLedgerEntry, ClassifierLedger, ClassifierLedgerEntry, DispositionSource, DropLedger, DropLedgerEntry, DropReasonCode, EmissionLedger, EmissionLedgerEntry, MinerLedgers, Routing, SplitLedger, } from './spine/ledgers.js';
+export { ApiFetchSliceSchema, ApiUsageLedgerEntrySchema, ApiUsageLedgerSchema, ClassifierLedgerEntrySchema, ClassifierLedgerSchema, DispositionSourceSchema, DropLedgerEntrySchema, DropLedgerSchema, DropReasonCodeSchema, EmissionLedgerEntrySchema, EmissionLedgerSchema, MinerLedgersSchema, RoutingSchema, SplitLedgerSchema, } from './spine/ledgers.js';
+export type { FalsificationResult, FmClause, FmViolation } from './spine/miner-harness.js';
+export { checkParsedLedgers, runFalsificationHarness } from './spine/miner-harness.js';
 export type { CodePathClassifier, PrMeta, PrSetDiff, SelectionRuleConfig, } from './spine/selection-rule.js';
 export { diffPrSets, isBotIdentity, isCodeTouching, parsePrNumber, parseRevertSha, prSetsEqual, resolveSelectionRule, SelectionRuleParseError, selectionRulePredicate, } from './spine/selection-rule.js';
+export type { SplitArtifact, SplitCoverResult } from './spine/split.js';
+export { mergeCommitMap, resolveSplit, SplitArtifactSchema, SplitCoverError, validateSplitCover, } from './spine/split.js';
 export type { WindtunnelLock } from './spine/windtunnel-lock.js';
 export { firingLabelId, WindtunnelLockSchema } from './spine/windtunnel-lock.js';
 export type { CullLedgerEntry, GroundTruthLabel, RuleFiring, ScorerInput, WindtunnelDiagnostics, WindtunnelVerdict, WindtunnelVerdictKind, } from './spine/windtunnel-scorer.js';
 export { scoreWindtunnel } from './spine/windtunnel-scorer.js';
+export type { CapabilityFalsificationResult, CapabilityFmClause, CapabilityFmViolation, } from './capability/falsification.js';
+export { runCapabilityFalsification } from './capability/falsification.js';
+export type { RegenerateOptions } from './capability/regenerate.js';
+export { regenerateCapabilityLedger } from './capability/regenerate.js';
+export type { MinedReviewFinding, ReviewCatchMineResult } from './capability/review-catch.js';
+export { mineReviewCatch, resolveActorId } from './capability/review-catch.js';
+export type { CapabilityClaim, CapabilityLedger, CapabilityLedgerRow, CapabilityProvenance, CapabilityResolution, Outcome, ResolutionSource, TaskType, } from './capability/schema.js';
+export { CapabilityClaimSchema, CapabilityLedgerSchema, CapabilityResolutionSchema, deriveClaimId, OutcomeSchema, ResolutionSourceSchema, TaskTypeSchema, } from './capability/schema.js';
 //# sourceMappingURL=index.d.ts.map