tracegrove 0.0.0-stage → 0.3.1

package/dist/core/lookup.js

@@ -0,0 +1,55 @@
+import { CaseSpec, digestOfValue, refKey } from "../protocol/index.js";
+import { Blocked, Conflict } from "./errors.js";
+export function searchCases(project, query = {}) {
+    const limit = query.limit ?? 20;
+    if (!Number.isInteger(limit) || limit < 1 || limit > 100)
+        throw new Blocked([{ code: 'lookup_limit', detail: 'limit must be 1..100' }]);
+    const filter = { id: query.id ?? null, workflow: query.workflow ?? null, surface: query.surface ?? null, text: query.text ?? null };
+    const fingerprint = digestOfValue(filter).hex;
+    const snapshot = project.corpus.manifest.ref;
+    let offset = 0;
+    if (query.cursor) {
+        if (query.cursor.length > 1024)
+            throw new Conflict('invalid lookup cursor');
+        let cursor;
+        try {
+            cursor = JSON.parse(Buffer.from(query.cursor, 'base64url').toString());
+        }
+        catch {
+            throw new Conflict('invalid lookup cursor');
+        }
+        if (cursor.snapshot !== refKey(snapshot) || cursor.filter !== fingerprint || !Number.isSafeInteger(cursor.offset) || cursor.offset < 0)
+            throw new Conflict('stale or foreign lookup cursor');
+        offset = cursor.offset;
+    }
+    const matches = project.corpus.documents().flatMap((doc) => {
+        const parsed = CaseSpec.safeParse(doc.value);
+        if (!parsed.success)
+            return [];
+        const spec = parsed.data;
+        if (query.id && spec.ref.id !== query.id)
+            return [];
+        if (query.workflow && spec.workflowId !== query.workflow)
+            return [];
+        if (query.surface && spec.surface !== query.surface)
+            return [];
+        if (query.text && !`${spec.ref.id} ${spec.workflowId} ${spec.purpose}`.toLowerCase().includes(query.text.toLowerCase()))
+            return [];
+        return [{ ref: spec.ref, workflowId: spec.workflowId, surface: spec.surface, purpose: spec.purpose,
+                sourcePath: doc.sourcePath, requiredCapabilities: spec.requiredCapabilities,
+                compatibility: 'recheck_at_plan', state: 'definition_only', review: 'unknown' }];
+    }).sort((a, b) => refKey(a.ref).localeCompare(refKey(b.ref)));
+    const results = matches.slice(offset, offset + limit);
+    if (Buffer.byteLength(JSON.stringify(results)) > 32 * 1024)
+        throw new Blocked([{ code: 'lookup_byte_limit', detail: 'reduce the page limit to fit 32 KiB' }]);
+    const next = offset + results.length;
+    return { snapshot, results, total: matches.length, cursor: next < matches.length ? Buffer.from(JSON.stringify({ snapshot: refKey(snapshot), filter: fingerprint, offset: next })).toString('base64url') : null };
+}
+export function getCase(project, ref, maxBytes = 32 * 1024) {
+    const doc = project.corpus.get(ref);
+    const spec = project.corpus.getAs(CaseSpec, ref);
+    if (Buffer.byteLength(JSON.stringify(spec)) > maxBytes)
+        throw new Blocked([{ code: 'lookup_byte_limit', detail: ref.id }]);
+    return { snapshot: project.corpus.manifest.ref, sourcePath: doc.sourcePath, spec };
+}
+//# sourceMappingURL=lookup.js.map

package/dist/core/lookup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lookup.js","sourceRoot":"","sources":["../../src/core/lookup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAY,MAAM,sBAAsB,CAAC;AAEjF,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAGhD,MAAM,UAAU,WAAW,CAAC,OAAsB,EAAE,QAAmB,EAAE;IACvE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,GAAG;QAAE,MAAM,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC;IACxI,MAAM,MAAM,GAAG,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;IACpI,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC;IAC9C,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;IAC7C,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjB,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI;YAAE,MAAM,IAAI,QAAQ,CAAC,uBAAuB,CAAC,CAAC;QAC5E,IAAI,MAA4D,CAAC;QACjE,IAAI,CAAC;YAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAAC,CAAC;QAC/E,MAAM,CAAC;YAAC,MAAM,IAAI,QAAQ,CAAC,uBAAuB,CAAC,CAAC;QAAC,CAAC;QACtD,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,QAAQ,CAAC,gCAAgC,CAAC,CAAC;QAC7L,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IACzB,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;QACzD,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,OAAO,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACzB,IAAI,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE;YAAE,OAAO,EAAE,CAAC;QACpD,IAAI,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAC;QACpE,IAAI,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;YAAE,OAAO,EAAE,CAAC;QAC/D,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAAE,OAAO,EAAE,CAAC;QACnI,OAAO,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO;gBAChG,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;gBAC3E,aAAa,EAAE,iBAAiB,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC;IACtD,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI;QAAE,MAAM,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,qCAAqC,EAAE,CAAC,CAAC,CAAC;IAC9J,MAAM,IAAI,GAAG,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IACrC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACnN,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAAsB,EAAE,GAAQ,EAAE,QAAQ,GAAG,EAAE,GAAG,IAAI;IAC5E,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACjD,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,QAAQ;QAAE,MAAM,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC3H,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC;AACrF,CAAC"}

package/dist/core/ownership.d.ts

@@ -0,0 +1,3 @@
+import { type CleanupExpectation } from '../protocol/schemas/cleanup.ts';
+/** Derive from the protected ledger head. This helper does not establish the caller's authority. */
+export declare function deriveCleanupExpectation(snapshotRaw: unknown, attemptId: string, ownershipRaw: unknown, ledgerHeadDigest: string): CleanupExpectation;

package/dist/core/ownership.js

@@ -0,0 +1,24 @@
+import { CleanupExpectationSchema, WorkflowOwnershipSchema } from "../protocol/schemas/cleanup.js";
+import { CoordinationSnapshotSchema } from "./coordination.js";
+import { Conflict } from "./errors.js";
+/** Derive from the protected ledger head. This helper does not establish the caller's authority. */
+export function deriveCleanupExpectation(snapshotRaw, attemptId, ownershipRaw, ledgerHeadDigest) {
+    const snapshot = CoordinationSnapshotSchema.parse(snapshotRaw);
+    const lease = snapshot.leases.find(item => item.attemptId === attemptId);
+    if (!lease || lease.state === 'released')
+        throw new Conflict('Cleanup requires an unreleased attempt');
+    if (!ownershipRaw)
+        throw new Conflict('Host ownership inventory is unresolved');
+    const ownership = WorkflowOwnershipSchema.parse(ownershipRaw);
+    const resolved = new Set(ownership.effects.map(effect => effect.effectId));
+    if ([...resolved].some(id => !lease.effectIds.includes(id)))
+        throw new Conflict('Ownership contains an effect outside the admitted attempt');
+    return CleanupExpectationSchema.parse({
+        schemaVersion: 'workflow.cleanup-expectation/v1', scopeId: snapshot.scopeId, attemptId,
+        workerId: lease.workerId, generation: lease.generation, coordinationVersion: snapshot.version,
+        effectIds: lease.effectIds, unresolvedEffectIds: lease.effectIds.filter(id => !resolved.has(id)),
+        ownershipLedgerHeadDigest: ledgerHeadDigest,
+        resources: [...ownership.hostResources, ...ownership.effects.flatMap(effect => effect.resources)],
+    });
+}
+//# sourceMappingURL=ownership.js.map

package/dist/core/ownership.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ownership.js","sourceRoot":"","sources":["../../src/core/ownership.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,uBAAuB,EAA2B,MAAM,gCAAgC,CAAC;AAC5H,OAAO,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEvC,oGAAoG;AACpG,MAAM,UAAU,wBAAwB,CAAC,WAAoB,EAAE,SAAiB,EAC9E,YAAqB,EAAE,gBAAwB;IAC/C,MAAM,QAAQ,GAAG,0BAA0B,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;IACzE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU;QAAE,MAAM,IAAI,QAAQ,CAAC,wCAAwC,CAAC,CAAC;IACvG,IAAI,CAAC,YAAY;QAAE,MAAM,IAAI,QAAQ,CAAC,wCAAwC,CAAC,CAAC;IAChF,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3E,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAAE,MAAM,IAAI,QAAQ,CAAC,2DAA2D,CAAC,CAAC;IAC7I,OAAO,wBAAwB,CAAC,KAAK,CAAC;QACpC,aAAa,EAAE,iCAAiC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,SAAS;QACtF,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,mBAAmB,EAAE,QAAQ,CAAC,OAAO;QAC7F,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,mBAAmB,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChG,yBAAyB,EAAE,gBAAgB;QAC3C,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,aAAa,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;KAClG,CAAC,CAAC;AACL,CAAC"}

package/dist/core/planInspection.d.ts

@@ -0,0 +1,108 @@
+import { z } from 'zod';
+import { type Scope } from '../protocol/index.ts';
+export declare const FrozenPlanInspection: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"tracegrove.plan-inspection/v1">;
+    structural: z.ZodEnum<{
+        blocked: "blocked";
+        valid: "valid";
+    }>;
+    executionAuthority: z.ZodLiteral<"not_checked">;
+    scope: z.ZodNullable<z.ZodObject<{
+        ownerId: z.ZodString;
+        tenantId: z.ZodNullable<z.ZodString>;
+        visibility: z.ZodEnum<{
+            public: "public";
+            owner_private: "owner_private";
+            tenant_private: "tenant_private";
+        }>;
+    }, z.core.$strict>>;
+    requestRef: z.ZodNullable<z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    purpose: z.ZodNullable<z.ZodEnum<{
+        trial: "trial";
+        work_proof: "work_proof";
+        qualification: "qualification";
+        regression: "regression";
+    }>>;
+    replayOf: z.ZodNullable<z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    sourceSelectionRef: z.ZodNullable<z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    sourcePlanRef: z.ZodNullable<z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    reviewRef: z.ZodNullable<z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    requiresQualificationOwner: z.ZodBoolean;
+    executableClosureDigest: z.ZodObject<{
+        algorithm: z.ZodLiteral<"sha256">;
+        hex: z.ZodString;
+    }, z.core.$strict>;
+    cells: z.ZodArray<z.ZodObject<{
+        selectionCellId: z.ZodString;
+        required: z.ZodBoolean;
+        caseRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        personaRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        executionHostRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    blockers: z.ZodArray<z.ZodObject<{
+        code: z.ZodString;
+        detail: z.ZodString;
+        owner: z.ZodString;
+        action: z.ZodString;
+        cellId: z.ZodNullable<z.ZodString>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type FrozenPlanInspection = z.infer<typeof FrozenPlanInspection>;
+/** Static resolution only. Never probes a runtime, starts a host, provisions state or reads a review owner. */
+export declare function inspectFrozenPlan(input: unknown, scope: Scope): FrozenPlanInspection;

package/dist/core/planInspection.js

@@ -0,0 +1,44 @@
+import { z } from 'zod';
+import { DigestSchema, RefSchema, RunRequest, ScopeSchema, digestOfValue, refKey, verifySelfDigest } from "../protocol/index.js";
+import { FrozenBundle, PlanBlocker } from "./frozenBundle.js";
+import { checkedFrozenRequest, prepareFrozenCells } from "./executionPreparation.js";
+import { Blocked } from "./errors.js";
+export const FrozenPlanInspection = z.object({ schemaVersion: z.literal('tracegrove.plan-inspection/v1'),
+    structural: z.enum(['valid', 'blocked']), executionAuthority: z.literal('not_checked'), scope: ScopeSchema.nullable(),
+    requestRef: RefSchema.nullable(), purpose: RunRequest.shape.purpose.nullable(), replayOf: RefSchema.nullable(),
+    sourceSelectionRef: RefSchema.nullable(), sourcePlanRef: RefSchema.nullable(), reviewRef: RefSchema.nullable(),
+    requiresQualificationOwner: z.boolean(), executableClosureDigest: DigestSchema,
+    cells: z.array(z.object({ selectionCellId: z.string(), required: z.boolean(), caseRef: RefSchema, personaRef: RefSchema,
+        executionHostRef: RefSchema }).strict()), blockers: z.array(PlanBlocker),
+}).strict();
+/** Static resolution only. Never probes a runtime, starts a host, provisions state or reads a review owner. */
+export function inspectFrozenPlan(input, scope) {
+    const bundle = FrozenBundle.parse(input);
+    const request = bundle.request;
+    let cells = [];
+    let blockers = [...bundle.blockers];
+    try {
+        checkedFrozenRequest(bundle, scope);
+        if (blockers.length)
+            throw new Blocked(blockers);
+        for (const [key, document] of Object.entries(bundle.documents)) {
+            const parsed = RefSchema.safeParse(document && typeof document === 'object' && 'ref' in document ? document.ref : null);
+            if (!parsed.success || refKey(parsed.data) !== key || !verifySelfDigest(document))
+                throw new Blocked([{ code: 'frozen_document_changed', detail: key, owner: 'operator', action: 'plan again from reviewed definitions' }]);
+        }
+        const prepared = prepareFrozenCells(bundle, scope, request);
+        cells = prepared.selection.cells.map(({ selectionCellId, required, caseRef, personaRef, executionHostRef }) => ({ selectionCellId, required, caseRef, personaRef, executionHostRef }));
+    }
+    catch (error) {
+        if (!(error instanceof Blocked))
+            throw error;
+        blockers = error.reasons.length ? error.reasons.map(reason => ({ code: reason.code, detail: reason.detail, owner: reason.owner ?? 'operator', action: reason.action ?? 'plan again', cellId: null }))
+            : [{ code: 'frozen_request_missing', detail: 'The envelope has no executable request.', owner: 'operator', action: 'plan again', cellId: null }];
+    }
+    return FrozenPlanInspection.parse({ schemaVersion: 'tracegrove.plan-inspection/v1', structural: blockers.length ? 'blocked' : 'valid', executionAuthority: 'not_checked',
+        scope: request?.requestedScope ?? null, requestRef: request?.ref ?? null, purpose: request?.purpose ?? null, replayOf: request?.replayOf ?? null,
+        sourceSelectionRef: request?.sourceSelectionRef ?? null, sourcePlanRef: request?.sourcePlanRef ?? null, reviewRef: request?.reviewRef ?? null,
+        requiresQualificationOwner: request?.purpose === 'qualification' || !!request?.sourcePlanRef || !!request?.scenarioRefs.length,
+        executableClosureDigest: digestOfValue({ request, documents: bundle.documents }), cells, blockers });
+}
+//# sourceMappingURL=planInspection.js.map

package/dist/core/planInspection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"planInspection.js","sourceRoot":"","sources":["../../src/core/planInspection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,gBAAgB,EAAc,MAAM,sBAAsB,CAAC;AAC7I,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AACrF,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAEtC,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC;IACtG,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,QAAQ,EAAE;IACrH,UAAU,EAAE,SAAS,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE;IAC9G,kBAAkB,EAAE,SAAS,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,SAAS,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,QAAQ,EAAE;IAC9G,0BAA0B,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,uBAAuB,EAAE,YAAY;IAC9E,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS;QACrH,gBAAgB,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC;CAC3E,CAAC,CAAC,MAAM,EAAE,CAAC;AAGZ,+GAA+G;AAC/G,MAAM,UAAU,iBAAiB,CAAC,KAAc,EAAE,KAAY;IAC5D,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAAC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IACzE,IAAI,KAAK,GAAkC,EAAE,CAAC;IAAC,IAAI,QAAQ,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IACnF,IAAI,CAAC;QACH,oBAAoB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACpC,IAAI,QAAQ,CAAC,MAAM;YAAE,MAAM,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC;QACjD,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/D,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACxH,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,QAA8C,CAAC;gBACrH,MAAM,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,sCAAsC,EAAE,CAAC,CAAC,CAAC;QAC7I,CAAC;QACD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,MAAM,EAAE,KAAK,EAAE,OAAQ,CAAC,CAAC;QAC7D,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,eAAe,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,eAAe,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC;IACzL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,KAAK,YAAY,OAAO,CAAC;YAAE,MAAM,KAAK,CAAC;QAC7C,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACnM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,MAAM,EAAE,yCAAyC,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACrJ,CAAC;IACD,OAAO,oBAAoB,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,+BAA+B,EAAE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,kBAAkB,EAAE,aAAa;QACtK,KAAK,EAAE,OAAO,EAAE,cAAc,IAAI,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,IAAI,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,IAAI,IAAI;QAChJ,kBAAkB,EAAE,OAAO,EAAE,kBAAkB,IAAI,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,IAAI,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,IAAI;QAC7I,0BAA0B,EAAE,OAAO,EAAE,OAAO,KAAK,eAAe,IAAI,CAAC,CAAC,OAAO,EAAE,aAAa,IAAI,CAAC,CAAC,OAAO,EAAE,YAAY,CAAC,MAAM;QAC9H,uBAAuB,EAAE,aAAa,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;AACzG,CAAC"}

package/dist/core/planner.d.ts

@@ -0,0 +1,14 @@
+import { RunRequest, type Scope } from '../protocol/index.ts';
+export { runnerCapabilitiesFor } from './runnerCapabilities.ts';
+import type { LoadedProject } from './corpus.ts';
+import type { FrozenBundle } from './frozenBundle.ts';
+export { FrozenBundle } from './frozenBundle.ts';
+export type { Blocker } from './frozenBundle.ts';
+export type PlanInput = {
+    project: LoadedProject;
+    profileName: string;
+    scope: Scope;
+    purpose?: RunRequest['purpose'];
+    workBinding?: RunRequest['workBinding'];
+};
+export declare function plan(input: PlanInput): FrozenBundle;

package/dist/core/planner.js

@@ -0,0 +1,261 @@
+/**
+ * `plan`: resolve a mutable profile/suite choice into an immutable, fully resolved request.
+ * Side-effect free. Returns frozen selection/fidelity/fixture/request documents plus every
+ * blocker with owner and action. A blocked plan produces no executable request.
+ */
+import { createHash } from 'node:crypto';
+import { ActionRegistry, AuthRecipe, CampaignFixturePlan, CaseFixturePlan, CaseSpec, ComponentProfile, EffectiveConfig, EnvironmentPlan, FidelityPlan, FidelityProfile, HostPlan, IntelligencePolicy, LogicalPayload, Persona, RunRequest, RunnerProfile, SeedRecipe, SelectionManifest, SurfaceBinding, SurfacePack, SourceSelection, digestOfValue, freeze, parseAs, refKey, sameDigest, } from "../protocol/index.js";
+import { runnerCapabilitiesFor } from "./runnerCapabilities.js";
+export { runnerCapabilitiesFor } from "./runnerCapabilities.js";
+import { compileCase } from "./compiler.js";
+import { cleanupActionError } from "./cleanupActions.js";
+import { mcpSdkAvailable } from "../adapters/mcp/capabilities.js";
+import { Blocked } from "./errors.js";
+import { materializeLogicalPayload } from "./generators.js";
+import { REDUCER_REF } from "./reducer.js";
+import { snapshotRepository } from "./snapshotRepository.js";
+import { repositorySelectionProblems } from "./repositorySelectionEvidence.js";
+import { newId } from "./clock.js";
+export { FrozenBundle } from "./frozenBundle.js";
+function cellId(caseId, personaId) {
+    return `${caseId}__${personaId}`.replace(/[^A-Za-z0-9._:/-]/g, '_');
+}
+export function plan(input) {
+    const { project, profileName, scope } = input;
+    const workBinding = RunRequest.shape.workBinding.parse(input.workBinding ?? null);
+    const corpus = project.corpus;
+    const blockers = [];
+    const documents = {};
+    const keep = (doc) => { documents[refKey(doc.ref)] = doc; };
+    for (const doc of corpus.documents())
+        documents[refKey(doc.ref)] = doc.value;
+    keep(corpus.manifest);
+    const profile = project.config.profiles[profileName];
+    if (!profile)
+        throw new Blocked([{ code: 'unknown_profile', detail: profileName, owner: 'operator', action: `choose one of ${Object.keys(project.config.profiles).join(', ')}` }]);
+    const fileRef = (rel) => {
+        const ref = project.fileRefs.get(rel);
+        if (!ref)
+            throw new Blocked([{ code: 'unresolved_config_file', detail: rel }]);
+        return ref;
+    };
+    const environmentPlan = corpus.getAs(EnvironmentPlan, fileRef(profile.environmentPlanRef));
+    const persona = corpus.getAs(Persona, fileRef(profile.personaRef));
+    const authRecipe = corpus.getAs(AuthRecipe, persona.authRecipeRef);
+    const fidelityProfile = corpus.getAs(FidelityProfile, fileRef(profile.fidelityProfileRef));
+    const runnerProfile = corpus.getAs(RunnerProfile, fileRef(profile.runnerRef));
+    const hostPlan = corpus.getAs(HostPlan, fileRef(profile.hostPlanRef ?? project.config.executionHostRef));
+    const intelligencePolicy = corpus.getAs(IntelligencePolicy, fileRef(project.config.intelligencePolicyRef));
+    const componentProfile = corpus.getAs(ComponentProfile, environmentPlan.componentProfileRef);
+    const capabilities = runnerCapabilitiesFor(runnerProfile);
+    const sourceSelection = project.config.sourceSelectionRef ? corpus.getAs(SourceSelection, fileRef(project.config.sourceSelectionRef)) : null;
+    void authRecipe;
+    if (environmentPlan.class !== profile.class) {
+        blockers.push({ code: 'environment_class_mismatch', detail: `profile ${profileName} declares ${profile.class}; environment plan ${environmentPlan.ref.id} is ${environmentPlan.class}`, owner: 'operator', action: 'align the profile and environment plan', cellId: null });
+    }
+    if (hostPlan.adapter === 'local_process' && !hostPlan.launch) {
+        blockers.push({ code: 'host_launch_missing', detail: hostPlan.ref.id, owner: 'operator', action: 'declare a launch recipe or bind an existing target', cellId: null });
+    }
+    if (hostPlan.adapter === 'mock_loopback' && !hostPlan.mockResponsesRef) {
+        blockers.push({ code: 'mock_responses_missing', detail: hostPlan.ref.id, owner: 'operator', action: 'declare mock responses for the loopback host', cellId: null });
+    }
+    if (hostPlan.adapter === 'mock_loopback' && fidelityProfile.lane !== 'mock_contract') {
+        blockers.push({ code: 'mock_host_with_live_lane', detail: `${hostPlan.ref.id} cannot satisfy lane ${fidelityProfile.lane}`, owner: 'operator', action: 'use a live host for a live lane', cellId: null });
+    }
+    const expectedTarget = {
+        componentProfileRef: componentProfile.ref,
+        requiredComponents: componentProfile.components.filter((c) => c.required).map((c) => c.componentId),
+        excludedComponents: componentProfile.components.filter((c) => !c.required).map((c) => ({ component: c.componentId, reason: c.exclusionReason ?? 'excluded by profile' })),
+        components: componentProfile.components.map((c) => ({ componentId: c.componentId, kind: c.kind, identity: c.expectedIdentity })),
+        repositories: hostPlan.launch?.sourceSnapshot?.repositoryRole ? [snapshotRepository(hostPlan.launch.sourceSnapshot)] : [],
+        corpus: corpus.manifest.ref,
+        runner: capabilities.ref,
+        evaluator: REDUCER_REF,
+        frontendRelease: null, backendRelease: null, workerRelease: null,
+        schemaFingerprint: null, featureFlagsDigest: null, capabilityVersionsDigest: null,
+        browserVersion: null, containerImageDigest: null, modelConfigDigest: null,
+    };
+    const cells = [];
+    const excludedCells = [];
+    const fidelityCells = [];
+    const fixtureCells = [];
+    const caseRefs = [];
+    const requirements = new Set();
+    for (const entry of project.suiteCases) {
+        const spec = corpus.getAs(CaseSpec, entry.ref);
+        const suiteEntry = project.suite.cases.find((c) => project.fileRefs.get(`./${['cases', c.caseRef.replace(/^\.\//, '')].join('/')}`)?.digest.hex === entry.ref.digest.hex) ?? null;
+        const applicable = suiteEntry?.profiles ? suiteEntry.profiles.includes(profileName) : true;
+        const id = cellId(spec.ref.id, persona.ref.id);
+        if (!applicable) {
+            excludedCells.push({ cellKey: id, reason: `suite entry applies only to profiles ${suiteEntry?.profiles?.join(', ')}` });
+            continue;
+        }
+        const cellBlock = (code, detail, owner = 'case author', action = 'revise the case or choose a compatible profile') => blockers.push({ code, detail, owner, action, cellId: id });
+        if (spec.steps.some(step => step.kind.startsWith('job.')) && (hostPlan.adapter !== 'local_process' || hostPlan.launch?.nativeJobs !== 'node_ipc/v1'))
+            cellBlock('native_job_host_unavailable', 'Native jobs require an explicitly enabled local Node IPC host');
+        if (spec.steps.some(step => step.kind === 'mcp.call')) {
+            if (hostPlan.adapter !== 'local_process' || profile.class !== 'isolated_candidate')
+                cellBlock('mcp_host_unqualified', 'MCP calls currently require an isolated local application host');
+            if (!hostPlan.launch || !spec.effects.allowedHosts.includes(`launch://${hostPlan.launch.componentId}`))
+                cellBlock('mcp_origin_not_admitted', 'MCP effects must explicitly allow the launched application component');
+            if (!mcpSdkAvailable())
+                cellBlock('mcp_sdk_missing', 'The pinned optional MCP SDK is unavailable', 'operator', 'install @modelcontextprotocol/sdk@1.32.1 before planning this MCP flow');
+        }
+        if (!spec.environmentClasses.includes(profile.class))
+            cellBlock('environment_class_not_applicable', `${spec.ref.id} does not apply to ${profile.class}`);
+        const binding = corpus.getAs(SurfaceBinding, spec.surfaceBindingRef);
+        const pack = corpus.getAs(SurfacePack, binding.packRef);
+        for (const kind of new Set(spec.steps.map((s) => s.kind))) {
+            if (!pack.stepKinds.includes(kind))
+                cellBlock('surface_pack_step_unsupported', `${spec.ref.id}: ${kind} not in pack ${pack.ref.id}`);
+        }
+        const advertised = new Set([...capabilities.operations, ...capabilities.fixtureOperations, ...capabilities.cleanupOperations]);
+        for (const cap of [...spec.requiredCapabilities, ...binding.requiredCapabilities]) {
+            if (!advertised.has(cap))
+                cellBlock('unwired_capability', `${spec.ref.id} requires ${cap}, which runner ${capabilities.ref.id} does not implement`, 'runner owner', 'add a conforming adapter or exclude the case explicitly');
+        }
+        for (const required of spec.requiredBoundaries) {
+            const rule = fidelityProfile.boundaryRules.find((r) => r.boundaryId === required.boundaryId);
+            if (!rule)
+                cellBlock('fidelity_boundary_missing', `${spec.ref.id} requires boundary ${required.boundaryId}; profile ${fidelityProfile.ref.id} declares none`, 'operator', 'choose a fidelity profile that declares the boundary');
+            else if (rule.mode !== required.mode)
+                cellBlock('fidelity_mode_mismatch', `${spec.ref.id} requires ${required.boundaryId}=${required.mode}; profile ${fidelityProfile.ref.id} declares ${rule.mode}`, 'operator', 'a profile cannot downgrade a case requirement; choose a matching profile or a different case');
+        }
+        for (const method of new Set(spec.steps.flatMap((s) => (s.kind === 'http.request' ? [s.method] : s.kind === 'observe' ? [s.readback.method] : [])))) {
+            if (!spec.effects.allowedMethods.includes(method))
+                cellBlock('effect_envelope_method', `${spec.ref.id} uses ${method} outside its envelope`);
+        }
+        for (const path of spec.steps.flatMap((s) => (s.kind === 'http.request' ? [s.path] : s.kind === 'observe' ? [s.readback.path] : []))) {
+            if (!spec.effects.allowedResourcePrefixes.some((prefix) => path.startsWith(prefix)))
+                cellBlock('effect_envelope_path', `${spec.ref.id} touches ${path} outside allowed prefixes`);
+        }
+        let recipe = null;
+        let caseFixturePlan = null;
+        if (spec.fixturePlanRef) {
+            caseFixturePlan = corpus.getAs(CaseFixturePlan, spec.fixturePlanRef);
+            recipe = corpus.getAs(SeedRecipe, caseFixturePlan.seedRecipeRef);
+            const payload = corpus.getAs(LogicalPayload, caseFixturePlan.logicalPayloadRef);
+            const regenerated = materializeLogicalPayload(recipe, payload.scope);
+            if (!sameDigest(regenerated.ref.digest, payload.ref.digest))
+                cellBlock('stale_logical_payload', `${caseFixturePlan.logicalPayloadRef.id} no longer matches recipe ${recipe.ref.id}; rematerialize and review`, 'case author', 'run materialize-payload and review the diff');
+            const registry = corpus.getAs(ActionRegistry, recipe.actionRegistryRef);
+            for (const entity of recipe.entities) {
+                const allocation = registry.actions.find(action => action.actionId === entity.actionId);
+                if (allocation && allocation.effect !== 'create')
+                    cellBlock('fixture_ownership_unavailable', `${recipe.ref.id}.${entity.entityKey}: ${allocation.actionId} does not allocate an owned resource`, 'case author', 'use a registered create action; borrowed resources require a separately qualified adapter');
+                if (entity.cleanup) {
+                    const cleanup = entity.cleanup;
+                    const error = cleanupActionError(registry.actions.find(action => action.actionId === cleanup.actionId), registry.actions.find(action => action.actionId === cleanup.absenceReadback.actionId), cleanup.absenceReadback.expectStatus);
+                    if (error)
+                        cellBlock('fixture_cleanup_invalid', `${recipe.ref.id}.${entity.entityKey}: ${error}`, 'case author', 'register a delete action and a GET/HEAD absence readback with status 404 or 410');
+                }
+                for (const actionId of [entity.actionId, entity.readback?.actionId, entity.cleanup?.actionId, entity.cleanup?.absenceReadback.actionId].filter((a) => !!a)) {
+                    if (!registry.actions.some((a) => a.actionId === actionId))
+                        cellBlock('unregistered_action', `${recipe.ref.id}.${entity.entityKey}: ${actionId}`);
+                }
+            }
+            if (profile.fixturePlanRef && !sameDigest(fileRef(profile.fixturePlanRef).digest, caseFixturePlan.ref.digest))
+                cellBlock('fixture_plan_mismatch', `profile default fixture plan differs from ${spec.ref.id}'s own plan`, 'operator', 'remove the profile default or make it match');
+        }
+        try {
+            compileCase(spec, capabilities, recipe);
+        }
+        catch (error) {
+            if (error instanceof Blocked)
+                for (const reason of error.reasons)
+                    blockers.push({ ...reason, cellId: id });
+            else
+                throw error;
+        }
+        for (const tag of spec.assertions.flatMap((a) => a.coverageTags))
+            requirements.add(tag);
+        cells.push({
+            selectionCellId: id, required: entry.required, caseRef: spec.ref, personaRef: persona.ref,
+            surfaceBindingRef: binding.ref, variantRef: null, sourceSelectionRef: sourceSelection?.ref ?? null,
+            environmentRef: environmentPlan.ref, expectedTarget, executionHostRef: hostPlan.ref,
+        });
+        caseRefs.push(spec.ref);
+        fidelityCells.push({ selectionCellId: id, lane: fidelityProfile.lane, boundaryProfileRef: fidelityProfile.boundaryProfileRef, boundaries: fidelityProfile.boundaryRules, claimBoundaryIds: spec.requiredBoundaries.length > 0 ? spec.requiredBoundaries.map((b) => b.boundaryId) : fidelityProfile.boundaryRules.map((b) => b.boundaryId) });
+        fixtureCells.push({ selectionCellId: id, caseFixturePlanRef: caseFixturePlan?.ref ?? null });
+    }
+    if (cells.filter((c) => c.required).length === 0)
+        blockers.push({ code: 'empty_required_matrix', detail: `no required case applies to profile ${profileName}`, owner: 'operator', action: 'select a suite entry for this profile', cellId: null });
+    const selection = parseAs(SelectionManifest, freeze({
+        schemaVersion: 'workflow.selection/v1',
+        ref: { id: `${project.config.project}.selection.${profileName}`, revision: '1' },
+        scope, policyRef: null, cells, excludedCells,
+    }), 'selection');
+    const fidelityPlan = parseAs(FidelityPlan, freeze({
+        schemaVersion: 'workflow.fidelity-plan/v1',
+        ref: { id: `${selection.ref.id}.fidelity`, revision: '1' },
+        scope, profileRef: fidelityProfile.ref, selectionManifestRef: selection.ref, cells: fidelityCells,
+    }), 'fidelity plan');
+    const anyFixture = fixtureCells.some((c) => c.caseFixturePlanRef);
+    const fixturePlan = anyFixture ? parseAs(CampaignFixturePlan, freeze({
+        schemaVersion: 'workflow.fixture-plan/v1', kind: 'campaign',
+        ref: { id: `${selection.ref.id}.fixtures`, revision: '1' },
+        scope, selectionManifestRef: selection.ref, cells: fixtureCells,
+    }), 'campaign fixture plan') : null;
+    const effectiveConfig = parseAs(EffectiveConfig, freeze({
+        schemaVersion: 'workflow.effective-config/v1',
+        ref: { id: `${project.config.project}.effective-config.${profileName}`, revision: '1' },
+        scope, projectId: project.config.project, profileName,
+        configDigest: { algorithm: 'sha256', hex: project.configDigest },
+        corpusRef: corpus.manifest.ref, profile: profile, overrides: {},
+    }), 'effective config');
+    keep(selection);
+    keep(fidelityPlan);
+    if (fixturePlan)
+        keep(fixturePlan);
+    keep(effectiveConfig);
+    const campaignId = newId('campaign');
+    const idempotencyKey = `req_${createHash('sha256').update([campaignId, selection.ref.digest.hex, fidelityPlan.ref.digest.hex, fixturePlan?.ref.digest.hex ?? 'none', effectiveConfig.ref.digest.hex, hostPlan.ref.digest.hex, intelligencePolicy.ref.digest.hex].join('|')).digest('hex').slice(0, 32)}`;
+    let request = null;
+    if (blockers.length === 0) {
+        request = parseAs(RunRequest, freeze({
+            schemaVersion: 'workflow.request/v1',
+            ref: { id: `${project.config.project}.request.${profileName}`, revision: '1' },
+            clientRequestId: newId('client'),
+            idempotencyKey,
+            requestedScope: scope,
+            campaignId,
+            purpose: input.purpose ?? 'trial',
+            sourcePlanRef: null, reviewRef: null, scenarioRefs: [], qualificationRoundRef: null,
+            effectiveConfigRef: effectiveConfig.ref,
+            sourceSelectionRef: sourceSelection?.ref ?? null,
+            executionHostRef: hostPlan.ref,
+            intelligencePolicyRef: intelligencePolicy.ref,
+            fidelityPlanRef: fidelityPlan.ref,
+            fixturePlanRef: fixturePlan?.ref ?? null,
+            caseRefs, personaRefs: [persona.ref],
+            environmentRef: environmentPlan.ref,
+            expectedTarget,
+            selectionManifestRef: selection.ref,
+            workBinding,
+            limits: { deadlineMs: profile.budget.deadlineMs, maxProviderRequests: 0, maxTokens: 0, costCeilingCents: profile.budget.costCeilingCents, maxBrowserActions: 0, maxArtifactBytes: 64 * 1024 * 1024, diagnosticRetries: 0, concurrencyGroup: project.config.project },
+            replayOf: null,
+        }), 'run request');
+        for (const cell of selection.cells) {
+            const host = corpus.getAs(HostPlan, cell.executionHostRef);
+            for (const detail of repositorySelectionProblems(request, cell, host, documents))
+                blockers.push({ code: 'repository_source_binding_invalid', detail, owner: 'operator', action: 'compile a complete pinned resolver-head selection', cellId: cell.selectionCellId });
+        }
+        if (blockers.length)
+            request = null;
+        else
+            keep(request);
+    }
+    return {
+        schemaVersion: 'workflow.frozen-request-bundle/v1',
+        projectRoot: project.root,
+        configPath: project.configPath,
+        profileName,
+        request,
+        blockers,
+        excludedCells,
+        estimatedCostCents: 0,
+        requirements: [...requirements].sort(),
+        documents,
+    };
+}
+//# sourceMappingURL=planner.js.map

package/dist/core/planner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"planner.js","sourceRoot":"","sources":["../../src/core/planner.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,cAAc,EAAE,UAAU,EAAE,mBAAmB,EAAE,eAAe,EAAE,QAAQ,EAAE,gBAAgB,EAAE,eAAe,EAC7G,eAAe,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,kBAAkB,EAAE,cAAc,EAAE,OAAO,EACrG,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,iBAAiB,EAAE,cAAc,EAAE,WAAW,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,EAC7H,OAAO,EAAE,MAAM,EAAE,UAAU,GAC5B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAC;AAE/E,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAGnC,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAKjD,SAAS,MAAM,CAAC,MAAc,EAAE,SAAiB;IAC/C,OAAO,GAAG,MAAM,KAAK,SAAS,EAAE,CAAC,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,KAAgB;IACnC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC9C,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC;IAClF,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAC9B,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,SAAS,GAA4B,EAAE,CAAC;IAC9C,MAAM,IAAI,GAAG,CAAC,GAAiB,EAAE,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1E,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE;QAAE,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC;IAC7E,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAEtB,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACrD,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,iBAAiB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACnL,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,EAAE;QAC9B,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC/E,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,eAAe,EAAE,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC;IAC3F,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACnE,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,eAAe,EAAE,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC;IAC3F,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACzG,MAAM,kBAAkB,GAAG,MAAM,CAAC,KAAK,CAAC,kBAAkB,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC,CAAC;IAC3G,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,eAAe,CAAC,mBAAmB,CAAC,CAAC;IAC7F,MAAM,YAAY,GAAG,qBAAqB,CAAC,aAAa,CAAC,CAAC;IAC1D,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7I,KAAK,UAAU,CAAC;IAEhB,IAAI,eAAe,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,MAAM,EAAE,WAAW,WAAW,aAAa,OAAO,CAAC,KAAK,sBAAsB,eAAe,CAAC,GAAG,CAAC,EAAE,OAAO,eAAe,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,wCAAwC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/Q,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC7D,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,oDAAoD,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACzK,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QACvE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,8CAA8C,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACtK,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,IAAI,eAAe,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACrF,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,wBAAwB,eAAe,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,iCAAiC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5M,CAAC;IAED,MAAM,cAAc,GAAgB;QAClC,mBAAmB,EAAE,gBAAgB,CAAC,GAAG;QACzC,kBAAkB,EAAE,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC;QACnG,kBAAkB,EAAE,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,eAAe,IAAI,qBAAqB,EAAE,CAAC,CAAC;QACzK,UAAU,EAAE,gBAAgB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC;QAChI,YAAY,EAAE,QAAQ,CAAC,MAAM,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;QACzH,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG;QAC3B,MAAM,EAAE,YAAY,CAAC,GAAG;QACxB,SAAS,EAAE,WAAW;QACtB,eAAe,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI;QAChE,iBAAiB,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI;QACjF,cAAc,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI;KAC1E,CAAC;IAEF,MAAM,KAAK,GAA+B,EAAE,CAAC;IAC7C,MAAM,aAAa,GAA+C,EAAE,CAAC;IACrE,MAAM,aAAa,GAA0B,EAAE,CAAC;IAChD,MAAM,YAAY,GAAiC,EAAE,CAAC;IACtD,MAAM,QAAQ,GAAU,EAAE,CAAC;IAC3B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IAEvC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;QAClL,MAAM,UAAU,GAAG,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3F,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,UAAU,EAAE,CAAC;YAAC,aAAa,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,wCAAwC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACvJ,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,MAAc,EAAE,KAAK,GAAG,aAAa,EAAE,MAAM,GAAG,gDAAgD,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QACjM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,KAAK,eAAe,IAAI,QAAQ,CAAC,MAAM,EAAE,UAAU,KAAK,aAAa,CAAC;YAAE,SAAS,CAAC,6BAA6B,EAAE,+DAA+D,CAAC,CAAC;QAChQ,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC;YACtD,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,IAAI,OAAO,CAAC,KAAK,KAAK,oBAAoB;gBAAE,SAAS,CAAC,sBAAsB,EAAE,gEAAgE,CAAC,CAAC;YACxL,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,YAAY,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;gBAAE,SAAS,CAAC,yBAAyB,EAAE,sEAAsE,CAAC,CAAC;YACrN,IAAI,CAAC,eAAe,EAAE;gBAAE,SAAS,CAAC,iBAAiB,EAAE,4CAA4C,EAAE,UAAU,EAAE,wEAAwE,CAAC,CAAC;QAC3L,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,SAAS,CAAC,kCAAkC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,sBAAsB,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QACzJ,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QACxD,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC1D,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,SAAS,CAAC,+BAA+B,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,gBAAgB,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QACvI,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,YAAY,CAAC,UAAU,EAAE,GAAG,YAAY,CAAC,iBAAiB,EAAE,GAAG,YAAY,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAC/H,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,oBAAoB,EAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC,EAAE,CAAC;YAClF,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS,CAAC,oBAAoB,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,aAAa,GAAG,kBAAkB,YAAY,CAAC,GAAG,CAAC,EAAE,qBAAqB,EAAE,cAAc,EAAE,yDAAyD,CAAC,CAAC;QACjO,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;YAC/C,MAAM,IAAI,GAAG,eAAe,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU,CAAC,CAAC;YAC7F,IAAI,CAAC,IAAI;gBAAE,SAAS,CAAC,2BAA2B,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,sBAAsB,QAAQ,CAAC,UAAU,aAAa,eAAe,CAAC,GAAG,CAAC,EAAE,gBAAgB,EAAE,UAAU,EAAE,sDAAsD,CAAC,CAAC;iBAC7N,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;gBAAE,SAAS,CAAC,wBAAwB,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,aAAa,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,IAAI,aAAa,eAAe,CAAC,GAAG,CAAC,EAAE,aAAa,IAAI,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,8FAA8F,CAAC,CAAC;QACpT,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACpJ,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,SAAS,CAAC,wBAAwB,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,SAAS,MAAM,uBAAuB,CAAC,CAAC;QAC/I,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACrI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;gBAAE,SAAS,CAAC,sBAAsB,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,YAAY,IAAI,2BAA2B,CAAC,CAAC;QACpL,CAAC;QAED,IAAI,MAAM,GAAsB,IAAI,CAAC;QACrC,IAAI,eAAe,GAA2B,IAAI,CAAC;QACnD,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACxB,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,eAAe,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;YACrE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,eAAe,CAAC,aAAa,CAAC,CAAC;YACjE,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,eAAe,CAAC,iBAAiB,CAAC,CAAC;YAChF,MAAM,WAAW,GAAG,yBAAyB,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;YACrE,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS,CAAC,uBAAuB,EAAE,GAAG,eAAe,CAAC,iBAAiB,CAAC,EAAE,6BAA6B,MAAM,CAAC,GAAG,CAAC,EAAE,4BAA4B,EAAE,aAAa,EAAE,6CAA6C,CAAC,CAAC;YAC7Q,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC;YACxE,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACrC,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACxF,IAAI,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,QAAQ;oBAAE,SAAS,CAAC,+BAA+B,EACzF,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,MAAM,CAAC,SAAS,KAAK,UAAU,CAAC,QAAQ,sCAAsC,EAClG,aAAa,EAAE,2FAA2F,CAAC,CAAC;gBAC9G,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;oBACnB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;oBAC/B,MAAM,KAAK,GAAG,kBAAkB,CAC9B,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ,CAAC,EACrE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC,EACrF,OAAO,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC;oBACxC,IAAI,KAAK;wBAAE,SAAS,CAAC,yBAAyB,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,MAAM,CAAC,SAAS,KAAK,KAAK,EAAE,EAC9F,aAAa,EAAE,iFAAiF,CAAC,CAAC;gBACtG,CAAC;gBACD,KAAK,MAAM,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACxK,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC;wBAAE,SAAS,CAAC,qBAAqB,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,MAAM,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC,CAAC;gBACpJ,CAAC;YACH,CAAC;YACD,IAAI,OAAO,CAAC,cAAc,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,MAAM,EAAE,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS,CAAC,uBAAuB,EAAE,6CAA6C,IAAI,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,UAAU,EAAE,6CAA6C,CAAC,CAAC;QACtR,CAAC;QACD,IAAI,CAAC;YAAC,WAAW,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;QAAC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAC9D,IAAI,KAAK,YAAY,OAAO;gBAAE,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO;oBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;;gBACtG,MAAM,KAAK,CAAC;QACnB,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC;YAAE,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAExF,KAAK,CAAC,IAAI,CAAC;YACT,eAAe,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,GAAG;YACzF,iBAAiB,EAAE,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,kBAAkB,EAAE,eAAe,EAAE,GAAG,IAAI,IAAI;YAClG,cAAc,EAAE,eAAe,CAAC,GAAG,EAAE,cAAc,EAAE,gBAAgB,EAAE,QAAQ,CAAC,GAAG;SACpF,CAAC,CAAC;QACH,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,aAAa,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,CAAC,IAAI,EAAE,kBAAkB,EAAE,eAAe,CAAC,kBAAkB,EAAE,UAAU,EAAE,eAAe,CAAC,aAAa,EAAE,gBAAgB,EAAE,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC7U,YAAY,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,EAAE,EAAE,kBAAkB,EAAE,eAAe,EAAE,GAAG,IAAI,IAAI,EAAE,CAAC,CAAC;IAC/F,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,MAAM,EAAE,uCAAuC,WAAW,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,uCAAuC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAEnP,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,EAAE,MAAM,CAAC;QAClD,aAAa,EAAE,uBAAgC;QAC/C,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,cAAc,WAAW,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE;QAChF,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa;KAC7C,CAAC,EAAE,WAAW,CAAC,CAAC;IACjB,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC;QAChD,aAAa,EAAE,2BAAoC;QACnD,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,EAAE;QAC1D,KAAK,EAAE,UAAU,EAAE,eAAe,CAAC,GAAG,EAAE,oBAAoB,EAAE,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,aAAa;KAClG,CAAC,EAAE,eAAe,CAAC,CAAC;IACrB,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;IAClE,MAAM,WAAW,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAmB,EAAE,MAAM,CAAC;QACnE,aAAa,EAAE,0BAAmC,EAAE,IAAI,EAAE,UAAmB;QAC7E,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,EAAE;QAC1D,KAAK,EAAE,oBAAoB,EAAE,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,YAAY;KAChE,CAAC,EAAE,uBAAuB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpC,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,EAAE,MAAM,CAAC;QACtD,aAAa,EAAE,8BAAuC;QACtD,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,qBAAqB,WAAW,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE;QACvF,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW;QACrD,YAAY,EAAE,EAAE,SAAS,EAAE,QAAiB,EAAE,GAAG,EAAE,OAAO,CAAC,YAAY,EAAE;QACzE,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,OAAkB,EAAE,SAAS,EAAE,EAAE;KAC3E,CAAC,EAAE,kBAAkB,CAAC,CAAC;IACxB,IAAI,CAAC,SAAS,CAAC,CAAC;IAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAAC,IAAI,WAAW;QAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAE/F,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;IACrC,MAAM,cAAc,GAAG,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,MAAM,EAAE,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;IACzS,IAAI,OAAO,GAAsB,IAAI,CAAC;IACtC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC;YACnC,aAAa,EAAE,qBAA8B;YAC7C,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,YAAY,WAAW,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE;YAC9E,eAAe,EAAE,KAAK,CAAC,QAAQ,CAAC;YAChC,cAAc;YACd,cAAc,EAAE,KAAK;YACrB,UAAU;YACV,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,OAAO;YACjC,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI;YACnF,kBAAkB,EAAE,eAAe,CAAC,GAAG;YACvC,kBAAkB,EAAE,eAAe,EAAE,GAAG,IAAI,IAAI;YAChD,gBAAgB,EAAE,QAAQ,CAAC,GAAG;YAC9B,qBAAqB,EAAE,kBAAkB,CAAC,GAAG;YAC7C,eAAe,EAAE,YAAY,CAAC,GAAG;YACjC,cAAc,EAAE,WAAW,EAAE,GAAG,IAAI,IAAI;YACxC,QAAQ,EAAE,WAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC;YACpC,cAAc,EAAE,eAAe,CAAC,GAAG;YACnC,cAAc;YACd,oBAAoB,EAAE,SAAS,CAAC,GAAG;YACnC,WAAW;YACX,MAAM,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,mBAAmB,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,MAAM,CAAC,gBAAgB,EAAE,iBAAiB,EAAE,CAAC,EAAE,gBAAgB,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI,EAAE,iBAAiB,EAAE,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE;YACpQ,QAAQ,EAAE,IAAI;SACf,CAAC,EAAE,aAAa,CAAC,CAAC;QACnB,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC3D,KAAK,MAAM,MAAM,IAAI,2BAA2B,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mCAAmC,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,mDAAmD,EAAE,MAAM,EAAE,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;QACvQ,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM;YAAE,OAAO,GAAG,IAAI,CAAC;;YAC/B,IAAI,CAAC,OAAO,CAAC,CAAC;IACrB,CAAC;IACD,OAAO;QACL,aAAa,EAAE,mCAAmC;QAClD,WAAW,EAAE,OAAO,CAAC,IAAI;QACzB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,WAAW;QACX,OAAO;QACP,QAAQ;QACR,aAAa;QACb,kBAAkB,EAAE,CAAC;QACrB,YAAY,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,EAAE;QACtC,SAAS;KACV,CAAC;AACJ,CAAC"}

package/dist/core/qualification.d.ts

@@ -0,0 +1,26 @@
+import { QualificationRound, QualificationRoundAdmission, type Ref, type Scope } from '../protocol/index.ts';
+import { type VerifiedBundleRecords } from './bundle.ts';
+/** Trusted host interfaces. Neither a plugin nor a saved bundle supplies these implementations. */
+export interface QualificationResultPorts {
+    authorize(scope: Scope): Promise<void>;
+    /** Resolve an authentic, already registered admission, including its reserved attempts/state. */
+    resolveAdmission(ref: Ref, scope: Scope): Promise<unknown>;
+    /** Authenticate issuer, admission/effect authority and evidence against the captured manifest digest.
+     * Reject untrusted imports; validate the frozen definition/replay/policy/matrix/target closure.
+     * This does not certify live qualification: mock/structural terminal results are retained too. */
+    authenticateEvidence(admission: QualificationRoundAdmission, bundle: VerifiedBundleRecords): Promise<void>;
+}
+export type QualificationRoundInput = {
+    admissionRef: Ref;
+    scope: Scope;
+    bundleDir: string;
+};
+export type QualificationEvidence = {
+    admission: QualificationRoundAdmission;
+    round: QualificationRound;
+    bundle: VerifiedBundleRecords;
+};
+/** Reduce a complete terminal campaign. No activation, live-level claim or storage write occurs here. */
+export declare function reduceQualificationRound(ports: QualificationResultPorts, input: QualificationRoundInput): Promise<QualificationRound>;
+/** Read once so assessment uses the same authenticated bytes as terminal reduction. */
+export declare function readQualificationEvidence(ports: QualificationResultPorts, input: QualificationRoundInput): Promise<QualificationEvidence>;