@tiangong-ai/cli 0.0.60 → 0.0.62

package/dist/research/workspace/investigation-observer.d.ts

@@ -0,0 +1,22 @@
+type Phase = "runtime-probe" | "calculation";
+/** Local operational coordinates, deliberately excluded from portable records. */
+export declare function investigationObserverRoute(root: string, projectId: string, key: string, phase: Phase, stagingDirectory: string): {
+    title: string;
+    onSpawn: (pid: number) => Promise<void>;
+};
+export declare function inspectInvestigationObserver(root: string, projectId: string, key: string): Promise<{
+    state: string;
+    localRoute: string;
+    automaticRetry: boolean;
+    supervisorPid?: never;
+    phase?: never;
+    stagingDirectoryName?: never;
+} | {
+    state: string;
+    supervisorPid: number;
+    phase: Phase;
+    stagingDirectoryName: string;
+    localRoute: string;
+    automaticRetry: boolean;
+}>;
+export {};

package/dist/research/workspace/investigation-observer.js

@@ -0,0 +1,122 @@
+import { execFile } from "node:child_process";
+import { lstat, mkdir, readFile } from "node:fs/promises";
+import { basename, join } from "node:path";
+import { promisify } from "node:util";
+import { CliError } from "../../errors.js";
+import { sha256Text, workspacePaths, writeJsonAtomic } from "./storage.js";
+const exec = promisify(execFile), HASH = /^[a-f0-9]{64}$/;
+function titleFor(key, phase) {
+    return `tgr-${sha256Text(`${key}/${phase}`).slice(0, 32)}`;
+}
+async function location(root, projectId, key, create) {
+    if (!/^[a-z0-9][a-z0-9-]{2,63}$/.test(projectId) || !HASH.test(key))
+        throw new CliError("Observer routing identity is invalid.", {
+            code: "RESEARCH_INVESTIGATION_BINDING_INVALID",
+            exitCode: 3,
+        });
+    let path = workspacePaths(root).control;
+    for (const part of ["projects", projectId, "native", "calculation-observers"]) {
+        path = join(path, part);
+        if (create)
+            await mkdir(path, { mode: 0o700 }).catch((error) => {
+                if (error.code !== "EEXIST")
+                    throw error;
+            });
+        const info = await lstat(path).catch(() => null);
+        if (!info) {
+            if (!create)
+                return null;
+            throw new Error("Missing observer route directory");
+        }
+        if (!info.isDirectory() || info.isSymbolicLink())
+            throw new CliError("Observer routing must use regular private directories.", {
+                code: "RESEARCH_INVESTIGATION_BINDING_INVALID",
+                exitCode: 3,
+            });
+    }
+    return join(path, `${key}.json`);
+}
+/** Local operational coordinates, deliberately excluded from portable records. */
+export function investigationObserverRoute(root, projectId, key, phase, stagingDirectory) {
+    const title = titleFor(key, phase);
+    return {
+        title,
+        onSpawn: async (pid) => {
+            const path = await location(root, projectId, key, true);
+            const prior = await lstat(path).catch(() => null);
+            if (prior && (!prior.isFile() || prior.isSymbolicLink()))
+                throw new CliError("Observer route cannot replace a linked entry.", {
+                    code: "RESEARCH_INVESTIGATION_BINDING_INVALID",
+                    exitCode: 3,
+                });
+            const route = {
+                schemaVersion: 1,
+                projectId,
+                key,
+                pid,
+                title,
+                phase,
+                stagingDirectory,
+                updatedAt: new Date().toISOString(),
+            };
+            await writeJsonAtomic(path, route, 0o600);
+        },
+    };
+}
+export async function inspectInvestigationObserver(root, projectId, key) {
+    const localRoute = `projects/${projectId}/native/calculation-observers/${key}.json`;
+    const path = await location(root, projectId, key, false);
+    if (!path)
+        return { state: "unavailable", localRoute, automaticRetry: false };
+    const info = await lstat(path).catch(() => null);
+    if (!info?.isFile() || info.isSymbolicLink() || info.size > 16384)
+        return { state: "unavailable", localRoute, automaticRetry: false };
+    let route;
+    try {
+        route = JSON.parse(await readFile(path, "utf8"));
+    }
+    catch {
+        return { state: "unavailable", localRoute, automaticRetry: false };
+    }
+    if (route.schemaVersion !== 1 ||
+        route.projectId !== projectId ||
+        route.key !== key ||
+        !["runtime-probe", "calculation"].includes(route.phase) ||
+        route.title !== titleFor(key, route.phase) ||
+        !Number.isSafeInteger(route.pid) ||
+        route.pid < 2 ||
+        typeof route.stagingDirectory !== "string")
+        return { state: "unavailable", localRoute, automaticRetry: false };
+    let state = "unavailable";
+    try {
+        if (process.platform === "linux") {
+            const command = await readFile(`/proc/${route.pid}/cmdline`);
+            state =
+                command.toString("utf8").split("\0")[0] === route.title ? "observing" : "not-matching";
+        }
+        else if (process.platform === "darwin") {
+            const result = await exec("/bin/ps", ["-p", String(route.pid), "-o", "command="], {
+                env: { PATH: "/usr/bin:/bin", LANG: "C" },
+                timeout: 1000,
+                maxBuffer: 8192,
+            });
+            state = result.stdout.trim() === route.title ? "observing" : "not-matching";
+        }
+    }
+    catch (error) {
+        const code = error.code;
+        state =
+            code === "ENOENT" || (process.platform === "darwin" && code === 1)
+                ? "not-found"
+                : "unavailable";
+    }
+    return {
+        state,
+        supervisorPid: route.pid,
+        phase: route.phase,
+        stagingDirectoryName: basename(route.stagingDirectory),
+        localRoute,
+        automaticRetry: false,
+    };
+}
+//# sourceMappingURL=investigation-observer.js.map

package/dist/research/workspace/investigation-observer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"investigation-observer.js","sourceRoot":"","sources":["../../../src/research/workspace/investigation-observer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE3E,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,EAC9B,IAAI,GAAG,gBAAgB,CAAC;AAY1B,SAAS,QAAQ,CAAC,GAAW,EAAE,KAAY;IACzC,OAAO,OAAO,UAAU,CAAC,GAAG,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;AAC7D,CAAC;AACD,KAAK,UAAU,QAAQ,CAAC,IAAY,EAAE,SAAiB,EAAE,GAAW,EAAE,MAAe;IACnF,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACjE,MAAM,IAAI,QAAQ,CAAC,uCAAuC,EAAE;YAC1D,IAAI,EAAE,wCAAwC;YAC9C,QAAQ,EAAE,CAAC;SACZ,CAAC,CAAC;IACL,IAAI,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,uBAAuB,CAAC,EAAE,CAAC;QAC9E,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxB,IAAI,MAAM;YACR,MAAM,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,KAA4B,EAAE,EAAE;gBACxE,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;oBAAE,MAAM,KAAK,CAAC;YAC3C,CAAC,CAAC,CAAC;QACL,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,IAAI,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,cAAc,EAAE;YAC9C,MAAM,IAAI,QAAQ,CAAC,wDAAwD,EAAE;gBAC3E,IAAI,EAAE,wCAAwC;gBAC9C,QAAQ,EAAE,CAAC;aACZ,CAAC,CAAC;IACP,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC,CAAC;AACnC,CAAC;AACD,kFAAkF;AAClF,MAAM,UAAU,0BAA0B,CACxC,IAAY,EACZ,SAAiB,EACjB,GAAW,EACX,KAAY,EACZ,gBAAwB;IAExB,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACnC,OAAO;QACL,KAAK;QACL,OAAO,EAAE,KAAK,EAAE,GAAW,EAAE,EAAE;YAC7B,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YACxD,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,IAAK,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;gBACtD,MAAM,IAAI,QAAQ,CAAC,+CAA+C,EAAE;oBAClE,IAAI,EAAE,wCAAwC;oBAC9C,QAAQ,EAAE,CAAC;iBACZ,CAAC,CAAC;YACL,MAAM,KAAK,GAAU;gBACnB,aAAa,EAAE,CAAC;gBAChB,SAAS;gBACT,GAAG;gBACH,GAAG;gBACH,KAAK;gBACL,KAAK;gBACL,gBAAgB;gBAChB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC,CAAC;YACF,MAAM,eAAe,CAAC,IAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC7C,CAAC;KACF,CAAC;AACJ,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAAC,IAAY,EAAE,SAAiB,EAAE,GAAW;IAC7F,MAAM,UAAU,GAAG,YAAY,SAAS,iCAAiC,GAAG,OAAO,CAAC;IACpF,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;IAC9E,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,IAAI,CAAC,cAAc,EAAE,IAAI,IAAI,CAAC,IAAI,GAAG,KAAK;QAC/D,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;IACrE,IAAI,KAAY,CAAC;IACjB,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAU,CAAC;IAC5D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;IACrE,CAAC;IACD,IACE,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,SAAS,KAAK,SAAS;QAC7B,KAAK,CAAC,GAAG,KAAK,GAAG;QACjB,CAAC,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;QACvD,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC;QAC1C,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC;QAChC,KAAK,CAAC,GAAG,GAAG,CAAC;QACb,OAAO,KAAK,CAAC,gBAAgB,KAAK,QAAQ;QAE1C,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;IACrE,IAAI,KAAK,GAAG,aAAa,CAAC;IAC1B,IAAI,CAAC;QACH,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YACjC,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,SAAS,KAAK,CAAC,GAAG,UAAU,CAAC,CAAC;YAC7D,KAAK;gBACH,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC;QAC3F,CAAC;aAAM,IAAI,OAAO,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACzC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE;gBAChF,GAAG,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE;gBACzC,OAAO,EAAE,IAAI;gBACb,SAAS,EAAE,IAAI;aAChB,CAAC,CAAC;YACH,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC;QAC9E,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,GAAI,KAA4B,CAAC,IAAI,CAAC;QAChD,KAAK;YACH,IAAI,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,QAAQ,KAAK,QAAQ,IAAI,IAAI,KAAK,CAAC,CAAC;gBAChE,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,aAAa,CAAC;IACtB,CAAC;IACD,OAAO;QACL,KAAK;QACL,aAAa,EAAE,KAAK,CAAC,GAAG;QACxB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,oBAAoB,EAAE,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC;QACtD,UAAU;QACV,cAAc,EAAE,KAAK;KACtB,CAAC;AACJ,CAAC"}

package/dist/research/workspace/investigation-promotion.d.ts

@@ -0,0 +1,129 @@
+import { type InvestigationReadStore } from "./investigation-store.js";
+import { type ScientificFulfillmentProjection } from "./scientific-fulfillment.js";
+import type { JournalEvent, OutputRecord } from "./types.js";
+export declare function investigationPromotionInputSchema(): {
+    type: string;
+    additionalProperties: boolean;
+    required: string[];
+    properties: {
+        schemaVersion: {
+            const: number;
+        };
+        promotionId: {
+            type: string;
+            pattern: string;
+        };
+        sourceProjectId: {
+            type: string;
+            pattern: string;
+        };
+        investigationId: {
+            type: string;
+            pattern: string;
+        };
+        candidateSha256: {
+            type: string;
+            pattern: string;
+        };
+        requirementId: {
+            type: string;
+            pattern: string;
+        };
+        requirementSha256: {
+            type: string;
+            pattern: string;
+        };
+        modelId: {
+            type: string;
+            pattern: string;
+        };
+        maxRunSeconds: {
+            type: string;
+            minimum: number;
+            maximum: number;
+        };
+        maxCostUsd: {
+            type: string;
+            minimum: number;
+        };
+    };
+};
+export declare function planInvestigationPromotion(root: string, projectId: string, value: unknown): Promise<{
+    schemaVersion: 1;
+    kind: "tiangong-investigation-promotion-plan";
+    projectId: string;
+    promotionId: string;
+    sourceProjectId: string;
+    investigationId: string;
+    candidateSha256: string;
+    definitionSha256: string;
+    recipeSha256: string;
+    recipe: {
+        programId: string;
+        runtime: {
+            kind: "node" | "python";
+            version: string;
+            binarySha256: string;
+            platform: string;
+            architecture: string;
+        };
+        script: OutputRecord;
+        environmentLock: OutputRecord;
+        inputs: (OutputRecord & {
+            id: string;
+            artifactId: string;
+        })[];
+        configuration: Record<string, string | number>;
+        arguments: string[];
+        outputs: {
+            id: string;
+            fileName: string;
+            mediaType: string;
+        }[];
+        diagnosticOutputId: string;
+        telemetry: {
+            requiredMetrics: string[];
+            requiredStatuses: string[];
+        };
+        maxOutputBytes: number;
+    };
+    requirementId: string;
+    requirementSha256: string;
+    modelId: string;
+    requestSha256: string;
+    route: "frozen-recipe" | "predeclared-fulfillment" | "successor-fulfillment";
+    questionSha256: string;
+    designSha256: string;
+    policySha256: string;
+    acquisitionSnapshotSha256: string;
+    beforeEffectiveDesignSha256: string;
+    expectedEffectiveDesignSha256: string;
+    parentFulfillmentSha256: string | null;
+    fulfillment: ScientificFulfillmentProjection;
+    certification: {
+        maxRuns: 1;
+        maxRunSeconds: number;
+        maxCostUsd: number;
+        maxOutputBytes: number;
+    };
+    purpose: "authorize-freezing-and-fresh-certification";
+    planSha256: string;
+}>;
+export type InvestigationPromotionPlan = Awaited<ReturnType<typeof planInvestigationPromotion>>;
+export interface InvestigationPromotion {
+    schemaVersion: 1;
+    kind: "tiangong-investigation-promotion";
+    projectId: string;
+    promotionId: string;
+    plan: InvestigationPromotionPlan;
+    scopeAuthorization: {
+        kind: "operator-confirmation";
+        planSha256: string;
+        sourceSha256: string;
+        source: OutputRecord;
+    };
+    approvedAt: string;
+    recordSha256: string;
+}
+export declare function loadInvestigationPromotion(root: string, projectId: string, hash: string, knownEvents?: JournalEvent[], store?: InvestigationReadStore): Promise<InvestigationPromotion>;
+export declare function approveInvestigationPromotion(root: string, projectId: string, value: unknown, confirmation: string | undefined, sourcePath: string | undefined): Promise<InvestigationPromotion>;

package/dist/research/workspace/investigation-promotion.js

@@ -0,0 +1,316 @@
+import { localInvestigationReadStore } from "./investigation-store.js";
+import { Ajv2020 } from "ajv/dist/2020.js";
+import { lstat, readFile } from "node:fs/promises";
+import { isAbsolute } from "node:path";
+import { CliError } from "../../errors.js";
+import { loadCurrentEvidenceSnapshot } from "./acquisition.js";
+import { investigationAttemptHistory } from "./investigation-attempt.js";
+import { loadInvestigationCandidates } from "./investigation-candidate.js";
+import { loadInvestigation } from "./investigation.js";
+import { appendJournalEvent, readVerifiedJournal } from "./journal.js";
+import { storeRunObject } from "./native-run.js";
+import { assertProjectAuthority, projectAuthorityIndex } from "./project-authority.js";
+import { remainingProjectCostUsd, reserveProjectCost } from "./project-budget.js";
+import { beginProjectMutation, prepareProjectMutation, projectMutationBinding, settleProjectMutation, } from "./project-mutations.js";
+import { loadProject } from "./projects.js";
+import { assertResearchPolicyBinding } from "./research-policy.js";
+import { configuredResearchSecrets, sanitizeResearchValue } from "./sanitization.js";
+import { applyScientificFulfillmentRecord, loadScientificFulfillmentView, } from "./scientific-fulfillment.js";
+import { canonicalJson, sha256Text, workspacePaths } from "./storage.js";
+import { loadProjectTask, taskRequirementSha256, writeTaskObject } from "./task-contract.js";
+import { loadWorkspaceConfig, withWorkspaceLock } from "./workspace.js";
+const HASH = /^[a-f0-9]{64}$/;
+const id = { type: "string", pattern: "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$" };
+const schema = {
+    type: "object",
+    additionalProperties: false,
+    required: [
+        "schemaVersion",
+        "promotionId",
+        "sourceProjectId",
+        "investigationId",
+        "candidateSha256",
+        "requirementId",
+        "requirementSha256",
+        "modelId",
+        "maxRunSeconds",
+        "maxCostUsd",
+    ],
+    properties: {
+        schemaVersion: { const: 1 },
+        promotionId: id,
+        sourceProjectId: { type: "string", pattern: "^[a-z0-9][a-z0-9-]{2,63}$" },
+        investigationId: id,
+        candidateSha256: { type: "string", pattern: HASH.source },
+        requirementId: id,
+        requirementSha256: { type: "string", pattern: HASH.source },
+        modelId: id,
+        maxRunSeconds: { type: "integer", minimum: 1, maximum: 172800 },
+        maxCostUsd: { type: "number", minimum: 0 },
+    },
+};
+const validate = new Ajv2020({ strict: false, allErrors: true }).compile(schema);
+export function investigationPromotionInputSchema() {
+    return structuredClone(schema);
+}
+function failure(message, code = "RESEARCH_INVESTIGATION_PROMOTION_INVALID") {
+    return new CliError(message, { code, exitCode: 3 });
+}
+function parse(value) {
+    if (!validate(value) ||
+        canonicalJson(sanitizeResearchValue(value, configuredResearchSecrets(process.env))) !==
+            canonicalJson(value))
+        throw failure("Promotion must match the closed non-secret schema.");
+    return structuredClone(value);
+}
+export async function planInvestigationPromotion(root, projectId, value) {
+    const input = parse(value);
+    const project = await loadProject(root, projectId);
+    const source = projectId === input.sourceProjectId ? project : await loadProject(root, input.sourceProjectId);
+    const events = await readVerifiedJournal(workspacePaths(root).journal);
+    assertProjectAuthority(project, projectAuthorityIndex(events));
+    const definition = await loadInvestigation(root, input.sourceProjectId, input.investigationId, events);
+    const attempts = await investigationAttemptHistory(root, input.sourceProjectId, definition, events);
+    const candidates = await loadInvestigationCandidates(root, input.sourceProjectId, definition, events, attempts);
+    const candidate = candidates.at(-1);
+    if (!candidate ||
+        candidate.recordSha256 !== input.candidateSha256 ||
+        attempts.some((a) => !a.record))
+        throw failure("Promotion requires the current exact selected candidate and no unresolved attempt.");
+    const task = await loadProjectTask(root, projectId, events);
+    if (!task?.current.requirements.some((r) => r.id === input.requirementId &&
+        taskRequirementSha256(r) === input.requirementSha256 &&
+        r.checkKind === "computation"))
+        throw failure("Promotion must bind an active computational requirement.");
+    const analyze = project.packages.find((p) => p.stage === "analyze");
+    if (!project.publicationPolicy ||
+        !project.scientificDesign ||
+        project.handoff.state !== "agent-actionable" ||
+        project.status === "complete" ||
+        !analyze ||
+        analyze.attempts > 0 ||
+        analyze.startedAt ||
+        !["pending", "ready"].includes(analyze.status) ||
+        project.packages.find((p) => p.stage === "acquire")?.status !== "complete")
+        throw failure("Promote through the existing approved scientific design at an idle pre-analysis boundary; otherwise create the applicable reviewed successor.", "RESEARCH_INVESTIGATION_SUCCESSOR_REQUIRED");
+    if (projectId !== input.sourceProjectId &&
+        (project.lineage.derivedFrom !== input.sourceProjectId ||
+            source.lineage.supersededBy !== projectId))
+        throw failure("A changed scientific scope must use its actual authoritative successor relationship.", "RESEARCH_INVESTIGATION_SUCCESSOR_REQUIRED");
+    await assertResearchPolicyBinding(root, project.publicationPolicy);
+    const view = await loadScientificFulfillmentView(root, project, undefined, events);
+    const snapshot = await loadCurrentEvidenceSnapshot(root, projectId);
+    if (!candidate.recipe.inputs.every((i) => snapshot.artifacts.some((a) => a.artifactId === i.artifactId && a.sha256 === i.sha256 && a.bytes === i.bytes)))
+        throw failure("The target must freeze the candidate's exact canonical input bytes.");
+    if (projectId === input.sourceProjectId) {
+        if (definition.plan.requirementId !== input.requirementId ||
+            definition.plan.requirementSha256 !== input.requirementSha256 ||
+            definition.plan.questionSha256 !== sha256Text(project.question) ||
+            definition.plan.designSha256 !== project.scientificDesign.designSha256 ||
+            definition.plan.policySha256 !== project.publicationPolicy.resolvedPolicySha256 ||
+            definition.plan.acquisitionSnapshotSha256 !== snapshot.snapshotSha256)
+            throw failure("Changed question, requirement, Policy, design or acquisition needs an explicitly reviewed successor.", "RESEARCH_INVESTIGATION_SUCCESSOR_REQUIRED");
+        // Later fulfillment of predeclared slots is permitted. The same immutable
+        // declaration must still reproduce the investigation's earlier view.
+        const earlier = structuredClone(view.amendedBase);
+        let extendsInvestigation = sha256Text(canonicalJson(earlier)) === definition.plan.effectiveDesignSha256;
+        for (const record of view.records) {
+            applyScientificFulfillmentRecord(earlier, record);
+            extendsInvestigation ||=
+                sha256Text(canonicalJson(earlier)) === definition.plan.effectiveDesignSha256;
+        }
+        if (!extendsInvestigation)
+            throw failure("Scientific declaration changes require a new reviewed successor.", "RESEARCH_INVESTIGATION_SUCCESSOR_REQUIRED");
+    }
+    const model = view.contract.identity.modelStructures.find((m) => m.id === input.modelId);
+    if (!model)
+        throw failure("Promotion must name a model declared by the target design.");
+    const recipe = candidate.recipe;
+    const entrypoint = recipe.runtime.kind === "node" ? "program.mjs" : "program.py";
+    const fulfillment = {
+        modelImplementations: [],
+        environmentLocks: [],
+        parameterStates: [],
+    };
+    if (model.implementationStatus === "pending-source-acquisition" &&
+        model.implementationFreezeBeforeGate !== "research-design")
+        fulfillment.modelImplementations.push({
+            modelId: model.id,
+            sha256: recipe.script.sha256,
+            objectLocator: `lineage/objects/${recipe.script.sha256}/blob`,
+            entrypoint,
+            dueGate: model.implementationFreezeBeforeGate,
+        });
+    else if (model.implementationStatus !== "executable-frozen" ||
+        model.implementationArtifactSha256 !== recipe.script.sha256 ||
+        model.implementationEntrypoint !== entrypoint)
+        throw failure("Replacing a frozen model implementation requires a reviewed successor.", "RESEARCH_INVESTIGATION_SUCCESSOR_REQUIRED");
+    if (model.environmentLockStatus === "pending-runtime-lock" &&
+        model.environmentLockFreezeBeforeGate !== "research-design")
+        fulfillment.environmentLocks.push({
+            modelId: model.id,
+            sha256: recipe.environmentLock.sha256,
+            objectLocator: `lineage/objects/${recipe.environmentLock.sha256}/blob`,
+            dueGate: model.environmentLockFreezeBeforeGate,
+        });
+    else if (model.environmentLockStatus !== "exact-frozen" ||
+        model.environmentLockSha256 !== recipe.environmentLock.sha256)
+        throw failure("Replacing a frozen environment declaration requires a reviewed successor.", "RESEARCH_INVESTIGATION_SUCCESSOR_REQUIRED");
+    const projected = structuredClone(view.contract);
+    applyScientificFulfillmentRecord(projected, fulfillment);
+    const config = await loadWorkspaceConfig(root);
+    if (!project.budget ||
+        input.maxCostUsd > remainingProjectCostUsd(project, config) + 1e-9 ||
+        input.maxRunSeconds >
+            Math.min(config.budget.packageMaxWallSeconds.analyze, config.budget.maxWallSeconds - project.usage.wallSeconds))
+        throw failure("Configure a finite project budget that can admit the one separately authorized certification run.");
+    const core = {
+        schemaVersion: 1,
+        kind: "tiangong-investigation-promotion-plan",
+        projectId,
+        promotionId: input.promotionId,
+        sourceProjectId: input.sourceProjectId,
+        investigationId: input.investigationId,
+        candidateSha256: candidate.recordSha256,
+        definitionSha256: definition.recordSha256,
+        recipeSha256: candidate.recipeSha256,
+        recipe,
+        requirementId: input.requirementId,
+        requirementSha256: input.requirementSha256,
+        modelId: input.modelId,
+        requestSha256: sha256Text(canonicalJson(input)),
+        route: projectId !== input.sourceProjectId
+            ? "successor-fulfillment"
+            : fulfillment.modelImplementations.length || fulfillment.environmentLocks.length
+                ? "predeclared-fulfillment"
+                : "frozen-recipe",
+        questionSha256: sha256Text(project.question),
+        designSha256: project.scientificDesign.designSha256,
+        policySha256: project.publicationPolicy.resolvedPolicySha256,
+        acquisitionSnapshotSha256: snapshot.snapshotSha256,
+        beforeEffectiveDesignSha256: view.effectiveSha256,
+        expectedEffectiveDesignSha256: sha256Text(canonicalJson(projected)),
+        parentFulfillmentSha256: view.headSha256,
+        fulfillment,
+        certification: {
+            maxRuns: 1,
+            maxRunSeconds: input.maxRunSeconds,
+            maxCostUsd: input.maxCostUsd,
+            maxOutputBytes: candidate.recipe.maxOutputBytes,
+        },
+        purpose: "authorize-freezing-and-fresh-certification",
+    };
+    return { ...core, planSha256: sha256Text(canonicalJson(core)) };
+}
+export async function loadInvestigationPromotion(root, projectId, hash, knownEvents, store = localInvestigationReadStore(root)) {
+    const record = await store.readTask(projectId, "investigation-promotions", hash, "recordSha256");
+    const events = knownEvents ?? (await readVerifiedJournal(workspacePaths(root).journal));
+    const event = events.find((e) => e.scope === projectId &&
+        e.type === "investigation.promotion.approved" &&
+        e.payload.recordSha256 === hash);
+    if (!event ||
+        record.schemaVersion !== 1 ||
+        record.kind !== "tiangong-investigation-promotion" ||
+        record.projectId !== projectId ||
+        record.promotionId !== event.payload.promotionId ||
+        record.plan.projectId !== projectId ||
+        record.plan.promotionId !== record.promotionId ||
+        record.plan.planSha256 !== event.payload.planSha256 ||
+        record.scopeAuthorization.kind !== "operator-confirmation" ||
+        record.scopeAuthorization.planSha256 !== record.plan.planSha256 ||
+        record.scopeAuthorization.sourceSha256 !== record.scopeAuthorization.source.sha256 ||
+        record.scopeAuthorization.source.path !==
+            `task/run-objects/${record.scopeAuthorization.sourceSha256}`)
+        throw failure("Promotion does not match its committed authorization.");
+    const { planSha256, ...core } = record.plan;
+    if (planSha256 !== sha256Text(canonicalJson(core)))
+        throw failure("Promotion plan bytes changed.");
+    await store.verifyBlob(projectId, record.scopeAuthorization.source);
+    return record;
+}
+export async function approveInvestigationPromotion(root, projectId, value, confirmation, sourcePath) {
+    const input = parse(value);
+    if (!confirmation || !HASH.test(confirmation) || !sourcePath || !isAbsolute(sourcePath))
+        throw failure("Approve the exact promotion plan with --confirm and --authorization-source.", "RESEARCH_INVESTIGATION_CONFIRMATION_REQUIRED");
+    const info = await lstat(sourcePath);
+    if (!info.isFile() || info.isSymbolicLink() || info.size > 65536)
+        throw failure("Promotion authorization must be bounded regular UTF-8 text.");
+    let text;
+    try {
+        text = new TextDecoder("utf-8", { fatal: true, ignoreBOM: true }).decode(await readFile(sourcePath));
+    }
+    catch {
+        throw failure("Promotion authorization must be UTF-8 text.");
+    }
+    if (text.trim().length < 8 ||
+        sanitizeResearchValue(text, configuredResearchSecrets(process.env)) !== text)
+        throw failure("Promotion authorization must be bounded non-secret supplied text.");
+    return withWorkspaceLock(root, "research.investigation.promotion.approve", async () => {
+        const project = await loadProject(root, projectId);
+        const events = await readVerifiedJournal(workspacePaths(root).journal);
+        assertProjectAuthority(project, projectAuthorityIndex(events));
+        const existing = events.find((e) => e.scope === projectId &&
+            e.type === "investigation.promotion.approved" &&
+            e.payload.promotionId === input.promotionId);
+        if (existing) {
+            const record = await loadInvestigationPromotion(root, projectId, String(existing.payload.recordSha256), events);
+            if (record.plan.requestSha256 !== sha256Text(canonicalJson(input)) ||
+                record.plan.planSha256 !== confirmation ||
+                record.scopeAuthorization.sourceSha256 !== sha256Text(text))
+                throw failure("Promotion ID already belongs to another exact approval.");
+            return record;
+        }
+        const plan = await planInvestigationPromotion(root, projectId, input);
+        if (plan.planSha256 !== confirmation)
+            throw failure("Promotion plan changed; inspect the current exact plan before approving.");
+        const source = await storeRunObject(root, projectId, sourcePath);
+        if (source.sha256 !== sha256Text(text))
+            throw failure("Promotion approval source changed during storage.");
+        const core = {
+            schemaVersion: 1,
+            kind: "tiangong-investigation-promotion",
+            projectId,
+            promotionId: input.promotionId,
+            plan,
+            scopeAuthorization: {
+                kind: "operator-confirmation",
+                planSha256: plan.planSha256,
+                sourceSha256: source.sha256,
+                source,
+            },
+            approvedAt: new Date().toISOString(),
+        };
+        const record = {
+            ...core,
+            recordSha256: sha256Text(canonicalJson(core)),
+        };
+        await writeTaskObject(root, projectId, "investigation-promotions", record.recordSha256, record);
+        let mutation = await beginProjectMutation(root, "investigation-promotion", project, record.recordSha256);
+        try {
+            reserveProjectCost(project, await loadWorkspaceConfig(root), {
+                id: `investigation-certification-${record.recordSha256}`,
+                kind: "investigation",
+                reference: `promotion/${input.promotionId}`,
+                maxCostUsd: plan.certification.maxCostUsd,
+            });
+            project.updatedAt = new Date().toISOString();
+            mutation = await prepareProjectMutation(root, mutation, project);
+            await appendJournalEvent(workspacePaths(root).journal, "investigation.promotion.approved", projectId, {
+                projectId,
+                promotionId: input.promotionId,
+                investigationId: input.investigationId,
+                sourceProjectId: input.sourceProjectId,
+                recordSha256: record.recordSha256,
+                planSha256: plan.planSha256,
+                mutation: projectMutationBinding(mutation),
+            });
+            await settleProjectMutation(root, mutation);
+        }
+        catch (error) {
+            await settleProjectMutation(root, mutation);
+            throw error;
+        }
+        return record;
+    });
+}
+//# sourceMappingURL=investigation-promotion.js.map

package/dist/research/workspace/investigation-promotion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"investigation-promotion.js","sourceRoot":"","sources":["../../../src/research/workspace/investigation-promotion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAA+B,MAAM,0BAA0B,CAAC;AACpG,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,2BAA2B,EAAE,MAAM,kBAAkB,CAAC;AAC/D,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AACzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACvF,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAClF,OAAO,EACL,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,GACtB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,2BAA2B,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,EAAE,yBAAyB,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AACrF,OAAO,EACL,gCAAgC,EAChC,6BAA6B,GAE9B,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,aAAa,EAAc,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACrF,OAAO,EAAE,eAAe,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAE7F,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACxE,MAAM,IAAI,GAAG,gBAAgB,CAAC;AAa9B,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qCAAqC,EAAE,CAAC;AAC9E,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,oBAAoB,EAAE,KAAK;IAC3B,QAAQ,EAAE;QACR,eAAe;QACf,aAAa;QACb,iBAAiB;QACjB,iBAAiB;QACjB,iBAAiB;QACjB,eAAe;QACf,mBAAmB;QACnB,SAAS;QACT,eAAe;QACf,YAAY;KACb;IACD,UAAU,EAAE;QACV,aAAa,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE;QAC3B,WAAW,EAAE,EAAE;QACf,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,2BAA2B,EAAE;QACzE,eAAe,EAAE,EAAE;QACnB,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACzD,aAAa,EAAE,EAAE;QACjB,iBAAiB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QAC3D,OAAO,EAAE,EAAE;QACX,aAAa,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE;QAC/D,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE;KAC3C;CACF,CAAC;AACF,MAAM,QAAQ,GAAG,IAAI,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAiB,MAAM,CAAC,CAAC;AACjG,MAAM,UAAU,iCAAiC;IAC/C,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACD,SAAS,OAAO,CAAC,OAAe,EAAE,IAAI,GAAG,0CAA0C;IACjF,OAAO,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;AACtD,CAAC;AACD,SAAS,KAAK,CAAC,KAAc;IAC3B,IACE,CAAC,QAAQ,CAAC,KAAK,CAAC;QAChB,aAAa,CAAC,qBAAqB,CAAC,KAAK,EAAE,yBAAyB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YACjF,aAAa,CAAC,KAAK,CAAC;QAEtB,MAAM,OAAO,CAAC,oDAAoD,CAAC,CAAC;IACtE,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAAC,IAAY,EAAE,SAAiB,EAAE,KAAc;IAC9F,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACnD,MAAM,MAAM,GACV,SAAS,KAAK,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;IACjG,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC;IACvE,sBAAsB,CAAC,OAAO,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,MAAM,iBAAiB,CACxC,IAAI,EACJ,KAAK,CAAC,eAAe,EACrB,KAAK,CAAC,eAAe,EACrB,MAAM,CACP,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,2BAA2B,CAChD,IAAI,EACJ,KAAK,CAAC,eAAe,EACrB,UAAU,EACV,MAAM,CACP,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,2BAA2B,CAClD,IAAI,EACJ,KAAK,CAAC,eAAe,EACrB,UAAU,EACV,MAAM,EACN,QAAQ,CACT,CAAC;IACF,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,IACE,CAAC,SAAS;QACV,SAAS,CAAC,YAAY,KAAK,KAAK,CAAC,eAAe;QAChD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAE/B,MAAM,OAAO,CACX,oFAAoF,CACrF,CAAC;IACJ,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IAC5D,IACE,CAAC,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,aAAa;QAC5B,qBAAqB,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,iBAAiB;QACpD,CAAC,CAAC,SAAS,KAAK,aAAa,CAChC;QAED,MAAM,OAAO,CAAC,0DAA0D,CAAC,CAAC;IAC5E,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IACpE,IACE,CAAC,OAAO,CAAC,iBAAiB;QAC1B,CAAC,OAAO,CAAC,gBAAgB;QACzB,OAAO,CAAC,OAAO,CAAC,KAAK,KAAK,kBAAkB;QAC5C,OAAO,CAAC,MAAM,KAAK,UAAU;QAC7B,CAAC,OAAO;QACR,OAAO,CAAC,QAAQ,GAAG,CAAC;QACpB,OAAO,CAAC,SAAS;QACjB,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;QAC9C,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,MAAM,KAAK,UAAU;QAE1E,MAAM,OAAO,CACX,+IAA+I,EAC/I,2CAA2C,CAC5C,CAAC;IACJ,IACE,SAAS,KAAK,KAAK,CAAC,eAAe;QACnC,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,KAAK,KAAK,CAAC,eAAe;YACpD,MAAM,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC;QAE5C,MAAM,OAAO,CACX,sFAAsF,EACtF,2CAA2C,CAC5C,CAAC;IACJ,MAAM,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,MAAM,6BAA6B,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACnF,MAAM,QAAQ,GAAG,MAAM,2BAA2B,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACpE,IACE,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CACnC,QAAQ,CAAC,SAAS,CAAC,IAAI,CACrB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CACrF,CACF;QAED,MAAM,OAAO,CAAC,qEAAqE,CAAC,CAAC;IACvF,IAAI,SAAS,KAAK,KAAK,CAAC,eAAe,EAAE,CAAC;QACxC,IACE,UAAU,CAAC,IAAI,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa;YACrD,UAAU,CAAC,IAAI,CAAC,iBAAiB,KAAK,KAAK,CAAC,iBAAiB;YAC7D,UAAU,CAAC,IAAI,CAAC,cAAc,KAAK,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC;YAC/D,UAAU,CAAC,IAAI,CAAC,YAAY,KAAK,OAAO,CAAC,gBAAgB,CAAC,YAAY;YACtE,UAAU,CAAC,IAAI,CAAC,YAAY,KAAK,OAAO,CAAC,iBAAiB,CAAC,oBAAoB;YAC/E,UAAU,CAAC,IAAI,CAAC,yBAAyB,KAAK,QAAQ,CAAC,cAAc;YAErE,MAAM,OAAO,CACX,sGAAsG,EACtG,2CAA2C,CAC5C,CAAC;QACJ,0EAA0E;QAC1E,qEAAqE;QACrE,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAClD,IAAI,oBAAoB,GACtB,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,qBAAqB,CAAC;QAC/E,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,gCAAgC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAClD,oBAAoB;gBAClB,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,qBAAqB,CAAC;QACjF,CAAC;QACD,IAAI,CAAC,oBAAoB;YACvB,MAAM,OAAO,CACX,kEAAkE,EAClE,2CAA2C,CAC5C,CAAC;IACN,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC;IACzF,IAAI,CAAC,KAAK;QAAE,MAAM,OAAO,CAAC,4DAA4D,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAChC,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC;IACjF,MAAM,WAAW,GAAoC;QACnD,oBAAoB,EAAE,EAAE;QACxB,gBAAgB,EAAE,EAAE;QACpB,eAAe,EAAE,EAAE;KACpB,CAAC;IACF,IACE,KAAK,CAAC,oBAAoB,KAAK,4BAA4B;QAC3D,KAAK,CAAC,8BAA8B,KAAK,iBAAiB;QAE1D,WAAW,CAAC,oBAAoB,CAAC,IAAI,CAAC;YACpC,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM;YAC5B,aAAa,EAAE,mBAAmB,MAAM,CAAC,MAAM,CAAC,MAAM,OAAO;YAC7D,UAAU;YACV,OAAO,EAAE,KAAK,CAAC,8BAA8B;SAC9C,CAAC,CAAC;SACA,IACH,KAAK,CAAC,oBAAoB,KAAK,mBAAmB;QAClD,KAAK,CAAC,4BAA4B,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM;QAC3D,KAAK,CAAC,wBAAwB,KAAK,UAAU;QAE7C,MAAM,OAAO,CACX,wEAAwE,EACxE,2CAA2C,CAC5C,CAAC;IACJ,IACE,KAAK,CAAC,qBAAqB,KAAK,sBAAsB;QACtD,KAAK,CAAC,+BAA+B,KAAK,iBAAiB;QAE3D,WAAW,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAChC,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC,MAAM;YACrC,aAAa,EAAE,mBAAmB,MAAM,CAAC,eAAe,CAAC,MAAM,OAAO;YACtE,OAAO,EAAE,KAAK,CAAC,+BAA+B;SAC/C,CAAC,CAAC;SACA,IACH,KAAK,CAAC,qBAAqB,KAAK,cAAc;QAC9C,KAAK,CAAC,qBAAqB,KAAK,MAAM,CAAC,eAAe,CAAC,MAAM;QAE7D,MAAM,OAAO,CACX,2EAA2E,EAC3E,2CAA2C,CAC5C,CAAC;IACJ,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjD,gCAAgC,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC/C,IACE,CAAC,OAAO,CAAC,MAAM;QACf,KAAK,CAAC,UAAU,GAAG,uBAAuB,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,IAAI;QAClE,KAAK,CAAC,aAAa;YACjB,IAAI,CAAC,GAAG,CACN,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,OAAO,EAC3C,MAAM,CAAC,MAAM,CAAC,cAAc,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,CACzD;QAEH,MAAM,OAAO,CACX,mGAAmG,CACpG,CAAC;IACJ,MAAM,IAAI,GAAG;QACX,aAAa,EAAE,CAAU;QACzB,IAAI,EAAE,uCAAgD;QACtD,SAAS;QACT,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,eAAe,EAAE,SAAS,CAAC,YAAY;QACvC,gBAAgB,EAAE,UAAU,CAAC,YAAY;QACzC,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,MAAM;QACN,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,aAAa,EAAE,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC/C,KAAK,EACH,SAAS,KAAK,KAAK,CAAC,eAAe;YACjC,CAAC,CAAE,uBAAiC;YACpC,CAAC,CAAC,WAAW,CAAC,oBAAoB,CAAC,MAAM,IAAI,WAAW,CAAC,gBAAgB,CAAC,MAAM;gBAC9E,CAAC,CAAE,yBAAmC;gBACtC,CAAC,CAAE,eAAyB;QAClC,cAAc,EAAE,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC5C,YAAY,EAAE,OAAO,CAAC,gBAAgB,CAAC,YAAY;QACnD,YAAY,EAAE,OAAO,CAAC,iBAAiB,CAAC,oBAAoB;QAC5D,yBAAyB,EAAE,QAAQ,CAAC,cAAc;QAClD,2BAA2B,EAAE,IAAI,CAAC,eAAe;QACjD,6BAA6B,EAAE,UAAU,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QACnE,uBAAuB,EAAE,IAAI,CAAC,UAAU;QACxC,WAAW;QACX,aAAa,EAAE;YACb,OAAO,EAAE,CAAU;YACnB,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,cAAc,EAAE,SAAS,CAAC,MAAM,CAAC,cAAc;SAChD;QACD,OAAO,EAAE,4CAAqD;KAC/D,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;AAClE,CAAC;AAiBD,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,IAAY,EACZ,SAAiB,EACjB,IAAY,EACZ,WAA4B,EAC5B,KAAK,GAA2B,2BAA2B,CAAC,IAAI,CAAC;IAEjE,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,QAAQ,CACjC,SAAS,EACT,0BAA0B,EAC1B,IAAI,EACJ,cAAc,CACf,CAAC;IACF,MAAM,MAAM,GAAG,WAAW,IAAI,CAAC,MAAM,mBAAmB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACxF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CACvB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,KAAK,SAAS;QACrB,CAAC,CAAC,IAAI,KAAK,kCAAkC;QAC7C,CAAC,CAAC,OAAO,CAAC,YAAY,KAAK,IAAI,CAClC,CAAC;IACF,IACE,CAAC,KAAK;QACN,MAAM,CAAC,aAAa,KAAK,CAAC;QAC1B,MAAM,CAAC,IAAI,KAAK,kCAAkC;QAClD,MAAM,CAAC,SAAS,KAAK,SAAS;QAC9B,MAAM,CAAC,WAAW,KAAK,KAAK,CAAC,OAAO,CAAC,WAAW;QAChD,MAAM,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS;QACnC,MAAM,CAAC,IAAI,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW;QAC9C,MAAM,CAAC,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,OAAO,CAAC,UAAU;QACnD,MAAM,CAAC,kBAAkB,CAAC,IAAI,KAAK,uBAAuB;QAC1D,MAAM,CAAC,kBAAkB,CAAC,UAAU,KAAK,MAAM,CAAC,IAAI,CAAC,UAAU;QAC/D,MAAM,CAAC,kBAAkB,CAAC,YAAY,KAAK,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC,MAAM;QAClF,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI;YACnC,oBAAoB,MAAM,CAAC,kBAAkB,CAAC,YAAY,EAAE;QAE9D,MAAM,OAAO,CAAC,uDAAuD,CAAC,CAAC;IACzE,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC;IAC5C,IAAI,UAAU,KAAK,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,OAAO,CAAC,+BAA+B,CAAC,CAAC;IACjD,MAAM,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACpE,OAAO,MAAM,CAAC;AAChB,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,IAAY,EACZ,SAAiB,EACjB,KAAc,EACd,YAAgC,EAChC,UAA8B;IAE9B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QACrF,MAAM,OAAO,CACX,6EAA6E,EAC7E,8CAA8C,CAC/C,CAAC;IACJ,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,UAAU,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,cAAc,EAAE,IAAI,IAAI,CAAC,IAAI,GAAG,KAAK;QAC9D,MAAM,OAAO,CAAC,6DAA6D,CAAC,CAAC;IAC/E,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CACtE,MAAM,QAAQ,CAAC,UAAU,CAAC,CAC3B,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,OAAO,CAAC,6CAA6C,CAAC,CAAC;IAC/D,CAAC;IACD,IACE,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QACtB,qBAAqB,CAAC,IAAI,EAAE,yBAAyB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI;QAE5E,MAAM,OAAO,CAAC,mEAAmE,CAAC,CAAC;IACrF,OAAO,iBAAiB,CAAC,IAAI,EAAE,0CAA0C,EAAE,KAAK,IAAI,EAAE;QACpF,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC;QACvE,sBAAsB,CAAC,OAAO,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAC1B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,KAAK,SAAS;YACrB,CAAC,CAAC,IAAI,KAAK,kCAAkC;YAC7C,CAAC,CAAC,OAAO,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,CAC9C,CAAC;QACF,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,MAAM,GAAG,MAAM,0BAA0B,CAC7C,IAAI,EACJ,SAAS,EACT,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,EACrC,MAAM,CACP,CAAC;YACF,IACE,MAAM,CAAC,IAAI,CAAC,aAAa,KAAK,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;gBAC9D,MAAM,CAAC,IAAI,CAAC,UAAU,KAAK,YAAY;gBACvC,MAAM,CAAC,kBAAkB,CAAC,YAAY,KAAK,UAAU,CAAC,IAAI,CAAC;gBAE3D,MAAM,OAAO,CAAC,yDAAyD,CAAC,CAAC;YAC3E,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,0BAA0B,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QACtE,IAAI,IAAI,CAAC,UAAU,KAAK,YAAY;YAClC,MAAM,OAAO,CAAC,0EAA0E,CAAC,CAAC;QAC5F,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;QACjE,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC,IAAI,CAAC;YACpC,MAAM,OAAO,CAAC,mDAAmD,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG;YACX,aAAa,EAAE,CAAU;YACzB,IAAI,EAAE,kCAA2C;YACjD,SAAS;YACT,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,IAAI;YACJ,kBAAkB,EAAE;gBAClB,IAAI,EAAE,uBAAgC;gBACtC,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,YAAY,EAAE,MAAM,CAAC,MAAM;gBAC3B,MAAM;aACP;YACD,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACrC,CAAC;QACF,MAAM,MAAM,GAA2B;YACrC,GAAG,IAAI;YACP,YAAY,EAAE,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;SAC9C,CAAC;QACF,MAAM,eAAe,CAAC,IAAI,EAAE,SAAS,EAAE,0BAA0B,EAAE,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAChG,IAAI,QAAQ,GAAG,MAAM,oBAAoB,CACvC,IAAI,EACJ,yBAAyB,EACzB,OAAO,EACP,MAAM,CAAC,YAAY,CACpB,CAAC;QACF,IAAI,CAAC;YACH,kBAAkB,CAAC,OAAO,EAAE,MAAM,mBAAmB,CAAC,IAAI,CAAC,EAAE;gBAC3D,EAAE,EAAE,+BAA+B,MAAM,CAAC,YAAY,EAAE;gBACxD,IAAI,EAAE,eAAe;gBACrB,SAAS,EAAE,aAAa,KAAK,CAAC,WAAW,EAAE;gBAC3C,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC,UAAU;aAC1C,CAAC,CAAC;YACH,OAAO,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAC7C,QAAQ,GAAG,MAAM,sBAAsB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YACjE,MAAM,kBAAkB,CACtB,cAAc,CAAC,IAAI,CAAC,CAAC,OAAO,EAC5B,kCAAkC,EAClC,SAAS,EACT;gBACE,SAAS;gBACT,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;gBACtC,eAAe,EAAE,KAAK,CAAC,eAAe;gBACtC,YAAY,EAAE,MAAM,CAAC,YAAY;gBACjC,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,CAAC;aAC3C,CACF,CAAC;YACF,MAAM,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC9C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC5C,MAAM,KAAK,CAAC;QACd,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/research/workspace/investigation-requirements.d.ts

@@ -0,0 +1,5 @@
+import type { TaskObjectReader } from "./task-contract.js";
+import type { JournalEvent } from "./types.js";
+/** Lightweight derived index shared by intake, review context and portable audit.
+ * It never loads programs/results for requirements without investigation history. */
+export declare function investigatedRequirementHashes(projectId: string, events: Array<Pick<JournalEvent, "scope" | "type" | "payload">>, readObject: TaskObjectReader): Promise<Set<string>>;