@zelari/core 0.7.12 → 0.7.14

package/dist/council/verification/runChecks.js

@@ -0,0 +1,254 @@
+import { existsSync, readFileSync, writeFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { verifyCitations } from './citeVerify.js';
+import { lintSynthesisHonesty } from './honesty.js';
+import { scanKeyframesViolations, scanTransitionViolations } from './parseCssMotion.js';
+import { auditDegradedBanner } from './degraded.js';
+import { auditSynthesisTiers } from './synthesisAudit.js';
+export const DEFAULT_NFR_SPEC = {
+    version: 1,
+    targets: ['index.html'],
+    animation: { compositorOnly: true, forbidLayoutProps: true },
+    inlineJs: { maxBytes: 5120 },
+    planFeatureKeywords: [
+        'command palette',
+        'theme toggle',
+        'theme-toggle',
+        '@media print',
+        'print stylesheet',
+    ],
+};
+export function loadNfrSpec(zelariRoot) {
+    const path = join(zelariRoot, 'nfr-spec.json');
+    if (!existsSync(path))
+        return null;
+    try {
+        const raw = JSON.parse(readFileSync(path, 'utf8'));
+        if (raw.version !== 1 || !Array.isArray(raw.targets))
+            return null;
+        return raw;
+    }
+    catch {
+        return null;
+    }
+}
+function resolveTargets(projectRoot, spec) {
+    const found = [];
+    for (const rel of spec.targets) {
+        if (existsSync(join(projectRoot, rel))) {
+            found.push(rel);
+        }
+    }
+    if (found.length === 0 && existsSync(join(projectRoot, 'index.html'))) {
+        return ['index.html'];
+    }
+    return found;
+}
+function checkInlineJsBudget(html, relFile, maxBytes) {
+    const m = html.match(/<script[^>]*>([\s\S]*?)<\/script>/i);
+    if (!m)
+        return [];
+    const js = m[1] ?? '';
+    const bytes = Buffer.byteLength(js, 'utf8');
+    if (bytes <= maxBytes)
+        return [];
+    return [{
+            id: 'inline-js.budget',
+            severity: 'error',
+            ok: false,
+            tier: 'grep',
+            file: relFile,
+            message: `Inline script is ${bytes} bytes (limit ${maxBytes})`,
+            evidence: `${bytes} bytes`,
+        }];
+}
+function checkDeadCssHooks(html, relFile) {
+    const results = [];
+    const scriptBlocks = [];
+    const scriptRe = /<script[^>]*>([\s\S]*?)<\/script>/gi;
+    let sm;
+    while ((sm = scriptRe.exec(html)) !== null) {
+        scriptBlocks.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 scriptBlocks) {
+        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) ||
+                new RegExp(`:${cls}\\b`).test(styleText);
+            if (!hasRule) {
+                results.push({
+                    id: 'css.dead-hook',
+                    severity: 'error',
+                    ok: false,
+                    tier: 'grep',
+                    file: relFile,
+                    message: `classList.add('${cls}') has no matching CSS rule (.${cls})`,
+                    evidence: am[0],
+                });
+            }
+        }
+    }
+    return results;
+}
+function checkPlanReality(projectRoot, zelariRoot, targets, keywords) {
+    const planPath = join(zelariRoot, 'plan.json');
+    if (!existsSync(planPath) || keywords.length === 0)
+        return [];
+    let plan;
+    try {
+        plan = JSON.parse(readFileSync(planPath, 'utf8'));
+    }
+    catch {
+        return [];
+    }
+    const milestoneText = (plan.milestones ?? [])
+        .map((m) => `${m.name ?? ''} ${m.description ?? ''}`)
+        .join(' ')
+        .toLowerCase();
+    const results = [];
+    const targetContent = targets
+        .map((t) => readFileSync(join(projectRoot, t), 'utf8').toLowerCase())
+        .join('\n');
+    for (const kw of keywords) {
+        const low = kw.toLowerCase();
+        if (!milestoneText.includes(low))
+            continue;
+        let found = targetContent.includes(low);
+        if (low.includes('print')) {
+            found = found || targetContent.includes('@media print');
+        }
+        if (low.includes('theme')) {
+            found = found || targetContent.includes('theme-toggle') || targetContent.includes('theme toggle');
+        }
+        if (low.includes('command') && low.includes('palette')) {
+            found = found || targetContent.includes('command-palette') || targetContent.includes('commandpalette');
+        }
+        if (!found) {
+            results.push({
+                id: 'plan.reality',
+                severity: 'warn',
+                ok: false,
+                tier: 'grep',
+                file: targets[0],
+                message: `Milestone mentions "${kw}" but target file(s) do not contain it (planned, not implemented)`,
+            });
+        }
+    }
+    return results;
+}
+function checkReadmeStale(projectRoot, targets) {
+    const readmePath = join(projectRoot, 'README.md');
+    if (!existsSync(readmePath) || targets.length === 0)
+        return [];
+    const readme = readFileSync(readmePath, 'utf8');
+    const htmlPath = join(projectRoot, targets[0]);
+    if (!existsSync(htmlPath))
+        return [];
+    const html = readFileSync(htmlPath, 'utf8');
+    const sectionCount = (html.match(/<section\s+id=/gi) ?? []).length;
+    const readmeSections = readme.match(/(\d+)\s+sezioni/i);
+    if (readmeSections) {
+        const claimed = Number.parseInt(readmeSections[1] ?? '0', 10);
+        if (claimed > 0 && claimed !== sectionCount) {
+            return [{
+                    id: 'docs.readme-stale',
+                    severity: 'warn',
+                    ok: false,
+                    tier: 'grep',
+                    file: 'README.md',
+                    message: `README claims ${claimed} sections but ${targets[0]} has ${sectionCount}`,
+                }];
+        }
+    }
+    return [];
+}
+/**
+ * Run all deterministic implementation verification checks.
+ */
+export function runImplementationVerification(input) {
+    const persistedSpec = loadNfrSpec(input.zelariRoot);
+    const spec = input.nfrSpec ?? persistedSpec ?? DEFAULT_NFR_SPEC;
+    const targets = resolveTargets(input.projectRoot, spec);
+    const results = [];
+    if (!input.nfrSpec && !persistedSpec) {
+        results.push({
+            id: 'nfr-spec.missing',
+            severity: 'warn',
+            ok: false,
+            tier: 'claimed',
+            message: 'No .zelari/nfr-spec.json — using default NFR (compositor-only, layout props forbidden)',
+        });
+    }
+    const anim = spec.animation ?? { compositorOnly: true, forbidLayoutProps: true };
+    const scanOpts = {
+        compositorOnly: anim.compositorOnly ?? true,
+        forbidLayoutProps: anim.forbidLayoutProps ?? true,
+    };
+    for (const rel of targets) {
+        const html = readFileSync(join(input.projectRoot, rel), 'utf8');
+        for (const v of scanKeyframesViolations(html, scanOpts)) {
+            results.push({
+                id: 'motion.keyframes',
+                severity: 'error',
+                ok: false,
+                tier: 'grep',
+                file: rel,
+                line: v.line,
+                message: `@keyframes animates non-allowed property "${v.property}"`,
+                evidence: v.snippet,
+            });
+        }
+        for (const v of scanTransitionViolations(html, scanOpts)) {
+            results.push({
+                id: 'motion.transitions',
+                severity: 'error',
+                ok: false,
+                tier: 'grep',
+                file: rel,
+                line: v.line,
+                message: `transition animates non-allowed property "${v.property}"`,
+                evidence: v.snippet,
+            });
+        }
+        if (spec.inlineJs?.maxBytes) {
+            results.push(...checkInlineJsBudget(html, rel, spec.inlineJs.maxBytes));
+        }
+        results.push(...checkDeadCssHooks(html, rel));
+    }
+    results.push(...checkPlanReality(input.projectRoot, input.zelariRoot, targets, spec.planFeatureKeywords ?? []));
+    results.push(...checkReadmeStale(input.projectRoot, targets));
+    const fileResults = [...results];
+    const preliminaryReport = {
+        ok: fileResults.filter((r) => !r.ok && r.severity === 'error').length === 0,
+        generatedAt: new Date().toISOString(),
+        runMode: 'implementation',
+        targets,
+        results: fileResults,
+    };
+    results.push(...lintSynthesisHonesty(input.synthesisText));
+    results.push(...verifyCitations(input.projectRoot, input.synthesisText));
+    results.push(...auditSynthesisTiers(input.synthesisText, preliminaryReport));
+    if (input.degradedRun) {
+        results.push(...auditDegradedBanner(input.synthesisText, true));
+    }
+    const blocking = results.filter((r) => !r.ok && r.severity === 'error');
+    return {
+        ok: blocking.length === 0,
+        generatedAt: new Date().toISOString(),
+        runMode: 'implementation',
+        targets,
+        results,
+    };
+}
+/** Persist verification report to `.zelari/verification-report.json`. */
+export function writeVerificationReport(zelariRoot, report) {
+    const outPath = join(zelariRoot, 'verification-report.json');
+    writeFileSync(outPath, JSON.stringify(report, null, 2), 'utf8');
+    return outPath;
+}
+//# sourceMappingURL=runChecks.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runChecks.js","sourceRoot":"","sources":["../../../src/council/verification/runChecks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAClE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AACxF,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAQ1D,MAAM,CAAC,MAAM,gBAAgB,GAAY;IACvC,OAAO,EAAE,CAAC;IACV,OAAO,EAAE,CAAC,YAAY,CAAC;IACvB,SAAS,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE;IAC5D,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE;IAC5B,mBAAmB,EAAE;QACnB,iBAAiB;QACjB,cAAc;QACd,cAAc;QACd,cAAc;QACd,kBAAkB;KACnB;CACF,CAAC;AAEF,MAAM,UAAU,WAAW,CAAC,UAAkB;IAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IAC/C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAY,CAAC;QAC9D,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QAClE,OAAO,GAAG,CAAC;IACb,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,WAAmB,EAAE,IAAa;IACxD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,IAAI,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC;QACtE,OAAO,CAAC,YAAY,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,OAAe,EAAE,QAAgB;IAC1E,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAC3D,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAClB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACtB,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,KAAK,IAAI,QAAQ;QAAE,OAAO,EAAE,CAAC;IACjC,OAAO,CAAC;YACN,EAAE,EAAE,kBAAkB;YACtB,QAAQ,EAAE,OAAO;YACjB,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,oBAAoB,KAAK,iBAAiB,QAAQ,GAAG;YAC9D,QAAQ,EAAE,GAAG,KAAK,QAAQ;SAC3B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,OAAe;IACtD,MAAM,OAAO,GAA8B,EAAE,CAAC;IAC9C,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,qCAAqC,CAAC;IACvD,IAAI,EAA0B,CAAC;IAC/B,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3C,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACjC,CAAC;IACD,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,YAAY,EAAE,CAAC;QAClC,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;gBAC9C,IAAI,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC3C,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,CAAC,IAAI,CAAC;oBACX,EAAE,EAAE,eAAe;oBACnB,QAAQ,EAAE,OAAO;oBACjB,EAAE,EAAE,KAAK;oBACT,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,kBAAkB,GAAG,iCAAiC,GAAG,GAAG;oBACrE,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAmB,EACnB,UAAkB,EAClB,OAAiB,EACjB,QAAkB;IAElB,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IAC/C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9D,IAAI,IAAqE,CAAC;IAC1E,IAAI,CAAC;QACH,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,aAAa,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC;SAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,CAAC,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;SACpD,IAAI,CAAC,GAAG,CAAC;SACT,WAAW,EAAE,CAAC;IACjB,MAAM,OAAO,GAA8B,EAAE,CAAC;IAC9C,MAAM,aAAa,GAAG,OAAO;SAC1B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;SACpE,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;QAC7B,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS;QAC3C,IAAI,KAAK,GAAG,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,KAAK,GAAG,KAAK,IAAI,aAAa,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QAC1D,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,KAAK,GAAG,KAAK,IAAI,aAAa,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QACpG,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACvD,KAAK,GAAG,KAAK,IAAI,aAAa,CAAC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACzG,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,cAAc;gBAClB,QAAQ,EAAE,MAAM;gBAChB,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;gBAChB,OAAO,EAAE,uBAAuB,EAAE,mEAAmE;aACtG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CAAC,WAAmB,EAAE,OAAiB;IAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IAClD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC/D,MAAM,MAAM,GAAG,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC;IAChD,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC5C,MAAM,YAAY,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACnE,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IACxD,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;QAC9D,IAAI,OAAO,GAAG,CAAC,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;YAC5C,OAAO,CAAC;oBACN,EAAE,EAAE,mBAAmB;oBACvB,QAAQ,EAAE,MAAM;oBAChB,EAAE,EAAE,KAAK;oBACT,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,iBAAiB,OAAO,iBAAiB,OAAO,CAAC,CAAC,CAAC,QAAQ,YAAY,EAAE;iBACnF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,6BAA6B,CAAC,KAA2B;IACvE,MAAM,aAAa,GAAG,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,IAAI,aAAa,IAAI,gBAAgB,CAAC;IAChE,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACxD,MAAM,OAAO,GAA8B,EAAE,CAAC;IAE9C,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,aAAa,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,kBAAkB;YACtB,QAAQ,EAAE,MAAM;YAChB,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,wFAAwF;SAClG,CAAC,CAAC;IACL,CAAC;IAED,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;IAEF,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QAEhE,KAAK,MAAM,CAAC,IAAI,uBAAuB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;YACxD,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,kBAAkB;gBACtB,QAAQ,EAAE,OAAO;gBACjB,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,GAAG;gBACT,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,6CAA6C,CAAC,CAAC,QAAQ,GAAG;gBACnE,QAAQ,EAAE,CAAC,CAAC,OAAO;aACpB,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,wBAAwB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;YACzD,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,oBAAoB;gBACxB,QAAQ,EAAE,OAAO;gBACjB,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,GAAG;gBACT,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,6CAA6C,CAAC,CAAC,QAAQ,GAAG;gBACnE,QAAQ,EAAE,CAAC,CAAC,OAAO;aACpB,CAAC,CAAC;QACL,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAChD,CAAC;IAED,OAAO,CAAC,IAAI,CACV,GAAG,gBAAgB,CACjB,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,UAAU,EAChB,OAAO,EACP,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAC/B,CACF,CAAC;IACF,OAAO,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;IAE9D,MAAM,WAAW,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;IACjC,MAAM,iBAAiB,GAAuB;QAC5C,EAAE,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC;QAC3E,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,OAAO,EAAE,gBAAgB;QACzB,OAAO;QACP,OAAO,EAAE,WAAW;KACrB,CAAC;IAEF,OAAO,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;IAC3D,OAAO,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;IACzE,OAAO,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAC7E,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,OAAO,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACxE,OAAO;QACL,EAAE,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC;QACzB,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,OAAO,EAAE,gBAAgB;QACzB,OAAO;QACP,OAAO;KACR,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,uBAAuB,CAAC,UAAkB,EAAE,MAA0B;IACpF,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,0BAA0B,CAAC,CAAC;IAC7D,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAChE,OAAO,OAAO,CAAC;AACjB,CAAC"}

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

@@ -0,0 +1,14 @@
+import type { VerificationCheckResult, VerificationReport, EvidenceTier } from './types.js';
+export interface SynthesisTableRow {
+    check: string;
+    tier?: EvidenceTier;
+    status?: string;
+    evidence?: string;
+}
+/** Parse markdown table rows under ## Verification status. */
+export declare function parseVerificationTable(synthesisText: string): SynthesisTableRow[];
+/**
+ * Detect synthesis claiming PASS or higher tier than the verification report supports.
+ */
+export declare function auditSynthesisTiers(synthesisText: string | undefined, report: VerificationReport): VerificationCheckResult[];
+//# sourceMappingURL=synthesisAudit.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"synthesisAudit.d.ts","sourceRoot":"","sources":["../../../src/council/verification/synthesisAudit.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG5F,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,YAAY,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,8DAA8D;AAC9D,wBAAgB,sBAAsB,CAAC,aAAa,EAAE,MAAM,GAAG,iBAAiB,EAAE,CAmCjF;AAmBD;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,aAAa,EAAE,MAAM,GAAG,SAAS,EACjC,MAAM,EAAE,kBAAkB,GACzB,uBAAuB,EAAE,CAmD3B"}

package/dist/council/verification/synthesisAudit.js

@@ -0,0 +1,106 @@
+import { matchCheckPrefix, parseEvidenceTier, tierAtLeast, TIER_RANK } from './tiers.js';
+/** Parse markdown table rows under ## Verification status. */
+export function parseVerificationTable(synthesisText) {
+    const section = synthesisText.match(/##\s+Verification\s+status[^\n]*\n([\s\S]*?)(?=\n##\s|\n---\s*$|$)/i);
+    if (!section?.[1])
+        return [];
+    const rows = [];
+    for (const line of section[1].split('\n')) {
+        if (!line.includes('|') || /^\s*\|?\s*[-:]+/.test(line))
+            continue;
+        const cells = line.split('|').map((c) => c.trim()).filter(Boolean);
+        if (cells.length < 2)
+            continue;
+        const headerLike = /^(check|tier|status|evidence|vincolo)/i.test(cells[0] ?? '');
+        if (headerLike)
+            continue;
+        const check = cells[0] ?? '';
+        let tier;
+        let status;
+        let evidence;
+        if (cells.length >= 4) {
+            tier = parseEvidenceTier(cells[1]) ?? undefined;
+            status = cells[2];
+            evidence = cells[3];
+        }
+        else if (cells.length === 3) {
+            const maybeTier = parseEvidenceTier(cells[1]);
+            if (maybeTier) {
+                tier = maybeTier;
+                status = cells[2];
+            }
+            else {
+                status = cells[1];
+                evidence = cells[2];
+            }
+        }
+        else {
+            status = cells[1];
+        }
+        rows.push({ check, tier, status, evidence });
+    }
+    return rows;
+}
+function reportHasFailingPrefix(report, prefix) {
+    return report.results.some((r) => !r.ok && r.id.startsWith(prefix));
+}
+function maxAchievedTierForPrefix(report, prefix) {
+    const related = report.results.filter((r) => r.id.startsWith(prefix));
+    if (related.length === 0)
+        return 'n/a';
+    if (related.every((r) => r.ok)) {
+        const tiers = related.map((r) => r.tier ?? 'grep');
+        return tiers.reduce((best, t) => (TIER_RANK[t] > TIER_RANK[best] ? t : best), 'grep');
+    }
+    return 'claimed';
+}
+/**
+ * Detect synthesis claiming PASS or higher tier than the verification report supports.
+ */
+export function auditSynthesisTiers(synthesisText, report) {
+    if (!synthesisText?.trim())
+        return [];
+    const results = [];
+    const rows = parseVerificationTable(synthesisText);
+    if (rows.length > 0) {
+        for (const row of rows) {
+            const prefix = matchCheckPrefix(row.check);
+            const status = (row.status ?? '').trim().toUpperCase();
+            const claimedTier = row.tier ?? (status === 'PASS' ? 'grep' : status === 'FAIL' ? 'claimed' : 'claimed');
+            const achieved = maxAchievedTierForPrefix(report, prefix);
+            if (status === 'PASS' && reportHasFailingPrefix(report, prefix)) {
+                results.push({
+                    id: 'synthesis.tier-inflation',
+                    severity: 'error',
+                    ok: false,
+                    tier: 'grep',
+                    message: `Synthesis claims PASS for "${row.check}" but report has failing ${prefix}* checks`,
+                    evidence: row.check,
+                });
+            }
+            if (row.tier && !tierAtLeast(achieved, row.tier)) {
+                results.push({
+                    id: 'synthesis.tier-inflation',
+                    severity: 'error',
+                    ok: false,
+                    tier: 'grep',
+                    message: `Synthesis tier "${row.tier}" for "${row.check}" exceeds achieved tier "${achieved}"`,
+                    evidence: row.check,
+                });
+            }
+        }
+    }
+    // Global inflation: prose says complete/verified while report.ok is false.
+    const globalOkClaim = /\b(pronto\s+al\s+commit|tutto\s+verificat|nessuna\s+regressione|green[- ]?light|hand[- ]?off\s+complet)\b/i.test(synthesisText);
+    if (globalOkClaim && !report.ok) {
+        results.push({
+            id: 'synthesis.tier-inflation',
+            severity: 'error',
+            ok: false,
+            tier: 'grep',
+            message: 'Synthesis claims completion/regression-free while verification-report has blocking FAIL',
+        });
+    }
+    return results;
+}
+//# sourceMappingURL=synthesisAudit.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"synthesisAudit.js","sourceRoot":"","sources":["../../../src/council/verification/synthesisAudit.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AASzF,8DAA8D;AAC9D,MAAM,UAAU,sBAAsB,CAAC,aAAqB;IAC1D,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CACjC,qEAAqE,CACtE,CAAC;IACF,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAwB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAClE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACnE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC/B,MAAM,UAAU,GAAG,wCAAwC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACjF,IAAI,UAAU;YAAE,SAAS;QACzB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,IAA8B,CAAC;QACnC,IAAI,MAA0B,CAAC;QAC/B,IAAI,QAA4B,CAAC;QACjC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACtB,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC;YAChD,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAClB,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,SAAS,EAAE,CAAC;gBACd,IAAI,GAAG,SAAS,CAAC;gBACjB,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACpB,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAClB,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,sBAAsB,CAAC,MAA0B,EAAE,MAAc;IACxE,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,wBAAwB,CAAC,MAA0B,EAAE,MAAc;IAC1E,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC;QACnD,OAAO,KAAK,CAAC,MAAM,CACjB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EACxD,MAAM,CACP,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CACjC,aAAiC,EACjC,MAA0B;IAE1B,IAAI,CAAC,aAAa,EAAE,IAAI,EAAE;QAAE,OAAO,EAAE,CAAC;IACtC,MAAM,OAAO,GAA8B,EAAE,CAAC;IAC9C,MAAM,IAAI,GAAG,sBAAsB,CAAC,aAAa,CAAC,CAAC;IAEnD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC3C,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACvD,MAAM,WAAW,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YACzG,MAAM,QAAQ,GAAG,wBAAwB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAE1D,IAAI,MAAM,KAAK,MAAM,IAAI,sBAAsB,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;gBAChE,OAAO,CAAC,IAAI,CAAC;oBACX,EAAE,EAAE,0BAA0B;oBAC9B,QAAQ,EAAE,OAAO;oBACjB,EAAE,EAAE,KAAK;oBACT,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,8BAA8B,GAAG,CAAC,KAAK,4BAA4B,MAAM,UAAU;oBAC5F,QAAQ,EAAE,GAAG,CAAC,KAAK;iBACpB,CAAC,CAAC;YACL,CAAC;YACD,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjD,OAAO,CAAC,IAAI,CAAC;oBACX,EAAE,EAAE,0BAA0B;oBAC9B,QAAQ,EAAE,OAAO;oBACjB,EAAE,EAAE,KAAK;oBACT,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,mBAAmB,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC,KAAK,4BAA4B,QAAQ,GAAG;oBAC9F,QAAQ,EAAE,GAAG,CAAC,KAAK;iBACpB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,MAAM,aAAa,GACjB,4GAA4G,CAAC,IAAI,CAC/G,aAAa,CACd,CAAC;IACJ,IAAI,aAAa,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,0BAA0B;YAC9B,QAAQ,EAAE,OAAO;YACjB,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,yFAAyF;SACnG,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

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

@@ -0,0 +1,8 @@
+import type { EvidenceTier } from './types.js';
+/** Numeric rank for tier comparison (higher = stronger evidence). */
+export declare const TIER_RANK: Record<EvidenceTier, number>;
+export declare function tierAtLeast(actual: EvidenceTier, minimum: EvidenceTier): boolean;
+export declare function parseEvidenceTier(raw: string | undefined): EvidenceTier | null;
+/** Map synthesis table labels to verification check id prefixes. */
+export declare function matchCheckPrefix(label: string): string;
+//# sourceMappingURL=tiers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tiers.d.ts","sourceRoot":"","sources":["../../../src/council/verification/tiers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,qEAAqE;AACrE,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,YAAY,EAAE,MAAM,CAMlD,CAAC;AAEF,wBAAgB,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,YAAY,GAAG,OAAO,CAEhF;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,YAAY,GAAG,IAAI,CAS9E;AAED,oEAAoE;AACpE,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAWtD"}

package/dist/council/verification/tiers.js

@@ -0,0 +1,46 @@
+/** Numeric rank for tier comparison (higher = stronger evidence). */
+export const TIER_RANK = {
+    'n/a': -1,
+    claimed: 0,
+    grep: 1,
+    tool: 2,
+    build: 3,
+};
+export function tierAtLeast(actual, minimum) {
+    return TIER_RANK[actual] >= TIER_RANK[minimum];
+}
+export function parseEvidenceTier(raw) {
+    if (!raw)
+        return null;
+    const t = raw.trim().toLowerCase().replace(/\s+/g, '');
+    if (t === 'n/a' || t === 'na')
+        return 'n/a';
+    if (t === 'claimed')
+        return 'claimed';
+    if (t === 'grep')
+        return 'grep';
+    if (t === 'tool')
+        return 'tool';
+    if (t === 'build')
+        return 'build';
+    return null;
+}
+/** Map synthesis table labels to verification check id prefixes. */
+export function matchCheckPrefix(label) {
+    const s = label.trim().toLowerCase();
+    if (s.includes('motion') || s.includes('keyframes') || s.includes('transition')) {
+        return 'motion.';
+    }
+    if (s.includes('js') || s.includes('script') || s.includes('inline'))
+        return 'inline-js.';
+    if (s.includes('hook') || s.includes('dead') || s.includes('.rm'))
+        return 'css.dead';
+    if (s.includes('readme'))
+        return 'docs.readme';
+    if (s.includes('plan') || s.includes('v0.2') || s.includes('palette'))
+        return 'plan.';
+    if (s.includes('honest') || s.includes('synthesis'))
+        return 'synthesis.';
+    return s;
+}
+//# sourceMappingURL=tiers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tiers.js","sourceRoot":"","sources":["../../../src/council/verification/tiers.ts"],"names":[],"mappings":"AAEA,qEAAqE;AACrE,MAAM,CAAC,MAAM,SAAS,GAAiC;IACrD,KAAK,EAAE,CAAC,CAAC;IACT,OAAO,EAAE,CAAC;IACV,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,CAAC;CACT,CAAC;AAEF,MAAM,UAAU,WAAW,CAAC,MAAoB,EAAE,OAAqB;IACrE,OAAO,SAAS,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,GAAuB;IACvD,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACvD,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACtC,IAAI,CAAC,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IAChC,IAAI,CAAC,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IAChC,IAAI,CAAC,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IAClC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,gBAAgB,CAAC,KAAa;IAC5C,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAChF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,YAAY,CAAC;IAC1F,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IACrF,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,aAAa,CAAC;IAC/C,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,OAAO,CAAC;IACtF,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,OAAO,YAAY,CAAC;IACzE,OAAO,CAAC,CAAC;AACX,CAAC"}

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

@@ -0,0 +1,53 @@
+/**
+ * Types for deterministic post-council implementation verification.
+ */
+export type VerificationSeverity = 'error' | 'warn';
+/** Evidence ladder: claimed < grep < tool < build. */
+export type EvidenceTier = 'claimed' | 'grep' | 'tool' | 'build' | 'n/a';
+export type VerificationCheckId = 'motion.keyframes' | 'motion.transitions' | 'inline-js.budget' | 'css.dead-hook' | 'plan.reality' | 'docs.readme-stale' | 'synthesis.honesty' | 'synthesis.tier-inflation' | 'synthesis.cite-invalid' | 'synthesis.degraded-banner' | 'nfr-spec.missing';
+export interface VerificationCheckResult {
+    id: VerificationCheckId;
+    severity: VerificationSeverity;
+    ok: boolean;
+    message: string;
+    /** Evidence tier achieved by this check (deterministic checks default to grep). */
+    tier?: EvidenceTier;
+    /** project-relative path */
+    file?: string;
+    line?: number;
+    evidence?: string;
+}
+export interface NfrAnimationSpec {
+    /** Only transform and opacity in @keyframes and transitions. */
+    compositorOnly?: boolean;
+    /** Also flag layout-affecting props (grid-template-rows, padding, width, …). */
+    forbidLayoutProps?: boolean;
+}
+export interface NfrSpec {
+    version: 1;
+    /** Paths relative to project root. */
+    targets: string[];
+    animation?: NfrAnimationSpec;
+    inlineJs?: {
+        maxBytes: number;
+    };
+    /** Grep milestone descriptions for these phrases; warn if absent in targets. */
+    planFeatureKeywords?: string[];
+}
+export interface VerificationReport {
+    ok: boolean;
+    generatedAt: string;
+    runMode: 'implementation';
+    targets: string[];
+    results: VerificationCheckResult[];
+}
+export interface RunVerificationInput {
+    projectRoot: string;
+    zelariRoot: string;
+    nfrSpec?: NfrSpec | null;
+    /** Chairman synthesis text for honesty lint. */
+    synthesisText?: string;
+    /** Council run was degraded (abort/error/no writes). */
+    degradedRun?: boolean;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/council/verification/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,MAAM,CAAC;AAEpD,sDAAsD;AACtD,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,KAAK,CAAC;AAEzE,MAAM,MAAM,mBAAmB,GAC3B,kBAAkB,GAClB,oBAAoB,GACpB,kBAAkB,GAClB,eAAe,GACf,cAAc,GACd,mBAAmB,GACnB,mBAAmB,GACnB,0BAA0B,GAC1B,wBAAwB,GACxB,2BAA2B,GAC3B,kBAAkB,CAAC;AAEvB,MAAM,WAAW,uBAAuB;IACtC,EAAE,EAAE,mBAAmB,CAAC;IACxB,QAAQ,EAAE,oBAAoB,CAAC;IAC/B,EAAE,EAAE,OAAO,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;IAChB,mFAAmF;IACnF,IAAI,CAAC,EAAE,YAAY,CAAC;IACpB,4BAA4B;IAC5B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,gBAAgB;IAC/B,gEAAgE;IAChE,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,gFAAgF;IAChF,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,OAAO;IACtB,OAAO,EAAE,CAAC,CAAC;IACX,sCAAsC;IACtC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,SAAS,CAAC,EAAE,gBAAgB,CAAC;IAC7B,QAAQ,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAChC,gFAAgF;IAChF,mBAAmB,CAAC,EAAE,MAAM,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,OAAO,CAAC;IACZ,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,gBAAgB,CAAC;IAC1B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,uBAAuB,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,oBAAoB;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;IACzB,gDAAgD;IAChD,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,wDAAwD;IACxD,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB"}

package/dist/council/verification/types.js

@@ -0,0 +1,5 @@
+/**
+ * Types for deterministic post-council implementation verification.
+ */
+export {};
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/council/verification/types.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zelari/core",
-  "version": "0.7.12",
+  "version": "0.7.14",
   "description": "Zelari Code core library — provider-neutral agent loop (AgentHarness), multi-agent council orchestration, and built-in skills. Used by the zelari-code CLI; consumable by other agent frontends.",
   "author": "N-THEM Studio",
   "license": "MIT",