@tiangong-lca/pcr 0.3.0 → 0.4.0

package/packages/pcr-core/src/offline-library.js

@@ -0,0 +1,302 @@
+import { createHash } from "node:crypto";
+import { createRequire } from "node:module";
+import { closeSync, openSync, readSync, readFileSync, statSync } from "node:fs";
+import path from "node:path";
+import { inflateRawSync } from "node:zlib";
+import { parseYaml } from "./yaml-lite.js";
+import { expectedPcrArtifactHashes } from "./languages.js";
+import { PcrClassificationCoverageNotFoundError } from "./classification-coverage.js";
+import { isPcrIdAlias } from "./pcr-id-aliases.js";
+import { assertCoreContract } from "./contracts.js";
+import { isUnknownRecord, errorCode, errorMessage } from "./types.js";
+export const LIBRARY_FORMAT_VERSION = 1;
+const UTF8_DECODER = new TextDecoder("utf-8", { fatal: true, ignoreBOM: true });
+export const sha256 = (bytes) => `sha256:${createHash("sha256").update(bytes).digest("hex")}`;
+export function libraryError(code, message) {
+    return Object.assign(new Error(message), { code });
+}
+/** The provider can import this module without eagerly loading SQLite. */
+export function sqliteDatabase() {
+    const [major = 0, minor = 0] = process.versions.node.split(".").map(Number);
+    if (major < 24 || (major === 24 && minor < 19)) {
+        throw libraryError("PCR_LIBRARY_RUNTIME_UNSUPPORTED", "Offline libraries require Node.js 24.19 or newer.");
+    }
+    const sqlite = createRequire(import.meta.url)("node:sqlite");
+    if (!isSqliteModule(sqlite))
+        throw libraryError("PCR_LIBRARY_RUNTIME_UNSUPPORTED", "Node SQLite DatabaseSync is unavailable.");
+    return sqlite.DatabaseSync;
+}
+function isSqliteModule(value) {
+    if (!isUnknownRecord(value) || typeof value.DatabaseSync !== "function")
+        return false;
+    const prototype = value.DatabaseSync.prototype;
+    return isUnknownRecord(prototype) && ["prepare", "exec", "close"].every(name => typeof prototype[name] === "function");
+}
+export function hashFile(filename) {
+    const hash = createHash("sha256");
+    const fd = openSync(filename, "r");
+    const buffer = Buffer.alloc(1024 * 1024);
+    try {
+        let count;
+        while ((count = readSync(fd, buffer, 0, buffer.length, null)))
+            hash.update(buffer.subarray(0, count));
+        return `sha256:${hash.digest("hex")}`;
+    }
+    finally {
+        closeSync(fd);
+    }
+}
+export function metadataDigest(db, table) {
+    if (!["records", "aliases", "coverage", "files"].includes(table))
+        throw new Error("Unknown snapshot table.");
+    const hash = createHash("sha256");
+    const columns = table === "files" ? "key, size, sha256" : "key, value, sha256";
+    for (const row of db.prepare(`SELECT ${columns} FROM ${table} ORDER BY key`).iterate()) {
+        // Preserve native SQLite column order: it is part of the existing digest.
+        hash.update(JSON.stringify(row));
+        hash.update("\n");
+    }
+    return `sha256:${hash.digest("hex")}`;
+}
+function object(value, label) {
+    if (!isUnknownRecord(value))
+        throw new Error(`Invalid ${label}.`);
+    return value;
+}
+function string(value, label) {
+    if (typeof value !== "string")
+        throw new Error(`Invalid ${label}.`);
+    return value;
+}
+function number(value, label) {
+    if (typeof value !== "number" || !Number.isSafeInteger(value) || value < 0)
+        throw new Error(`Invalid ${label}.`);
+    return value;
+}
+function stringArray(value, label) {
+    if (!Array.isArray(value) || !value.every((entry) => typeof entry === "string"))
+        throw new Error(`Invalid ${label}.`);
+    return value;
+}
+function stringRecord(value, label) {
+    const fields = object(value, label);
+    for (const field of Object.values(fields))
+        string(field, label);
+    return fields;
+}
+function titleRecord(value) {
+    const fields = object(value, "PCR titles");
+    for (const field of Object.values(fields))
+        if (field !== null)
+            string(field, "PCR title");
+    return fields;
+}
+function json(text) { return JSON.parse(text); }
+function pcrRecord(value) {
+    const record = object(value, "PCR record");
+    const languages = object(record.languages, "record languages");
+    const canonical = languages.canonical;
+    const available = languages.available;
+    if (canonical !== undefined)
+        string(canonical, "canonical language");
+    if (available !== undefined)
+        stringArray(available, "available languages");
+    const version = record.version;
+    const maturity = record.content_maturity;
+    if (version !== null)
+        string(version, "PCR version");
+    if (maturity !== null)
+        string(maturity, "PCR content maturity");
+    const kind = record.record_kind;
+    if (kind !== "methodology" && kind !== "legacy_scaffold_reference" && kind !== "invalid_lifecycle_state")
+        throw new Error("Invalid PCR record kind.");
+    if (!Array.isArray(record.classification_refs) || !record.classification_refs.every(isUnknownRecord))
+        throw new Error("Invalid PCR classification refs.");
+    assertCoreContract("readiness.schema.json", record.readiness);
+    return {
+        ...record,
+        id: string(record.id, "PCR id"), path: string(record.path, "PCR path"),
+        title: titleRecord(record.title), status: string(record.status, "PCR status"),
+        version: version === null ? null : string(version, "PCR version"),
+        content_maturity: maturity === null ? null : string(maturity, "PCR content maturity"),
+        languages: {
+            ...languages,
+            ...(canonical === undefined ? {} : { canonical: string(canonical, "canonical language") }),
+            ...(available === undefined ? {} : { available: stringArray(available, "available languages") }),
+        },
+        translation_status: stringRecord(record.translation_status, "translation status"),
+        classification_refs: record.classification_refs, record_kind: kind,
+        // Successful existing schema and semantic validation is the narrowing proof.
+        readiness: record.readiness,
+    };
+}
+function snapshot(value) {
+    const fields = object(value, "snapshot metadata");
+    return {
+        ...fields,
+        available_languages: stringArray(fields.available_languages, "snapshot languages"),
+        content_version: string(fields.content_version, "content version"),
+        source_commit: string(fields.source_commit, "source commit"),
+        source_sha256: string(fields.source_sha256, "source fingerprint"),
+        records: number(fields.records, "record count"), material_records: number(fields.material_records, "material record count"),
+        aliases: number(fields.aliases, "alias count"), original_bytes: number(fields.original_bytes, "original byte count"),
+    };
+}
+function manifest(value) {
+    if (value.kind !== "tiangong-pcr-library" || value.format_version !== 1)
+        throw new Error("Invalid library manifest.");
+    const indexes = object(value.index_sha256, "index hashes");
+    // Keep original key order in sidecar/snapshot objects for historical equality.
+    const metadata = snapshot(value.snapshot);
+    const hashes = {
+        records: string(indexes.records, "records index hash"), aliases: string(indexes.aliases, "aliases index hash"),
+        coverage: string(indexes.coverage, "coverage index hash"), files: string(indexes.files, "files index hash"),
+    };
+    return { ...value, kind: value.kind, format_version: 1, snapshot: metadata,
+        bytes: number(value.bytes, "library byte length"), sha256: string(value.sha256, "library checksum"), index_sha256: hashes };
+}
+function rowValue(row, name) { return row?.[name]; }
+/** Read-only adapter; all original content remains compressed until selected. */
+export class OfflineLibrary {
+    filename;
+    root;
+    onArtifactRead;
+    languages = ["en-US"];
+    manifest;
+    db = null;
+    constructor(filename, { expectedSha256 = null, verify = false, onArtifactRead = null } = {}) {
+        this.filename = path.resolve(filename);
+        this.root = path.dirname(this.filename);
+        this.onArtifactRead = onArtifactRead;
+        try {
+            const decoded = object(json(UTF8_DECODER.decode(readFileSync(`${this.filename}.json`))), "library manifest");
+            if (decoded.format_version !== LIBRARY_FORMAT_VERSION) {
+                throw libraryError("PCR_LIBRARY_FORMAT_UNSUPPORTED", `Unsupported library format ${String(decoded.format_version)}; supported: ${LIBRARY_FORMAT_VERSION}.`);
+            }
+            if (JSON.stringify(isUnknownRecord(decoded.snapshot) ? decoded.snapshot.available_languages : undefined) !== JSON.stringify(this.languages))
+                throw new Error("Unsupported library language policy; expected English only.");
+            if (decoded.kind !== "tiangong-pcr-library" || !/^sha256:[a-f0-9]{64}$/u.test(String(decoded.sha256 ?? "")))
+                throw new Error("Invalid library manifest.");
+            this.manifest = manifest(decoded);
+            if (statSync(this.filename).size !== this.manifest.bytes)
+                throw new Error("Library byte length differs from manifest.");
+            if (expectedSha256 !== null && !/^sha256:[a-f0-9]{64}$/u.test(expectedSha256))
+                throw new Error("Expected SHA-256 must use sha256:<64 lowercase hex digits>.");
+            if (verify || expectedSha256 !== null) {
+                const digest = hashFile(this.filename);
+                if (digest !== this.manifest.sha256 || (expectedSha256 !== null && digest !== expectedSha256))
+                    throw new Error("Library SHA-256 mismatch.");
+            }
+            const DatabaseSync = sqliteDatabase();
+            this.db = new DatabaseSync(this.filename, { readOnly: true, allowExtension: false, defensive: true });
+            this.db.exec("PRAGMA query_only = ON; PRAGMA trusted_schema = OFF; BEGIN;");
+            if (rowValue(this.db.prepare("PRAGMA user_version").get(), "user_version") !== LIBRARY_FORMAT_VERSION)
+                throw libraryError("PCR_LIBRARY_FORMAT_UNSUPPORTED", "SQLite format version does not match the reader.");
+            const metadata = json(string(rowValue(this.db.prepare("SELECT value FROM metadata WHERE key = 'snapshot'").get(), "value") ?? "null", "snapshot JSON"));
+            if (JSON.stringify(metadata) !== JSON.stringify(this.manifest.snapshot))
+                throw new Error("Snapshot identity differs from manifest.");
+            for (const table of ["records", "aliases", "coverage", "files"]) {
+                if (metadataDigest(this.db, table) !== this.manifest.index_sha256[table])
+                    throw new Error(`Library ${table} index checksum mismatch.`);
+            }
+            if (verify && rowValue(this.db.prepare("PRAGMA integrity_check").get(), "integrity_check") !== "ok")
+                throw new Error("SQLite integrity check failed.");
+        }
+        catch (error) {
+            this.close();
+            if (errorCode(error).startsWith("PCR_LIBRARY_"))
+                throw error;
+            throw libraryError("PCR_LIBRARY_INVALID", `Cannot open offline library ${this.filename}: ${errorMessage(error)}`);
+        }
+    }
+    close() { this.db?.close(); this.db = null; }
+    database() {
+        if (this.db === null)
+            throw libraryError("PCR_LIBRARY_INVALID", "Offline library is closed.");
+        return this.db;
+    }
+    row(table, key) {
+        const row = this.database().prepare(`SELECT value, sha256 FROM ${table} WHERE key = ?`).get(key);
+        if (!row)
+            return null;
+        const value = string(row.value, "snapshot JSON row");
+        if (sha256(value) !== row.sha256)
+            throw libraryError("PCR_LIBRARY_INVALID", `Invalid ${table} row: ${key}`);
+        return json(value);
+    }
+    listPcrs(scope) {
+        const where = scope === "all" ? "" : scope === "material" ? " WHERE kind = 'methodology'" : " WHERE kind = 'legacy_scaffold_reference'";
+        return this.database().prepare(`SELECT value FROM records${where} ORDER BY position`).all().map(row => pcrRecord(json(string(row.value, "PCR record JSON"))));
+    }
+    entry(id) {
+        const value = this.row("records", String(id));
+        if (value === null)
+            return null;
+        const record = object(value, "PCR record");
+        const relative = string(record.path, "PCR path");
+        return { id: string(record.id, "PCR id"), path: relative, manifestPath: path.join(this.root, relative, "manifest.yaml") };
+    }
+    findAlias(id) {
+        const value = this.row("aliases", String(id));
+        if (value === null)
+            return null;
+        if (!isPcrIdAlias(value))
+            throw libraryError("PCR_LIBRARY_INVALID", `Invalid aliases row: ${String(id)}`);
+        return value;
+    }
+    readFile(key) {
+        const row = this.database().prepare("SELECT data, size, sha256 FROM files WHERE key = ?").get(key);
+        if (!row)
+            throw libraryError("PCR_LIBRARY_ARTIFACT_MISSING", `Missing library artifact: ${key}`);
+        try {
+            if (!(row.data instanceof Uint8Array))
+                throw new Error("invalid compressed blob");
+            const size = number(row.size, "artifact size");
+            const bytes = inflateRawSync(row.data, { maxOutputLength: Math.max(1, size) });
+            if (bytes.length !== size || sha256(bytes) !== row.sha256)
+                throw new Error("checksum mismatch");
+            this.onArtifactRead?.(key);
+            return bytes;
+        }
+        catch (error) {
+            throw libraryError("PCR_LIBRARY_ARTIFACT_INVALID", `Invalid library artifact ${key}: ${errorMessage(error)}`);
+        }
+    }
+    snapshotFiles(entry) {
+        const manifestBytes = this.readFile(`${entry.path}/manifest.yaml`);
+        let manifestText;
+        try {
+            manifestText = UTF8_DECODER.decode(manifestBytes);
+        }
+        catch {
+            throw libraryError("PCR_LIBRARY_ARTIFACT_INVALID", `Invalid library artifact ${entry.path}/manifest.yaml: input is not valid UTF-8.`);
+        }
+        const manifest = object(parseYaml(manifestText), "PCR manifest");
+        if (manifest.id !== entry.id)
+            throw libraryError("PCR_LIBRARY_INVALID", "PCR manifest identity mismatch.");
+        const artifacts = Object.fromEntries(["pcr.en-US.md", "structured.yaml"].map(name => [name, { bytes: this.readFile(`${entry.path}/${name}`) }]));
+        for (const [name, expected] of Object.entries(manifest.release_artifacts ? expectedPcrArtifactHashes(manifest) : {})) {
+            if (!Object.hasOwn(artifacts, name))
+                continue;
+            if (manifest.release_artifacts && sha256(artifacts[name]?.bytes ?? Buffer.alloc(0)) !== expected)
+                throw libraryError("PCR_LIBRARY_ARTIFACT_INVALID", `Release artifact hash mismatch: ${entry.path}/${name}`);
+        }
+        return { manifest, manifestBytes, artifacts };
+    }
+    coverageSnapshot(system, version) {
+        const key = `${String(system).toLowerCase()}:${String(version)}`;
+        const value = this.row("coverage", key);
+        if (value === null)
+            throw new PcrClassificationCoverageNotFoundError({ system: String(system), version: String(version), relativePath: `classifications/indexes/${String(system)}-${String(version)}-coverage.json` });
+        if (!isCoverageSnapshot(value))
+            throw libraryError("PCR_LIBRARY_INVALID", "Invalid coverage snapshot.");
+        return value;
+    }
+}
+function isCoverageSnapshot(value) {
+    if (!isUnknownRecord(value) || typeof value.relative_path !== "string" || typeof value.sha256 !== "string")
+        return false;
+    assertCoreContract("classification-coverage.schema.json", value.document);
+    return true;
+}
+//# sourceMappingURL=offline-library.js.map

package/packages/pcr-core/src/offline-library.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"offline-library.js","sourceRoot":"pcr://source/","sources":["packages/pcr-core/src/offline-library.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAmB,MAAM,aAAa,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAEhF,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,sCAAsC,EAAE,MAAM,8BAA8B,CAAC;AACtF,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAGtE,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC;AACxC,MAAM,YAAY,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAChF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAiB,EAAU,EAAE,CAAC,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAClH,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,OAAe;IACxD,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;AACrD,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,cAAc;IAC5B,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5E,IAAI,KAAK,GAAG,EAAE,IAAI,CAAC,KAAK,KAAK,EAAE,IAAI,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC;QAC/C,MAAM,YAAY,CAAC,iCAAiC,EAAE,mDAAmD,CAAC,CAAC;IAC7G,CAAC;IACD,MAAM,MAAM,GAAY,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;IACtE,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,MAAM,YAAY,CAAC,iCAAiC,EAAE,0CAA0C,CAAC,CAAC;IAC/H,OAAO,MAAM,CAAC,YAAY,CAAC;AAC7B,CAAC;AACD,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,YAAY,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,SAAS,GAAY,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC;IACxD,OAAO,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,SAAS,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC;AACzH,CAAC;AACD,MAAM,UAAU,QAAQ,CAAC,QAAgB;IACvC,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,MAAM,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC;QACH,IAAI,KAAa,CAAC;QAClB,OAAO,CAAC,KAAK,GAAG,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QACtG,OAAO,UAAU,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACxC,CAAC;YAAS,CAAC;QAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,EAAgB,EAAE,KAAoB;IACnE,IAAI,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC7G,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,oBAAoB,CAAC;IAC/E,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,OAAO,SAAS,KAAK,eAAe,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACvF,0EAA0E;QAC1E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;QAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,UAAU,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACxC,CAAC;AACD,SAAS,MAAM,CAAC,KAAc,EAAE,KAAa;IAC3C,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,GAAG,CAAC,CAAC;IAClE,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,MAAM,CAAC,KAAc,EAAE,KAAa;IAC3C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,GAAG,CAAC,CAAC;IACpE,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,MAAM,CAAC,KAAc,EAAE,KAAa;IAC3C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,GAAG,CAAC,CAAC;IACjH,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,WAAW,CAAC,KAAc,EAAE,KAAa;IAChD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,GAAG,CAAC,CAAC;IAC/H,OAAO,KAAiB,CAAC;AAC3B,CAAC;AACD,SAAS,YAAY,CAAC,KAAc,EAAE,KAAa;IACjD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAChE,OAAO,MAAgC,CAAC;AAC1C,CAAC;AACD,SAAS,WAAW,CAAC,KAAc;IACjC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC3C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QAAE,IAAI,KAAK,KAAK,IAAI;YAAE,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC1F,OAAO,MAAuC,CAAC;AACjD,CAAC;AACD,SAAS,IAAI,CAAC,IAAY,IAAa,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC,CAAC,CAAC;AAC5E,SAAS,SAAS,CAAC,KAAc;IAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC;IACtC,MAAM,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC;IACtC,IAAI,SAAS,KAAK,SAAS;QAAE,MAAM,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;IACrE,IAAI,SAAS,KAAK,SAAS;QAAE,WAAW,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACzC,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IACrD,IAAI,QAAQ,KAAK,IAAI;QAAE,MAAM,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC;IAChC,IAAI,IAAI,KAAK,aAAa,IAAI,IAAI,KAAK,2BAA2B,IAAI,IAAI,KAAK,yBAAyB;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IACtJ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,eAAe,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAC1J,kBAAkB,CAAC,uBAAuB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IAC9D,OAAO;QACL,GAAG,MAAM;QACT,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC;QACtE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC;QAC7E,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC;QACjE,gBAAgB,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,sBAAsB,CAAC;QACrF,SAAS,EAAE;YACT,GAAG,SAAS;YACZ,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,oBAAoB,CAAC,EAAE,CAAC;YAC1F,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,WAAW,CAAC,SAAS,EAAE,qBAAqB,CAAC,EAAE,CAAC;SACjG;QACD,kBAAkB,EAAE,YAAY,CAAC,MAAM,CAAC,kBAAkB,EAAE,oBAAoB,CAAC;QACjF,mBAAmB,EAAE,MAAM,CAAC,mBAAmB,EAAE,WAAW,EAAE,IAAI;QAClE,6EAA6E;QAC7E,SAAS,EAAE,MAAM,CAAC,SAAsB;KACzC,CAAC;AACJ,CAAC;AACD,SAAS,QAAQ,CAAC,KAAc;IAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;IAClD,OAAO;QACL,GAAG,MAAM;QACT,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,mBAAmB,EAAE,oBAAoB,CAAC;QAClF,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,iBAAiB,CAAC;QAClE,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,eAAe,CAAC;QAC5D,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,oBAAoB,CAAC;QACjE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,uBAAuB,CAAC;QAC3H,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,qBAAqB,CAAC;KACrH,CAAC;AACJ,CAAC;AACD,SAAS,QAAQ,CAAC,KAAoB;IACpC,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IACtH,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IAC3D,+EAA+E;IAC/E,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAkC;QAC5C,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,oBAAoB,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,oBAAoB,CAAC;QAC9G,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,qBAAqB,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,kBAAkB,CAAC;KAC5G,CAAC;IACF,OAAO,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ;QACxE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,qBAAqB,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,kBAAkB,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;AAChI,CAAC;AACD,SAAS,QAAQ,CAAC,GAA+C,EAAE,IAAY,IAAa,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAGjH,iFAAiF;AACjF,MAAM,OAAO,cAAc;IAChB,QAAQ,CAAS;IACjB,IAAI,CAAS;IACb,cAAc,CAAiC;IAC/C,SAAS,GAAG,CAAC,OAAO,CAAC,CAAC;IACtB,QAAQ,CAAkB;IACnC,EAAE,GAAwB,IAAI,CAAC;IAE/B,YAAY,QAAgB,EAAE,EAAE,cAAc,GAAG,IAAI,EAAE,MAAM,GAAG,KAAK,EAAE,cAAc,GAAG,IAAI,EAAE,GAA0B,EAAE;QACxH,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,CAAC,cAAc,GAAG,cAAc,CAAC;QACrC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,IAAI,CAAC,QAAQ,OAAO,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;YAC7G,IAAI,OAAO,CAAC,cAAc,KAAK,sBAAsB,EAAE,CAAC;gBACtD,MAAM,YAAY,CAAC,gCAAgC,EAAE,8BAA8B,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,gBAAgB,sBAAsB,GAAG,CAAC,CAAC;YAC9J,CAAC;YACD,IAAI,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;YAC5N,IAAI,OAAO,CAAC,IAAI,KAAK,sBAAsB,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;YAC1J,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;YAClC,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAC,KAAK;gBAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;YACxH,IAAI,cAAc,KAAK,IAAI,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,cAAc,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;YAC9J,IAAI,MAAM,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;gBACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACvC,IAAI,MAAM,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,cAAc,KAAK,IAAI,IAAI,MAAM,KAAK,cAAc,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;YAC9I,CAAC;YACD,MAAM,YAAY,GAAG,cAAc,EAAE,CAAC;YACtC,IAAI,CAAC,EAAE,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACtG,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;YAC5E,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,EAAE,EAAE,cAAc,CAAC,KAAK,sBAAsB;gBAAE,MAAM,YAAY,CAAC,gCAAgC,EAAE,kDAAkD,CAAC,CAAC;YAChN,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,IAAI,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC;YACxJ,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;YACrI,KAAK,MAAM,KAAK,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,CAAU,EAAE,CAAC;gBACzE,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,2BAA2B,CAAC,CAAC;YACzI,CAAC;YACD,IAAI,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC,GAAG,EAAE,EAAE,iBAAiB,CAAC,KAAK,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;QACzJ,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC;gBAAE,MAAM,KAAK,CAAC;YAC7D,MAAM,YAAY,CAAC,qBAAqB,EAAE,+BAA+B,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACpH,CAAC;IACH,CAAC;IACD,KAAK,KAAW,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IAC3C,QAAQ;QACd,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI;YAAE,MAAM,YAAY,CAAC,qBAAqB,EAAE,4BAA4B,CAAC,CAAC;QAC9F,OAAO,IAAI,CAAC,EAAE,CAAC;IACjB,CAAC;IACD,GAAG,CAAC,KAAsC,EAAE,GAAW;QACrD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,6BAA6B,KAAK,gBAAgB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjG,IAAI,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QACtB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;QACrD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,MAAM;YAAE,MAAM,YAAY,CAAC,qBAAqB,EAAE,WAAW,KAAK,SAAS,GAAG,EAAE,CAAC,CAAC;QAC5G,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,QAAQ,CAAC,KAAsB;QAC7B,MAAM,KAAK,GAAG,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,2CAA2C,CAAC;QACxI,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,4BAA4B,KAAK,oBAAoB,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IAChK,CAAC;IACD,KAAK,CAAC,EAAW;QACf,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9C,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACjD,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,EAAE,CAAC;IAC5H,CAAC;IACD,SAAS,CAAC,EAAW;QACnB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9C,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;YAAE,MAAM,YAAY,CAAC,qBAAqB,EAAE,wBAAwB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1G,OAAO,KAAK,CAAC;IACf,CAAC;IACD,QAAQ,CAAC,GAAW;QAClB,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,oDAAoD,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnG,IAAI,CAAC,GAAG;YAAE,MAAM,YAAY,CAAC,8BAA8B,EAAE,6BAA6B,GAAG,EAAE,CAAC,CAAC;QACjG,IAAI,CAAC;YACH,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,YAAY,UAAU,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;YAClF,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YAC/C,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,eAAe,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/E,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;YAChG,IAAI,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC;YAC3B,OAAO,KAAK,CAAC;QACf,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YAAC,MAAM,YAAY,CAAC,8BAA8B,EAAE,4BAA4B,GAAG,KAAK,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAAC,CAAC;IAC7I,CAAC;IACD,aAAa,CAAC,KAAmB;QAC/B,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,IAAI,gBAAgB,CAAC,CAAC;QACnE,IAAI,YAAoB,CAAC;QACzB,IAAI,CAAC;YAAC,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;QAAC,CAAC;QAC1D,MAAM,CAAC;YAAC,MAAM,YAAY,CAAC,8BAA8B,EAAE,4BAA4B,KAAK,CAAC,IAAI,2CAA2C,CAAC,CAAC;QAAC,CAAC;QAChJ,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,cAAc,CAAC,CAAC;QACjE,IAAI,QAAQ,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE;YAAE,MAAM,YAAY,CAAC,qBAAqB,EAAE,iCAAiC,CAAC,CAAC;QAC3G,MAAM,SAAS,GAAqC,MAAM,CAAC,WAAW,CAAC,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnL,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC,yBAAyB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YACrH,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC;gBAAE,SAAS;YAC9C,IAAI,QAAQ,CAAC,iBAAiB,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ;gBAAE,MAAM,YAAY,CAAC,8BAA8B,EAAE,mCAAmC,KAAK,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;QAChN,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;IAChD,CAAC;IACD,gBAAgB,CAAC,MAAe,EAAE,OAAgB;QAChD,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACjE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACxC,IAAI,KAAK,KAAK,IAAI;YAAE,MAAM,IAAI,sCAAsC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,YAAY,EAAE,2BAA2B,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;QACvN,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;YAAE,MAAM,YAAY,CAAC,qBAAqB,EAAE,4BAA4B,CAAC,CAAC;QACxG,OAAO,KAAK,CAAC;IACf,CAAC;CACF;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACzH,kBAAkB,CAAC,qCAAqC,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC1E,OAAO,IAAI,CAAC;AACd,CAAC","sourcesContent":["import { createHash, type BinaryLike } from \"node:crypto\";\nimport { createRequire } from \"node:module\";\nimport { closeSync, openSync, readSync, readFileSync, statSync } from \"node:fs\";\nimport type { DatabaseSync, SQLOutputValue } from \"node:sqlite\";\nimport path from \"node:path\";\nimport { inflateRawSync } from \"node:zlib\";\nimport { parseYaml } from \"./yaml-lite.ts\";\nimport { expectedPcrArtifactHashes } from \"./languages.ts\";\nimport { PcrClassificationCoverageNotFoundError } from \"./classification-coverage.ts\";\nimport { isPcrIdAlias } from \"./pcr-id-aliases.ts\";\nimport { assertCoreContract } from \"./contracts.ts\";\nimport { isUnknownRecord, errorCode, errorMessage } from \"./types.ts\";\nimport type { CatalogEntry, CapturedPcrSnapshot, CoverageSnapshot, OfflineManifest, OfflineSnapshot, PcrCatalogScope, PcrIdAlias, PcrRecord, PcrSource, Readiness, UnknownRecord } from \"./types.ts\";\n\nexport const LIBRARY_FORMAT_VERSION = 1;\nconst UTF8_DECODER = new TextDecoder(\"utf-8\", { fatal: true, ignoreBOM: true });\nexport const sha256 = (bytes: BinaryLike): string => `sha256:${createHash(\"sha256\").update(bytes).digest(\"hex\")}`;\nexport function libraryError(code: string, message: string): Error & { code: string } {\n  return Object.assign(new Error(message), { code });\n}\n\n/** The provider can import this module without eagerly loading SQLite. */\nexport function sqliteDatabase(): typeof DatabaseSync {\n  const [major = 0, minor = 0] = process.versions.node.split(\".\").map(Number);\n  if (major < 24 || (major === 24 && minor < 19)) {\n    throw libraryError(\"PCR_LIBRARY_RUNTIME_UNSUPPORTED\", \"Offline libraries require Node.js 24.19 or newer.\");\n  }\n  const sqlite: unknown = createRequire(import.meta.url)(\"node:sqlite\");\n  if (!isSqliteModule(sqlite)) throw libraryError(\"PCR_LIBRARY_RUNTIME_UNSUPPORTED\", \"Node SQLite DatabaseSync is unavailable.\");\n  return sqlite.DatabaseSync;\n}\nfunction isSqliteModule(value: unknown): value is { DatabaseSync: typeof DatabaseSync } {\n  if (!isUnknownRecord(value) || typeof value.DatabaseSync !== \"function\") return false;\n  const prototype: unknown = value.DatabaseSync.prototype;\n  return isUnknownRecord(prototype) && [\"prepare\", \"exec\", \"close\"].every(name => typeof prototype[name] === \"function\");\n}\nexport function hashFile(filename: string): string {\n  const hash = createHash(\"sha256\");\n  const fd = openSync(filename, \"r\");\n  const buffer = Buffer.alloc(1024 * 1024);\n  try {\n    let count: number;\n    while ((count = readSync(fd, buffer, 0, buffer.length, null))) hash.update(buffer.subarray(0, count));\n    return `sha256:${hash.digest(\"hex\")}`;\n  } finally { closeSync(fd); }\n}\nexport type SnapshotTable = \"records\" | \"aliases\" | \"coverage\" | \"files\";\nexport function metadataDigest(db: DatabaseSync, table: SnapshotTable): string {\n  if (![\"records\", \"aliases\", \"coverage\", \"files\"].includes(table)) throw new Error(\"Unknown snapshot table.\");\n  const hash = createHash(\"sha256\");\n  const columns = table === \"files\" ? \"key, size, sha256\" : \"key, value, sha256\";\n  for (const row of db.prepare(`SELECT ${columns} FROM ${table} ORDER BY key`).iterate()) {\n    // Preserve native SQLite column order: it is part of the existing digest.\n    hash.update(JSON.stringify(row)); hash.update(\"\\n\");\n  }\n  return `sha256:${hash.digest(\"hex\")}`;\n}\nfunction object(value: unknown, label: string): UnknownRecord {\n  if (!isUnknownRecord(value)) throw new Error(`Invalid ${label}.`);\n  return value;\n}\nfunction string(value: unknown, label: string): string {\n  if (typeof value !== \"string\") throw new Error(`Invalid ${label}.`);\n  return value;\n}\nfunction number(value: unknown, label: string): number {\n  if (typeof value !== \"number\" || !Number.isSafeInteger(value) || value < 0) throw new Error(`Invalid ${label}.`);\n  return value;\n}\nfunction stringArray(value: unknown, label: string): string[] {\n  if (!Array.isArray(value) || !value.every((entry: unknown) => typeof entry === \"string\")) throw new Error(`Invalid ${label}.`);\n  return value as string[];\n}\nfunction stringRecord(value: unknown, label: string): Record<string, string> {\n  const fields = object(value, label);\n  for (const field of Object.values(fields)) string(field, label);\n  return fields as Record<string, string>;\n}\nfunction titleRecord(value: unknown): Record<string, string | null> {\n  const fields = object(value, \"PCR titles\");\n  for (const field of Object.values(fields)) if (field !== null) string(field, \"PCR title\");\n  return fields as Record<string, string | null>;\n}\nfunction json(text: string): unknown { return JSON.parse(text) as unknown; }\nfunction pcrRecord(value: unknown): PcrRecord {\n  const record = object(value, \"PCR record\");\n  const languages = object(record.languages, \"record languages\");\n  const canonical = languages.canonical;\n  const available = languages.available;\n  if (canonical !== undefined) string(canonical, \"canonical language\");\n  if (available !== undefined) stringArray(available, \"available languages\");\n  const version = record.version;\n  const maturity = record.content_maturity;\n  if (version !== null) string(version, \"PCR version\");\n  if (maturity !== null) string(maturity, \"PCR content maturity\");\n  const kind = record.record_kind;\n  if (kind !== \"methodology\" && kind !== \"legacy_scaffold_reference\" && kind !== \"invalid_lifecycle_state\") throw new Error(\"Invalid PCR record kind.\");\n  if (!Array.isArray(record.classification_refs) || !record.classification_refs.every(isUnknownRecord)) throw new Error(\"Invalid PCR classification refs.\");\n  assertCoreContract(\"readiness.schema.json\", record.readiness);\n  return {\n    ...record,\n    id: string(record.id, \"PCR id\"), path: string(record.path, \"PCR path\"),\n    title: titleRecord(record.title), status: string(record.status, \"PCR status\"),\n    version: version === null ? null : string(version, \"PCR version\"),\n    content_maturity: maturity === null ? null : string(maturity, \"PCR content maturity\"),\n    languages: {\n      ...languages,\n      ...(canonical === undefined ? {} : { canonical: string(canonical, \"canonical language\") }),\n      ...(available === undefined ? {} : { available: stringArray(available, \"available languages\") }),\n    },\n    translation_status: stringRecord(record.translation_status, \"translation status\"),\n    classification_refs: record.classification_refs, record_kind: kind,\n    // Successful existing schema and semantic validation is the narrowing proof.\n    readiness: record.readiness as Readiness,\n  };\n}\nfunction snapshot(value: unknown): OfflineSnapshot {\n  const fields = object(value, \"snapshot metadata\");\n  return {\n    ...fields,\n    available_languages: stringArray(fields.available_languages, \"snapshot languages\"),\n    content_version: string(fields.content_version, \"content version\"),\n    source_commit: string(fields.source_commit, \"source commit\"),\n    source_sha256: string(fields.source_sha256, \"source fingerprint\"),\n    records: number(fields.records, \"record count\"), material_records: number(fields.material_records, \"material record count\"),\n    aliases: number(fields.aliases, \"alias count\"), original_bytes: number(fields.original_bytes, \"original byte count\"),\n  };\n}\nfunction manifest(value: UnknownRecord): OfflineManifest {\n  if (value.kind !== \"tiangong-pcr-library\" || value.format_version !== 1) throw new Error(\"Invalid library manifest.\");\n  const indexes = object(value.index_sha256, \"index hashes\");\n  // Keep original key order in sidecar/snapshot objects for historical equality.\n  const metadata = snapshot(value.snapshot);\n  const hashes: Record<SnapshotTable, string> = {\n    records: string(indexes.records, \"records index hash\"), aliases: string(indexes.aliases, \"aliases index hash\"),\n    coverage: string(indexes.coverage, \"coverage index hash\"), files: string(indexes.files, \"files index hash\"),\n  };\n  return { ...value, kind: value.kind, format_version: 1, snapshot: metadata,\n    bytes: number(value.bytes, \"library byte length\"), sha256: string(value.sha256, \"library checksum\"), index_sha256: hashes };\n}\nfunction rowValue(row: Record<string, SQLOutputValue> | undefined, name: string): unknown { return row?.[name]; }\n\nexport interface OfflineLibraryOptions { expectedSha256?: string | null; verify?: boolean; onArtifactRead?: ((key: string) => void) | null }\n/** Read-only adapter; all original content remains compressed until selected. */\nexport class OfflineLibrary implements PcrSource {\n  readonly filename: string;\n  readonly root: string;\n  readonly onArtifactRead: ((key: string) => void) | null;\n  readonly languages = [\"en-US\"];\n  readonly manifest: OfflineManifest;\n  db: DatabaseSync | null = null;\n\n  constructor(filename: string, { expectedSha256 = null, verify = false, onArtifactRead = null }: OfflineLibraryOptions = {}) {\n    this.filename = path.resolve(filename);\n    this.root = path.dirname(this.filename);\n    this.onArtifactRead = onArtifactRead;\n    try {\n      const decoded = object(json(UTF8_DECODER.decode(readFileSync(`${this.filename}.json`))), \"library manifest\");\n      if (decoded.format_version !== LIBRARY_FORMAT_VERSION) {\n        throw libraryError(\"PCR_LIBRARY_FORMAT_UNSUPPORTED\", `Unsupported library format ${String(decoded.format_version)}; supported: ${LIBRARY_FORMAT_VERSION}.`);\n      }\n      if (JSON.stringify(isUnknownRecord(decoded.snapshot) ? decoded.snapshot.available_languages : undefined) !== JSON.stringify(this.languages)) throw new Error(\"Unsupported library language policy; expected English only.\");\n      if (decoded.kind !== \"tiangong-pcr-library\" || !/^sha256:[a-f0-9]{64}$/u.test(String(decoded.sha256 ?? \"\"))) throw new Error(\"Invalid library manifest.\");\n      this.manifest = manifest(decoded);\n      if (statSync(this.filename).size !== this.manifest.bytes) throw new Error(\"Library byte length differs from manifest.\");\n      if (expectedSha256 !== null && !/^sha256:[a-f0-9]{64}$/u.test(expectedSha256)) throw new Error(\"Expected SHA-256 must use sha256:<64 lowercase hex digits>.\");\n      if (verify || expectedSha256 !== null) {\n        const digest = hashFile(this.filename);\n        if (digest !== this.manifest.sha256 || (expectedSha256 !== null && digest !== expectedSha256)) throw new Error(\"Library SHA-256 mismatch.\");\n      }\n      const DatabaseSync = sqliteDatabase();\n      this.db = new DatabaseSync(this.filename, { readOnly: true, allowExtension: false, defensive: true });\n      this.db.exec(\"PRAGMA query_only = ON; PRAGMA trusted_schema = OFF; BEGIN;\");\n      if (rowValue(this.db.prepare(\"PRAGMA user_version\").get(), \"user_version\") !== LIBRARY_FORMAT_VERSION) throw libraryError(\"PCR_LIBRARY_FORMAT_UNSUPPORTED\", \"SQLite format version does not match the reader.\");\n      const metadata = json(string(rowValue(this.db.prepare(\"SELECT value FROM metadata WHERE key = 'snapshot'\").get(), \"value\") ?? \"null\", \"snapshot JSON\"));\n      if (JSON.stringify(metadata) !== JSON.stringify(this.manifest.snapshot)) throw new Error(\"Snapshot identity differs from manifest.\");\n      for (const table of [\"records\", \"aliases\", \"coverage\", \"files\"] as const) {\n        if (metadataDigest(this.db, table) !== this.manifest.index_sha256[table]) throw new Error(`Library ${table} index checksum mismatch.`);\n      }\n      if (verify && rowValue(this.db.prepare(\"PRAGMA integrity_check\").get(), \"integrity_check\") !== \"ok\") throw new Error(\"SQLite integrity check failed.\");\n    } catch (error: unknown) {\n      this.close();\n      if (errorCode(error).startsWith(\"PCR_LIBRARY_\")) throw error;\n      throw libraryError(\"PCR_LIBRARY_INVALID\", `Cannot open offline library ${this.filename}: ${errorMessage(error)}`);\n    }\n  }\n  close(): void { this.db?.close(); this.db = null; }\n  private database(): DatabaseSync {\n    if (this.db === null) throw libraryError(\"PCR_LIBRARY_INVALID\", \"Offline library is closed.\");\n    return this.db;\n  }\n  row(table: Exclude<SnapshotTable, \"files\">, key: string): unknown {\n    const row = this.database().prepare(`SELECT value, sha256 FROM ${table} WHERE key = ?`).get(key);\n    if (!row) return null;\n    const value = string(row.value, \"snapshot JSON row\");\n    if (sha256(value) !== row.sha256) throw libraryError(\"PCR_LIBRARY_INVALID\", `Invalid ${table} row: ${key}`);\n    return json(value);\n  }\n  listPcrs(scope: PcrCatalogScope): PcrRecord[] {\n    const where = scope === \"all\" ? \"\" : scope === \"material\" ? \" WHERE kind = 'methodology'\" : \" WHERE kind = 'legacy_scaffold_reference'\";\n    return this.database().prepare(`SELECT value FROM records${where} ORDER BY position`).all().map(row => pcrRecord(json(string(row.value, \"PCR record JSON\"))));\n  }\n  entry(id: unknown): CatalogEntry | null {\n    const value = this.row(\"records\", String(id));\n    if (value === null) return null;\n    const record = object(value, \"PCR record\");\n    const relative = string(record.path, \"PCR path\");\n    return { id: string(record.id, \"PCR id\"), path: relative, manifestPath: path.join(this.root, relative, \"manifest.yaml\") };\n  }\n  findAlias(id: unknown): PcrIdAlias | null {\n    const value = this.row(\"aliases\", String(id));\n    if (value === null) return null;\n    if (!isPcrIdAlias(value)) throw libraryError(\"PCR_LIBRARY_INVALID\", `Invalid aliases row: ${String(id)}`);\n    return value;\n  }\n  readFile(key: string): Buffer {\n    const row = this.database().prepare(\"SELECT data, size, sha256 FROM files WHERE key = ?\").get(key);\n    if (!row) throw libraryError(\"PCR_LIBRARY_ARTIFACT_MISSING\", `Missing library artifact: ${key}`);\n    try {\n      if (!(row.data instanceof Uint8Array)) throw new Error(\"invalid compressed blob\");\n      const size = number(row.size, \"artifact size\");\n      const bytes = inflateRawSync(row.data, { maxOutputLength: Math.max(1, size) });\n      if (bytes.length !== size || sha256(bytes) !== row.sha256) throw new Error(\"checksum mismatch\");\n      this.onArtifactRead?.(key);\n      return bytes;\n    } catch (error: unknown) { throw libraryError(\"PCR_LIBRARY_ARTIFACT_INVALID\", `Invalid library artifact ${key}: ${errorMessage(error)}`); }\n  }\n  snapshotFiles(entry: CatalogEntry): CapturedPcrSnapshot {\n    const manifestBytes = this.readFile(`${entry.path}/manifest.yaml`);\n    let manifestText: string;\n    try { manifestText = UTF8_DECODER.decode(manifestBytes); }\n    catch { throw libraryError(\"PCR_LIBRARY_ARTIFACT_INVALID\", `Invalid library artifact ${entry.path}/manifest.yaml: input is not valid UTF-8.`); }\n    const manifest = object(parseYaml(manifestText), \"PCR manifest\");\n    if (manifest.id !== entry.id) throw libraryError(\"PCR_LIBRARY_INVALID\", \"PCR manifest identity mismatch.\");\n    const artifacts: CapturedPcrSnapshot[\"artifacts\"] = Object.fromEntries([\"pcr.en-US.md\", \"structured.yaml\"].map(name => [name, { bytes: this.readFile(`${entry.path}/${name}`) }]));\n    for (const [name, expected] of Object.entries(manifest.release_artifacts ? expectedPcrArtifactHashes(manifest) : {})) {\n      if (!Object.hasOwn(artifacts, name)) continue;\n      if (manifest.release_artifacts && sha256(artifacts[name]?.bytes ?? Buffer.alloc(0)) !== expected) throw libraryError(\"PCR_LIBRARY_ARTIFACT_INVALID\", `Release artifact hash mismatch: ${entry.path}/${name}`);\n    }\n    return { manifest, manifestBytes, artifacts };\n  }\n  coverageSnapshot(system: unknown, version: unknown): CoverageSnapshot {\n    const key = `${String(system).toLowerCase()}:${String(version)}`;\n    const value = this.row(\"coverage\", key);\n    if (value === null) throw new PcrClassificationCoverageNotFoundError({ system: String(system), version: String(version), relativePath: `classifications/indexes/${String(system)}-${String(version)}-coverage.json` });\n    if (!isCoverageSnapshot(value)) throw libraryError(\"PCR_LIBRARY_INVALID\", \"Invalid coverage snapshot.\");\n    return value;\n  }\n}\n\nfunction isCoverageSnapshot(value: unknown): value is CoverageSnapshot {\n  if (!isUnknownRecord(value) || typeof value.relative_path !== \"string\" || typeof value.sha256 !== \"string\") return false;\n  assertCoreContract(\"classification-coverage.schema.json\", value.document);\n  return true;\n}\n"]}

package/packages/pcr-core/src/output-semantics.js

@@ -0,0 +1,122 @@
+function semanticIssue(code, instancePath, message, params = {}) {
+    return {
+        code: `semantic.${code}`,
+        instance_path: instancePath,
+        schema_path: `#/x-semantic/${code.replaceAll(".", "/")}`,
+        keyword: "semantic",
+        message,
+        params,
+    };
+}
+export function readinessSemanticIssues(readiness) {
+    const issues = [];
+    const blockers = readiness.blockers;
+    const fingerprint = readiness.projection_fingerprint;
+    const usable = readiness.usable_for_guidance && readiness.usable_for_validation;
+    if (readiness.usable_for_guidance !== readiness.usable_for_validation) {
+        issues.push(semanticIssue("readiness.usability_alignment", "/usable_for_validation", "guidance and validation usability must have the same value."));
+    }
+    if (blockers.length > 0) {
+        if (readiness.status !== "unavailable") {
+            issues.push(semanticIssue("readiness.blocked_status", "/status", "readiness with blockers must be unavailable.", { blocker_count: blockers.length }));
+        }
+        if (usable || readiness.usable_for_guidance || readiness.usable_for_validation) {
+            issues.push(semanticIssue("readiness.blocked_usability", "/usable_for_guidance", "readiness with blockers must not be usable for guidance or validation.", { blocker_count: blockers.length }));
+        }
+    }
+    else {
+        if (readiness.status === "unavailable") {
+            issues.push(semanticIssue("readiness.unavailable_without_blocker", "/status", "unavailable readiness must include at least one blocker."));
+        }
+        if (!usable) {
+            issues.push(semanticIssue("readiness.unblocked_usability", "/usable_for_guidance", "readiness without blockers must be usable for guidance and validation."));
+        }
+    }
+    if (!fingerprint.required) {
+        if (fingerprint.status !== "not_required" ||
+            fingerprint.schema_valid !== null ||
+            fingerprint.issues.length > 0) {
+            issues.push(semanticIssue("readiness.fingerprint_not_required", "/projection_fingerprint/status", "a non-required projection fingerprint must be not_required with no schema result or issues."));
+        }
+    }
+    if (fingerprint.status === "current") {
+        if (fingerprint.schema_valid !== true ||
+            fingerprint.source_hash_valid !== true ||
+            fingerprint.content_hash_valid !== true ||
+            fingerprint.issues.length > 0) {
+            issues.push(semanticIssue("readiness.current_fingerprint", "/projection_fingerprint/status", "a current projection fingerprint requires valid schema, source hash, content hash, and no issues."));
+        }
+    }
+    if (fingerprint.required && usable && fingerprint.status !== "current") {
+        issues.push(semanticIssue("readiness.usable_fingerprint", "/projection_fingerprint/status", "usable material PCR readiness requires a current projection fingerprint."));
+    }
+    return issues.sort(compareIssues);
+}
+export function validationReportSemanticIssues(report) {
+    const issues = [];
+    const summary = countFindings(report.findings);
+    const performed = report.check_coverage.checks_performed;
+    const skipped = report.check_coverage.checks_skipped;
+    const checkedRequirementCount = performed.reduce((total, check) => total + check.requirement_count, 0);
+    const skippedRequirementCount = skipped.reduce((total, check) => total + check.requirement_count, 0);
+    if (report.finding_count !== report.findings.length) {
+        issues.push(semanticIssue("validation.finding_count", "/finding_count", "finding_count must equal findings.length.", { expected: report.findings.length, actual: report.finding_count }));
+    }
+    for (const severity of ["error", "warning", "info"]) {
+        if (report.finding_summary[severity] !== summary[severity]) {
+            issues.push(semanticIssue(`validation.finding_summary.${severity}`, `/finding_summary/${severity}`, `${severity} finding summary must equal the findings array count.`, { expected: summary[severity], actual: report.finding_summary[severity] }));
+        }
+    }
+    for (const [index, check] of performed.entries()) {
+        if (check.evaluated_requirement_count !== check.requirement_count) {
+            issues.push(semanticIssue("validation.performed_check_coverage", `/check_coverage/checks_performed/${index}/evaluated_requirement_count`, "a performed check must evaluate every requirement it declares.", {
+                requirement_count: check.requirement_count,
+                evaluated_requirement_count: check.evaluated_requirement_count,
+            }));
+        }
+    }
+    const coverage = report.check_coverage;
+    if (coverage.checked_requirement_count !== checkedRequirementCount) {
+        issues.push(semanticIssue("validation.checked_requirement_count", "/check_coverage/checked_requirement_count", "checked_requirement_count must equal the sum of performed requirement counts.", { expected: checkedRequirementCount, actual: coverage.checked_requirement_count }));
+    }
+    if (coverage.skipped_requirement_count !== skippedRequirementCount) {
+        issues.push(semanticIssue("validation.skipped_requirement_count", "/check_coverage/skipped_requirement_count", "skipped_requirement_count must equal the sum of skipped requirement counts.", { expected: skippedRequirementCount, actual: coverage.skipped_requirement_count }));
+    }
+    const totalRequirementCount = checkedRequirementCount + skippedRequirementCount;
+    if (coverage.total_requirement_count !== totalRequirementCount) {
+        issues.push(semanticIssue("validation.total_requirement_count", "/check_coverage/total_requirement_count", "total_requirement_count must equal checked plus skipped requirements.", { expected: totalRequirementCount, actual: coverage.total_requirement_count }));
+    }
+    const expectedCompleteness = performed.length === 0
+        ? "none"
+        : skipped.length > 0
+            ? "partial"
+            : "complete";
+    if (report.completeness !== expectedCompleteness) {
+        issues.push(semanticIssue("validation.completeness", "/completeness", "completeness must reflect performed and skipped checks.", { expected: expectedCompleteness, actual: report.completeness }));
+    }
+    const expectedStatus = summary.error > 0
+        ? "failed"
+        : performed.length === 0
+            ? "inconclusive"
+            : "passed";
+    if (report.validation_status !== expectedStatus) {
+        issues.push(semanticIssue("validation.status", "/validation_status", "validation_status must reflect error findings and performed coverage.", { expected: expectedStatus, actual: report.validation_status }));
+    }
+    if (!report.input.accepted && performed.length > 0) {
+        issues.push(semanticIssue("validation.rejected_input_coverage", "/check_coverage/checks_performed", "rejected input must not report performed checks."));
+    }
+    return issues.sort(compareIssues);
+}
+function countFindings(findings) {
+    const summary = { error: 0, warning: 0, info: 0 };
+    for (const finding of findings) {
+        summary[finding.severity] += 1;
+    }
+    return summary;
+}
+function compareIssues(left, right) {
+    return (left.instance_path.localeCompare(right.instance_path) ||
+        left.code.localeCompare(right.code) ||
+        left.message.localeCompare(right.message));
+}
+//# sourceMappingURL=output-semantics.js.map

package/packages/pcr-core/src/output-semantics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"output-semantics.js","sourceRoot":"pcr://source/","sources":["packages/pcr-core/src/output-semantics.ts"],"names":[],"mappings":"AACA,SAAS,aAAa,CAAC,IAAY,EAAE,YAAoB,EAAE,OAAe,EAAE,MAAM,GAA4B,EAAE;IAC9G,OAAO;QACL,IAAI,EAAE,YAAY,IAAI,EAAE;QACxB,aAAa,EAAE,YAAY;QAC3B,WAAW,EAAE,gBAAgB,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;QACxD,OAAO,EAAE,UAAU;QACnB,OAAO;QACP,MAAM;KACP,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,SAAoB;IAC1D,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;IACpC,MAAM,WAAW,GAAG,SAAS,CAAC,sBAAsB,CAAC;IACrD,MAAM,MAAM,GAAG,SAAS,CAAC,mBAAmB,IAAI,SAAS,CAAC,qBAAqB,CAAC;IAEhF,IAAI,SAAS,CAAC,mBAAmB,KAAK,SAAS,CAAC,qBAAqB,EAAE,CAAC;QACtE,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,+BAA+B,EAC/B,wBAAwB,EACxB,6DAA6D,CAC9D,CAAC,CAAC;IACL,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,IAAI,SAAS,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,0BAA0B,EAC1B,SAAS,EACT,8CAA8C,EAC9C,EAAE,aAAa,EAAE,QAAQ,CAAC,MAAM,EAAE,CACnC,CAAC,CAAC;QACL,CAAC;QACD,IAAI,MAAM,IAAI,SAAS,CAAC,mBAAmB,IAAI,SAAS,CAAC,qBAAqB,EAAE,CAAC;YAC/E,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,6BAA6B,EAC7B,sBAAsB,EACtB,wEAAwE,EACxE,EAAE,aAAa,EAAE,QAAQ,CAAC,MAAM,EAAE,CACnC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,CAAC;QACN,IAAI,SAAS,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,uCAAuC,EACvC,SAAS,EACT,0DAA0D,CAC3D,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,+BAA+B,EAC/B,sBAAsB,EACtB,wEAAwE,CACzE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;QAC1B,IACE,WAAW,CAAC,MAAM,KAAK,cAAc;YACrC,WAAW,CAAC,YAAY,KAAK,IAAI;YACjC,WAAW,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAC7B,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,oCAAoC,EACpC,gCAAgC,EAChC,6FAA6F,CAC9F,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACrC,IACE,WAAW,CAAC,YAAY,KAAK,IAAI;YACjC,WAAW,CAAC,iBAAiB,KAAK,IAAI;YACtC,WAAW,CAAC,kBAAkB,KAAK,IAAI;YACvC,WAAW,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAC7B,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,+BAA+B,EAC/B,gCAAgC,EAChC,mGAAmG,CACpG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAC,QAAQ,IAAI,MAAM,IAAI,WAAW,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACvE,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,8BAA8B,EAC9B,gCAAgC,EAChC,0EAA0E,CAC3E,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,MAAwB;IACrE,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,gBAAgB,CAAC;IACzD,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC,cAAc,CAAC;IACrD,MAAM,uBAAuB,GAAG,SAAS,CAAC,MAAM,CAC9C,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,KAAK,CAAC,iBAAiB,EACjD,CAAC,CACF,CAAC;IACF,MAAM,uBAAuB,GAAG,OAAO,CAAC,MAAM,CAC5C,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,KAAK,CAAC,iBAAiB,EACjD,CAAC,CACF,CAAC;IAEF,IAAI,MAAM,CAAC,aAAa,KAAK,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,0BAA0B,EAC1B,gBAAgB,EAChB,2CAA2C,EAC3C,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,aAAa,EAAE,CACnE,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAU,EAAE,CAAC;QAC7D,IAAI,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,KAAK,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,8BAA8B,QAAQ,EAAE,EACxC,oBAAoB,QAAQ,EAAE,EAC9B,GAAG,QAAQ,uDAAuD,EAClE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAC1E,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,IAAI,KAAK,CAAC,2BAA2B,KAAK,KAAK,CAAC,iBAAiB,EAAE,CAAC;YAClE,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,qCAAqC,EACrC,oCAAoC,KAAK,8BAA8B,EACvE,gEAAgE,EAChE;gBACE,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;gBAC1C,2BAA2B,EAAE,KAAK,CAAC,2BAA2B;aAC/D,CACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,CAAC;IACvC,IAAI,QAAQ,CAAC,yBAAyB,KAAK,uBAAuB,EAAE,CAAC;QACnE,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,sCAAsC,EACtC,2CAA2C,EAC3C,+EAA+E,EAC/E,EAAE,QAAQ,EAAE,uBAAuB,EAAE,MAAM,EAAE,QAAQ,CAAC,yBAAyB,EAAE,CAClF,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,yBAAyB,KAAK,uBAAuB,EAAE,CAAC;QACnE,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,sCAAsC,EACtC,2CAA2C,EAC3C,6EAA6E,EAC7E,EAAE,QAAQ,EAAE,uBAAuB,EAAE,MAAM,EAAE,QAAQ,CAAC,yBAAyB,EAAE,CAClF,CAAC,CAAC;IACL,CAAC;IACD,MAAM,qBAAqB,GAAG,uBAAuB,GAAG,uBAAuB,CAAC;IAChF,IAAI,QAAQ,CAAC,uBAAuB,KAAK,qBAAqB,EAAE,CAAC;QAC/D,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,oCAAoC,EACpC,yCAAyC,EACzC,uEAAuE,EACvE,EAAE,QAAQ,EAAE,qBAAqB,EAAE,MAAM,EAAE,QAAQ,CAAC,uBAAuB,EAAE,CAC9E,CAAC,CAAC;IACL,CAAC;IAED,MAAM,oBAAoB,GAAG,SAAS,CAAC,MAAM,KAAK,CAAC;QACjD,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAClB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,UAAU,CAAC;IACjB,IAAI,MAAM,CAAC,YAAY,KAAK,oBAAoB,EAAE,CAAC;QACjD,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,yBAAyB,EACzB,eAAe,EACf,yDAAyD,EACzD,EAAE,QAAQ,EAAE,oBAAoB,EAAE,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,CAChE,CAAC,CAAC;IACL,CAAC;IAED,MAAM,cAAc,GAAG,OAAO,CAAC,KAAK,GAAG,CAAC;QACtC,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YACtB,CAAC,CAAC,cAAc;YAChB,CAAC,CAAC,QAAQ,CAAC;IACf,IAAI,MAAM,CAAC,iBAAiB,KAAK,cAAc,EAAE,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,mBAAmB,EACnB,oBAAoB,EACpB,uEAAuE,EACvE,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAC/D,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,oCAAoC,EACpC,kCAAkC,EAClC,kDAAkD,CACnD,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,aAAa,CAAC,QAAsC;IAC3D,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IAClD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,IAAiB,EAAE,KAAkB;IAC1D,OAAO,CACL,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC;QACrD,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAC1C,CAAC;AACJ,CAAC","sourcesContent":["import type { Readiness, ValidationReport, SchemaIssue, ValidationFinding } from \"./types.ts\";\nfunction semanticIssue(code: string, instancePath: string, message: string, params: Record<string, unknown> = {}): SchemaIssue {\n  return {\n    code: `semantic.${code}`,\n    instance_path: instancePath,\n    schema_path: `#/x-semantic/${code.replaceAll(\".\", \"/\")}`,\n    keyword: \"semantic\",\n    message,\n    params,\n  };\n}\n\nexport function readinessSemanticIssues(readiness: Readiness): SchemaIssue[] {\n  const issues: SchemaIssue[] = [];\n  const blockers = readiness.blockers;\n  const fingerprint = readiness.projection_fingerprint;\n  const usable = readiness.usable_for_guidance && readiness.usable_for_validation;\n\n  if (readiness.usable_for_guidance !== readiness.usable_for_validation) {\n    issues.push(semanticIssue(\n      \"readiness.usability_alignment\",\n      \"/usable_for_validation\",\n      \"guidance and validation usability must have the same value.\",\n    ));\n  }\n\n  if (blockers.length > 0) {\n    if (readiness.status !== \"unavailable\") {\n      issues.push(semanticIssue(\n        \"readiness.blocked_status\",\n        \"/status\",\n        \"readiness with blockers must be unavailable.\",\n        { blocker_count: blockers.length },\n      ));\n    }\n    if (usable || readiness.usable_for_guidance || readiness.usable_for_validation) {\n      issues.push(semanticIssue(\n        \"readiness.blocked_usability\",\n        \"/usable_for_guidance\",\n        \"readiness with blockers must not be usable for guidance or validation.\",\n        { blocker_count: blockers.length },\n      ));\n    }\n  } else {\n    if (readiness.status === \"unavailable\") {\n      issues.push(semanticIssue(\n        \"readiness.unavailable_without_blocker\",\n        \"/status\",\n        \"unavailable readiness must include at least one blocker.\",\n      ));\n    }\n    if (!usable) {\n      issues.push(semanticIssue(\n        \"readiness.unblocked_usability\",\n        \"/usable_for_guidance\",\n        \"readiness without blockers must be usable for guidance and validation.\",\n      ));\n    }\n  }\n\n  if (!fingerprint.required) {\n    if (\n      fingerprint.status !== \"not_required\" ||\n      fingerprint.schema_valid !== null ||\n      fingerprint.issues.length > 0\n    ) {\n      issues.push(semanticIssue(\n        \"readiness.fingerprint_not_required\",\n        \"/projection_fingerprint/status\",\n        \"a non-required projection fingerprint must be not_required with no schema result or issues.\",\n      ));\n    }\n  }\n\n  if (fingerprint.status === \"current\") {\n    if (\n      fingerprint.schema_valid !== true ||\n      fingerprint.source_hash_valid !== true ||\n      fingerprint.content_hash_valid !== true ||\n      fingerprint.issues.length > 0\n    ) {\n      issues.push(semanticIssue(\n        \"readiness.current_fingerprint\",\n        \"/projection_fingerprint/status\",\n        \"a current projection fingerprint requires valid schema, source hash, content hash, and no issues.\",\n      ));\n    }\n  }\n\n  if (fingerprint.required && usable && fingerprint.status !== \"current\") {\n    issues.push(semanticIssue(\n      \"readiness.usable_fingerprint\",\n      \"/projection_fingerprint/status\",\n      \"usable material PCR readiness requires a current projection fingerprint.\",\n    ));\n  }\n\n  return issues.sort(compareIssues);\n}\n\nexport function validationReportSemanticIssues(report: ValidationReport): SchemaIssue[] {\n  const issues: SchemaIssue[] = [];\n  const summary = countFindings(report.findings);\n  const performed = report.check_coverage.checks_performed;\n  const skipped = report.check_coverage.checks_skipped;\n  const checkedRequirementCount = performed.reduce(\n    (total, check) => total + check.requirement_count,\n    0,\n  );\n  const skippedRequirementCount = skipped.reduce(\n    (total, check) => total + check.requirement_count,\n    0,\n  );\n\n  if (report.finding_count !== report.findings.length) {\n    issues.push(semanticIssue(\n      \"validation.finding_count\",\n      \"/finding_count\",\n      \"finding_count must equal findings.length.\",\n      { expected: report.findings.length, actual: report.finding_count },\n    ));\n  }\n\n  for (const severity of [\"error\", \"warning\", \"info\"] as const) {\n    if (report.finding_summary[severity] !== summary[severity]) {\n      issues.push(semanticIssue(\n        `validation.finding_summary.${severity}`,\n        `/finding_summary/${severity}`,\n        `${severity} finding summary must equal the findings array count.`,\n        { expected: summary[severity], actual: report.finding_summary[severity] },\n      ));\n    }\n  }\n\n  for (const [index, check] of performed.entries()) {\n    if (check.evaluated_requirement_count !== check.requirement_count) {\n      issues.push(semanticIssue(\n        \"validation.performed_check_coverage\",\n        `/check_coverage/checks_performed/${index}/evaluated_requirement_count`,\n        \"a performed check must evaluate every requirement it declares.\",\n        {\n          requirement_count: check.requirement_count,\n          evaluated_requirement_count: check.evaluated_requirement_count,\n        },\n      ));\n    }\n  }\n\n  const coverage = report.check_coverage;\n  if (coverage.checked_requirement_count !== checkedRequirementCount) {\n    issues.push(semanticIssue(\n      \"validation.checked_requirement_count\",\n      \"/check_coverage/checked_requirement_count\",\n      \"checked_requirement_count must equal the sum of performed requirement counts.\",\n      { expected: checkedRequirementCount, actual: coverage.checked_requirement_count },\n    ));\n  }\n  if (coverage.skipped_requirement_count !== skippedRequirementCount) {\n    issues.push(semanticIssue(\n      \"validation.skipped_requirement_count\",\n      \"/check_coverage/skipped_requirement_count\",\n      \"skipped_requirement_count must equal the sum of skipped requirement counts.\",\n      { expected: skippedRequirementCount, actual: coverage.skipped_requirement_count },\n    ));\n  }\n  const totalRequirementCount = checkedRequirementCount + skippedRequirementCount;\n  if (coverage.total_requirement_count !== totalRequirementCount) {\n    issues.push(semanticIssue(\n      \"validation.total_requirement_count\",\n      \"/check_coverage/total_requirement_count\",\n      \"total_requirement_count must equal checked plus skipped requirements.\",\n      { expected: totalRequirementCount, actual: coverage.total_requirement_count },\n    ));\n  }\n\n  const expectedCompleteness = performed.length === 0\n    ? \"none\"\n    : skipped.length > 0\n      ? \"partial\"\n      : \"complete\";\n  if (report.completeness !== expectedCompleteness) {\n    issues.push(semanticIssue(\n      \"validation.completeness\",\n      \"/completeness\",\n      \"completeness must reflect performed and skipped checks.\",\n      { expected: expectedCompleteness, actual: report.completeness },\n    ));\n  }\n\n  const expectedStatus = summary.error > 0\n    ? \"failed\"\n    : performed.length === 0\n      ? \"inconclusive\"\n      : \"passed\";\n  if (report.validation_status !== expectedStatus) {\n    issues.push(semanticIssue(\n      \"validation.status\",\n      \"/validation_status\",\n      \"validation_status must reflect error findings and performed coverage.\",\n      { expected: expectedStatus, actual: report.validation_status },\n    ));\n  }\n\n  if (!report.input.accepted && performed.length > 0) {\n    issues.push(semanticIssue(\n      \"validation.rejected_input_coverage\",\n      \"/check_coverage/checks_performed\",\n      \"rejected input must not report performed checks.\",\n    ));\n  }\n\n  return issues.sort(compareIssues);\n}\n\nfunction countFindings(findings: readonly ValidationFinding[]): Record<ValidationFinding[\"severity\"], number> {\n  const summary = { error: 0, warning: 0, info: 0 };\n  for (const finding of findings) {\n    summary[finding.severity] += 1;\n  }\n  return summary;\n}\n\nfunction compareIssues(left: SchemaIssue, right: SchemaIssue): number {\n  return (\n    left.instance_path.localeCompare(right.instance_path) ||\n    left.code.localeCompare(right.code) ||\n    left.message.localeCompare(right.message)\n  );\n}\n"]}