@aitne/daemon 0.1.6 → 0.1.8

package/dist/core/evening-review-verify.js

@@ -0,0 +1,637 @@
+/**
+ * Phase 4 of `docs/design/appendices/evening-review-slimdown.md` — the
+ * post-launch verification surface. Bundles four checks an operator
+ * runs once after the slimdown ships to confirm the change actually
+ * delivered what it promised:
+ *
+ *   1. The 17:45 cron emits one
+ *      `agent_actions.action_type='roadmap_mechanical_maintenance'` row
+ *      per agent-day.
+ *   2. `routine.evening_review` sessions stay inside the seeded
+ *      envelope (50 turns / $1.00) — token counts dropped after the
+ *      `travel` skill + Step 4 prose were removed.
+ *   3. `resolveSkillManifest` correctly gates `notify` on the rulebook
+ *      predicate (5 vs 6 skills depending on `routines/evening.md`
+ *      shape).
+ *   4. Over the last 30 days, evening_review sessions on rulebook-less
+ *      installs called `POST /api/notify` zero times — any non-zero
+ *      count is a prompt regression signal worth investigating.
+ *
+ * Read-only and offline. Safe to call while the daemon is up (the DB
+ * file is opened in WAL mode upstream) or while it is stopped (the CLI
+ * opens its own readonly handle).
+ *
+ * The daemon-side `eveningRulebookIsActive` predicate is the
+ * authoritative implementation; this module imports it directly so the
+ * rulebook gate cannot drift between runtime and verification.
+ */
+import { existsSync, readFileSync } from "node:fs";
+import { homedir } from "node:os";
+import { join, resolve } from "node:path";
+import { CONTEXT_RELATIVE_PATHS } from "./context-paths.js";
+import { EVENT_SKILL_SETS, eveningRulebookIsActive, } from "./skills-manifest.js";
+/** envelope seeded in `process_backend_config` for routine.evening_review */
+export const EVENING_REVIEW_ENVELOPE_BUDGET_USD = 1.0;
+export const EVENING_REVIEW_ENVELOPE_MAX_TURNS = 50;
+/** danger threshold — half of cap. Slim shape sits well below this. */
+export const ENVELOPE_DANGER_FRACTION = 0.5;
+export function runEveningReviewSlimdownChecks(deps) {
+    const { db, contextDir } = deps;
+    const windowDays = deps.windowDays ?? 7;
+    const now = (deps.now ?? (() => new Date()))();
+    const installAgeDays = readInstallAgeDays(db);
+    const rulebook = inspectRulebook(contextDir);
+    // Reuse the daemon's predicate to mirror its decision exactly when the
+    // file IS readable. The local inspection only adds detail (heading
+    // count, indeterminate state) the predicate doesn't expose.
+    if (rulebook.state !== "unreadable") {
+        rulebook.predicateActive = eveningRulebookIsActive(contextDir);
+    }
+    const checks = [
+        checkCronAuditFreshness(db, { windowDays, installAgeDays, now }),
+        checkEveningReviewTokenEnvelope(db, { windowDays }),
+        checkConditionalNotifyLoad({ contextDir, rulebook }),
+        checkNotifyInvocations30d(db, {
+            installAgeDays,
+            rulebookActive: rulebook.predicateActive,
+        }),
+    ];
+    return {
+        checks,
+        summary: {
+            total: checks.length,
+            passed: checks.filter((c) => c.status === "pass").length,
+            warned: checks.filter((c) => c.status === "warn").length,
+            failed: checks.filter((c) => c.status === "fail").length,
+            windowDays,
+            installAgeDays,
+            generatedAt: now.toISOString(),
+        },
+    };
+}
+export function checkCronAuditFreshness(db, opts) {
+    const expectedDays = Math.max(1, Math.min(opts.windowDays, opts.installAgeDays));
+    const rows = db
+        .prepare(`SELECT date(started_at, 'localtime') AS day,
+              COUNT(*) AS n,
+              SUM(CASE WHEN result = 'success' THEN 1 ELSE 0 END) AS ok,
+              SUM(CASE WHEN result = 'failed'  THEN 1 ELSE 0 END) AS fail
+         FROM agent_actions
+        WHERE action_type = 'roadmap_mechanical_maintenance'
+          AND started_at >= datetime('now', ?)
+        GROUP BY day
+        ORDER BY day DESC`)
+        .all(`-${expectedDays} days`);
+    const lastRow = db
+        .prepare(`SELECT started_at, result, error
+         FROM agent_actions
+        WHERE action_type = 'roadmap_mechanical_maintenance'
+        ORDER BY started_at DESC
+        LIMIT 1`)
+        .get();
+    const expectedDayList = expectedDaySet(opts.now, expectedDays);
+    const daysWithRowSet = new Set(rows.map((r) => r.day));
+    const missingDays = expectedDayList.filter((d) => !daysWithRowSet.has(d));
+    const failedRows = rows.reduce((acc, r) => acc + Number(r.fail || 0), 0);
+    // SQLite's `>= datetime('now', '-N days')` filter is UTC-bounded but
+    // `date(started_at, 'localtime')` and `expectedDayList` are local. In
+    // TZs with a negative UTC offset a row whose local date sits one
+    // earlier than the local window can still pass the UTC filter and
+    // appear in `daysWithRowSet`. Report the ratio against the local
+    // window only so the display never says "8/7 day(s) covered" or "7/7
+    // have a row. Missing: <full list>" (a contradiction the unfiltered
+    // size would produce in the leaked-day case).
+    const daysCovered = expectedDayList.length - missingDays.length;
+    const data = {
+        windowDays: expectedDays,
+        daysWithRow: daysCovered,
+        daysMissing: missingDays,
+        failedRows,
+        lastRunAt: lastRow?.started_at ?? null,
+        lastRunResult: lastRow?.result ?? null,
+    };
+    if (rows.length === 0) {
+        // A fresh install (≤ 1 agent-day) may genuinely not have hit 17:45
+        // yet — soften to warn so the post-launch report doesn't flag a
+        // not-yet-triggered cron as broken on day 0.
+        const isFreshInstall = opts.installAgeDays <= 1;
+        return {
+            id: "cron_audit_freshness",
+            label: "Cron audit row daily freshness",
+            status: isFreshInstall ? "warn" : "fail",
+            detail: isFreshInstall
+                ? `No rows yet — fresh install (~${opts.installAgeDays}d). The 17:45 cron may not have fired yet.`
+                : `No 'roadmap_mechanical_maintenance' rows in the last ${expectedDays} day(s).`,
+            hint: "Wait until after 17:45 local on a normal weekday, then re-run. " +
+                "To trigger immediately: 'aitne run-now roadmap_maintenance'.",
+            data,
+        };
+    }
+    if (failedRows > 0) {
+        return {
+            id: "cron_audit_freshness",
+            label: "Cron audit row daily freshness",
+            status: "fail",
+            detail: `${daysCovered}/${expectedDays} day(s) have a row but ${failedRows} run(s) ended with ` +
+                // lastRow is non-null whenever rows.length > 0 (both come from
+                // the same action_type filter on agent_actions); the `?? "—"`
+                // is TypeScript narrowing safety for a path the runtime cannot
+                // reach.
+                /* c8 ignore next */
+                `result='failed'. Last status: ${lastRow?.result ?? "—"}.`,
+            hint: "Inspect failures with 'aitne audit --type roadmap_mechanical_maintenance " +
+                "--since 7d --result failed --detail'.",
+            data,
+        };
+    }
+    if (missingDays.length > 0) {
+        return {
+            id: "cron_audit_freshness",
+            label: "Cron audit row daily freshness",
+            status: "warn",
+            detail: `${daysCovered}/${expectedDays} day(s) have a row. ` +
+                `Missing: ${missingDays.join(", ")}.`,
+            hint: "Acceptable if the daemon was stopped on those days. Otherwise check " +
+                "'aitne audit --type roadmap_mechanical_maintenance --since 14d' for the " +
+                "skip pattern.",
+            data,
+        };
+    }
+    return {
+        id: "cron_audit_freshness",
+        label: "Cron audit row daily freshness",
+        status: "pass",
+        // Same TS-narrowing dance as the failed-rows branch above — lastRow
+        // is non-null whenever rows.length > 0.
+        /* c8 ignore next */
+        detail: `${daysCovered}/${expectedDays} day(s) covered. Last run ${lastRow?.started_at ?? "—"} → ${lastRow?.result ?? "—"}.`,
+        data,
+    };
+}
+export function checkEveningReviewTokenEnvelope(db, opts) {
+    const stats = db
+        .prepare(`SELECT COUNT(*)               AS n,
+              AVG(tokens_input)      AS avg_in,
+              MAX(tokens_input)      AS max_in,
+              AVG(tokens_output)     AS avg_out,
+              MAX(tokens_output)     AS max_out,
+              AVG(cost_usd)          AS avg_cost,
+              MAX(cost_usd)          AS max_cost,
+              AVG(num_turns)         AS avg_turns,
+              MAX(num_turns)         AS max_turns,
+              AVG(cache_read_tokens) AS avg_cache_read
+         FROM agent_actions
+        WHERE action_type = 'routine.evening_review'
+          AND result IN ('success', 'partial')
+          AND started_at >= datetime('now', ?)`)
+        .get(`-${opts.windowDays} days`);
+    // SQLite COUNT/AVG always returns at least one row, so `stats` is
+    // defined; the `?? 0` is TS narrowing safety only.
+    /* c8 ignore next */
+    const n = Number(stats?.n ?? 0);
+    const data = {
+        windowDays: opts.windowDays,
+        sessions: n,
+        avgInputTokens: roundOrNull(stats?.avg_in),
+        maxInputTokens: numericOrNull(stats?.max_in),
+        avgOutputTokens: roundOrNull(stats?.avg_out),
+        maxOutputTokens: numericOrNull(stats?.max_out),
+        avgCacheReadTokens: roundOrNull(stats?.avg_cache_read),
+        avgCostUsd: roundCost(stats?.avg_cost),
+        maxCostUsd: roundCost(stats?.max_cost),
+        avgNumTurns: roundOrNull(stats?.avg_turns),
+        maxNumTurns: numericOrNull(stats?.max_turns),
+        envelopeBudgetUsd: EVENING_REVIEW_ENVELOPE_BUDGET_USD,
+        envelopeMaxTurns: EVENING_REVIEW_ENVELOPE_MAX_TURNS,
+    };
+    if (n === 0) {
+        return {
+            id: "evening_review_token_envelope",
+            label: "evening_review session envelope",
+            status: "warn",
+            detail: `No successful evening_review runs in the last ${opts.windowDays} day(s).`,
+            hint: "Either the routine has not fired yet, has been disabled, or is failing " +
+                "before completion. Check 'aitne audit --type routine.evening_review " +
+                "--since 30d --detail'.",
+            data,
+        };
+    }
+    // `stats` is non-null because n > 0 above; SQLite returned at least
+    // one row. `roundCost` always returns a number (so `avgCostUsd` has
+    // no nullable branch); `avgNumTurns` can be null when every row in
+    // the window had a NULL `num_turns`, in which case "no rows hit the
+    // cap" is the correct conservative reading.
+    const costNearCap = data.avgCostUsd >= EVENING_REVIEW_ENVELOPE_BUDGET_USD * ENVELOPE_DANGER_FRACTION;
+    const turnsNearCap = data.avgNumTurns !== null &&
+        data.avgNumTurns >= EVENING_REVIEW_ENVELOPE_MAX_TURNS * ENVELOPE_DANGER_FRACTION;
+    if (costNearCap || turnsNearCap) {
+        const flags = [
+            costNearCap
+                ? `avg cost $${data.avgCostUsd} ≥ ${ENVELOPE_DANGER_FRACTION * 100}% of $${EVENING_REVIEW_ENVELOPE_BUDGET_USD} cap`
+                : null,
+            turnsNearCap
+                ? `avg turns ${data.avgNumTurns} ≥ ${ENVELOPE_DANGER_FRACTION * 100}% of ${EVENING_REVIEW_ENVELOPE_MAX_TURNS} cap`
+                : null,
+        ].filter(Boolean);
+        return {
+            id: "evening_review_token_envelope",
+            label: "evening_review session envelope",
+            status: "warn",
+            detail: `${n} session(s) — ${flags.join("; ")}. Slim shape may not be in effect.`,
+            hint: "Compare against 'aitne audit --type routine.evening_review --since 30d " +
+                "--detail' to look for slow drift. The slimmer post-PR2 prompt should sit " +
+                "well below half the envelope; sustained values near it suggest a " +
+                "prompt regression or the legacy four-step shape still applying.",
+            data,
+        };
+    }
+    return {
+        id: "evening_review_token_envelope",
+        label: "evening_review session envelope",
+        status: "pass",
+        detail: `${n} session(s) — avg input ${formatTokens(data.avgInputTokens)} / ` +
+            `output ${formatTokens(data.avgOutputTokens)} / cost $${data.avgCostUsd} ` +
+            // avgNumTurns can be null when every row in the window has a
+            // NULL num_turns (e.g. legacy audit rows from before the column
+            // was wired). Both branches are exercised by the token-envelope
+            // tests.
+            `/ ${data.avgNumTurns ?? "—"} turn(s). Within envelope.`,
+        data,
+    };
+}
+export function checkConditionalNotifyLoad(opts) {
+    const rulebookPath = join(opts.contextDir, CONTEXT_RELATIVE_PATHS.routines.evening);
+    // EVENT_SKILL_SETS always carries this key — see skills-manifest.ts.
+    // The `?? []` is defensive against a future deletion landing in the
+    // manifest map; the verify report would still produce a coherent
+    // (empty-manifest) row instead of crashing.
+    /* c8 ignore next */
+    const baseManifest = EVENT_SKILL_SETS["routine.evening_review"] ?? [];
+    const resolvedManifest = opts.rulebook.predicateActive
+        ? [...baseManifest]
+        : baseManifest.filter((s) => s !== "notify");
+    const data = {
+        contextDir: opts.contextDir,
+        rulebookPath,
+        rulebookState: opts.rulebook.state,
+        rulebookHeadingCount: opts.rulebook.headingCount,
+        predicateActive: opts.rulebook.predicateActive,
+        expectedSkillCount: resolvedManifest.length,
+        resolvedManifest,
+    };
+    if (opts.rulebook.state === "unreadable") {
+        const hint = looksLikeIcloudPath(rulebookPath)
+            ? "The vault sits under iCloud Drive — the CLI usually lacks macOS Full " +
+                "Disk Access while the daemon (launched via the agent lifecycle) does " +
+                "have it. Grant Terminal/iTerm Full Disk Access in System Settings → " +
+                "Privacy & Security to let 'aitne verify' inspect the rulebook " +
+                "independently. The daemon's runtime predicate is unaffected."
+            : "The CLI cannot read the rulebook to mirror the daemon's predicate. The " +
+                "daemon may still be reading it correctly. Try 'cat <path>' from this " +
+                "shell — if that also fails, fix permissions; otherwise the CLI's " +
+                "sandbox simply differs from the daemon's.";
+        return {
+            id: "conditional_notify_load",
+            label: "Conditional notify load (resolveSkillManifest)",
+            status: "warn",
+            detail: `Rulebook ${rulebookPath} exists but is unreadable to this process — ` +
+                `predicate result indeterminate (cannot mirror eveningRulebookIsActive).`,
+            hint,
+            data,
+        };
+    }
+    return {
+        id: "conditional_notify_load",
+        label: "Conditional notify load (resolveSkillManifest)",
+        status: "pass",
+        detail: `Rulebook ${opts.rulebook.state} → ` +
+            `${opts.rulebook.predicateActive ? "keep" : "drop"} notify → ` +
+            `${resolvedManifest.length}-skill manifest (${resolvedManifest.join(", ")}).`,
+        data,
+    };
+}
+export function checkNotifyInvocations30d(db, opts) {
+    const windowDays = Math.max(1, Math.min(30, opts.installAgeDays));
+    const sessions = db
+        .prepare(`SELECT a.id, a.started_at, a.completed_at,
+              (
+                SELECT COUNT(*) FROM notification_log n
+                 WHERE n.created_at >= a.started_at
+                   AND n.created_at <= COALESCE(a.completed_at, datetime(a.started_at, '+30 minutes'))
+              ) AS notify_count
+         FROM agent_actions a
+        WHERE a.action_type = 'routine.evening_review'
+          AND a.started_at >= datetime('now', ?)
+        ORDER BY a.started_at DESC`)
+        .all(`-${windowDays} days`);
+    const sessionsWithNotify = sessions.filter((s) => Number(s.notify_count) > 0);
+    const totalNotifies = sessionsWithNotify.reduce(
+    // notify_count is always a non-null integer from SQLite COUNT(*);
+    // the `|| 0` is TS-narrowing belt-and-braces.
+    /* c8 ignore next */
+    (acc, s) => acc + Number(s.notify_count || 0), 0);
+    const data = {
+        windowDays,
+        sessions: sessions.length,
+        sessionsWithNotify: sessionsWithNotify.length,
+        totalNotifies,
+        rulebookActive: opts.rulebookActive,
+        samples: sessionsWithNotify.slice(0, 5).map((s) => ({
+            id: s.id,
+            startedAt: s.started_at,
+            completedAt: s.completed_at,
+            notifyCount: Number(s.notify_count),
+        })),
+    };
+    if (sessions.length === 0) {
+        return {
+            id: "notify_invocations_30d",
+            label: "30-day notify invocation sample",
+            status: "warn",
+            detail: `No evening_review sessions in the last ${windowDays} day(s) — nothing to sample.`,
+            hint: "Either the routine has not fired yet on this install or the cron is " +
+                "blocked. Check 'aitne audit --type routine.evening_review --since 30d'.",
+            data,
+        };
+    }
+    if (totalNotifies === 0) {
+        return {
+            id: "notify_invocations_30d",
+            label: "30-day notify invocation sample",
+            status: "pass",
+            detail: `${sessions.length} session(s) inspected, 0 notify calls. ` +
+                (opts.rulebookActive === true
+                    ? "Rulebook is active — zero is the lower bound (rules may not have triggered)."
+                    : opts.rulebookActive === false
+                        ? "Rulebook inactive — zero matches the silent-by-default contract."
+                        : "Rulebook state indeterminate — zero is consistent with both branches."),
+            data,
+        };
+    }
+    if (opts.rulebookActive === null) {
+        return {
+            id: "notify_invocations_30d",
+            label: "30-day notify invocation sample",
+            status: "warn",
+            detail: `${sessionsWithNotify.length}/${sessions.length} session(s) emitted ` +
+                `${totalNotifies} notify call(s). Rulebook state indeterminate — ` +
+                `cannot judge whether intent matches.`,
+            hint: "Resolve the conditional_notify_load warning first (grant access to the " +
+                "rulebook), then re-run 'aitne verify'. The notify counts above are correct; " +
+                "only their interpretation is gated on the rulebook predicate.",
+            data,
+        };
+    }
+    if (opts.rulebookActive) {
+        return {
+            id: "notify_invocations_30d",
+            label: "30-day notify invocation sample",
+            status: "pass",
+            detail: `${sessionsWithNotify.length}/${sessions.length} session(s) emitted ` +
+                `${totalNotifies} notify call(s). Rulebook is active — explicit notify ` +
+                `intent is legitimate.`,
+            data,
+        };
+    }
+    return {
+        id: "notify_invocations_30d",
+        label: "30-day notify invocation sample",
+        status: "warn",
+        detail: `${sessionsWithNotify.length}/${sessions.length} session(s) emitted ` +
+            `${totalNotifies} notify call(s) — but the rulebook is inactive. ` +
+            `Built-in steps should be silent.`,
+        hint: "Inspect the offending sessions: 'aitne audit --type routine.evening_review " +
+            "--since 30d --detail' and cross-reference notification_log timestamps. " +
+            "Likely cause: the prompt regressed and reintroduced a Step-4-style " +
+            "user-facing wrap-up.",
+        data,
+    };
+}
+// ─────────────────────────────────────────────────────────────────────────
+// Helpers
+// ─────────────────────────────────────────────────────────────────────────
+/**
+ * Pre-read inspection of `routines/evening.md` that surfaces detail the
+ * boolean predicate doesn't expose (heading count, indeterminate state).
+ *
+ * The daemon's predicate (`eveningRulebookIsActive`) is canonical and
+ * the caller overlays its boolean answer on top of this inspection's
+ * state — see `runEveningReviewSlimdownChecks`. The split exists because
+ * the predicate intentionally collapses unreadable / absent / empty
+ * into a single `false`, which is the right runtime answer but loses
+ * the diagnostic detail the verify report needs.
+ */
+export function inspectRulebook(contextDir) {
+    const rulebookPath = join(contextDir, CONTEXT_RELATIVE_PATHS.routines.evening);
+    if (!existsSync(rulebookPath)) {
+        return { state: "absent", predicateActive: false, headingCount: 0 };
+    }
+    let body;
+    try {
+        body = readFileSync(rulebookPath, "utf-8");
+    }
+    catch {
+        // The daemon predicate also returns false on unreadable; we mark
+        // `null` to let the verify renderer surface "indeterminate" rather
+        // than implying the predicate decided "inactive".
+        return { state: "unreadable", predicateActive: null, headingCount: 0 };
+    }
+    if (body.trim().length === 0) {
+        return { state: "empty", predicateActive: false, headingCount: 0 };
+    }
+    if (!/^###\s+/m.test(body)) {
+        return { state: "no_headings", predicateActive: false, headingCount: 0 };
+    }
+    // The `?? []` cannot fire — we guarded with a `^###\s+` test above,
+    // so `match()` returns at least one capture. Defensive only.
+    /* c8 ignore next */
+    const headings = (body.match(/^###\s+.+$/gm) ?? []).length;
+    return { state: "active", predicateActive: true, headingCount: headings };
+}
+/**
+ * Best-effort install age proxy: the oldest agent_actions row.
+ *
+ * Returns the floor in agent-days, capped at 365 so a long-running
+ * install doesn't widen the verification window past Phase 4's intent.
+ * Returns 1 when the table is empty (a fresh install has no history;
+ * clamping prevents "0-day window" arithmetic downstream) — that 1
+ * also drives the fresh-install softening in the cron-freshness check.
+ */
+export function readInstallAgeDays(db) {
+    const row = db
+        .prepare(`SELECT julianday('now') - julianday(MIN(started_at)) AS age_days
+         FROM agent_actions`)
+        .get();
+    const age = Number(row?.age_days);
+    if (!Number.isFinite(age) || age < 1)
+        return 1;
+    return Math.min(365, Math.floor(age) + 1);
+}
+/**
+ * Returns YYYY-MM-DD strings from `now - windowDays + 1` up to `now` in
+ * the host's local timezone. Used to enumerate which agent-days the
+ * cron freshness check expects a row for.
+ */
+export function expectedDaySet(now, windowDays) {
+    const out = [];
+    for (let i = windowDays - 1; i >= 0; i--) {
+        const d = new Date(now.getFullYear(), now.getMonth(), now.getDate() - i);
+        out.push(formatYmd(d));
+    }
+    return out;
+}
+function formatYmd(date) {
+    const y = date.getFullYear();
+    const m = String(date.getMonth() + 1).padStart(2, "0");
+    const d = String(date.getDate()).padStart(2, "0");
+    return `${y}-${m}-${d}`;
+}
+function roundOrNull(value) {
+    // Distinguish "SQL AVG returned NULL because all input rows had NULL"
+    // from "SQL AVG returned 0 because every row was 0" — both are valid
+    // states the verify report needs to surface differently.
+    if (value === null || value === undefined)
+        return null;
+    const n = Number(value);
+    // SQLite always returns numbers for these aggregates; the !isFinite
+    // guard is defensive against a future call site passing a string.
+    /* c8 ignore next */
+    if (!Number.isFinite(n))
+        return null;
+    return Math.round(n);
+}
+function numericOrNull(value) {
+    if (value === null || value === undefined)
+        return null;
+    const n = Number(value);
+    /* c8 ignore next */
+    if (!Number.isFinite(n))
+        return null;
+    return n;
+}
+function roundCost(value) {
+    const n = Number(value);
+    // Number(null/undefined) → 0 / NaN, both handled by the same guard
+    // below. Reachability tested via the n=0 path; the genuine NaN
+    // branch is defensive.
+    /* c8 ignore next */
+    if (!Number.isFinite(n))
+        return 0;
+    return Math.round(n * 1000) / 1000;
+}
+function formatTokens(value) {
+    if (value == null)
+        return "—";
+    if (value >= 1000)
+        return `${(value / 1000).toFixed(1)}k`;
+    return String(value);
+}
+/**
+ * iCloud-Drive Obsidian vaults live under
+ * `~/Library/Mobile Documents/iCloud~md~obsidian/Documents/...` and are
+ * gated by macOS Full Disk Access. The daemon (launched via the agent
+ * lifecycle) typically inherits the grant; the CLI invoked from a fresh
+ * Terminal session does not. The hint distinguishes that from a true
+ * permission failure so the operator knows where to look first.
+ */
+function looksLikeIcloudPath(p) {
+    return /\/Library\/Mobile Documents\/iCloud~/.test(p);
+}
+/**
+ * Resolve the context directory the same way the daemon's
+ * `getContextDir(config, db)` does, but reading from the raw `settings`
+ * table so the CLI doesn't need to construct a full AgentConfig.
+ *
+ * The three-branch contract mirrors `config.ts:getContextDir` exactly:
+ *
+ *   1. plain mode → `<dataDir>/context`
+ *   2. obsidian mode + configured `primaryVaultPath` + NOT degraded → the
+ *      configured vault path
+ *   3. obsidian mode + degraded (vault currently unreachable) → fall
+ *      back to `<dataDir>/context`, matching what the daemon's runtime
+ *      actually reads from while degraded
+ *
+ * Without (3) the verify CLI would evaluate the rulebook predicate
+ * against an unreadable vault path while the daemon evaluates it against
+ * the fallback — silently inverting the §3.5 cross-backend parity claim
+ * during exactly the time a verify report is most likely to be run
+ * (operator investigating why the agent is acting strangely).
+ *
+ * Settings values are JSON-encoded in the `settings` table. Corrupt /
+ * unparseable JSON is treated as "not configured" rather than throwing —
+ * a verify report should never fail because a single setting row is
+ * malformed; the daemon's `parseJsonOrDefault` has the same posture.
+ *
+ * Tilde-expansion (`~/Foo`) of `primaryVaultPath` matches
+ * `normalizeRuntimeSettings` in `config.ts`. In practice the setup
+ * wizard stores absolute paths, but this defends against a manually-set
+ * value in the settings table (and against any future writer that
+ * forgets to expand).
+ */
+export function resolveContextDirFromDb(db, dataDir) {
+    const get = (key) => {
+        try {
+            const row = db
+                .prepare("SELECT value_json FROM settings WHERE key = ?")
+                .get(key);
+            if (!row?.value_json)
+                return null;
+            return JSON.parse(row.value_json);
+        }
+        catch {
+            return null;
+        }
+    };
+    const vaultMode = get("vaultMode");
+    const rawPrimaryVaultPath = get("primaryVaultPath");
+    const primaryVaultPath = typeof rawPrimaryVaultPath === "string" && rawPrimaryVaultPath.length > 0
+        ? expandTilde(rawPrimaryVaultPath)
+        : null;
+    if (vaultMode === "obsidian" &&
+        primaryVaultPath !== null &&
+        !isDegradedFromDb(db)) {
+        return primaryVaultPath;
+    }
+    return join(dataDir, "context");
+}
+function expandTilde(p) {
+    if (p.startsWith("~/") || p.startsWith("~\\")) {
+        return resolve(homedir(), p.slice(2));
+    }
+    return p;
+}
+/**
+ * Mirror of `isDegraded(db)` from `db/runtime-state.ts`, inlined so the
+ * CLI doesn't need to import the full runtime-state module (which pulls
+ * in the daemon's logger). Same key, same shape: a non-null
+ * `runtime_state.value_json` for the degraded marker means degraded.
+ */
+function isDegradedFromDb(db) {
+    try {
+        const row = db
+            .prepare("SELECT value_json FROM runtime_state WHERE key = ?")
+            .get("management_mode.degraded");
+        if (!row?.value_json)
+            return false;
+        // Treat any parse error as "not degraded" — same posture as
+        // readRuntimeState's corrupt-row fallback in runtime-state.ts. The
+        // verify report should not crash because the degraded marker is
+        // malformed; the worst case is identical to "no degraded marker".
+        try {
+            return JSON.parse(row.value_json) !== null;
+        }
+        catch {
+            return false;
+        }
+        // Outer guard against a DB error on the runtime_state SELECT — the
+        // table is created by applySchema before this CLI ever runs, so the
+        // realistic reach paths (DB locked mid-shutdown, file corruption)
+        // are out of scope for the verify report. Same posture as the
+        // surrounding helper's defensive catches.
+        /* c8 ignore next 3 */
+    }
+    catch {
+        return false;
+    }
+}
+//# sourceMappingURL=evening-review-verify.js.map

package/dist/core/evening-review-verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evening-review-verify.js","sourceRoot":"","sources":["../../src/core/evening-review-verify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAI1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EACL,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AAE9B,6EAA6E;AAC7E,MAAM,CAAC,MAAM,kCAAkC,GAAG,GAAG,CAAC;AACtD,MAAM,CAAC,MAAM,iCAAiC,GAAG,EAAE,CAAC;AACpD,uEAAuE;AACvE,MAAM,CAAC,MAAM,wBAAwB,GAAG,GAAG,CAAC;AA+C5C,MAAM,UAAU,8BAA8B,CAC5C,IAAmB;IAEnB,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IAChC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;IAC/C,MAAM,cAAc,GAAG,kBAAkB,CAAC,EAAE,CAAC,CAAC;IAE9C,MAAM,QAAQ,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC7C,uEAAuE;IACvE,mEAAmE;IACnE,4DAA4D;IAC5D,IAAI,QAAQ,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;QACpC,QAAQ,CAAC,eAAe,GAAG,uBAAuB,CAAC,UAAU,CAAC,CAAC;IACjE,CAAC;IAED,MAAM,MAAM,GAAiC;QAC3C,uBAAuB,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC;QAChE,+BAA+B,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC;QACnD,0BAA0B,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;QACpD,yBAAyB,CAAC,EAAE,EAAE;YAC5B,cAAc;YACd,cAAc,EAAE,QAAQ,CAAC,eAAe;SACzC,CAAC;KACH,CAAC;IAEF,OAAO;QACL,MAAM;QACN,OAAO,EAAE;YACP,KAAK,EAAE,MAAM,CAAC,MAAM;YACpB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM;YACxD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM;YACxD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM;YACxD,UAAU;YACV,cAAc;YACd,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE;SAC/B;KACF,CAAC;AACJ,CAAC;AAaD,MAAM,UAAU,uBAAuB,CACrC,EAAqB,EACrB,IAA+D;IAE/D,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CACN;;;;;;;;0BAQoB,CACrB;SACA,GAAG,CAAC,IAAI,YAAY,OAAO,CAK1B,CAAC;IAEL,MAAM,OAAO,GAAG,EAAE;SACf,OAAO,CACN;;;;gBAIU,CACX;SACA,GAAG,EAA8E,CAAC;IAErF,MAAM,eAAe,GAAG,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IAC/D,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzE,qEAAqE;IACrE,sEAAsE;IACtE,iEAAiE;IACjE,kEAAkE;IAClE,iEAAiE;IACjE,qEAAqE;IACrE,oEAAoE;IACpE,8CAA8C;IAC9C,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;IAEhE,MAAM,IAAI,GAAsB;QAC9B,UAAU,EAAE,YAAY;QACxB,WAAW,EAAE,WAAW;QACxB,WAAW,EAAE,WAAW;QACxB,UAAU;QACV,SAAS,EAAE,OAAO,EAAE,UAAU,IAAI,IAAI;QACtC,aAAa,EAAE,OAAO,EAAE,MAAM,IAAI,IAAI;KACvC,CAAC;IAEF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,mEAAmE;QACnE,gEAAgE;QAChE,6CAA6C;QAC7C,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QAChD,OAAO;YACL,EAAE,EAAE,sBAAsB;YAC1B,KAAK,EAAE,gCAAgC;YACvC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YACxC,MAAM,EAAE,cAAc;gBACpB,CAAC,CAAC,iCAAiC,IAAI,CAAC,cAAc,4CAA4C;gBAClG,CAAC,CAAC,wDAAwD,YAAY,UAAU;YAClF,IAAI,EACF,iEAAiE;gBACjE,8DAA8D;YAChE,IAAI;SACL,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACnB,OAAO;YACL,EAAE,EAAE,sBAAsB;YAC1B,KAAK,EAAE,gCAAgC;YACvC,MAAM,EAAE,MAAM;YACd,MAAM,EACJ,GAAG,WAAW,IAAI,YAAY,0BAA0B,UAAU,qBAAqB;gBACvF,+DAA+D;gBAC/D,8DAA8D;gBAC9D,+DAA+D;gBAC/D,SAAS;gBACT,oBAAoB;gBACpB,iCAAiC,OAAO,EAAE,MAAM,IAAI,GAAG,GAAG;YAC5D,IAAI,EACF,2EAA2E;gBAC3E,uCAAuC;YACzC,IAAI;SACL,CAAC;IACJ,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO;YACL,EAAE,EAAE,sBAAsB;YAC1B,KAAK,EAAE,gCAAgC;YACvC,MAAM,EAAE,MAAM;YACd,MAAM,EACJ,GAAG,WAAW,IAAI,YAAY,sBAAsB;gBACpD,YAAY,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACvC,IAAI,EACF,sEAAsE;gBACtE,0EAA0E;gBAC1E,eAAe;YACjB,IAAI;SACL,CAAC;IACJ,CAAC;IACD,OAAO;QACL,EAAE,EAAE,sBAAsB;QAC1B,KAAK,EAAE,gCAAgC;QACvC,MAAM,EAAE,MAAM;QACd,oEAAoE;QACpE,wCAAwC;QACxC,oBAAoB;QACpB,MAAM,EAAE,GAAG,WAAW,IAAI,YAAY,6BAA6B,OAAO,EAAE,UAAU,IAAI,GAAG,MAAM,OAAO,EAAE,MAAM,IAAI,GAAG,GAAG;QAC5H,IAAI;KACL,CAAC;AACJ,CAAC;AAoBD,MAAM,UAAU,+BAA+B,CAC7C,EAAqB,EACrB,IAA4B;IAE5B,MAAM,KAAK,GAAG,EAAE;SACb,OAAO,CACN;;;;;;;;;;;;;+CAayC,CAC1C;SACA,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,OAAO,CAWlB,CAAC;IAEhB,kEAAkE;IAClE,mDAAmD;IACnD,oBAAoB;IACpB,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAChC,MAAM,IAAI,GAAsB;QAC9B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,QAAQ,EAAE,CAAC;QACX,cAAc,EAAE,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC;QAC1C,cAAc,EAAE,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC;QAC5C,eAAe,EAAE,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC;QAC5C,eAAe,EAAE,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC;QAC9C,kBAAkB,EAAE,WAAW,CAAC,KAAK,EAAE,cAAc,CAAC;QACtD,UAAU,EAAE,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC;QACtC,UAAU,EAAE,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC;QACtC,WAAW,EAAE,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC;QAC1C,WAAW,EAAE,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC;QAC5C,iBAAiB,EAAE,kCAAkC;QACrD,gBAAgB,EAAE,iCAAiC;KACpD,CAAC;IAEF,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACZ,OAAO;YACL,EAAE,EAAE,+BAA+B;YACnC,KAAK,EAAE,iCAAiC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,iDAAiD,IAAI,CAAC,UAAU,UAAU;YAClF,IAAI,EACF,yEAAyE;gBACzE,sEAAsE;gBACtE,wBAAwB;YAC1B,IAAI;SACL,CAAC;IACJ,CAAC;IAED,oEAAoE;IACpE,oEAAoE;IACpE,mEAAmE;IACnE,oEAAoE;IACpE,4CAA4C;IAC5C,MAAM,WAAW,GACf,IAAI,CAAC,UAAU,IAAI,kCAAkC,GAAG,wBAAwB,CAAC;IACnF,MAAM,YAAY,GAChB,IAAI,CAAC,WAAW,KAAK,IAAI;QACzB,IAAI,CAAC,WAAW,IAAI,iCAAiC,GAAG,wBAAwB,CAAC;IAEnF,IAAI,WAAW,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG;YACZ,WAAW;gBACT,CAAC,CAAC,aAAa,IAAI,CAAC,UAAU,MAAM,wBAAwB,GAAG,GAAG,SAAS,kCAAkC,MAAM;gBACnH,CAAC,CAAC,IAAI;YACR,YAAY;gBACV,CAAC,CAAC,aAAa,IAAI,CAAC,WAAW,MAAM,wBAAwB,GAAG,GAAG,QAAQ,iCAAiC,MAAM;gBAClH,CAAC,CAAC,IAAI;SACT,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAClB,OAAO;YACL,EAAE,EAAE,+BAA+B;YACnC,KAAK,EAAE,iCAAiC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,GAAG,CAAC,iBAAiB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,oCAAoC;YACjF,IAAI,EACF,yEAAyE;gBACzE,2EAA2E;gBAC3E,mEAAmE;gBACnE,iEAAiE;YACnE,IAAI;SACL,CAAC;IACJ,CAAC;IAED,OAAO;QACL,EAAE,EAAE,+BAA+B;QACnC,KAAK,EAAE,iCAAiC;QACxC,MAAM,EAAE,MAAM;QACd,MAAM,EACJ,GAAG,CAAC,2BAA2B,YAAY,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK;YACrE,UAAU,YAAY,CAAC,IAAI,CAAC,eAAe,CAAC,YAAY,IAAI,CAAC,UAAU,GAAG;YAC1E,6DAA6D;YAC7D,gEAAgE;YAChE,gEAAgE;YAChE,SAAS;YACT,KAAK,IAAI,CAAC,WAAW,IAAI,GAAG,4BAA4B;QAC1D,IAAI;KACL,CAAC;AACJ,CAAC;AAcD,MAAM,UAAU,0BAA0B,CAAC,IAG1C;IACC,MAAM,YAAY,GAAG,IAAI,CACvB,IAAI,CAAC,UAAU,EACf,sBAAsB,CAAC,QAAQ,CAAC,OAAO,CACxC,CAAC;IACF,qEAAqE;IACrE,oEAAoE;IACpE,iEAAiE;IACjE,4CAA4C;IAC5C,oBAAoB;IACpB,MAAM,YAAY,GAAG,gBAAgB,CAAC,wBAAwB,CAAC,IAAI,EAAE,CAAC;IACtE,MAAM,gBAAgB,GAAG,IAAI,CAAC,QAAQ,CAAC,eAAe;QACpD,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC;QACnB,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;IAE/C,MAAM,IAAI,GAAmB;QAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,YAAY;QACZ,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK;QAClC,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY;QAChD,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe;QAC9C,kBAAkB,EAAE,gBAAgB,CAAC,MAAM;QAC3C,gBAAgB;KACjB,CAAC;IAEF,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,mBAAmB,CAAC,YAAY,CAAC;YAC5C,CAAC,CAAC,uEAAuE;gBACvE,uEAAuE;gBACvE,sEAAsE;gBACtE,gEAAgE;gBAChE,8DAA8D;YAChE,CAAC,CAAC,yEAAyE;gBACzE,uEAAuE;gBACvE,mEAAmE;gBACnE,2CAA2C,CAAC;QAChD,OAAO;YACL,EAAE,EAAE,yBAAyB;YAC7B,KAAK,EAAE,gDAAgD;YACvD,MAAM,EAAE,MAAM;YACd,MAAM,EACJ,YAAY,YAAY,8CAA8C;gBACtE,yEAAyE;YAC3E,IAAI;YACJ,IAAI;SACL,CAAC;IACJ,CAAC;IAED,OAAO;QACL,EAAE,EAAE,yBAAyB;QAC7B,KAAK,EAAE,gDAAgD;QACvD,MAAM,EAAE,MAAM;QACd,MAAM,EACJ,YAAY,IAAI,CAAC,QAAQ,CAAC,KAAK,KAAK;YACpC,GAAG,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,YAAY;YAC9D,GAAG,gBAAgB,CAAC,MAAM,oBAAoB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAC/E,IAAI;KACL,CAAC;AACJ,CAAC;AAkBD,MAAM,UAAU,yBAAyB,CACvC,EAAqB,EACrB,IAAgE;IAEhE,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;IAElE,MAAM,QAAQ,GAAG,EAAE;SAChB,OAAO,CACN;;;;;;;;;mCAS6B,CAC9B;SACA,GAAG,CAAC,IAAI,UAAU,OAAO,CAKxB,CAAC;IAEL,MAAM,kBAAkB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9E,MAAM,aAAa,GAAG,kBAAkB,CAAC,MAAM;IAC7C,kEAAkE;IAClE,8CAA8C;IAC9C,oBAAoB;IACpB,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,EAC7C,CAAC,CACF,CAAC;IAEF,MAAM,IAAI,GAA0B;QAClC,UAAU;QACV,QAAQ,EAAE,QAAQ,CAAC,MAAM;QACzB,kBAAkB,EAAE,kBAAkB,CAAC,MAAM;QAC7C,aAAa;QACb,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,OAAO,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAClD,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,SAAS,EAAE,CAAC,CAAC,UAAU;YACvB,WAAW,EAAE,CAAC,CAAC,YAAY;YAC3B,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC;SACpC,CAAC,CAAC;KACJ,CAAC;IAEF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,EAAE,EAAE,wBAAwB;YAC5B,KAAK,EAAE,iCAAiC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,0CAA0C,UAAU,8BAA8B;YAC1F,IAAI,EACF,sEAAsE;gBACtE,yEAAyE;YAC3E,IAAI;SACL,CAAC;IACJ,CAAC;IACD,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,EAAE,EAAE,wBAAwB;YAC5B,KAAK,EAAE,iCAAiC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EACJ,GAAG,QAAQ,CAAC,MAAM,yCAAyC;gBAC3D,CAAC,IAAI,CAAC,cAAc,KAAK,IAAI;oBAC3B,CAAC,CAAC,8EAA8E;oBAChF,CAAC,CAAC,IAAI,CAAC,cAAc,KAAK,KAAK;wBAC7B,CAAC,CAAC,kEAAkE;wBACpE,CAAC,CAAC,uEAAuE,CAAC;YAChF,IAAI;SACL,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;QACjC,OAAO;YACL,EAAE,EAAE,wBAAwB;YAC5B,KAAK,EAAE,iCAAiC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EACJ,GAAG,kBAAkB,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,sBAAsB;gBACrE,GAAG,aAAa,kDAAkD;gBAClE,sCAAsC;YACxC,IAAI,EACF,yEAAyE;gBACzE,8EAA8E;gBAC9E,+DAA+D;YACjE,IAAI;SACL,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QACxB,OAAO;YACL,EAAE,EAAE,wBAAwB;YAC5B,KAAK,EAAE,iCAAiC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EACJ,GAAG,kBAAkB,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,sBAAsB;gBACrE,GAAG,aAAa,wDAAwD;gBACxE,uBAAuB;YACzB,IAAI;SACL,CAAC;IACJ,CAAC;IACD,OAAO;QACL,EAAE,EAAE,wBAAwB;QAC5B,KAAK,EAAE,iCAAiC;QACxC,MAAM,EAAE,MAAM;QACd,MAAM,EACJ,GAAG,kBAAkB,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,sBAAsB;YACrE,GAAG,aAAa,kDAAkD;YAClE,kCAAkC;QACpC,IAAI,EACF,6EAA6E;YAC7E,yEAAyE;YACzE,qEAAqE;YACrE,sBAAsB;QACxB,IAAI;KACL,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,UAAU;AACV,4EAA4E;AAE5E;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAAC,UAAkB;IAChD,MAAM,YAAY,GAAG,IAAI,CACvB,UAAU,EACV,sBAAsB,CAAC,QAAQ,CAAC,OAAO,CACxC,CAAC;IACF,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IACtE,CAAC;IACD,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,iEAAiE;QACjE,mEAAmE;QACnE,kDAAkD;QAClD,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IACzE,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IACrE,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,eAAe,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IAC3E,CAAC;IACD,oEAAoE;IACpE,6DAA6D;IAC7D,oBAAoB;IACpB,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IAC3D,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;AAC5E,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,EAAqB;IACtD,MAAM,GAAG,GAAG,EAAE;SACX,OAAO,CACN;4BACsB,CACvB;SACA,GAAG,EAA6C,CAAC;IACpD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAClC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,GAAS,EAAE,UAAkB;IAC1D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,UAAU,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,GAAG,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;QACzE,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,SAAS,CAAC,IAAU;IAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACvD,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAClD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,WAAW,CAAC,KAAgC;IACnD,sEAAsE;IACtE,qEAAqE;IACrE,yDAAyD;IACzD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACxB,oEAAoE;IACpE,kEAAkE;IAClE,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,aAAa,CAAC,KAAgC;IACrD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACxB,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,SAAS,CAAC,KAAgC;IACjD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACxB,mEAAmE;IACnE,+DAA+D;IAC/D,uBAAuB;IACvB,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAClC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;AACrC,CAAC;AAED,SAAS,YAAY,CAAC,KAAoB;IACxC,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,GAAG,CAAC;IAC9B,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAC1D,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,mBAAmB,CAAC,CAAS;IACpC,OAAO,sCAAsC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,UAAU,uBAAuB,CACrC,EAAqB,EACrB,OAAe;IAEf,MAAM,GAAG,GAAG,CAAC,GAAW,EAAW,EAAE;QACnC,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,EAAE;iBACX,OAAO,CAAC,+CAA+C,CAAC;iBACxD,GAAG,CAAC,GAAG,CAAuC,CAAC;YAClD,IAAI,CAAC,GAAG,EAAE,UAAU;gBAAE,OAAO,IAAI,CAAC;YAClC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAY,CAAC;QAC/C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC;IACnC,MAAM,mBAAmB,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAAC;IACpD,MAAM,gBAAgB,GACpB,OAAO,mBAAmB,KAAK,QAAQ,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC;QACvE,CAAC,CAAC,WAAW,CAAC,mBAAmB,CAAC;QAClC,CAAC,CAAC,IAAI,CAAC;IACX,IACE,SAAS,KAAK,UAAU;QACxB,gBAAgB,KAAK,IAAI;QACzB,CAAC,gBAAgB,CAAC,EAAE,CAAC,EACrB,CAAC;QACD,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IACD,OAAO,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,WAAW,CAAC,CAAS;IAC5B,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9C,OAAO,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,EAAqB;IAC7C,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,EAAE;aACX,OAAO,CAAC,oDAAoD,CAAC;aAC7D,GAAG,CAAC,0BAA0B,CAEpB,CAAC;QACd,IAAI,CAAC,GAAG,EAAE,UAAU;YAAE,OAAO,KAAK,CAAC;QACnC,4DAA4D;QAC5D,mEAAmE;QACnE,gEAAgE;QAChE,kEAAkE;QAClE,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC;QAC7C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;QACD,mEAAmE;QACnE,oEAAoE;QACpE,kEAAkE;QAClE,8DAA8D;QAC9D,0CAA0C;QAC1C,sBAAsB;IACxB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}