@allocator-one/rcl 4.4.19

package/dist/report/aggregation-inputs.js

@@ -0,0 +1,114 @@
+import { z } from 'zod';
+import { GatingSchema, ThresholdsSchema } from '../config/schema.js';
+import { sha256Hex, stableStringify } from './run-header.js';
+export const MAX_AGGREGATION_INPUT_BYTES = 8 * 1024 * 1024;
+// Version 2 fixes every deduper sort to UTF-16 code-unit ordering. Version 1
+// depended on ambient ICU collation and cannot be independently reconstructed.
+export const AGGREGATION_ALGORITHM = Object.freeze({ name: 'consensus', version: 2 });
+const algorithmSchema = z.object({ name: z.literal(AGGREGATION_ALGORITHM.name), version: z.literal(AGGREGATION_ALGORITHM.version) }).strict();
+const digestSchema = z.string().regex(/^[a-f0-9]{64}$/);
+const thresholdsSchema = ThresholdsSchema.required().strict();
+const verifierSchema = GatingSchema.shape.verificationModel.unwrap().min(1).refine(model => !model.startsWith('openrouter/'));
+const gatingSchema = z.object({
+    mode: GatingSchema.shape.mode.unwrap(), minModels: GatingSchema.shape.minModels.unwrap().safe(),
+    verificationModel: verifierSchema.nullable(),
+    verificationReasoningEffort: GatingSchema.shape.verificationReasoningEffort,
+    verificationTimeoutMs: GatingSchema.shape.verificationTimeout.unwrap(),
+    verificationPassTimeoutMs: GatingSchema.shape.verificationPassTimeout.unwrap(),
+}).strict();
+const roleSchema = z.object({ name: z.string().min(1), systemPrompt: z.string(), focus: z.array(z.string()),
+    severityBias: z.record(z.string(), z.number().finite()).optional(), description: z.string(), isSpecialized: z.boolean() }).strict();
+const roleEntrySchema = z.object({ name: z.string().min(1), role: roleSchema }).strict().refine(entry => entry.name === entry.role.name);
+// loadMergedWeights applies the supported voter's inclusive [0.5, 1.5] range.
+const weightEntrySchema = z.object({ model: z.string().min(1).refine(model => !/[\u0000-\u001f\u007f-\u009f]/.test(model)), weight: z.number().finite().min(0.5).max(1.5) }).strict();
+const wireSchema = z.object({
+    version: z.literal(1), verifierContractVersion: z.literal(2).optional(), algorithm: algorithmSchema, diffSha256: digestSchema,
+    roles: z.array(roleEntrySchema).refine(rows => rows.every((row, index) => index === 0 || rows[index - 1].name < row.name)),
+    thresholds: thresholdsSchema, gating: gatingSchema,
+    modelWeights: z.array(weightEntrySchema).refine(rows => rows.every((row, index) => index === 0 || rows[index - 1].model < row.model)).optional(),
+    belowThresholdAppendix: z.boolean(),
+}).strict().refine(wire => wire.verifierContractVersion === 2 || wire.gating.verificationReasoningEffort === undefined);
+const inputSchema = z.object({
+    algorithm: algorithmSchema, diffSha256: digestSchema, roleMap: z.instanceof(Map), thresholds: thresholdsSchema,
+    gating: gatingSchema.extend({ verificationModel: verifierSchema.optional() }), modelWeights: z.instanceof(Map).optional(),
+    belowThresholdAppendix: z.boolean(),
+}).strict();
+const capturedValues = new WeakSet();
+function freeze(value) {
+    if (value !== null && typeof value === 'object' && !Object.isFrozen(value)) {
+        for (const child of Object.values(value))
+            freeze(child);
+        Object.freeze(value);
+    }
+    return value;
+}
+function bound(bytes) {
+    if (typeof bytes !== 'string' || Buffer.byteLength(bytes, 'utf8') > MAX_AGGREGATION_INPUT_BYTES ||
+        Buffer.from(bytes, 'utf8').toString('utf8') !== bytes)
+        throw new Error('aggregation_invalid_bytes');
+}
+function compareKeys(left, right) { return left < right ? -1 : left > right ? 1 : 0; }
+/** Runtime validation brand, not provider, source-lineage or persistence authority. */
+export function isCapturedAggregationInputs(value) {
+    return value !== null && typeof value === 'object' && capturedValues.has(value);
+}
+/**
+ * Snapshot resolved static inputs before the first paid intent. The caller binds
+ * these bytes in the existing capture document; this pure function stores nothing.
+ */
+export function captureAggregationInputs(input) {
+    const parsed = inputSchema.safeParse(input);
+    if (!parsed.success)
+        throw new Error('aggregation_invalid_input');
+    const actual = parsed.data;
+    let componentBytes = 0;
+    const retain = (value) => {
+        componentBytes += Buffer.byteLength(stableStringify(value), 'utf8');
+        if (componentBytes > MAX_AGGREGATION_INPUT_BYTES)
+            throw new Error('aggregation_invalid_bytes');
+        return value;
+    };
+    const roles = [...actual.roleMap.entries()].map(([name, role]) => {
+        const entry = roleEntrySchema.safeParse({ name, role });
+        if (!entry.success || stableStringify(entry.data) !== stableStringify({ name, role }))
+            throw new Error('aggregation_invalid_input');
+        return retain(entry.data);
+    }).sort((left, right) => compareKeys(left.name, right.name));
+    const modelWeights = actual.modelWeights === undefined ? undefined : [...actual.modelWeights.entries()].map(([model, weight]) => {
+        const entry = weightEntrySchema.safeParse({ model, weight });
+        if (!entry.success)
+            throw new Error('aggregation_invalid_input');
+        return retain(entry.data);
+    }).sort((left, right) => compareKeys(left.model, right.model));
+    const bytes = stableStringify({ version: 1, verifierContractVersion: 2, algorithm: actual.algorithm, diffSha256: actual.diffSha256, roles,
+        thresholds: actual.thresholds, gating: { ...actual.gating, verificationModel: actual.gating.verificationModel ?? null },
+        ...(modelWeights !== undefined ? { modelWeights } : {}), belowThresholdAppendix: actual.belowThresholdAppendix });
+    return decodeAggregationInputs(bytes, actual.diffSha256);
+}
+/** Decode only the captured values. No defaults, filesystem, server weights or provider selection. */
+export function decodeAggregationInputs(bytes, expectedDiffSha256) {
+    bound(bytes);
+    if (!digestSchema.safeParse(expectedDiffSha256).success)
+        throw new Error('aggregation_invalid_expected_diff');
+    let decoded;
+    try {
+        decoded = JSON.parse(bytes);
+    }
+    catch {
+        throw new Error('aggregation_invalid_json');
+    }
+    const parsed = wireSchema.safeParse(decoded);
+    if (!parsed.success)
+        throw new Error('aggregation_invalid_document');
+    if (stableStringify(parsed.data) !== bytes)
+        throw new Error('aggregation_noncanonical_json');
+    const wire = parsed.data;
+    if (wire.diffSha256 !== expectedDiffSha256)
+        throw new Error('aggregation_diff_mismatch');
+    // Explicit null on wire freezes unavailable selection; runtime keeps the existing gating API.
+    const captured = freeze({ ...wire, bytes, digest: sha256Hex(bytes),
+        gating: { ...wire.gating, verificationModel: wire.gating.verificationModel ?? undefined } });
+    capturedValues.add(captured);
+    return captured;
+}
+//# sourceMappingURL=aggregation-inputs.js.map

package/dist/report/aggregation-inputs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"aggregation-inputs.js","sourceRoot":"","sources":["../../src/report/aggregation-inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAGrE,OAAO,EAAE,SAAS,EAAE,eAAe,EAA2B,MAAM,iBAAiB,CAAC;AAEtF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AAC3D,6EAA6E;AAC7E,+EAA+E;AAC/E,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,EAAW,CAAC,CAAC;AAC/F,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AAC9I,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;AACxD,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,CAAC;AAC9D,MAAM,cAAc,GAAG,YAAY,CAAC,KAAK,CAAC,iBAAiB,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;AAC9H,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5B,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE;IAC/F,iBAAiB,EAAE,cAAc,CAAC,QAAQ,EAAE;IAC5C,2BAA2B,EAAE,YAAY,CAAC,KAAK,CAAC,2BAA2B;IAC3E,qBAAqB,EAAE,YAAY,CAAC,KAAK,CAAC,mBAAmB,CAAC,MAAM,EAAE;IACtE,yBAAyB,EAAE,YAAY,CAAC,KAAK,CAAC,uBAAuB,CAAC,MAAM,EAAE;CAC/E,CAAC,CAAC,MAAM,EAAE,CAAC;AACZ,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACzG,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AACtI,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzI,8EAA8E;AAC9E,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,8BAA8B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AACtL,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1B,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,uBAAuB,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,eAAe,EAAE,UAAU,EAAE,YAAY;IAC7H,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3H,UAAU,EAAE,gBAAgB,EAAE,MAAM,EAAE,YAAY;IAClD,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE;IACjJ,sBAAsB,EAAE,CAAC,CAAC,OAAO,EAAE;CACpC,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,2BAA2B,KAAK,SAAS,CAAC,CAAC;AACxH,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3B,SAAS,EAAE,eAAe,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,gBAAgB;IAC9G,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE,iBAAiB,EAAE,cAAc,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;IACzH,sBAAsB,EAAE,CAAC,CAAC,OAAO,EAAE;CACpC,CAAC,CAAC,MAAM,EAAE,CAAC;AAoBZ,MAAM,cAAc,GAAG,IAAI,OAAO,EAAU,CAAC;AAC7C,SAAS,MAAM,CAAI,KAAQ;IACzB,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3E,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,KAAK,CAAC,KAAa;IAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,2BAA2B;QAC7F,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;AACxG,CAAC;AACD,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa,IAAY,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE9G,uFAAuF;AACvF,MAAM,UAAU,2BAA2B,CAAC,KAAc;IACxD,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAClF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA8B;IACrE,MAAM,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAClE,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;IAC3B,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,MAAM,MAAM,GAAG,CAAI,KAAQ,EAAK,EAAE;QAChC,cAAc,IAAI,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACpE,IAAI,cAAc,GAAG,2BAA2B;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC/F,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE;QAC/D,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,eAAe,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QACpI,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE;QAC9H,MAAM,KAAK,GAAG,iBAAiB,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QACjE,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,eAAe,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,uBAAuB,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,KAAK;QACvI,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,iBAAiB,IAAI,IAAI,EAAE;QACvH,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,sBAAsB,EAAE,MAAM,CAAC,sBAAsB,EAAE,CAAC,CAAC;IACpH,OAAO,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;AAC3D,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,uBAAuB,CAAC,KAAa,EAAE,kBAA0B;IAC/E,KAAK,CAAC,KAAK,CAAC,CAAC;IACb,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAC9G,IAAI,OAAgB,CAAC;IACrB,IAAI,CAAC;QAAC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAAC,CAAC;IAC3F,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IACrE,IAAI,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IAC7F,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,IAAI,IAAI,CAAC,UAAU,KAAK,kBAAkB;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IACzF,8FAA8F;IAC9F,MAAM,QAAQ,GAA8B,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC;QAC3F,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,iBAAiB,EAAE,IAAI,CAAC,MAAM,CAAC,iBAAiB,IAAI,SAAS,EAAE,EAAE,CAAC,CAAC;IAC/F,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7B,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/report/assembly.d.ts

@@ -0,0 +1,43 @@
+import type { DedupeOrdering } from '../consensus/deduper.js';
+import type { Config } from '../config/schema.js';
+import { type GatingOptions, type ResolvedGatingConfig } from '../consensus/gating.js';
+import type { ConsensusFinding, ModelReview, ReviewResult } from '../consensus/types.js';
+import type { Diff } from '../resolver/types.js';
+import type { Role } from '../roles/types.js';
+import { type RunHeader, type RunHeaderInput } from './run-header.js';
+import { type ReviewerHealth } from './reviewer-health.js';
+import { type ConsensusAssembly, type ConsensusAssemblyContribution } from './consensus-assembly.js';
+export interface CompletedReviewInput {
+    chunkReviews: ModelReview[];
+    arrivedAsync: ModelReview[];
+    asyncLaunched: number;
+    startTime: number;
+    roleMap: Map<string, Role>;
+    config: Config;
+    diff: Diff;
+    gatingConfig: ResolvedGatingConfig;
+    modelWeights?: Map<string, number>;
+    dedupeOrdering?: DedupeOrdering;
+    /** Validated original-seat health for proof-bearing reports; never deserialized counts. */
+    reviewerHealth?: ReviewerHealth;
+    run: Omit<RunHeaderInput, 'config' | 'diff' | 'gating' | 'thresholds' | 'finishedAt' | 'ciExitCode'>;
+}
+export interface AssemblyDependencies extends Pick<GatingOptions, 'ask' | 'monotonicNow' | 'onVerificationProgress'> {
+    onStage?: (stage: string) => void;
+    onVerificationStart?: () => void;
+    onWarning?: (warning: string) => void;
+    /** Indices refer to the merged voting reviews in the returned report. */
+    onFindingContributions?: (groups: ConsensusAssemblyContribution[]) => void;
+}
+/** Internal replay projection; the checkpoint adapter derives it from validated retained evidence. */
+export interface CompletedReviewProjection {
+    consensus: ConsensusAssembly;
+    findings: ConsensusFinding[];
+    appendix: ConsensusFinding[];
+    verification?: ReviewResult['stats']['verification'];
+    blockingHealth: NonNullable<ReviewResult['stats']['blockingHealth']>;
+}
+/** Assemble retained reviewer outputs through consensus, bounded gating, and the run header. */
+export declare function assembleCompletedReview(input: CompletedReviewInput, dependencies?: AssemblyDependencies, retained?: CompletedReviewProjection): Promise<ReviewResult & {
+    run: RunHeader;
+}>;

package/dist/report/assembly.js

@@ -0,0 +1,133 @@
+import { assertUnambiguousReviewerIdentities } from '../dispatch/reviewer-identity.js';
+import { evaluateCiGate } from '../ci.js';
+import { DEFAULT_QUORUM_FRACTION, DEFAULT_THRESHOLDS } from '../config/defaults.js';
+import { deriveBlockingHealth, summarizeBlockingHealth } from './blocking-health.js';
+import { applyGatingWithFallback } from '../consensus/gating.js';
+import { mergeChunkReviews } from '../dispatch/merge.js';
+import { buildRunHeader } from './run-header.js';
+import { uuidv7 } from './uuid.js';
+import { assertReviewerHealth } from './reviewer-health.js';
+import { deriveConsensusAssembly } from './consensus-assembly.js';
+/**
+ * A report whose rows cannot be matched to its roster still completes: the
+ * summary is omitted, and admission derives health again and refuses it.
+ */
+function blockingHealthStats(roster, reviews, fraction) {
+    try {
+        return { blockingHealth: summarizeBlockingHealth(deriveBlockingHealth({ roster, reviews, fraction })) };
+    }
+    catch {
+        return {};
+    }
+}
+/** Assemble retained reviewer outputs through consensus, bounded gating, and the run header. */
+export async function assembleCompletedReview(input, dependencies = {}, retained) {
+    const { chunkReviews, arrivedAsync, asyncLaunched, startTime, roleMap, config, diff, gatingConfig, modelWeights } = input;
+    assertUnambiguousReviewerIdentities([...chunkReviews, ...arrivedAsync, ...(retained?.consensus.reviews ?? [])]);
+    if (input.reviewerHealth !== undefined)
+        assertReviewerHealth(input.reviewerHealth);
+    dependencies.onStage?.('computing consensus');
+    const runId = input.run.id ?? uuidv7();
+    const { reviews, consensusFindings, reportFindings, droppedFindings, contributions } = retained?.consensus ?? deriveConsensusAssembly({
+        runId, chunkReviews, arrivedAsync, roleMap, thresholds: config.thresholds, modelWeights,
+        collectContributions: dependencies.onFindingContributions !== undefined,
+        dedupeOrdering: input.dedupeOrdering,
+    });
+    // Convergence gating (RCL-23): annotate every kept finding with why it
+    // does or does not gate; single-model blocking findings get one batched
+    // evidence-based adjudication call.
+    let finalFindings = retained?.findings ?? reportFindings;
+    let gatedAppendix = retained?.appendix ?? droppedFindings;
+    let verificationStats = retained?.verification;
+    if (retained === undefined && gatingConfig.mode === 'verified-consensus' && (input.reviewerHealth === undefined || input.reviewerHealth.conclusive)) {
+        dependencies.onVerificationStart?.();
+        const gated = await applyGatingWithFallback(reportFindings, {
+            minModels: gatingConfig.minModels,
+            verificationModel: gatingConfig.verificationModel,
+            verificationReasoningEffort: gatingConfig.verificationReasoningEffort,
+            verificationTimeoutMs: gatingConfig.verificationTimeoutMs,
+            verificationPassTimeoutMs: gatingConfig.verificationPassTimeoutMs,
+            ask: dependencies.ask,
+            monotonicNow: dependencies.monotonicNow,
+            onVerificationProgress: dependencies.onVerificationProgress,
+            diffFiles: diff.files,
+            ...(modelWeights ? { modelWeights } : {}),
+        });
+        finalFindings = gated.findings;
+        verificationStats = gated.ok ? gated.verification : undefined;
+        if (!gated.ok) {
+            (dependencies.onWarning ?? console.warn)(`Gating pass failed (${String(gated.failure)}); falling back to severity gating for this round.`);
+        }
+        else {
+            // Appendix findings never block convergence; mark them so the report
+            // JSON carries a gating reason on every finding.
+            gatedAppendix = droppedFindings.map((f) => ({ ...f, gating: { reason: 'none' } }));
+        }
+    }
+    const keepAppendix = config.output?.belowThresholdAppendix ?? true;
+    if (dependencies.onFindingContributions) {
+        dependencies.onFindingContributions(contributions);
+    }
+    const totalRawFindings = reviews.reduce((sum, r) => sum + r.findings.length, 0);
+    const body = {
+        reviews,
+        findings: finalFindings,
+        ...(keepAppendix && gatedAppendix.length > 0
+            ? { belowThresholdFindings: gatedAppendix }
+            : {}),
+        stats: {
+            totalReviews: reviews.length,
+            successfulReviews: reviews.filter((r) => r.status === 'success').length,
+            totalRawFindings,
+            totalDeduped: consensusFindings.length,
+            belowThreshold: droppedFindings.length,
+            durationMs: Date.now() - startTime,
+            ...(asyncLaunched > 0 ? { asyncLaunched } : {}),
+            ...(arrivedAsync.length > 0
+                ? { asyncMerged: mergeChunkReviews(arrivedAsync).length }
+                : {}),
+            // Per-call (pre-merge) so a straggler canceled on one chunk stays
+            // visible even when its other chunks succeeded.
+            ...(chunkReviews.some((r) => r.status === 'canceled')
+                ? {
+                    canceledCalls: chunkReviews
+                        .filter((r) => r.status === 'canceled')
+                        .map((r) => ({ model: r.model, role: r.role, elapsedMs: r.durationMs })),
+                }
+                : {}),
+            ...(retained ? { blockingHealth: retained.blockingHealth }
+                : blockingHealthStats(input.run.roster, reviews, config.quorumFraction ?? DEFAULT_QUORUM_FRACTION)),
+            ...(verificationStats ? { verification: verificationStats } : {}),
+            // Applied weights for this run's models, so the report shows what
+            // scaled the votes (RCL-27).
+            ...(modelWeights
+                ? {
+                    modelWeights: Object.fromEntries([...new Set(reviews.map((r) => r.model))].map((m) => [
+                        m,
+                        modelWeights.get(m) ?? 1,
+                    ])),
+                }
+                : {}),
+        },
+    };
+    dependencies.onStage?.('assembling the terminal report');
+    // Self-describing run header (IO-12475 section 5.1), built once the body
+    // exists so the CI verdict is recorded uniformly — with or without --ci.
+    const run = buildRunHeader({
+        ...input.run,
+        id: runId,
+        config,
+        diff,
+        gating: gatingConfig,
+        thresholds: {
+            minConsensusScore: config.thresholds?.minConsensusScore ?? DEFAULT_THRESHOLDS.minConsensusScore,
+            minConfidence: config.thresholds?.minConfidence ?? DEFAULT_THRESHOLDS.minConfidence,
+            dedupeLineWindow: config.thresholds?.dedupeLineWindow ?? DEFAULT_THRESHOLDS.dedupeLineWindow,
+            jaccardThreshold: config.thresholds?.jaccardThreshold ?? DEFAULT_THRESHOLDS.jaccardThreshold,
+        },
+        finishedAt: new Date(),
+        ciExitCode: evaluateCiGate(body, input.reviewerHealth).exitCode,
+    });
+    return { run, ...body };
+}
+//# sourceMappingURL=assembly.js.map

package/dist/report/assembly.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assembly.js","sourceRoot":"","sources":["../../src/report/assembly.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mCAAmC,EAAE,MAAM,kCAAkC,CAAC;AACvF,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAC1C,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AACpF,OAAO,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAGrF,OAAO,EAAE,uBAAuB,EAAiD,MAAM,wBAAwB,CAAC;AAEhH,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAGzD,OAAO,EAAE,cAAc,EAAuC,MAAM,iBAAiB,CAAC;AACtF,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACnC,OAAO,EAAE,oBAAoB,EAAuB,MAAM,sBAAsB,CAAC;AACjF,OAAO,EAAE,uBAAuB,EAA8D,MAAM,yBAAyB,CAAC;AAmC9H;;;GAGG;AACH,SAAS,mBAAmB,CAAC,MAAgC,EAAE,OAAsB,EAAE,QAAgB;IACrG,IAAI,CAAC;QACH,OAAO,EAAE,cAAc,EAAE,uBAAuB,CAAC,oBAAoB,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC;IAC1G,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,gGAAgG;AAChG,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,KAA2B,EAC3B,eAAqC,EAAE,EACvC,QAAoC;IAEpC,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC1H,mCAAmC,CAAC,CAAC,GAAG,YAAY,EAAE,GAAG,YAAY,EAAE,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAChH,IAAI,KAAK,CAAC,cAAc,KAAK,SAAS;QAAE,oBAAoB,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACnF,YAAY,CAAC,OAAO,EAAE,CAAC,qBAAqB,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,MAAM,EAAE,CAAC;IACvC,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,eAAe,EAAE,aAAa,EAAE,GAAG,QAAQ,EAAE,SAAS,IAAI,uBAAuB,CAAC;QACpI,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY;QACvF,oBAAoB,EAAE,YAAY,CAAC,sBAAsB,KAAK,SAAS;QACvE,cAAc,EAAE,KAAK,CAAC,cAAc;KACrC,CAAC,CAAC;IAEH,uEAAuE;IACvE,wEAAwE;IACxE,oCAAoC;IACpC,IAAI,aAAa,GAAG,QAAQ,EAAE,QAAQ,IAAI,cAAc,CAAC;IACzD,IAAI,aAAa,GAAG,QAAQ,EAAE,QAAQ,IAAI,eAAe,CAAC;IAC1D,IAAI,iBAAiB,GAAG,QAAQ,EAAE,YAAY,CAAC;IAC/C,IAAI,QAAQ,KAAK,SAAS,IAAI,YAAY,CAAC,IAAI,KAAK,oBAAoB,IAAI,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS,IAAI,KAAK,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,CAAC;QACpJ,YAAY,CAAC,mBAAmB,EAAE,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,uBAAuB,CAAC,cAAc,EAAE;YAC1D,SAAS,EAAE,YAAY,CAAC,SAAS;YACjC,iBAAiB,EAAE,YAAY,CAAC,iBAAiB;YACjD,2BAA2B,EAAE,YAAY,CAAC,2BAA2B;YACrE,qBAAqB,EAAE,YAAY,CAAC,qBAAqB;YACzD,yBAAyB,EAAE,YAAY,CAAC,yBAAyB;YACjE,GAAG,EAAE,YAAY,CAAC,GAAG;YACrB,YAAY,EAAE,YAAY,CAAC,YAAY;YACvC,sBAAsB,EAAE,YAAY,CAAC,sBAAsB;YAC3D,SAAS,EAAE,IAAI,CAAC,KAAK;YACrB,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1C,CAAC,CAAC;QACH,aAAa,GAAG,KAAK,CAAC,QAAQ,CAAC;QAC/B,iBAAiB,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9D,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;YACd,CAAC,YAAY,CAAC,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,CACtC,uBAAuB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,oDAAoD,CACjG,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,qEAAqE;YACrE,iDAAiD;YACjD,aAAa,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAe,EAAE,EAAE,CAAC,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,sBAAsB,IAAI,IAAI,CAAC;IACnE,IAAI,YAAY,CAAC,sBAAsB,EAAE,CAAC;QACxC,YAAY,CAAC,sBAAsB,CAAC,aAAc,CAAC,CAAC;IACtD,CAAC;IACD,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAChF,MAAM,IAAI,GAAiB;QACzB,OAAO;QACP,QAAQ,EAAE,aAAa;QACvB,GAAG,CAAC,YAAY,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;YAC1C,CAAC,CAAC,EAAE,sBAAsB,EAAE,aAAa,EAAE;YAC3C,CAAC,CAAC,EAAE,CAAC;QACP,KAAK,EAAE;YACL,YAAY,EAAE,OAAO,CAAC,MAAM;YAC5B,iBAAiB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;YACvE,gBAAgB;YAChB,YAAY,EAAE,iBAAiB,CAAC,MAAM;YACtC,cAAc,EAAE,eAAe,CAAC,MAAM;YACtC,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;YAClC,GAAG,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;gBACzB,CAAC,CAAC,EAAE,WAAW,EAAE,iBAAiB,CAAC,YAAY,CAAC,CAAC,MAAM,EAAE;gBACzD,CAAC,CAAC,EAAE,CAAC;YACP,kEAAkE;YAClE,gDAAgD;YAChD,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC;gBACnD,CAAC,CAAC;oBACE,aAAa,EAAE,YAAY;yBACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC;yBACtC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;iBAC3E;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,QAAQ,CAAC,cAAc,EAAE;gBACxD,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,cAAc,IAAI,uBAAuB,CAAC,CAAC;YACrG,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,kEAAkE;YAClE,6BAA6B;YAC7B,GAAG,CAAC,YAAY;gBACd,CAAC,CAAC;oBACE,YAAY,EAAE,MAAM,CAAC,WAAW,CAC9B,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;wBACnD,CAAC;wBACD,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;qBACzB,CAAC,CACH;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR;KACF,CAAC;IAEF,YAAY,CAAC,OAAO,EAAE,CAAC,gCAAgC,CAAC,CAAC;IAEzD,yEAAyE;IACzE,yEAAyE;IACzE,MAAM,GAAG,GAAG,cAAc,CAAC;QACzB,GAAG,KAAK,CAAC,GAAG;QACZ,EAAE,EAAE,KAAK;QACT,MAAM;QACN,IAAI;QACJ,MAAM,EAAE,YAAY;QACpB,UAAU,EAAE;YACV,iBAAiB,EAAE,MAAM,CAAC,UAAU,EAAE,iBAAiB,IAAI,kBAAkB,CAAC,iBAAiB;YAC/F,aAAa,EAAE,MAAM,CAAC,UAAU,EAAE,aAAa,IAAI,kBAAkB,CAAC,aAAa;YACnF,gBAAgB,EAAE,MAAM,CAAC,UAAU,EAAE,gBAAgB,IAAI,kBAAkB,CAAC,gBAAgB;YAC5F,gBAAgB,EAAE,MAAM,CAAC,UAAU,EAAE,gBAAgB,IAAI,kBAAkB,CAAC,gBAAgB;SAC7F;QACD,UAAU,EAAE,IAAI,IAAI,EAAE;QACtB,UAAU,EAAE,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC,QAAQ;KAChE,CAAC,CAAC;IACH,OAAO,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,CAAC;AAC1B,CAAC"}

package/dist/report/blocking-health.d.ts

@@ -0,0 +1,64 @@
+import type { ModelReview, ReviewResult } from '../consensus/types.js';
+import { type QuorumPolicy } from '../dispatch/quorum.js';
+import type { RosterEntry, RosterLane } from './run-header.js';
+/**
+ * The lane Harness assigns a report review row: the first roster entry with
+ * the same model and role, else async when flagged, else blocking. Evidence
+ * envelopes use this same function, so client health reads the rows exactly
+ * as the server's `Status.conclusive?/1` does.
+ */
+export declare function reviewLane(review: Pick<ModelReview, 'model' | 'role' | 'async'>, roster: readonly RosterEntry[]): RosterLane;
+export interface BlockingSeat {
+    model: string;
+    role: string;
+    /** `missing`: the roster names the seat but no blocking row covers it. */
+    status: ModelReview['status'] | 'missing';
+}
+/** Report-level blocking reviewer health; aggregate `stats` stay informational. */
+export interface BlockingHealth {
+    policy: QuorumPolicy;
+    successfulSeats: BlockingSeat[];
+    unsuccessfulSeats: BlockingSeat[];
+    conclusive: boolean;
+    /** Successful rows outside the blocking lane: retained, never counted. */
+    excludedSuccesses: Record<Exclude<RosterLane, 'blocking'>, number>;
+}
+/** The count-only projection written to `stats.blockingHealth`. */
+export interface BlockingHealthSummary {
+    version: 1;
+    fraction: number;
+    seats: number;
+    required: number;
+    successful: number;
+    conclusive: boolean;
+    excludedSuccesses: Record<Exclude<RosterLane, 'blocking'>, number>;
+}
+/**
+ * Blocking health over merged report rows. A blocking seat counts only when
+ * its merged review succeeded, which chunk merging grants only when every
+ * required chunk succeeded. Secondary, async and verification successes are
+ * counted separately and never reach the quorum. Duplicate model/role
+ * assignments are one seat, as in the merged report and on the server.
+ * A synchronous row outside a non-empty roster is refused rather than
+ * counted, so an added row can never create a seat.
+ * A stricter supported fraction raises the requirement; 2/3 is the floor.
+ */
+export declare function deriveBlockingHealth(input: {
+    roster: readonly RosterEntry[];
+    reviews: readonly ModelReview[];
+    fraction?: number;
+}): BlockingHealth;
+export declare function summarizeBlockingHealth(health: BlockingHealth): BlockingHealthSummary;
+/** One line naming the counted seats, the requirement and every seat that fell short. */
+export declare function describeBlockingHealth(health: BlockingHealth): string;
+export declare class ReportHealthError extends Error {
+    readonly code: 'report_health_inconclusive' | 'report_health_unverifiable';
+    readonly health?: BlockingHealth | undefined;
+    constructor(code: 'report_health_inconclusive' | 'report_health_unverifiable', message: string, health?: BlockingHealth | undefined);
+}
+/**
+ * Admission check for a serialized report. Health is derived again from the
+ * report's roster and rows; a recorded summary may only confirm it, and its
+ * fraction may only make the requirement stricter than the server's 2/3.
+ */
+export declare function assertAdmissibleReportHealth(report: Pick<ReviewResult, 'reviews' | 'run' | 'stats'>): BlockingHealth;

package/dist/report/blocking-health.js

@@ -0,0 +1,156 @@
+import { isDeepStrictEqual } from 'node:util';
+import { DEFAULT_QUORUM_FRACTION } from '../config/defaults.js';
+import { hasSuccessfulQuorum, resolveQuorumPolicy } from '../dispatch/quorum.js';
+/**
+ * The lane Harness assigns a report review row: the first roster entry with
+ * the same model and role, else async when flagged, else blocking. Evidence
+ * envelopes use this same function, so client health reads the rows exactly
+ * as the server's `Status.conclusive?/1` does.
+ */
+export function reviewLane(review, roster) {
+    const seat = roster.find((entry) => entry.model === review.model && entry.role === review.role);
+    if (seat)
+        return seat.lane;
+    return review.async ? 'async' : 'blocking';
+}
+const seatKey = (model, role) => JSON.stringify([model, role]);
+const STATUSES = new Set(['success', 'timeout', 'error', 'parse_failed', 'canceled']);
+const LANES = new Set(['blocking', 'secondary', 'async', 'verification']);
+const nonblank = (value) => typeof value === 'string' && value.trim().length > 0;
+/**
+ * Blocking health over merged report rows. A blocking seat counts only when
+ * its merged review succeeded, which chunk merging grants only when every
+ * required chunk succeeded. Secondary, async and verification successes are
+ * counted separately and never reach the quorum. Duplicate model/role
+ * assignments are one seat, as in the merged report and on the server.
+ * A synchronous row outside a non-empty roster is refused rather than
+ * counted, so an added row can never create a seat.
+ * A stricter supported fraction raises the requirement; 2/3 is the floor.
+ */
+export function deriveBlockingHealth(input) {
+    const seats = new Map();
+    if (!Array.isArray(input.roster) || !Array.isArray(input.reviews))
+        throw new Error('Invalid roster or reviewer rows');
+    for (const entry of input.roster) {
+        // An unknown lane must never silently drop a seat from the requirement.
+        if (!entry || !nonblank(entry.model) || !nonblank(entry.role) || !LANES.has(entry.lane)) {
+            throw new Error('Invalid roster entry identity or lane');
+        }
+        if (entry.lane === 'blocking')
+            seats.set(seatKey(entry.model, entry.role), { model: entry.model, role: entry.role });
+    }
+    const rows = new Map();
+    const excludedSuccesses = { secondary: 0, async: 0, verification: 0 };
+    for (const review of input.reviews) {
+        if (!review || !nonblank(review.model) || !nonblank(review.role) || !STATUSES.has(review.status)) {
+            throw new Error('Invalid reviewer row identity or status');
+        }
+        const lane = reviewLane(review, input.roster);
+        if (lane !== 'blocking') {
+            if (review.status === 'success')
+                excludedSuccesses[lane]++;
+            continue;
+        }
+        const key = seatKey(review.model, review.role);
+        // An async-only row on a blocking seat cannot supply that seat's coverage.
+        if (review.async === true) {
+            if (review.status === 'success')
+                excludedSuccesses.async++;
+            if (!seats.has(key))
+                continue;
+            if (rows.has(key))
+                throw new Error(`Duplicate blocking reviewer row for ${review.model}/${review.role}`);
+            rows.set(key, review);
+            continue;
+        }
+        if (rows.has(key))
+            throw new Error(`Duplicate blocking reviewer row for ${review.model}/${review.role}`);
+        rows.set(key, review);
+        if (!seats.has(key)) {
+            // Every row RCL writes is rostered; only a legacy report without a
+            // roster falls back to treating its synchronous rows as blocking.
+            if (input.roster.length > 0)
+                throw new Error(`Unrostered reviewer row for ${review.model}/${review.role}`);
+            seats.set(key, { model: review.model, role: review.role });
+        }
+    }
+    const policy = resolveQuorumPolicy(seats.size, input.fraction ?? DEFAULT_QUORUM_FRACTION);
+    const successfulSeats = [];
+    const unsuccessfulSeats = [];
+    for (const [key, seat] of seats) {
+        const review = rows.get(key);
+        const status = review === undefined || review.async === true ? 'missing' : review.status;
+        (status === 'success' ? successfulSeats : unsuccessfulSeats).push({ ...seat, status });
+    }
+    return {
+        policy,
+        successfulSeats,
+        unsuccessfulSeats,
+        conclusive: hasSuccessfulQuorum(policy, successfulSeats.length),
+        excludedSuccesses,
+    };
+}
+export function summarizeBlockingHealth(health) {
+    return {
+        version: 1,
+        fraction: health.policy.fraction,
+        seats: health.policy.seatCount,
+        required: health.policy.minimumSuccessful,
+        successful: health.successfulSeats.length,
+        conclusive: health.conclusive,
+        excludedSuccesses: { ...health.excludedSuccesses },
+    };
+}
+/** One line naming the counted seats, the requirement and every seat that fell short. */
+export function describeBlockingHealth(health) {
+    const { policy } = health;
+    const excluded = Object.entries(health.excludedSuccesses)
+        .filter(([, count]) => count > 0).map(([lane, count]) => `${count} ${lane}`);
+    const short = health.unsuccessfulSeats.map((seat) => `${seat.model}/${seat.role} (${seat.status})`);
+    return `Blocking reviewer health ${health.conclusive ? 'conclusive' : 'inconclusive'}: ` +
+        `${health.successfulSeats.length}/${policy.seatCount} blocking seats complete; ${policy.minimumSuccessful} required` +
+        (excluded.length > 0 ? `; excluded from quorum: ${excluded.join(', ')} successful` : '') +
+        (short.length > 0 ? `; incomplete: ${short.join(', ')}` : '') + '.';
+}
+export class ReportHealthError extends Error {
+    code;
+    health;
+    constructor(code, message, health) {
+        super(message);
+        this.code = code;
+        this.health = health;
+        this.name = 'ReportHealthError';
+    }
+}
+/**
+ * Admission check for a serialized report. Health is derived again from the
+ * report's roster and rows; a recorded summary may only confirm it, and its
+ * fraction may only make the requirement stricter than the server's 2/3.
+ */
+export function assertAdmissibleReportHealth(report) {
+    const recorded = report.stats?.blockingHealth;
+    let health;
+    try {
+        if (!Array.isArray(report.reviews))
+            throw new Error('report has no reviews array');
+        const fraction = recorded === undefined ? DEFAULT_QUORUM_FRACTION : recorded.fraction;
+        if (typeof fraction !== 'number')
+            throw new Error('recorded blocking health has no fraction');
+        // Only a report without a run header predates rosters; a header must name its seats.
+        if (report.run !== undefined && (!Array.isArray(report.run?.roster) || report.run.roster.length === 0)) {
+            throw new Error('run header has no roster');
+        }
+        health = deriveBlockingHealth({ roster: report.run?.roster ?? [], reviews: report.reviews, fraction });
+        if (recorded !== undefined && !isDeepStrictEqual(recorded, summarizeBlockingHealth(health))) {
+            throw new Error('recorded blocking health does not match the report rows');
+        }
+    }
+    catch (error) {
+        throw new ReportHealthError('report_health_unverifiable', `Reviewer health cannot be derived from this report (${error instanceof Error ? error.message : String(error)}); it is not admitted.`);
+    }
+    if (!health.conclusive) {
+        throw new ReportHealthError('report_health_inconclusive', `${describeBlockingHealth(health)} The report is not admitted; its findings are not triaged.`, health);
+    }
+    return health;
+}
+//# sourceMappingURL=blocking-health.js.map

package/dist/report/blocking-health.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"blocking-health.js","sourceRoot":"","sources":["../../src/report/blocking-health.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAE9C,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAqB,MAAM,uBAAuB,CAAC;AAGpG;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,MAAqD,EAAE,MAA8B;IAC9G,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;IAChG,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC3B,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;AAC7C,CAAC;AA8BD,MAAM,OAAO,GAAG,CAAC,KAAa,EAAE,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AACvF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAU,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;AAC/F,MAAM,KAAK,GAAG,IAAI,GAAG,CAAU,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC;AACnF,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAE3G;;;;;;;;;GASG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAIpC;IACC,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2C,CAAC;IACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACtH,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,wEAAwE;QACxE,IAAI,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACxF,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC3D,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACvH,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC5C,MAAM,iBAAiB,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IACtE,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACjG,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC7D,CAAC;QACD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;YACxB,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;gBAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3D,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAC/C,2EAA2E;QAC3E,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YAC1B,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;gBAAE,iBAAiB,CAAC,KAAK,EAAE,CAAC;YAC3D,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC9B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;YACzG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YACtB,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACzG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACpB,mEAAmE;YACnE,kEAAkE;YAClE,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;YAC3G,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,IAAI,uBAAuB,CAAC,CAAC;IAC1F,MAAM,eAAe,GAAmB,EAAE,CAAC;IAC3C,MAAM,iBAAiB,GAAmB,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;QACzF,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,OAAO;QACL,MAAM;QACN,eAAe;QACf,iBAAiB;QACjB,UAAU,EAAE,mBAAmB,CAAC,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC;QAC/D,iBAAiB;KAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,MAAsB;IAC5D,OAAO;QACL,OAAO,EAAE,CAAC;QACV,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ;QAChC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS;QAC9B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,iBAAiB;QACzC,UAAU,EAAE,MAAM,CAAC,eAAe,CAAC,MAAM;QACzC,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,iBAAiB,EAAE,EAAE,GAAG,MAAM,CAAC,iBAAiB,EAAE;KACnD,CAAC;AACJ,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,sBAAsB,CAAC,MAAsB;IAC3D,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC;SACtD,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC,CAAC;IAC/E,MAAM,KAAK,GAAG,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;IACpG,OAAO,4BAA4B,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,cAAc,IAAI;QACtF,GAAG,MAAM,CAAC,eAAe,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,6BAA6B,MAAM,CAAC,iBAAiB,WAAW;QACpH,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,2BAA2B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QACxF,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;AACxE,CAAC;AAED,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IACrB;IAA6F;IAAlH,YAAqB,IAAiE,EAAE,OAAe,EAAW,MAAuB;QACvI,KAAK,CAAC,OAAO,CAAC,CAAC;QADI,SAAI,GAAJ,IAAI,CAA6D;QAA4B,WAAM,GAAN,MAAM,CAAiB;QAEvI,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAAC,MAAuD;IAClG,MAAM,QAAQ,GAAI,MAAM,CAAC,KAAkD,EAAE,cAAc,CAAC;IAC5F,IAAI,MAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACnF,MAAM,QAAQ,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAE,QAAmC,CAAC,QAAQ,CAAC;QAClH,IAAI,OAAO,QAAQ,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAC9F,qFAAqF;QACrF,IAAI,MAAM,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;YACvG,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,GAAG,oBAAoB,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QACvG,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,uBAAuB,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAC5F,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,iBAAiB,CAAC,4BAA4B,EACtD,uDAAuD,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC3I,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,IAAI,iBAAiB,CAAC,4BAA4B,EACtD,GAAG,sBAAsB,CAAC,MAAM,CAAC,4DAA4D,EAAE,MAAM,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/report/checkpoint-assembly.d.ts

@@ -0,0 +1,10 @@
+import { type AssemblyDependencies } from './assembly.js';
+import { type CheckpointAssemblyInput, type CheckpointAssemblyResult } from './checkpoint-consensus.js';
+import { type SealedVerificationProof } from './checkpoint-gating.js';
+export * from './checkpoint-consensus.js';
+export interface CheckpointAssemblyDependencies extends AssemblyDependencies {
+    /** Sealed current-run verifier evidence, independently checked against the regenerated plan. */
+    verificationProof?: SealedVerificationProof;
+}
+/** Assemble retained output by replaying sealed evidence; this path never launches a verifier. */
+export declare function assembleCheckpointReview(input: CheckpointAssemblyInput, dependencies?: CheckpointAssemblyDependencies): Promise<CheckpointAssemblyResult>;

package/dist/report/checkpoint-assembly.js

@@ -0,0 +1,17 @@
+import { assembleCompletedReview } from './assembly.js';
+import { prepareCheckpointAssembly, summarizeCheckpointBlockingHealth } from './checkpoint-consensus.js';
+import { deriveCheckpointGating } from './checkpoint-gating.js';
+export * from './checkpoint-consensus.js';
+/** Assemble retained output by replaying sealed evidence; this path never launches a verifier. */
+export async function assembleCheckpointReview(input, dependencies = {}) {
+    const gated = deriveCheckpointGating(input, dependencies.verificationProof);
+    const { completedInput } = prepareCheckpointAssembly(input);
+    const report = await assembleCompletedReview(completedInput, dependencies, {
+        consensus: gated.derived.consensus, findings: gated.findings, appendix: gated.appendix,
+        blockingHealth: summarizeCheckpointBlockingHealth(input, gated.derived.consensus.reviews),
+        ...(gated.verification === undefined ? {} : { verification: gated.verification }),
+    });
+    return { report, contributions: gated.derived.contributions,
+        observations: gated.derived.observations, projection: gated.derived.projection };
+}
+//# sourceMappingURL=checkpoint-assembly.js.map

package/dist/report/checkpoint-assembly.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint-assembly.js","sourceRoot":"","sources":["../../src/report/checkpoint-assembly.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAA6B,MAAM,eAAe,CAAC;AACnF,OAAO,EAAE,yBAAyB,EAAE,iCAAiC,EAA+D,MAAM,2BAA2B,CAAC;AACtK,OAAO,EAAE,sBAAsB,EAAgC,MAAM,wBAAwB,CAAC;AAC9F,cAAc,2BAA2B,CAAC;AAO1C,kGAAkG;AAClG,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,KAA8B,EAC9B,eAA+C,EAAE;IAEjD,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,EAAE,YAAY,CAAC,iBAAiB,CAAC,CAAC;IAC5E,MAAM,EAAE,cAAc,EAAE,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,MAAM,uBAAuB,CAAC,cAAc,EAAE,YAAY,EAAE;QACzE,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACtF,cAAc,EAAE,iCAAiC,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC;QACzF,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC;KAClF,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa;QACzD,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;AACrF,CAAC"}