assertledger 1.2.0 → 1.3.0

package/dist/engine/setup.d.ts

@@ -0,0 +1,39 @@
+import { type RepositoryInitResult, type RepositoryInitResultV2 } from "../contracts/index.js";
+import { type ClientConnectionPlan, type ClientConnectionResult } from "./connection.js";
+export type SetupClient = "codex" | "claude-code";
+type AnyRepositoryInitResult = RepositoryInitResult | RepositoryInitResultV2;
+export type RepositorySetupStatus = "WOULD_CREATE" | "CREATED" | "UNCHANGED" | "BLOCKED" | "CONFLICT" | "PARTIAL_FAILURE";
+export type RepositorySetupArtifactState = "WOULD_CREATE" | "CREATED" | "UNCHANGED" | "CONFLICT" | "ROLLED_BACK" | "PARTIAL";
+export interface RepositorySetupRollback {
+    status: "NOT_REQUIRED" | "COMPLETE" | "PARTIAL";
+    removed: string[];
+    unresolved: string[];
+}
+export interface RepositorySetupArtifact {
+    owner: "init" | "connection";
+    path: string;
+    state: RepositorySetupArtifactState;
+}
+export interface RepositorySetupResult {
+    status: RepositorySetupStatus;
+    client: SetupClient;
+    mode: "dry-run" | "write";
+    init: AnyRepositoryInitResult;
+    connection: ClientConnectionResult;
+    artifacts: RepositorySetupArtifact[];
+    rollback: RepositorySetupRollback;
+    limitations: string[];
+    reasonCodes?: string[];
+    nextActions?: string[];
+    diagnosticPaths?: string[];
+}
+export interface SetupRepositoryDependencies {
+    planInit?(root: string): Promise<AnyRepositoryInitResult>;
+    afterInitApplied?(): Promise<void>;
+    applyInit?(root: string): Promise<AnyRepositoryInitResult>;
+    applyConnection?(): Promise<ClientConnectionResult>;
+    planConnection?(root: string, cliEntry: string, client: SetupClient): Promise<ClientConnectionPlan>;
+}
+export declare function setupRepository(root: string, cliEntry: string, client: SetupClient, write: boolean, dependencies?: SetupRepositoryDependencies): Promise<RepositorySetupResult>;
+export {};
+//# sourceMappingURL=setup.d.ts.map

package/dist/engine/setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../src/engine/setup.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC5B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAEL,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAG5B,MAAM,iBAAiB,CAAC;AAGzB,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,aAAa,CAAC;AAClD,KAAK,uBAAuB,GAAG,oBAAoB,GAAG,sBAAsB,CAAC;AAC7E,MAAM,MAAM,qBAAqB,GAC7B,cAAc,GACd,SAAS,GACT,WAAW,GACX,SAAS,GACT,UAAU,GACV,iBAAiB,CAAC;AACtB,MAAM,MAAM,4BAA4B,GACpC,cAAc,GACd,SAAS,GACT,WAAW,GACX,UAAU,GACV,aAAa,GACb,SAAS,CAAC;AAEd,MAAM,WAAW,uBAAuB;IACtC,MAAM,EAAE,cAAc,GAAG,UAAU,GAAG,SAAS,CAAC;IAChD,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,MAAM,GAAG,YAAY,CAAC;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,4BAA4B,CAAC;CACrC;AAED,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,qBAAqB,CAAC;IAC9B,MAAM,EAAE,WAAW,CAAC;IACpB,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IAC1B,IAAI,EAAE,uBAAuB,CAAC;IAC9B,UAAU,EAAE,sBAAsB,CAAC;IACnC,SAAS,EAAE,uBAAuB,EAAE,CAAC;IACrC,QAAQ,EAAE,uBAAuB,CAAC;IAClC,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAC1D,gBAAgB,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACnC,SAAS,CAAC,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAC3D,eAAe,CAAC,IAAI,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACpD,cAAc,CAAC,CACb,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,WAAW,GAClB,OAAO,CAAC,oBAAoB,CAAC,CAAC;CAClC;AAiJD,wBAAsB,eAAe,CACnC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,WAAW,EACnB,KAAK,EAAE,OAAO,EACd,YAAY,GAAE,2BAAgC,GAC7C,OAAO,CAAC,qBAAqB,CAAC,CAsThC"}

package/dist/engine/setup.js

@@ -0,0 +1,411 @@
+import { lstat, readFile, realpath, unlink } from "node:fs/promises";
+import path from "node:path";
+import { parseRepositoryInitResult, } from "../contracts/index.js";
+import { ClientConnectionApplyError, connectClient, planClientConnection, } from "./connection.js";
+import { initializeRepository, RepositoryInitWriteError } from "./index.js";
+const SETUP_LIMITATIONS = [
+    "Setup configures static initialization and a read-only client connection only.",
+    "It does not authorize UNSANDBOXED execution, reload the client, or prove repository behavior.",
+    "Setup has no cross-process filesystem lock. Concurrent edits can be overwritten during lock regeneration or removed between a rollback byte check and unlink; run only while the trusted repository tree is stable.",
+];
+function failedInitPreflight() {
+    return parseRepositoryInitResult({
+        schemaVersion: "1.0.0",
+        status: "CONFLICT",
+        reasonCodes: ["INIT_PREFLIGHT_FAILED"],
+        detections: {
+            packageManager: null,
+            framework: null,
+            testCommand: null,
+            ciProviders: [],
+            adapterRecommendation: "unavailable",
+            reasonCodes: ["INIT_PREFLIGHT_FAILED"],
+        },
+        actions: [],
+        files: [],
+        requiredOperatorInputs: ["worlds", "candidates"],
+        nextCommands: [{ executable: "assertledger", arguments: ["audit", ".", "--json"] }],
+    });
+}
+function connectionPreflightDiagnostic(error, cliEntry) {
+    const code = error instanceof Error ? error.message : "";
+    const skillPath = path.join(path.dirname(path.dirname(path.resolve(cliEntry))), "integrations", "skill", "SKILL.md");
+    if (code === "CONNECT_BUILD_REQUIRED") {
+        return {
+            reasonCode: "CONNECTION_BUILD_REQUIRED",
+            paths: [path.resolve(cliEntry)],
+            nextAction: "Run `pnpm build`, invoke the generated dist/cli.js, then rerun setup.",
+        };
+    }
+    if (code === "CONNECT_SKILL_REQUIRED") {
+        return {
+            reasonCode: "CONNECTION_SKILL_REQUIRED",
+            paths: [skillPath],
+            nextAction: "Restore integrations/skill/SKILL.md from the installed package, then rerun setup.",
+        };
+    }
+    if (code === "CONNECT_SKILL_PATH_UNSAFE") {
+        return {
+            reasonCode: "CONNECTION_SKILL_PATH_UNSAFE",
+            paths: [skillPath],
+            nextAction: "Replace the packaged skill path with a regular file, then rerun setup.",
+        };
+    }
+    return {
+        reasonCode: "CONNECTION_PREFLIGHT_FAILED",
+        paths: [],
+        nextAction: "Inspect the installed package and client configuration paths, then rerun setup.",
+    };
+}
+function initArtifactState(result, file) {
+    if (result.status === "CONFLICT")
+        return "CONFLICT";
+    return result.actions.some((action) => action.path === file) ? "WOULD_CREATE" : "UNCHANGED";
+}
+async function rollbackCreatedInitFiles(root, plan, ownedPaths, changedUnownedPaths = []) {
+    const removed = [];
+    const unresolved = changedUnownedPaths.map((changedPath) => path.relative(root, changedPath).split(path.sep).join("/"));
+    for (const ownedPath of ownedPaths) {
+        const relative = path.relative(root, ownedPath).split(path.sep).join("/");
+        const plannedFile = plan.files.find((file) => file.path === relative);
+        if (plannedFile === undefined) {
+            unresolved.push(relative);
+            continue;
+        }
+        try {
+            const metadata = await lstat(ownedPath);
+            if (!metadata.isFile() ||
+                metadata.isSymbolicLink() ||
+                !(await readFile(ownedPath)).equals(Buffer.from(plannedFile.content, "utf8"))) {
+                unresolved.push(relative);
+                continue;
+            }
+            await unlink(ownedPath);
+            removed.push(relative);
+        }
+        catch (error) {
+            if (error.code === "ENOENT")
+                removed.push(relative);
+            else
+                unresolved.push(relative);
+        }
+    }
+    removed.sort((left, right) => left.localeCompare(right));
+    unresolved.sort((left, right) => left.localeCompare(right));
+    return {
+        status: unresolved.length === 0 ? "COMPLETE" : "PARTIAL",
+        removed,
+        unresolved,
+    };
+}
+function rollbackArtifactState(root, artifact, rollback) {
+    const relative = path.relative(root, artifact.path).split(path.sep).join("/");
+    if (rollback.removed.includes(relative))
+        return "ROLLED_BACK";
+    if (rollback.unresolved.includes(relative))
+        return "PARTIAL";
+    return artifact.state;
+}
+function mergeRollback(root, init, connection) {
+    const relative = (file) => path.relative(root, file).split(path.sep).join("/");
+    const removed = [...init.removed, ...connection.removed.map(relative)].sort((left, right) => left.localeCompare(right));
+    const unresolved = [...init.unresolved, ...connection.unresolved.map(relative)].sort((left, right) => left.localeCompare(right));
+    return { status: unresolved.length === 0 ? "COMPLETE" : "PARTIAL", removed, unresolved };
+}
+export async function setupRepository(root, cliEntry, client, write, dependencies = {}) {
+    const requestedRoot = path.resolve(root);
+    let initPlan;
+    try {
+        initPlan = await (dependencies.planInit?.(root) ??
+            initializeRepository(root, { dryRun: true }));
+    }
+    catch {
+        return {
+            status: "CONFLICT",
+            client,
+            mode: write ? "write" : "dry-run",
+            init: failedInitPreflight(),
+            connection: { client, status: "CONFLICT", artifacts: [] },
+            artifacts: [],
+            rollback: { status: "NOT_REQUIRED", removed: [], unresolved: [] },
+            limitations: [...SETUP_LIMITATIONS],
+            reasonCodes: ["INIT_PREFLIGHT_FAILED"],
+            nextActions: ["Inspect repository readability and permissions, then rerun setup."],
+            diagnosticPaths: [requestedRoot],
+        };
+    }
+    if (initPlan.status === "CONFLICT" && initPlan.reasonCodes.includes("REPOSITORY_ROOT_INVALID")) {
+        return {
+            status: "CONFLICT",
+            client,
+            mode: write ? "write" : "dry-run",
+            init: initPlan,
+            connection: { client, status: "CONFLICT", artifacts: [] },
+            artifacts: [],
+            rollback: { status: "NOT_REQUIRED", removed: [], unresolved: [] },
+            limitations: [...SETUP_LIMITATIONS],
+            reasonCodes: [...initPlan.reasonCodes],
+            nextActions: ["Provide an existing readable repository directory, then rerun setup."],
+            diagnosticPaths: [requestedRoot],
+        };
+    }
+    try {
+        root = await realpath(root);
+    }
+    catch {
+        return {
+            status: "CONFLICT",
+            client,
+            mode: write ? "write" : "dry-run",
+            init: initPlan,
+            connection: { client, status: "CONFLICT", artifacts: [] },
+            artifacts: [],
+            rollback: { status: "NOT_REQUIRED", removed: [], unresolved: [] },
+            limitations: [...SETUP_LIMITATIONS],
+            reasonCodes: ["SETUP_ROOT_RESOLUTION_FAILED"],
+            nextActions: ["Restore the repository directory, then rerun setup."],
+            diagnosticPaths: [requestedRoot],
+        };
+    }
+    const initArtifacts = initPlan.files.map((file) => ({
+        owner: "init",
+        path: path.join(root, file.path),
+        state: initArtifactState(initPlan, file.path),
+    }));
+    let connectionPlan;
+    try {
+        connectionPlan = await (dependencies.planConnection?.(root, cliEntry, client) ??
+            planClientConnection(root, cliEntry, client));
+    }
+    catch (error) {
+        const diagnostic = connectionPreflightDiagnostic(error, cliEntry);
+        return {
+            status: "CONFLICT",
+            client,
+            mode: write ? "write" : "dry-run",
+            init: initPlan,
+            connection: { client, status: "CONFLICT", artifacts: [] },
+            artifacts: initArtifacts,
+            rollback: { status: "NOT_REQUIRED", removed: [], unresolved: [] },
+            limitations: [...SETUP_LIMITATIONS],
+            reasonCodes: [diagnostic.reasonCode],
+            nextActions: [diagnostic.nextAction],
+            diagnosticPaths: diagnostic.paths,
+        };
+    }
+    const connectionArtifacts = connectionPlan.result.artifacts.flatMap((artifact, index) => {
+        if (artifact.path === null)
+            return [];
+        const state = connectionPlan.states[index];
+        if (state === undefined)
+            throw new Error("CONNECT_PLAN_INCONSISTENT");
+        return [
+            {
+                owner: "connection",
+                path: artifact.path,
+                state: state === "ABSENT" ? "WOULD_CREATE" : state,
+            },
+        ];
+    });
+    const artifacts = [...initArtifacts, ...connectionArtifacts];
+    const connectionPlanReasonCodes = connectionPlan.reasonCodes;
+    const initPlanReasonCodes = initPlan.status === "CONFLICT" || initPlan.status === "BLOCKED" ? initPlan.reasonCodes : [];
+    const reasonCodes = [...new Set([...initPlanReasonCodes, ...(connectionPlanReasonCodes ?? [])])];
+    const nextActions = [
+        ...(initPlanReasonCodes.length === 0
+            ? []
+            : ["Resolve the repository initialization reason codes, then rerun setup."]),
+        ...(connectionPlanReasonCodes?.includes("CONNECTION_TARGET_PATH_UNSAFE")
+            ? ["Replace unsafe client target paths with regular local paths, then rerun setup."]
+            : []),
+        ...(connectionPlanReasonCodes?.includes("CONNECTION_CONTENT_CONFLICT")
+            ? ["Inspect and resolve conflicting client artifact contents, then rerun setup."]
+            : []),
+    ];
+    const diagnosticPaths = [
+        ...(initPlanReasonCodes.length === 0 ? [] : [root]),
+        ...(connectionPlan.diagnosticPaths ?? []),
+    ];
+    const base = {
+        client,
+        mode: write ? "write" : "dry-run",
+        init: initPlan,
+        connection: connectionPlan.result,
+        artifacts,
+        rollback: { status: "NOT_REQUIRED", removed: [], unresolved: [] },
+        limitations: [...SETUP_LIMITATIONS],
+        ...(reasonCodes.length === 0
+            ? {}
+            : {
+                reasonCodes,
+                nextActions,
+                diagnosticPaths,
+            }),
+    };
+    if (initPlan.status === "CONFLICT" || connectionPlan.result.status === "CONFLICT") {
+        return { status: "CONFLICT", ...base };
+    }
+    if (initPlan.status === "BLOCKED")
+        return { status: "BLOCKED", ...base };
+    const unchanged = artifacts.every((artifact) => artifact.state === "UNCHANGED");
+    if (!write)
+        return { status: unchanged ? "UNCHANGED" : "WOULD_CREATE", ...base };
+    let appliedInit;
+    try {
+        appliedInit = await (dependencies.applyInit?.(root) ?? initializeRepository(root));
+    }
+    catch (error) {
+        const ownedPaths = error instanceof RepositoryInitWriteError ? error.installedPaths : [];
+        const initRollback = await rollbackCreatedInitFiles(root, initPlan, ownedPaths);
+        const temporaryArtifact = error instanceof RepositoryInitWriteError && error.temporaryCleanup !== "NOT_OWNED"
+            ? {
+                relative: path.relative(root, error.temporaryPath).split(path.sep).join("/"),
+                absolute: error.temporaryPath,
+                cleanup: error.temporaryCleanup,
+            }
+            : undefined;
+        const rollback = temporaryArtifact
+            ? {
+                status: initRollback.status === "PARTIAL" || temporaryArtifact.cleanup === "UNRESOLVED"
+                    ? "PARTIAL"
+                    : "COMPLETE",
+                removed: [
+                    ...initRollback.removed,
+                    ...(temporaryArtifact.cleanup === "REMOVED" ? [temporaryArtifact.relative] : []),
+                ].sort((left, right) => left.localeCompare(right)),
+                unresolved: [
+                    ...initRollback.unresolved,
+                    ...(temporaryArtifact.cleanup === "UNRESOLVED" ? [temporaryArtifact.relative] : []),
+                ].sort((left, right) => left.localeCompare(right)),
+            }
+            : initRollback;
+        const failedArtifacts = temporaryArtifact === undefined
+            ? artifacts
+            : [
+                ...artifacts,
+                {
+                    owner: "init",
+                    path: temporaryArtifact.absolute,
+                    state: temporaryArtifact.cleanup === "UNRESOLVED"
+                        ? "PARTIAL"
+                        : "ROLLED_BACK",
+                },
+            ];
+        return {
+            status: "PARTIAL_FAILURE",
+            ...base,
+            artifacts: failedArtifacts.map((artifact) => ({
+                ...artifact,
+                state: artifact.path === temporaryArtifact?.absolute
+                    ? artifact.state
+                    : rollbackArtifactState(root, artifact, rollback),
+            })),
+            rollback,
+            reasonCodes: [
+                error instanceof RepositoryInitWriteError ? "INIT_APPLY_WRITE_FAILED" : "INIT_APPLY_FAILED",
+            ],
+            nextActions: ["Inspect rollback details, resolve unresolved paths, then rerun setup."],
+            diagnosticPaths: rollback.unresolved.map((relative) => path.join(root, relative)),
+        };
+    }
+    if (appliedInit.status === "CONFLICT" || appliedInit.status === "BLOCKED") {
+        return {
+            status: appliedInit.status,
+            ...base,
+            init: appliedInit,
+        };
+    }
+    let appliedConnection;
+    try {
+        await dependencies.afterInitApplied?.();
+        appliedConnection = await (dependencies.applyConnection?.() ??
+            connectClient(root, cliEntry, client, true));
+    }
+    catch (error) {
+        const initRollback = await rollbackCreatedInitFiles(root, appliedInit, appliedInit.actions
+            .filter((action) => action.kind === "CREATE")
+            .map((action) => path.join(root, action.path)), appliedInit.actions
+            .filter((action) => action.kind !== "CREATE")
+            .map((action) => path.join(root, action.path)));
+        if (!(error instanceof ClientConnectionApplyError)) {
+            return {
+                status: "PARTIAL_FAILURE",
+                ...base,
+                init: appliedInit,
+                artifacts: artifacts.map((artifact) => ({
+                    ...artifact,
+                    state: rollbackArtifactState(root, artifact, initRollback),
+                })),
+                rollback: initRollback,
+                reasonCodes: ["CONNECTION_APPLY_FAILED"],
+                nextActions: ["Inspect rollback details, resolve unresolved paths, then rerun setup."],
+                diagnosticPaths: initRollback.unresolved.map((relative) => path.join(root, relative)),
+            };
+        }
+        const rollback = mergeRollback(root, initRollback, error.rollback);
+        return {
+            status: "PARTIAL_FAILURE",
+            ...base,
+            init: appliedInit,
+            artifacts: artifacts.map((artifact) => ({
+                ...artifact,
+                state: rollbackArtifactState(root, artifact, rollback),
+            })),
+            rollback,
+            reasonCodes: ["CONNECTION_APPLY_FAILED"],
+            nextActions: ["Inspect rollback details, resolve unresolved paths, then rerun setup."],
+            diagnosticPaths: rollback.unresolved.map((relative) => path.join(root, relative)),
+        };
+    }
+    if (appliedConnection.status === "CONFLICT") {
+        const rollback = await rollbackCreatedInitFiles(root, appliedInit, appliedInit.actions
+            .filter((action) => action.kind === "CREATE")
+            .map((action) => path.join(root, action.path)), appliedInit.actions
+            .filter((action) => action.kind !== "CREATE")
+            .map((action) => path.join(root, action.path)));
+        const appliedReasonCodes = appliedConnection.reasonCodes ?? ["CONNECTION_APPLY_CONFLICT"];
+        const appliedDiagnosticPaths = appliedConnection.diagnosticPaths ??
+            appliedConnection.artifacts.flatMap((artifact) => artifact.path === null ? [] : [artifact.path]);
+        const appliedNextActions = [
+            ...(appliedReasonCodes.includes("CONNECTION_TARGET_PATH_UNSAFE")
+                ? ["Replace unsafe client target paths with regular local paths, then rerun setup."]
+                : []),
+            ...(appliedReasonCodes.includes("CONNECTION_CONTENT_CONFLICT")
+                ? ["Inspect and resolve conflicting client artifact contents, then rerun setup."]
+                : []),
+            ...(appliedReasonCodes.includes("CONNECTION_APPLY_CONFLICT")
+                ? ["Inspect conflicting client artifacts, then rerun setup."]
+                : []),
+        ];
+        return {
+            status: rollback.status === "COMPLETE" ? "CONFLICT" : "PARTIAL_FAILURE",
+            ...base,
+            init: appliedInit,
+            connection: appliedConnection,
+            artifacts: artifacts.map((artifact) => ({
+                ...artifact,
+                state: artifact.owner === "connection"
+                    ? "CONFLICT"
+                    : rollbackArtifactState(root, artifact, rollback),
+            })),
+            rollback,
+            reasonCodes: appliedReasonCodes,
+            nextActions: appliedNextActions,
+            diagnosticPaths: appliedDiagnosticPaths,
+        };
+    }
+    const appliedArtifacts = artifacts.map((artifact) => ({
+        ...artifact,
+        state: artifact.state === "WOULD_CREATE" ? "CREATED" : "UNCHANGED",
+    }));
+    return {
+        status: appliedInit.status === "UNCHANGED" && appliedConnection.status === "UNCHANGED"
+            ? "UNCHANGED"
+            : "CREATED",
+        ...base,
+        init: appliedInit,
+        connection: appliedConnection,
+        artifacts: appliedArtifacts,
+    };
+}
+//# sourceMappingURL=setup.js.map

package/dist/engine/setup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.js","sourceRoot":"","sources":["../../src/engine/setup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACL,yBAAyB,GAG1B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,0BAA0B,EAG1B,aAAa,EACb,oBAAoB,GACrB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,oBAAoB,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAyD5E,MAAM,iBAAiB,GAAG;IACxB,gFAAgF;IAChF,+FAA+F;IAC/F,qNAAqN;CACtN,CAAC;AAEF,SAAS,mBAAmB;IAC1B,OAAO,yBAAyB,CAAC;QAC/B,aAAa,EAAE,OAAO;QACtB,MAAM,EAAE,UAAU;QAClB,WAAW,EAAE,CAAC,uBAAuB,CAAC;QACtC,UAAU,EAAE;YACV,cAAc,EAAE,IAAI;YACpB,SAAS,EAAE,IAAI;YACf,WAAW,EAAE,IAAI;YACjB,WAAW,EAAE,EAAE;YACf,qBAAqB,EAAE,aAAa;YACpC,WAAW,EAAE,CAAC,uBAAuB,CAAC;SACvC;QACD,OAAO,EAAE,EAAE;QACX,KAAK,EAAE,EAAE;QACT,sBAAsB,EAAE,CAAC,QAAQ,EAAE,YAAY,CAAC;QAChD,YAAY,EAAE,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC;KACpF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,6BAA6B,CACpC,KAAc,EACd,QAAgB;IAEhB,MAAM,IAAI,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IACzD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CACzB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAClD,cAAc,EACd,OAAO,EACP,UAAU,CACX,CAAC;IACF,IAAI,IAAI,KAAK,wBAAwB,EAAE,CAAC;QACtC,OAAO;YACL,UAAU,EAAE,2BAA2B;YACvC,KAAK,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC/B,UAAU,EAAE,uEAAuE;SACpF,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,KAAK,wBAAwB,EAAE,CAAC;QACtC,OAAO;YACL,UAAU,EAAE,2BAA2B;YACvC,KAAK,EAAE,CAAC,SAAS,CAAC;YAClB,UAAU,EACR,mFAAmF;SACtF,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,KAAK,2BAA2B,EAAE,CAAC;QACzC,OAAO;YACL,UAAU,EAAE,8BAA8B;YAC1C,KAAK,EAAE,CAAC,SAAS,CAAC;YAClB,UAAU,EAAE,wEAAwE;SACrF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,UAAU,EAAE,6BAA6B;QACzC,KAAK,EAAE,EAAE;QACT,UAAU,EAAE,iFAAiF;KAC9F,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,MAA+B,EAC/B,IAAY;IAEZ,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,UAAU,CAAC;IACpD,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC;AAC9F,CAAC;AAED,KAAK,UAAU,wBAAwB,CACrC,IAAY,EACZ,IAA6B,EAC7B,UAA6B,EAC7B,mBAAmB,GAAsB,EAAE;IAE3C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CACzD,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAC3D,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1E,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QACtE,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,SAAS,CAAC,CAAC;YACxC,IACE,CAAC,QAAQ,CAAC,MAAM,EAAE;gBAClB,QAAQ,CAAC,cAAc,EAAE;gBACzB,CAAC,CAAC,MAAM,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,EAC7E,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC1B,SAAS;YACX,CAAC;YACD,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;;gBAC1E,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IACzD,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5D,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;QACxD,OAAO;QACP,UAAU;KACX,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAY,EACZ,QAAiC,EACjC,QAAiC;IAEjC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9E,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,aAAa,CAAC;IAC9D,IAAI,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7D,OAAO,QAAQ,CAAC,KAAK,CAAC;AACxB,CAAC;AAED,SAAS,aAAa,CACpB,IAAY,EACZ,IAA6B,EAC7B,UAAuD;IAEvD,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvF,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC1F,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAC1B,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAClF,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAC3C,CAAC;IACF,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAC3F,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,IAAY,EACZ,QAAgB,EAChB,MAAmB,EACnB,KAAc,EACd,YAAY,GAAgC,EAAE;IAE9C,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,QAAiC,CAAC;IACtC,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC;YAC7C,oBAAoB,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,MAAM;YACN,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACjC,IAAI,EAAE,mBAAmB,EAAE;YAC3B,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE;YACzD,SAAS,EAAE,EAAE;YACb,QAAQ,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE;YACjE,WAAW,EAAE,CAAC,GAAG,iBAAiB,CAAC;YACnC,WAAW,EAAE,CAAC,uBAAuB,CAAC;YACtC,WAAW,EAAE,CAAC,mEAAmE,CAAC;YAClF,eAAe,EAAE,CAAC,aAAa,CAAC;SACjC,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,IAAI,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,yBAAyB,CAAC,EAAE,CAAC;QAC/F,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,MAAM;YACN,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACjC,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE;YACzD,SAAS,EAAE,EAAE;YACb,QAAQ,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE;YACjE,WAAW,EAAE,CAAC,GAAG,iBAAiB,CAAC;YACnC,WAAW,EAAE,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC;YACtC,WAAW,EAAE,CAAC,sEAAsE,CAAC;YACrF,eAAe,EAAE,CAAC,aAAa,CAAC;SACjC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,MAAM;YACN,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACjC,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE;YACzD,SAAS,EAAE,EAAE;YACb,QAAQ,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE;YACjE,WAAW,EAAE,CAAC,GAAG,iBAAiB,CAAC;YACnC,WAAW,EAAE,CAAC,8BAA8B,CAAC;YAC7C,WAAW,EAAE,CAAC,qDAAqD,CAAC;YACpE,eAAe,EAAE,CAAC,aAAa,CAAC;SACjC,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAA8B,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC7E,KAAK,EAAE,MAAM;QACb,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QAChC,KAAK,EAAE,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC;KAC9C,CAAC,CAAC,CAAC;IACJ,IAAI,cAAoC,CAAC;IACzC,IAAI,CAAC;QACH,cAAc,GAAG,MAAM,CAAC,YAAY,CAAC,cAAc,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;YAC3E,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,UAAU,GAAG,6BAA6B,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAClE,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,MAAM;YACN,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACjC,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE;YACzD,SAAS,EAAE,aAAa;YACxB,QAAQ,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE;YACjE,WAAW,EAAE,CAAC,GAAG,iBAAiB,CAAC;YACnC,WAAW,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;YACpC,WAAW,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;YACpC,eAAe,EAAE,UAAU,CAAC,KAAK;SAClC,CAAC;IACJ,CAAC;IACD,MAAM,mBAAmB,GAA8B,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAC5F,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QAClB,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QACtE,OAAO;YACL;gBACE,KAAK,EAAE,YAAqB;gBAC5B,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,KAAK,EAAE,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAE,cAAwB,CAAC,CAAC,CAAC,KAAK;aAC9D;SACF,CAAC;IACJ,CAAC,CACF,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,GAAG,aAAa,EAAE,GAAG,mBAAmB,CAAC,CAAC;IAC7D,MAAM,yBAAyB,GAAG,cAAc,CAAC,WAAW,CAAC;IAC7D,MAAM,mBAAmB,GACvB,QAAQ,CAAC,MAAM,KAAK,UAAU,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9F,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,mBAAmB,EAAE,GAAG,CAAC,yBAAyB,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjG,MAAM,WAAW,GAAG;QAClB,GAAG,CAAC,mBAAmB,CAAC,MAAM,KAAK,CAAC;YAClC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,uEAAuE,CAAC,CAAC;QAC9E,GAAG,CAAC,yBAAyB,EAAE,QAAQ,CAAC,+BAA+B,CAAC;YACtE,CAAC,CAAC,CAAC,gFAAgF,CAAC;YACpF,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,yBAAyB,EAAE,QAAQ,CAAC,6BAA6B,CAAC;YACpE,CAAC,CAAC,CAAC,6EAA6E,CAAC;YACjF,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;IACF,MAAM,eAAe,GAAG;QACtB,GAAG,CAAC,mBAAmB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnD,GAAG,CAAC,cAAc,CAAC,eAAe,IAAI,EAAE,CAAC;KAC1C,CAAC;IACF,MAAM,IAAI,GAAG;QACX,MAAM;QACN,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE,OAAiB,CAAC,CAAC,CAAE,SAAmB;QACvD,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,cAAc,CAAC,MAAM;QACjC,SAAS;QACT,QAAQ,EAAE,EAAE,MAAM,EAAE,cAAuB,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE;QAC1E,WAAW,EAAE,CAAC,GAAG,iBAAiB,CAAC;QACnC,GAAG,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;YAC1B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,WAAW;gBACX,WAAW;gBACX,eAAe;aAChB,CAAC;KACP,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,IAAI,cAAc,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAClF,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,CAAC;IACzC,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,IAAI,EAAE,CAAC;IACzE,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC;IAChF,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,EAAE,GAAG,IAAI,EAAE,CAAC;IAEjF,IAAI,WAAoC,CAAC;IACzC,IAAI,CAAC;QACH,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,UAAU,GAAG,KAAK,YAAY,wBAAwB,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,MAAM,YAAY,GAAG,MAAM,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;QAChF,MAAM,iBAAiB,GACrB,KAAK,YAAY,wBAAwB,IAAI,KAAK,CAAC,gBAAgB,KAAK,WAAW;YACjF,CAAC,CAAC;gBACE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;gBAC5E,QAAQ,EAAE,KAAK,CAAC,aAAa;gBAC7B,OAAO,EAAE,KAAK,CAAC,gBAAgB;aAChC;YACH,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,QAAQ,GAA4B,iBAAiB;YACzD,CAAC,CAAC;gBACE,MAAM,EACJ,YAAY,CAAC,MAAM,KAAK,SAAS,IAAI,iBAAiB,CAAC,OAAO,KAAK,YAAY;oBAC7E,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,UAAU;gBAChB,OAAO,EAAE;oBACP,GAAG,YAAY,CAAC,OAAO;oBACvB,GAAG,CAAC,iBAAiB,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;iBACjF,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;gBAClD,UAAU,EAAE;oBACV,GAAG,YAAY,CAAC,UAAU;oBAC1B,GAAG,CAAC,iBAAiB,CAAC,OAAO,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;iBACpF,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;aACnD;YACH,CAAC,CAAC,YAAY,CAAC;QACjB,MAAM,eAAe,GACnB,iBAAiB,KAAK,SAAS;YAC7B,CAAC,CAAC,SAAS;YACX,CAAC,CAAC;gBACE,GAAG,SAAS;gBACZ;oBACE,KAAK,EAAE,MAAe;oBACtB,IAAI,EAAE,iBAAiB,CAAC,QAAQ;oBAChC,KAAK,EACH,iBAAiB,CAAC,OAAO,KAAK,YAAY;wBACxC,CAAC,CAAE,SAAmB;wBACtB,CAAC,CAAE,aAAuB;iBAC/B;aACF,CAAC;QACR,OAAO;YACL,MAAM,EAAE,iBAAiB;YACzB,GAAG,IAAI;YACP,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;gBAC5C,GAAG,QAAQ;gBACX,KAAK,EACH,QAAQ,CAAC,IAAI,KAAK,iBAAiB,EAAE,QAAQ;oBAC3C,CAAC,CAAC,QAAQ,CAAC,KAAK;oBAChB,CAAC,CAAC,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC;aACtD,CAAC,CAAC;YACH,QAAQ;YACR,WAAW,EAAE;gBACX,KAAK,YAAY,wBAAwB,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,mBAAmB;aAC5F;YACD,WAAW,EAAE,CAAC,uEAAuE,CAAC;YACtF,eAAe,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;SAClF,CAAC;IACJ,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,KAAK,UAAU,IAAI,WAAW,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1E,OAAO;YACL,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,GAAG,IAAI;YACP,IAAI,EAAE,WAAW;SAClB,CAAC;IACJ,CAAC;IACD,IAAI,iBAAyC,CAAC;IAC9C,IAAI,CAAC;QACH,MAAM,YAAY,CAAC,gBAAgB,EAAE,EAAE,CAAC;QACxC,iBAAiB,GAAG,MAAM,CAAC,YAAY,CAAC,eAAe,EAAE,EAAE;YACzD,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IACjD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,YAAY,GAAG,MAAM,wBAAwB,CACjD,IAAI,EACJ,WAAW,EACX,WAAW,CAAC,OAAO;aAChB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;aAC5C,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,EAChD,WAAW,CAAC,OAAO;aAChB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;aAC5C,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CACjD,CAAC;QACF,IAAI,CAAC,CAAC,KAAK,YAAY,0BAA0B,CAAC,EAAE,CAAC;YACnD,OAAO;gBACL,MAAM,EAAE,iBAAiB;gBACzB,GAAG,IAAI;gBACP,IAAI,EAAE,WAAW;gBACjB,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;oBACtC,GAAG,QAAQ;oBACX,KAAK,EAAE,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC;iBAC3D,CAAC,CAAC;gBACH,QAAQ,EAAE,YAAY;gBACtB,WAAW,EAAE,CAAC,yBAAyB,CAAC;gBACxC,WAAW,EAAE,CAAC,uEAAuE,CAAC;gBACtF,eAAe,EAAE,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;aACtF,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACnE,OAAO;YACL,MAAM,EAAE,iBAAiB;YACzB,GAAG,IAAI;YACP,IAAI,EAAE,WAAW;YACjB,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;gBACtC,GAAG,QAAQ;gBACX,KAAK,EAAE,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC;aACvD,CAAC,CAAC;YACH,QAAQ;YACR,WAAW,EAAE,CAAC,yBAAyB,CAAC;YACxC,WAAW,EAAE,CAAC,uEAAuE,CAAC;YACtF,eAAe,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;SAClF,CAAC;IACJ,CAAC;IACD,IAAI,iBAAiB,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAC7C,IAAI,EACJ,WAAW,EACX,WAAW,CAAC,OAAO;aAChB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;aAC5C,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,EAChD,WAAW,CAAC,OAAO;aAChB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;aAC5C,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CACjD,CAAC;QACF,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,WAAW,IAAI,CAAC,2BAA2B,CAAC,CAAC;QAC1F,MAAM,sBAAsB,GAC1B,iBAAiB,CAAC,eAAe;YACjC,iBAAiB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC/C,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAC9C,CAAC;QACJ,MAAM,kBAAkB,GAAG;YACzB,GAAG,CAAC,kBAAkB,CAAC,QAAQ,CAAC,+BAA+B,CAAC;gBAC9D,CAAC,CAAC,CAAC,gFAAgF,CAAC;gBACpF,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,kBAAkB,CAAC,QAAQ,CAAC,6BAA6B,CAAC;gBAC5D,CAAC,CAAC,CAAC,6EAA6E,CAAC;gBACjF,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,kBAAkB,CAAC,QAAQ,CAAC,2BAA2B,CAAC;gBAC1D,CAAC,CAAC,CAAC,yDAAyD,CAAC;gBAC7D,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;QACF,OAAO;YACL,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,iBAAiB;YACvE,GAAG,IAAI;YACP,IAAI,EAAE,WAAW;YACjB,UAAU,EAAE,iBAAiB;YAC7B,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;gBACtC,GAAG,QAAQ;gBACX,KAAK,EACH,QAAQ,CAAC,KAAK,KAAK,YAAY;oBAC7B,CAAC,CAAE,UAAoB;oBACvB,CAAC,CAAC,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC;aACtD,CAAC,CAAC;YACH,QAAQ;YACR,WAAW,EAAE,kBAAkB;YAC/B,WAAW,EAAE,kBAAkB;YAC/B,eAAe,EAAE,sBAAsB;SACxC,CAAC;IACJ,CAAC;IACD,MAAM,gBAAgB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACpD,GAAG,QAAQ;QACX,KAAK,EAAE,QAAQ,CAAC,KAAK,KAAK,cAAc,CAAC,CAAC,CAAE,SAAmB,CAAC,CAAC,CAAE,WAAqB;KACzF,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,MAAM,EACJ,WAAW,CAAC,MAAM,KAAK,WAAW,IAAI,iBAAiB,CAAC,MAAM,KAAK,WAAW;YAC5E,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,SAAS;QACf,GAAG,IAAI;QACP,IAAI,EAAE,WAAW;QACjB,UAAU,EAAE,iBAAiB;QAC7B,SAAS,EAAE,gBAAgB;KAC5B,CAAC;AACJ,CAAC"}

package/docs/developer-experience.md

@@ -11,6 +11,38 @@ The JSON form is the existing repository initialization result. `WOULD_CREATE` m
 configuration can be planned; it does not mean worlds, candidates, campaign evidence, or an MCP
 client connection are ready. `BLOCKED` exits with code 3 and `CONFLICT` with code 4.
 
+For a single onboarding preflight, compose static initialization and the client connection:
+
+```text
+assertledger setup . --client codex --dry-run --json
+assertledger setup . --client codex --write --json
+assertledger setup . --client claude-code --write --json
+```
+
+`setup` previews when neither `--dry-run` nor `--write` is supplied. It checks every managed init
+and connection target before writing any of them. A blocked initialization or any conflict leaves
+the full managed set unchanged during preflight. If a connection conflict appears after init,
+rollback removes only files created by this invocation whose bytes still match the plan. A changed
+or regenerated file is preserved and yields `PARTIAL_FAILURE`, with the unresolved paths in JSON.
+Exit codes are 3 for blocked readiness, 4 for a fully rolled-back conflict, 5 for partial failure or
+unexpected I/O, and 64 for invalid CLI usage.
+
+`setup --write` has no cross-process filesystem lock and requires a stable trusted repository tree.
+A concurrent edit can be overwritten while an existing lock file is regenerated, or removed if it
+replaces a managed file after the rollback byte check but before unlink. Stop concurrent writers
+before setup; this stability requirement is a reported limitation, not a concurrency guarantee.
+
+To confirm the installed engine can run its packaged example, execute:
+
+```text
+assertledger demo --allow-unsafe-execution --json
+```
+
+The authorization applies only to a copy of the shipped fixture in a disposable temporary
+directory. The result is explicitly scoped to `SHIPPED_FIXTURE_ONLY`; it is not evidence about the
+user repository and does not change that repository. Its `status` preserves the exact decision:
+`VERIFIED`, `REJECTED`, `INCONCLUSIVE`, or `ENGINE_ERROR`. Exit codes match `verify`: 0, 2, 3, or 5.
+
 After installing and building AssertLedger, generate a project-local Codex MCP descriptor:
 
 ```text

package/docs/reference.md

@@ -14,6 +14,9 @@ For a first run, use `assertledger doctor .` and the [Git qualification guide](g
 ```sh
 assertledger init . --dry-run --json
 assertledger init . --json
+assertledger setup . --client codex --dry-run --json
+assertledger setup . --client codex --write --json
+assertledger demo --allow-unsafe-execution --json
 assertledger audit . --json
 assertledger analyze . --json
 assertledger schema verification-request --json

package/docs/repository-init.md

@@ -11,6 +11,20 @@ assertledger init . --json
 assertledger audit . --json
 ```
 
+To initialize and install a project-local read-only agent connection through one preflight, use:
+
+```sh
+assertledger setup . --client codex --dry-run --json
+assertledger setup . --client codex --write --json
+```
+
+`setup` previews by default. It composes the existing `init` and `connect` checks and refuses the
+whole operation before its first managed-file write if either side is blocked or conflicting. Use
+`--client claude-code` for Claude Code. It does not authorize execution, reload a client, or prove
+repository behavior. If a new connection conflict appears after init, rollback removes only regular
+init files created by this setup call whose bytes still equal the plan. A regenerated or changed
+file is preserved and reported under `PARTIAL_FAILURE` with exit code 5.
+
 The dry run emits the exact canonical bytes and SHA-256 digests that a subsequent write plans to
 use. Writes use a same-directory temporary file followed by an atomic rename. A second run returns
 `UNCHANGED` without rewriting matching files. A missing lock or a stale, structurally valid lock

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "assertledger",
-  "version": "1.2.0",
+  "version": "1.3.0",
   "description": "Verify that regression tests detect a declared bug, with deterministic verdicts and replayable evidence.",
   "type": "module",
   "private": false,