@tiangong-ai/cli 0.0.58 → 0.0.60

package/dist/research/workspace/task-audit.js

@@ -0,0 +1,181 @@
+import { readFile } from "node:fs/promises";
+import { join } from "node:path";
+import { CliError } from "../../errors.js";
+import { compileTaskAcceptanceContext, taskRecordStatus, taskRequirementRows, validateTaskAcceptanceRecord, validateTaskReview, } from "./task-acceptance.js";
+import { latestTaskBinding, loadTaskHistory, taskRequirementSha256, validateTaskObject, } from "./task-contract.js";
+import { canonicalJson, isObject, resolveContained, sha256Text, writeJsonAtomic, } from "./storage.js";
+const HASH = /^[a-f0-9]{64}$/;
+/** Derived export view, not a second mutable task state. */
+export async function writeTaskAuditContext(root, project, destination) {
+    const context = await compileTaskAcceptanceContext(root, project);
+    if (!context)
+        return undefined;
+    await writeJsonAtomic(join(destination, "state/task-acceptance.json"), context, 0o444);
+    return {
+        contractSha256: context.contractSha256,
+        originalContractSha256: context.originalContractSha256,
+        contextSha256: context.contextSha256,
+    };
+}
+/** Verify new task relationships using only the bundle's already indexed exact files. */
+export async function verifyTaskAudit(bundle, projectId, binding, files) {
+    const indexed = new Map(files.map((file) => [file.path, file]));
+    const json = new Map();
+    const read = async (path) => {
+        if (!json.has(path)) {
+            const expected = indexed.get(path);
+            if (!expected || expected.bytes > 16 * 1024 * 1024)
+                throw invalid("Task audit reference is missing or oversized.");
+            const text = await readFile(resolveContained(bundle, path), "utf8");
+            if (Buffer.byteLength(text) !== expected.bytes || sha256Text(text) !== expected.sha256)
+                throw invalid("Task audit bytes changed during verification.");
+            try {
+                json.set(path, JSON.parse(text));
+            }
+            catch {
+                throw invalid("Task audit object is not valid JSON.");
+            }
+        }
+        return json.get(path);
+    };
+    const proof = await read("state/journal-event-proofs.json");
+    if (!Array.isArray(proof.events))
+        throw invalid("Task audit requires its journal proof view.");
+    const events = proof.events.filter((event) => event.scope === projectId);
+    const currentBinding = latestTaskBinding(events, projectId);
+    if (!currentBinding) {
+        if (binding || indexed.has("state/task-acceptance.json"))
+            throw invalid("Task audit has no committed task authority.");
+        return undefined;
+    }
+    if (!binding || currentBinding.contractSha256 !== binding.contractSha256)
+        throw invalid("Audit task binding does not match its committed task.");
+    const objectReader = async (group, hash, hashField) => {
+        if (!["contracts", "proposals", "acceptance"].includes(group) || !HASH.test(hash))
+            throw invalid("Task audit object address is invalid.");
+        return validateTaskObject(await read(`project/task/${group}/${hash}.json`), hash, hashField);
+    };
+    const history = await loadTaskHistory(projectId, binding.contractSha256, objectReader);
+    if (history.original.contractSha256 !== binding.originalContractSha256)
+        throw invalid("Audit original requirement binding is inconsistent.");
+    const project = await read("state/project.json");
+    if (project.id !== projectId || history.current.questionSha256 !== sha256Text(project.question))
+        throw invalid("Audit task belongs to a different research question.");
+    const context = validateTaskObject(await read("state/task-acceptance.json"), binding.contextSha256, "contextSha256");
+    if (context.schemaVersion !== 1 ||
+        context.projectId !== projectId ||
+        context.contractSha256 !== binding.contractSha256 ||
+        context.originalContractSha256 !== binding.originalContractSha256 ||
+        context.originalRequest !== history.original.originalRequest ||
+        !Array.isArray(context.requirements) ||
+        !Array.isArray(context.results))
+        throw invalid("Audit task view has inconsistent identity.");
+    const contracts = new Map(history.contracts.map((contract) => [contract.contractSha256, contract]));
+    const latest = new Map();
+    let activeContract = null;
+    for (const event of events) {
+        const isTaskAuthority = latestTaskBinding([event], projectId);
+        if (event.type.startsWith("project.task.") || isTaskAuthority) {
+            if (event.sourcePayloadSha256 !== sha256Text(canonicalJson(event.payload)))
+                throw invalid("Task audit journal payload changed from its source proof.");
+        }
+        if (isTaskAuthority)
+            activeContract = String(isTaskAuthority.contractSha256);
+        if (event.type !== "project.task.acceptance.recorded")
+            continue;
+        const record = validateTaskAcceptanceRecord(await objectReader("acceptance", String(event.payload.recordSha256), "recordSha256"), projectId);
+        const contract = activeContract ? contracts.get(activeContract) : null;
+        const requirement = contract?.requirements.find((item) => taskRequirementSha256(item) === record.requirementSha256);
+        if (!requirement ||
+            requirement.id !== record.requirementId ||
+            requirement.checkKind !== record.checkKind ||
+            event.payload.requirementSha256 !== record.requirementSha256 ||
+            (latest.get(record.requirementSha256)?.recordSha256 ?? null) !== record.previousRecordSha256)
+            throw invalid("Audit check history is not bound to its active requirement or previous record.");
+        latest.set(record.requirementSha256, record);
+        for (const result of record.results) {
+            const file = indexed.get(`project/${result.path}`);
+            if (!file || file.sha256 !== result.sha256 || file.bytes !== result.bytes)
+                throw invalid("Audit native check result is missing or inconsistent.");
+        }
+    }
+    const references = {
+        ready: project.packages.find((item) => item.stage === "acquire")?.status === "complete",
+        sources: new Map(),
+        atoms: new Map(),
+        findings: new Map(),
+    };
+    if (references.ready && latest.size) {
+        const acquisition = await read("project/outputs/evidence-snapshot.json");
+        validateTaskObject(acquisition, acquisition.snapshotSha256, "snapshotSha256");
+        const evidenceFile = indexed.get(`project/${acquisition.evidenceRecord.path}`);
+        if (evidenceFile?.sha256 !== acquisition.evidenceRecord.sha256)
+            throw invalid("Audit source metadata is not snapshot-bound.");
+        const evidence = await read(`project/${acquisition.evidenceRecord.path}`);
+        const included = new Set(acquisition.sources.map((source) => source.id));
+        for (const source of evidence.sources)
+            if (included.has(String(source.id)))
+                references.sources.set(String(source.id), sha256Text(canonicalJson(source)));
+        if (indexed.has("project/outputs/content-snapshot.json")) {
+            const content = await read("project/outputs/content-snapshot.json");
+            validateTaskObject(content, content.snapshotSha256, "snapshotSha256");
+            if (content.acquisitionSnapshotSha256 === acquisition.snapshotSha256) {
+                const artifacts = new Map(acquisition.artifacts.map((item) => [item.artifactId, item]));
+                const sourceArtifacts = new Map(acquisition.sources.map((item) => [item.id, new Set(item.artifactIds)]));
+                for (const atom of content.atoms) {
+                    const artifact = artifacts.get(atom.artifactId);
+                    if (!artifact ||
+                        artifact.sha256 !== atom.artifactSha256 ||
+                        artifact.candidateId !== atom.candidateId ||
+                        !sourceArtifacts.get(atom.sourceId)?.has(atom.artifactId))
+                        throw invalid("Audit atom no longer belongs to the selected source artifact.");
+                    references.atoms.set(atom.atomId, atom.atomSha256);
+                }
+            }
+        }
+        if (project.packages.find((item) => item.stage === "analyze")?.status === "complete") {
+            const graph = await read("project/outputs/claim-evidence-graph.json");
+            if (indexed.get("project/outputs/analysis.json")?.sha256 !== graph.analysisSha256)
+                throw invalid("Audit analysis is not graph-bound.");
+            const analysis = await read("project/outputs/analysis.json");
+            for (const finding of analysis.findings)
+                references.findings.set(String(finding.id), sha256Text(canonicalJson(finding)));
+        }
+    }
+    const expectedRows = taskRequirementRows(history);
+    const results = new Map();
+    for (const [hash, row] of expectedRows) {
+        const record = latest.get(hash);
+        if (!record)
+            continue;
+        row.record = record;
+        row.status = taskRecordStatus(record, references, project);
+        for (const result of record.results)
+            results.set(result.sha256, result);
+    }
+    if (canonicalJson([...expectedRows.values()]) !== canonicalJson(context.requirements) ||
+        canonicalJson([...results.values()].sort((a, b) => a.sha256.localeCompare(b.sha256))) !==
+            canonicalJson(context.results))
+        throw invalid("Audit task view disagrees with the verified requirements, check records or current dependencies.");
+    if (project.packages.find((item) => item.stage === "review")?.status === "complete") {
+        const review = await read("project/outputs/review.json");
+        const completed = events.findLast((event) => event.type === "package.completed" && event.payload.packageId === "review");
+        if (!Array.isArray(completed?.payload.outputs) ||
+            !completed.payload.outputs.some((item) => isObject(item) &&
+                item.path === "outputs/review.json" &&
+                item.sha256 === indexed.get("project/outputs/review.json")?.sha256))
+            throw invalid("Audit review has no matching promoted result.");
+        const hash = String(review.packetSha256);
+        if (!HASH.test(hash))
+            throw invalid("Audit review packet identity is invalid.");
+        const packet = validateTaskObject(await read(`project/review/packets/${hash}.json`), hash, "packetSha256");
+        if (packet.taskAcceptance?.contextSha256 !== context.contextSha256)
+            throw invalid("Audit review task context is stale.");
+        validateTaskReview(review, context);
+    }
+    return { ...binding, executionCertified: false };
+}
+function invalid(message) {
+    return new CliError(message, { code: "RESEARCH_AUDIT_BUNDLE_INVALID", exitCode: 3 });
+}
+//# sourceMappingURL=task-audit.js.map

package/dist/research/workspace/task-audit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-audit.js","sourceRoot":"","sources":["../../../src/research/workspace/task-audit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EACL,4BAA4B,EAC5B,gBAAgB,EAChB,mBAAmB,EACnB,4BAA4B,EAC5B,kBAAkB,GAInB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,iBAAiB,EACjB,eAAe,EACf,qBAAqB,EACrB,kBAAkB,GAEnB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,aAAa,EACb,QAAQ,EACR,gBAAgB,EAChB,UAAU,EACV,eAAe,GAChB,MAAM,cAAc,CAAC;AAGtB,MAAM,IAAI,GAAG,gBAAgB,CAAC;AAU9B,4DAA4D;AAC5D,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,IAAY,EACZ,OAAqB,EACrB,WAAmB;IAEnB,MAAM,OAAO,GAAG,MAAM,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClE,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,eAAe,CAAC,IAAI,CAAC,WAAW,EAAE,4BAA4B,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACvF,OAAO;QACL,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,sBAAsB,EAAE,OAAO,CAAC,sBAAsB;QACtD,aAAa,EAAE,OAAO,CAAC,aAAa;KACrC,CAAC;AACJ,CAAC;AAED,yFAAyF;AACzF,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,MAAc,EACd,SAAiB,EACjB,OAAqC,EACrC,KAA0B;IAE1B,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,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,MAAM,IAAI,GAAG,KAAK,EAAK,IAAY,EAAc,EAAE;QACjD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,KAAK,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI;gBAChD,MAAM,OAAO,CAAC,+CAA+C,CAAC,CAAC;YACjE,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YACpE,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,MAAM;gBACpF,MAAM,OAAO,CAAC,+CAA+C,CAAC,CAAC;YACjE,IAAI,CAAC;gBACH,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACnC,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM,OAAO,CAAC,sCAAsC,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAM,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,IAAI,CAA2B,iCAAiC,CAAC,CAAC;IACtF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,MAAM,OAAO,CAAC,6CAA6C,CAAC,CAAC;IAC/F,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IACzE,MAAM,cAAc,GAAG,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC5D,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,IAAI,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC;YACtD,MAAM,OAAO,CAAC,6CAA6C,CAAC,CAAC;QAC/D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,CAAC,OAAO,IAAI,cAAc,CAAC,cAAc,KAAK,OAAO,CAAC,cAAc;QACtE,MAAM,OAAO,CAAC,uDAAuD,CAAC,CAAC;IACzE,MAAM,YAAY,GAAqB,KAAK,EAC1C,KAAa,EACb,IAAY,EACZ,SAAiB,EACjB,EAAE;QACF,IAAI,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/E,MAAM,OAAO,CAAC,uCAAuC,CAAC,CAAC;QACzD,OAAO,kBAAkB,CAAI,MAAM,IAAI,CAAC,gBAAgB,KAAK,IAAI,IAAI,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IAClG,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,QAAQ,CAAC,cAAc,KAAK,OAAO,CAAC,sBAAsB;QACpE,MAAM,OAAO,CAAC,qDAAqD,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,MAAM,IAAI,CAAe,oBAAoB,CAAC,CAAC;IAC/D,IAAI,OAAO,CAAC,EAAE,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,cAAc,KAAK,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC7F,MAAM,OAAO,CAAC,sDAAsD,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,kBAAkB,CAChC,MAAM,IAAI,CAAC,4BAA4B,CAAC,EACxC,OAAO,CAAC,aAAa,EACrB,eAAe,CAChB,CAAC;IACF,IACE,OAAO,CAAC,aAAa,KAAK,CAAC;QAC3B,OAAO,CAAC,SAAS,KAAK,SAAS;QAC/B,OAAO,CAAC,cAAc,KAAK,OAAO,CAAC,cAAc;QACjD,OAAO,CAAC,sBAAsB,KAAK,OAAO,CAAC,sBAAsB;QACjE,OAAO,CAAC,eAAe,KAAK,OAAO,CAAC,QAAQ,CAAC,eAAe;QAC5D,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC;QACpC,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC;QAE/B,MAAM,OAAO,CAAC,4CAA4C,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC,CACzE,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,IAAI,cAAc,GAAkB,IAAI,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,eAAe,GAAG,iBAAiB,CAAC,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC;QAC9D,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,IAAI,eAAe,EAAE,CAAC;YAC9D,IAAI,KAAK,CAAC,mBAAmB,KAAK,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBACxE,MAAM,OAAO,CAAC,2DAA2D,CAAC,CAAC;QAC/E,CAAC;QACD,IAAI,eAAe;YAAE,cAAc,GAAG,MAAM,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;QAC7E,IAAI,KAAK,CAAC,IAAI,KAAK,kCAAkC;YAAE,SAAS;QAChE,MAAM,MAAM,GAAG,4BAA4B,CACzC,MAAM,YAAY,CAChB,YAAY,EACZ,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAClC,cAAc,CACf,EACD,SAAS,CACV,CAAC;QACF,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACvE,MAAM,WAAW,GAAG,QAAQ,EAAE,YAAY,CAAC,IAAI,CAC7C,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,iBAAiB,CACnE,CAAC;QACF,IACE,CAAC,WAAW;YACZ,WAAW,CAAC,EAAE,KAAK,MAAM,CAAC,aAAa;YACvC,WAAW,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;YAC1C,KAAK,CAAC,OAAO,CAAC,iBAAiB,KAAK,MAAM,CAAC,iBAAiB;YAC5D,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,YAAY,IAAI,IAAI,CAAC,KAAK,MAAM,CAAC,oBAAoB;YAE5F,MAAM,OAAO,CACX,gFAAgF,CACjF,CAAC;QACJ,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;QAC7C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;YACnD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK;gBACvE,MAAM,OAAO,CAAC,uDAAuD,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAkB;QAChC,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,MAAM,KAAK,UAAU;QACvF,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,QAAQ,EAAE,IAAI,GAAG,EAAE;KACpB,CAAC;IACF,IAAI,UAAU,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACpC,MAAM,WAAW,GAAG,MAAM,IAAI,CAK3B,wCAAwC,CAAC,CAAC;QAC7C,kBAAkB,CAAC,WAAW,EAAE,WAAW,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;QAC9E,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,WAAW,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC;QAC/E,IAAI,YAAY,EAAE,MAAM,KAAK,WAAW,CAAC,cAAc,CAAC,MAAM;YAC5D,MAAM,OAAO,CAAC,8CAA8C,CAAC,CAAC;QAChE,MAAM,QAAQ,GAAG,MAAM,IAAI,CACzB,WAAW,WAAW,CAAC,cAAc,CAAC,IAAI,EAAE,CAC7C,CAAC;QACF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACzE,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO;YACnC,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACjC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACjF,IAAI,OAAO,CAAC,GAAG,CAAC,uCAAuC,CAAC,EAAE,CAAC;YACzD,MAAM,OAAO,GAAG,MAAM,IAAI,CAWvB,uCAAuC,CAAC,CAAC;YAC5C,kBAAkB,CAAC,OAAO,EAAE,OAAO,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;YACtE,IAAI,OAAO,CAAC,yBAAyB,KAAK,WAAW,CAAC,cAAc,EAAE,CAAC;gBACrE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBACxF,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CACxE,CAAC;gBACF,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;oBACjC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAChD,IACE,CAAC,QAAQ;wBACT,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,cAAc;wBACvC,QAAQ,CAAC,WAAW,KAAK,IAAI,CAAC,WAAW;wBACzC,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC;wBAEzD,MAAM,OAAO,CAAC,+DAA+D,CAAC,CAAC;oBACjF,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;gBACrD,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,MAAM,KAAK,UAAU,EAAE,CAAC;YACrF,MAAM,KAAK,GAAG,MAAM,IAAI,CACtB,2CAA2C,CAC5C,CAAC;YACF,IAAI,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC,EAAE,MAAM,KAAK,KAAK,CAAC,cAAc;gBAC/E,MAAM,OAAO,CAAC,oCAAoC,CAAC,CAAC;YACtD,MAAM,QAAQ,GAAG,MAAM,IAAI,CACzB,+BAA+B,CAChC,CAAC;YACF,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,QAAQ;gBACrC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,MAAM,YAAY,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,YAAY,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC;QACpB,GAAG,CAAC,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAC3D,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO;YAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1E,CAAC;IACD,IACE,aAAa,CAAC,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC;QACjF,aAAa,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACnF,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC;QAEhC,MAAM,OAAO,CACX,kGAAkG,CACnG,CAAC;IACJ,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,EAAE,MAAM,KAAK,UAAU,EAAE,CAAC;QACpF,MAAM,MAAM,GAAG,MAAM,IAAI,CAA0B,6BAA6B,CAAC,CAAC;QAClF,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAC/B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,mBAAmB,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,KAAK,QAAQ,CACtF,CAAC;QACF,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC;YAC1C,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAC7B,CAAC,IAAI,EAAE,EAAE,CACP,QAAQ,CAAC,IAAI,CAAC;gBACd,IAAI,CAAC,IAAI,KAAK,qBAAqB;gBACnC,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,EAAE,MAAM,CACrE;YAED,MAAM,OAAO,CAAC,+CAA+C,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,OAAO,CAAC,0CAA0C,CAAC,CAAC;QAChF,MAAM,MAAM,GAAG,kBAAkB,CAC/B,MAAM,IAAI,CAAC,0BAA0B,IAAI,OAAO,CAAC,EACjD,IAAI,EACJ,cAAc,CACf,CAAC;QACF,IAAI,MAAM,CAAC,cAAc,EAAE,aAAa,KAAK,OAAO,CAAC,aAAa;YAChE,MAAM,OAAO,CAAC,qCAAqC,CAAC,CAAC;QACvD,kBAAkB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,EAAE,GAAG,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,OAAO,CAAC,OAAe;IAC9B,OAAO,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,+BAA+B,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;AACvF,CAAC"}

package/dist/research/workspace/task-contract.d.ts

@@ -0,0 +1,139 @@
+import type { JournalEvent, ProjectState } from "./types.js";
+declare const inputSchemas: {
+    "task-contract": {
+        type: string;
+        additionalProperties: boolean;
+        required: string[];
+        properties: Record<string, unknown>;
+    };
+    "task-scope-change": {
+        type: string;
+        additionalProperties: boolean;
+        required: string[];
+        properties: Record<string, unknown>;
+    };
+};
+type TaskSchemaName = keyof typeof inputSchemas;
+export interface TaskRequirement {
+    id: string;
+    text: string;
+    acceptance: string;
+    checkKind: "evidence" | "computation" | "proof";
+    designClaimIds: string[];
+    coverageDimensionIds: string[];
+}
+export interface TaskContract {
+    schemaVersion: 1;
+    kind: "tiangong-research-task";
+    projectId: string;
+    version: number;
+    questionSha256: string;
+    originalRequest: string;
+    requirements: TaskRequirement[];
+    parentContractSha256: string | null;
+    originalContractSha256: string | null;
+    origin: {
+        projectId: string;
+        contractSha256: string;
+    } | null;
+    authorization: {
+        kind: "operator-confirmation";
+        proposalSha256: string;
+    } | null;
+    contractSha256: string;
+}
+export interface ProjectTaskView {
+    current: TaskContract;
+    original: TaskContract;
+    contracts: TaskContract[];
+    events: JournalEvent[];
+}
+export type TaskObjectReader = <T>(group: string, hash: string, hashField: string) => Promise<T>;
+export declare function latestTaskBinding(events: Array<Pick<JournalEvent, "scope" | "type" | "payload">>, projectId: string): Record<string, unknown> | null;
+export declare function isTaskSchemaName(value: string): value is TaskSchemaName;
+export declare function taskInputSchema(name: TaskSchemaName): Record<string, unknown>;
+export declare function taskRequirementSha256(item: TaskRequirement): string;
+export declare function loadProjectTask(root: string, projectId: string, knownEvents?: JournalEvent[]): Promise<ProjectTaskView | null>;
+/** Shared live/audit relationship validation over already hash-verified immutable objects. */
+export declare function loadTaskHistory(projectId: string, currentHash: string, read: TaskObjectReader): Promise<{
+    current: TaskContract;
+    original: TaskContract;
+    contracts: TaskContract[];
+}>;
+export declare function defineProjectTask(root: string, projectId: string, value: Record<string, unknown>): Promise<{
+    contractSha256: string;
+    originalContractSha256: string;
+    version: number;
+}>;
+export declare function proposeProjectTaskScope(root: string, projectId: string, expectedContractSha256: string, value: Record<string, unknown>): Promise<{
+    status: string;
+    requiresApproval: boolean;
+    contractSha256: string;
+    changes: {
+        details: {
+            id: string;
+            before: TaskRequirement | null;
+            after: TaskRequirement | null;
+        }[];
+        addedRequirementIds: string[];
+        changedRequirementIds: string[];
+        withdrawnRequirementIds: string[];
+    };
+    proposalSha256?: never;
+    parentContractSha256?: never;
+} | {
+    contractSha256?: never;
+    status: string;
+    requiresApproval: boolean;
+    proposalSha256: string;
+    parentContractSha256: string;
+    changes: {
+        details: {
+            id: string;
+            before: TaskRequirement | null;
+            after: TaskRequirement | null;
+        }[];
+        addedRequirementIds: string[];
+        changedRequirementIds: string[];
+        withdrawnRequirementIds: string[];
+    };
+}>;
+export declare function approveProjectTaskScope(root: string, projectId: string, proposalSha256: string, confirmation: string | undefined): Promise<{
+    replayed: boolean;
+} | {
+    projectId: string;
+    proposalSha256: string;
+    authorizationKind: string;
+    replayed: boolean;
+    contractSha256: string;
+    originalContractSha256: string;
+    version: number;
+}>;
+/** Materialize before a fork/addendum's existing commit; never copy completion claims. */
+export declare function inheritProjectTask(root: string, source: ProjectState, target: ProjectState): Promise<{
+    contractSha256: string;
+    originalContractSha256: string;
+    version: number;
+} | null>;
+export declare function taskContext(root: string, projectId: string, knownEvents?: JournalEvent[]): Promise<{
+    originalRequest: string;
+    requirements: TaskRequirement[];
+    originalRequirementRefs: {
+        id: string;
+        requirementSha256: string;
+    }[];
+    originalOnlyRequirements: TaskRequirement[];
+    origin: {
+        projectId: string;
+        contractSha256: string;
+    } | null;
+    executionCertified: boolean;
+    contractSha256: string;
+    originalContractSha256: string;
+    version: number;
+} | null>;
+export declare function writeTaskObject(root: string, projectId: string, group: string, hash: string, value: object): Promise<void>;
+export declare function readTaskObject<T>(root: string, projectId: string, group: string, hash: string, hashField: string): Promise<T>;
+export declare function validateTaskObject<T>(record: unknown, hash: string, hashField: string): T;
+export declare function taskDirectory(root: string, projectId: string, group: string, create: boolean): Promise<string>;
+export {};