@tiangong-ai/cli 0.0.60 → 0.0.61

package/dist/research/workspace/scientific-fulfillment-audit.js

@@ -0,0 +1,137 @@
+import { readFile } from "node:fs/promises";
+import { CliError } from "../../errors.js";
+import { parseScientificDesign } from "./scientific-design.js";
+import { applyScientificFulfillmentRecord, validateScientificFulfillmentRecord, } from "./scientific-fulfillment.js";
+import { canonicalJson, isObject, resolveContained, sha256Text } from "./storage.js";
+/** A portable integrity check, not certification of authorship, scientific truth or execution. */
+export async function verifyScientificFulfillmentAudit(bundle, projectId, files) {
+    const indexed = new Map(files.map((file) => [file.path, file]));
+    const cache = new Map();
+    const read = async (path) => {
+        if (!cache.has(path)) {
+            const expected = indexed.get(path);
+            if (!expected || expected.bytes > 16 * 1024 * 1024)
+                throw invalid();
+            const text = await readFile(resolveContained(bundle, path), "utf8");
+            if (sha256Text(text) !== expected.sha256 || Buffer.byteLength(text) !== expected.bytes)
+                throw invalid();
+            try {
+                cache.set(path, JSON.parse(text));
+            }
+            catch {
+                throw invalid();
+            }
+        }
+        return cache.get(path);
+    };
+    const project = await read("state/project.json");
+    const proof = await read("state/journal-event-proofs.json");
+    if (project.id !== projectId || !Array.isArray(proof.events))
+        throw invalid();
+    const events = proof.events.filter((event) => event.scope === projectId && event.type === "scientific.fulfillment.recorded");
+    const binding = project.scientificDesign;
+    if (!events.length) {
+        if (binding?.fulfillmentSha256)
+            throw invalid();
+        return;
+    }
+    if (!binding || binding.fulfillmentSha256 !== events.at(-1)?.payload.recordSha256)
+        throw invalid();
+    const basePath = `project/scientific/design/objects/${binding.designSha256}.json`;
+    if (indexed.get(basePath)?.sha256 !== binding.designSha256)
+        throw invalid();
+    const base = parseScientificDesign(await read(basePath));
+    if (base.projectId !== projectId)
+        throw invalid();
+    const effective = structuredClone(base);
+    let parent = null;
+    const seen = new Set();
+    for (const event of events) {
+        if (event.sourcePayloadSha256 !== sha256Text(canonicalJson(event.payload)))
+            throw invalid();
+        const hash = String(event.payload.recordSha256);
+        if (seen.has(hash) || !/^[a-f0-9]{64}$/.test(hash))
+            throw invalid();
+        seen.add(hash);
+        const record = validateScientificFulfillmentRecord(await read(`project/scientific/fulfillments/${hash}.json`), projectId, hash);
+        if (record.designSha256 !== binding.designSha256 ||
+            record.parentFulfillmentSha256 !== parent ||
+            event.payload.parentFulfillmentSha256 !== parent ||
+            record.requestSha256 !== event.payload.requestSha256)
+            throw invalid();
+        for (const [kind, items] of [
+            ["model-implementation", record.modelImplementations],
+            ["environment-lock", record.environmentLocks],
+        ]) {
+            for (const item of items) {
+                const locator = `lineage/objects/${item.sha256}/${kind}.json`;
+                const metadata = await read(`workspace-objects/${locator}`);
+                const { recordSha256, ...core } = metadata;
+                const bytes = indexed.get(`workspace-objects/${item.objectLocator}`);
+                if (metadata.kind !== "tiangong-scientific-object" ||
+                    metadata.schemaVersion !== 1 ||
+                    metadata.objectKind !== kind ||
+                    metadata.sha256 !== item.sha256 ||
+                    metadata.objectLocator !== item.objectLocator ||
+                    metadata.recordLocator !== locator ||
+                    metadata.hashBasis !== "raw-file-bytes" ||
+                    recordSha256 !== item.recordSha256 ||
+                    recordSha256 !== sha256Text(canonicalJson(core)) ||
+                    bytes?.sha256 !== item.sha256 ||
+                    bytes.bytes !== metadata.bytes)
+                    throw invalid();
+            }
+        }
+        if (record.parameterStates.length) {
+            const content = await read("project/outputs/content-snapshot.json");
+            const { snapshotSha256, ...core } = content;
+            if (snapshotSha256 !== sha256Text(canonicalJson(core)) || !Array.isArray(content.atoms))
+                throw invalid();
+            const atoms = new Map(content.atoms.map((atom) => [String(atom.atomId), atom]));
+            for (const parameter of record.parameterStates) {
+                const declared = base.uncertaintyParameters.find((item) => item.id === parameter.parameterId);
+                for (const state of parameter.states)
+                    for (const reference of state.atoms) {
+                        const atom = atoms.get(reference.id);
+                        if (!atom ||
+                            atom.atomSha256 !== reference.sha256 ||
+                            !Array.isArray(atom.evidenceRoleIds) ||
+                            !atom.evidenceRoleIds.some((role) => declared?.sourceEvidenceRoleIds.includes(String(role))))
+                            throw invalid();
+                        const { atomSha256, ...atomCore } = atom;
+                        if (atomSha256 !== sha256Text(canonicalJson(atomCore)))
+                            throw invalid();
+                    }
+            }
+        }
+        applyScientificFulfillmentRecord(effective, record);
+        parent = hash;
+    }
+    // Current prepared/passed gate packets must bind their deadline-specific view.
+    for (const role of ["research-design", "evidence-construct", "pilot-methods"]) {
+        const gate = binding.gates[role];
+        if (!gate.packetSha256)
+            continue;
+        const packet = await read(`project/scientific/review-packets/${role}/${gate.packetSha256}.json`);
+        const { packetSha256, ...packetCore } = packet;
+        if (packetSha256 !== gate.packetSha256 ||
+            sha256Text(canonicalJson(packetCore)) !== packetSha256 ||
+            !isObject(packet.design))
+            throw invalid();
+        const view = structuredClone(base);
+        for (const event of events)
+            applyScientificFulfillmentRecord(view, validateScientificFulfillmentRecord(await read(`project/scientific/fulfillments/${event.payload.recordSha256}.json`), projectId, String(event.payload.recordSha256)), role);
+        const packetView = packet.design.fulfillment;
+        if (isObject(packetView)) {
+            if (packetView.effectiveSha256 !== sha256Text(canonicalJson(view)) ||
+                (packetView.headSha256 !== null && !seen.has(String(packetView.headSha256))))
+                throw invalid();
+        }
+        else if (canonicalJson(view) !== canonicalJson(base))
+            throw invalid();
+    }
+}
+function invalid() {
+    return new CliError("Scientific fulfillment audit relationships or source objects are inconsistent.", { code: "RESEARCH_AUDIT_BUNDLE_INVALID", exitCode: 3 });
+}
+//# sourceMappingURL=scientific-fulfillment-audit.js.map

package/dist/research/workspace/scientific-fulfillment-audit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scientific-fulfillment-audit.js","sourceRoot":"","sources":["../../../src/research/workspace/scientific-fulfillment-audit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EACL,gCAAgC,EAChC,mCAAmC,GACpC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAGrF,kGAAkG;AAClG,MAAM,CAAC,KAAK,UAAU,gCAAgC,CACpD,MAAc,EACd,SAAiB,EACjB,KAAqB;IAErB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,MAAM,IAAI,GAAG,KAAK,EAAK,IAAY,EAAc,EAAE;QACjD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,KAAK,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI;gBAAE,MAAM,OAAO,EAAE,CAAC;YACpE,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YACpE,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,KAAK;gBACpF,MAAM,OAAO,EAAE,CAAC;YAClB,IAAI,CAAC;gBACH,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACpC,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM,OAAO,EAAE,CAAC;YAClB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAM,CAAC;IAC9B,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,MAAM,IAAI,CAAe,oBAAoB,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,MAAM,IAAI,CAIrB,iCAAiC,CAAC,CAAC;IACtC,IAAI,OAAO,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,MAAM,OAAO,EAAE,CAAC;IAC9E,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAChC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,iCAAiC,CACzF,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,gBAAgB,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACnB,IAAI,OAAO,EAAE,iBAAiB;YAAE,MAAM,OAAO,EAAE,CAAC;QAChD,OAAO;IACT,CAAC;IACD,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,iBAAiB,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,YAAY;QAC/E,MAAM,OAAO,EAAE,CAAC;IAClB,MAAM,QAAQ,GAAG,qCAAqC,OAAO,CAAC,YAAY,OAAO,CAAC;IAClF,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,YAAY;QAAE,MAAM,OAAO,EAAE,CAAC;IAC5E,MAAM,IAAI,GAAG,qBAAqB,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACzD,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;QAAE,MAAM,OAAO,EAAE,CAAC;IAClD,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,mBAAmB,KAAK,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAAE,MAAM,OAAO,EAAE,CAAC;QAC5F,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,OAAO,EAAE,CAAC;QACpE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,MAAM,MAAM,GAAG,mCAAmC,CAChD,MAAM,IAAI,CAAC,mCAAmC,IAAI,OAAO,CAAC,EAC1D,SAAS,EACT,IAAI,CACL,CAAC;QACF,IACE,MAAM,CAAC,YAAY,KAAK,OAAO,CAAC,YAAY;YAC5C,MAAM,CAAC,uBAAuB,KAAK,MAAM;YACzC,KAAK,CAAC,OAAO,CAAC,uBAAuB,KAAK,MAAM;YAChD,MAAM,CAAC,aAAa,KAAK,KAAK,CAAC,OAAO,CAAC,aAAa;YAEpD,MAAM,OAAO,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI;YAC1B,CAAC,sBAAsB,EAAE,MAAM,CAAC,oBAAoB,CAAC;YACrD,CAAC,kBAAkB,EAAE,MAAM,CAAC,gBAAgB,CAAC;SACrC,EAAE,CAAC;YACX,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,OAAO,GAAG,mBAAmB,IAAI,CAAC,MAAM,IAAI,IAAI,OAAO,CAAC;gBAC9D,MAAM,QAAQ,GAAG,MAAM,IAAI,CAA0B,qBAAqB,OAAO,EAAE,CAAC,CAAC;gBACrF,MAAM,EAAE,YAAY,EAAE,GAAG,IAAI,EAAE,GAAG,QAAQ,CAAC;gBAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,qBAAqB,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;gBACrE,IACE,QAAQ,CAAC,IAAI,KAAK,4BAA4B;oBAC9C,QAAQ,CAAC,aAAa,KAAK,CAAC;oBAC5B,QAAQ,CAAC,UAAU,KAAK,IAAI;oBAC5B,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;oBAC/B,QAAQ,CAAC,aAAa,KAAK,IAAI,CAAC,aAAa;oBAC7C,QAAQ,CAAC,aAAa,KAAK,OAAO;oBAClC,QAAQ,CAAC,SAAS,KAAK,gBAAgB;oBACvC,YAAY,KAAK,IAAI,CAAC,YAAY;oBAClC,YAAY,KAAK,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;oBAChD,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC,MAAM;oBAC7B,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;oBAE9B,MAAM,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;YAClC,MAAM,OAAO,GAAG,MAAM,IAAI,CACxB,uCAAuC,CACxC,CAAC;YACF,MAAM,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;YAC5C,IAAI,cAAc,KAAK,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC;gBACrF,MAAM,OAAO,EAAE,CAAC;YAClB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAChF,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;gBAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAC9C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,WAAW,CAC5C,CAAC;gBACF,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,MAAM;oBAClC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;wBACpC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;wBACrC,IACE,CAAC,IAAI;4BACL,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,MAAM;4BACpC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC;4BACpC,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAClC,QAAQ,EAAE,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CACvD;4BAED,MAAM,OAAO,EAAE,CAAC;wBAClB,MAAM,EAAE,UAAU,EAAE,GAAG,QAAQ,EAAE,GAAG,IAAI,CAAC;wBACzC,IAAI,UAAU,KAAK,UAAU,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;4BAAE,MAAM,OAAO,EAAE,CAAC;oBAC1E,CAAC;YACL,CAAC;QACH,CAAC;QACD,gCAAgC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACpD,MAAM,GAAG,IAAI,CAAC;IAChB,CAAC;IACD,+EAA+E;IAC/E,KAAK,MAAM,IAAI,IAAI,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,eAAe,CAAU,EAAE,CAAC;QACvF,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,YAAY;YAAE,SAAS;QACjC,MAAM,MAAM,GAAG,MAAM,IAAI,CACvB,qCAAqC,IAAI,IAAI,IAAI,CAAC,YAAY,OAAO,CACtE,CAAC;QACF,MAAM,EAAE,YAAY,EAAE,GAAG,UAAU,EAAE,GAAG,MAAM,CAAC;QAC/C,IACE,YAAY,KAAK,IAAI,CAAC,YAAY;YAClC,UAAU,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,KAAK,YAAY;YACtD,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;YAExB,MAAM,OAAO,EAAE,CAAC;QAClB,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACnC,KAAK,MAAM,KAAK,IAAI,MAAM;YACxB,gCAAgC,CAC9B,IAAI,EACJ,mCAAmC,CACjC,MAAM,IAAI,CAAC,mCAAmC,KAAK,CAAC,OAAO,CAAC,YAAY,OAAO,CAAC,EAChF,SAAS,EACT,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CACnC,EACD,IAAI,CACL,CAAC;QACJ,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;QAC7C,IAAI,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YACzB,IACE,UAAU,CAAC,eAAe,KAAK,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC9D,CAAC,UAAU,CAAC,UAAU,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;gBAE5E,MAAM,OAAO,EAAE,CAAC;QACpB,CAAC;aAAM,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC;YAAE,MAAM,OAAO,EAAE,CAAC;IAC1E,CAAC;AACH,CAAC;AACD,SAAS,OAAO;IACd,OAAO,IAAI,QAAQ,CACjB,gFAAgF,EAChF,EAAE,IAAI,EAAE,+BAA+B,EAAE,QAAQ,EAAE,CAAC,EAAE,CACvD,CAAC;AACJ,CAAC"}

package/dist/research/workspace/scientific-fulfillment.d.ts

@@ -0,0 +1,121 @@
+import { type ScientificDesignContract } from "./scientific-design.js";
+import type { JournalEvent, ProjectState, ScientificReviewRole } from "./types.js";
+type DeferredGate = "evidence-construct" | "pilot-methods";
+type ObjectInput = {
+    modelId: string;
+    objectLocator: string;
+    sha256: string;
+    recordSha256: string;
+};
+type ImplementationInput = ObjectInput & {
+    entrypoint: string;
+};
+interface ParameterInput {
+    parameterId: string;
+    states: Array<{
+        stateId: string;
+        value: string;
+        evidenceAtomIds: string[];
+    }>;
+}
+interface FulfillmentInput {
+    schemaVersion: 1;
+    designSha256: string;
+    parentFulfillmentSha256: string | null;
+    reason: string;
+    modelImplementations: ImplementationInput[];
+    environmentLocks: ObjectInput[];
+    parameterStates: ParameterInput[];
+}
+export interface ScientificFulfillmentRecord extends Omit<FulfillmentInput, "parameterStates" | "modelImplementations" | "environmentLocks"> {
+    kind: "tiangong-scientific-fulfillment";
+    projectId: string;
+    requestSha256: string;
+    modelImplementations: Array<ImplementationInput & {
+        dueGate: DeferredGate;
+    }>;
+    environmentLocks: Array<ObjectInput & {
+        dueGate: DeferredGate;
+    }>;
+    parameterStates: Array<{
+        parameterId: string;
+        dueGate: DeferredGate;
+        states: Array<{
+            stateId: string;
+            value: string;
+            atoms: Array<{
+                id: string;
+                sha256: string;
+            }>;
+        }>;
+    }>;
+    recordSha256: string;
+}
+export interface ScientificFulfillmentView {
+    base: ScientificDesignContract;
+    contract: ScientificDesignContract;
+    headSha256: string | null;
+    effectiveSha256: string;
+    records: ScientificFulfillmentRecord[];
+    deferredObjectRuleIds: string[];
+}
+export declare function scientificFulfillmentSchema(): Record<string, unknown>;
+export declare function scientificFulfillmentLocator(projectId: string, hash: string): string;
+export declare function validateScientificFulfillmentRecord(value: unknown, projectId: string, hash: string): ScientificFulfillmentRecord;
+/** The base bytes never change. The per-gate projection includes only slots due by that gate. */
+export declare function loadScientificFulfillmentView(root: string, project: ProjectState, throughGate?: ScientificReviewRole, knownEvents?: JournalEvent[]): Promise<ScientificFulfillmentView>;
+export declare function applyScientificFulfillmentRecord(design: ScientificDesignContract, record: ScientificFulfillmentRecord, throughGate?: ScientificReviewRole): void;
+export declare function recordScientificFulfillment(root: string, projectId: string, value: unknown): Promise<ScientificFulfillmentRecord>;
+export declare function inspectScientificFulfillment(root: string, projectId: string): Promise<{
+    projectId: string;
+    designSha256: string;
+    fulfillmentSha256: string | null;
+    effectiveDesignSha256: string;
+    records: {
+        recordSha256: string;
+        parentFulfillmentSha256: string | null;
+    }[];
+    pendingModels: {
+        id: string;
+        label: string;
+        family: string;
+        version: string;
+        equationSet: string;
+        coefficientSet: string;
+        implementationArtifactSha256: string | null;
+        implementationArtifactLocator: string | null;
+        implementationEntrypoint: string | null;
+        implementationStatus: "executable-frozen" | "pending-source-acquisition";
+        implementationFreezeBeforeGate: "research-design" | "evidence-construct" | "pilot-methods";
+        environmentLockSha256: string | null;
+        environmentLockLocator: string | null;
+        environmentLockStatus: "exact-frozen" | "pending-runtime-lock";
+        environmentLockFreezeBeforeGate: "research-design" | "evidence-construct" | "pilot-methods";
+        artifactHashBasis: "raw-file-bytes";
+        baselineRole: "candidate" | "reference" | "strongest-available";
+        baselineSelectionJustification: string;
+        sourceEvidenceRoleIds: string[];
+    }[];
+    pendingParameters: {
+        id: string;
+        label: string;
+        distributionOrRange: string;
+        states: Array<{
+            id: string;
+            label: string;
+            value: string;
+            unit: string;
+        }>;
+        stateValueType: "numeric" | "categorical";
+        stateValueStatus: "frozen" | "pending-source-acquisition";
+        freezeBeforeGate: "research-design" | "evidence-construct" | "pilot-methods";
+        factorIds: string[];
+        applicationPoint: string;
+        compositionRule: string;
+        preservesFactorLevelIdentity: boolean;
+        sourceEvidenceRoleIds: string[];
+        quantityIds: string[];
+    }[];
+    policyRulesAwaitingIndependentJudgement: string[];
+}>;
+export {};