@zelari/core 0.7.12 → 0.7.14

package/dist/council/verification/microGate.js

@@ -0,0 +1,81 @@
+import { existsSync, readFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { scanKeyframesViolations, scanTransitionViolations } from './parseCssMotion.js';
+import { loadNfrSpec, DEFAULT_NFR_SPEC } from './runChecks.js';
+function checkDeadHooksInHtml(html) {
+    const warnings = [];
+    const scripts = [];
+    const scriptRe = /<script[^>]*>([\s\S]*?)<\/script>/gi;
+    let sm;
+    while ((sm = scriptRe.exec(html)) !== null)
+        scripts.push(sm[1] ?? '');
+    const styleText = (html.match(/<style[^>]*>([\s\S]*?)<\/style>/gi) ?? []).join('\n');
+    const addRe = /classList\.add\(\s*['"]([\w-]+)['"]\s*\)/g;
+    for (const script of scripts) {
+        let am;
+        addRe.lastIndex = 0;
+        while ((am = addRe.exec(script)) !== null) {
+            const cls = am[1] ?? '';
+            const hasRule = new RegExp(`\\.${cls}\\b`).test(styleText) ||
+                new RegExp(`html\\.${cls}\\b`).test(styleText);
+            if (!hasRule) {
+                warnings.push({
+                    id: 'css.dead-hook',
+                    message: `classList.add('${cls}') has no CSS rule (.${cls})`,
+                    file: '',
+                });
+            }
+        }
+    }
+    return warnings;
+}
+/**
+ * Quick subset of Gate A on a single file (HTML). Used for inline WARN after writes.
+ */
+export function runMicroVerificationOnFile(projectRoot, relPath, zelariRoot) {
+    const abs = join(projectRoot, relPath);
+    if (!existsSync(abs) || !/\.html?$/i.test(relPath))
+        return [];
+    const spec = (zelariRoot ? loadNfrSpec(zelariRoot) : null) ?? DEFAULT_NFR_SPEC;
+    const anim = spec.animation ?? { compositorOnly: true, forbidLayoutProps: true };
+    const scanOpts = {
+        compositorOnly: anim.compositorOnly ?? true,
+        forbidLayoutProps: anim.forbidLayoutProps ?? true,
+    };
+    const html = readFileSync(abs, 'utf8');
+    const warnings = [];
+    for (const v of scanKeyframesViolations(html, scanOpts)) {
+        warnings.push({
+            id: 'motion.keyframes',
+            message: `@keyframes uses non-allowed property "${v.property}"`,
+            file: relPath,
+            line: v.line,
+        });
+    }
+    for (const v of scanTransitionViolations(html, scanOpts)) {
+        warnings.push({
+            id: 'motion.transitions',
+            message: `transition uses non-allowed property "${v.property}"`,
+            file: relPath,
+            line: v.line,
+        });
+    }
+    for (const w of checkDeadHooksInHtml(html)) {
+        warnings.push({ ...w, file: relPath });
+    }
+    return warnings;
+}
+export function parseProjectRootFromWorkspaceContext(ctx) {
+    const m = ctx.match(/Working directory:\s*(.+)/m);
+    return m?.[1]?.trim() ?? null;
+}
+/** Run micro-gate when Lucifero writes a target HTML file. */
+export function runChairmanMicroGate(input) {
+    const normalized = input.relPath.replace(/\\/g, '/');
+    const spec = (input.zelariRoot ? loadNfrSpec(input.zelariRoot) : null) ?? DEFAULT_NFR_SPEC;
+    const inTarget = spec.targets.some((t) => normalized === t || normalized.endsWith(`/${t}`));
+    if (!inTarget && !/\.html?$/i.test(normalized))
+        return [];
+    return runMicroVerificationOnFile(input.projectRoot, normalized, input.zelariRoot);
+}
+//# sourceMappingURL=microGate.js.map

package/dist/council/verification/microGate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"microGate.js","sourceRoot":"","sources":["../../../src/council/verification/microGate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AACxF,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAU/D,SAAS,oBAAoB,CAAC,IAAY;IACxC,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,qCAAqC,CAAC;IACvD,IAAI,EAA0B,CAAC;IAC/B,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACtE,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,mCAAmC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrF,MAAM,KAAK,GAAG,2CAA2C,CAAC;IAC1D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,EAA0B,CAAC;QAC/B,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;QACpB,OAAO,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACxB,MAAM,OAAO,GACX,IAAI,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC1C,IAAI,MAAM,CAAC,UAAU,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACjD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,QAAQ,CAAC,IAAI,CAAC;oBACZ,EAAE,EAAE,eAAe;oBACnB,OAAO,EAAE,kBAAkB,GAAG,wBAAwB,GAAG,GAAG;oBAC5D,IAAI,EAAE,EAAE;iBACT,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,0BAA0B,CACxC,WAAmB,EACnB,OAAe,EACf,UAAmB;IAEnB,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACvC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9D,MAAM,IAAI,GAAY,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC;IACxF,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;IACjF,MAAM,QAAQ,GAAG;QACf,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,IAAI;QAC3C,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,IAAI,IAAI;KAClD,CAAC;IACF,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAuB,EAAE,CAAC;IAExC,KAAK,MAAM,CAAC,IAAI,uBAAuB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QACxD,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,kBAAkB;YACtB,OAAO,EAAE,yCAAyC,CAAC,CAAC,QAAQ,GAAG;YAC/D,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,CAAC,CAAC,IAAI;SACb,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,wBAAwB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QACzD,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,oBAAoB;YACxB,OAAO,EAAE,yCAAyC,CAAC,CAAC,QAAQ,GAAG;YAC/D,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,CAAC,CAAC,IAAI;SACb,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,oCAAoC,CAAC,GAAW;IAC9D,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAClD,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC;AAChC,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,oBAAoB,CAAC,KAIpC;IACC,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC;IAC3F,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAChC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CACxD,CAAC;IACF,IAAI,CAAC,QAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1D,OAAO,0BAA0B,CAAC,KAAK,CAAC,WAAW,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;AACrF,CAAC"}

package/dist/council/verification/motionAutofix.d.ts

@@ -0,0 +1,8 @@
+import type { VerificationReport } from './types.js';
+/** Apply deterministic motion + .rm CSS fixes to HTML targets from a verify report. */
+export declare function applyMotionAutofix(projectRoot: string, report: VerificationReport): {
+    applied: boolean;
+    filesChanged: string[];
+    fixes: string[];
+};
+//# sourceMappingURL=motionAutofix.d.ts.map

package/dist/council/verification/motionAutofix.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"motionAutofix.d.ts","sourceRoot":"","sources":["../../../src/council/verification/motionAutofix.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAkGrD,uFAAuF;AACvF,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,kBAAkB,GACzB;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,YAAY,EAAE,MAAM,EAAE,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,CAiE/D"}

package/dist/council/verification/motionAutofix.js

@@ -0,0 +1,160 @@
+import { readFileSync, writeFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { COMPOSITOR_ONLY_PROPS, LAYOUT_MOTION_PROPS, scanKeyframesViolations, scanTransitionViolations, } from './parseCssMotion.js';
+import { DEFAULT_NFR_SPEC } from './runChecks.js';
+const FORBIDDEN_ANIM_PROPS = new Set([
+    ...LAYOUT_MOTION_PROPS,
+    'box-shadow',
+    'background',
+    'background-color',
+    'background-position',
+    'color',
+    'border-color',
+    'filter',
+    'all',
+]);
+const RM_CSS = `
+    .rm *, .rm *::before, .rm *::after {
+      animation-duration: 0.001ms !important;
+      animation-iteration-count: 1 !important;
+      transition-duration: 0.001ms !important;
+      scroll-behavior: auto !important;
+    }
+    .rm .reveal { opacity: 1 !important; transform: none !important; }
+    .rm .section-title h2::after { transform: scaleX(1) !important; }
+    .rm .aurora { display: none; }
+`;
+function isForbiddenAnimProp(prop) {
+    const p = prop.toLowerCase();
+    if (COMPOSITOR_ONLY_PROPS.has(p))
+        return false;
+    return FORBIDDEN_ANIM_PROPS.has(p);
+}
+/** Keep only transform/opacity tokens in a transition shorthand fragment. */
+function sanitizeTransitionPart(part) {
+    const tokens = part.trim().split(/\s+/);
+    if (tokens.length === 0)
+        return null;
+    const prop = tokens[0].toLowerCase();
+    if (prop === 'transform' || prop === 'opacity')
+        return part.trim();
+    return null;
+}
+function sanitizeTransitionValue(value) {
+    const parts = value.split(',').map((p) => p.trim()).filter(Boolean);
+    const kept = parts
+        .map(sanitizeTransitionPart)
+        .filter((p) => p !== null);
+    return kept.length > 0 ? kept.join(', ') : 'none';
+}
+const TRANSITION_DECL_RE = /(transition(?:-property)?)\s*:\s*([^;{}]+)/gi;
+function sanitizeTransitionsInCss(css) {
+    return css.replace(TRANSITION_DECL_RE, (full, prop, value) => {
+        const next = sanitizeTransitionValue(value);
+        if (next === value.trim())
+            return full;
+        return `${prop}: ${next}`;
+    });
+}
+const FORBIDDEN_DECL_RE = /\s*(?:box-shadow|background-position|background-color|background|color|border-color|filter|height|width|padding(?:-top|-bottom)?|margin(?:-top|-bottom)?|grid-template-rows|grid-template-columns)\s*:[^;{}]+;?/gi;
+function sanitizeKeyframeBlock(block) {
+    return block.replace(/\{([^{}]*)\}/g, (_m, body) => {
+        const cleaned = body.replace(FORBIDDEN_DECL_RE, '');
+        return `{${cleaned}}`;
+    });
+}
+const KEYFRAMES_BLOCK_RE = /@keyframes\s+[\w-]+\s*\{([^}]*(\{[^}]*\}[^}]*)*)\}/gs;
+function sanitizeKeyframesInCss(css) {
+    KEYFRAMES_BLOCK_RE.lastIndex = 0;
+    return css.replace(KEYFRAMES_BLOCK_RE, (block) => sanitizeKeyframeBlock(block));
+}
+function injectRmCss(html) {
+    if (/\.\brm\b/.test(html) && /\.rm\s*\*/.test(html))
+        return html;
+    const styleClose = html.lastIndexOf('</style>');
+    if (styleClose < 0)
+        return html;
+    return html.slice(0, styleClose) + RM_CSS + html.slice(styleClose);
+}
+function sanitizeHtmlMotion(html) {
+    const styleRe = /(<style[^>]*>)([\s\S]*?)(<\/style>)/gi;
+    let changed = false;
+    const out = html.replace(styleRe, (_full, open, css, close) => {
+        let next = sanitizeTransitionsInCss(css);
+        next = sanitizeKeyframesInCss(next);
+        if (next !== css)
+            changed = true;
+        return open + next + close;
+    });
+    const withRm = injectRmCss(out);
+    if (withRm !== out)
+        changed = true;
+    return { html: withRm, changed };
+}
+/** Apply deterministic motion + .rm CSS fixes to HTML targets from a verify report. */
+export function applyMotionAutofix(projectRoot, report) {
+    const motionFails = report.results.filter((r) => !r.ok &&
+        r.file &&
+        (r.id === 'motion.keyframes' ||
+            r.id === 'motion.transitions' ||
+            r.id === 'css.dead-hook'));
+    if (motionFails.length === 0) {
+        return { applied: false, filesChanged: [], fixes: [] };
+    }
+    const targets = new Set();
+    for (const r of motionFails) {
+        if (r.file)
+            targets.add(r.file);
+    }
+    if (targets.size === 0)
+        targets.add('index.html');
+    const filesChanged = [];
+    const fixes = [];
+    const scanOpts = {
+        compositorOnly: DEFAULT_NFR_SPEC.animation?.compositorOnly ?? true,
+        forbidLayoutProps: DEFAULT_NFR_SPEC.animation?.forbidLayoutProps ?? true,
+    };
+    for (const rel of targets) {
+        const abs = join(projectRoot, rel);
+        let html;
+        try {
+            html = readFileSync(abs, 'utf8');
+        }
+        catch {
+            continue;
+        }
+        const beforeK = scanKeyframesViolations(html, scanOpts).length;
+        const beforeT = scanTransitionViolations(html, scanOpts).length;
+        const needsRm = motionFails.some((r) => r.id === 'css.dead-hook' && r.file === rel && r.evidence?.includes("'rm'"));
+        const { html: next, changed: motionChanged } = sanitizeHtmlMotion(html);
+        let final = next;
+        if (needsRm && !/\.\brm\s*\*/.test(final)) {
+            final = injectRmCss(final);
+        }
+        const afterK = scanKeyframesViolations(final, scanOpts).length;
+        const afterT = scanTransitionViolations(final, scanOpts).length;
+        if (final !== html || beforeK > afterK || beforeT > afterT) {
+            writeFileSync(abs, final, 'utf8');
+            filesChanged.push(rel);
+            if (beforeK > afterK)
+                fixes.push(`${rel}: sanitized ${beforeK - afterK} keyframe violation(s)`);
+            if (beforeT > afterT)
+                fixes.push(`${rel}: sanitized ${beforeT - afterT} transition violation(s)`);
+            if (needsRm && /\.\brm\s*\*/.test(final))
+                fixes.push(`${rel}: added .rm reduced-motion CSS`);
+            if (!fixes.some((f) => f.startsWith(rel)))
+                fixes.push(`${rel}: motion CSS sanitized`);
+        }
+        else if (motionChanged) {
+            writeFileSync(abs, final, 'utf8');
+            filesChanged.push(rel);
+            fixes.push(`${rel}: motion CSS sanitized`);
+        }
+    }
+    return {
+        applied: filesChanged.length > 0,
+        filesChanged,
+        fixes,
+    };
+}
+//# sourceMappingURL=motionAutofix.js.map

package/dist/council/verification/motionAutofix.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"motionAutofix.js","sourceRoot":"","sources":["../../../src/council/verification/motionAutofix.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,qBAAqB,EACrB,mBAAmB,EACnB,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IACnC,GAAG,mBAAmB;IACtB,YAAY;IACZ,YAAY;IACZ,kBAAkB;IAClB,qBAAqB;IACrB,OAAO;IACP,cAAc;IACd,QAAQ;IACR,KAAK;CACN,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG;;;;;;;;;;CAUd,CAAC;AAEF,SAAS,mBAAmB,CAAC,IAAY;IACvC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IAC7B,IAAI,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,OAAO,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,6EAA6E;AAC7E,SAAS,sBAAsB,CAAC,IAAY;IAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,CAAC;IACtC,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;IACnE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAa;IAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACpE,MAAM,IAAI,GAAG,KAAK;SACf,GAAG,CAAC,sBAAsB,CAAC;SAC3B,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IAC1C,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AACpD,CAAC;AAED,MAAM,kBAAkB,GAAG,8CAA8C,CAAC;AAE1E,SAAS,wBAAwB,CAAC,GAAW;IAC3C,OAAO,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,CAAC,IAAI,EAAE,IAAY,EAAE,KAAa,EAAE,EAAE;QAC3E,MAAM,IAAI,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE;YAAE,OAAO,IAAI,CAAC;QACvC,OAAO,GAAG,IAAI,KAAK,IAAI,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,iBAAiB,GACrB,mNAAmN,CAAC;AAEtN,SAAS,qBAAqB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,IAAY,EAAE,EAAE;QACzD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;QACpD,OAAO,IAAI,OAAO,GAAG,CAAC;IACxB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,kBAAkB,GAAG,sDAAsD,CAAC;AAElF,SAAS,sBAAsB,CAAC,GAAW;IACzC,kBAAkB,CAAC,SAAS,GAAG,CAAC,CAAC;IACjC,OAAO,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,WAAW,CAAC,IAAY;IAC/B,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY;IACtC,MAAM,OAAO,GAAG,uCAAuC,CAAC;IACxD,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,IAAY,EAAE,GAAW,EAAE,KAAa,EAAE,EAAE;QACpF,IAAI,IAAI,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO,GAAG,IAAI,CAAC;QACjC,OAAO,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC;IAC7B,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,MAAM,KAAK,GAAG;QAAE,OAAO,GAAG,IAAI,CAAC;IACnC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AACnC,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,kBAAkB,CAChC,WAAmB,EACnB,MAA0B;IAE1B,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,EAAE;QACL,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,CAAC,EAAE,KAAK,kBAAkB;YAC1B,CAAC,CAAC,EAAE,KAAK,oBAAoB;YAC7B,CAAC,CAAC,EAAE,KAAK,eAAe,CAAC,CAC9B,CAAC;IACF,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IACzD,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAElD,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG;QACf,cAAc,EAAE,gBAAgB,CAAC,SAAS,EAAE,cAAc,IAAI,IAAI;QAClE,iBAAiB,EAAE,gBAAgB,CAAC,SAAS,EAAE,iBAAiB,IAAI,IAAI;KACzE,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QACnC,IAAI,IAAY,CAAC;QACjB,IAAI,CAAC;YACH,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACnC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC;QAC/D,MAAM,OAAO,GAAG,wBAAwB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC;QAChE,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAClF,CAAC;QACF,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACxE,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,IAAI,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1C,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;QACD,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC;QAC/D,MAAM,MAAM,GAAG,wBAAwB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC;QAChE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,GAAG,MAAM,IAAI,OAAO,GAAG,MAAM,EAAE,CAAC;YAC3D,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAClC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvB,IAAI,OAAO,GAAG,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,eAAe,OAAO,GAAG,MAAM,wBAAwB,CAAC,CAAC;YAChG,IAAI,OAAO,GAAG,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,eAAe,OAAO,GAAG,MAAM,0BAA0B,CAAC,CAAC;YAClG,IAAI,OAAO,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,gCAAgC,CAAC,CAAC;YAC7F,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,wBAAwB,CAAC,CAAC;QACxF,CAAC;aAAM,IAAI,aAAa,EAAE,CAAC;YACzB,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAClC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,wBAAwB,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC;QAChC,YAAY;QACZ,KAAK;KACN,CAAC;AACJ,CAAC"}

package/dist/council/verification/parseCssMotion.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Lightweight CSS motion scanner — @keyframes and transition declarations.
+ * No full CSS parser; conservative regex over `<style>` blocks and inline CSS.
+ */
+/** Properties always treated as non-compositor. */
+export declare const LAYOUT_MOTION_PROPS: Set<string>;
+export declare const COMPOSITOR_ONLY_PROPS: Set<string>;
+export interface CssMotionViolation {
+    kind: 'keyframes' | 'transition';
+    property: string;
+    line: number;
+    snippet: string;
+}
+export declare function scanKeyframesViolations(html: string, opts: {
+    compositorOnly: boolean;
+    forbidLayoutProps: boolean;
+}): CssMotionViolation[];
+export declare function scanTransitionViolations(html: string, opts: {
+    compositorOnly: boolean;
+    forbidLayoutProps: boolean;
+}): CssMotionViolation[];
+//# sourceMappingURL=parseCssMotion.d.ts.map

package/dist/council/verification/parseCssMotion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parseCssMotion.d.ts","sourceRoot":"","sources":["../../../src/council/verification/parseCssMotion.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,mDAAmD;AACnD,eAAO,MAAM,mBAAmB,aAM9B,CAAC;AAEH,eAAO,MAAM,qBAAqB,aAAoC,CAAC;AAEvE,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,WAAW,GAAG,YAAY,CAAC;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAqCD,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE;IAAE,cAAc,EAAE,OAAO,CAAC;IAAC,iBAAiB,EAAE,OAAO,CAAA;CAAE,GAC5D,kBAAkB,EAAE,CA2BtB;AAgCD,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE;IAAE,cAAc,EAAE,OAAO,CAAC;IAAC,iBAAiB,EAAE,OAAO,CAAA;CAAE,GAC5D,kBAAkB,EAAE,CAoCtB"}

package/dist/council/verification/parseCssMotion.js

@@ -0,0 +1,142 @@
+/**
+ * Lightweight CSS motion scanner — @keyframes and transition declarations.
+ * No full CSS parser; conservative regex over `<style>` blocks and inline CSS.
+ */
+const KEYFRAMES_BLOCK_RE = /@keyframes\s+[\w-]+\s*\{([^}]*(\{[^}]*\}[^}]*)*)\}/gs;
+/** Properties always treated as non-compositor. */
+export const LAYOUT_MOTION_PROPS = new Set([
+    'width', 'height', 'top', 'left', 'right', 'bottom',
+    'margin', 'margin-top', 'margin-bottom', 'padding', 'padding-top', 'padding-bottom',
+    'grid-template-rows', 'grid-template-columns',
+    'max-height', 'min-height', 'max-width', 'min-width',
+    'border-width', 'gap', 'line-height', 'font-size',
+]);
+export const COMPOSITOR_ONLY_PROPS = new Set(['transform', 'opacity']);
+function lineNumberAt(content, index) {
+    return content.slice(0, index).split('\n').length;
+}
+function extractStyleBlocks(html) {
+    const blocks = [];
+    const re = /<style[^>]*>([\s\S]*?)<\/style>/gi;
+    let m;
+    while ((m = re.exec(html)) !== null) {
+        blocks.push(m[1] ?? '');
+    }
+    return blocks.join('\n');
+}
+/** Strip block/line comments so annotation text (e.g. `COMPLIANT:`) is not parsed as declarations. */
+function stripCssComments(css) {
+    return css
+        .replace(/\/\*[\s\S]*?\*\//g, '')
+        .replace(/(^|[^:])\/\/[^\n]*/g, '$1');
+}
+function propertiesInKeyframeBlock(block) {
+    const props = new Set();
+    const declRe = /([a-z-]+)\s*:/gi;
+    const body = stripCssComments(block);
+    let m;
+    while ((m = declRe.exec(body)) !== null) {
+        const name = (m[1] ?? '').toLowerCase();
+        if (name !== 'from' && name !== 'to' && !name.endsWith('%')) {
+            props.add(name);
+        }
+    }
+    return [...props];
+}
+export function scanKeyframesViolations(html, opts) {
+    const css = extractStyleBlocks(html);
+    const violations = [];
+    let match;
+    KEYFRAMES_BLOCK_RE.lastIndex = 0;
+    while ((match = KEYFRAMES_BLOCK_RE.exec(css)) !== null) {
+        const block = match[0] ?? '';
+        const props = propertiesInKeyframeBlock(block);
+        for (const prop of props) {
+            if (opts.compositorOnly && !COMPOSITOR_ONLY_PROPS.has(prop)) {
+                violations.push({
+                    kind: 'keyframes',
+                    property: prop,
+                    line: lineNumberAt(html, match.index),
+                    snippet: block.slice(0, 120),
+                });
+            }
+            else if (opts.forbidLayoutProps && LAYOUT_MOTION_PROPS.has(prop)) {
+                violations.push({
+                    kind: 'keyframes',
+                    property: prop,
+                    line: lineNumberAt(html, match.index),
+                    snippet: block.slice(0, 120),
+                });
+            }
+        }
+    }
+    return violations;
+}
+/** Parse property names from a transition shorthand or transition-property value. */
+function parseTransitionProperties(value) {
+    const trimmed = value.trim().replace(/!important/g, '');
+    if (!trimmed || trimmed === 'none' || trimmed === 'all') {
+        return trimmed === 'all' ? ['all'] : [];
+    }
+    // Shorthand: property tokens before first duration (number or var()
+    const parts = trimmed.split(',').map((p) => p.trim());
+    const props = [];
+    for (const part of parts) {
+        const tokens = part.split(/\s+/);
+        const propTokens = [];
+        for (const tok of tokens) {
+            if (/^[\d.]+m?s$/.test(tok) || tok.startsWith('cubic-bezier') || tok.startsWith('var(') ||
+                ['ease', 'ease-in', 'ease-out', 'ease-in-out', 'linear', 'step-start', 'step-end'].includes(tok)) {
+                break;
+            }
+            propTokens.push(tok.toLowerCase());
+        }
+        if (propTokens.length > 0) {
+            props.push(...propTokens);
+        }
+        else if (parts.length === 1) {
+            props.push(tokens[0]?.toLowerCase() ?? '');
+        }
+    }
+    return props.filter(Boolean);
+}
+const TRANSITION_DECL_RE = /(transition(?:-property)?)\s*:\s*([^;{}]+)/gi;
+export function scanTransitionViolations(html, opts) {
+    const css = extractStyleBlocks(html);
+    const violations = [];
+    let match;
+    TRANSITION_DECL_RE.lastIndex = 0;
+    while ((match = TRANSITION_DECL_RE.exec(css)) !== null) {
+        const value = match[2] ?? '';
+        const props = parseTransitionProperties(value);
+        for (const prop of props) {
+            if (prop === 'all') {
+                violations.push({
+                    kind: 'transition',
+                    property: 'all',
+                    line: lineNumberAt(html, match.index),
+                    snippet: match[0].slice(0, 100),
+                });
+                continue;
+            }
+            if (opts.compositorOnly && !COMPOSITOR_ONLY_PROPS.has(prop)) {
+                violations.push({
+                    kind: 'transition',
+                    property: prop,
+                    line: lineNumberAt(html, match.index),
+                    snippet: match[0].slice(0, 100),
+                });
+            }
+            else if (opts.forbidLayoutProps && LAYOUT_MOTION_PROPS.has(prop)) {
+                violations.push({
+                    kind: 'transition',
+                    property: prop,
+                    line: lineNumberAt(html, match.index),
+                    snippet: match[0].slice(0, 100),
+                });
+            }
+        }
+    }
+    return violations;
+}
+//# sourceMappingURL=parseCssMotion.js.map

package/dist/council/verification/parseCssMotion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parseCssMotion.js","sourceRoot":"","sources":["../../../src/council/verification/parseCssMotion.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,kBAAkB,GAAG,sDAAsD,CAAC;AAElF,mDAAmD;AACnD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;IACzC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ;IACnD,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,SAAS,EAAE,aAAa,EAAE,gBAAgB;IACnF,oBAAoB,EAAE,uBAAuB;IAC7C,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW;IACpD,cAAc,EAAE,KAAK,EAAE,aAAa,EAAE,WAAW;CAClD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;AASvE,SAAS,YAAY,CAAC,OAAe,EAAE,KAAa;IAClD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;AACpD,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY;IACtC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,EAAE,GAAG,mCAAmC,CAAC;IAC/C,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACpC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC;AAED,sGAAsG;AACtG,SAAS,gBAAgB,CAAC,GAAW;IACnC,OAAO,GAAG;SACP,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC;SAChC,OAAO,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAa;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,MAAM,GAAG,iBAAiB,CAAC;IACjC,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5D,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,IAAY,EACZ,IAA6D;IAE7D,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,UAAU,GAAyB,EAAE,CAAC;IAC5C,IAAI,KAA6B,CAAC;IAClC,kBAAkB,CAAC,SAAS,GAAG,CAAC,CAAC;IACjC,OAAO,CAAC,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACvD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;QAC/C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,cAAc,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5D,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,WAAW;oBACjB,QAAQ,EAAE,IAAI;oBACd,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;oBACrC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;iBAC7B,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,IAAI,CAAC,iBAAiB,IAAI,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnE,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,WAAW;oBACjB,QAAQ,EAAE,IAAI;oBACd,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;oBACrC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;iBAC7B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,qFAAqF;AACrF,SAAS,yBAAyB,CAAC,KAAa;IAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IACxD,IAAI,CAAC,OAAO,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;QACxD,OAAO,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1C,CAAC;IACD,oEAAoE;IACpE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACtD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;YACzB,IAAI,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;gBACnF,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrG,MAAM;YACR,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;QACrC,CAAC;QACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;QAC5B,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,kBAAkB,GAAG,8CAA8C,CAAC;AAE1E,MAAM,UAAU,wBAAwB,CACtC,IAAY,EACZ,IAA6D;IAE7D,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,UAAU,GAAyB,EAAE,CAAC;IAC5C,IAAI,KAA6B,CAAC;IAClC,kBAAkB,CAAC,SAAS,GAAG,CAAC,CAAC;IACjC,OAAO,CAAC,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACvD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;QAC/C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;gBACnB,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,YAAY;oBAClB,QAAQ,EAAE,KAAK;oBACf,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;oBACrC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;iBAChC,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,cAAc,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5D,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,YAAY;oBAClB,QAAQ,EAAE,IAAI;oBACd,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;oBACrC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;iBAChC,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,IAAI,CAAC,iBAAiB,IAAI,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnE,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,YAAY;oBAClB,QAAQ,EAAE,IAAI;oBACd,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;oBACrC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;iBAChC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/council/verification/runChecks.d.ts

@@ -0,0 +1,10 @@
+import type { NfrSpec, RunVerificationInput, VerificationReport } from './types.js';
+export declare const DEFAULT_NFR_SPEC: NfrSpec;
+export declare function loadNfrSpec(zelariRoot: string): NfrSpec | null;
+/**
+ * Run all deterministic implementation verification checks.
+ */
+export declare function runImplementationVerification(input: RunVerificationInput): VerificationReport;
+/** Persist verification report to `.zelari/verification-report.json`. */
+export declare function writeVerificationReport(zelariRoot: string, report: VerificationReport): string;
+//# sourceMappingURL=runChecks.d.ts.map

package/dist/council/verification/runChecks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runChecks.d.ts","sourceRoot":"","sources":["../../../src/council/verification/runChecks.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EACV,OAAO,EACP,oBAAoB,EAEpB,kBAAkB,EACnB,MAAM,YAAY,CAAC;AAEpB,eAAO,MAAM,gBAAgB,EAAE,OAY9B,CAAC;AAEF,wBAAgB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,GAAG,IAAI,CAU9D;AA6ID;;GAEG;AACH,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,oBAAoB,GAAG,kBAAkB,CA0F7F;AAED,yEAAyE;AACzE,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,kBAAkB,GAAG,MAAM,CAI9F"}