prismatica 0.2.0

package/dist/atlas/hygiene.js

@@ -0,0 +1,288 @@
+/**
+ * The ONE shared, status-aware classification of a dirty (uncommitted)
+ * canonical Atlas record — used by `next`, `frame`, `doctor`, and the check
+ * engine so their advice can never disagree. `canonicalAtlasPaths` (store.ts)
+ * only ever answered "is this path under a canonical Atlas directory" — a
+ * bare path-string filter with no idea whether the record behind that path
+ * is actually safe to commit blindly. A proposed (unapproved) Delta, a
+ * tampered Flow, a malformed record, and a deleted one are NOT the same
+ * finding as "an approved record just needs committing," and describing them
+ * as if they were is itself a release-blocker class of bug (a lane could
+ * inherit a tampered or deleted record described as trustworthy).
+ */
+import path from 'node:path';
+import * as git from '../git.js';
+import { describeError, readDelta, readFlow, readRulesFile } from './store.js';
+import { verifyFlowIntegrity, verifyRulesIntegrity } from './store.js';
+import { shellQuote } from '../shellquote.js';
+function recordKindAndId(relativePath) {
+    if (relativePath === '.prismatica/rules.md') {
+        return { kind: 'rules', id: 'rules' };
+    }
+    if (relativePath.startsWith('.prismatica/flows/') && !relativePath.startsWith('.prismatica/flows/proposals/')) {
+        return { kind: 'flow', id: path.basename(relativePath, '.md') };
+    }
+    if (relativePath.startsWith('.prismatica/deltas/')) {
+        return { kind: 'delta', id: path.basename(relativePath, '.md') };
+    }
+    return null;
+}
+/** Every dirty (uncommitted) canonical Atlas record on `mainRoot`, classified. Proposals are never included — they're ephemeral review state, not canonical. */
+export async function classifyDirtyAtlasRecords(mainRoot, config) {
+    const entries = await git.dirtyEntries(mainRoot);
+    const findings = [];
+    for (const entry of entries) {
+        if (entry.change === 'renamed' && entry.renamedFrom !== undefined) {
+            const source = recordKindAndId(entry.renamedFrom);
+            if (source) {
+                // The source side of a rename is a canonical record — whether the
+                // destination is also canonical (e.g. a Flow renamed to a different
+                // Flow filename, leaving its frontmatter id disagreeing with the new
+                // name) or outside any canonical directory entirely (silently
+                // dropping the record from Atlas's view), Prismatica has no rename
+                // lifecycle yet. Never classify either shape as safe or ignore it.
+                findings.push({
+                    path: entry.path,
+                    recordKind: source.kind,
+                    id: source.id,
+                    gitChange: entry.change,
+                    status: 'rename-blocked',
+                    detail: `${source.kind === 'rules' ? 'the app rules file' : `${source.kind} "${source.id}"`} was renamed from "${entry.renamedFrom}" to "${entry.path}" — Prismatica does not support renaming canonical Atlas records yet`,
+                    renamedFrom: entry.renamedFrom,
+                });
+                continue;
+            }
+            // Neither side is canonical, or only the destination is (e.g. a
+            // stray file renamed INTO a canonical directory) — the source wasn't
+            // a tracked canonical record, so there's no identity being lost.
+            // Fall through and classify normally by destination.
+        }
+        const record = recordKindAndId(entry.path);
+        if (!record) {
+            continue;
+        }
+        const { kind, id } = record;
+        if (entry.change === 'deleted') {
+            findings.push({
+                path: entry.path,
+                recordKind: kind,
+                id,
+                gitChange: entry.change,
+                status: 'deleted',
+                detail: kind === 'rules'
+                    ? 'the app rules file was deleted from the working tree'
+                    : `"${id}" was deleted from the working tree`,
+            });
+            continue;
+        }
+        if (kind === 'flow') {
+            let flow;
+            try {
+                flow = readFlow(mainRoot, id).data;
+            }
+            catch (error) {
+                findings.push({
+                    path: entry.path,
+                    recordKind: kind,
+                    id,
+                    gitChange: entry.change,
+                    status: 'malformed',
+                    detail: `"${id}" does not parse: ${describeError(error)}`,
+                });
+                continue;
+            }
+            if (flow.id !== id) {
+                findings.push({
+                    path: entry.path,
+                    recordKind: kind,
+                    id,
+                    gitChange: entry.change,
+                    status: 'id-mismatch',
+                    detail: `"${entry.path}" is named "${id}" but its frontmatter id is "${flow.id}"`,
+                });
+                continue;
+            }
+            const integrity = verifyFlowIntegrity(flow, config.mode, config.owner.publicKey);
+            if (!integrity.ok) {
+                findings.push({
+                    path: entry.path,
+                    recordKind: kind,
+                    id,
+                    gitChange: entry.change,
+                    status: 'integrity-failed',
+                    detail: integrity.warning ?? `"${id}" failed integrity verification`,
+                });
+                continue;
+            }
+            findings.push({ path: entry.path, recordKind: kind, id, gitChange: entry.change, status: 'safe', detail: `"${id}" is approved and verified` });
+            continue;
+        }
+        if (kind === 'rules') {
+            let rulesFile;
+            try {
+                rulesFile = readRulesFile(mainRoot).data;
+            }
+            catch (error) {
+                findings.push({
+                    path: entry.path,
+                    recordKind: kind,
+                    id,
+                    gitChange: entry.change,
+                    status: 'malformed',
+                    detail: `the app rules file does not parse: ${describeError(error)}`,
+                });
+                continue;
+            }
+            if (!rulesFile) {
+                // Dirty per git, but unreadable as "no rules file" (e.g. an empty
+                // staged file) — treat like any other unparseable record.
+                findings.push({
+                    path: entry.path,
+                    recordKind: kind,
+                    id,
+                    gitChange: entry.change,
+                    status: 'malformed',
+                    detail: 'the app rules file is empty or unreadable',
+                });
+                continue;
+            }
+            const integrity = verifyRulesIntegrity(rulesFile, config.mode, config.owner.publicKey);
+            if (!integrity.ok) {
+                findings.push({
+                    path: entry.path,
+                    recordKind: kind,
+                    id,
+                    gitChange: entry.change,
+                    status: 'integrity-failed',
+                    detail: integrity.warning ?? 'the app rules file failed integrity verification',
+                });
+                continue;
+            }
+            findings.push({ path: entry.path, recordKind: kind, id, gitChange: entry.change, status: 'safe', detail: 'app rules are approved and verified' });
+            continue;
+        }
+        // kind === 'delta'
+        let delta;
+        try {
+            delta = readDelta(mainRoot, id).data;
+        }
+        catch (error) {
+            findings.push({
+                path: entry.path,
+                recordKind: kind,
+                id,
+                gitChange: entry.change,
+                status: 'malformed',
+                detail: `delta "${id}" does not parse: ${describeError(error)}`,
+            });
+            continue;
+        }
+        if (delta.id !== id) {
+            findings.push({
+                path: entry.path,
+                recordKind: kind,
+                id,
+                gitChange: entry.change,
+                status: 'id-mismatch',
+                detail: `"${entry.path}" is named "${id}" but its frontmatter id is "${delta.id}"`,
+            });
+            continue;
+        }
+        if (delta.status === 'proposed') {
+            findings.push({
+                path: entry.path,
+                recordKind: kind,
+                id,
+                gitChange: entry.change,
+                status: 'delta-unapproved',
+                detail: `delta "${id}" is proposed but not yet approved`,
+            });
+            continue;
+        }
+        findings.push({ path: entry.path, recordKind: kind, id, gitChange: entry.change, status: 'safe', detail: `delta "${id}" (${delta.status})` });
+    }
+    return findings;
+}
+export function safeToCommitPaths(findings) {
+    return findings.filter((f) => f.status === 'safe').map((f) => f.path);
+}
+/** Every finding that isn't plain "safe to commit" — for general reporting (doctor). */
+export function blockingFindings(findings) {
+    return findings.filter((f) => f.status !== 'safe');
+}
+/**
+ * Findings that should actually stop `frame`/the check engine — a merely
+ * proposed Delta is excluded on purpose: it has no bearing on lane-baseline
+ * integrity (nothing reads an unapproved Delta), so it is never, by itself,
+ * a reason to refuse framing or fail a check. It still surfaces through
+ * `next` (via `describeHygieneAdvice`) as something the owner should decide.
+ */
+export function blockingForFraming(findings) {
+    return findings.filter((f) => f.status !== 'delta-unapproved');
+}
+/**
+ * Turns a set of findings into the ONE most urgent, safe, copy-pasteable
+ * command — the single shared source `next`'s proactive advice and `frame`'s
+ * refusal message both read, so they can never disagree. Priority: a blocked
+ * rename (a canonical record's identity is mid-flux — the most urgent, since
+ * committing it as-is risks silently corrupting or dropping the record)
+ * outranks a broken record (malformed/integrity-failed/id-mismatch), which
+ * outranks a deletion, which outranks "these approved records just need
+ * committing," which outranks a merely pending Delta decision (least urgent
+ * — nothing is broken, it's just waiting on the owner). Callers that must
+ * never react to a delta-unapproved finding alone (`frame`, the check
+ * engine) should filter with `blockingForFraming` first.
+ */
+export function describeHygieneAdvice(findings) {
+    const renameBlocked = findings.filter((f) => f.status === 'rename-blocked');
+    if (renameBlocked.length > 0) {
+        const first = renameBlocked[0];
+        const rest = renameBlocked.length > 1 ? ` (+${renameBlocked.length - 1} more — run \`prismatica doctor\`)` : '';
+        return {
+            command: `git mv ${shellQuote(first.path)} ${shellQuote(first.renamedFrom)}`,
+            why: `${first.detail}${rest} — reverting the rename restores it to its last tracked location; redo the rename through a proper record-editing path once one exists, never by hand`,
+        };
+    }
+    const broken = findings.filter((f) => f.status === 'malformed' || f.status === 'integrity-failed' || f.status === 'id-mismatch');
+    if (broken.length > 0) {
+        const first = broken[0];
+        const rest = broken.length > 1 ? ` (+${broken.length - 1} more — run \`prismatica doctor\`)` : '';
+        const canRestore = first.gitChange === 'modified' || first.gitChange === 'deleted';
+        return canRestore
+            ? {
+                command: `git checkout -- ${shellQuote(first.path)}`,
+                why: `${first.detail}${rest} — restoring reverts to the last known-good committed version; if the change was intentional, redo it through the proper approve path instead of editing the canonical file directly`,
+            }
+            : {
+                command: 'git status',
+                why: `${first.detail}${rest} — this was never committed in a good state, so there's nothing to restore; fix it by hand or redo it through the proper approve path, never by editing the canonical file directly`,
+            };
+    }
+    const deleted = findings.filter((f) => f.status === 'deleted');
+    if (deleted.length > 0) {
+        const first = deleted[0];
+        const rest = deleted.length > 1 ? ` (+${deleted.length - 1} more — run \`prismatica doctor\`)` : '';
+        return {
+            command: `git checkout -- ${shellQuote(first.path)}`,
+            why: `${first.detail}${rest} — restore it if that wasn't intended; deleting an approved canonical record isn't a supported action yet`,
+        };
+    }
+    const safe = safeToCommitPaths(findings);
+    if (safe.length > 0) {
+        return {
+            command: `git add ${safe.map(shellQuote).join(' ')} && git commit -m 'approve pending Atlas records'`,
+            why: `${safe.length} approved Atlas record(s) on main are uncommitted — framing now would start a lane that can never see them`,
+        };
+    }
+    const unapproved = findings.filter((f) => f.status === 'delta-unapproved');
+    if (unapproved.length > 0) {
+        const first = unapproved[0];
+        const rest = unapproved.length > 1 ? ` (+${unapproved.length - 1} more pending — run \`prismatica delta list\`)` : '';
+        return {
+            command: `prismatica delta approve ${first.id}`,
+            why: `${first.detail}${rest} — approve or reject it before it can become a change`,
+        };
+    }
+    return null;
+}
+//# sourceMappingURL=hygiene.js.map

package/dist/atlas/hygiene.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hygiene.js","sourceRoot":"","sources":["../../src/atlas/hygiene.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,KAAK,GAAG,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE/E,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAiC9C,SAAS,eAAe,CAAC,YAAoB;IAC3C,IAAI,YAAY,KAAK,sBAAsB,EAAE,CAAC;QAC5C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;IACxC,CAAC;IACD,IAAI,YAAY,CAAC,UAAU,CAAC,oBAAoB,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,8BAA8B,CAAC,EAAE,CAAC;QAC9G,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC,EAAE,CAAC;IAClE,CAAC;IACD,IAAI,YAAY,CAAC,UAAU,CAAC,qBAAqB,CAAC,EAAE,CAAC;QACnD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC,EAAE,CAAC;IACnE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gKAAgK;AAChK,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,QAAgB,EAChB,MAAc;IAEd,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAwB,EAAE,CAAC;IAEzC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YAClE,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAClD,IAAI,MAAM,EAAE,CAAC;gBACX,kEAAkE;gBAClE,oEAAoE;gBACpE,qEAAqE;gBACrE,8DAA8D;gBAC9D,mEAAmE;gBACnE,mEAAmE;gBACnE,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,EAAE,EAAE,MAAM,CAAC,EAAE;oBACb,SAAS,EAAE,KAAK,CAAC,MAAM;oBACvB,MAAM,EAAE,gBAAgB;oBACxB,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,GAAG,sBAAsB,KAAK,CAAC,WAAW,SAAS,KAAK,CAAC,IAAI,sEAAsE;oBAC3N,WAAW,EAAE,KAAK,CAAC,WAAW;iBAC/B,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,gEAAgE;YAChE,qEAAqE;YACrE,iEAAiE;YACjE,qDAAqD;QACvD,CAAC;QAED,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,SAAS;QACX,CAAC;QACD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC;QAE5B,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,UAAU,EAAE,IAAI;gBAChB,EAAE;gBACF,SAAS,EAAE,KAAK,CAAC,MAAM;gBACvB,MAAM,EAAE,SAAS;gBACjB,MAAM,EACJ,IAAI,KAAK,OAAO;oBACd,CAAC,CAAC,sDAAsD;oBACxD,CAAC,CAAC,IAAI,EAAE,qCAAqC;aAClD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YACpB,IAAI,IAAI,CAAC;YACT,IAAI,CAAC;gBACH,IAAI,GAAG,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC;YACrC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,UAAU,EAAE,IAAI;oBAChB,EAAE;oBACF,SAAS,EAAE,KAAK,CAAC,MAAM;oBACvB,MAAM,EAAE,WAAW;oBACnB,MAAM,EAAE,IAAI,EAAE,qBAAqB,aAAa,CAAC,KAAK,CAAC,EAAE;iBAC1D,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;gBACnB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,UAAU,EAAE,IAAI;oBAChB,EAAE;oBACF,SAAS,EAAE,KAAK,CAAC,MAAM;oBACvB,MAAM,EAAE,aAAa;oBACrB,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,eAAe,EAAE,gCAAgC,IAAI,CAAC,EAAE,GAAG;iBAClF,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACjF,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;gBAClB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,UAAU,EAAE,IAAI;oBAChB,EAAE;oBACF,SAAS,EAAE,KAAK,CAAC,MAAM;oBACvB,MAAM,EAAE,kBAAkB;oBAC1B,MAAM,EAAE,SAAS,CAAC,OAAO,IAAI,IAAI,EAAE,iCAAiC;iBACrE,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC,CAAC;YAC/I,SAAS;QACX,CAAC;QAED,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,IAAI,SAAS,CAAC;YACd,IAAI,CAAC;gBACH,SAAS,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC;YAC3C,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,UAAU,EAAE,IAAI;oBAChB,EAAE;oBACF,SAAS,EAAE,KAAK,CAAC,MAAM;oBACvB,MAAM,EAAE,WAAW;oBACnB,MAAM,EAAE,sCAAsC,aAAa,CAAC,KAAK,CAAC,EAAE;iBACrE,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,kEAAkE;gBAClE,0DAA0D;gBAC1D,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,UAAU,EAAE,IAAI;oBAChB,EAAE;oBACF,SAAS,EAAE,KAAK,CAAC,MAAM;oBACvB,MAAM,EAAE,WAAW;oBACnB,MAAM,EAAE,2CAA2C;iBACpD,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,SAAS,GAAG,oBAAoB,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACvF,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;gBAClB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,UAAU,EAAE,IAAI;oBAChB,EAAE;oBACF,SAAS,EAAE,KAAK,CAAC,MAAM;oBACvB,MAAM,EAAE,kBAAkB;oBAC1B,MAAM,EAAE,SAAS,CAAC,OAAO,IAAI,kDAAkD;iBAChF,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,qCAAqC,EAAE,CAAC,CAAC;YAClJ,SAAS;QACX,CAAC;QAED,mBAAmB;QACnB,IAAI,KAAK,CAAC;QACV,IAAI,CAAC;YACH,KAAK,GAAG,SAAS,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC;QACvC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,UAAU,EAAE,IAAI;gBAChB,EAAE;gBACF,SAAS,EAAE,KAAK,CAAC,MAAM;gBACvB,MAAM,EAAE,WAAW;gBACnB,MAAM,EAAE,UAAU,EAAE,qBAAqB,aAAa,CAAC,KAAK,CAAC,EAAE;aAChE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,UAAU,EAAE,IAAI;gBAChB,EAAE;gBACF,SAAS,EAAE,KAAK,CAAC,MAAM;gBACvB,MAAM,EAAE,aAAa;gBACrB,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,eAAe,EAAE,gCAAgC,KAAK,CAAC,EAAE,GAAG;aACnF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,UAAU,EAAE,IAAI;gBAChB,EAAE;gBACF,SAAS,EAAE,KAAK,CAAC,MAAM;gBACvB,MAAM,EAAE,kBAAkB;gBAC1B,MAAM,EAAE,UAAU,EAAE,oCAAoC;aACzD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;IAChJ,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,QAA6B;IAC7D,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACxE,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,gBAAgB,CAAC,QAA6B;IAC5D,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AACrD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAA6B;IAC9D,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,kBAAkB,CAAC,CAAC;AACjE,CAAC;AAOD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAA6B;IACjE,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC;IAC5E,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAE,CAAC;QAChC,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,aAAa,CAAC,MAAM,GAAG,CAAC,oCAAoC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChH,OAAO;YACL,OAAO,EAAE,UAAU,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,WAAY,CAAC,EAAE;YAC7E,GAAG,EAAE,GAAG,KAAK,CAAC,MAAM,GAAG,IAAI,uJAAuJ;SACnL,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,KAAK,kBAAkB,IAAI,CAAC,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC;IACjI,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,MAAM,GAAG,CAAC,oCAAoC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClG,MAAM,UAAU,GAAG,KAAK,CAAC,SAAS,KAAK,UAAU,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC;QACnF,OAAO,UAAU;YACf,CAAC,CAAC;gBACE,OAAO,EAAE,mBAAmB,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;gBACpD,GAAG,EAAE,GAAG,KAAK,CAAC,MAAM,GAAG,IAAI,sLAAsL;aAClN;YACH,CAAC,CAAC;gBACE,OAAO,EAAE,YAAY;gBACrB,GAAG,EAAE,GAAG,KAAK,CAAC,MAAM,GAAG,IAAI,qLAAqL;aACjN,CAAC;IACR,CAAC;IAED,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IAC/D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,MAAM,GAAG,CAAC,oCAAoC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpG,OAAO;YACL,OAAO,EAAE,mBAAmB,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;YACpD,GAAG,EAAE,GAAG,KAAK,CAAC,MAAM,GAAG,IAAI,2GAA2G;SACvI,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO;YACL,OAAO,EAAE,WAAW,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,mDAAmD;YACrG,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,4GAA4G;SAChI,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,kBAAkB,CAAC,CAAC;IAC3E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,UAAU,CAAC,MAAM,GAAG,CAAC,gDAAgD,CAAC,CAAC,CAAC,EAAE,CAAC;QACtH,OAAO;YACL,OAAO,EAAE,4BAA4B,KAAK,CAAC,EAAE,EAAE;YAC/C,GAAG,EAAE,GAAG,KAAK,CAAC,MAAM,GAAG,IAAI,uDAAuD;SACnF,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/atlas/impact.js

@@ -0,0 +1,312 @@
+/**
+ * Pure impact/staleness math for Flows. Given a change's file list (from git,
+ * fetched by the caller) and the app's current flows, works out which flows
+ * are directly or possibly affected, whether any step's evidence has gone
+ * stale, and where a Flow Report's claim contradicts the file overlap (the
+ * "honesty gap"). No git, no gating decisions here — `check` renders these as
+ * WARN lines; the gate decides what a finding means for merge (D9: recomputed
+ * on demand every time, never cached).
+ */
+import picomatch from 'picomatch';
+/**
+ * `reason: z.string().min(1)` accepts whitespace — " " passes `.min(1)` — so
+ * a report entry can exist and name a flow while saying nothing a reviewer
+ * could read. Every place below that treats an entry's mere PRESENCE as an
+ * acknowledgment must treat a whitespace-only reason as absence instead, or a
+ * manually edited record satisfies the honesty gap without ever answering it.
+ */
+function isAnswered(entry) {
+    return entry !== undefined && entry.reason.trim().length > 0;
+}
+/** A flow whose mechanics.touchpoints glob-match at least one changed file. */
+export function directlyAffected(changedFiles, flows) {
+    const result = [];
+    for (const flow of flows) {
+        const matched = flow.mechanics.touchpoints.filter((glob) => changedFiles.some((file) => picomatch.isMatch(file, glob, { dot: true })));
+        if (matched.length > 0) {
+            result.push({ flowId: flow.id, touchpoints: matched });
+        }
+    }
+    return result;
+}
+function firstSharedMechanic(a, b) {
+    for (const value of a.mechanics.entities) {
+        if (b.mechanics.entities.includes(value))
+            return { kind: 'entity', value };
+    }
+    for (const value of a.mechanics.routes) {
+        if (b.mechanics.routes.includes(value))
+            return { kind: 'route', value };
+    }
+    for (const value of a.mechanics.components) {
+        if (b.mechanics.components.includes(value))
+            return { kind: 'component', value };
+    }
+    return null;
+}
+/**
+ * A flow not directly affected, but sharing an entity/route/component with
+ * one that is — exactly two impact labels, on purpose (D-impact-wording):
+ * never claims more precision than file-glob-plus-shared-mechanics can honestly give.
+ */
+export function possiblyAffected(directIds, flows) {
+    const directFlows = flows.filter((flow) => directIds.has(flow.id));
+    const result = [];
+    for (const flow of flows) {
+        if (directIds.has(flow.id)) {
+            continue;
+        }
+        for (const directFlow of directFlows) {
+            const shared = firstSharedMechanic(flow, directFlow);
+            if (shared) {
+                result.push({
+                    flowId: flow.id,
+                    reason: `shares ${shared.kind} "${shared.value}" with "${directFlow.id}"`,
+                });
+                break;
+            }
+        }
+    }
+    return result;
+}
+/**
+ * A weaker, glob-vs-glob heuristic for PACK time, before any diff exists: a
+ * flow whose touchpoints share a path prefix with the contract's proposed
+ * scope. Deliberately labelled "likely relevant" wherever it's shown, never
+ * "detected" or "affected" — real impact is only knowable once there's an
+ * actual diff (`directlyAffected`, below, used by `check`/`gate`).
+ */
+function globPrefix(glob) {
+    return glob.split(/[*?{}[\]]/)[0]?.replace(/\/$/, '') ?? '';
+}
+export function likelyRelevantFlows(scopeGlobs, flows) {
+    return flows.filter((flow) => flow.mechanics.touchpoints.some((touchpoint) => {
+        const tp = globPrefix(touchpoint);
+        if (tp === '') {
+            return false;
+        }
+        return scopeGlobs.some((scope) => {
+            const sc = globPrefix(scope);
+            return sc !== '' && (tp.startsWith(sc) || sc.startsWith(tp));
+        });
+    }));
+}
+/**
+ * The single entry point `check` and the gate both call. `uncertain` is the
+ * fail-closed case (principle 6): the change touched files but at least one
+ * approved flow has no mapped touchpoints at all, so "not affected" cannot be
+ * asserted for it — a report is required exactly as if it HAD been hit.
+ */
+export function assessImpact(changedFiles, flows) {
+    const direct = directlyAffected(changedFiles, flows);
+    const possible = possiblyAffected(new Set(direct.map((d) => d.flowId)), flows);
+    const unmapped = flows
+        .filter((flow) => flow.mechanics.touchpoints.length === 0)
+        .map((flow) => flow.id);
+    if (direct.length > 0 || possible.length > 0) {
+        return { level: 'impacted', direct, possible, unmapped };
+    }
+    if (changedFiles.length > 0 && unmapped.length > 0) {
+        return { level: 'uncertain', direct, possible, unmapped };
+    }
+    return { level: 'none', direct, possible, unmapped };
+}
+/**
+ * A changed path that is a Prismatica governance record rather than an
+ * implementation change — `.prismatica/**`. A Flow that documents Prismatica's
+ * OWN record-approval mechanics (e.g. "Map the app with atlas discovery")
+ * legitimately lists paths like `.prismatica/flows/proposals/**` as its own
+ * touchpoints, so approving or dismissing an entirely unrelated proposal —
+ * which commits exactly that path — must not itself stale that flow's
+ * evidence. Behavioural freshness is about the CODE and TESTS a flow is mapped
+ * to, never the bookkeeping that rides along with any commit.
+ */
+function isGovernanceRecord(file) {
+    return file === '.prismatica' || file.startsWith('.prismatica/');
+}
+/**
+ * A step whose evidence was recorded at a commit, but files matching its
+ * flow's touchpoints have changed since. `changedSinceCommit` maps a commit
+ * to the files that changed after it — supplied by the caller (from git),
+ * so this function stays pure and trivially fixture-tested. Governance-record
+ * churn is filtered out here rather than by the caller, so every caller gets
+ * the same honest answer.
+ */
+export function staleSteps(flows, changedSinceCommit) {
+    const stale = [];
+    for (const flow of flows) {
+        flow.truth.steps.forEach((step, index) => {
+            const commit = step.evidence?.commit;
+            if (!commit) {
+                return;
+            }
+            const changed = (changedSinceCommit.get(commit) ?? []).filter((file) => !isGovernanceRecord(file));
+            if (changed.length === 0) {
+                return;
+            }
+            const touched = flow.mechanics.touchpoints.some((glob) => changed.some((file) => picomatch.isMatch(file, glob, { dot: true })));
+            if (touched) {
+                stale.push({ flowId: flow.id, step: index + 1 });
+            }
+        });
+    }
+    return stale;
+}
+/**
+ * Where a Flow Report's claim contradicts the file/touchpoint overlap:
+ * a directly-affected flow the report never mentions, or that an explicit
+ * `none: true` report overlooks — plus, separately, a possibly-affected flow
+ * the report never mentions at all (or that `none: true` overlooks).
+ * Possibly-affected flows get a weaker bar than directly-affected ones on
+ * purpose: a possible hit is only a shared-mechanic heuristic, not a file
+ * overlap on the flow's own touchpoints, so any acknowledgment is honest;
+ * only silence (or a blanket `none: true`) is a gap.
+ *
+ * A reasoned `unchanged` on a DIRECTLY-affected flow is an answer, not a gap.
+ * It was rejected here for one release, which is the opposite of what the
+ * record schema documents `unchanged` FOR ("files overlap but this flow is
+ * unaffected because <reason>") — and the effect was to force a false
+ * `mechanics-updated` onto every change that touched shared infrastructure,
+ * teaching reporters that the status field is a formality. Deterministic code
+ * cannot decide whether behaviour changed; a file overlap is evidence that
+ * someone must ANSWER, never the answer itself. What the overlap does earn is
+ * visibility: `commands/flow.ts` records the flow's own mapped test files that
+ * also changed, so a reviewer reads the claim next to the fact.
+ */
+export function honestyGap(direct, possible, report) {
+    const gaps = [];
+    const reportedIds = new Map((report?.entries ?? []).map((entry) => [entry.flowId, entry]));
+    for (const { flowId } of direct) {
+        if (report?.none) {
+            gaps.push({
+                flowId,
+                reason: `touchpoints overlap the changed files, but the report asserts no flows were affected`,
+            });
+            continue;
+        }
+        if (!isAnswered(reportedIds.get(flowId))) {
+            gaps.push({
+                flowId,
+                reason: `touchpoints overlap the changed files, but this flow was not mentioned in the report`,
+            });
+        }
+    }
+    for (const { flowId, reason: whyPossible } of possible) {
+        if (isAnswered(reportedIds.get(flowId))) {
+            continue; // any status, incl. "unchanged", is a legitimate acknowledgment for a merely possible hit
+        }
+        if (report?.none) {
+            gaps.push({
+                flowId,
+                reason: `possibly affected (${whyPossible}), but the report asserts no flows were affected`,
+            });
+            continue;
+        }
+        gaps.push({
+            flowId,
+            reason: `possibly affected (${whyPossible}), but not mentioned in the report`,
+        });
+    }
+    return gaps;
+}
+/**
+ * `uncertain`, answered flow by flow. A flow with no mapped touchpoints can
+ * never be shown unaffected by file overlap, so it has to be spoken for
+ * individually: the previous test was "does a report exist at all", which one
+ * entry about an entirely unrelated flow satisfied — the fail-closed case
+ * closed by something that never mentioned the flow it was protecting.
+ *
+ * `unsure` cannot close it either. "I do not know" is precisely the state this
+ * level already records; accepting it as the answer would let a report restate
+ * the open question and count as having resolved it. Nor can `none: true`,
+ * which asserts the very thing an unmapped flow makes unassertable.
+ */
+function unmappedGaps(unmapped, report) {
+    const reportedIds = new Map((report?.entries ?? []).map((entry) => [entry.flowId, entry]));
+    const gaps = [];
+    for (const flowId of unmapped) {
+        const entry = report?.none ? undefined : reportedIds.get(flowId);
+        if (!isAnswered(entry)) {
+            gaps.push({
+                flowId,
+                reason: report?.none
+                    ? 'is an unmapped flow, so "no flows affected" cannot be asserted for it'
+                    : 'is an unmapped flow (no touchpoints), so impact cannot be ruled out — say what this change does to it',
+            });
+            continue;
+        }
+        if (entry.status === 'unsure') {
+            gaps.push({
+                flowId,
+                reason: 'has no mapped touchpoints and was reported "unsure" — that repeats the open question rather than answering it',
+            });
+        }
+    }
+    return gaps;
+}
+/**
+ * What `flow report --auto` deliberately leaves for a person, and why.
+ *
+ * `--auto` can only state what a file diff establishes: this flow's own
+ * touchpoints matched these changed files. A POSSIBLE hit is a shared-mechanic
+ * heuristic, and an UNMAPPED flow has nothing linking it to files at all —
+ * resolving either from a diff would be deterministic code inventing a
+ * semantic verdict. Shared by the command (which prints these last, so an
+ * incomplete report is the last thing on screen) and by `check` (which names
+ * the same commands in its warning), so the two can never disagree about what
+ * is still outstanding.
+ */
+export function autoUnresolved(impact, report) {
+    const reported = new Set((report?.entries ?? []).map((entry) => entry.flowId));
+    return [
+        ...impact.possible
+            .filter((entry) => !reported.has(entry.flowId))
+            .map((entry) => ({
+            flowId: entry.flowId,
+            reason: `possibly affected — ${entry.reason}; only a person can say whether that matters`,
+        })),
+        ...impact.unmapped
+            .filter((flowId) => !reported.has(flowId))
+            .map((flowId) => ({
+            flowId,
+            reason: 'has no mapped touchpoints, so no diff can rule impact in or out',
+        })),
+    ];
+}
+/** The exact, pasteable command that answers one outstanding flow. One source, several printers. */
+export function flowReportCommand(flowId) {
+    return `prismatica flow report --flow ${flowId} --status unchanged --reason "..."`;
+}
+/**
+ * The single "is this report good enough" decision, shared verbatim by
+ * `check` (renders the result as a WARN, never fails the run) and the gate
+ * (the same finding fails the requirement). Empty = nothing outstanding.
+ *
+ * At `impacted`, `unmappedGaps` still runs — over unmapped flows the OTHER
+ * `direct`/`possible` impact on this diff did not already touch. Without it,
+ * a flow with zero touchpoints and no shared entity/route/component was
+ * invisible here whenever some unrelated flow was directly or possibly
+ * affected in the same diff: `honestyGap` only walks `direct`/`possible`, so
+ * `level` flipping from `uncertain` to `impacted` silently dropped the very
+ * flows `unmappedGaps` exists to protect. A flow that IS also `possible` is
+ * left to `honestyGap`'s existing, deliberately looser rule (any status,
+ * `unsure` included, acknowledges a merely-possible hit) — unchanged.
+ */
+export function reportGaps(impact, report) {
+    if (impact.level === 'none') {
+        return [];
+    }
+    if (impact.level === 'uncertain') {
+        return unmappedGaps(impact.unmapped, report).map((gap) => `${gap.flowId}: ${gap.reason}`);
+    }
+    const handled = new Set([
+        ...impact.direct.map((d) => d.flowId),
+        ...impact.possible.map((p) => p.flowId),
+    ]);
+    const gaps = [
+        ...honestyGap(impact.direct, impact.possible, report),
+        ...unmappedGaps(impact.unmapped.filter((flowId) => !handled.has(flowId)), report),
+    ];
+    return gaps.map((gap) => `${gap.flowId}: ${gap.reason}`);
+}
+//# sourceMappingURL=impact.js.map

package/dist/atlas/impact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact.js","sourceRoot":"","sources":["../../src/atlas/impact.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,SAAS,MAAM,WAAW,CAAC;AAGlC;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,KAAkC;IACpD,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAC/D,CAAC;AAQD,+EAA+E;AAC/E,MAAM,UAAU,gBAAgB,CAAC,YAAsB,EAAE,KAAa;IACpE,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACzD,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAC1E,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAQD,SAAS,mBAAmB,CAAC,CAAO,EAAE,CAAO;IAC3C,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;QACzC,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC7E,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QACvC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC1E,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC;QAC3C,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAClF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,SAAsB,EAAE,KAAa;IACpE,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACrD,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,CAAC,IAAI,CAAC;oBACV,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,MAAM,EAAE,UAAU,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,WAAW,UAAU,CAAC,EAAE,GAAG;iBAC1E,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,UAAoB,EAAE,KAAa;IACrE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3B,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE;QAC7C,MAAM,EAAE,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QAClC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACd,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/B,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAC7B,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAiBD;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,YAAsB,EAAE,KAAa;IAChE,MAAM,MAAM,GAAG,gBAAgB,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,KAAK;SACnB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC;SACzD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnD,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAC5D,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AACvD,CAAC;AAOD;;;;;;;;;GASG;AACH,SAAS,kBAAkB,CAAC,IAAY;IACtC,OAAO,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;AACnE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,KAAa,EAAE,kBAAyC;IACjF,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACvC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC;YACrC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO;YACT,CAAC;YACD,MAAM,OAAO,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAC3D,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,CACpC,CAAC;YACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO;YACT,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACvD,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CACrE,CAAC;YACF,IAAI,OAAO,EAAE,CAAC;gBACZ,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YACnD,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAOD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,UAAU,CACxB,MAAsB,EACtB,QAA0B,EAC1B,MAAyB;IAEzB,MAAM,IAAI,GAAiB,EAAE,CAAC;IAC9B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3F,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QAChC,IAAI,MAAM,EAAE,IAAI,EAAE,CAAC;YACjB,IAAI,CAAC,IAAI,CAAC;gBACR,MAAM;gBACN,MAAM,EAAE,sFAAsF;aAC/F,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,IAAI,CAAC;gBACR,MAAM;gBACN,MAAM,EAAE,sFAAsF;aAC/F,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,QAAQ,EAAE,CAAC;QACvD,IAAI,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YACxC,SAAS,CAAC,0FAA0F;QACtG,CAAC;QACD,IAAI,MAAM,EAAE,IAAI,EAAE,CAAC;YACjB,IAAI,CAAC,IAAI,CAAC;gBACR,MAAM;gBACN,MAAM,EAAE,sBAAsB,WAAW,kDAAkD;aAC5F,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC;YACR,MAAM;YACN,MAAM,EAAE,sBAAsB,WAAW,oCAAoC;SAC9E,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,YAAY,CAAC,QAAkB,EAAE,MAAyB;IACjE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3F,MAAM,IAAI,GAAiB,EAAE,CAAC;IAC9B,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC;gBACR,MAAM;gBACN,MAAM,EAAE,MAAM,EAAE,IAAI;oBAClB,CAAC,CAAC,uEAAuE;oBACzE,CAAC,CAAC,uGAAuG;aAC5G,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAI,CAAC;gBACR,MAAM;gBACN,MAAM,EAAE,+GAA+G;aACxH,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,cAAc,CAAC,MAAwB,EAAE,MAAyB;IAChF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/E,OAAO;QACL,GAAG,MAAM,CAAC,QAAQ;aACf,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;aAC9C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACf,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,MAAM,EAAE,uBAAuB,KAAK,CAAC,MAAM,8CAA8C;SAC1F,CAAC,CAAC;QACL,GAAG,MAAM,CAAC,QAAQ;aACf,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;aACzC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAChB,MAAM;YACN,MAAM,EAAE,iEAAiE;SAC1E,CAAC,CAAC;KACN,CAAC;AACJ,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,iBAAiB,CAAC,MAAc;IAC9C,OAAO,iCAAiC,MAAM,oCAAoC,CAAC;AACrF,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,UAAU,CAAC,MAAwB,EAAE,MAAyB;IAC5E,IAAI,MAAM,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QACjC,OAAO,YAAY,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC;QACtB,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;QACrC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;KACxC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG;QACX,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC;QACrD,GAAG,YAAY,CACb,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACxD,MAAM,CACP;KACF,CAAC;IACF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;AAC3D,CAAC"}