@tiangong-ai/cli 0.0.60 → 0.0.62

package/dist/research/workspace/scientific-amendment.js

@@ -0,0 +1,537 @@
+import { Ajv2020 } from "ajv/dist/2020.js";
+import { lstat, mkdir, readFile } from "node:fs/promises";
+import { isAbsolute, join } from "node:path";
+import { CliError } from "../../errors.js";
+import { appendJournalEvent, readVerifiedJournal } from "./journal.js";
+import { assertProjectAuthority, projectAuthorityIndex } from "./project-authority.js";
+import { loadProject } from "./projects.js";
+import { assertResearchPolicyBinding } from "./research-policy.js";
+import { configuredResearchSecrets, sanitizeResearchValue } from "./sanitization.js";
+import { evaluateScientificDesign } from "./scientific-design.js";
+import { applyScientificFulfillmentRecord, loadScientificFulfillmentView, } from "./scientific-fulfillment.js";
+import { canonicalJson, isObject, pathExists, resolveContained, sha256Text, workspacePaths, writeTextAtomic, } from "./storage.js";
+import { beginProjectMutation, prepareProjectMutation, projectMutationBinding, settleProjectMutation, } from "./project-mutations.js";
+import { withWorkspaceLock } from "./workspace.js";
+const HASH = /^[a-f0-9]{64}$/;
+const PLAN_NEXT_ACTION = "Review the exact changes and their reason. Apply requires confirmation of this plan hash and its supplied authorization source; neither proves authenticated authorship or scientific approval.";
+/** An operation-local dependency index over the already verified design history. */
+export function scientificAmendmentImpact(records, design) {
+    const impact = { claims: new Map(), coverage: new Map() };
+    for (const [ordinal, record] of records.entries()) {
+        const binding = { sha256: record.recordSha256, ordinal };
+        const scope = amendmentChangeScope(record.plan.changes, design);
+        for (const id of scope.claims)
+            impact.claims.set(id, binding);
+        for (const id of scope.coverage)
+            impact.coverage.set(id, binding);
+    }
+    return impact;
+}
+function amendmentChangeScope(changes, design) {
+    const claims = new Set();
+    const coverage = new Set();
+    const roles = new Map(design.evidenceRoles.map((role) => [role.id, role.coverageDimensionIds]));
+    for (const change of changes)
+        for (const rule of [change.before, change.after]) {
+            for (const id of rule.claimIds)
+                claims.add(id);
+            for (const id of rule.evidenceRoleIds)
+                for (const dimension of roles.get(id) ?? [])
+                    coverage.add(dimension);
+        }
+    return { claims, coverage };
+}
+export function requirementAmendmentBinding(requirement, impact) {
+    let latest;
+    for (const binding of [
+        ...requirement.designClaimIds.map((id) => impact?.claims.get(id)),
+        ...requirement.coverageDimensionIds.map((id) => impact?.coverage.get(id)),
+    ])
+        if (binding && (!latest || binding.ordinal > latest.ordinal))
+            latest = binding;
+    return latest?.sha256 ?? null;
+}
+export async function loadScientificAmendmentImpact(root, project, events) {
+    if (!project.scientificDesign?.amendmentSha256 &&
+        !events.some((event) => event.scope === project.id && event.type === "scientific.amendment.recorded"))
+        return undefined;
+    const view = await loadScientificFulfillmentView(root, project, undefined, events);
+    return scientificAmendmentImpact(view.amendments, view.base);
+}
+const ids = {
+    type: "array",
+    uniqueItems: true,
+    maxItems: 128,
+    items: { type: "string", pattern: "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$" },
+};
+const inputSchema = {
+    type: "object",
+    additionalProperties: false,
+    required: ["schemaVersion", "reason", "changes"],
+    properties: {
+        schemaVersion: { const: 1 },
+        reason: { type: "string", minLength: 8, maxLength: 4000 },
+        changes: {
+            type: "array",
+            minItems: 1,
+            maxItems: 128,
+            items: {
+                type: "object",
+                additionalProperties: false,
+                required: [
+                    "ruleId",
+                    "dueGate",
+                    "rationale",
+                    "modelStructureIds",
+                    "uncertaintyParameterIds",
+                ],
+                properties: {
+                    ruleId: { type: "string", minLength: 1, maxLength: 128 },
+                    dueGate: {
+                        enum: ["research-design", "evidence-construct", "pilot-methods", "publication-freeze"],
+                    },
+                    rationale: { type: "string", minLength: 8, maxLength: 4000 },
+                    modelStructureIds: ids,
+                    uncertaintyParameterIds: ids,
+                },
+            },
+        },
+    },
+};
+const validate = new Ajv2020({ strict: false, allErrors: true }).compile(inputSchema);
+export function scientificAmendmentSchema() {
+    return structuredClone(inputSchema);
+}
+function invalid(message, code = "RESEARCH_SCIENTIFIC_AMENDMENT_INVALID") {
+    return new CliError(message, { code, exitCode: code.endsWith("INVALID") ? 2 : 3 });
+}
+/** Derive a reviewable proposal without changing frozen bytes or authority. */
+export async function planScientificAmendment(root, projectId, value) {
+    if (!validate(value) ||
+        canonicalJson(sanitizeResearchValue(value, configuredResearchSecrets(process.env))) !==
+            canonicalJson(value))
+        throw invalid("Amendment must match the closed, secret-free lifecycle/binding schema.");
+    const input = value;
+    if (input.reason.trim().length < 8 ||
+        input.changes.some((change) => change.rationale.trim().length < 8) ||
+        new Set(input.changes.map((change) => change.ruleId)).size !== input.changes.length)
+        throw invalid("Amendment requires a reason, substantive rationales and unique existing rules.");
+    const paths = workspacePaths(root);
+    const project = await loadProject(root, projectId);
+    const events = await readVerifiedJournal(paths.journal);
+    assertProjectAuthority(project, projectAuthorityIndex(events));
+    const analyze = project.packages.find((item) => item.stage === "analyze");
+    if (!project.scientificDesign ||
+        project.status === "complete" ||
+        project.handoff.state !== "agent-actionable" ||
+        !analyze ||
+        analyze.attempts > 0 ||
+        analyze.startedAt ||
+        !["ready", "pending"].includes(analyze.status) ||
+        (await pathExists(join(paths.projects, project.id, "native/active.json"))) ||
+        (await pathExists(join(paths.projects, project.id, "outputs/inference-snapshot.json"))))
+        throw invalid("Amend only an idle authoritative pre-analysis project. Resolve the active session or handoff; substantive or post-analysis changes require a reviewed successor.", "RESEARCH_SCIENTIFIC_AMENDMENT_UNAVAILABLE");
+    if (!project.publicationPolicy)
+        throw conflict();
+    await assertResearchPolicyBinding(root, project.publicationPolicy);
+    const view = await loadScientificFulfillmentView(root, project, undefined, events);
+    const effective = structuredClone(view.contract);
+    const declaredRules = new Set(project.publicationPolicy?.resolvedRules ?? []);
+    const models = new Set(effective.identity.modelStructures.map((model) => model.id));
+    const parameters = new Set(effective.uncertaintyParameters.map((parameter) => parameter.id));
+    const changes = input.changes.map((change) => {
+        const rule = effective.policyRuleDispositions.find((item) => item.ruleId === change.ruleId);
+        if (!rule ||
+            !declaredRules.has(change.ruleId) ||
+            rule.status !== "planned" ||
+            change.modelStructureIds.some((id) => !models.has(id)) ||
+            change.uncertaintyParameterIds.some((id) => !parameters.has(id)))
+            throw invalid("Amend only planned Policy rules and their existing declared model/parameter IDs.");
+        const before = structuredClone(rule);
+        Object.assign(rule, change);
+        const after = structuredClone(rule);
+        if (canonicalJson(before) === canonicalJson(after))
+            throw invalid("Each proposed rule amendment must change its lifecycle or bindings.");
+        return { ruleId: rule.ruleId, before, after };
+    });
+    const introducedIssues = evaluateScientificDesign(effective).issueCodes;
+    if (introducedIssues.length)
+        throw new CliError("Amendment introduces blocking scientific-design issues.", {
+            code: "RESEARCH_SCIENTIFIC_AMENDMENT_INVALID",
+            exitCode: 2,
+            details: { issueCodes: introducedIssues },
+        });
+    const { loadProjectTask } = await import("./task-contract.js");
+    const task = await loadProjectTask(root, projectId, events);
+    const scope = amendmentChangeScope(changes, view.base);
+    const affectedTaskRequirementIds = (task?.current.requirements ?? [])
+        .filter((requirement) => requirement.designClaimIds.some((id) => scope.claims.has(id)) ||
+        requirement.coverageDimensionIds.some((id) => scope.coverage.has(id)))
+        .map((requirement) => requirement.id)
+        .sort();
+    const core = {
+        schemaVersion: 1,
+        kind: "tiangong-scientific-amendment-plan",
+        projectId: project.id,
+        parentDesignSha256: project.scientificDesign.designSha256,
+        parentFulfillmentSha256: view.headSha256,
+        parentAmendmentSha256: project.scientificDesign.amendmentSha256 ?? null,
+        parentEffectiveDesignSha256: view.effectiveSha256,
+        parentProjectSha256: sha256Text(canonicalJson(project)),
+        reason: input.reason,
+        changes,
+        proposedEffectiveDesignSha256: sha256Text(canonicalJson(effective)),
+        invalidatedScientificRoles: ["research-design", "evidence-construct", "pilot-methods"],
+        affectedTaskRequirementIds,
+        preservedAcquisitionSnapshotSha256: project.evidenceState.currentSnapshotSha256,
+    };
+    return {
+        ...core,
+        planSha256: sha256Text(canonicalJson(core)),
+        nextAction: PLAN_NEXT_ACTION,
+    };
+}
+function conflict() {
+    return invalid("Amendment no longer matches its exact parent, authorized changes or immutable history. Inspect amendment status and prepare a new plan; do not edit frozen records.", "RESEARCH_SCIENTIFIC_AMENDMENT_CONFLICT");
+}
+function planInput(plan) {
+    return {
+        schemaVersion: 1,
+        reason: plan.reason,
+        changes: plan.changes.map(({ ruleId, after }) => ({
+            ruleId,
+            dueGate: after.dueGate,
+            rationale: after.rationale,
+            modelStructureIds: after.modelStructureIds,
+            uncertaintyParameterIds: after.uncertaintyParameterIds,
+        })),
+    };
+}
+function validatePlan(value) {
+    if (!isObject(value))
+        throw conflict();
+    const { planSha256, nextAction, ...core } = value;
+    if (Object.keys(value).sort().join(",") !==
+        "affectedTaskRequirementIds,changes,invalidatedScientificRoles,kind,nextAction,parentAmendmentSha256,parentDesignSha256,parentEffectiveDesignSha256,parentFulfillmentSha256,parentProjectSha256,planSha256,preservedAcquisitionSnapshotSha256,projectId,proposedEffectiveDesignSha256,reason,schemaVersion" ||
+        value.schemaVersion !== 1 ||
+        value.kind !== "tiangong-scientific-amendment-plan" ||
+        typeof value.projectId !== "string" ||
+        !/^[a-z0-9][a-z0-9-]{2,63}$/.test(value.projectId) ||
+        nextAction !== PLAN_NEXT_ACTION ||
+        planSha256 !== sha256Text(canonicalJson(core)) ||
+        [
+            value.parentDesignSha256,
+            value.parentEffectiveDesignSha256,
+            value.parentProjectSha256,
+            value.proposedEffectiveDesignSha256,
+        ].some((hash) => typeof hash !== "string" || !HASH.test(hash)) ||
+        [
+            value.parentAmendmentSha256,
+            value.parentFulfillmentSha256,
+            value.preservedAcquisitionSnapshotSha256,
+        ].some((hash) => hash !== null && (typeof hash !== "string" || !HASH.test(hash))) ||
+        canonicalJson(value.invalidatedScientificRoles) !==
+            canonicalJson(["research-design", "evidence-construct", "pilot-methods"]) ||
+        !Array.isArray(value.affectedTaskRequirementIds) ||
+        value.affectedTaskRequirementIds.some((id) => typeof id !== "string" || !/^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$/.test(id)) ||
+        new Set(value.affectedTaskRequirementIds).size !== value.affectedTaskRequirementIds.length ||
+        !Array.isArray(value.changes) ||
+        value.changes.some((change) => !isObject(change) ||
+            !isObject(change.before) ||
+            !isObject(change.after) ||
+            Object.keys(change).sort().join(",") !== "after,before,ruleId"))
+        throw conflict();
+    const plan = value;
+    if (!validate(planInput(plan)) ||
+        new Set(plan.changes.map((item) => item.ruleId)).size !== plan.changes.length)
+        throw conflict();
+    return plan;
+}
+export function scientificAmendmentLocator(projectId, hash) {
+    if (!/^[a-z0-9][a-z0-9-]{2,63}$/.test(projectId) || !HASH.test(hash))
+        throw conflict();
+    return `projects/${projectId}/scientific/amendments/${hash}.json`;
+}
+export function validateScientificAmendmentRecord(value, projectId, hash) {
+    if (!isObject(value) ||
+        Object.keys(value).sort().join(",") !==
+            "amendmentAuthorization,design,kind,plan,projectId,recordSha256,schemaVersion")
+        throw conflict();
+    const { recordSha256, ...core } = value;
+    if (value.schemaVersion !== 1 ||
+        value.kind !== "tiangong-scientific-amendment" ||
+        value.projectId !== projectId ||
+        recordSha256 !== hash ||
+        sha256Text(canonicalJson(core)) !== hash)
+        throw conflict();
+    const plan = validatePlan(value.plan);
+    const authorization = value.amendmentAuthorization;
+    const design = value.design;
+    if (plan.projectId !== projectId ||
+        !isObject(authorization) ||
+        !isObject(design) ||
+        Object.keys(authorization).sort().join(",") !==
+            "kind,planSha256,sourceBytes,sourceLocator,sourceSha256" ||
+        authorization.kind !== "operator-confirmation" ||
+        authorization.planSha256 !== plan.planSha256 ||
+        typeof authorization.sourceSha256 !== "string" ||
+        !HASH.test(authorization.sourceSha256) ||
+        authorization.sourceLocator !==
+            `projects/${projectId}/scientific/authorization/${authorization.sourceSha256}.txt` ||
+        !Number.isSafeInteger(authorization.sourceBytes) ||
+        Number(authorization.sourceBytes) < 8 ||
+        Number(authorization.sourceBytes) > 65536 ||
+        Object.keys(design).sort().join(",") !== "objectLocator,sha256" ||
+        typeof design.sha256 !== "string" ||
+        !HASH.test(design.sha256) ||
+        design.objectLocator !== `projects/${projectId}/scientific/design/objects/${design.sha256}.json`)
+        throw conflict();
+    return value;
+}
+/** Shared by the live loader and portable verifier; rule patches commute with slot fulfillment. */
+export function projectScientificAmendments(base, baseSha256, fulfillments, records) {
+    const design = structuredClone(base);
+    let parent = null;
+    for (const record of records) {
+        const plan = record.plan;
+        if (plan.parentAmendmentSha256 !== parent ||
+            plan.parentDesignSha256 !== baseSha256 ||
+            plan.projectId !== base.projectId)
+            throw conflict();
+        const prefix = plan.parentFulfillmentSha256 === null
+            ? 0
+            : fulfillments.findIndex((item) => item.recordSha256 === plan.parentFulfillmentSha256) + 1;
+        if (plan.parentFulfillmentSha256 !== null && prefix === 0)
+            throw conflict();
+        const previous = structuredClone(design);
+        for (const item of fulfillments.slice(0, prefix))
+            applyScientificFulfillmentRecord(previous, item);
+        if (sha256Text(canonicalJson(previous)) !== plan.parentEffectiveDesignSha256)
+            throw conflict();
+        const models = new Set(design.identity.modelStructures.map((item) => item.id));
+        const parameters = new Set(design.uncertaintyParameters.map((item) => item.id));
+        for (const change of plan.changes) {
+            const rule = design.policyRuleDispositions.find((item) => item.ruleId === change.ruleId);
+            if (!rule ||
+                rule.status !== "planned" ||
+                canonicalJson(rule) !== canonicalJson(change.before))
+                throw conflict();
+            const expected = { ...rule, ...planInput({ ...plan, changes: [change] }).changes[0] };
+            if (canonicalJson(expected) !== canonicalJson(change.after) ||
+                canonicalJson(rule) === canonicalJson(expected) ||
+                expected.modelStructureIds.some((id) => !models.has(id)) ||
+                expected.uncertaintyParameterIds.some((id) => !parameters.has(id)))
+                throw conflict();
+            Object.assign(rule, expected);
+        }
+        const effective = structuredClone(design);
+        for (const item of fulfillments.slice(0, prefix))
+            applyScientificFulfillmentRecord(effective, item);
+        if (sha256Text(canonicalJson(design)) !== record.design.sha256 ||
+            sha256Text(canonicalJson(effective)) !== plan.proposedEffectiveDesignSha256 ||
+            evaluateScientificDesign(effective).issueCodes.length)
+            throw conflict();
+        parent = record.recordSha256;
+    }
+    return design;
+}
+async function controlledPath(root, locator, create = false) {
+    const destination = resolveContained(workspacePaths(root).control, locator);
+    let directory = workspacePaths(root).control;
+    for (const part of locator.split("/").slice(0, -1)) {
+        directory = join(directory, part);
+        if (create && !(await pathExists(directory)))
+            await mkdir(directory, { mode: 0o700 });
+        const info = await lstat(directory).catch(() => null);
+        if (!info?.isDirectory() || info.isSymbolicLink())
+            throw conflict();
+    }
+    return destination;
+}
+async function readImmutable(root, locator, maxBytes = 16 * 1024 * 1024) {
+    const path = await controlledPath(root, locator);
+    const info = await lstat(path).catch(() => null);
+    if (!info?.isFile() || info.isSymbolicLink() || info.size > maxBytes)
+        throw conflict();
+    const bytes = await readFile(path);
+    if (bytes.length > maxBytes)
+        throw conflict();
+    try {
+        return new TextDecoder("utf-8", { fatal: true, ignoreBOM: true }).decode(bytes);
+    }
+    catch {
+        throw conflict();
+    }
+}
+async function writeImmutable(root, locator, text) {
+    const path = await controlledPath(root, locator, true);
+    const existing = await lstat(path).catch((error) => {
+        if (error.code === "ENOENT")
+            return null;
+        throw conflict();
+    });
+    if (existing) {
+        if (!existing.isFile() || existing.isSymbolicLink())
+            throw conflict();
+        if ((await readImmutable(root, locator)) !== text)
+            throw conflict();
+        return;
+    }
+    await writeTextAtomic(path, text, 0o444);
+}
+export async function loadScientificAmendments(root, project, events) {
+    const entries = events.filter((event) => event.scope === project.id && event.type === "scientific.amendment.recorded");
+    if ((entries.at(-1)?.payload.recordSha256 ?? null) !==
+        (project.scientificDesign?.amendmentSha256 ?? null))
+        throw conflict();
+    const records = [];
+    for (const event of entries) {
+        const hash = String(event.payload.recordSha256);
+        let value;
+        try {
+            value = JSON.parse(await readImmutable(root, scientificAmendmentLocator(project.id, hash)));
+        }
+        catch {
+            throw conflict();
+        }
+        const record = validateScientificAmendmentRecord(value, project.id, hash);
+        if (event.payload.planSha256 !== record.plan.planSha256 ||
+            !isObject(event.payload.mutation) ||
+            event.payload.mutation.requestSha256 !== hash ||
+            event.payload.parentAmendmentSha256 !== record.plan.parentAmendmentSha256)
+            throw conflict();
+        const source = await readImmutable(root, record.amendmentAuthorization.sourceLocator, 65536);
+        if (sha256Text(source) !== record.amendmentAuthorization.sourceSha256 ||
+            Buffer.byteLength(source) !== record.amendmentAuthorization.sourceBytes)
+            throw conflict();
+        const version = await readImmutable(root, record.design.objectLocator);
+        if (sha256Text(version) !== record.design.sha256)
+            throw conflict();
+        records.push(record);
+    }
+    return records;
+}
+export async function applyScientificAmendment(root, projectId, value, confirmation, sourcePath) {
+    const plan = validatePlan(value);
+    if (confirmation !== plan.planSha256 || !sourcePath || !isAbsolute(sourcePath))
+        throw invalid("Apply requires --confirm with the exact reviewed plan hash and an absolute --authorization-source file.");
+    const info = await lstat(sourcePath).catch(() => null);
+    if (!info?.isFile() || info.isSymbolicLink() || info.size > 65536)
+        throw invalid("Authorization source must be a bounded regular UTF-8 file.");
+    const bytes = await readFile(sourcePath);
+    let source;
+    try {
+        source = new TextDecoder("utf-8", { fatal: true, ignoreBOM: true }).decode(bytes);
+    }
+    catch {
+        throw invalid("Authorization source must be UTF-8 text.");
+    }
+    if (bytes.length > 65536 ||
+        source.trim().length < 8 ||
+        sanitizeResearchValue(source, configuredResearchSecrets(process.env)) !== source)
+        throw invalid("Authorization source must contain bounded, non-secret confirmation text.");
+    const sourceSha256 = sha256Text(source);
+    return withWorkspaceLock(root, "research.scientific.amendment", async () => {
+        const project = await loadProject(root, projectId);
+        const events = await readVerifiedJournal(workspacePaths(root).journal);
+        assertProjectAuthority(project, projectAuthorityIndex(events));
+        const view = await loadScientificFulfillmentView(root, project, undefined, events);
+        const replay = view.amendments.find((record) => record.plan.planSha256 === plan.planSha256);
+        if (replay) {
+            if (canonicalJson(replay.plan) !== canonicalJson(plan) ||
+                replay.amendmentAuthorization.sourceSha256 !== sourceSha256)
+                throw conflict();
+            return replay;
+        }
+        if (plan.projectId !== projectId ||
+            canonicalJson(await planScientificAmendment(root, projectId, planInput(plan))) !==
+                canonicalJson(plan))
+            throw conflict();
+        const design = structuredClone(view.amendedBase);
+        for (const change of plan.changes)
+            Object.assign(design.policyRuleDispositions.find((rule) => rule.ruleId === change.ruleId), change.after);
+        const designText = canonicalJson(design);
+        const designSha256 = sha256Text(designText);
+        const core = {
+            schemaVersion: 1,
+            kind: "tiangong-scientific-amendment",
+            projectId,
+            plan,
+            amendmentAuthorization: {
+                kind: "operator-confirmation",
+                planSha256: plan.planSha256,
+                sourceSha256,
+                sourceLocator: `projects/${projectId}/scientific/authorization/${sourceSha256}.txt`,
+                sourceBytes: Buffer.byteLength(source),
+            },
+            design: {
+                sha256: designSha256,
+                objectLocator: `projects/${projectId}/scientific/design/objects/${designSha256}.json`,
+            },
+        };
+        const record = {
+            ...core,
+            recordSha256: sha256Text(canonicalJson(core)),
+        };
+        await writeImmutable(root, record.amendmentAuthorization.sourceLocator, source);
+        await writeImmutable(root, record.design.objectLocator, designText);
+        await writeImmutable(root, scientificAmendmentLocator(projectId, record.recordSha256), canonicalJson(record));
+        let mutation = await beginProjectMutation(root, "scientific-amendment", project, record.recordSha256);
+        try {
+            project.scientificDesign.amendmentSha256 = record.recordSha256;
+            for (const role of ["research-design", "evidence-construct", "pilot-methods"])
+                project.scientificDesign.gates[role] = {
+                    status: "pending",
+                    packetSha256: null,
+                    assessmentSha256: null,
+                    reviewSha256: null,
+                    reviewerSessionSha256: null,
+                };
+            project.updatedAt = new Date().toISOString();
+            mutation = await prepareProjectMutation(root, mutation, project);
+            await appendJournalEvent(workspacePaths(root).journal, "scientific.amendment.recorded", projectId, {
+                projectId,
+                recordSha256: record.recordSha256,
+                planSha256: plan.planSha256,
+                parentAmendmentSha256: plan.parentAmendmentSha256,
+                mutation: projectMutationBinding(mutation),
+            });
+            await settleProjectMutation(root, mutation);
+        }
+        catch (error) {
+            await settleProjectMutation(root, mutation);
+            throw error;
+        }
+        return record;
+    });
+}
+export async function inspectScientificAmendment(root, projectId) {
+    const project = await loadProject(root, projectId);
+    const view = await loadScientificFulfillmentView(root, project);
+    return {
+        projectId,
+        amendmentSha256: project.scientificDesign?.amendmentSha256 ?? null,
+        originalDesignSha256: project.scientificDesign?.designSha256,
+        effectiveDesignSha256: view.effectiveSha256,
+        plannedRules: view.contract.policyRuleDispositions
+            .filter((rule) => rule.status === "planned")
+            .map(({ ruleId, dueGate, rationale, modelStructureIds, uncertaintyParameterIds }) => ({
+            ruleId,
+            dueGate,
+            rationale,
+            modelStructureIds,
+            uncertaintyParameterIds,
+        })),
+        records: view.amendments.map((record) => ({
+            recordSha256: record.recordSha256,
+            planSha256: record.plan.planSha256,
+            parentAmendmentSha256: record.plan.parentAmendmentSha256,
+            design: record.design,
+            reason: record.plan.reason,
+            affectedTaskRequirementIds: record.plan.affectedTaskRequirementIds,
+        })),
+        gates: project.scientificDesign?.gates,
+        nextAction: "Complete the pending scientific gates for this design version. Reuse still-bound acquisition artifacts and typed evidence; authorization is not scientific approval.",
+    };
+}
+//# sourceMappingURL=scientific-amendment.js.map

package/dist/research/workspace/scientific-amendment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scientific-amendment.js","sourceRoot":"","sources":["../../../src/research/workspace/scientific-amendment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAE7C,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACvE,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACvF,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,EAAE,wBAAwB,EAAiC,MAAM,wBAAwB,CAAC;AACjG,OAAO,EACL,gCAAgC,EAChC,6BAA6B,GAE9B,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,aAAa,EACb,QAAQ,EACR,UAAU,EACV,gBAAgB,EAChB,UAAU,EACV,cAAc,EACd,eAAe,GAChB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,GACtB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAWnD,MAAM,IAAI,GAAG,gBAAgB,CAAC;AAC9B,MAAM,gBAAgB,GACpB,iMAAiM,CAAC;AAuCpM,oFAAoF;AACpF,MAAM,UAAU,yBAAyB,CACvC,OAAoC,EACpC,MAAgC;IAEhC,MAAM,MAAM,GAA8B,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IACrF,KAAK,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAClD,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,OAAO,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAChE,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,MAAM;YAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAC9D,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ;YAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAA2C,EAC3C,MAAgC;IAEhC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC;IAChG,KAAK,MAAM,MAAM,IAAI,OAAO;QAC1B,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC/C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,eAAe;gBACnC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE;oBAAE,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACzE,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,WAAyE,EACzE,MAAkC;IAElC,IAAI,MAAuD,CAAC;IAC5D,KAAK,MAAM,OAAO,IAAI;QACpB,GAAG,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjE,GAAG,WAAW,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;KAC1E;QACC,IAAI,OAAO,IAAI,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;YAAE,MAAM,GAAG,OAAO,CAAC;IACjF,OAAO,MAAM,EAAE,MAAM,IAAI,IAAI,CAAC;AAChC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,IAAY,EACZ,OAAqB,EACrB,MAAsB;IAEtB,IACE,CAAC,OAAO,CAAC,gBAAgB,EAAE,eAAe;QAC1C,CAAC,MAAM,CAAC,IAAI,CACV,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,OAAO,CAAC,EAAE,IAAI,KAAK,CAAC,IAAI,KAAK,+BAA+B,CACxF;QAED,OAAO,SAAS,CAAC;IACnB,MAAM,IAAI,GAAG,MAAM,6BAA6B,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACnF,OAAO,yBAAyB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/D,CAAC;AACD,MAAM,GAAG,GAAG;IACV,IAAI,EAAE,OAAO;IACb,WAAW,EAAE,IAAI;IACjB,QAAQ,EAAE,GAAG;IACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qCAAqC,EAAE;CAC1E,CAAC;AACF,MAAM,WAAW,GAAG;IAClB,IAAI,EAAE,QAAQ;IACd,oBAAoB,EAAE,KAAK;IAC3B,QAAQ,EAAE,CAAC,eAAe,EAAE,QAAQ,EAAE,SAAS,CAAC;IAChD,UAAU,EAAE;QACV,aAAa,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE;QAC3B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE;QACzD,OAAO,EAAE;YACP,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,CAAC;YACX,QAAQ,EAAE,GAAG;YACb,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,oBAAoB,EAAE,KAAK;gBAC3B,QAAQ,EAAE;oBACR,QAAQ;oBACR,SAAS;oBACT,WAAW;oBACX,mBAAmB;oBACnB,yBAAyB;iBAC1B;gBACD,UAAU,EAAE;oBACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE;oBACxD,OAAO,EAAE;wBACP,IAAI,EAAE,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,eAAe,EAAE,oBAAoB,CAAC;qBACvF;oBACD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE;oBAC5D,iBAAiB,EAAE,GAAG;oBACtB,uBAAuB,EAAE,GAAG;iBAC7B;aACF;SACF;KACF;CACF,CAAC;AACF,MAAM,QAAQ,GAAG,IAAI,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CACtE,WAAW,CACZ,CAAC;AAEF,MAAM,UAAU,yBAAyB;IACvC,OAAO,eAAe,CAAC,WAAW,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,OAAO,CAAC,OAAe,EAAE,IAAI,GAAG,uCAAuC;IAC9E,OAAO,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACrF,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAY,EACZ,SAAiB,EACjB,KAAc;IAEd,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,wEAAwE,CAAC,CAAC;IAC1F,MAAM,KAAK,GAAG,KAAuB,CAAC;IACtC,IACE,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAC9B,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;QAClE,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM;QAEnF,MAAM,OAAO,CAAC,gFAAgF,CAAC,CAAC;IAClG,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACxD,sBAAsB,CAAC,OAAO,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IAC1E,IACE,CAAC,OAAO,CAAC,gBAAgB;QACzB,OAAO,CAAC,MAAM,KAAK,UAAU;QAC7B,OAAO,CAAC,OAAO,CAAC,KAAK,KAAK,kBAAkB;QAC5C,CAAC,OAAO;QACR,OAAO,CAAC,QAAQ,GAAG,CAAC;QACpB,OAAO,CAAC,SAAS;QACjB,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;QAC9C,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;QAC1E,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EAAE,iCAAiC,CAAC,CAAC,CAAC;QAEvF,MAAM,OAAO,CACX,kKAAkK,EAClK,2CAA2C,CAC5C,CAAC;IACJ,IAAI,CAAC,OAAO,CAAC,iBAAiB;QAAE,MAAM,QAAQ,EAAE,CAAC;IACjD,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,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,iBAAiB,EAAE,aAAa,IAAI,EAAE,CAAC,CAAC;IAC9E,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACpF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7F,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QAC3C,MAAM,IAAI,GAAG,SAAS,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5F,IACE,CAAC,IAAI;YACL,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;YACjC,IAAI,CAAC,MAAM,KAAK,SAAS;YACzB,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACtD,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAEhE,MAAM,OAAO,CACX,kFAAkF,CACnF,CAAC;QACJ,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,aAAa,CAAC,MAAM,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC;YAChD,MAAM,OAAO,CAAC,qEAAqE,CAAC,CAAC;QACvF,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAChD,CAAC,CAAC,CAAC;IACH,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC;IACxE,IAAI,gBAAgB,CAAC,MAAM;QACzB,MAAM,IAAI,QAAQ,CAAC,yDAAyD,EAAE;YAC5E,IAAI,EAAE,uCAAuC;YAC7C,QAAQ,EAAE,CAAC;YACX,OAAO,EAAE,EAAE,UAAU,EAAE,gBAAgB,EAAE;SAC1C,CAAC,CAAC;IACL,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,MAAM,CAAC,oBAAoB,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,0BAA0B,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;SAClE,MAAM,CACL,CAAC,WAAW,EAAE,EAAE,CACd,WAAW,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7D,WAAW,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CACxE;SACA,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;SACpC,IAAI,EAAE,CAAC;IACV,MAAM,IAAI,GAAG;QACX,aAAa,EAAE,CAAU;QACzB,IAAI,EAAE,oCAA6C;QACnD,SAAS,EAAE,OAAO,CAAC,EAAE;QACrB,kBAAkB,EAAE,OAAO,CAAC,gBAAgB,CAAC,YAAY;QACzD,uBAAuB,EAAE,IAAI,CAAC,UAAU;QACxC,qBAAqB,EAAE,OAAO,CAAC,gBAAgB,CAAC,eAAe,IAAI,IAAI;QACvE,2BAA2B,EAAE,IAAI,CAAC,eAAe;QACjD,mBAAmB,EAAE,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QACvD,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO;QACP,6BAA6B,EAAE,UAAU,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QACnE,0BAA0B,EAAE,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,eAAe,CAAC;QACtF,0BAA0B;QAC1B,kCAAkC,EAAE,OAAO,CAAC,aAAa,CAAC,qBAAqB;KAChF,CAAC;IACF,OAAO;QACL,GAAG,IAAI;QACP,UAAU,EAAE,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC3C,UAAU,EAAE,gBAAgB;KAC7B,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ;IACf,OAAO,OAAO,CACZ,qKAAqK,EACrK,wCAAwC,CACzC,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,IAA6B;IAC9C,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YAChD,MAAM;YACN,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;YAC1C,uBAAuB,EAAE,KAAK,CAAC,uBAAuB;SACvD,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,QAAQ,EAAE,CAAC;IACvC,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;IAClD,IACE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;QACjC,2SAA2S;QAC7S,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,IAAI,KAAK,oCAAoC;QACnD,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;QACnC,CAAC,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;QAClD,UAAU,KAAK,gBAAgB;QAC/B,UAAU,KAAK,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC9C;YACE,KAAK,CAAC,kBAAkB;YACxB,KAAK,CAAC,2BAA2B;YACjC,KAAK,CAAC,mBAAmB;YACzB,KAAK,CAAC,6BAA6B;SACpC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D;YACE,KAAK,CAAC,qBAAqB;YAC3B,KAAK,CAAC,uBAAuB;YAC7B,KAAK,CAAC,kCAAkC;SACzC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACjF,aAAa,CAAC,KAAK,CAAC,0BAA0B,CAAC;YAC7C,aAAa,CAAC,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,eAAe,CAAC,CAAC;QAC3E,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,0BAA0B,CAAC;QAChD,KAAK,CAAC,0BAA0B,CAAC,IAAI,CACnC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,qCAAqC,CAAC,IAAI,CAAC,EAAE,CAAC,CAClF;QACD,IAAI,GAAG,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,0BAA0B,CAAC,MAAM;QAC1F,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;QAC7B,KAAK,CAAC,OAAO,CAAC,IAAI,CAChB,CAAC,MAAM,EAAE,EAAE,CACT,CAAC,QAAQ,CAAC,MAAM,CAAC;YACjB,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;YACxB,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,qBAAqB,CACjE;QAED,MAAM,QAAQ,EAAE,CAAC;IACnB,MAAM,IAAI,GAAG,KAA2C,CAAC;IACzD,IACE,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM;QAE7E,MAAM,QAAQ,EAAE,CAAC;IACnB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,SAAiB,EAAE,IAAY;IACxE,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,MAAM,QAAQ,EAAE,CAAC;IACvF,OAAO,YAAY,SAAS,0BAA0B,IAAI,OAAO,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,KAAc,EACd,SAAiB,EACjB,IAAY;IAEZ,IACE,CAAC,QAAQ,CAAC,KAAK,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;YACjC,8EAA8E;QAEhF,MAAM,QAAQ,EAAE,CAAC;IACnB,MAAM,EAAE,YAAY,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;IACxC,IACE,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,IAAI,KAAK,+BAA+B;QAC9C,KAAK,CAAC,SAAS,KAAK,SAAS;QAC7B,YAAY,KAAK,IAAI;QACrB,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI;QAExC,MAAM,QAAQ,EAAE,CAAC;IACnB,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,aAAa,GAAG,KAAK,CAAC,sBAAsB,CAAC;IACnD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IACE,IAAI,CAAC,SAAS,KAAK,SAAS;QAC5B,CAAC,QAAQ,CAAC,aAAa,CAAC;QACxB,CAAC,QAAQ,CAAC,MAAM,CAAC;QACjB,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;YACzC,wDAAwD;QAC1D,aAAa,CAAC,IAAI,KAAK,uBAAuB;QAC9C,aAAa,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU;QAC5C,OAAO,aAAa,CAAC,YAAY,KAAK,QAAQ;QAC9C,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC;QACtC,aAAa,CAAC,aAAa;YACzB,YAAY,SAAS,6BAA6B,aAAa,CAAC,YAAY,MAAM;QACpF,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,WAAW,CAAC;QAChD,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC;QACrC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,GAAG,KAAK;QACzC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,sBAAsB;QAC/D,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ;QACjC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QACzB,MAAM,CAAC,aAAa,KAAK,YAAY,SAAS,8BAA8B,MAAM,CAAC,MAAM,OAAO;QAEhG,MAAM,QAAQ,EAAE,CAAC;IACnB,OAAO,KAA6C,CAAC;AACvD,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,2BAA2B,CACzC,IAA8B,EAC9B,UAAkB,EAClB,YAA2C,EAC3C,OAAoC;IAEpC,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACzB,IACE,IAAI,CAAC,qBAAqB,KAAK,MAAM;YACrC,IAAI,CAAC,kBAAkB,KAAK,UAAU;YACtC,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS;YAEjC,MAAM,QAAQ,EAAE,CAAC;QACnB,MAAM,MAAM,GACV,IAAI,CAAC,uBAAuB,KAAK,IAAI;YACnC,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC;QAC/F,IAAI,IAAI,CAAC,uBAAuB,KAAK,IAAI,IAAI,MAAM,KAAK,CAAC;YAAE,MAAM,QAAQ,EAAE,CAAC;QAC5E,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACzC,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC;YAC9C,gCAAgC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACnD,IAAI,UAAU,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,KAAK,IAAI,CAAC,2BAA2B;YAAE,MAAM,QAAQ,EAAE,CAAC;QAC/F,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAChF,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,MAAM,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC;YACzF,IACE,CAAC,IAAI;gBACL,IAAI,CAAC,MAAM,KAAK,SAAS;gBACzB,aAAa,CAAC,IAAI,CAAC,KAAK,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC;gBAEpD,MAAM,QAAQ,EAAE,CAAC;YACnB,MAAM,QAAQ,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,SAAS,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACtF,IACE,aAAa,CAAC,QAAQ,CAAC,KAAK,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC;gBACvD,aAAa,CAAC,IAAI,CAAC,KAAK,aAAa,CAAC,QAAQ,CAAC;gBAC/C,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACxD,QAAQ,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAElE,MAAM,QAAQ,EAAE,CAAC;YACnB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAChC,CAAC;QACD,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC;YAC9C,gCAAgC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACpD,IACE,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM;YAC1D,UAAU,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,KAAK,IAAI,CAAC,6BAA6B;YAC3E,wBAAwB,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,MAAM;YAErD,MAAM,QAAQ,EAAE,CAAC;QACnB,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC;IAC/B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,IAAY,EAAE,OAAe,EAAE,MAAM,GAAG,KAAK;IACzE,MAAM,WAAW,GAAG,gBAAgB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5E,IAAI,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QAClC,IAAI,MAAM,IAAI,CAAC,CAAC,MAAM,UAAU,CAAC,SAAS,CAAC,CAAC;YAAE,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACtF,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,IAAI,CAAC,cAAc,EAAE;YAAE,MAAM,QAAQ,EAAE,CAAC;IACtE,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,KAAK,UAAU,aAAa,CAC1B,IAAY,EACZ,OAAe,EACf,QAAQ,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI;IAE3B,MAAM,IAAI,GAAG,MAAM,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,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,QAAQ;QAAE,MAAM,QAAQ,EAAE,CAAC;IACvF,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,KAAK,CAAC,MAAM,GAAG,QAAQ;QAAE,MAAM,QAAQ,EAAE,CAAC;IAC9C,IAAI,CAAC;QACH,OAAO,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAClF,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,QAAQ,EAAE,CAAC;IACnB,CAAC;AACH,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,IAAY,EAAE,OAAe,EAAE,IAAY;IACvE,MAAM,IAAI,GAAG,MAAM,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,KAA4B,EAAE,EAAE;QACxE,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACzC,MAAM,QAAQ,EAAE,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,QAAQ,CAAC,cAAc,EAAE;YAAE,MAAM,QAAQ,EAAE,CAAC;QACtE,IAAI,CAAC,MAAM,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,KAAK,IAAI;YAAE,MAAM,QAAQ,EAAE,CAAC;QACpE,OAAO;IACT,CAAC;IACD,MAAM,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,IAAY,EACZ,OAAqB,EACrB,MAAsB;IAEtB,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAC3B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,OAAO,CAAC,EAAE,IAAI,KAAK,CAAC,IAAI,KAAK,+BAA+B,CACxF,CAAC;IACF,IACE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,YAAY,IAAI,IAAI,CAAC;QAC9C,CAAC,OAAO,CAAC,gBAAgB,EAAE,eAAe,IAAI,IAAI,CAAC;QAEnD,MAAM,QAAQ,EAAE,CAAC;IACnB,MAAM,OAAO,GAAgC,EAAE,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAChD,IAAI,KAAc,CAAC;QACnB,IAAI,CAAC;YACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,aAAa,CAAC,IAAI,EAAE,0BAA0B,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9F,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,QAAQ,EAAE,CAAC;QACnB,CAAC;QACD,MAAM,MAAM,GAAG,iCAAiC,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1E,IACE,KAAK,CAAC,OAAO,CAAC,UAAU,KAAK,MAAM,CAAC,IAAI,CAAC,UAAU;YACnD,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YACjC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,KAAK,IAAI;YAC7C,KAAK,CAAC,OAAO,CAAC,qBAAqB,KAAK,MAAM,CAAC,IAAI,CAAC,qBAAqB;YAEzE,MAAM,QAAQ,EAAE,CAAC;QACnB,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,sBAAsB,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;QAC7F,IACE,UAAU,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,sBAAsB,CAAC,YAAY;YACjE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,sBAAsB,CAAC,WAAW;YAEvE,MAAM,QAAQ,EAAE,CAAC;QACnB,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;QACvE,IAAI,UAAU,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM;YAAE,MAAM,QAAQ,EAAE,CAAC;QACnE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,IAAY,EACZ,SAAiB,EACjB,KAAc,EACd,YAAgC,EAChC,UAA8B;IAE9B,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,YAAY,KAAK,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAC5E,MAAM,OAAO,CACX,yGAAyG,CAC1G,CAAC;IACJ,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,IAAI,CAAC,cAAc,EAAE,IAAI,IAAI,CAAC,IAAI,GAAG,KAAK;QAC/D,MAAM,OAAO,CAAC,4DAA4D,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpF,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,OAAO,CAAC,0CAA0C,CAAC,CAAC;IAC5D,CAAC;IACD,IACE,KAAK,CAAC,MAAM,GAAG,KAAK;QACpB,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QACxB,qBAAqB,CAAC,MAAM,EAAE,yBAAyB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,MAAM;QAEhF,MAAM,OAAO,CAAC,0EAA0E,CAAC,CAAC;IAC5F,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IACxC,OAAO,iBAAiB,CAAC,IAAI,EAAE,+BAA+B,EAAE,KAAK,IAAI,EAAE;QACzE,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,IAAI,GAAG,MAAM,6BAA6B,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACnF,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5F,IAAI,MAAM,EAAE,CAAC;YACX,IACE,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC;gBAClD,MAAM,CAAC,sBAAsB,CAAC,YAAY,KAAK,YAAY;gBAE3D,MAAM,QAAQ,EAAE,CAAC;YACnB,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IACE,IAAI,CAAC,SAAS,KAAK,SAAS;YAC5B,aAAa,CAAC,MAAM,uBAAuB,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5E,aAAa,CAAC,IAAI,CAAC;YAErB,MAAM,QAAQ,EAAE,CAAC;QACnB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO;YAC/B,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAE,EAC5E,MAAM,CAAC,KAAK,CACb,CAAC;QACJ,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,YAAY,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG;YACX,aAAa,EAAE,CAAU;YACzB,IAAI,EAAE,+BAAwC;YAC9C,SAAS;YACT,IAAI;YACJ,sBAAsB,EAAE;gBACtB,IAAI,EAAE,uBAAgC;gBACtC,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,YAAY;gBACZ,aAAa,EAAE,YAAY,SAAS,6BAA6B,YAAY,MAAM;gBACnF,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC;aACvC;YACD,MAAM,EAAE;gBACN,MAAM,EAAE,YAAY;gBACpB,aAAa,EAAE,YAAY,SAAS,8BAA8B,YAAY,OAAO;aACtF;SACF,CAAC;QACF,MAAM,MAAM,GAA8B;YACxC,GAAG,IAAI;YACP,YAAY,EAAE,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;SAC9C,CAAC;QACF,MAAM,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,sBAAsB,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QAChF,MAAM,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;QACpE,MAAM,cAAc,CAClB,IAAI,EACJ,0BAA0B,CAAC,SAAS,EAAE,MAAM,CAAC,YAAY,CAAC,EAC1D,aAAa,CAAC,MAAM,CAAC,CACtB,CAAC;QACF,IAAI,QAAQ,GAAG,MAAM,oBAAoB,CACvC,IAAI,EACJ,sBAAsB,EACtB,OAAO,EACP,MAAM,CAAC,YAAY,CACpB,CAAC;QACF,IAAI,CAAC;YACH,OAAO,CAAC,gBAAiB,CAAC,eAAe,GAAG,MAAM,CAAC,YAAY,CAAC;YAChE,KAAK,MAAM,IAAI,IAAI,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,eAAe,CAAU;gBACpF,OAAO,CAAC,gBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG;oBACtC,MAAM,EAAE,SAAS;oBACjB,YAAY,EAAE,IAAI;oBAClB,gBAAgB,EAAE,IAAI;oBACtB,YAAY,EAAE,IAAI;oBAClB,qBAAqB,EAAE,IAAI;iBAC5B,CAAC;YACJ,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,+BAA+B,EAC/B,SAAS,EACT;gBACE,SAAS;gBACT,YAAY,EAAE,MAAM,CAAC,YAAY;gBACjC,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,qBAAqB,EAAE,IAAI,CAAC,qBAAqB;gBACjD,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;AAED,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAAC,IAAY,EAAE,SAAiB;IAC9E,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,MAAM,6BAA6B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChE,OAAO;QACL,SAAS;QACT,eAAe,EAAE,OAAO,CAAC,gBAAgB,EAAE,eAAe,IAAI,IAAI;QAClE,oBAAoB,EAAE,OAAO,CAAC,gBAAgB,EAAE,YAAY;QAC5D,qBAAqB,EAAE,IAAI,CAAC,eAAe;QAC3C,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,sBAAsB;aAC/C,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;aAC3C,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,EAAE,EAAE,CAAC,CAAC;YACpF,MAAM;YACN,OAAO;YACP,SAAS;YACT,iBAAiB;YACjB,uBAAuB;SACxB,CAAC,CAAC;QACL,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACxC,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU;YAClC,qBAAqB,EAAE,MAAM,CAAC,IAAI,CAAC,qBAAqB;YACxD,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM;YAC1B,0BAA0B,EAAE,MAAM,CAAC,IAAI,CAAC,0BAA0B;SACnE,CAAC,CAAC;QACH,KAAK,EAAE,OAAO,CAAC,gBAAgB,EAAE,KAAK;QACtC,UAAU,EACR,sKAAsK;KACzK,CAAC;AACJ,CAAC"}

package/dist/research/workspace/scientific-design.js

@@ -237,7 +237,6 @@ export function scientificDesignSchema() {
                                                 pattern: "^lineage/objects/[a-f0-9]{64}/blob$",
                                             },
                                             implementationEntrypoint: nonEmptyString,
-                                            implementationFreezeBeforeGate: { const: "research-design" },
                                         },
                                     },
                                     else: {
@@ -266,7 +265,6 @@ export function scientificDesignSchema() {
                                                 type: "string",
                                                 pattern: "^lineage/objects/[a-f0-9]{64}/blob$",
                                             },
-                                            environmentLockFreezeBeforeGate: { const: "research-design" },
                                         },
                                     },
                                     else: {
@@ -1316,16 +1314,12 @@ export function evaluateScientificDesign(design) {
     if (modelsWithoutRetrievableObjects.length) {
         add("MODEL_ARTIFACT_OBJECT_UNBOUND", "Every frozen model implementation and environment lock must bind a safe retrievable object locator whose digest is explicitly defined over raw file bytes.", modelsWithoutRetrievableObjects.map((model) => model.id));
     }
-    const invalidModelFreezePlans = design.identity.modelStructures.filter((model) => (model.implementationStatus === "executable-frozen" &&
-        model.implementationFreezeBeforeGate !== "research-design") ||
-        (model.implementationStatus === "pending-source-acquisition" &&
-            model.implementationFreezeBeforeGate === "research-design") ||
-        (model.environmentLockStatus === "exact-frozen" &&
-            model.environmentLockFreezeBeforeGate !== "research-design") ||
+    const invalidModelFreezePlans = design.identity.modelStructures.filter((model) => (model.implementationStatus === "pending-source-acquisition" &&
+        model.implementationFreezeBeforeGate === "research-design") ||
         (model.environmentLockStatus === "pending-runtime-lock" &&
             model.environmentLockFreezeBeforeGate === "research-design"));
     if (invalidModelFreezePlans.length) {
-        add("MODEL_FREEZE_PLAN_INVALID", "Frozen model implementations and environment locks must be frozen at research design; pending model objects must declare a later early-review gate before which a new authoritative generation will freeze them.", invalidModelFreezePlans.map((model) => model.id));
+        add("MODEL_FREEZE_PLAN_INVALID", "Pending model objects must declare a later early-review deadline; registered objects may already be frozen before that deadline.", invalidModelFreezePlans.map((model) => model.id));
     }
     const modelFreezePolicyBindingsMissing = design.identity.modelStructures.filter((model) => {
         const pendingGates = [
@@ -1606,12 +1600,10 @@ export function evaluateScientificDesign(design) {
     if (incompleteFactorCompositions.length) {
         add("FACTOR_UNCERTAINTY_COMPOSITION_UNDECLARED", "An uncertainty parameter that acts on a frozen factor must declare where and how it composes with factor levels and must preserve each level's identity.", incompleteFactorCompositions.map((parameter) => parameter.id));
     }
-    const invalidStateFreezePlans = design.uncertaintyParameters.filter((parameter) => (parameter.stateValueStatus === "frozen" &&
-        parameter.freezeBeforeGate !== "research-design") ||
-        (parameter.stateValueStatus === "pending-source-acquisition" &&
-            parameter.freezeBeforeGate === "research-design"));
+    const invalidStateFreezePlans = design.uncertaintyParameters.filter((parameter) => parameter.stateValueStatus === "pending-source-acquisition" &&
+        parameter.freezeBeforeGate === "research-design");
     if (invalidStateFreezePlans.length) {
-        add("UNCERTAINTY_STATE_FREEZE_PLAN_INVALID", "Frozen uncertainty states must be frozen at research design; pending source-derived states must name a later early-review gate before which their exact values will be frozen in a new generation.", invalidStateFreezePlans.map((parameter) => parameter.id));
+        add("UNCERTAINTY_STATE_FREEZE_PLAN_INVALID", "Pending source-derived states must name a later early-review deadline; exact values may be frozen before that deadline.", invalidStateFreezePlans.map((parameter) => parameter.id));
     }
     const nonNumericFrozenStates = design.uncertaintyParameters.filter((parameter) => parameter.stateValueStatus === "frozen" &&
         parameter.stateValueType === "numeric" &&
@@ -1773,9 +1765,8 @@ export function evaluateScientificDesign(design) {
         (baseline.decisionLossMetrics.length === 0 || unboundDecisionLossMetrics.length > 0)) {
         add("DECISION_LOSS_METRIC_UNBOUND", "A cross-model design must freeze executable decision-loss metrics bound to concrete comparisons, quantities, rules, and reporting levels.", unboundDecisionLossMetrics.map((metric) => metric.id));
     }
-    if (design.contextPlan.estimatedTokens > design.contextPlan.maxEstimatedTokens ||
-        !design.contextPlan.centralEvidenceFits) {
-        add("CONTEXT_PLAN_OVER_LIMIT", "The planned claim-critical context does not fit its reviewed token boundary.");
+    if (!design.contextPlan.centralEvidenceFits) {
+        add("CONTEXT_PLAN_OVER_LIMIT", "The design declares no workable route to review its claim-critical evidence. Provide a complete packet/on-demand read route; token estimates alone are not an admission ceiling.");
     }
     if (design.contextPlan.claimCriticalCapsuleIds.length === 0) {
         add("CLAIM_CRITICAL_CONTEXT_MISSING", "At least one claim-critical evidence capsule must be planned before high-cost stages.");