@potential-guide/check-sdk 0.0.0-stage → 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 shazhou-ww
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -1,3 +1,48 @@
-# Temporary Holding Version
+# Check SDK
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+Shared Check author library for Node >=22.13. No environment algorithms,
+Engine lifecycle, publishing or second Bundle compiler.
+
+| Import | Purpose |
+| --- | --- |
+| `@potential-guide/check-sdk` | `createCheckResult`, `createCheckTask`, result types; no runtime author/Schema imports |
+| `@potential-guide/check-sdk/contracts` | `createCheckContract`, result/problem TypeBox Schema factories |
+| `@potential-guide/check-sdk/authoring` | Check YAML Schema, `prepareCheck`, `validateReference`, `verifyCheckResources` |
+
+Reference: [results](references/en/check-result.md),
+[callbacks](references/en/check-callback.md). These files ship with npm; they
+are not automatically included in business Bundles.
+
+## Author flow
+
+Use the [small independent text check](examples/text/README.md).
+Check Build YAML declares name/kind, source root/entry/contract, canonical
+BCP 47 languages, stable problemCodes, referenceRoot and explicit per-language
+check/problem mappings. Unknown properties fail; a zero-code list is valid.
+Optional `resources: [{from: "assets/file.json", to: "resources/file.json"}]`
+selects additional exact files, with no glob expansion.
+
+`prepareCheck(file)` validates every declared language's `check.md` and
+`problems/<code>.md`, rejects undeclared files/languages/codes, symlinks,
+duplicate mappings and escaping paths, and snapshots inputs under
+`dist/staging/<kind>/`. Every Reference needs YAML frontmatter containing
+**only** nonempty `title` and `description` (at most 200 Unicode code points).
+Bodies, sections, translations, links and anchors are not parsed or validated.
+All generated inputs are under `dist/`; definitions at
+`dist/definitions/<kind>.{js,d.ts}` are derived from YAML and imported by both
+business code and its contract. Run preparation before TypeScript.
+
+Call the ordinary `buildTask(prepared.buildFile)` from
+`@potential-guide/pguide-task-bundle` next. It consumes only the fixed staged
+business inputs. Read its CAR with `readTaskArtifact` and call
+`verifyCheckResources(prepared, artifact.files)` before accepting any output.
+The exact resource set **and bytes**, including `resources/check.json`, must
+match. Accept candidates only after all checks succeed; never replace the
+last accepted output/index on failure. The SDK does not invoke the compiler
+or publish artifacts.
+
+Bundle references are available at
+`ipfs://<CID>/resources/references/<language>/check.md` and
+`ipfs://<CID>/resources/references/<language>/problems/<code>.md`.
+`resources/check.json` maps languages and codes to these Bundle-relative paths.
+This is a Check convention, not automatic Engine document presentation.

package/dist/authoring.d.ts

@@ -0,0 +1,34 @@
+import { type Static } from "@sinclair/typebox";
+export declare const checkBuildSchema: import("@sinclair/typebox").TObject<{
+    name: import("@sinclair/typebox").TString;
+    kind: import("@sinclair/typebox").TString;
+    source: import("@sinclair/typebox").TObject<{
+        root: import("@sinclair/typebox").TString;
+        entry: import("@sinclair/typebox").TString;
+        contract: import("@sinclair/typebox").TString;
+    }>;
+    languages: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    problemCodes: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    references: import("@sinclair/typebox").TRecord<import("@sinclair/typebox").TString, import("@sinclair/typebox").TObject<{
+        check: import("@sinclair/typebox").TString;
+        problems: import("@sinclair/typebox").TRecord<import("@sinclair/typebox").TString, import("@sinclair/typebox").TString>;
+    }>>;
+    referenceRoot: import("@sinclair/typebox").TString;
+    resources: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
+        from: import("@sinclair/typebox").TString;
+        to: import("@sinclair/typebox").TString;
+    }>>>;
+}>;
+export type CheckBuild = Static<typeof checkBuildSchema>;
+export declare function validateReference(bytes: Uint8Array, path: string): void;
+export interface PreparedCheck {
+    kind: string;
+    buildFile: string;
+    staging: string;
+    resources: ReadonlyMap<string, Buffer>;
+}
+/** Freeze author inputs before the ordinary Task compiler runs. */
+export declare function prepareCheck(buildFile: string): Promise<PreparedCheck>;
+/** Compare the CAR's actual resource set and bytes, not its author include list. */
+export declare function verifyCheckResources(prepared: PreparedCheck, artifact: ReadonlyMap<string, Uint8Array>): void;
+//# sourceMappingURL=authoring.d.ts.map

package/dist/authoring.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"authoring.d.ts","sourceRoot":"","sources":["../src/authoring.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,MAAM,EAAQ,MAAM,mBAAmB,CAAC;AAKtD,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;EA2B5B,CAAC;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAwEzD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAqBvE;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACxC;AAED,mEAAmE;AACnE,wBAAsB,YAAY,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CAmK5E;AAED,oFAAoF;AACpF,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,aAAa,EACvB,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,GACxC,IAAI,CAYN"}

package/dist/authoring.js

@@ -0,0 +1,270 @@
+import { lstat, mkdir, readdir, readFile, rm, writeFile } from "node:fs/promises";
+import { dirname, join, resolve } from "node:path";
+import { Type } from "@sinclair/typebox";
+import { Value } from "@sinclair/typebox/value";
+import { parseDocument, stringify } from "yaml";
+const pathSchema = Type.String({ minLength: 1 });
+export const checkBuildSchema = Type.Object({
+    name: Type.String({ minLength: 1 }),
+    kind: Type.String({ pattern: "^[a-z][a-z0-9-]*$" }),
+    source: Type.Object({ root: pathSchema, entry: pathSchema, contract: pathSchema }, { additionalProperties: false }),
+    languages: Type.Array(Type.String(), { minItems: 1, uniqueItems: true }),
+    problemCodes: Type.Array(Type.String({ pattern: "^[a-z][a-z0-9-]*$", maxLength: 4096 }), {
+        uniqueItems: true,
+    }),
+    references: Type.Record(Type.String(), Type.Object({ check: pathSchema, problems: Type.Record(Type.String(), pathSchema) }, { additionalProperties: false })),
+    referenceRoot: pathSchema,
+    resources: Type.Optional(Type.Array(Type.Object({ from: pathSchema, to: pathSchema }, { additionalProperties: false }))),
+}, { additionalProperties: false });
+function yaml(text, file) {
+    const document = parseDocument(text, { uniqueKeys: true });
+    if (document.errors.length)
+        throw new Error(`${file}: ${document.errors.join("; ")}`);
+    return document.toJS({ maxAliasCount: 0 });
+}
+function portable(path) {
+    if (!path ||
+        path.includes("\\") ||
+        path.includes("\0") ||
+        path.split("/").some((part) => !part || part === "." || part === "..") ||
+        /[:*?[\]{}]/.test(path))
+        throw new Error(`Invalid relative path: ${path}`);
+    return path;
+}
+async function safeFile(root, path) {
+    const parts = portable(path).split("/");
+    let current = root;
+    for (const [index, part] of parts.entries()) {
+        current = join(current, part);
+        const info = await lstat(current);
+        if (info.isSymbolicLink() || (index < parts.length - 1 ? !info.isDirectory() : !info.isFile()))
+            throw new Error(`Not an ordinary file path: ${current}`);
+    }
+    return readFile(current);
+}
+async function files(root, prefix = "") {
+    const info = await lstat(root);
+    if (!info.isDirectory() || info.isSymbolicLink())
+        throw new Error(`Not an ordinary directory: ${root}`);
+    const output = [];
+    for (const entry of await readdir(root, { withFileTypes: true })) {
+        const path = prefix ? `${prefix}/${entry.name}` : entry.name;
+        if (entry.isSymbolicLink())
+            throw new Error(`Linked input: ${path}`);
+        if (entry.isDirectory())
+            output.push(...(await files(join(root, entry.name), path)));
+        else if (entry.isFile())
+            output.push(path);
+        else
+            throw new Error(`Not an ordinary input: ${path}`);
+    }
+    return output.sort();
+}
+async function safeDirectory(root, path) {
+    let current = root;
+    for (const part of portable(path).split("/")) {
+        current = join(current, part);
+        const info = await lstat(current);
+        if (!info.isDirectory() || info.isSymbolicLink())
+            throw new Error(`Not an ordinary directory: ${current}`);
+    }
+}
+async function outputDirectory(root, path) {
+    let current = root;
+    for (const part of portable(path).split("/")) {
+        current = join(current, part);
+        try {
+            await mkdir(current);
+        }
+        catch (error) {
+            if (!(error instanceof Error && "code" in error && error.code === "EEXIST"))
+                throw error;
+        }
+        const info = await lstat(current);
+        if (!info.isDirectory() || info.isSymbolicLink())
+            throw new Error(`Not an ordinary output directory: ${current}`);
+    }
+}
+export function validateReference(bytes, path) {
+    const text = new TextDecoder("utf-8", { fatal: true }).decode(bytes).replace(/^\uFEFF/, "");
+    const match = /^---\r?\n([\s\S]*?)\r?\n---(?:\r?\n|$)/.exec(text);
+    if (!match)
+        throw new Error(`${path}: missing Reference YAML frontmatter`);
+    const metadata = yaml(match[1] ?? "", path);
+    if (typeof metadata !== "object" ||
+        metadata === null ||
+        Array.isArray(metadata) ||
+        Object.keys(metadata).some((key) => !["title", "description"].includes(key)) ||
+        !("title" in metadata) ||
+        typeof metadata.title !== "string" ||
+        !metadata.title.trim() ||
+        !("description" in metadata) ||
+        typeof metadata.description !== "string" ||
+        !metadata.description.trim() ||
+        [...metadata.description].length > 200)
+        throw new Error(`${path}: Reference requires only nonempty title and description (<=200 code points)`);
+}
+/** Freeze author inputs before the ordinary Task compiler runs. */
+export async function prepareCheck(buildFile) {
+    const root = dirname(resolve(buildFile));
+    const raw = yaml(await readFile(buildFile, "utf8"), buildFile);
+    if (!Value.Check(checkBuildSchema, raw))
+        throw new Error(`${buildFile}: invalid Check Build YAML: ${[...Value.Errors(checkBuildSchema, raw)].map((error) => `${error.path} ${error.message}`).join("; ")}`);
+    const config = raw;
+    const fail = (message) => {
+        throw new Error(`Check ${config.kind}: ${message}`);
+    };
+    for (const language of config.languages) {
+        try {
+            if (Intl.getCanonicalLocales(language)[0] !== language)
+                fail(`noncanonical language ${language}`);
+        }
+        catch {
+            fail(`invalid language ${language}`);
+        }
+    }
+    if (Object.keys(config.references).some((language) => !config.languages.includes(language)))
+        fail("unknown Reference language");
+    portable(config.referenceRoot);
+    portable(config.source.root);
+    if ([config.source.root, config.referenceRoot].some((path) => path.split("/")[0] === "dist"))
+        fail("author source/Reference roots must not overlap generated dist outputs");
+    await safeDirectory(root, config.source.root);
+    await safeDirectory(root, config.referenceRoot);
+    for (const entry of await readdir(join(root, config.referenceRoot), { withFileTypes: true })) {
+        if (!entry.isDirectory() || !config.languages.includes(entry.name))
+            fail(`unknown language or filename ${config.referenceRoot}/${entry.name}`);
+        for (const child of await readdir(join(root, config.referenceRoot, entry.name), {
+            withFileTypes: true,
+        })) {
+            if (child.name === "check.md" && child.isFile())
+                continue;
+            if (child.name !== "problems" || !child.isDirectory())
+                fail(`unknown Reference path ${config.referenceRoot}/${entry.name}/${child.name}`);
+            for (const problem of await readdir(join(root, config.referenceRoot, entry.name, "problems"), { withFileTypes: true }))
+                if (!problem.isFile() || !config.problemCodes.some((code) => problem.name === `${code}.md`))
+                    fail(`${entry.name}: unknown problem filename ${problem.name}`);
+        }
+    }
+    const resources = new Map();
+    const selected = new Set();
+    for (const language of config.languages) {
+        const mapping = config.references[language];
+        if (!mapping)
+            return fail(`missing ${language} definition mapping`);
+        const required = new Map([["check.md", mapping.check]]);
+        if (Object.keys(mapping.problems).some((code) => !config.problemCodes.includes(code)))
+            fail(`${language}: unknown problem code`);
+        for (const code of config.problemCodes) {
+            const path = mapping.problems[code];
+            if (!path)
+                return fail(`${language}: missing problem ${code}`);
+            required.set(`problems/${code}.md`, path);
+        }
+        for (const [suffix, path] of required) {
+            const expected = `${config.referenceRoot}/${language}/${suffix}`;
+            if (path !== expected)
+                fail(`${language}: filename/path mismatch ${path}; expected ${expected}`);
+            if (selected.has(path))
+                fail(`${language}: duplicate mapping ${path}`);
+            selected.add(path);
+            let bytes;
+            try {
+                bytes = await safeFile(root, path);
+                validateReference(bytes, path);
+            }
+            catch (error) {
+                return fail(`${language} ${suffix} ${path}: ${String(error)}`);
+            }
+            resources.set(`resources/references/${language}/${suffix}`, bytes);
+        }
+    }
+    const actual = await files(join(root, config.referenceRoot));
+    if (actual.some((path) => !selected.has(`${config.referenceRoot}/${path}`)))
+        fail(`unknown language, problem code or filename in ${config.referenceRoot}: ${actual.filter((path) => !selected.has(`${config.referenceRoot}/${path}`)).join(", ")}`);
+    for (const resource of config.resources ?? []) {
+        const destination = portable(resource.to);
+        if (!destination.startsWith("resources/") ||
+            resources.has(destination) ||
+            destination === "resources/check.json")
+            fail(`duplicate or invalid resource destination ${destination}`);
+        resources.set(destination, await safeFile(root, resource.from));
+    }
+    const source = new Map();
+    for (const path of await files(join(root, config.source.root))) {
+        const full = `${config.source.root}/${path}`;
+        source.set(full, await safeFile(root, full));
+    }
+    for (const path of [config.source.entry, config.source.contract])
+        if (!source.has(path))
+            fail(`source not in source root: ${path}`);
+    const definitions = `dist/definitions/${config.kind}`;
+    const literal = JSON.stringify(config.problemCodes);
+    const definitionJs = Buffer.from(`export const problemCodes = Object.freeze(${literal});\n`);
+    const definitionTypes = Buffer.from(`export declare const problemCodes: readonly [${config.problemCodes.map((code) => JSON.stringify(code)).join(", ")}];\n`);
+    source.set(`${definitions}.js`, definitionJs);
+    source.set(`${definitions}.d.ts`, definitionTypes);
+    const staging = join(root, "dist", "staging", config.kind);
+    // Only owned staging inputs are replaced; accepted artifacts are never touched here.
+    await outputDirectory(root, "dist/staging");
+    await outputDirectory(root, "dist/definitions");
+    await outputDirectory(root, `dist/staging/${config.kind}`);
+    await rm(staging, { recursive: true, force: true });
+    for (const [path, bytes] of [...source, ...resources]) {
+        await mkdir(dirname(join(staging, path)), { recursive: true });
+        await writeFile(join(staging, path), bytes);
+    }
+    for (const [extension, bytes] of [
+        ["js", definitionJs],
+        ["d.ts", definitionTypes],
+    ]) {
+        const path = join(root, `${definitions}.${extension}`);
+        await mkdir(dirname(path), { recursive: true });
+        await writeFile(path, bytes);
+    }
+    const index = Buffer.from(`${JSON.stringify({
+        kind: config.kind,
+        languages: config.languages,
+        problemCodes: config.problemCodes,
+        references: Object.fromEntries(config.languages.map((language) => [
+            language,
+            {
+                check: `resources/references/${language}/check.md`,
+                problems: Object.fromEntries(config.problemCodes.map((code) => [
+                    code,
+                    `resources/references/${language}/problems/${code}.md`,
+                ])),
+            },
+        ])),
+    }, null, 2)}\n`);
+    resources.set("resources/check.json", index);
+    await mkdir(join(staging, "resources"), { recursive: true });
+    await writeFile(join(staging, "resources", "check.json"), index);
+    const generated = {
+        $schema: "https://shazhou-ww.github.io/potential-guide/schemas/artifacts/task-build/v1.json",
+        name: config.name,
+        runtime: { minVersion: "22.13.0" },
+        source: { entry: config.source.entry, contract: config.source.contract, mode: "explicit" },
+        include: [...resources.keys()].map((path) => ({
+            from: path,
+            to: `${path.slice(0, path.lastIndexOf("/") + 1)}`,
+        })),
+        outDirectory: "bundle",
+    };
+    const output = join(staging, "task.build.yaml");
+    await writeFile(output, stringify(generated));
+    return { kind: config.kind, staging, buildFile: output, resources };
+}
+/** Compare the CAR's actual resource set and bytes, not its author include list. */
+export function verifyCheckResources(prepared, artifact) {
+    const actual = [...artifact.keys()]
+        .filter((path) => path !== "task.yaml" && path !== "worker.cjs" && !/^schemas\/\d+\.json$/.test(path))
+        .sort();
+    const expected = [...prepared.resources.keys()].sort();
+    if (JSON.stringify(actual) !== JSON.stringify(expected))
+        throw new Error(`Check ${prepared.kind}: CAR resource selection mismatch`);
+    for (const [path, bytes] of prepared.resources)
+        if (!Buffer.from(artifact.get(path) ?? []).equals(bytes))
+            throw new Error(`Check ${prepared.kind}: CAR resource bytes differ: ${path}`);
+}
+//# sourceMappingURL=authoring.js.map

package/dist/authoring.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authoring.js","sourceRoot":"","sources":["../src/authoring.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClF,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAe,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AAEhD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;AACjD,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CACzC;IACE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACnC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC;IACnD,MAAM,EAAE,IAAI,CAAC,MAAM,CACjB,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,EAC7D,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAChC;IACD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IACxE,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,mBAAmB,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE;QACvF,WAAW,EAAE,IAAI;KAClB,CAAC;IACF,UAAU,EAAE,IAAI,CAAC,MAAM,CACrB,IAAI,CAAC,MAAM,EAAE,EACb,IAAI,CAAC,MAAM,CACT,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,EAAE,EACvE,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAChC,CACF;IACD,aAAa,EAAE,UAAU;IACzB,SAAS,EAAE,IAAI,CAAC,QAAQ,CACtB,IAAI,CAAC,KAAK,CACR,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,CACnF,CACF;CACF,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAChC,CAAC;AAGF,SAAS,IAAI,CAAC,IAAY,EAAE,IAAY;IACtC,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3D,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,KAAK,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtF,OAAO,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,IACE,CAAC,IAAI;QACL,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QACnB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QACnB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,CAAC;QACtE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAEvB,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,EAAE,CAAC,CAAC;IACpD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,IAAY,EAAE,IAAY;IAChD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5C,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YAC5F,MAAM,IAAI,KAAK,CAAC,8BAA8B,OAAO,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC;AAC3B,CAAC;AAED,KAAK,UAAU,KAAK,CAAC,IAAY,EAAE,MAAM,GAAG,EAAE;IAC5C,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,cAAc,EAAE;QAC9C,MAAM,IAAI,KAAK,CAAC,8BAA8B,IAAI,EAAE,CAAC,CAAC;IACxD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,KAAK,IAAI,MAAM,OAAO,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QAC7D,IAAI,KAAK,CAAC,cAAc,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC;QACrE,IAAI,KAAK,CAAC,WAAW,EAAE;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;aAChF,IAAI,KAAK,CAAC,MAAM,EAAE;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;YACtC,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;AACvB,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,IAAY,EAAE,IAAY;IACrD,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7C,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,cAAc,EAAE;YAC9C,MAAM,IAAI,KAAK,CAAC,8BAA8B,OAAO,EAAE,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,IAAY,EAAE,IAAY;IACvD,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7C,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,KAAK,CAAC,OAAO,CAAC,CAAC;QACvB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,CAAC,KAAK,YAAY,KAAK,IAAI,MAAM,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;gBAAE,MAAM,KAAK,CAAC;QAC3F,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,cAAc,EAAE;YAC9C,MAAM,IAAI,KAAK,CAAC,qCAAqC,OAAO,EAAE,CAAC,CAAC;IACpE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAiB,EAAE,IAAY;IAC/D,MAAM,IAAI,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAC5F,MAAM,KAAK,GAAG,wCAAwC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,sCAAsC,CAAC,CAAC;IAC3E,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;IAC5C,IACE,OAAO,QAAQ,KAAK,QAAQ;QAC5B,QAAQ,KAAK,IAAI;QACjB,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QACvB,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC5E,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC;QACtB,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ;QAClC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE;QACtB,CAAC,CAAC,aAAa,IAAI,QAAQ,CAAC;QAC5B,OAAO,QAAQ,CAAC,WAAW,KAAK,QAAQ;QACxC,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE;QAC5B,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,GAAG;QAEtC,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,8EAA8E,CACtF,CAAC;AACN,CAAC;AASD,mEAAmE;AACnE,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,SAAiB;IAClD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC;IAC/D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,gBAAgB,EAAE,GAAG,CAAC;QACrC,MAAM,IAAI,KAAK,CACb,GAAG,SAAS,+BAA+B,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAClJ,CAAC;IACJ,MAAM,MAAM,GAAG,GAAG,CAAC;IACnB,MAAM,IAAI,GAAG,CAAC,OAAe,EAAS,EAAE;QACtC,MAAM,IAAI,KAAK,CAAC,SAAS,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC;IACF,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACxC,IAAI,CAAC;YACH,IAAI,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ;gBACpD,IAAI,CAAC,yBAAyB,QAAQ,EAAE,CAAC,CAAC;QAC9C,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,CAAC,oBAAoB,QAAQ,EAAE,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACzF,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACrC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAC/B,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC;QAC1F,IAAI,CAAC,uEAAuE,CAAC,CAAC;IAChF,MAAM,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC7F,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;YAChE,IAAI,CAAC,gCAAgC,MAAM,CAAC,aAAa,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7E,KAAK,MAAM,KAAK,IAAI,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;YAC9E,aAAa,EAAE,IAAI;SACpB,CAAC,EAAE,CAAC;YACH,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,MAAM,EAAE;gBAAE,SAAS;YAC1D,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE;gBACnD,IAAI,CAAC,0BAA0B,MAAM,CAAC,aAAa,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACrF,KAAK,MAAM,OAAO,IAAI,MAAM,OAAO,CACjC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,EACxD,EAAE,aAAa,EAAE,IAAI,EAAE,CACxB;gBACC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,GAAG,IAAI,KAAK,CAAC;oBACzF,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,8BAA8B,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC,WAAW,QAAQ,qBAAqB,CAAC,CAAC;QACpE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxE,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACnF,IAAI,CAAC,GAAG,QAAQ,wBAAwB,CAAC,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC,GAAG,QAAQ,qBAAqB,IAAI,EAAE,CAAC,CAAC;YAC/D,QAAQ,CAAC,GAAG,CAAC,YAAY,IAAI,KAAK,EAAE,IAAI,CAAC,CAAC;QAC5C,CAAC;QACD,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,GAAG,MAAM,CAAC,aAAa,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;YACjE,IAAI,IAAI,KAAK,QAAQ;gBACnB,IAAI,CAAC,GAAG,QAAQ,4BAA4B,IAAI,cAAc,QAAQ,EAAE,CAAC,CAAC;YAC5E,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,GAAG,QAAQ,uBAAuB,IAAI,EAAE,CAAC,CAAC;YACvE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnB,IAAI,KAAa,CAAC;YAClB,IAAI,CAAC;gBACH,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACnC,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACjC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO,IAAI,CAAC,GAAG,QAAQ,IAAI,MAAM,IAAI,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACjE,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,wBAAwB,QAAQ,IAAI,MAAM,EAAE,EAAE,KAAK,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;IAC7D,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,aAAa,IAAI,IAAI,EAAE,CAAC,CAAC;QACzE,IAAI,CACF,iDAAiD,MAAM,CAAC,aAAa,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,aAAa,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjK,CAAC;IACJ,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;QAC9C,MAAM,WAAW,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC1C,IACE,CAAC,WAAW,CAAC,UAAU,CAAC,YAAY,CAAC;YACrC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC;YAC1B,WAAW,KAAK,sBAAsB;YAEtC,IAAI,CAAC,6CAA6C,WAAW,EAAE,CAAC,CAAC;QACnE,SAAS,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC9D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,8BAA8B,IAAI,EAAE,CAAC,CAAC;IACpE,MAAM,WAAW,GAAG,oBAAoB,MAAM,CAAC,IAAI,EAAE,CAAC;IACtD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACpD,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,6CAA6C,OAAO,MAAM,CAAC,CAAC;IAC7F,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CACjC,gDAAgD,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CACzH,CAAC;IACF,MAAM,CAAC,GAAG,CAAC,GAAG,WAAW,KAAK,EAAE,YAAY,CAAC,CAAC;IAC9C,MAAM,CAAC,GAAG,CAAC,GAAG,WAAW,OAAO,EAAE,eAAe,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3D,qFAAqF;IACrF,MAAM,eAAe,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IAC5C,MAAM,eAAe,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IAChD,MAAM,eAAe,CAAC,IAAI,EAAE,gBAAgB,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3D,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC;QACtD,MAAM,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/D,MAAM,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI;QAC/B,CAAC,IAAI,EAAE,YAAY,CAAC;QACpB,CAAC,MAAM,EAAE,eAAe,CAAC;KACjB,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,WAAW,IAAI,SAAS,EAAE,CAAC,CAAC;QACvD,MAAM,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,MAAM,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CACvB,GAAG,IAAI,CAAC,SAAS,CACf;QACE,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,UAAU,EAAE,MAAM,CAAC,WAAW,CAC5B,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;YACjC,QAAQ;YACR;gBACE,KAAK,EAAE,wBAAwB,QAAQ,WAAW;gBAClD,QAAQ,EAAE,MAAM,CAAC,WAAW,CAC1B,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;oBAChC,IAAI;oBACJ,wBAAwB,QAAQ,aAAa,IAAI,KAAK;iBACvD,CAAC,CACH;aACF;SACF,CAAC,CACH;KACF,EACD,IAAI,EACJ,CAAC,CACF,IAAI,CACN,CAAC;IACF,SAAS,CAAC,GAAG,CAAC,sBAAsB,EAAE,KAAK,CAAC,CAAC;IAC7C,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7D,MAAM,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,YAAY,CAAC,EAAE,KAAK,CAAC,CAAC;IACjE,MAAM,SAAS,GAAG;QAChB,OAAO,EAAE,mFAAmF;QAC5F,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE;QAClC,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE;QAC1F,OAAO,EAAE,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC5C,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE;SAClD,CAAC,CAAC;QACH,YAAY,EAAE,QAAQ;KACvB,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IAChD,MAAM,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC;IAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;AACtE,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,oBAAoB,CAClC,QAAuB,EACvB,QAAyC;IAEzC,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;SAChC,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,YAAY,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAC9F;SACA,IAAI,EAAE,CAAC;IACV,MAAM,QAAQ,GAAG,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACvD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,SAAS,QAAQ,CAAC,IAAI,mCAAmC,CAAC,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,SAAS;QAC5C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;YACtD,MAAM,IAAI,KAAK,CAAC,SAAS,QAAQ,CAAC,IAAI,gCAAgC,IAAI,EAAE,CAAC,CAAC;AACpF,CAAC"}

package/dist/contracts.d.ts

@@ -0,0 +1,33 @@
+import { type Static, type TSchema } from "@sinclair/typebox";
+export declare function createCheckProblemSchema<const Codes extends readonly string[]>(codes: Codes): import("@sinclair/typebox").TObject<{
+    target: import("@sinclair/typebox").TString;
+    code: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<Codes[number]>[]>;
+    actual: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TString, import("@sinclair/typebox").TNull]>;
+}>;
+export declare function createCheckResultSchema<const Codes extends readonly string[]>(codes: Codes): import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
+    pass: import("@sinclair/typebox").TLiteral<true>;
+}>, import("@sinclair/typebox").TObject<{
+    pass: import("@sinclair/typebox").TLiteral<false>;
+    problems: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
+        target: import("@sinclair/typebox").TString;
+        code: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<Codes[number]>[]>;
+        actual: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TString, import("@sinclair/typebox").TNull]>;
+    }>>;
+}>]>;
+export type CheckProblem<Code extends string = string> = Static<ReturnType<typeof createCheckProblemSchema<readonly Code[]>>>;
+export type CheckResult<Code extends string = string> = Static<ReturnType<typeof createCheckResultSchema<readonly Code[]>>>;
+export declare function createCheckContract<Input extends TSchema, const Codes extends readonly string[]>(input: Input, codes: Codes): {
+    input: Input;
+    result: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
+        pass: import("@sinclair/typebox").TLiteral<true>;
+    }>, import("@sinclair/typebox").TObject<{
+        pass: import("@sinclair/typebox").TLiteral<false>;
+        problems: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
+            target: import("@sinclair/typebox").TString;
+            code: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<Codes[number]>[]>;
+            actual: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TString, import("@sinclair/typebox").TNull]>;
+        }>>;
+    }>]>;
+    message: import("@sinclair/typebox").TNever;
+};
+//# sourceMappingURL=contracts.d.ts.map

package/dist/contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../src/contracts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,OAAO,EAAQ,MAAM,mBAAmB,CAAC;AAKpE,wBAAgB,wBAAwB,CAAC,KAAK,CAAC,KAAK,SAAS,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK;;;;GAU3F;AAED,wBAAgB,uBAAuB,CAAC,KAAK,CAAC,KAAK,SAAS,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK;;;;;;;;;KAW1F;AAED,MAAM,MAAM,YAAY,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM,IAAI,MAAM,CAC7D,UAAU,CAAC,OAAO,wBAAwB,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAC7D,CAAC;AACF,MAAM,MAAM,WAAW,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM,IAAI,MAAM,CAC5D,UAAU,CAAC,OAAO,uBAAuB,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAC5D,CAAC;AAEF,wBAAgB,mBAAmB,CAAC,KAAK,SAAS,OAAO,EAAE,KAAK,CAAC,KAAK,SAAS,SAAS,MAAM,EAAE,EAC9F,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,KAAK;;;;;;;;;;;;;EAGb"}

package/dist/contracts.js

@@ -0,0 +1,24 @@
+import { Type } from "@sinclair/typebox";
+import { assertProblemCodes } from "./definition.js";
+const text = () => Type.String({ minLength: 1, maxLength: 4096 });
+export function createCheckProblemSchema(codes) {
+    assertProblemCodes(codes);
+    return Type.Object({
+        target: text(),
+        code: Type.Union(codes.map((code) => Type.Literal(code))),
+        actual: Type.Union([Type.String(), Type.Null()]),
+    }, { additionalProperties: false });
+}
+export function createCheckResultSchema(codes) {
+    return Type.Union([
+        Type.Object({ pass: Type.Literal(true) }, { additionalProperties: false }),
+        Type.Object({
+            pass: Type.Literal(false),
+            problems: Type.Array(createCheckProblemSchema(codes), { minItems: 1 }),
+        }, { additionalProperties: false }),
+    ]);
+}
+export function createCheckContract(input, codes) {
+    return { input, result: createCheckResultSchema(codes), message: Type.Never() };
+}
+//# sourceMappingURL=contracts.js.map

package/dist/contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../src/contracts.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6B,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAErD,MAAM,IAAI,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAElE,MAAM,UAAU,wBAAwB,CAAwC,KAAY;IAC1F,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC1B,OAAO,IAAI,CAAC,MAAM,CAChB;QACE,MAAM,EAAE,IAAI,EAAE;QACd,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAqB,CAAC,CAAC,CAAC;QAC1E,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;KACjD,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAChC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAwC,KAAY;IACzF,OAAO,IAAI,CAAC,KAAK,CAAC;QAChB,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC;QAC1E,IAAI,CAAC,MAAM,CACT;YACE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;YACzB,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;SACvE,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAChC;KACF,CAAC,CAAC;AACL,CAAC;AASD,MAAM,UAAU,mBAAmB,CACjC,KAAY,EACZ,KAAY;IAEZ,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;AAClF,CAAC"}

package/dist/definition.d.ts

@@ -0,0 +1,2 @@
+export declare function assertProblemCodes(codes: readonly string[]): void;
+//# sourceMappingURL=definition.d.ts.map

package/dist/definition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../src/definition.ts"],"names":[],"mappings":"AAAA,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAMjE"}

package/dist/definition.js

@@ -0,0 +1,6 @@
+export function assertProblemCodes(codes) {
+    if (new Set(codes).size !== codes.length ||
+        codes.some((code) => !/^[a-z][a-z0-9-]*$/.test(code) || code.length > 4096))
+        throw new Error("Check problem codes must be unique stable names of at most 4096 characters.");
+}
+//# sourceMappingURL=definition.js.map

package/dist/definition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.js","sourceRoot":"","sources":["../src/definition.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,kBAAkB,CAAC,KAAwB;IACzD,IACE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM;QACpC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QAE3E,MAAM,IAAI,KAAK,CAAC,6EAA6E,CAAC,CAAC;AACnG,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,6 @@
+import type { TaskCallback, TaskContext } from "@potential-guide/task-sdk";
+import type { CheckProblem, CheckResult } from "./contracts.js";
+export type { CheckProblem, CheckResult } from "./contracts.js";
+export declare function createCheckResult<const Codes extends readonly string[]>(codes: Codes, problems: readonly CheckProblem<Codes[number]>[]): CheckResult<Codes[number]>;
+export declare function createCheckTask<Input, const Codes extends readonly string[]>(codes: Codes, inspect: (input: Input, context: TaskContext) => Promise<readonly CheckProblem<Codes[number]>[]>): TaskCallback<Input, CheckResult<Codes[number]>>;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC3E,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAGhE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAEhE,wBAAgB,iBAAiB,CAAC,KAAK,CAAC,KAAK,SAAS,SAAS,MAAM,EAAE,EACrE,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,SAAS,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,GAC/C,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAiB5B;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,SAAS,SAAS,MAAM,EAAE,EAC1E,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,KAAK,OAAO,CAAC,SAAS,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAC/F,YAAY,CAAC,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAOjD"}

package/dist/index.js

@@ -0,0 +1,26 @@
+import { assertProblemCodes } from "./definition.js";
+export function createCheckResult(codes, problems) {
+    assertProblemCodes(codes);
+    const allowed = new Set(codes);
+    const copy = problems.map((problem) => {
+        if (!allowed.has(problem.code))
+            throw new Error(`Undeclared Check problem code: ${problem.code}`);
+        if (typeof problem.target !== "string" ||
+            !problem.target.length ||
+            [...problem.target].length > 4096 ||
+            (problem.actual !== null && typeof problem.actual !== "string") ||
+            Object.keys(problem).some((key) => !["target", "code", "actual"].includes(key)))
+            throw new Error("Invalid Check problem.");
+        return { target: problem.target, code: problem.code, actual: problem.actual };
+    });
+    return copy.length ? { pass: false, problems: copy } : { pass: true };
+}
+export function createCheckTask(codes, inspect) {
+    return async (input, context) => {
+        context.signal.throwIfAborted();
+        const problems = await inspect(input, context);
+        context.signal.throwIfAborted();
+        return createCheckResult(codes, problems);
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAIrD,MAAM,UAAU,iBAAiB,CAC/B,KAAY,EACZ,QAAgD;IAEhD,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,KAAK,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACpC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,kCAAkC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QACpE,IACE,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ;YAClC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM;YACtB,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,IAAI;YACjC,CAAC,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC;YAC/D,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAE/E,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC5C,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;IAChF,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,KAAY,EACZ,OAAgG;IAEhG,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;QAC9B,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC/C,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;QAChC,OAAO,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC5C,CAAC,CAAC;AACJ,CAAC"}

package/examples/text/README.md

@@ -0,0 +1,14 @@
+# Independent text Check
+
+Copy this directory into an independent ESM package. Install the four
+dependencies in package.json (local packed tarballs are supported), then run
+`node build.mjs` or `pnpm build`. No workspace paths or environment checks are
+needed. Entry: `src/main.ts`; contract: `src/contract.ts`;
+configuration: `text.check.build.yaml`.
+
+The script calls Check preparation, standard Task build and CAR resource
+verification. Output: `dist/staging/text/bundle/` and
+`dist/staging/text/bundle.car`, with the CID printed as JSON. Submit input
+`{"text":"hello"}` for `{pass:true}`, or `{"text":" "}` for a `text-empty`
+problem. The problem code is declared only in YAML. Generated literal types
+also support ordinary TypeScript checking after preparation.

package/examples/text/build.mjs

@@ -0,0 +1,11 @@
+import { fileURLToPath } from "node:url";
+import { prepareCheck, verifyCheckResources } from "@potential-guide/check-sdk/authoring";
+import { buildTask } from "@potential-guide/pguide-task-bundle";
+import { readTaskArtifact } from "@potential-guide/pguide-task-bundle/artifact";
+
+const prepared = await prepareCheck(
+  fileURLToPath(new URL("text.check.build.yaml", import.meta.url)),
+);
+const artifact = await buildTask(prepared.buildFile);
+verifyCheckResources(prepared, (await readTaskArtifact(artifact.car)).files);
+console.log(JSON.stringify(artifact));

package/examples/text/package.json

@@ -0,0 +1,14 @@
+{
+  "name": "check-sdk-text-example",
+  "private": true,
+  "type": "module",
+  "scripts": {
+    "build": "node build.mjs"
+  },
+  "dependencies": {
+    "@potential-guide/check-sdk": "0.1.0",
+    "@potential-guide/task-sdk": "0.1.0-rc.0",
+    "@potential-guide/pguide-task-bundle": "0.1.0-rc.0",
+    "@sinclair/typebox": "0.34.52"
+  }
+}

package/examples/text/references/en/check.md

@@ -0,0 +1,8 @@
+---
+title: Nonempty text
+description: Check that the input text contains a non-whitespace character.
+---
+
+Input is `{text:string}`. This check uses no physical resources or network.
+Whitespace-only input returns [text-empty](problems/text-empty.md), otherwise
+`{pass:true}`. Execution and cancellation follow the shared Check SDK contract.

package/examples/text/references/en/problems/text-empty.md

@@ -0,0 +1,7 @@
+---
+title: Empty text
+description: The text input contains no non-whitespace characters.
+---
+
+`target` is `text`; `actual` is the unchanged input. Supply non-whitespace text.
+This check reports the condition and does not change the input.

package/examples/text/src/contract.ts

@@ -0,0 +1,8 @@
+import { createCheckContract } from "@potential-guide/check-sdk/contracts";
+import { Type } from "@sinclair/typebox";
+import { problemCodes } from "../dist/definitions/text.js";
+
+export default createCheckContract(
+  Type.Object({ text: Type.String() }, { additionalProperties: false }),
+  problemCodes,
+);

package/examples/text/src/main.ts

@@ -0,0 +1,12 @@
+import { createCheckTask } from "@potential-guide/check-sdk";
+import { runTask } from "@potential-guide/task-sdk";
+import type { Static } from "@sinclair/typebox";
+import { problemCodes } from "../dist/definitions/text.js";
+import type contract from "./contract.js";
+
+runTask(
+  createCheckTask(problemCodes, async (input: Static<typeof contract.input>, context) => {
+    context.signal.throwIfAborted();
+    return input.text.trim() ? [] : [{ target: "text", code: "text-empty", actual: input.text }];
+  }),
+);

package/examples/text/text.check.build.yaml

@@ -0,0 +1,14 @@
+name: Nonempty text check
+kind: text
+source:
+  root: src
+  entry: src/main.ts
+  contract: src/contract.ts
+languages: [en]
+problemCodes: [text-empty]
+referenceRoot: references
+references:
+  en:
+    check: references/en/check.md
+    problems:
+      text-empty: references/en/problems/text-empty.md

package/package.json

@@ -1,6 +1,57 @@
 {
   "name": "@potential-guide/check-sdk",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
+  "version": "0.1.0",
+  "description": "Reusable Check contracts, callbacks and Task authoring inputs.",
+  "type": "module",
+  "sideEffects": false,
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    },
+    "./contracts": {
+      "types": "./dist/contracts.d.ts",
+      "import": "./dist/contracts.js"
+    },
+    "./authoring": {
+      "types": "./dist/authoring.d.ts",
+      "import": "./dist/authoring.js"
+    }
+  },
+  "files": [
+    "dist",
+    "references",
+    "examples",
+    "README.md"
+  ],
+  "engines": {
+    "node": ">=22.13.0"
+  },
+  "dependencies": {
+    "@sinclair/typebox": "0.34.52",
+    "yaml": "2.9.1",
+    "@potential-guide/task-sdk": "^0.1.0-rc.0"
+  },
+  "devDependencies": {
+    "esbuild": "0.28.2",
+    "@potential-guide/task-engine": "^0.1.0-rc.0",
+    "@potential-guide/task-protocol": "^0.1.0-rc.0",
+    "@potential-guide/pguide-task-bundle": "^0.1.0-rc.0"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/shazhou-ww/potential-guide.git",
+    "directory": "packages/check-sdk"
+  },
+  "scripts": {
+    "build": "tsc -b && node build.mjs",
+    "clean": "node -e \"for (const path of ['dist', 'examples/text/dist', '../../.cache/tsbuildinfo/check-sdk.tsbuildinfo']) require('node:fs').rmSync(path, { recursive: true, force: true })\"",
+    "lint": "biome lint .",
+    "test": "tsx --test \"test/*.test.ts\"",
+    "typecheck": "tsc -b --pretty false"
+  }
 }

package/references/en/check-callback.md

@@ -0,0 +1,21 @@
+---
+title: Check callbacks
+description: Callback, cancellation, logging and resource ownership boundaries for checks.
+---
+
+# Check callbacks
+
+`createCheckTask(problemCodes, inspect)` adapts an async
+`inspect(input, context)` returning a readonly problem list into a Task callback.
+The full Task Context is passed unchanged: use `context.log` for logs.
+The adapter checks `context.signal` before and after the callback and never
+catches exceptions. Execution faults remain Engine failures; cancellation
+remains cancellation, never `pass:false`.
+
+The business implementation owns timeouts, subprocesses, sockets and files.
+Release them in `finally` before returning or propagating an error. The SDK
+does not schedule, kill processes or mask cleanup failures.
+Authors explicitly call `runTask(createCheckTask(...))` in their entrypoint.
+The root import is runtime-only; import Schemas from `check-sdk/contracts`
+and filesystem validation from `check-sdk/authoring`.
+See [result contracts](check-result.md).

package/references/en/check-result.md

@@ -0,0 +1,20 @@
+---
+title: Check results
+description: Shared result and problem contracts for Task Engine checks.
+---
+
+# Check results
+
+Checks report only problems: `{"pass":true}` for none, otherwise
+`{"pass":false,"problems":[{"target":"node","code":"too-old","actual":"20.0.0"}]}`.
+The failing list must be nonempty. No additional properties are accepted.
+`target` is a nonempty string of at most 4096 characters; `actual` is a string
+or null. A problem code must belong to the Check Build YAML's `problemCodes`.
+That single declaration generates the literal tuple used by TypeScript,
+the result Schema and runtime assembly, as well as documentation coverage.
+Undeclared runtime codes throw; they are not ordinary findings.
+
+Result compatibility deliberately keeps the existing `pass`, `problems`,
+`target`, `code`, `actual` shape. Successful items are not returned.
+Execution failures and cancellation are not problems; see
+[callbacks](check-callback.md).