@sentropic/focus 0.3.0 → 0.5.0-rc.10

package/dist/validation/evidence-sources.js

@@ -0,0 +1,56 @@
+import { decodeEvidence, evidenceLines, evidenceText, sha256 } from './evidence-bytes.js';
+import { array, fail, imageDimensions, record, text } from './evidence-shape.js';
+export const isTextSource = (media) => /^text\/[a-z0-9.+-]+$/.test(media)
+    || ['application/json', 'application/yaml', 'application/x-yaml', 'application/x-ndjson'].includes(media);
+export function checkSources(value, register) {
+    const lineCounts = new Map();
+    const sources = array(value, '$.sources').map((raw, i) => {
+        const path = `$.sources[${i}]`;
+        const s = record(raw, path, ['id', 'title', 'origin', 'mediaType', 'encoding', 'data', 'sha256', 'size'], ['width', 'height', 'alt']);
+        for (const key of ['id', 'title', 'mediaType', 'sha256'])
+            text(s[key], `${path}.${key}`);
+        register(s.id, `${path}.id`);
+        const origin = s.origin;
+        const fields = origin && Object.hasOwn(origin, 'uri') ? ['uri'] : ['repo', 'revision', 'path'];
+        record(origin, `${path}.origin`, fields);
+        for (const key of fields)
+            text(origin[key], `${path}.origin.${key}`);
+        if (s.encoding !== 'base64')
+            fail(`${path}.encoding`, 'source_encoding', 'Only original base64 bytes are accepted');
+        const media = s.mediaType;
+        if (!isTextSource(media) && !['image/png', 'image/jpeg'].includes(media))
+            fail(`${path}.mediaType`, 'unsupported_media', `Unsupported media for source ${s.id}`);
+        let bytes;
+        try {
+            bytes = decodeEvidence(text(s.data, `${path}.data`, true));
+        }
+        catch {
+            return fail(`${path}.data`, 'source_encoding', `Invalid base64 for source ${s.id}`);
+        }
+        if (!Number.isSafeInteger(s.size) || s.size !== bytes.length)
+            fail(`${path}.size`, 'source_size', `Byte size mismatch for source ${s.id}`);
+        if (!/^[a-f0-9]{64}$/.test(s.sha256) || sha256(bytes) !== s.sha256)
+            fail(`${path}.sha256`, 'source_digest', `SHA-256 mismatch for source ${s.id}`);
+        if (isTextSource(media)) {
+            try {
+                lineCounts.set(s.id, evidenceLines(evidenceText(bytes)).length);
+            }
+            catch {
+                fail(`${path}.data`, 'source_encoding', `Invalid UTF-8 for source ${s.id}`);
+            }
+            for (const key of ['width', 'height', 'alt'])
+                if (s[key] !== undefined)
+                    fail(`${path}.${key}`, 'invalid_evidence', 'Image metadata on text');
+        }
+        else {
+            text(s.alt, `${path}.alt`);
+            const dimensions = imageDimensions(bytes, media);
+            if (!dimensions || !Number.isSafeInteger(s.width) || !Number.isSafeInteger(s.height)
+                || dimensions[0] <= 0 || dimensions[1] <= 0 || dimensions[0] !== s.width || dimensions[1] !== s.height)
+                fail(path, 'image_metadata', `Image dimensions/signature mismatch for source ${s.id}`);
+        }
+        return s;
+    });
+    return { sources, lineCounts };
+}
+//# sourceMappingURL=evidence-sources.js.map

package/dist/validation/evidence-sources.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-sources.js","sourceRoot":"","sources":["../../src/validation/evidence-sources.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAC1F,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AACjF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAa,EAAW,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC;OACrF,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,sBAAsB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC5G,MAAM,UAAU,YAAY,CAAC,KAAc,EAAE,QAA4C;IACvF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACvD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC;QAC/B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,EAAC,OAAO,EAAC,QAAQ,EAAC,WAAW,EAAC,UAAU,EAAC,MAAM,EAAC,QAAQ,EAAC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAC,QAAQ,EAAC,KAAK,CAAC,CAAC,CAAC;QAC7H,KAAK,MAAM,GAAG,IAAI,CAAC,IAAI,EAAC,OAAO,EAAC,WAAW,EAAC,QAAQ,CAAC;YAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;QACtF,QAAQ,CAAC,CAAC,CAAC,EAAY,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAiC,CAAC;QACnD,MAAM,MAAM,GAAG,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAC,UAAU,EAAC,MAAM,CAAC,CAAC;QAC7F,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,EAAE,MAAM,CAAC,CAAC;QACzC,KAAK,MAAM,GAAG,IAAI,MAAM;YAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,WAAW,GAAG,EAAE,CAAC,CAAC;QACrE,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ;YAAE,IAAI,CAAC,GAAG,IAAI,WAAW,EAAE,iBAAiB,EAAE,yCAAyC,CAAC,CAAC;QACpH,MAAM,KAAK,GAAG,CAAC,CAAC,SAAmB,CAAC;QACpC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,WAAW,EAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,GAAG,IAAI,YAAY,EAAE,mBAAmB,EAAE,gCAAgC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChK,IAAI,KAAiB,CAAC;QACtB,IAAI,CAAC;YAAC,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QAAC,CAAC;QACnE,MAAM,CAAC;YAAC,OAAO,IAAI,CAAC,GAAG,IAAI,OAAO,EAAE,iBAAiB,EAAE,6BAA6B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,CAAC;QAC9F,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM;YAAE,IAAI,CAAC,GAAG,IAAI,OAAO,EAAE,aAAa,EAAE,iCAAiC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3I,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,MAAgB,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM;YAAE,IAAI,CAAC,GAAG,IAAI,SAAS,EAAE,eAAe,EAAE,+BAA+B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7J,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC;gBAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAY,EAAE,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAAC,CAAC;YAClF,MAAM,CAAC;gBAAC,IAAI,CAAC,GAAG,IAAI,OAAO,EAAE,iBAAiB,EAAE,4BAA4B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAAC,CAAC;YACtF,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAC,QAAQ,EAAC,KAAK,CAAC;gBAAE,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,SAAS;oBAAE,IAAI,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,kBAAkB,EAAE,wBAAwB,CAAC,CAAC;QAC7I,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI,MAAM,CAAC,CAAC;YAC3B,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACjD,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC;mBAC/E,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM;gBACtG,IAAI,CAAC,IAAI,EAAE,gBAAgB,EAAE,kDAAkD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3F,CAAC;QACD,OAAO,CAA8B,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACjC,CAAC"}

package/dist/validation/evidence.d.ts

@@ -0,0 +1,5 @@
+import type { DecisionDossierDocumentV1, DecisionDossierDocumentV2 } from '../model.js';
+import type { ValidationResult } from './index.js';
+/** Dispatch before the legacy closed validator, keeping its shape and identity intact. */
+export declare function checkEvidence(value: Record<string, unknown>, legacy: (v: unknown) => ValidationResult<DecisionDossierDocumentV1>): ValidationResult<DecisionDossierDocumentV2>;
+//# sourceMappingURL=evidence.d.ts.map

package/dist/validation/evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.d.ts","sourceRoot":"","sources":["../../src/validation/evidence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,yBAAyB,EAAE,yBAAyB,EAAkD,MAAM,aAAa,CAAC;AACxI,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAInD,0FAA0F;AAC1F,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,gBAAgB,CAAC,yBAAyB,CAAC,GAAG,gBAAgB,CAAC,yBAAyB,CAAC,CA+F9K"}

package/dist/validation/evidence.js

@@ -0,0 +1,131 @@
+import { array, EvidenceError, fail, record, strings, text } from './evidence-shape.js';
+import { checkSources } from './evidence-sources.js';
+/** Dispatch before the legacy closed validator, keeping its shape and identity intact. */
+export function checkEvidence(value, legacy) {
+    try {
+        const { schemaVersion: _version, sources: rawSources, citations: rawCitations, evidenceGroups: rawGroups, annexes: rawAnnexes, ...base } = value;
+        const citationLinks = new Map();
+        const strip = (raw, path) => {
+            if (!raw || typeof raw !== 'object' || Array.isArray(raw))
+                return raw;
+            const { citationRefs, ...node } = raw;
+            if (citationRefs !== undefined)
+                citationLinks.set(path, strings(citationRefs, `${path}.citationRefs`));
+            return node;
+        };
+        if (Array.isArray(base.sections))
+            base.sections = base.sections.map((raw, i) => {
+                const section = strip(raw, `$.sections[${i}]`);
+                if (section?.kind === 'optionSet' && Array.isArray(section.options))
+                    return { ...section,
+                        options: section.options.map((o, j) => strip(o, `$.sections[${i}].options[${j}]`)) };
+                return section;
+            });
+        const checked = legacy(base);
+        if (!checked.ok)
+            return checked;
+        const doc = checked.value, seen = new Set(), targets = new Set([doc.ref]);
+        const register = (id, path) => {
+            if (seen.has(id))
+                fail(path, 'duplicate_id', `Duplicate id ${id}`);
+            seen.add(id);
+        };
+        doc.sections.forEach(s => {
+            register(s.id, '$.sections');
+            targets.add(s.id);
+            targets.add(s.targetRef);
+            if (s.kind === 'optionSet')
+                s.options.forEach(o => { register(o.id, '$.sections.options'); targets.add(o.id); targets.add(o.targetRef); });
+        });
+        const { sources, lineCounts } = checkSources(rawSources, register);
+        const sourceMap = new Map(sources.map(s => [s.id, s]));
+        const citations = array(rawCitations, '$.citations').map((raw, i) => {
+            const p = `$.citations[${i}]`, c = record(raw, p, ['id', 'sourceId', 'label', 'locator']);
+            for (const key of ['id', 'sourceId', 'label'])
+                text(c[key], `${p}.${key}`);
+            register(c.id, `${p}.id`);
+            const source = sourceMap.get(c.sourceId) ?? fail(`${p}.sourceId`, 'unresolved_source', `Unknown source ${c.sourceId}`);
+            const loc = c.locator;
+            if (loc?.kind === 'lines') {
+                record(loc, `${p}.locator`, ['kind', 'start', 'end']);
+                if (!lineCounts.has(source.id))
+                    fail(`${p}.locator`, 'citation_media', `Source ${source.id} is not text`);
+                if (!Number.isSafeInteger(loc.start) || !Number.isSafeInteger(loc.end) || loc.start < 1
+                    || loc.end < loc.start || loc.end > lineCounts.get(source.id))
+                    fail(`${p}.locator`, 'citation_range', `Invalid inclusive line range for ${source.id}`);
+            }
+            else if (loc?.kind === 'image') {
+                record(loc, `${p}.locator`, ['kind', 'caption']);
+                text(loc.caption, `${p}.locator.caption`);
+                if (!source.mediaType.startsWith('image/'))
+                    fail(`${p}.locator`, 'citation_media', `Source ${source.id} is not an image`);
+            }
+            else
+                fail(`${p}.locator`, 'invalid_evidence', 'Unknown citation locator');
+            return c;
+        });
+        const citationIds = new Set(citations.map(c => c.id));
+        const references = (raw, p, ids, code) => {
+            const refs = strings(raw, p);
+            for (const id of refs)
+                if (!ids.has(id))
+                    fail(p, code, `Unresolved reference ${id}`);
+            return refs;
+        };
+        for (const [path, refs] of citationLinks)
+            references(refs, `${path}.citationRefs`, citationIds, 'unresolved_citation');
+        const evidenceGroups = array(rawGroups, '$.evidenceGroups').map((raw, i) => {
+            const p = `$.evidenceGroups[${i}]`, g = record(raw, p, ['id', 'summary', 'citationRefs', 'sourceRefs']);
+            register(text(g.id, `${p}.id`), `${p}.id`);
+            text(g.summary, `${p}.summary`);
+            references(g.citationRefs, `${p}.citationRefs`, citationIds, 'unresolved_citation');
+            references(g.sourceRefs, `${p}.sourceRefs`, new Set(sourceMap.keys()), 'unresolved_source');
+            return g;
+        });
+        const annexes = array(rawAnnexes, '$.annexes').map((raw, i) => {
+            const p = `$.annexes[${i}]`, a = record(raw, p, ['id', 'title', 'summary', 'blocks', 'backRefs']);
+            register(text(a.id, `${p}.id`), `${p}.id`);
+            text(a.title, `${p}.title`);
+            text(a.summary, `${p}.summary`);
+            references(a.backRefs, `${p}.backRefs`, targets, 'unresolved_target');
+            array(a.blocks, `${p}.blocks`).forEach((rawBlock, j) => {
+                const bpath = `${p}.blocks[${j}]`, kind = rawBlock?.kind;
+                if (kind === 'text' || kind === 'code') {
+                    const b = record(rawBlock, bpath, ['kind', 'text'], kind === 'code' ? ['language'] : []);
+                    text(b.text, `${bpath}.text`, true);
+                    if (b.language !== undefined)
+                        text(b.language, `${bpath}.language`);
+                }
+                else if (kind === 'table') {
+                    const b = record(rawBlock, bpath, ['kind', 'columns', 'rows']);
+                    const columns = strings(b.columns, `${bpath}.columns`);
+                    if (!columns.length)
+                        fail(bpath, 'invalid_evidence', 'A table needs columns');
+                    array(b.rows, `${bpath}.rows`).forEach((row, k) => {
+                        const cells = array(row, `${bpath}.rows[${k}]`);
+                        cells.forEach((cell, l) => text(cell, `${bpath}.rows[${k}][${l}]`, true));
+                        if (cells.length !== columns.length)
+                            fail(bpath, 'invalid_evidence', 'Table row width mismatch');
+                    });
+                }
+                else if (kind === 'references') {
+                    const b = record(rawBlock, bpath, ['kind', 'citationRefs']);
+                    references(b.citationRefs, `${bpath}.citationRefs`, citationIds, 'unresolved_citation');
+                }
+                else
+                    fail(`${bpath}.kind`, 'invalid_evidence', 'Unsupported annex block (no decisions or active content)');
+            });
+            return a;
+        });
+        const attach = (node, path) => citationLinks.has(path) ? { ...node, citationRefs: citationLinks.get(path) } : node;
+        const sections = doc.sections.map((s, i) => attach(s.kind === 'optionSet' ? { ...s,
+            options: s.options.map((o, j) => attach(o, `$.sections[${i}].options[${j}]`)) } : s, `$.sections[${i}]`));
+        return { ok: true, value: { ...doc, schemaVersion: 2, sections, sources, citations, evidenceGroups, annexes } };
+    }
+    catch (error) {
+        if (error instanceof EvidenceError)
+            return { ok: false, issues: [error.issue] };
+        throw error;
+    }
+}
+//# sourceMappingURL=evidence.js.map

package/dist/validation/evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../src/validation/evidence.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AACxF,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAErD,0FAA0F;AAC1F,MAAM,UAAU,aAAa,CAAC,KAA8B,EAAE,MAAmE;IAC/H,IAAI,CAAC;QACH,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,cAAc,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;QACjJ,MAAM,aAAa,GAAG,IAAI,GAAG,EAA6B,CAAC;QAC3D,MAAM,KAAK,GAAG,CAAC,GAAY,EAAE,IAAY,EAAW,EAAE;YACpD,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,OAAO,GAAG,CAAC;YACtE,MAAM,EAAE,YAAY,EAAE,GAAG,IAAI,EAAE,GAAG,GAA8B,CAAC;YACjE,IAAI,YAAY,KAAK,SAAS;gBAAE,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,YAAY,EAAE,GAAG,IAAI,eAAe,CAAC,CAAC,CAAC;YACvG,OAAO,IAAI,CAAC;QACd,CAAC,CAAC;QACF,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;gBAC7E,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,cAAc,CAAC,GAAG,CAA4B,CAAC;gBAC1E,IAAI,OAAO,EAAE,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC;oBAAE,OAAO,EAAE,GAAG,OAAO;wBACtF,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACvF,OAAO,OAAO,CAAC;YACjB,CAAC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,EAAE;YAAE,OAAO,OAAO,CAAC;QAChC,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,GAAG,IAAI,GAAG,EAAU,EAAE,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAClF,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAE,IAAY,EAAQ,EAAE;YAClD,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,gBAAgB,EAAE,EAAE,CAAC,CAAC;YACnE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACf,CAAC,CAAC;QACF,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACvB,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;YAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAC1E,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;gBAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7I,CAAC,CAAC,CAAC;QACH,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,YAAY,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YAClE,MAAM,CAAC,GAAG,eAAe,CAAC,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,EAAC,UAAU,EAAC,OAAO,EAAC,SAAS,CAAC,CAAC,CAAC;YACvF,KAAK,MAAM,GAAG,IAAI,CAAC,IAAI,EAAC,UAAU,EAAC,OAAO,CAAC;gBAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YACzE,QAAQ,CAAC,CAAC,CAAC,EAAY,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,QAAkB,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,mBAAmB,EAAE,kBAAkB,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;YACjI,MAAM,GAAG,GAAG,CAAC,CAAC,OAAkC,CAAC;YACjD,IAAI,GAAG,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,MAAM,EAAC,OAAO,EAAC,KAAK,CAAC,CAAC,CAAC;gBACpD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBAAE,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,gBAAgB,EAAE,UAAU,MAAM,CAAC,EAAE,cAAc,CAAC,CAAC;gBAC1G,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAK,GAAG,CAAC,KAAgB,GAAG,CAAC;uBAC7F,GAAG,CAAC,GAAc,GAAI,GAAG,CAAC,KAAgB,IAAK,GAAG,CAAC,GAAc,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAE;oBAClG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,gBAAgB,EAAE,oCAAoC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5F,CAAC;iBAAM,IAAI,GAAG,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;gBACjC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,MAAM,EAAC,SAAS,CAAC,CAAC,CAAC;gBAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,kBAAkB,CAAC,CAAC;gBAC3F,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC;oBAAE,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,gBAAgB,EAAE,UAAU,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC;YAC5H,CAAC;;gBAAM,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,kBAAkB,EAAE,0BAA0B,CAAC,CAAC;YAC5E,OAAO,CAAgC,CAAC;QAC1C,CAAC,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,CAAC,GAAY,EAAE,CAAS,EAAE,GAAwB,EAAE,IAAY,EAAY,EAAE;YAC/F,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC7B,KAAK,MAAM,EAAE,IAAI,IAAI;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,EAAE,CAAC,CAAC;YACrF,OAAO,IAAI,CAAC;QACd,CAAC,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,aAAa;YAAE,UAAU,CAAC,IAAI,EAAE,GAAG,IAAI,eAAe,EAAE,WAAW,EAAE,qBAAqB,CAAC,CAAC;QACvH,MAAM,cAAc,GAAG,KAAK,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YACzE,MAAM,CAAC,GAAG,oBAAoB,CAAC,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,EAAC,SAAS,EAAC,cAAc,EAAC,YAAY,CAAC,CAAC,CAAC;YACrG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;YAC5E,UAAU,CAAC,CAAC,CAAC,YAAY,EAAE,GAAG,CAAC,eAAe,EAAE,WAAW,EAAE,qBAAqB,CAAC,CAAC;YACpF,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,aAAa,EAAE,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,CAAC,CAAC;YAC5F,OAAO,CAA6B,CAAC;QACvC,CAAC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YAC5D,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,EAAC,OAAO,EAAC,SAAS,EAAC,QAAQ,EAAC,UAAU,CAAC,CAAC,CAAC;YAC9F,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;YAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;YACzG,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,WAAW,EAAE,OAAO,EAAE,mBAAmB,CAAC,CAAC;YACtE,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE;gBACrD,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,GAAI,QAAoC,EAAE,IAAI,CAAC;gBACtF,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;oBACvC,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,MAAM,EAAC,MAAM,CAAC,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACxF,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,KAAK,OAAO,EAAE,IAAI,CAAC,CAAC;oBACpC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS;wBAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,KAAK,WAAW,CAAC,CAAC;gBACtE,CAAC;qBAAM,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC5B,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,MAAM,EAAC,SAAS,EAAC,MAAM,CAAC,CAAC,CAAC;oBAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,KAAK,UAAU,CAAC,CAAC;oBACvD,IAAI,CAAC,OAAO,CAAC,MAAM;wBAAE,IAAI,CAAC,KAAK,EAAE,kBAAkB,EAAE,uBAAuB,CAAC,CAAC;oBAC9E,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;wBAChD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,KAAK,SAAS,CAAC,GAAG,CAAC,CAAC;wBAChD,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,KAAK,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;wBAC1E,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;4BAAE,IAAI,CAAC,KAAK,EAAE,kBAAkB,EAAE,0BAA0B,CAAC,CAAC;oBACnG,CAAC,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;oBACjC,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,MAAM,EAAC,cAAc,CAAC,CAAC,CAAC;oBAC3D,UAAU,CAAC,CAAC,CAAC,YAAY,EAAE,GAAG,KAAK,eAAe,EAAE,WAAW,EAAE,qBAAqB,CAAC,CAAC;gBAC1F,CAAC;;oBAAM,IAAI,CAAC,GAAG,KAAK,OAAO,EAAE,kBAAkB,EAAE,0DAA0D,CAAC,CAAC;YAC/G,CAAC,CAAC,CAAC;YACH,OAAO,CAA6B,CAAC;QACvC,CAAC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,CAAmB,IAAO,EAAE,IAAY,EAAK,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACnJ,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;YAChF,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,cAAc,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5G,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,GAAG,EAAE,aAAa,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,CAAC;IAClH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,aAAa;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAChF,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/validation/index.d.ts

@@ -0,0 +1,59 @@
+/**
+ * `@sentropic/focus/validate` — the typed runtime validator for the
+ * `DecisionDossierDocument` (contract §4.2, R4).
+ *
+ * Two layers, matching the published JSON Schema asset
+ * (`schemas/decision-dossier-document.v1.schema.json`,
+ * `urn:sentropic:focus:DecisionDossierDocument:1.0.0`):
+ *
+ *   1. structure — closed shape check (unknown fields, wrong types, bad enums,
+ *      an enabled snapshot interaction all refuse);
+ *   2. semantics — unique node IDs, interaction targets resolvable to the
+ *      dossier ref, a section id/targetRef or a nested option id/targetRef,
+ *      an opaque provenance source binding (any string, per the published
+ *      schema), and comprehension evidence whose dossier hash still matches
+ *      the snapshot hash.
+ *
+ * Pure and dependency-free: no I/O, no clock, no mutation of the input.
+ * Every recorded issue is a refusal — the schema is closed.
+ */
+export { READABILITY_LIMITS, READABILITY_BUDGETS, validateDecisionDossierReadability } from "./readability.js";
+import type { DecisionDossierDocument } from "../model.js";
+/** Stable schema ID of the published DecisionDossierDocument asset. */
+export declare const DOSSIER_SCHEMA_ID = "urn:sentropic:focus:DecisionDossierDocument:1.0.0";
+/** Version of the dossier schema, independent of the package version. */
+export declare const DOSSIER_SCHEMA_VERSION = "1.0.0";
+/** One machine-checkable validation failure. */
+export interface ValidationIssue {
+    /** JSON-path-style location, e.g. `$.sections[2].options[0].annotation`. */
+    readonly path: string;
+    /** Stable machine code (`missing_field`, `duplicate_id`, …). */
+    readonly code: string;
+    /** Human-readable detail; never echoes secrets (dossiers carry none). */
+    readonly message: string;
+}
+export type ValidationResult<T> = {
+    readonly ok: true;
+    readonly value: T;
+} | {
+    readonly ok: false;
+    readonly issues: readonly ValidationIssue[];
+};
+/** Thrown by {@link assertDecisionDossierDocument} on an invalid dossier. */
+export declare class DecisionDossierValidationError extends Error {
+    readonly issues: readonly ValidationIssue[];
+    constructor(issues: readonly ValidationIssue[]);
+}
+/** Absence means historical v1; unknown explicit versions always refuse. */
+export declare const validateDecisionDossierStructure: (value: unknown) => ValidationResult<DecisionDossierDocument>;
+/** Semantic layer on a structurally valid dossier. Empty means valid. */
+export declare const validateDecisionDossierSemantics: (doc: DecisionDossierDocument) => ValidationIssue[];
+/** Full validation: structure first, then semantics. */
+export declare const validateDecisionDossierDocument: (value: unknown) => ValidationResult<DecisionDossierDocument>;
+/** Parse or throw {@link DecisionDossierValidationError}. */
+export declare const assertDecisionDossierDocument: (value: unknown) => DecisionDossierDocument;
+/** Presentation requires the backward-compatible structure AND the readability gate. */
+export declare const validateDecisionDossierForPresentation: (value: unknown) => ValidationResult<DecisionDossierDocument>;
+/** Refuse before any presentation or host rendering hook runs. */
+export declare const assertDecisionDossierForPresentation: (value: unknown) => DecisionDossierDocument;
+//# sourceMappingURL=index.d.ts.map

package/dist/validation/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/validation/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAIH,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,kCAAkC,EAAE,MAAM,kBAAkB,CAAC;AAE/G,OAAO,KAAK,EAIV,uBAAuB,EAWxB,MAAM,aAAa,CAAC;AAErB,uEAAuE;AACvE,eAAO,MAAM,iBAAiB,sDACuB,CAAC;AAEtD,yEAAyE;AACzE,eAAO,MAAM,sBAAsB,UAAU,CAAC;AAE9C,gDAAgD;AAChD,MAAM,WAAW,eAAe;IAC9B,4EAA4E;IAC5E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yEAAyE;IACzE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAC1B;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GACxC;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,CAAC;AAExE,6EAA6E;AAC7E,qBAAa,8BAA+B,SAAQ,KAAK;IACvD,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC;gBAChC,MAAM,EAAE,SAAS,eAAe,EAAE;CAS/C;AA8dD,4EAA4E;AAC5E,eAAO,MAAM,gCAAgC,GAAI,OAAO,OAAO,KAAG,gBAAgB,CAAC,uBAAuB,CAMzG,CAAC;AAEF,yEAAyE;AACzE,eAAO,MAAM,gCAAgC,GAC3C,KAAK,uBAAuB,KAC3B,eAAe,EA8DjB,CAAC;AAEF,wDAAwD;AACxD,eAAO,MAAM,+BAA+B,GAC1C,OAAO,OAAO,KACb,gBAAgB,CAAC,uBAAuB,CAM1C,CAAC;AAEF,6DAA6D;AAC7D,eAAO,MAAM,6BAA6B,GACxC,OAAO,OAAO,KACb,uBAIF,CAAC;AAEF,wFAAwF;AACxF,eAAO,MAAM,sCAAsC,GAAI,OAAO,OAAO,KAAG,gBAAgB,CAAC,uBAAuB,CAK/G,CAAC;AAEF,kEAAkE;AAClE,eAAO,MAAM,oCAAoC,GAAI,OAAO,OAAO,KAAG,uBAIrE,CAAC"}