instar 1.3.712 → 1.3.714

package/dist/core/ScopeAccretionCorroboration.d.ts

@@ -0,0 +1,79 @@
+/**
+ * ScopeAccretionCorroboration — per-class deterministic "built/delivered"
+ * evidence, computed server-side at judge-fire time.
+ *
+ * Spec: docs/specs/autonomous-scope-accretion-completion.md §2.5
+ * (R21/R22/R32/R33/R34). An accreted deliverable clears ONLY by:
+ *   - spec class: the convergence REPORT artifact + a server-recorded
+ *     conformance-check invocation inside the run window (R32), OR a merged PR
+ *     passing the exact predicate (R33);
+ *   - audit/runbook/incident doc: a merged PR containing the file (own-file
+ *     rule relaxed for a doc whose deliverable IS the doc);
+ *   - script: a merged PR touching the script path;
+ *   - the local-git POSITIVE-ONLY shortcut (R34): the path verifiably landed on
+ *     `origin/main` after the start SHA — may CLEAR, never used to refuse.
+ *
+ * Cost discipline (R22): ONE batched `gh` query per evaluation, 10s total
+ * budget; positives are persisted by the caller (monotone); negatives carry a
+ * 5-minute TTL. A network failure leaves artifacts uncorroborated (fail toward
+ * keep-working) with `degraded: true` named in the judge context.
+ */
+import type { AccretedArtifact } from './ScopeAccretionSweep.js';
+export interface MergedPrFile {
+    path: string;
+    additions: number;
+    deletions: number;
+}
+export interface MergedPr {
+    number: number;
+    files: MergedPrFile[];
+}
+export interface CorroborationDeps {
+    /** Bounded `gh` runner — throws on failure/timeout. */
+    runGh: (args: string[], timeoutMs: number) => string;
+    /** SafeGitExecutor.readSync shape. */
+    readGit: (args: string[], cwd: string, timeoutMs?: number) => string;
+    fsExists: (p: string) => boolean;
+    /** Server-recorded ceremony evidence lookup (R32). */
+    conformanceInvocationsInWindow: (slug: string, startIso: string, endIso: string) => number;
+    now?: () => number;
+    /** Total gh budget in ms (default 10000, R22). */
+    ghBudgetMs?: number;
+}
+export interface CorroborationInput {
+    artifacts: AccretedArtifact[];
+    /** Paths already persisted as corroborated (monotone — skipped here). */
+    alreadyCorroborated: Record<string, unknown>;
+    /** Paths under a fresh negative-TTL — external queries skipped for these. */
+    negativeCached: Set<string>;
+    startedAt: string;
+    workDir: string;
+}
+export interface CorroborationResult {
+    /** Newly-cleared paths → evidence (the caller persists these, monotone). */
+    cleared: Record<string, {
+        by: string;
+        detail?: string;
+    }>;
+    /** Paths that were queried and NOT cleared (the caller stamps the 5-min TTL). */
+    newNegatives: string[];
+    /** gh/network failure — artifacts stay uncorroborated, named in judge context. */
+    degraded: boolean;
+}
+/** Spec slug from an artifact path (`docs/specs/foo-bar.md` → `foo-bar`). */
+export declare function specSlugFromPath(relPath: string): string;
+/**
+ * The merged-PR predicate, defined exactly (R33): the PR's merged diff includes
+ * the artifact's path AND ≥1 non-`docs/**` path with a combined non-docs diff
+ * of ≥10 changed lines. An artifact's own file NEVER corroborates itself; a
+ * docs-only PR NEVER corroborates a spec. `relaxOwnFile` covers the doc-whose-
+ * deliverable-IS-the-doc classes (audit/runbook/incident/script): the merged PR
+ * containing the file suffices.
+ */
+export declare function mergedPrSatisfiesPredicate(pr: MergedPr, artifactPath: string, relaxOwnFile: boolean): boolean;
+export declare function resolveCorroboration(input: CorroborationInput, deps: CorroborationDeps): CorroborationResult;
+export interface CorroborationInputWithShas extends CorroborationInput {
+    /** path.resolve(root) → start SHA, for the local-git shortcut. */
+    artifactStartShas: Record<string, string | null>;
+}
+//# sourceMappingURL=ScopeAccretionCorroboration.d.ts.map

package/dist/core/ScopeAccretionCorroboration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ScopeAccretionCorroboration.d.ts","sourceRoot":"","sources":["../../src/core/ScopeAccretionCorroboration.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,YAAY,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,iBAAiB;IAChC,uDAAuD;IACvD,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC;IACrD,sCAAsC;IACtC,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC;IACrE,QAAQ,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC;IACjC,sDAAsD;IACtD,8BAA8B,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC;IAC3F,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB,kDAAkD;IAClD,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,gBAAgB,EAAE,CAAC;IAC9B,yEAAyE;IACzE,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7C,6EAA6E;IAC7E,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,mBAAmB;IAClC,4EAA4E;IAC5E,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,iFAAiF;IACjF,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,kFAAkF;IAClF,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,6EAA6E;AAC7E,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAExD;AAED;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CAAC,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,GAAG,OAAO,CAQ7G;AAwCD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,iBAAiB,GAAG,mBAAmB,CA2E5G;AAWD,MAAM,WAAW,0BAA2B,SAAQ,kBAAkB;IACpE,kEAAkE;IAClE,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;CAClD"}

package/dist/core/ScopeAccretionCorroboration.js

@@ -0,0 +1,159 @@
+/**
+ * ScopeAccretionCorroboration — per-class deterministic "built/delivered"
+ * evidence, computed server-side at judge-fire time.
+ *
+ * Spec: docs/specs/autonomous-scope-accretion-completion.md §2.5
+ * (R21/R22/R32/R33/R34). An accreted deliverable clears ONLY by:
+ *   - spec class: the convergence REPORT artifact + a server-recorded
+ *     conformance-check invocation inside the run window (R32), OR a merged PR
+ *     passing the exact predicate (R33);
+ *   - audit/runbook/incident doc: a merged PR containing the file (own-file
+ *     rule relaxed for a doc whose deliverable IS the doc);
+ *   - script: a merged PR touching the script path;
+ *   - the local-git POSITIVE-ONLY shortcut (R34): the path verifiably landed on
+ *     `origin/main` after the start SHA — may CLEAR, never used to refuse.
+ *
+ * Cost discipline (R22): ONE batched `gh` query per evaluation, 10s total
+ * budget; positives are persisted by the caller (monotone); negatives carry a
+ * 5-minute TTL. A network failure leaves artifacts uncorroborated (fail toward
+ * keep-working) with `degraded: true` named in the judge context.
+ */
+import * as path from 'path';
+/** Spec slug from an artifact path (`docs/specs/foo-bar.md` → `foo-bar`). */
+export function specSlugFromPath(relPath) {
+    return path.basename(relPath).replace(/\.md$/, '');
+}
+/**
+ * The merged-PR predicate, defined exactly (R33): the PR's merged diff includes
+ * the artifact's path AND ≥1 non-`docs/**` path with a combined non-docs diff
+ * of ≥10 changed lines. An artifact's own file NEVER corroborates itself; a
+ * docs-only PR NEVER corroborates a spec. `relaxOwnFile` covers the doc-whose-
+ * deliverable-IS-the-doc classes (audit/runbook/incident/script): the merged PR
+ * containing the file suffices.
+ */
+export function mergedPrSatisfiesPredicate(pr, artifactPath, relaxOwnFile) {
+    const containsArtifact = pr.files.some((f) => f.path === artifactPath);
+    if (!containsArtifact)
+        return false;
+    if (relaxOwnFile)
+        return true;
+    const nonDocs = pr.files.filter((f) => !f.path.startsWith('docs/') && f.path !== artifactPath);
+    if (nonDocs.length < 1)
+        return false;
+    const changedLines = nonDocs.reduce((sum, f) => sum + (f.additions || 0) + (f.deletions || 0), 0);
+    return changedLines >= 10;
+}
+function isSpecClass(relPath) {
+    return /^docs\/specs\/.+\.md$/.test(relPath) && !/\.eli16\.md$/.test(relPath);
+}
+function isRelaxedDocClass(relPath) {
+    return (/^docs\/audits\/.+\.md$/.test(relPath) ||
+        /^docs\/incidents\/.+\.md$/.test(relPath) ||
+        /(^|\/)[^/]*runbook[^/]*\.md$/i.test(relPath) ||
+        /^scripts\//.test(relPath));
+}
+/**
+ * Fetch merged PRs since the run start with ONE batched query (R22).
+ * `gh pr list --state merged --search "merged:><date>" --json number,files`.
+ */
+function fetchMergedPrs(deps, startedAt, budgetMs) {
+    try {
+        const day = (startedAt || '').slice(0, 10) || new Date().toISOString().slice(0, 10);
+        const raw = deps.runGh(['pr', 'list', '--state', 'merged', '--search', `merged:>=${day}`, '--json', 'number,files', '--limit', '50'], budgetMs);
+        const parsed = JSON.parse(raw);
+        if (!Array.isArray(parsed))
+            return null;
+        return parsed.map((p) => ({
+            number: p.number,
+            files: (p.files ?? []).map((f) => ({ path: f.path, additions: f.additions ?? 0, deletions: f.deletions ?? 0 })),
+        }));
+    }
+    catch {
+        /* @silent-fallback-ok — a gh/network failure leaves artifacts uncorroborated
+           with `degraded: true` NAMED in the judge context (R22): fail toward
+           keep-working, never a wedge and never a false done. */
+        return null;
+    }
+}
+export function resolveCorroboration(input, deps) {
+    const now = deps.now ?? (() => Date.now());
+    const t0 = now();
+    const ghBudget = deps.ghBudgetMs ?? 10_000;
+    const cleared = {};
+    const newNegatives = [];
+    let degraded = false;
+    const pending = input.artifacts.filter((a) => a.cls === 'deliverable' && !input.alreadyCorroborated[a.path]);
+    if (pending.length === 0)
+        return { cleared, newNegatives, degraded };
+    // Evidence-source separation (R34): gh is the merged-PR authority; local git
+    // is a POSITIVE-ONLY shortcut. Compute the cheap local arms first.
+    let mergedPrs = null;
+    let ghAttempted = false;
+    const nowIso = new Date(now()).toISOString();
+    for (const a of pending) {
+        // Arm (a) for the spec class: report + server-recorded ceremony evidence (R32).
+        if (isSpecClass(a.path)) {
+            const slug = specSlugFromPath(a.path);
+            const reportRel = `docs/specs/reports/${slug}-convergence.md`;
+            const reportExists = deps.fsExists(path.join(a.root, reportRel)) || deps.fsExists(path.join(input.workDir, reportRel));
+            if (reportExists && deps.conformanceInvocationsInWindow(slug, input.startedAt, nowIso) >= 1) {
+                cleared[a.path] = { by: 'ceremony-report', detail: reportRel };
+                continue;
+            }
+        }
+        // Local-git positive-only shortcut (R34): commits reachable from origin/main
+        // as last fetched — fetch staleness only DELAYS clearing (safe direction).
+        const base = findStartSha(input, a);
+        if (base) {
+            try {
+                const out = deps.readGit(['log', `${base}..origin/main`, '--oneline', '--', a.path], a.root, 4000);
+                if (out.trim().length > 0) {
+                    cleared[a.path] = { by: 'local-git-origin-main' };
+                    continue;
+                }
+            }
+            catch {
+                /* @silent-fallback-ok — R34: the local shortcut is positive-only; absence or
+                   error falls through to the gh authority, never refuses. */
+            }
+        }
+        // Negative-TTL cache: skip the external query for fresh negatives (R22).
+        if (input.negativeCached.has(a.path))
+            continue;
+        // Merged-PR authority (gh) — ONE batched fetch per evaluation.
+        if (!ghAttempted) {
+            ghAttempted = true;
+            const left = ghBudget - (now() - t0);
+            if (left > 500) {
+                mergedPrs = fetchMergedPrs(deps, input.startedAt, Math.min(left, ghBudget));
+                if (mergedPrs === null)
+                    degraded = true;
+            }
+            else {
+                degraded = true;
+            }
+        }
+        if (mergedPrs) {
+            const relax = isRelaxedDocClass(a.path);
+            const hit = mergedPrs.find((pr) => mergedPrSatisfiesPredicate(pr, a.path, relax));
+            if (hit) {
+                cleared[a.path] = { by: 'merged-pr', detail: `#${hit.number}` };
+                continue;
+            }
+            newNegatives.push(a.path);
+        }
+        // gh degraded → leave uncorroborated with NO negative stamp (a network
+        // failure must not suppress the retry once gh recovers).
+    }
+    return { cleared, newNegatives, degraded };
+}
+function findStartSha(input, a) {
+    // The caller's record carries per-root SHAs; the sweep artifact only carries
+    // its root. We accept an injected resolution via input — for simplicity the
+    // route passes base-root SHAs through `artifactStartShas`.
+    const shas = input.artifactStartShas;
+    if (!shas)
+        return null;
+    return shas[path.resolve(a.root)] ?? null;
+}
+//# sourceMappingURL=ScopeAccretionCorroboration.js.map

package/dist/core/ScopeAccretionCorroboration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ScopeAccretionCorroboration.js","sourceRoot":"","sources":["../../src/core/ScopeAccretionCorroboration.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AA8C7B,6EAA6E;AAC7E,MAAM,UAAU,gBAAgB,CAAC,OAAe;IAC9C,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACrD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,0BAA0B,CAAC,EAAY,EAAE,YAAoB,EAAE,YAAqB;IAClG,MAAM,gBAAgB,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACvE,IAAI,CAAC,gBAAgB;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,YAAY;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IAC/F,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClG,OAAO,YAAY,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,WAAW,CAAC,OAAe;IAClC,OAAO,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAe;IACxC,OAAO,CACL,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC;QACtC,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC;QACzC,+BAA+B,CAAC,IAAI,CAAC,OAAO,CAAC;QAC7C,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAC3B,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CAAC,IAAuB,EAAE,SAAiB,EAAE,QAAgB;IAClF,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACpF,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CACpB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,GAAG,EAAE,EAAE,QAAQ,EAAE,cAAc,EAAE,SAAS,EAAE,IAAI,CAAC,EAC7G,QAAQ,CACT,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAuG,CAAC;QACrI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QACxC,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACxB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,CAAC;SAChH,CAAC,CAAC,CAAC;IACN,CAAC;IAAC,MAAM,CAAC;QACP;;iEAEyD;QACzD,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAyB,EAAE,IAAuB;IACrF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC;IACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,IAAI,MAAM,CAAC;IAC3C,MAAM,OAAO,GAAoD,EAAE,CAAC;IACpE,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,IAAI,QAAQ,GAAG,KAAK,CAAC;IAErB,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,aAAa,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CACrE,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;IAErE,6EAA6E;IAC7E,mEAAmE;IACnE,IAAI,SAAS,GAAsB,IAAI,CAAC;IACxC,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAE7C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,gFAAgF;QAChF,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACtC,MAAM,SAAS,GAAG,sBAAsB,IAAI,iBAAiB,CAAC;YAC9D,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;YACvH,IAAI,YAAY,IAAI,IAAI,CAAC,8BAA8B,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5F,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,iBAAiB,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;gBAC/D,SAAS;YACX,CAAC;QACH,CAAC;QAED,6EAA6E;QAC7E,2EAA2E;QAC3E,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACpC,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,eAAe,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACnG,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1B,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,uBAAuB,EAAE,CAAC;oBAClD,SAAS;gBACX,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP;6EAC6D;YAC/D,CAAC;QACH,CAAC;QAED,yEAAyE;QACzE,IAAI,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QAE/C,+DAA+D;QAC/D,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,WAAW,GAAG,IAAI,CAAC;YACnB,MAAM,IAAI,GAAG,QAAQ,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACrC,IAAI,IAAI,GAAG,GAAG,EAAE,CAAC;gBACf,SAAS,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;gBAC5E,IAAI,SAAS,KAAK,IAAI;oBAAE,QAAQ,GAAG,IAAI,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;QACD,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,0BAA0B,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YAClF,IAAI,GAAG,EAAE,CAAC;gBACR,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;gBAChE,SAAS;YACX,CAAC;YACD,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,uEAAuE;QACvE,yDAAyD;IAC3D,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,YAAY,CAAC,KAAyB,EAAE,CAAmB;IAClE,6EAA6E;IAC7E,4EAA4E;IAC5E,2DAA2D;IAC3D,MAAM,IAAI,GAAI,KAA0E,CAAC,iBAAiB,CAAC;IAC3G,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC;AAC5C,CAAC"}

package/dist/core/ScopeAccretionRatifier.d.ts

@@ -0,0 +1,93 @@
+/**
+ * ScopeAccretionRatifier — the conversational ratification path
+ * (proposal → server-authored enumeration → confirmation), consumed ONLY at
+ * the server's live Telegram receive path (R45).
+ *
+ * Spec: docs/specs/autonomous-scope-accretion-completion.md §2.6
+ * (R23/R37/R38/R45). Both the defer-vocabulary trigger detection AND the
+ * confirmation matching run as each inbound topic message passes through the
+ * server's own Telegram receive handling — the on-disk history JSONL is NOT
+ * part of the mechanism (a message the server did not itself receive from
+ * Telegram can never trigger or confirm). Matched events persist as
+ * server-owned records in the run record.
+ *
+ * Display integrity (Agent Proposes, Operator Approves): the operator approves
+ * a SERVER-authored statement whose displayed set is byte-identical to what
+ * executes — the enumeration is composed here, sent under the server's own bot
+ * credentials, and its message id recorded; a confirmation binds exactly the
+ * enumerated set via the message-id chain.
+ */
+import type { AutonomousRunStore, AutonomousRunRecord } from './AutonomousRunStore.js';
+export interface InboundReceiveEvent {
+    topicId: number;
+    text: string;
+    /** The AUTHENTICATED platform sender id (Know Your Principal). */
+    senderUid: string;
+    messageId: number;
+    replyToMessageId?: number;
+    /** Message date (ms epoch). */
+    at: number;
+}
+/**
+ * Parse a RAW Telegram receive-path message object (the `update.message` /
+ * Bot-API `result` shape, as JSON text) into the InboundReceiveEvent fields
+ * the ratification matchers consume. Registered parser (Scrape/Parser Fixture
+ * Realness) — fed byte-for-byte captured REAL Telegram message objects in
+ * tests/fixtures/captured/scope-accretion-telegram-receive/. Returns null on
+ * anything that is not a well-formed text message object.
+ */
+export declare function parseReceivePathMessage(rawJson: string): InboundReceiveEvent | null;
+/**
+ * Deterministic defer-intent trigger match (registered parser — fed captured
+ * Telegram receive-path payloads in tests/fixtures/captured/). Returns the
+ * matched phrase or null.
+ */
+export declare function parseDeferTrigger(text: string): string | null;
+export interface ConfirmationMatch {
+    /** The enumeration the confirmation binds (message-id chain), or null. */
+    boundSetHash: string | null;
+    affirmative: boolean;
+    replyAnchored: boolean;
+    ratifyToken: boolean;
+}
+/**
+ * Confirmation matching (R38 — strict, the one path that pushes toward exit):
+ * ONLY a verified-operator message that is reply-anchored to the recorded
+ * enumeration message OR contains the explicit token "ratify", with
+ * affirmative content, binds — and it binds exactly the enumerated set. A bare
+ * affirmative NOT reply-anchored resolves to the EMPTY set. (Registered
+ * parser — captured receive-path payloads incl. reply_to_message shapes.)
+ */
+export declare function parseRatificationConfirmation(evtOrRaw: {
+    text: string;
+    replyToMessageId?: number;
+} | string, enumerations: Array<{
+    setHash: string;
+    messageId: number;
+}>): ConfirmationMatch;
+export interface RatifierDeps {
+    store: AutonomousRunStore;
+    /** Verified operator uid for a topic (TopicOperatorStore) — null = unbound. */
+    getOperatorUid: (topicId: number) => string | null;
+    /** Server-credentialed send (TelegramAdapter.sendToTopic shape, R37). */
+    sendToTopic: (topicId: number, text: string) => Promise<{
+        messageId: number;
+    }>;
+    /** Dashboard deep link to the PIN-gated ratify surface (one-tap path). */
+    dashboardLink?: (topicId: string) => string | null;
+    recordMetric?: (outcome: 'fired' | 'noop') => void;
+    log?: (msg: string) => void;
+}
+export declare class ScopeAccretionRatifier {
+    private readonly deps;
+    constructor(deps: RatifierDeps);
+    /**
+     * Observe one inbound topic message from the LIVE receive path. Signal-only
+     * for message delivery: never blocks, never rewrites — errors are swallowed
+     * after logging (the receive path must never fail because of this observer).
+     */
+    observeInbound(evt: InboundReceiveEvent): Promise<void>;
+    private observeInboundInner;
+}
+export type { AutonomousRunRecord };
+//# sourceMappingURL=ScopeAccretionRatifier.d.ts.map

package/dist/core/ScopeAccretionRatifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ScopeAccretionRatifier.d.ts","sourceRoot":"","sources":["../../src/core/ScopeAccretionRatifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,KAAK,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAmBvF,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,kEAAkE;IAClE,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,+BAA+B;IAC/B,EAAE,EAAE,MAAM,CAAC;CACZ;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB,GAAG,IAAI,CAyBnF;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAM7D;AAED,MAAM,WAAW,iBAAiB;IAChC,0EAA0E;IAC1E,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,WAAW,EAAE,OAAO,CAAC;IACrB,aAAa,EAAE,OAAO,CAAC;IACvB,WAAW,EAAE,OAAO,CAAC;CACtB;AAED;;;;;;;GAOG;AACH,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,EAC9D,YAAY,EAAE,KAAK,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC,GAC1D,iBAAiB,CA6BnB;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,kBAAkB,CAAC;IAC1B,+EAA+E;IAC/E,cAAc,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACnD,yEAAyE;IACzE,WAAW,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/E,0EAA0E;IAC1E,aAAa,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACnD,YAAY,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,KAAK,IAAI,CAAC;IACnD,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;CAC7B;AAED,qBAAa,sBAAsB;IACrB,OAAO,CAAC,QAAQ,CAAC,IAAI;gBAAJ,IAAI,EAAE,YAAY;IAE/C;;;;OAIG;IACG,cAAc,CAAC,GAAG,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC;YAQ/C,mBAAmB;CA6FlC;AAED,YAAY,EAAE,mBAAmB,EAAE,CAAC"}

package/dist/core/ScopeAccretionRatifier.js

@@ -0,0 +1,228 @@
+/**
+ * ScopeAccretionRatifier — the conversational ratification path
+ * (proposal → server-authored enumeration → confirmation), consumed ONLY at
+ * the server's live Telegram receive path (R45).
+ *
+ * Spec: docs/specs/autonomous-scope-accretion-completion.md §2.6
+ * (R23/R37/R38/R45). Both the defer-vocabulary trigger detection AND the
+ * confirmation matching run as each inbound topic message passes through the
+ * server's own Telegram receive handling — the on-disk history JSONL is NOT
+ * part of the mechanism (a message the server did not itself receive from
+ * Telegram can never trigger or confirm). Matched events persist as
+ * server-owned records in the run record.
+ *
+ * Display integrity (Agent Proposes, Operator Approves): the operator approves
+ * a SERVER-authored statement whose displayed set is byte-identical to what
+ * executes — the enumeration is composed here, sent under the server's own bot
+ * credentials, and its message id recorded; a confirmation binds exactly the
+ * enumerated set via the message-id chain.
+ */
+import { createHash } from 'crypto';
+import { hashPathSet } from './AutonomousRunStore.js';
+/** Frontloaded defer-intent vocabulary (§2.6 trigger list). */
+const DEFER_VOCABULARY = [
+    'defer',
+    'later session',
+    "don't build",
+    'dont build',
+    'skip building',
+    'leave for a future',
+    'ratify deferral',
+];
+const AFFIRMATIVES = ['yes', 'approve', 'confirm', 'approved', 'confirmed', '\u{1F44D}'];
+/** Enumeration clamp (§2.6): 50 paths + "and N more". */
+const ENUMERATION_CLAMP = 50;
+/**
+ * Parse a RAW Telegram receive-path message object (the `update.message` /
+ * Bot-API `result` shape, as JSON text) into the InboundReceiveEvent fields
+ * the ratification matchers consume. Registered parser (Scrape/Parser Fixture
+ * Realness) — fed byte-for-byte captured REAL Telegram message objects in
+ * tests/fixtures/captured/scope-accretion-telegram-receive/. Returns null on
+ * anything that is not a well-formed text message object.
+ */
+export function parseReceivePathMessage(rawJson) {
+    let msg;
+    try {
+        msg = JSON.parse(rawJson);
+    }
+    catch {
+        /* @silent-fallback-ok — a malformed receive-path payload matches NOTHING:
+           fail-closed for ratification (the one path that pushes toward exit). */
+        return null;
+    }
+    if (!msg || typeof msg !== 'object')
+        return null;
+    const text = typeof msg.text === 'string' ? msg.text : '';
+    const messageId = typeof msg.message_id === 'number' ? msg.message_id : NaN;
+    if (!text || !Number.isFinite(messageId))
+        return null;
+    const from = (msg.from ?? {});
+    const reply = (msg.reply_to_message ?? null);
+    const threadId = typeof msg.message_thread_id === 'number' ? msg.message_thread_id : 1;
+    const date = typeof msg.date === 'number' ? msg.date * 1000 : Date.now();
+    return {
+        topicId: threadId,
+        text,
+        senderUid: from && typeof from.id === 'number' ? String(from.id) : '',
+        messageId,
+        replyToMessageId: reply && typeof reply.message_id === 'number' ? reply.message_id : undefined,
+        at: date,
+    };
+}
+/**
+ * Deterministic defer-intent trigger match (registered parser — fed captured
+ * Telegram receive-path payloads in tests/fixtures/captured/). Returns the
+ * matched phrase or null.
+ */
+export function parseDeferTrigger(text) {
+    const lc = (text || '').toLowerCase();
+    for (const phrase of DEFER_VOCABULARY) {
+        if (lc.includes(phrase))
+            return phrase;
+    }
+    return null;
+}
+/**
+ * Confirmation matching (R38 — strict, the one path that pushes toward exit):
+ * ONLY a verified-operator message that is reply-anchored to the recorded
+ * enumeration message OR contains the explicit token "ratify", with
+ * affirmative content, binds — and it binds exactly the enumerated set. A bare
+ * affirmative NOT reply-anchored resolves to the EMPTY set. (Registered
+ * parser — captured receive-path payloads incl. reply_to_message shapes.)
+ */
+export function parseRatificationConfirmation(evtOrRaw, enumerations) {
+    // Accept a RAW receive-path message object (JSON text) directly — the
+    // captured-fixture tests feed the real bytes; live callers pass the
+    // already-derived event. An unparseable raw payload matches nothing.
+    const evt = typeof evtOrRaw === 'string'
+        ? (parseReceivePathMessage(evtOrRaw) ?? { text: '', replyToMessageId: undefined })
+        : evtOrRaw;
+    const lc = (evt.text || '').toLowerCase().trim();
+    const affirmative = AFFIRMATIVES.some((a) => lc === a || lc.startsWith(`${a} `) || lc.includes(` ${a}`) || lc.includes(a === '\u{1F44D}' ? a : `${a}.`) || lc === `${a}!`);
+    const ratifyToken = /\bratify\b/.test(lc);
+    let anchored;
+    if (typeof evt.replyToMessageId === 'number') {
+        anchored = enumerations.find((e) => e.messageId === evt.replyToMessageId);
+    }
+    const replyAnchored = !!anchored;
+    if (!affirmative && !ratifyToken) {
+        return { boundSetHash: null, affirmative, replyAnchored, ratifyToken };
+    }
+    if (anchored && (affirmative || ratifyToken)) {
+        return { boundSetHash: anchored.setHash, affirmative, replyAnchored, ratifyToken };
+    }
+    if (ratifyToken && affirmative && enumerations.length > 0) {
+        // Explicit "ratify" token without a reply anchor binds the most recent
+        // recorded enumeration (§2.6: "or a message containing the explicit token
+        // 'ratify'"). Still bound by the message-id chain: the LAST enumeration.
+        return { boundSetHash: enumerations[enumerations.length - 1].setHash, affirmative, replyAnchored, ratifyToken };
+    }
+    // A bare affirmative NOT reply-anchored resolves to the EMPTY set (R38).
+    return { boundSetHash: null, affirmative, replyAnchored, ratifyToken };
+}
+export class ScopeAccretionRatifier {
+    deps;
+    constructor(deps) {
+        this.deps = deps;
+    }
+    /**
+     * Observe one inbound topic message from the LIVE receive path. Signal-only
+     * for message delivery: never blocks, never rewrites — errors are swallowed
+     * after logging (the receive path must never fail because of this observer).
+     */
+    async observeInbound(evt) {
+        try {
+            await this.observeInboundInner(evt);
+        }
+        catch (err) {
+            this.deps.log?.(`[scope-accretion] ratifier observe error (ignored): ${err instanceof Error ? err.message : String(err)}`);
+        }
+    }
+    async observeInboundInner(evt) {
+        const topicId = String(evt.topicId);
+        const rec = this.deps.store.getRecord(topicId);
+        if (!rec || !this.deps.store.isActive(rec, evt.at))
+            return;
+        // Know Your Principal: only the VERIFIED operator of this topic participates
+        // (TopicOperatorStore uid match on the authenticated sender id).
+        const operatorUid = this.deps.getOperatorUid(evt.topicId);
+        if (!operatorUid || operatorUid !== String(evt.senderUid))
+            return;
+        // 1) Confirmation matching FIRST (an affirmative reply must not be re-read
+        //    as a fresh trigger).
+        const match = parseRatificationConfirmation({ text: evt.text, replyToMessageId: evt.replyToMessageId }, rec.enumerations.map((e) => ({ setHash: e.setHash, messageId: e.messageId })));
+        if (match.boundSetHash) {
+            const enumRec = rec.enumerations.find((e) => e.setHash === match.boundSetHash);
+            if (enumRec && enumRec.artifacts.length > 0) {
+                this.deps.store.update(topicId, rec.runId, (r) => {
+                    for (const p of enumRec.artifacts) {
+                        if (!r.ratifiedArtifacts.includes(p))
+                            r.ratifiedArtifacts.push(p);
+                    }
+                    r.ratifications.push({
+                        via: 'conversation',
+                        at: new Date(evt.at).toISOString(),
+                        artifacts: [...enumRec.artifacts],
+                        enumerationMessageId: enumRec.messageId,
+                        confirmationMessageId: evt.messageId,
+                        verifiedOperatorUidHash: createHash('sha256').update(String(evt.senderUid)).digest('hex'),
+                    });
+                });
+                this.deps.recordMetric?.('fired');
+                await this.deps.sendToTopic(evt.topicId, `Deferral ratified for ${enumRec.artifacts.length} artifact${enumRec.artifacts.length === 1 ? '' : 's'} — the completion gate no longer holds on them.`).catch(() => { });
+                return;
+            }
+        }
+        if (match.affirmative && !match.replyAnchored && !match.ratifyToken) {
+            // R38: a busy topic's unrelated "yes" ratifies NOTHING — resolved to the
+            // empty set, no record, no send.
+            return;
+        }
+        // 2) Trigger detection — defer-intent vocabulary within the window
+        //    [max(started_at, oldest unbuilt artifact ts), now] (§2.6).
+        const phrase = parseDeferTrigger(evt.text);
+        if (!phrase)
+            return;
+        const unbuilt = rec.lastUnbuilt ?? [];
+        if (unbuilt.length === 0) {
+            // A pre-accretion blanket "defer those" alone ratifies NOTHING; with no
+            // computed unbuilt set there is nothing to enumerate.
+            return;
+        }
+        const oldestUnbuiltTs = unbuilt.reduce((min, u) => Math.min(min, Date.parse(u.firstSeenAt) || Infinity), Infinity);
+        const windowStart = Math.max(Date.parse(rec.startedAt) || 0, Number.isFinite(oldestUnbuiltTs) ? oldestUnbuiltTs : 0);
+        if (evt.at < windowStart)
+            return;
+        // Persist the trigger record (server-owned, never re-read from any file).
+        this.deps.store.update(topicId, rec.runId, (r) => {
+            r.triggers.push({ at: new Date(evt.at).toISOString(), messageId: evt.messageId, phrase });
+            if (r.triggers.length > 50)
+                r.triggers = r.triggers.slice(-50);
+        });
+        // Server-authored enumeration (R37), deduped per unbuilt-set hash — an
+        // unchanged set re-uses the recorded enumeration and never re-sends.
+        const paths = unbuilt.map((u) => u.path);
+        const setHash = hashPathSet(paths);
+        if (rec.enumerations.some((e) => e.setHash === setHash))
+            return;
+        const shown = paths.slice(0, ENUMERATION_CLAMP);
+        const more = paths.length - shown.length;
+        const link = this.deps.dashboardLink?.(topicId);
+        const lines = [
+            `Ratify deferring these ${paths.length} artifact${paths.length === 1 ? '' : 's'}?`,
+            ...shown.map((p) => `- ${p}`),
+            ...(more > 0 ? [`…and ${more} more`] : []),
+            '',
+            'Reply to THIS message with yes/approve, or use the dashboard.',
+            ...(link ? [link] : []),
+        ];
+        const sent = await this.deps.sendToTopic(evt.topicId, lines.join('\n'));
+        this.deps.store.update(topicId, rec.runId, (r) => {
+            r.enumerations.push({ setHash, messageId: sent.messageId, at: new Date().toISOString(), artifacts: paths });
+            if (r.enumerations.length > 20)
+                r.enumerations = r.enumerations.slice(-20);
+        });
+        this.deps.recordMetric?.('fired');
+    }
+}
+//# sourceMappingURL=ScopeAccretionRatifier.js.map

package/dist/core/ScopeAccretionRatifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ScopeAccretionRatifier.js","sourceRoot":"","sources":["../../src/core/ScopeAccretionRatifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAEpC,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEtD,+DAA+D;AAC/D,MAAM,gBAAgB,GAAG;IACvB,OAAO;IACP,eAAe;IACf,aAAa;IACb,YAAY;IACZ,eAAe;IACf,oBAAoB;IACpB,iBAAiB;CACT,CAAC;AAEX,MAAM,YAAY,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,CAAU,CAAC;AAElG,yDAAyD;AACzD,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAa7B;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CAAC,OAAe;IACrD,IAAI,GAA4B,CAAC;IACjC,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA4B,CAAC;IACvD,CAAC;IAAC,MAAM,CAAC;QACP;kFAC0E;QAC1E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1D,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC;IAC5E,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAA4B,CAAC;IACzD,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,gBAAgB,IAAI,IAAI,CAAmC,CAAC;IAC/E,MAAM,QAAQ,GAAG,OAAO,GAAG,CAAC,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;IACzE,OAAO;QACL,OAAO,EAAE,QAAQ;QACjB,IAAI;QACJ,SAAS,EAAE,IAAI,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;QACrE,SAAS;QACT,gBAAgB,EAAE,KAAK,IAAI,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;QAC9F,EAAE,EAAE,IAAI;KACT,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACtC,KAAK,MAAM,MAAM,IAAI,gBAAgB,EAAE,CAAC;QACtC,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC;IACzC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAUD;;;;;;;GAOG;AACH,MAAM,UAAU,6BAA6B,CAC3C,QAA8D,EAC9D,YAA2D;IAE3D,sEAAsE;IACtE,oEAAoE;IACpE,qEAAqE;IACrE,MAAM,GAAG,GAAG,OAAO,QAAQ,KAAK,QAAQ;QACtC,CAAC,CAAC,CAAC,uBAAuB,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC;QAClF,CAAC,CAAC,QAAQ,CAAC;IACb,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;IACjD,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3K,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1C,IAAI,QAA4D,CAAC;IACjE,IAAI,OAAO,GAAG,CAAC,gBAAgB,KAAK,QAAQ,EAAE,CAAC;QAC7C,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,aAAa,GAAG,CAAC,CAAC,QAAQ,CAAC;IACjC,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,EAAE,CAAC;QACjC,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC;IACzE,CAAC;IACD,IAAI,QAAQ,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,EAAE,CAAC;QAC7C,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC;IACrF,CAAC;IACD,IAAI,WAAW,IAAI,WAAW,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,uEAAuE;QACvE,0EAA0E;QAC1E,yEAAyE;QACzE,OAAO,EAAE,YAAY,EAAE,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC;IAClH,CAAC;IACD,yEAAyE;IACzE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC;AACzE,CAAC;AAcD,MAAM,OAAO,sBAAsB;IACJ;IAA7B,YAA6B,IAAkB;QAAlB,SAAI,GAAJ,IAAI,CAAc;IAAG,CAAC;IAEnD;;;;OAIG;IACH,KAAK,CAAC,cAAc,CAAC,GAAwB;QAC3C,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;QACtC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,uDAAuD,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7H,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,mBAAmB,CAAC,GAAwB;QACxD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC/C,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO;QAE3D,6EAA6E;QAC7E,iEAAiE;QACjE,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAI,CAAC,WAAW,IAAI,WAAW,KAAK,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO;QAElE,2EAA2E;QAC3E,0BAA0B;QAC1B,MAAM,KAAK,GAAG,6BAA6B,CACzC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,gBAAgB,EAAE,GAAG,CAAC,gBAAgB,EAAE,EAC1D,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAC9E,CAAC;QACF,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,YAAY,CAAC,CAAC;YAC/E,IAAI,OAAO,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5C,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;oBAC/C,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;wBAClC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC;4BAAE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBACpE,CAAC;oBACD,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;wBACnB,GAAG,EAAE,cAAc;wBACnB,EAAE,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE;wBAClC,SAAS,EAAE,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC;wBACjC,oBAAoB,EAAE,OAAO,CAAC,SAAS;wBACvC,qBAAqB,EAAE,GAAG,CAAC,SAAS;wBACpC,uBAAuB,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;qBAC1F,CAAC,CAAC;gBACL,CAAC,CAAC,CAAC;gBACH,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,OAAO,CAAC,CAAC;gBAClC,MAAM,IAAI,CAAC,IAAI,CAAC,WAAW,CACzB,GAAG,CAAC,OAAO,EACX,yBAAyB,OAAO,CAAC,SAAS,CAAC,MAAM,YAAY,OAAO,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,iDAAiD,CACxJ,CAAC,KAAK,CAAC,GAAG,EAAE,GAAyB,CAAC,CAAC,CAAC;gBACzC,OAAO;YACT,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,KAAK,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;YACpE,yEAAyE;YACzE,iCAAiC;YACjC,OAAO;QACT,CAAC;QAED,mEAAmE;QACnE,gEAAgE;QAChE,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,wEAAwE;YACxE,sDAAsD;YACtD,OAAO;QACT,CAAC;QACD,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM,CACpC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,QAAQ,CAAC,EAChE,QAAQ,CACT,CAAC;QACF,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrH,IAAI,GAAG,CAAC,EAAE,GAAG,WAAW;YAAE,OAAO;QAEjC,0EAA0E;QAC1E,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YAC/C,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;YAC1F,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,EAAE;gBAAE,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;QAEH,uEAAuE;QACvE,qEAAqE;QACrE,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;YAAE,OAAO;QAEhE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG;YACZ,0BAA0B,KAAK,CAAC,MAAM,YAAY,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG;YAClF,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1C,EAAE;YACF,+DAA+D;YAC/D,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SACxB,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACxE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YAC/C,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5G,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,EAAE;gBAAE,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;CACF"}