@openrig/cli 0.5.11 → 0.5.12

package/daemon/dist/domain/proof/judgments.d.ts

@@ -0,0 +1,138 @@
+import type { ScopeFsDeps } from "../scope/scope-view-projection.js";
+/** Addressed Markdown owns judgments. These views are rebuilt, never written upstream. */
+export type JudgmentVerdict = "accept" | "reject" | "withdraw";
+export interface Evidence {
+    ref: string;
+    sha256: string;
+}
+export interface Judgment {
+    version: 1;
+    sequence: number;
+    scope: string;
+    id: string;
+    operationId: string;
+    itemId: string;
+    itemRevision: string;
+    policyRevision: string;
+    policySource: string;
+    previous: string | null;
+    actor: string;
+    provenance: string;
+    at: string;
+    verdict: JudgmentVerdict;
+    reason: string;
+    evidence: Evidence[];
+    subject: {
+        kind: "artifact" | "commit" | "patch-equivalent";
+        ref: string;
+        comparison?: string;
+    };
+    intent: string;
+}
+export interface ItemReadiness {
+    id: string;
+    text: string;
+    revision: string;
+    index: number;
+    source: {
+        file: string;
+        line: number;
+    };
+    state: "accepted" | "pending" | "rejected" | "withdrawn" | "unknown";
+    reason: string;
+    judgment: Judgment | null;
+}
+export interface ScopeReadiness {
+    configured: boolean;
+    revision: string;
+    state: "ready" | "not-ready" | "unknown" | "legacy";
+    history: Array<{
+        ref: string;
+        id: string;
+        itemId: string;
+        verdict: JudgmentVerdict;
+        previous: string | null;
+    }>;
+    items: ItemReadiness[];
+    issues: string[];
+    policy: {
+        judges: string[];
+        source: string;
+        revision: string;
+    } | null;
+    /** Input for S04 attention consumers; no timer or delivery is implied. */
+    attention: {
+        scope: string;
+        revision: string;
+    };
+}
+export interface MissionReadiness {
+    revision: string;
+    state: ScopeReadiness["state"];
+    issues: string[];
+    slices: Array<{
+        scope: string;
+        id: string;
+        readiness: ScopeReadiness;
+        dependsOn: string[];
+        eligible: boolean | null;
+    }>;
+    historicalStatus: string | null;
+}
+export declare class JudgmentError extends Error {
+    code: string;
+    status: number;
+    constructor(code: string, message: string, status?: number);
+}
+export declare const proofFs: ScopeFsDeps;
+export declare function readProofContract(dir: string, io: ScopeFsDeps): {
+    index: number;
+    source: {
+        file: string;
+        line: number;
+    };
+    id: string;
+    text: string;
+}[];
+export declare function evidenceAt(root: string, dir: string, ref: string): Evidence;
+export declare function readSliceReadiness(dir: string, io?: ScopeFsDeps): ScopeReadiness;
+export declare function resolveProofScope(root: string, scope: string): string;
+export interface JudgeInput {
+    scope: string;
+    item: string;
+    verdict: JudgmentVerdict;
+    evidence?: string[];
+    subject?: Judgment["subject"];
+    expectedEvidence?: Evidence[];
+    reason: string;
+    expectedRevision: string;
+    expectedPrevious: string | null;
+    operationId?: string;
+    replace?: boolean;
+}
+export declare function recordJudgment(missionsRoot: string, input: JudgeInput, actor: string, provenance: string): {
+    judgment: Judgment;
+    readiness: ScopeReadiness;
+    replayed: boolean;
+};
+export declare function readMissionReadiness(missionDir: string): MissionReadiness;
+export declare function readProjectReadiness(missionsRoot: string): {
+    revision: string;
+    state: string;
+    missions: {
+        revision: string;
+        state: ScopeReadiness["state"];
+        issues: string[];
+        slices: Array<{
+            scope: string;
+            id: string;
+            readiness: ScopeReadiness;
+            dependsOn: string[];
+            eligible: boolean | null;
+        }>;
+        historicalStatus: string | null;
+        name: string;
+    }[];
+    basis: string;
+};
+//# sourceMappingURL=judgments.d.ts.map

package/daemon/dist/domain/proof/judgments.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"judgments.d.ts","sourceRoot":"","sources":["../../../src/domain/proof/judgments.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AAErE,0FAA0F;AAC1F,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,CAAC;AAC/D,MAAM,WAAW,QAAQ;IAAG,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACzD,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAC7E,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IACnF,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IACvE,OAAO,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAC/D,OAAO,EAAE;QAAE,IAAI,EAAE,UAAU,GAAG,QAAQ,GAAG,kBAAkB,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAChG,MAAM,EAAE,MAAM,CAAC;CAChB;AACD,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAClG,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,WAAW,GAAG,SAAS,CAAC;IACrE,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;CAC3C;AACD,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,GAAG,WAAW,GAAG,SAAS,GAAG,QAAQ,CAAC;IAC3F,OAAO,EAAE,KAAK,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,eAAe,CAAC;QAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAC;IAC/G,KAAK,EAAE,aAAa,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE;QAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IAChH,0EAA0E;IAC1E,SAAS,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;CAChD;AACD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IACnE,MAAM,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,EAAE,OAAO,GAAG,IAAI,CAAA;KAAE,CAAC,CAAC;IACvH,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC;AACD,qBAAa,aAAc,SAAQ,KAAK;IACnB,IAAI,EAAE,MAAM;IAA0B,MAAM;gBAA5C,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAS,MAAM,SAAM;CACtE;AAED,eAAO,MAAM,OAAO,EAAE,WAMrB,CAAC;AAmCF,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,WAAW;;;;;;;;IAW7D;AAkCD,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,QAAQ,CAa3E;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,GAAE,WAAqB,GAAG,cAAc,CA0CzF;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAIrE;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3E,OAAO,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IAAC,gBAAgB,CAAC,EAAE,QAAQ,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAC;IACvG,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAC;CAC1E;AACD,wBAAgB,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG;IAAE,QAAQ,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,cAAc,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAmD/K;AAED,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,MAAM,GAAG,gBAAgB,CAqCzE;AAED,wBAAgB,oBAAoB,CAAC,YAAY,EAAE,MAAM;;;;kBAhQ7C,MAAM;eAAS,cAAc,CAAC,OAAO,CAAC;gBAAU,MAAM,EAAE;gBAC1D,KAAK,CAAC;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,EAAE,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,cAAc,CAAC;YAAC,SAAS,EAAE,MAAM,EAAE,CAAC;YAAC,QAAQ,EAAE,OAAO,GAAG,IAAI,CAAA;SAAE,CAAC;0BACpG,MAAM,GAAG,IAAI;;;;EAkQhC"}

package/daemon/dist/domain/proof/judgments.js

@@ -0,0 +1,361 @@
+import * as fs from "node:fs";
+import * as path from "node:path";
+import { createHash, randomUUID } from "node:crypto";
+import YAML from "yaml";
+import { parseAddress, resolveAddress } from "../markdown-address.js";
+import { extractProofContractSelected, parseLogicalCheckboxes, proofItemIdentity } from "../review/compose.js";
+import { validateMissionComposition } from "../lifecycle-manifest.js";
+export class JudgmentError extends Error {
+    code;
+    status;
+    constructor(code, message, status = 400) {
+        super(message);
+        this.code = code;
+        this.status = status;
+    }
+}
+const hash = (value) => createHash("sha256").update(JSON.stringify(value)).digest("hex");
+export const proofFs = {
+    exists: fs.existsSync,
+    readFile: p => { try {
+        return fs.readFileSync(p, "utf8");
+    }
+    catch (e) {
+        if (e.code === "ENOENT")
+            return null;
+        throw e;
+    } },
+    readBytes: p => { try {
+        return fs.readFileSync(p);
+    }
+    catch (e) {
+        if (e.code === "ENOENT")
+            return null;
+        throw e;
+    } },
+    listDir: p => fs.readdirSync(p),
+    isDirectory: p => fs.statSync(p).isDirectory(),
+};
+function mapping(value, source) {
+    if (!value || typeof value !== "object" || Array.isArray(value))
+        throw new JudgmentError("invalid_record", `${source}: expected a mapping`);
+    return value;
+}
+function manifest(io, file) {
+    const text = io.readFile(file);
+    return text === null ? null : mapping(YAML.parse(text), file);
+}
+function workspaceOf(dir, io, required = true) {
+    for (let p = path.resolve(dir);; p = path.dirname(p)) {
+        if (io.exists(path.join(p, "project.yaml")))
+            return p;
+        if (path.dirname(p) === p) {
+            if (!required)
+                return path.resolve(dir);
+            throw new JudgmentError("project_missing", "Locate project.yaml before recording a judgment");
+        }
+    }
+}
+function policyOf(dir, io) {
+    const root = workspaceOf(dir, io, false);
+    for (let p = path.resolve(dir);; p = path.dirname(p)) {
+        for (const name of ["slice.yaml", "mission.yaml", "project.yaml"]) {
+            const file = path.join(p, name), doc = manifest(io, file);
+            if (doc && Object.hasOwn(doc, "proofPolicy")) {
+                const policy = mapping(doc.proofPolicy, `${file}: proofPolicy`);
+                if (Object.keys(policy).some(k => k !== "judges"))
+                    throw new JudgmentError("policy_invalid", `${file}: proofPolicy supports judges only`);
+                if (!Array.isArray(policy.judges) || !policy.judges.length || policy.judges.some(x => typeof x !== "string" || !x.trim()))
+                    throw new JudgmentError("policy_invalid", `${file}: proofPolicy.judges must name authorized actors`);
+                const judges = [...new Set(policy.judges)].sort();
+                return { judges, source: file, revision: hash(judges) };
+            }
+        }
+        if (p === root)
+            return null;
+    }
+}
+export function readProofContract(dir, io) {
+    const files = { prd: "IMPLEMENTATION-PRD.md", readme: "README.md", spec: "SPEC.md" };
+    const contents = Object.fromEntries(Object.entries(files).map(([key, file]) => [key, io.readFile(path.join(dir, file))]));
+    const selected = extractProofContractSelected(contents.prd ?? null, contents.readme ?? null, contents.spec ?? null);
+    if (!selected.source || !selected.items.length)
+        return [];
+    const file = files[selected.source], section = resolveAddress(contents[selected.source], ["proof-contract"]);
+    const logical = parseLogicalCheckboxes(section.text);
+    return selected.items.map((item, index) => {
+        const line = section.headerLine + (logical.find(row => row.rawText === item.rawText)?.sourceLine ?? 1);
+        return { ...proofItemIdentity(item.rawText), index: index + 1, source: { file, line } };
+    });
+}
+function ledger(dir, io) {
+    const home = path.join(dir, "proof", "judgments");
+    if (!io.exists(home))
+        return [];
+    const names = io.listDir(home).filter(f => !f.startsWith(".")).sort();
+    const receipts = [];
+    for (const name of names) {
+        const expected = `${String(receipts.length + 1).padStart(8, "0")}.md`;
+        if (name !== expected)
+            throw new JudgmentError("journal_conflict", `${home}: expected ${expected}, found ${name}; inspect retained receipts`);
+        const raw = io.readFile(path.join(home, name));
+        const fm = raw && /^---\n([\s\S]*?)\n---(?:\n|$)/.exec(raw);
+        if (!fm)
+            throw new JudgmentError("journal_invalid", `${home}/${name}: incomplete judgment`);
+        const obj = mapping(YAML.parse(fm[1]), name), { id, ...payload } = obj;
+        if (id !== hash(payload) || obj.version !== 1 || obj.sequence !== receipts.length + 1 || typeof obj.itemId !== "string" || typeof obj.itemRevision !== "string" || typeof obj.policyRevision !== "string" || typeof obj.actor !== "string" || typeof obj.operationId !== "string" || typeof obj.intent !== "string" || !["accept", "reject", "withdraw"].includes(String(obj.verdict)) || !Array.isArray(obj.evidence))
+            throw new JudgmentError("journal_invalid", `${home}/${name}: malformed or changed judgment; inspect history`);
+        const subject = mapping(obj.subject, name);
+        if ([obj.scope, obj.itemId, obj.itemRevision, obj.policyRevision, obj.policySource, obj.actor, obj.operationId, obj.intent, obj.reason, obj.provenance, obj.at].some(v => typeof v !== "string" || !v.trim()) || !Number.isFinite(Date.parse(String(obj.at))) || !["artifact", "commit", "patch-equivalent"].includes(String(subject.kind)) || typeof subject.ref !== "string" || !subject.ref.trim() || (subject.comparison !== undefined && typeof subject.comparison !== "string") || obj.evidence.some(e => !e || typeof e !== "object" || typeof e.ref !== "string" || !e.ref || typeof e.sha256 !== "string" || !/^[a-f0-9]{64}$/.test(e.sha256)))
+            throw new JudgmentError("journal_invalid", `${home}/${name}: malformed judgment fields`);
+        if (receipts.some(r => r.operationId === obj.operationId))
+            throw new JudgmentError("journal_conflict", `${home}/${name}: repeated operation identity`);
+        const prior = receipts.filter(r => r.itemId === obj.itemId).at(-1);
+        if (obj.previous !== (prior?.id ?? null))
+            throw new JudgmentError("journal_conflict", `${home}/${name}: conflicting correction lineage`);
+        receipts.push(obj);
+    }
+    return receipts;
+}
+function contained(root, target) {
+    const base = fs.realpathSync(root), requested = path.resolve(root, target);
+    // Resolve the nearest existing ancestor so platform aliases and symlink parents
+    // are judged at the real boundary, including a not-yet-created receipt leaf.
+    let existing = requested;
+    while (!fs.existsSync(existing))
+        existing = path.dirname(existing);
+    const full = path.resolve(fs.realpathSync(existing), path.relative(existing, requested));
+    if (full !== base && !full.startsWith(base + path.sep))
+        throw new JudgmentError("path_escape", `Path escapes ${base}; paths must stay within the selected workspace`);
+    return full;
+}
+export function evidenceAt(root, dir, ref) {
+    if (!ref || typeof ref !== "string")
+        throw new JudgmentError("evidence_required", "Reference readable evidence under the project workspace");
+    const { ref: file, headerPath } = parseAddress(ref);
+    const fragment = headerPath.join("/");
+    const target = contained(root, path.isAbsolute(file) ? file : file.startsWith("missions/") ? file : path.resolve(dir, file));
+    if (!fs.existsSync(target) || !fs.statSync(target).isFile())
+        throw new JudgmentError("evidence_missing", `Evidence is unavailable: ${ref}`);
+    const bytes = fs.readFileSync(target);
+    let addressed = bytes;
+    if (headerPath.length) {
+        try {
+            addressed = resolveAddress(bytes.toString("utf8"), headerPath).text;
+        }
+        catch (e) {
+            throw new JudgmentError("evidence_address", e.message);
+        }
+    }
+    return { ref: path.relative(fs.realpathSync(root), target).split(path.sep).join("/") + (fragment ? `#${fragment}` : ""), sha256: createHash("sha256").update(addressed).digest("hex") };
+}
+export function readSliceReadiness(dir, io = proofFs) {
+    let policy = null, receipts = [], items = [];
+    const issues = [];
+    let policyRead = false;
+    try {
+        policy = policyOf(dir, io);
+        policyRead = true;
+        receipts = ledger(dir, io);
+        const root = workspaceOf(dir, io, false), promises = readProofContract(dir, io);
+        if (new Set(promises.map(p => p.id)).size !== promises.length)
+            throw new JudgmentError("item_ambiguous", "Repeated item identity; give distinct promises explicit <!-- proof-item: id --> markers");
+        items = promises.map(p => {
+            const scope = path.relative(root, dir).split(path.sep).join("/");
+            const revision = hash([scope, p.id, p.text, policy?.revision ?? null]);
+            const judgment = receipts.filter(r => r.itemId === p.id).at(-1) ?? null;
+            let state = "pending", reason = "No current attributed judgment";
+            if (judgment) {
+                if (!policy || judgment.scope !== scope || judgment.itemRevision !== revision || judgment.policyRevision !== policy.revision) {
+                    state = "unknown";
+                    reason = "Scope, item or policy changed; record a judgment on the current revision";
+                }
+                else if (judgment.verdict !== "accept") {
+                    state = judgment.verdict === "reject" ? "rejected" : "withdrawn";
+                    reason = judgment.reason;
+                }
+                else if (!policy.judges.includes(judgment.actor)) {
+                    state = "unknown";
+                    reason = "Judgment actor is outside the selected policy";
+                }
+                else {
+                    const valid = judgment.evidence.length > 0 && judgment.evidence.every(e => {
+                        if (!e || typeof e.ref !== "string" || typeof e.sha256 !== "string")
+                            return false;
+                        try {
+                            const address = parseAddress(e.ref), file = path.resolve(root, address.ref);
+                            if (io.readBytes)
+                                contained(root, file);
+                            const bytes = io.readBytes ? io.readBytes(file) : io.readFile(file);
+                            if (bytes === null)
+                                return false;
+                            const addressed = address.headerPath.length ? resolveAddress(typeof bytes === "string" ? bytes : Buffer.from(bytes).toString("utf8"), address.headerPath).text : bytes;
+                            return createHash("sha256").update(addressed).digest("hex") === e.sha256;
+                        }
+                        catch {
+                            return false;
+                        }
+                    });
+                    state = valid ? "accepted" : "unknown";
+                    reason = valid ? judgment.reason : "Evidence missing or changed; inspect the retained judgment";
+                }
+            }
+            return { ...p, revision, state, reason, judgment };
+        });
+        if (policy && !items.length)
+            issues.push("No authored proof contract");
+    }
+    catch (e) {
+        issues.push(e instanceof Error ? e.message : String(e));
+    }
+    const configured = policy !== null || io.exists(path.join(dir, "proof", "judgments")) || (!policyRead && issues.length > 0);
+    const state = issues.length ? "unknown" : !configured ? "legacy" : items.some(i => i.state === "unknown") ? "unknown" : items.length && items.every(i => i.state === "accepted") ? "ready" : "not-ready";
+    const revision = hash([policy?.revision, items, issues]);
+    const history = receipts.map(r => ({ ref: `${r.scope}/proof/judgments/${String(r.sequence).padStart(8, "0")}.md`, id: r.id, itemId: r.itemId, verdict: r.verdict, previous: r.previous }));
+    return { configured, revision, state, history, items, issues, policy, attention: { scope: dir, revision } };
+}
+export function resolveProofScope(root, scope) {
+    const dir = contained(root, scope);
+    if (!fs.existsSync(dir) || !fs.statSync(dir).isDirectory())
+        throw new JudgmentError("scope_missing", "Select an existing mission or slice directory", 404);
+    return dir;
+}
+export function recordJudgment(missionsRoot, input, actor, provenance) {
+    const dir = resolveProofScope(missionsRoot, input.scope), root = workspaceOf(dir, proofFs);
+    if (path.basename(path.dirname(dir)) !== "slices")
+        throw new JudgmentError("slice_required", "Item judgments belong to a slice; higher outcome judgments remain workflow decisions");
+    if (!fs.statSync(dir).isDirectory())
+        throw new JudgmentError("scope_missing", "Select a slice directory");
+    const current = readSliceReadiness(dir);
+    if (!current.policy)
+        throw new JudgmentError("policy_required", "Author proofPolicy.judges at the slice, mission or project before judging");
+    if (!current.policy.judges.includes(actor))
+        throw new JudgmentError("actor_not_authorized", `${actor} is not a judge under ${current.policy.source}`, 403);
+    if (current.issues.length)
+        throw new JudgmentError("readiness_unavailable", current.issues.join("; "), 409);
+    const item = current.items.find(i => i.id === input.item || String(i.index) === input.item || i.text === input.item);
+    if (!item)
+        throw new JudgmentError("item_missing", "Select one current item from rig proof show");
+    if (!["accept", "reject", "withdraw"].includes(input.verdict) || !input.reason?.trim())
+        throw new JudgmentError("judgment_invalid", "Provide accept, reject or withdraw and the reason for that judgment");
+    const evidence = input.evidence?.map(ref => evidenceAt(root, dir, ref)) ?? (input.verdict !== "accept" ? item.judgment?.evidence ?? [] : []);
+    if (input.verdict === "accept" && !evidence.length)
+        throw new JudgmentError("evidence_required", "Acceptance requires readable evidence; capture alone and queue done are not acceptance");
+    let subject = input.subject ?? item.judgment?.subject ?? { kind: "artifact", ref: evidence[0]?.ref ?? item.id };
+    if (!["artifact", "commit", "patch-equivalent"].includes(subject.kind) || !subject.ref?.trim())
+        throw new JudgmentError("subject_invalid", "Name an artifact, commit or patch-equivalent subject");
+    if (subject.kind === "patch-equivalent" && input.verdict === "accept") {
+        if (!subject.comparison)
+            throw new JudgmentError("comparison_required", "Patch equivalence requires --comparison pointing to the actual comparison/adoption receipt, in addition to outcome evidence");
+        const comparison = evidenceAt(root, dir, subject.comparison);
+        if (!evidence.some(e => e.ref !== comparison.ref))
+            throw new JudgmentError("comparison_required", "Reference distinct outcome evidence and a comparison/adoption receipt");
+        if (!evidence.some(e => e.ref === comparison.ref))
+            evidence.push(comparison);
+        subject = { ...subject, comparison: comparison.ref };
+    }
+    if (input.expectedEvidence && hash(input.expectedEvidence) !== hash(evidence))
+        throw new JudgmentError("evidence_conflict", "Evidence changed since preparation; inspect current bytes before judging", 409);
+    const receipts = ledger(dir, proofFs);
+    const intent = hash([item.id, input.expectedRevision, actor, input.verdict, input.reason, evidence, subject]);
+    const operationId = input.operationId ?? hash([intent, input.replace ? input.expectedPrevious : null]);
+    const priorOperation = receipts.find(r => r.operationId === operationId);
+    if (priorOperation) {
+        if (priorOperation.intent !== intent)
+            throw new JudgmentError("operation_conflict", "Operation identity already records different contents", 409);
+        return { judgment: priorOperation, readiness: readSliceReadiness(dir), replayed: true };
+    }
+    const latest = receipts.filter(r => r.itemId === item.id).at(-1);
+    if (input.expectedRevision !== item.revision || input.expectedPrevious !== (latest?.id ?? null))
+        throw new JudgmentError("revision_conflict", "Item or correction changed; inspect rig proof show and judge the current evidence", 409);
+    const payload = { version: 1, scope: path.relative(root, dir).split(path.sep).join("/"), sequence: receipts.length + 1, operationId, itemId: item.id, itemRevision: item.revision, policyRevision: current.policy.revision, policySource: path.relative(root, current.policy.source), previous: latest?.id ?? null, actor, provenance, at: new Date().toISOString(), verdict: input.verdict, reason: input.reason, evidence, subject, intent };
+    const judgment = { ...payload, id: hash(payload) };
+    const home = contained(root, path.join(dir, "proof", "judgments"));
+    fs.mkdirSync(home, { recursive: true });
+    const temporary = path.join(home, `.write-${randomUUID()}`), target = path.join(home, `${String(payload.sequence).padStart(8, "0")}.md`);
+    // Same-directory temp+fsync follows FileWriteService; link publishes without replacing a receipt.
+    // Synchronous in the supported daemon writer. A competing process loses the exclusive publication.
+    const fd = fs.openSync(temporary, "wx", 0o600);
+    try {
+        fs.writeFileSync(fd, `---\n${YAML.stringify(judgment)}---\n\n${input.reason}\n`);
+        fs.fsyncSync(fd);
+    }
+    finally {
+        fs.closeSync(fd);
+    }
+    try {
+        fs.linkSync(temporary, target);
+        const directory = fs.openSync(home, "r");
+        try {
+            fs.fsyncSync(directory);
+        }
+        finally {
+            fs.closeSync(directory);
+        }
+    }
+    catch (e) {
+        if (e.code === "EEXIST")
+            throw new JudgmentError("revision_conflict", "Another writer committed first; inspect current readiness", 409);
+        throw e;
+    }
+    finally {
+        fs.unlinkSync(temporary);
+    }
+    return { judgment, readiness: readSliceReadiness(dir), replayed: false };
+}
+export function readMissionReadiness(missionDir) {
+    const issues = [], slices = [];
+    let historicalStatus = null;
+    try {
+        const doc = manifest(proofFs, path.join(missionDir, "mission.yaml"));
+        if (!doc)
+            return { revision: hash("legacy"), state: "legacy", slices, issues, historicalStatus };
+        const metadata = mapping(doc.metadata, "mission metadata");
+        historicalStatus = typeof metadata.status === "string" ? metadata.status : null;
+        const members = validateMissionComposition(doc, path.join(missionDir, "mission.yaml")).filter(m => m.active);
+        for (const member of members) {
+            const dir = path.dirname(member.path), data = manifest(proofFs, member.path);
+            const execution = data?.execution;
+            const depends = execution?.depends_on ?? [];
+            if (!Array.isArray(depends) || depends.some(x => typeof x !== "string"))
+                throw new JudgmentError("dependencies_invalid", `${member.path}: execution.depends_on must be a list`);
+            const id = data?.metadata?.id ?? path.basename(dir);
+            if (typeof id !== "string" || !id || slices.some(s => s.id === id))
+                throw new JudgmentError("dependency_identity", `${member.path}: missing or repeated slice identity`);
+            slices.push({ scope: path.basename(dir), id, readiness: readSliceReadiness(dir), dependsOn: depends, eligible: null });
+        }
+        const memo = new Map();
+        const visit = (s, visiting = new Set()) => {
+            if (visiting.has(s.id))
+                throw new JudgmentError("dependency_cycle", `Cycle involving ${s.scope}`);
+            if (memo.has(s.id))
+                return memo.get(s.id);
+            const next = new Set(visiting).add(s.id);
+            const dependencies = s.dependsOn.map(name => {
+                const dep = slices.find(x => x.id === name);
+                if (!dep)
+                    throw new JudgmentError("dependency_missing", `${s.scope}: unknown dependency ${name}`);
+                const upstream = visit(dep, next);
+                return upstream === null || ["unknown", "legacy"].includes(dep.readiness.state) ? null : upstream && dep.readiness.state === "ready";
+            });
+            const eligible = ["unknown", "legacy"].includes(s.readiness.state) || dependencies.includes(null) ? null : dependencies.every(Boolean);
+            memo.set(s.id, eligible);
+            return eligible;
+        };
+        for (const s of slices)
+            s.eligible = visit(s);
+    }
+    catch (e) {
+        issues.push(e instanceof Error ? e.message : String(e));
+        for (const s of slices)
+            s.eligible = null;
+    }
+    const state = issues.length || slices.some(s => ["unknown", "legacy"].includes(s.readiness.state)) ? "unknown" : slices.length && slices.every(s => s.readiness.state === "ready") ? "ready" : "not-ready";
+    return { revision: hash([slices, issues]), state, slices, issues, historicalStatus };
+}
+export function readProjectReadiness(missionsRoot) {
+    const missions = fs.readdirSync(missionsRoot).filter(n => fs.statSync(path.join(missionsRoot, n)).isDirectory()).map(name => ({ name, ...readMissionReadiness(contained(missionsRoot, path.join(missionsRoot, name))) }));
+    const active = missions.filter(m => ["active", "release-candidate"].includes(m.historicalStatus ?? ""));
+    return { revision: hash(active), state: active.length && active.every(m => m.state === "ready") ? "ready" : active.some(m => m.state === "unknown") ? "unknown" : "not-ready", missions, basis: "Active mission readiness; distinct outcome judgment and publication remain separate" };
+}
+//# sourceMappingURL=judgments.js.map

package/daemon/dist/domain/proof/judgments.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"judgments.js","sourceRoot":"","sources":["../../../src/domain/proof/judgments.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACtE,OAAO,EAAE,4BAA4B,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAC/G,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AA+BtE,MAAM,OAAO,aAAc,SAAQ,KAAK;IACnB;IAAsC;IAAzD,YAAmB,IAAY,EAAE,OAAe,EAAS,SAAS,GAAG;QAAI,KAAK,CAAC,OAAO,CAAC,CAAC;QAArE,SAAI,GAAJ,IAAI,CAAQ;QAA0B,WAAM,GAAN,MAAM,CAAM;IAAoB,CAAC;CAC3F;AACD,MAAM,IAAI,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1G,MAAM,CAAC,MAAM,OAAO,GAAgB;IAClC,MAAM,EAAE,EAAE,CAAC,UAAU;IACrB,QAAQ,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC;QAAC,OAAO,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAAC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAAC,IAAK,CAA2B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAAC,MAAM,CAAC,CAAC;IAAC,CAAC,CAAC,CAAC;IACrJ,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC;QAAC,OAAO,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAAC,IAAK,CAA2B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAAC,MAAM,CAAC,CAAC;IAAC,CAAC,CAAC,CAAC;IAC9I,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IAC/B,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE;CAC/C,CAAC;AAEF,SAAS,OAAO,CAAC,KAAc,EAAE,MAAc;IAC7C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,aAAa,CAAC,gBAAgB,EAAE,GAAG,MAAM,sBAAsB,CAAC,CAAC;IAC5I,OAAO,KAAgB,CAAC;AAC1B,CAAC;AACD,SAAS,QAAQ,CAAC,EAAe,EAAE,IAAY;IAC7C,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC/B,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;AAChE,CAAC;AACD,SAAS,WAAW,CAAC,GAAW,EAAE,EAAe,EAAE,QAAQ,GAAG,IAAI;IAChE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACtD,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,QAAQ;gBAAE,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACxC,MAAM,IAAI,aAAa,CAAC,iBAAiB,EAAE,iDAAiD,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;AACH,CAAC;AACD,SAAS,QAAQ,CAAC,GAAW,EAAE,EAAe;IAC5C,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,KAAK,MAAM,IAAI,IAAI,CAAC,YAAY,EAAE,cAAc,EAAE,cAAc,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,GAAG,GAAG,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC1D,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,CAAC;gBAC7C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,IAAI,eAAe,CAAC,CAAC;gBAChE,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC;oBAAE,MAAM,IAAI,aAAa,CAAC,gBAAgB,EAAE,GAAG,IAAI,oCAAoC,CAAC,CAAC;gBAC1I,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;oBAAE,MAAM,IAAI,aAAa,CAAC,gBAAgB,EAAE,GAAG,IAAI,kDAAkD,CAAC,CAAC;gBAChO,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC9D,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1D,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;IAC9B,CAAC;AACH,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,GAAW,EAAE,EAAe;IAC5D,MAAM,KAAK,GAAG,EAAE,GAAG,EAAE,uBAAuB,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACrF,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1H,MAAM,QAAQ,GAAG,4BAA4B,CAAC,QAAQ,CAAC,GAAG,IAAI,IAAI,EAAE,QAAQ,CAAC,MAAM,IAAI,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC;IACpH,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC1D,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,GAAG,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC9G,MAAM,OAAO,GAAG,sBAAsB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,CAAC,EAAE,UAAU,IAAI,CAAC,CAAC,CAAC;QACvG,OAAO,EAAE,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;IAC1F,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,MAAM,CAAC,GAAW,EAAE,EAAe;IAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAClD,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACtE,MAAM,QAAQ,GAAe,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC;QACtE,IAAI,IAAI,KAAK,QAAQ;YAAE,MAAM,IAAI,aAAa,CAAC,kBAAkB,EAAE,GAAG,IAAI,cAAc,QAAQ,WAAW,IAAI,6BAA6B,CAAC,CAAC;QAC9I,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,GAAG,IAAI,+BAA+B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5D,IAAI,CAAC,EAAE;YAAE,MAAM,IAAI,aAAa,CAAC,iBAAiB,EAAE,GAAG,IAAI,IAAI,IAAI,uBAAuB,CAAC,CAAC;QAC5F,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,EAAE,GAAG,GAAG,CAAC;QACxE,IAAI,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ,IAAI,OAAO,GAAG,CAAC,cAAc,KAAK,QAAQ,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,aAAa,CAAC,iBAAiB,EAAE,GAAG,IAAI,IAAI,IAAI,kDAAkD,CAAC,CAAC;QACtgB,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,cAAc,EAAE,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,kBAAkB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,OAAO,OAAO,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,IAAI,OAAO,OAAO,CAAC,UAAU,KAAK,QAAQ,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAAE,MAAM,IAAI,aAAa,CAAC,iBAAiB,EAAE,GAAG,IAAI,IAAI,IAAI,6BAA6B,CAAC,CAAC;QACltB,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,GAAG,CAAC,WAAW,CAAC;YAAE,MAAM,IAAI,aAAa,CAAC,kBAAkB,EAAE,GAAG,IAAI,IAAI,IAAI,+BAA+B,CAAC,CAAC;QACvJ,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,IAAI,GAAG,CAAC,QAAQ,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,IAAI,CAAC;YAAE,MAAM,IAAI,aAAa,CAAC,kBAAkB,EAAE,GAAG,IAAI,IAAI,IAAI,kCAAkC,CAAC,CAAC;QACzI,QAAQ,CAAC,IAAI,CAAC,GAA0B,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AACD,SAAS,SAAS,CAAC,IAAY,EAAE,MAAc;IAC7C,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC3E,gFAAgF;IAChF,6EAA6E;IAC7E,IAAI,QAAQ,GAAG,SAAS,CAAC;IACzB,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;IACzF,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,aAAa,CAAC,aAAa,EAAE,gBAAgB,IAAI,iDAAiD,CAAC,CAAC;IACtK,OAAO,IAAI,CAAC;AACd,CAAC;AACD,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,GAAW,EAAE,GAAW;IAC/D,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,MAAM,IAAI,aAAa,CAAC,mBAAmB,EAAE,yDAAyD,CAAC,CAAC;IAC7I,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,IAAK,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAK,CAAC,CAAC,CAAC;IAClI,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE;QAAE,MAAM,IAAI,aAAa,CAAC,kBAAkB,EAAE,4BAA4B,GAAG,EAAE,CAAC,CAAC;IAC5I,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,SAAS,GAAoB,KAAK,CAAC;IACvC,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACtB,IAAI,CAAC;YAAC,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC;QAAC,CAAC;QAC5E,OAAO,CAAC,EAAE,CAAC;YAAC,MAAM,IAAI,aAAa,CAAC,kBAAkB,EAAG,CAAW,CAAC,OAAO,CAAC,CAAC;QAAC,CAAC;IAClF,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAC1L,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,GAAW,EAAE,KAAkB,OAAO;IACvE,IAAI,MAAM,GAA6B,IAAI,EAAE,QAAQ,GAAe,EAAE,EAAE,KAAK,GAAoB,EAAE,CAAC;IACpG,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,CAAC;QACH,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAAC,UAAU,GAAG,IAAI,CAAC;QAC9C,QAAQ,GAAG,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,QAAQ,GAAG,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAChF,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM;YAAE,MAAM,IAAI,aAAa,CAAC,gBAAgB,EAAE,yFAAyF,CAAC,CAAC;QACpM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACvB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC;YACvE,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;YACxE,IAAI,KAAK,GAA2B,SAAS,EAAE,MAAM,GAAG,gCAAgC,CAAC;YACzF,IAAI,QAAQ,EAAE,CAAC;gBACb,IAAI,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,KAAK,KAAK,IAAI,QAAQ,CAAC,YAAY,KAAK,QAAQ,IAAI,QAAQ,CAAC,cAAc,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC;oBAAC,KAAK,GAAG,SAAS,CAAC;oBAAC,MAAM,GAAG,0EAA0E,CAAC;gBAAC,CAAC;qBACpO,IAAI,QAAQ,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;oBAAC,KAAK,GAAG,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;oBAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;gBAAC,CAAC;qBAClI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;oBAAC,KAAK,GAAG,SAAS,CAAC;oBAAC,MAAM,GAAG,+CAA+C,CAAC;gBAAC,CAAC;qBAC7H,CAAC;oBACJ,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;wBACxE,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ;4BAAE,OAAO,KAAK,CAAC;wBAClF,IAAI,CAAC;4BACH,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;4BAC5E,IAAI,EAAE,CAAC,SAAS;gCAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;4BACxC,MAAM,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;4BACpE,IAAI,KAAK,KAAK,IAAI;gCAAE,OAAO,KAAK,CAAC;4BACjC,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;4BACvK,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;wBAC3E,CAAC;wBAAC,MAAM,CAAC;4BAAC,OAAO,KAAK,CAAC;wBAAC,CAAC;oBAC3B,CAAC,CAAC,CAAC;oBACH,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;oBAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,4DAA4D,CAAC;gBAC1I,CAAC;YACH,CAAC;YACD,OAAO,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACrD,CAAC,CAAC,CAAC;QACH,IAAI,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACzE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAAC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IACxE,MAAM,UAAU,GAAG,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC5H,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC;IACzM,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,KAAK,oBAAoB,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IAC3L,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC;AAC9G,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,KAAa;IAC3D,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE;QAAE,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,+CAA+C,EAAE,GAAG,CAAC,CAAC;IAC3J,OAAO,GAAG,CAAC;AACb,CAAC;AAOD,MAAM,UAAU,cAAc,CAAC,YAAoB,EAAE,KAAiB,EAAE,KAAa,EAAE,UAAkB;IACvG,MAAM,GAAG,GAAG,iBAAiB,CAAC,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC3F,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,QAAQ;QAAE,MAAM,IAAI,aAAa,CAAC,gBAAgB,EAAE,sFAAsF,CAAC,CAAC;IACrL,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE;QAAE,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,0BAA0B,CAAC,CAAC;IAC1G,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,MAAM,IAAI,aAAa,CAAC,iBAAiB,EAAE,2EAA2E,CAAC,CAAC;IAC7I,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,aAAa,CAAC,sBAAsB,EAAE,GAAG,KAAK,yBAAyB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC;IAC3J,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM;QAAE,MAAM,IAAI,aAAa,CAAC,uBAAuB,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5G,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC;IACrH,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,aAAa,CAAC,cAAc,EAAE,6CAA6C,CAAC,CAAC;IAClG,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE;QAAE,MAAM,IAAI,aAAa,CAAC,kBAAkB,EAAE,qEAAqE,CAAC,CAAC;IAC3M,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC7I,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAE,MAAM,IAAI,aAAa,CAAC,mBAAmB,EAAE,wFAAwF,CAAC,CAAC;IAC3L,IAAI,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;IAChH,IAAI,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,kBAAkB,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE;QAAE,MAAM,IAAI,aAAa,CAAC,iBAAiB,EAAE,sDAAsD,CAAC,CAAC;IACnM,IAAI,OAAO,CAAC,IAAI,KAAK,kBAAkB,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACtE,IAAI,CAAC,OAAO,CAAC,UAAU;YAAE,MAAM,IAAI,aAAa,CAAC,qBAAqB,EAAE,6HAA6H,CAAC,CAAC;QACvM,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QAC7D,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,UAAU,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,aAAa,CAAC,qBAAqB,EAAE,uEAAuE,CAAC,CAAC;QAC3K,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,UAAU,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7E,OAAO,GAAG,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,GAAG,EAAE,CAAC;IACvD,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,IAAI,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC;QAAE,MAAM,IAAI,aAAa,CAAC,mBAAmB,EAAE,0EAA0E,EAAE,GAAG,CAAC,CAAC;IAC7M,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,gBAAgB,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IAC9G,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACvG,MAAM,cAAc,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;IACzE,IAAI,cAAc,EAAE,CAAC;QACnB,IAAI,cAAc,CAAC,MAAM,KAAK,MAAM;YAAE,MAAM,IAAI,aAAa,CAAC,oBAAoB,EAAE,uDAAuD,EAAE,GAAG,CAAC,CAAC;QAClJ,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,SAAS,EAAE,kBAAkB,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC1F,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,IAAI,KAAK,CAAC,gBAAgB,KAAK,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,gBAAgB,KAAK,CAAC,MAAM,EAAE,EAAE,IAAI,IAAI,CAAC;QAAE,MAAM,IAAI,aAAa,CAAC,mBAAmB,EAAE,mFAAmF,EAAE,GAAG,CAAC,CAAC;IACxO,MAAM,OAAO,GAAG,EAAE,OAAO,EAAE,CAAU,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,YAAY,EAAE,IAAI,CAAC,QAAQ,EAAE,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IACxb,MAAM,QAAQ,GAAa,EAAE,GAAG,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;IAC7D,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;IACnE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,UAAU,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IACzI,kGAAkG;IAClG,mGAAmG;IACnG,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/C,IAAI,CAAC;QAAC,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,QAAQ,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;QAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;YAAS,CAAC;QAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;IACzI,IAAI,CAAC;QACH,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,SAAS,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,IAAI,CAAC;YAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAAC,CAAC;gBAAS,CAAC;YAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAAC,CAAC;IACvE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAK,CAA2B,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,IAAI,aAAa,CAAC,mBAAmB,EAAE,2DAA2D,EAAE,GAAG,CAAC,CAAC;QACnK,MAAM,CAAC,CAAC;IACV,CAAC;YAAS,CAAC;QAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAAC,CAAC;IACvC,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,UAAkB;IACrD,MAAM,MAAM,GAAa,EAAE,EAAE,MAAM,GAA+B,EAAE,CAAC;IACrE,IAAI,gBAAgB,GAAkB,IAAI,CAAC;IAC3C,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC,CAAC;QACrE,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;QACjG,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;QAC3D,gBAAgB,GAAG,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QAChF,MAAM,OAAO,GAAG,0BAA0B,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC7G,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAC7E,MAAM,SAAS,GAAG,IAAI,EAAE,SAAiD,CAAC;YAC1E,MAAM,OAAO,GAAG,SAAS,EAAE,UAAU,IAAI,EAAE,CAAC;YAC5C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;gBAAE,MAAM,IAAI,aAAa,CAAC,sBAAsB,EAAE,GAAG,MAAM,CAAC,IAAI,uCAAuC,CAAC,CAAC;YAChL,MAAM,EAAE,GAAI,IAAI,EAAE,QAAyC,EAAE,EAAE,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACtF,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;gBAAE,MAAM,IAAI,aAAa,CAAC,qBAAqB,EAAE,GAAG,MAAM,CAAC,IAAI,sCAAsC,CAAC,CAAC;YACzK,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,kBAAkB,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,OAAmB,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACrI,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAA0B,CAAC;QAC/C,MAAM,KAAK,GAAG,CAAC,CAAqC,EAAE,WAAW,IAAI,GAAG,EAAU,EAAkB,EAAE;YACpG,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAE,MAAM,IAAI,aAAa,CAAC,kBAAkB,EAAE,mBAAmB,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAClG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACzC,MAAM,YAAY,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;gBAC1C,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC;gBAC5C,IAAI,CAAC,GAAG;oBAAE,MAAM,IAAI,aAAa,CAAC,oBAAoB,EAAE,GAAG,CAAC,CAAC,KAAK,wBAAwB,IAAI,EAAE,CAAC,CAAC;gBAClG,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAClC,OAAO,QAAQ,KAAK,IAAI,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK,OAAO,CAAC;YACvI,CAAC,CAAC,CAAC;YACH,MAAM,QAAQ,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACvI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YACzB,OAAO,QAAQ,CAAC;QAClB,CAAC,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,CAAC,CAAC,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAAC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAAC,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC;IAAC,CAAC;IACnH,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC;IAC3M,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;AACvF,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,YAAoB;IACvD,MAAM,QAAQ,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,oBAAoB,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1N,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,CAAC;IACxG,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,qFAAqF,EAAE,CAAC;AAC1R,CAAC"}

package/daemon/dist/domain/proof/source-watch.d.ts

@@ -0,0 +1,17 @@
+import type { EventBus } from "../event-bus.js";
+export interface ProofSourceWatch {
+    close(): void;
+    observation(): {
+        state: "watching" | "unavailable";
+        revision: string;
+    };
+}
+export declare function proofSourceObservation(c: {
+    get: (key: never) => unknown;
+}): {
+    state: "watching" | "unavailable";
+    revision: string;
+};
+/** Push invalidation over the existing bus; existing client quiet refresh is the missed-event repair. */
+export declare function watchProofSources(missionsRoot: string, invalidate: () => void, bus: EventBus): ProofSourceWatch;
+//# sourceMappingURL=source-watch.d.ts.map

package/daemon/dist/domain/proof/source-watch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-watch.d.ts","sourceRoot":"","sources":["../../../src/domain/proof/source-watch.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAGhD,MAAM,WAAW,gBAAgB;IAC/B,KAAK,IAAI,IAAI,CAAC;IACd,WAAW,IAAI;QAAE,KAAK,EAAE,UAAU,GAAG,aAAa,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;CACxE;AACD,wBAAgB,sBAAsB,CAAC,CAAC,EAAE;IAAE,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,OAAO,CAAA;CAAE;WAFhD,UAAU,GAAG,aAAa;cAAY,MAAM;EAIrE;AAED,yGAAyG;AACzG,wBAAgB,iBAAiB,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,IAAI,EAAE,GAAG,EAAE,QAAQ,GAAG,gBAAgB,CA+B/G"}

package/daemon/dist/domain/proof/source-watch.js

@@ -0,0 +1,60 @@
+import * as fs from "node:fs";
+import * as path from "node:path";
+import { createHash } from "node:crypto";
+import { readProjectReadiness } from "./judgments.js";
+export function proofSourceObservation(c) {
+    return c.get("proofSourceWatch")?.observation() ?? { state: "unavailable", revision: "unverified" };
+}
+/** Push invalidation over the existing bus; existing client quiet refresh is the missed-event repair. */
+export function watchProofSources(missionsRoot, invalidate, bus) {
+    const workspace = path.dirname(missionsRoot);
+    // ponytail: bounded local workspaces use a full semantic read after a file burst.
+    // Keep this workload measured; subtree indexing is warranted only when that bound is exceeded.
+    const basis = () => createHash("sha256").update(JSON.stringify(readProjectReadiness(missionsRoot).missions.map(m => [m.name, m.revision]))).digest("hex");
+    let state = "unavailable";
+    let revision = "unavailable", timer;
+    try {
+        revision = basis();
+        state = "watching";
+    }
+    catch { /* Direct reads name unavailable inputs; watching may recover them. */ }
+    const notify = (next) => { try {
+        bus.emit({ type: "proof.sources_changed", scope: missionsRoot, revision: next });
+    }
+    catch { /* Quiet refresh remains the repair path. */ } };
+    let watcher;
+    try {
+        watcher = fs.watch(workspace, { recursive: true, persistent: false }, () => {
+            if (timer)
+                return;
+            timer = setTimeout(() => {
+                timer = undefined;
+                try {
+                    const next = basis();
+                    if (next === revision)
+                        return;
+                    revision = next;
+                    state = "watching";
+                    invalidate();
+                    notify(revision);
+                }
+                catch {
+                    state = "unavailable";
+                    revision = "unavailable";
+                    invalidate();
+                    notify("unavailable");
+                }
+            }, 40);
+            timer.unref();
+        });
+    }
+    catch {
+        invalidate();
+        notify("unavailable");
+        return { close() { }, observation: () => ({ state: "unavailable", revision }) };
+    }
+    watcher.on("error", () => { state = "unavailable"; revision = "unavailable"; invalidate(); notify("unavailable"); });
+    return { observation: () => ({ state, revision }), close: () => { state = "unavailable"; if (timer)
+            clearTimeout(timer); watcher.close(); } };
+}
+//# sourceMappingURL=source-watch.js.map