nodedex 0.1.0

package/dist/middleware/reflect/stage-audit-graph.js

@@ -0,0 +1,563 @@
+// ═══════════════════════════════════════════════════════════════════════════════
+// DEBT 5 Slice 2 Sub-step 2.3 — STAGE AUDIT (graph-health background scan)
+// ═══════════════════════════════════════════════════════════════════════════════
+//
+// The SECOND writer to pipeline_flags (complements Slice 1's Stage FLAG, which
+// fires per-pipeline-run). Stage AUDIT runs periodically over the WHOLE graph
+// and detects cross-block patterns no single pipeline run can see:
+//
+//   project_dup_candidate  — two type='project' roots with high concept overlap
+//                            and no cross-link (cross-customer / cross-arc
+//                            anaphora Stage C missed)
+//   scope_disagreement     — two blocks sharing the SAME source_excerpt but
+//                            living under DIFFERENT project scopes (scope
+//                            contamination — same source text filed twice)
+//   island_candidate       — two blocks with strong concept overlap but NO
+//                            relation between them (a missed supports/relates_to)
+//
+// Stage AUDIT does NOT call the LLM. It only WRITES flags. The async reviewer
+// (Sub-step 2.2) is the LLM consumer that decides merge/leave/split.
+//
+// Design contract: docs/PIPELINE-SLICE-2-DESIGN.md §3.
+// Worker pattern: stage-audit-startup wraps this in setInterval (folded into
+// flag-reviewer-startup.ts-style wiring at Sub-step 2.4 / server bootstrap).
+//
+// Charter Rule 5 (producers disjoint): each flag_type has exactly ONE writer.
+// AUDIT owns project_dup_candidate / scope_disagreement / island_candidate.
+// Stage FLAG owns atomic_dup_candidate. Stage C owns entity_unresolved.
+//
+// What this module does NOT do:
+//   - LLM calls (reviewer's job)
+//   - mutate blocks/relations (reviewer's job; AUDIT is read + write-flag only)
+//   - cosine/embedding similarity (cheaper concept + source_excerpt signals
+//     for now; cosine is a future enhancement — see SCALE NOTE)
+//   - cross-graph resolve (that's Slice 3 Stage D)
+//   - scan archived blocks (getAllBlocks already excludes status='archived')
+import { cosineSim } from "../../engine/vector-math.js";
+import { intFromEnv } from "./config.js";
+import { writePipelineFlag } from "./pipeline-flags.js";
+import { extractPrimaryValueFromUnique } from "./dedup-by-source-and-value.js";
+import { budgetTripped } from "./cost-guard.js";
+// ─── Config (env-controlled) ──────────────────────────────────────────────────
+/** Jaccard threshold for project_dup_candidate (concept-set overlap). */
+function projectDupThreshold() {
+    const v = parseFloat(process.env.NODEDEX_AUDIT_PROJECT_DUP_THRESHOLD ?? "");
+    return Number.isFinite(v) && v > 0 && v <= 1 ? v : 0.6;
+}
+/** Min shared concepts for island_candidate. */
+function islandSharedMin() {
+    return intFromEnv("NODEDEX_AUDIT_ISLAND_SHARED_MIN", 3);
+}
+/** Max pairwise comparisons per tick — bounds O(n²) wall time. Pairs beyond
+ *  this are deferred to the next tick (round-robin via the block-id offset).
+ *  SCALE NOTE: at 10000+ blocks, replace the pairwise scan with the retrieval
+ *  mechanism Slice 3/4 builds (design §3.3). */
+function maxPairsPerTick() {
+    return intFromEnv("NODEDEX_AUDIT_MAX_PAIRS", 5000);
+}
+/** Min shared ESSENCE tokens for a project-dup candidate (the recall net for
+ *  DRIFTED-concept fork pairs the concept-jaccard misses — see the project_dup
+ *  branch). Recognition-layer step 4 (heal existing forks). */
+function essenceOverlapMin() {
+    return intFromEnv("NODEDEX_AUDIT_ESSENCE_MIN", 2);
+}
+/** Block-dup detector: ON only when opted in. AUDIT itself may be on (live) while
+ *  this newer block-level detection stays silent — so it never adds block_dup
+ *  flags to an existing AUDIT user without an explicit opt-in. Default OFF. */
+function blockDupDetectEnabled() {
+    // Default ON (locked-on dup detection — validated 2026-06-20); set =off for dev/test.
+    return (process.env.NODEDEX_BLOCK_DUP_DETECT ?? "").toLowerCase() !== "off";
+}
+/** Min shared CLAIM tokens (on unique{} primary_value) for a block_dup candidate.
+ *  Anchored on the CLAIM, not the essence: essence carries TOPIC ("pydantic",
+ *  "validation", "fastapi") which over-flags in a dense single-project graph
+ *  (real-data validation: 33 pairs, ~30 false). primary_value is the per-type
+ *  identity (PRIMARY_KEYS) — the same-claim signal a dup actually IS. The reviewer
+ *  is the precision judge, so this is recall-tuned. */
+function blockDupClaimMin() {
+    return intFromEnv("NODEDEX_BLOCK_DUP_CLAIM_MIN", 3);
+}
+/** DRIFT recall (default OFF). Also flag a block_dup candidate when two SAME-TYPE
+ *  blocks under the same scope are SEMANTICALLY near-identical (cosine on the stored
+ *  label+essence+concepts embedding). This catches reworded IDENTITY the exact/token
+ *  match misses — e.g. approach "Sliding Window Log" vs "Sliding Window Logging".
+ *  The SAME-TYPE gate + a high threshold limit the topic-similarity false flags that
+ *  essence-meaning over-flags on (e.g. a Redis fact vs a Redis constraint); the
+ *  reviewer remains the precision judge, so this stays recall-tuned. Opt-in so it
+ *  never widens flags for existing block-dup users without an explicit choice. */
+function blockDupEmbedEnabled() {
+    return (process.env.NODEDEX_BLOCK_DUP_EMBED ?? "").toLowerCase() === "on";
+}
+function blockDupEmbedMin() {
+    const v = parseFloat(process.env.NODEDEX_BLOCK_DUP_EMBED_MIN ?? "");
+    // Default 0.80: a real reworded restatement scored cosine 0.840 on live extraction
+    // (label+essence+concepts vector), while genuinely-different same-type claims sat at
+    // <=0.684 (worth-watch test, 2026-06-08) — a wide gap, so 0.80 catches drift with
+    // margin and false-flags nothing. Recall-biased on purpose: a false flag is filtered
+    // by the reviewer (cheap), a missed dup persists forever (expensive). Env-tunable.
+    return Number.isFinite(v) && v > 0 && v <= 1 ? v : 0.80;
+}
+// ─── Pure helpers (no DB, no LLM — unit-testable) ──────────────────────────────
+/** Jaccard similarity of two concept sets: |A∩B| / |A∪B|. 0 when both empty. */
+export function jaccard(a, b) {
+    if (a.length === 0 && b.length === 0)
+        return 0;
+    const setA = new Set(a.map(s => s.toLowerCase().trim()));
+    const setB = new Set(b.map(s => s.toLowerCase().trim()));
+    let inter = 0;
+    for (const x of setA)
+        if (setB.has(x))
+            inter += 1;
+    const union = setA.size + setB.size - inter;
+    return union === 0 ? 0 : inter / union;
+}
+/** Count shared concepts (case-insensitive). */
+export function sharedConceptCount(a, b) {
+    const setB = new Set(b.map(s => s.toLowerCase().trim()));
+    let n = 0;
+    const seen = new Set();
+    for (const x of a) {
+        const k = x.toLowerCase().trim();
+        if (setB.has(k) && !seen.has(k)) {
+            n += 1;
+            seen.add(k);
+        }
+    }
+    return n;
+}
+// Common words that carry no domain signal — excluded from the essence-overlap
+// recall signal so two unrelated roots don't pair on "this/that/with". NOT an
+// exhaustive list; just the high-frequency noise. Real domain words (coffee,
+// roasting, billing, customer) are what we want to match on.
+const ESSENCE_STOPWORDS = new Set([
+    "the", "and", "for", "with", "this", "that", "from", "into", "your", "you", "are", "not",
+    "but", "has", "was", "its", "our", "their", "other", "some", "more", "than", "then", "over",
+    "onto", "only", "also", "such", "when", "what", "which", "both", "each", "per", "about",
+    "these", "those", "they", "them", "have", "will", "would", "should", "could", "been",
+]);
+/** Count distinct shared SIGNIFICANT tokens between two essences (descriptions).
+ *  The recall net for drifted-concept fork pairs: two roots about the same domain
+ *  share domain words in their descriptions even when their concept tags drift
+ *  (measured: home-coffee-roasting vs ...-activities had 0 concept overlap but
+ *  share "coffee"+"roasting" in essence). Keys on the DESCRIPTION (meaning), not
+ *  the label (name-vs-meaning). Pure / testable. */
+export function sharedEssenceTokens(a, b) {
+    const tok = (s) => new Set((s ?? "").toLowerCase().split(/[^a-z0-9]+/)
+        .filter((w) => w.length >= 4 && !ESSENCE_STOPWORDS.has(w)));
+    const ta = tok(a), tb = tok(b);
+    let n = 0;
+    for (const w of ta)
+        if (tb.has(w))
+            n += 1;
+    return n;
+}
+// cosineSim now lives in engine/vector-math.ts (single source). Re-exported for
+// callers that import it from this module.
+export { cosineSim };
+export function toAuditBlock(b) {
+    let concepts = [];
+    try {
+        const parsed = JSON.parse(b.concepts ?? "[]");
+        if (Array.isArray(parsed))
+            concepts = parsed;
+    }
+    catch { /* tolerate */ }
+    // Identity value lives in content.unique{} (NOT label/essence). Parse it +
+    // extract the per-type primary value the SAME way D2 dedup does.
+    let unique = {};
+    try {
+        const c = JSON.parse(b.content ?? "{}");
+        if (c && typeof c.unique === "object" && c.unique !== null)
+            unique = c.unique;
+    }
+    catch { /* tolerate */ }
+    const primary_value = extractPrimaryValueFromUnique(b.type, unique).trim().toLowerCase();
+    let embedding = null;
+    try {
+        const e = b.embedding;
+        if (typeof e === "string" && e.length > 0) {
+            const v = JSON.parse(e);
+            if (Array.isArray(v))
+                embedding = v;
+        }
+        else if (Array.isArray(e))
+            embedding = e;
+    }
+    catch { /* tolerate malformed embedding */ }
+    return {
+        id: b.id,
+        label: b.label,
+        type: b.type,
+        concepts,
+        project_id: b.project_id ?? null,
+        source_excerpt: b.source_excerpt ?? null,
+        primary_value,
+        essence: b.essence ?? "",
+        embedding,
+    };
+}
+/** Read the block-dup judge config once, from the SAME env readers the periodic
+ *  AUDIT uses, so the inline recognize-before-write path can never drift apart
+ *  from the AUDIT scan. */
+export function blockDupJudgeOpts() {
+    return { claimMin: blockDupClaimMin(), embedOn: blockDupEmbedEnabled(), embedMin: blockDupEmbedMin() };
+}
+/**
+ * DO: decide whether two blocks are a same-scope duplicate CANDIDATE — exact
+ *   primary_value, primary_value token-overlap, or (opt-in) near-identical
+ *   same-type essence embedding (the drift net).
+ * SERVE: compounding — one piece of residue should be ONE block. This is the
+ *   RECALL stage; the flag-reviewer is the precision judge.
+ * CARRY: identity is unique{} primary_value, NOT label/essence; same-scope
+ *   (project_id) is the merge guard — a cross-scope same-claim pair is a
+ *   scope_disagreement (never merged), so it can never be a candidate here.
+ *
+ * Pure: no DB, no LLM. The supersedes-skip + flag idempotency are caller-side
+ * (they need the DB). This is the ONE implementation shared by the periodic
+ * AUDIT (runStageAuditTick) and the inline path (dedupNewBlocksInline) — so the
+ * two seams detect identically (Rule 5 spirit: one detection, two timings).
+ */
+export function judgeBlockDupPair(a, b, opts) {
+    const sameScope = a.project_id != null && a.project_id === b.project_id;
+    if (!sameScope)
+        return { isCandidate: false, sameScope: false, signal: null, claimTokens: 0, embedSim: 0 };
+    const sameIdentity = a.primary_value.length > 0 && a.primary_value === b.primary_value;
+    const claimTokens = sharedEssenceTokens(a.primary_value, b.primary_value);
+    // SAME-TYPE gate on the token-overlap signal (2026-06-15): a primary_value token
+    // overlap is a dup CANDIDATE only when the two blocks share the same epistemic role.
+    // Different types are different kinds of knowledge — "almost never duplicates" (the
+    // reviewer's own rule) — and in a dense single-domain graph the shared domain tokens
+    // (useFetch/hook/state) otherwise flood the queue with cross-type false candidates.
+    // This aligns the token signal with the embedding signal below, which ALREADY requires
+    // same-type. Measured on the collapse-e2e graph: 66→15 candidates, real dup preserved.
+    // (A concept-overlap gate was rejected — it cut 66→3 but LOST the real dup pair.)
+    // Exact-identity (sameIdentity) stays type-agnostic: an identical primary_value is a
+    // strong enough signal to flag regardless of type.
+    const byClaim = claimTokens >= opts.claimMin && a.type === b.type;
+    const embedSim = (opts.embedOn && a.type === b.type && a.embedding && b.embedding)
+        ? cosineSim(a.embedding, b.embedding) : 0;
+    const byEmbedding = embedSim >= opts.embedMin && embedSim > 0;
+    const isCandidate = sameIdentity || byClaim || byEmbedding;
+    const signal = !isCandidate ? null
+        : sameIdentity ? 'primary_value_exact'
+            : byClaim ? 'primary_value_overlap'
+                : 'essence_embedding';
+    return { isCandidate, sameScope, signal, claimTokens, embedSim };
+}
+// ─── Relation + flag existence (idempotency) ───────────────────────────────────
+/** True if any active relation exists between the pair in EITHER direction. */
+function hasRelationBetween(raw, idA, idB) {
+    const row = raw.prepare(`
+    SELECT 1 FROM relations
+     WHERE valid_to IS NULL
+       AND ((source_id = @a AND target_id = @b) OR (source_id = @b AND target_id = @a))
+     LIMIT 1
+  `).get({ a: idA, b: idB });
+    return !!row;
+}
+/** True if a supersedes/superseded_by relation exists between the pair (either
+ *  direction). Used by the block_dup detector to SKIP pairs already in a
+ *  replacement chain (the recap "reconfirmed → abandoned" case): the supersede
+ *  mechanism already collapsed them, re-flagging is redundant. Deliberately
+ *  NARROWER than hasRelationBetween — a `supports`/`contradicts` edge between two
+ *  same-claim blocks is NOT a dedup and must NOT suppress the flag (the 50ms-SLA
+ *  pair carries a `supports` edge yet is still an un-merged duplicate). */
+export function hasSupersedesBetween(raw, idA, idB) {
+    const row = raw.prepare(`
+    SELECT 1 FROM relations
+     WHERE valid_to IS NULL
+       AND type IN ('supersedes', 'superseded_by')
+       AND ((source_id = @a AND target_id = @b) OR (source_id = @b AND target_id = @a))
+     LIMIT 1
+  `).get({ a: idA, b: idB });
+    return !!row;
+}
+/** True if a flag of this type already exists for the pair (either direction),
+ *  reviewed OR not. Prevents re-flagging a known pair on every tick (incl.
+ *  re-spending reviewer $$ on a pair already verdicted 'leave'). */
+export function flagAlreadyExists(raw, flag_type, idA, idB) {
+    const row = raw.prepare(`
+    SELECT 1 FROM pipeline_flags
+     WHERE flag_type = @t
+       AND ((block_id_a = @a AND block_id_b = @b) OR (block_id_a = @b AND block_id_b = @a))
+     LIMIT 1
+  `).get({ t: flag_type, a: idA, b: idB });
+    return !!row;
+}
+/**
+ * One Stage AUDIT tick: scan blocks pairwise, write flags for the 3 audit
+ * patterns. Bounded by maxPairsPerTick. Idempotent — never re-flags a pair
+ * already in pipeline_flags for that type.
+ *
+ * Returns per-tick result for telemetry + log + the next-tick offset.
+ *
+ * Per-pair precedence to avoid double-flagging the same pair:
+ *   both type='project'  → project_dup_candidate only (skip scope/island)
+ *   else same source_excerpt + different project → scope_disagreement
+ *   else strong concept overlap + no link → island_candidate
+ */
+export function runStageAuditTick(opts) {
+    const t0 = Date.now();
+    const raw = opts.db.db;
+    const result = {
+        scanned_pairs: 0,
+        flags_written: { project_dup_candidate: 0, scope_disagreement: 0, island_candidate: 0, block_dup_candidate: 0 },
+        flags_skipped_already_pending: 0,
+        errors: 0,
+        wall_ms: 0,
+    };
+    let blocks;
+    try {
+        blocks = opts.db.getAllBlocks().map(toAuditBlock);
+    }
+    catch (e) {
+        result.errors += 1;
+        result.wall_ms = Date.now() - t0;
+        console.warn(`[stage-audit] getAllBlocks threw: ${e?.message ?? e}`);
+        return result;
+    }
+    const projDupThresh = projectDupThreshold();
+    const essMin = essenceOverlapMin();
+    const islandMin = islandSharedMin();
+    const pairCap = maxPairsPerTick();
+    const blockDupOn = blockDupDetectEnabled();
+    const blockDupEmbedOn = blockDupEmbedEnabled();
+    const embedMin = blockDupEmbedMin();
+    const blockDupClaim = blockDupClaimMin();
+    const n = blocks.length;
+    const start = Math.min(opts.startOffset ?? 0, Math.max(0, n - 1));
+    outer: for (let i = start; i < n; i++) {
+        const a = blocks[i];
+        for (let j = i + 1; j < n; j++) {
+            if (result.scanned_pairs >= pairCap)
+                break outer;
+            const b = blocks[j];
+            result.scanned_pairs += 1;
+            try {
+                // ── project_dup_candidate: both projects, high concept overlap, no link
+                if (a.type === 'project' && b.type === 'project') {
+                    // Recall = concept-jaccard OR shared-essence-tokens. The essence signal
+                    // catches DRIFTED-concept fork pairs the jaccard misses (the
+                    // recognizer-validated gap: home-coffee-roasting vs ...-activities had
+                    // ~0 concept overlap but share "coffee"+"roasting" in essence). Detection
+                    // is RECALL only + LLM-free; the flag-reviewer is the precision judge
+                    // (same domain + same owner -> merge; different scope -> leave), so a
+                    // looser recall is safe (false pairs get 'leave').
+                    const conceptJac = jaccard(a.concepts, b.concepts);
+                    const essTokens = sharedEssenceTokens(a.essence, b.essence);
+                    const byConcept = conceptJac >= projDupThresh;
+                    const byEssence = essTokens >= essMin;
+                    if ((byConcept || byEssence) && !hasRelationBetween(raw, a.id, b.id)) {
+                        if (flagAlreadyExists(raw, 'project_dup_candidate', a.id, b.id)) {
+                            result.flags_skipped_already_pending += 1;
+                        }
+                        else {
+                            writePipelineFlag(raw, {
+                                flag_type: 'project_dup_candidate',
+                                block_id_a: a.id,
+                                block_id_b: b.id,
+                                criteria: {
+                                    jaccard: Number(conceptJac.toFixed(3)),
+                                    shared_essence_tokens: essTokens,
+                                    signal: byConcept ? (byEssence ? 'concept+essence' : 'concept') : 'essence',
+                                    shared_concepts: a.concepts.filter(c => b.concepts.map(x => x.toLowerCase()).includes(c.toLowerCase())),
+                                    label_a: a.label, label_b: b.label,
+                                },
+                                scope_check: 'different',
+                                origin_writer: 'stage_audit_project_dup',
+                                origin_range_id: null,
+                            });
+                            result.flags_written.project_dup_candidate += 1;
+                        }
+                    }
+                    continue; // both-projects pair handled — don't also scope/island it
+                }
+                // ── scope_disagreement: SAME identity (unique{} primary value) under
+                //    DIFFERENT owner (project_id). Identity is content.unique{}, NOT
+                //    label/essence/source_excerpt (per [[feedback-identity-is-unique-
+                //    not-label]] + the provider-drift finding). This catches the EXACT
+                //    cross-owner collision precisely: "the same specific claim is filed
+                //    under two different projects." It does NOT catch paraphrased-same-
+                //    meaning across owners (different words → different primary_value) —
+                //    that's PARAPHRASE = LLM territory (Stage D / Slice 3 + reviewer),
+                //    explicitly not solved in code per the identity memory. The code
+                //    AUDIT is the precise smoke alarm; Stage D is the semantic sprinkler.
+                const sameIdentity = a.primary_value.length > 0 && a.primary_value === b.primary_value;
+                const differentScope = (a.project_id ?? null) !== (b.project_id ?? null);
+                if (sameIdentity && differentScope) {
+                    if (flagAlreadyExists(raw, 'scope_disagreement', a.id, b.id)) {
+                        result.flags_skipped_already_pending += 1;
+                    }
+                    else {
+                        writePipelineFlag(raw, {
+                            flag_type: 'scope_disagreement',
+                            block_id_a: a.id,
+                            block_id_b: b.id,
+                            criteria: {
+                                similarity_type: 'unique_primary_value',
+                                primary_value: a.primary_value.slice(0, 200),
+                                scope_a: a.project_id, scope_b: b.project_id,
+                            },
+                            scope_check: 'different',
+                            origin_writer: 'stage_audit_scope',
+                            origin_range_id: null,
+                        });
+                        result.flags_written.scope_disagreement += 1;
+                    }
+                    continue; // scope handled — don't also island it
+                }
+                // ── block_dup_candidate: two NON-root blocks under the SAME scope that look
+                //    like the same claim — the recap-restatement gap (reworded same claim
+                //    OR same claim re-typed). Recall = same primary_value (exact identity)
+                //    OR essence-token overlap (the reworded net). SAME-scope is the merge
+                //    guard: cross-scope is scope_disagreement (handled above, must NOT merge);
+                //    only same-scope pairs are merge candidates. The reviewer is the precision
+                //    judge (merge/leave). Skips pairs already in a SUPERSEDES chain (the
+                //    supersede mechanism already collapsed them) — but NOT pairs merely linked
+                //    by supports/contradicts (those ARE the un-merged dups). Opt-in
+                //    (NODEDEX_BLOCK_DUP_DETECT=on) so it stays silent for existing AUDIT users.
+                if (blockDupOn) {
+                    // The pair-decision (same-scope gate + claim/embedding recall) is the ONE
+                    // shared judge — reused verbatim by the inline recognize-before-write path
+                    // so the two seams can never drift. Same-scope is the structural merge guard
+                    // (cross-scope = scope_disagreement, handled above); identity is unique{}
+                    // primary_value, NOT essence (essence carries topic and over-flags). The
+                    // reviewer is the precision judge, so this stays recall-tuned.
+                    const v = judgeBlockDupPair(a, b, { claimMin: blockDupClaim, embedOn: blockDupEmbedOn, embedMin });
+                    if (v.isCandidate && !hasSupersedesBetween(raw, a.id, b.id)) {
+                        if (flagAlreadyExists(raw, 'block_dup_candidate', a.id, b.id)) {
+                            result.flags_skipped_already_pending += 1;
+                        }
+                        else {
+                            writePipelineFlag(raw, {
+                                flag_type: 'block_dup_candidate',
+                                block_id_a: a.id,
+                                block_id_b: b.id,
+                                criteria: {
+                                    signal: v.signal,
+                                    claim_tokens: v.claimTokens,
+                                    embed_sim: v.signal === 'essence_embedding' ? Number(v.embedSim.toFixed(3)) : undefined,
+                                    shared_concepts: sharedConceptCount(a.concepts, b.concepts),
+                                    primary_value: a.primary_value.slice(0, 200),
+                                    scope: a.project_id,
+                                    type_a: a.type, type_b: b.type,
+                                    label_a: a.label, label_b: b.label,
+                                },
+                                scope_check: 'same',
+                                origin_writer: 'stage_audit_block_dup',
+                                origin_range_id: null,
+                            });
+                            result.flags_written.block_dup_candidate += 1;
+                        }
+                        continue; // block-dup handled — don't also island it
+                    }
+                }
+                // ── island_candidate: strong concept overlap, no relation
+                const shared = sharedConceptCount(a.concepts, b.concepts);
+                if (shared >= islandMin && !hasRelationBetween(raw, a.id, b.id)) {
+                    if (flagAlreadyExists(raw, 'island_candidate', a.id, b.id)) {
+                        result.flags_skipped_already_pending += 1;
+                    }
+                    else {
+                        writePipelineFlag(raw, {
+                            flag_type: 'island_candidate',
+                            block_id_a: a.id,
+                            block_id_b: b.id,
+                            criteria: {
+                                shared_concept_count: shared,
+                                shared_concepts: a.concepts.filter(c => b.concepts.map(x => x.toLowerCase()).includes(c.toLowerCase())),
+                                potential_relation_type: 'relates_to',
+                            },
+                            scope_check: 'unknown',
+                            origin_writer: 'stage_audit_islands',
+                            origin_range_id: null,
+                        });
+                        result.flags_written.island_candidate += 1;
+                    }
+                }
+            }
+            catch (e) {
+                result.errors += 1;
+                console.warn(`[stage-audit] pair (${a.id}, ${b.id}) threw: ${e?.message ?? e}`);
+            }
+        }
+    }
+    result.wall_ms = Date.now() - t0;
+    return result;
+}
+// ─── Timer wrapper (env-gated, mirror arc-inactivity-timer) ────────────────────
+//
+// Default OFF. Opt-in via NODEDEX_AUDIT_ENABLED=on. Longer interval than the
+// reviewer (graph-wide scan; no need to be fast) — default 30 min. Round-robins
+// the startOffset across ticks so large graphs eventually get full coverage.
+let _auditHandle = null;
+let _auditInFlight = false;
+let _auditOffset = 0;
+function auditEnabled() {
+    // Default ON (self-maintenance locked-on per release decision 2026-06-20); set =off for dev/test.
+    return (process.env.NODEDEX_AUDIT_ENABLED ?? "").toLowerCase() !== "off";
+}
+function auditIntervalMs() {
+    return intFromEnv("NODEDEX_AUDIT_INTERVAL_MS", 1_800_000); // 30 min default
+}
+async function auditTick(db) {
+    if (_auditInFlight) {
+        console.log("[stage-audit] tick still running, skipping this interval");
+        return;
+    }
+    _auditInFlight = true;
+    try {
+        // Cost breaker (production gap 2, Phase B): self-gate before spending
+        // (audit's spend is embeddings; the flags it writes feed the gated reviewer).
+        const budget = await budgetTripped();
+        if (budget?.tripped) {
+            console.warn(`[stage-audit] tick skipped — cost breaker: ${budget.reason}`);
+            return;
+        }
+        const res = runStageAuditTick({ db, startOffset: _auditOffset });
+        // Advance the round-robin offset; wrap when we've covered the graph.
+        const total = db.getAllBlocks().length;
+        _auditOffset = res.scanned_pairs > 0 && total > 0 ? (_auditOffset + 1) % Math.max(1, total) : 0;
+        const w = res.flags_written;
+        if (w.project_dup_candidate + w.scope_disagreement + w.island_candidate > 0 || res.errors > 0) {
+            console.log(`[stage-audit] tick: pairs=${res.scanned_pairs} ` +
+                `flags={project_dup:${w.project_dup_candidate}, scope:${w.scope_disagreement}, island:${w.island_candidate}} ` +
+                `skipped=${res.flags_skipped_already_pending} errors=${res.errors} wall_ms=${res.wall_ms}`);
+        }
+    }
+    catch (e) {
+        console.warn(`[stage-audit] tick threw: ${e?.message ?? e}`);
+    }
+    finally {
+        _auditInFlight = false;
+    }
+}
+/** Start the Stage AUDIT timer. Idempotent; returns true if started. */
+export function startStageAuditTimer(db) {
+    if (!auditEnabled()) {
+        console.log("[stage-audit] disabled (set NODEDEX_AUDIT_ENABLED=on to enable)");
+        return false;
+    }
+    if (_auditHandle !== null)
+        return false;
+    const intervalMs = auditIntervalMs();
+    console.log(`[stage-audit] starting: interval=${intervalMs}ms`);
+    _auditHandle = setInterval(() => {
+        auditTick(db).catch((e) => console.warn(`[stage-audit] interval tick rejected: ${e?.message ?? e}`));
+    }, intervalMs);
+    if (typeof _auditHandle.unref === "function")
+        _auditHandle.unref();
+    return true;
+}
+/** Stop the Stage AUDIT timer. Used on shutdown + by tests. */
+export function stopStageAuditTimer() {
+    if (_auditHandle !== null) {
+        clearInterval(_auditHandle);
+        _auditHandle = null;
+    }
+}
+/** For tests only — reports whether the timer is currently running. */
+export function _isStageAuditTimerRunningForTests() {
+    return _auditHandle !== null;
+}
+//# sourceMappingURL=stage-audit-graph.js.map

package/dist/middleware/reflect/stage-audit-graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stage-audit-graph.js","sourceRoot":"","sources":["../../../src/middleware/reflect/stage-audit-graph.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,2EAA2E;AAC3E,kFAAkF;AAClF,EAAE;AACF,+EAA+E;AAC/E,8EAA8E;AAC9E,mEAAmE;AACnE,EAAE;AACF,gFAAgF;AAChF,2EAA2E;AAC3E,sDAAsD;AACtD,4EAA4E;AAC5E,0EAA0E;AAC1E,2EAA2E;AAC3E,2EAA2E;AAC3E,kFAAkF;AAClF,EAAE;AACF,8EAA8E;AAC9E,qEAAqE;AACrE,EAAE;AACF,uDAAuD;AACvD,6EAA6E;AAC7E,6EAA6E;AAC7E,EAAE;AACF,8EAA8E;AAC9E,4EAA4E;AAC5E,wEAAwE;AACxE,EAAE;AACF,gCAAgC;AAChC,iCAAiC;AACjC,gFAAgF;AAChF,4EAA4E;AAC5E,gEAAgE;AAChE,mDAAmD;AACnD,6EAA6E;AAG7E,OAAO,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AAC/E,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD,iFAAiF;AAEjF,yEAAyE;AACzE,SAAS,mBAAmB;IAC1B,MAAM,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,mCAAmC,IAAI,EAAE,CAAC,CAAC;IAC5E,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AACzD,CAAC;AAED,gDAAgD;AAChD,SAAS,eAAe;IACtB,OAAO,UAAU,CAAC,iCAAiC,EAAE,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;;gDAGgD;AAChD,SAAS,eAAe;IACtB,OAAO,UAAU,CAAC,yBAAyB,EAAE,IAAI,CAAC,CAAC;AACrD,CAAC;AAED;;+DAE+D;AAC/D,SAAS,iBAAiB;IACxB,OAAO,UAAU,CAAC,2BAA2B,EAAE,CAAC,CAAC,CAAC;AACpD,CAAC;AAED;;+EAE+E;AAC/E,SAAS,qBAAqB;IAC5B,sFAAsF;IACtF,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,wBAAwB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC;AAC9E,CAAC;AAED;;;;;uDAKuD;AACvD,SAAS,gBAAgB;IACvB,OAAO,UAAU,CAAC,6BAA6B,EAAE,CAAC,CAAC,CAAC;AACtD,CAAC;AAED;;;;;;;kFAOkF;AAClF,SAAS,oBAAoB;IAC3B,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC;AAC5E,CAAC;AACD,SAAS,gBAAgB;IACvB,MAAM,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAC;IACpE,mFAAmF;IACnF,qFAAqF;IACrF,kFAAkF;IAClF,qFAAqF;IACrF,mFAAmF;IACnF,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1D,CAAC;AAED,kFAAkF;AAElF,gFAAgF;AAChF,MAAM,UAAU,OAAO,CAAC,CAAW,EAAE,CAAW;IAC9C,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACzD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,KAAK,IAAI,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC;IAC5C,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC;AACzC,CAAC;AAED,gDAAgD;AAChD,MAAM,UAAU,kBAAkB,CAAC,CAAW,EAAE,CAAW;IACzD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACzD,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAC,CAAC,IAAI,CAAC,CAAC;YAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAAC,CAAC;IAC3D,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,+EAA+E;AAC/E,8EAA8E;AAC9E,6EAA6E;AAC7E,6DAA6D;AAC7D,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC;IAChC,KAAK,EAAC,KAAK,EAAC,KAAK,EAAC,MAAM,EAAC,MAAM,EAAC,MAAM,EAAC,MAAM,EAAC,MAAM,EAAC,MAAM,EAAC,KAAK,EAAC,KAAK,EAAC,KAAK;IAC7E,KAAK,EAAC,KAAK,EAAC,KAAK,EAAC,KAAK,EAAC,KAAK,EAAC,OAAO,EAAC,OAAO,EAAC,MAAM,EAAC,MAAM,EAAC,MAAM,EAAC,MAAM,EAAC,MAAM;IAChF,MAAM,EAAC,MAAM,EAAC,MAAM,EAAC,MAAM,EAAC,MAAM,EAAC,MAAM,EAAC,OAAO,EAAC,MAAM,EAAC,MAAM,EAAC,KAAK,EAAC,OAAO;IAC7E,OAAO,EAAC,OAAO,EAAC,MAAM,EAAC,MAAM,EAAC,MAAM,EAAC,MAAM,EAAC,OAAO,EAAC,QAAQ,EAAC,OAAO,EAAC,MAAM;CAC5E,CAAC,CAAC;AAEH;;;;;oDAKoD;AACpD,MAAM,UAAU,mBAAmB,CAAC,CAAS,EAAE,CAAS;IACtD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CACxB,IAAI,GAAG,CACL,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC;SACxC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAC7D,CAAC;IACJ,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,CAAC,IAAI,CAAC,CAAC;IAC1C,OAAO,CAAC,CAAC;AACX,CAAC;AAED,gFAAgF;AAChF,2CAA2C;AAC3C,OAAO,EAAE,SAAS,EAAE,CAAC;AAqBrB,MAAM,UAAU,YAAY,CAAC,CAAQ;IACnC,IAAI,QAAQ,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAE,CAAC,CAAC,QAAmB,IAAI,IAAI,CAAC,CAAC;QAC1D,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,QAAQ,GAAG,MAAM,CAAC;IAC/C,CAAC;IAAC,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC;IAC1B,2EAA2E;IAC3E,iEAAiE;IACjE,IAAI,MAAM,GAA4B,EAAE,CAAC;IACzC,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAE,CAAC,CAAC,OAAkB,IAAI,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI;YAAE,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;IAChF,CAAC;IAAC,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC;IAC1B,MAAM,aAAa,GAAG,6BAA6B,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACzF,IAAI,SAAS,GAAoB,IAAI,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,CAAC,GAAI,CAAS,CAAC,SAAS,CAAC;QAC/B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAAC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;gBAAE,SAAS,GAAG,CAAa,CAAC;QAAC,CAAC;aACnH,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,SAAS,GAAG,CAAa,CAAC;IACvD,CAAC;IAAC,MAAM,CAAC,CAAC,kCAAkC,CAAC,CAAC;IAC9C,OAAO;QACL,EAAE,EAAc,CAAC,CAAC,EAAE;QACpB,KAAK,EAAW,CAAC,CAAC,KAAK;QACvB,IAAI,EAAY,CAAC,CAAC,IAAI;QACtB,QAAQ;QACR,UAAU,EAAO,CAAS,CAAC,UAAU,IAAI,IAAI;QAC7C,cAAc,EAAG,CAAS,CAAC,cAAc,IAAI,IAAI;QACjD,aAAa;QACb,OAAO,EAAS,CAAC,CAAC,OAAO,IAAI,EAAE;QAC/B,SAAS;KACV,CAAC;AACJ,CAAC;AA6BD;;2BAE2B;AAC3B,MAAM,UAAU,iBAAiB;IAC/B,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,EAAE,QAAQ,EAAE,gBAAgB,EAAE,EAAE,CAAC;AACzG,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAa,EAAE,CAAa,EAAE,IAAuB;IACrF,MAAM,SAAS,GAAG,CAAC,CAAC,UAAU,IAAI,IAAI,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU,CAAC;IACxE,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC3G,MAAM,YAAY,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,aAAa,CAAC;IACvF,MAAM,WAAW,GAAG,mBAAmB,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC;IAC1E,iFAAiF;IACjF,qFAAqF;IACrF,oFAAoF;IACpF,qFAAqF;IACrF,oFAAoF;IACpF,uFAAuF;IACvF,uFAAuF;IACvF,kFAAkF;IAClF,qFAAqF;IACrF,mDAAmD;IACnD,MAAM,OAAO,GAAG,WAAW,IAAI,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;IAClE,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS,CAAC;QAChF,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,WAAW,GAAG,QAAQ,IAAI,IAAI,CAAC,QAAQ,IAAI,QAAQ,GAAG,CAAC,CAAC;IAC9D,MAAM,WAAW,GAAG,YAAY,IAAI,OAAO,IAAI,WAAW,CAAC;IAC3D,MAAM,MAAM,GAA0B,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI;QACvD,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,qBAAqB;YACtC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,uBAAuB;gBACnC,CAAC,CAAC,mBAAmB,CAAC;IACxB,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;AACnE,CAAC;AAED,kFAAkF;AAElF,+EAA+E;AAC/E,SAAS,kBAAkB,CAAC,GAAsB,EAAE,GAAW,EAAE,GAAW;IAC1E,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC;;;;;GAKvB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC,GAAG,CAAC;AACf,CAAC;AAED;;;;;;2EAM2E;AAC3E,MAAM,UAAU,oBAAoB,CAAC,GAAsB,EAAE,GAAW,EAAE,GAAW;IACnF,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC;;;;;;GAMvB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC,GAAG,CAAC;AACf,CAAC;AAED;;oEAEoE;AACpE,MAAM,UAAU,iBAAiB,CAC/B,GAAsB,EACtB,SAA2B,EAC3B,GAAW,EACX,GAAW;IAEX,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC;;;;;GAKvB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACzC,OAAO,CAAC,CAAC,GAAG,CAAC;AACf,CAAC;AAWD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAuB;IACvD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,GAAG,GAAI,IAAI,CAAC,EAAU,CAAC,EAAuB,CAAC;IACrD,MAAM,MAAM,GAAyB;QACnC,aAAa,EAAE,CAAC;QAChB,aAAa,EAAE,EAAE,qBAAqB,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,EAAE;QAC/G,6BAA6B,EAAE,CAAC;QAChC,MAAM,EAAE,CAAC;QACT,OAAO,EAAE,CAAC;KACX,CAAC;IAEF,IAAI,MAAoB,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACpD,CAAC;IAAC,OAAO,CAAM,EAAE,CAAC;QAChB,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;QACnB,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC,qCAAqC,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC;QACrE,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,aAAa,GAAG,mBAAmB,EAAE,CAAC;IAC5C,MAAM,MAAM,GAAG,iBAAiB,EAAE,CAAC;IACnC,MAAM,SAAS,GAAG,eAAe,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,eAAe,EAAE,CAAC;IAClC,MAAM,UAAU,GAAG,qBAAqB,EAAE,CAAC;IAC3C,MAAM,eAAe,GAAG,oBAAoB,EAAE,CAAC;IAC/C,MAAM,QAAQ,GAAG,gBAAgB,EAAE,CAAC;IACpC,MAAM,aAAa,GAAG,gBAAgB,EAAE,CAAC;IACzC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAElE,KAAK,EACL,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACrB,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,aAAa,IAAI,OAAO;gBAAE,MAAM,KAAK,CAAC;YACjD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YACrB,MAAM,CAAC,aAAa,IAAI,CAAC,CAAC;YAE1B,IAAI,CAAC;gBACH,yEAAyE;gBACzE,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBACjD,wEAAwE;oBACxE,6DAA6D;oBAC7D,uEAAuE;oBACvE,0EAA0E;oBAC1E,sEAAsE;oBACtE,sEAAsE;oBACtE,mDAAmD;oBACnD,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;oBACnD,MAAM,SAAS,GAAG,mBAAmB,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;oBAC5D,MAAM,SAAS,GAAG,UAAU,IAAI,aAAa,CAAC;oBAC9C,MAAM,SAAS,GAAG,SAAS,IAAI,MAAM,CAAC;oBACtC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;wBACrE,IAAI,iBAAiB,CAAC,GAAG,EAAE,uBAAuB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;4BAChE,MAAM,CAAC,6BAA6B,IAAI,CAAC,CAAC;wBAC5C,CAAC;6BAAM,CAAC;4BACN,iBAAiB,CAAC,GAAG,EAAE;gCACrB,SAAS,EAAE,uBAAuB;gCAClC,UAAU,EAAE,CAAC,CAAC,EAAE;gCAChB,UAAU,EAAE,CAAC,CAAC,EAAE;gCAChB,QAAQ,EAAE;oCACR,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;oCACtC,qBAAqB,EAAE,SAAS;oCAChC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;oCAC3E,eAAe,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;oCACvG,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK;iCACnC;gCACD,WAAW,EAAE,WAAW;gCACxB,aAAa,EAAE,yBAAyB;gCACxC,eAAe,EAAE,IAAI;6BACtB,CAAC,CAAC;4BACH,MAAM,CAAC,aAAa,CAAC,qBAAqB,IAAI,CAAC,CAAC;wBAClD,CAAC;oBACH,CAAC;oBACD,SAAS,CAAC,0DAA0D;gBACtE,CAAC;gBAED,sEAAsE;gBACtE,qEAAqE;gBACrE,sEAAsE;gBACtE,uEAAuE;gBACvE,wEAAwE;gBACxE,wEAAwE;gBACxE,yEAAyE;gBACzE,uEAAuE;gBACvE,qEAAqE;gBACrE,0EAA0E;gBAC1E,MAAM,YAAY,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,aAAa,CAAC;gBACvF,MAAM,cAAc,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,IAAI,IAAI,CAAC,CAAC;gBACzE,IAAI,YAAY,IAAI,cAAc,EAAE,CAAC;oBACnC,IAAI,iBAAiB,CAAC,GAAG,EAAE,oBAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;wBAC7D,MAAM,CAAC,6BAA6B,IAAI,CAAC,CAAC;oBAC5C,CAAC;yBAAM,CAAC;wBACN,iBAAiB,CAAC,GAAG,EAAE;4BACrB,SAAS,EAAE,oBAAoB;4BAC/B,UAAU,EAAE,CAAC,CAAC,EAAE;4BAChB,UAAU,EAAE,CAAC,CAAC,EAAE;4BAChB,QAAQ,EAAE;gCACR,eAAe,EAAE,sBAAsB;gCACvC,aAAa,EAAE,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;gCAC5C,OAAO,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,UAAU;6BAC7C;4BACD,WAAW,EAAE,WAAW;4BACxB,aAAa,EAAE,mBAAmB;4BAClC,eAAe,EAAE,IAAI;yBACtB,CAAC,CAAC;wBACH,MAAM,CAAC,aAAa,CAAC,kBAAkB,IAAI,CAAC,CAAC;oBAC/C,CAAC;oBACD,SAAS,CAAC,uCAAuC;gBACnD,CAAC;gBAED,6EAA6E;gBAC7E,0EAA0E;gBAC1E,2EAA2E;gBAC3E,0EAA0E;gBAC1E,+EAA+E;gBAC/E,+EAA+E;gBAC/E,yEAAyE;gBACzE,+EAA+E;gBAC/E,oEAAoE;gBACpE,gFAAgF;gBAChF,IAAI,UAAU,EAAE,CAAC;oBACf,0EAA0E;oBAC1E,2EAA2E;oBAC3E,6EAA6E;oBAC7E,0EAA0E;oBAC1E,yEAAyE;oBACzE,+DAA+D;oBAC/D,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC,CAAC;oBACnG,IAAI,CAAC,CAAC,WAAW,IAAI,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;wBAC5D,IAAI,iBAAiB,CAAC,GAAG,EAAE,qBAAqB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;4BAC9D,MAAM,CAAC,6BAA6B,IAAI,CAAC,CAAC;wBAC5C,CAAC;6BAAM,CAAC;4BACN,iBAAiB,CAAC,GAAG,EAAE;gCACrB,SAAS,EAAE,qBAAqB;gCAChC,UAAU,EAAE,CAAC,CAAC,EAAE;gCAChB,UAAU,EAAE,CAAC,CAAC,EAAE;gCAChB,QAAQ,EAAE;oCACR,MAAM,EAAE,CAAC,CAAC,MAAM;oCAChB,YAAY,EAAE,CAAC,CAAC,WAAW;oCAC3B,SAAS,EAAE,CAAC,CAAC,MAAM,KAAK,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;oCACvF,eAAe,EAAE,kBAAkB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC;oCAC3D,aAAa,EAAE,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;oCAC5C,KAAK,EAAE,CAAC,CAAC,UAAU;oCACnB,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI;oCAC9B,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK;iCACnC;gCACD,WAAW,EAAE,MAAM;gCACnB,aAAa,EAAE,uBAAuB;gCACtC,eAAe,EAAE,IAAI;6BACtB,CAAC,CAAC;4BACH,MAAM,CAAC,aAAa,CAAC,mBAAmB,IAAI,CAAC,CAAC;wBAChD,CAAC;wBACD,SAAS,CAAC,2CAA2C;oBACvD,CAAC;gBACH,CAAC;gBAED,2DAA2D;gBAC3D,MAAM,MAAM,GAAG,kBAAkB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAC1D,IAAI,MAAM,IAAI,SAAS,IAAI,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;oBAChE,IAAI,iBAAiB,CAAC,GAAG,EAAE,kBAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;wBAC3D,MAAM,CAAC,6BAA6B,IAAI,CAAC,CAAC;oBAC5C,CAAC;yBAAM,CAAC;wBACN,iBAAiB,CAAC,GAAG,EAAE;4BACrB,SAAS,EAAE,kBAAkB;4BAC7B,UAAU,EAAE,CAAC,CAAC,EAAE;4BAChB,UAAU,EAAE,CAAC,CAAC,EAAE;4BAChB,QAAQ,EAAE;gCACR,oBAAoB,EAAE,MAAM;gCAC5B,eAAe,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;gCACvG,uBAAuB,EAAE,YAAY;6BACtC;4BACD,WAAW,EAAE,SAAS;4BACtB,aAAa,EAAE,qBAAqB;4BACpC,eAAe,EAAE,IAAI;yBACtB,CAAC,CAAC;wBACH,MAAM,CAAC,aAAa,CAAC,gBAAgB,IAAI,CAAC,CAAC;oBAC7C,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,OAAO,CAAM,EAAE,CAAC;gBAChB,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;gBACnB,OAAO,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;IACjC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,kFAAkF;AAClF,EAAE;AACF,6EAA6E;AAC7E,gFAAgF;AAChF,6EAA6E;AAE7E,IAAI,YAAY,GAA0C,IAAI,CAAC;AAC/D,IAAI,cAAc,GAAG,KAAK,CAAC;AAC3B,IAAI,YAAY,GAAG,CAAC,CAAC;AAErB,SAAS,YAAY;IACnB,kGAAkG;IAClG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,qBAAqB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC;AAC3E,CAAC;AAED,SAAS,eAAe;IACtB,OAAO,UAAU,CAAC,2BAA2B,EAAE,SAAS,CAAC,CAAC,CAAC,iBAAiB;AAC9E,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,EAAe;IACtC,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,CAAC,GAAG,CAAC,0DAA0D,CAAC,CAAC;QACxE,OAAO;IACT,CAAC;IACD,cAAc,GAAG,IAAI,CAAC;IACtB,IAAI,CAAC;QACH,sEAAsE;QACtE,8EAA8E;QAC9E,MAAM,MAAM,GAAG,MAAM,aAAa,EAAE,CAAC;QACrC,IAAI,MAAM,EAAE,OAAO,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,8CAA8C,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YAC5E,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,iBAAiB,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC,CAAC;QACjE,qEAAqE;QACrE,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC;QACvC,YAAY,GAAG,GAAG,CAAC,aAAa,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChG,MAAM,CAAC,GAAG,GAAG,CAAC,aAAa,CAAC;QAC5B,IAAI,CAAC,CAAC,qBAAqB,GAAG,CAAC,CAAC,kBAAkB,GAAG,CAAC,CAAC,gBAAgB,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9F,OAAO,CAAC,GAAG,CACT,6BAA6B,GAAG,CAAC,aAAa,GAAG;gBACjD,sBAAsB,CAAC,CAAC,qBAAqB,WAAW,CAAC,CAAC,kBAAkB,YAAY,CAAC,CAAC,gBAAgB,IAAI;gBAC9G,WAAW,GAAG,CAAC,6BAA6B,WAAW,GAAG,CAAC,MAAM,YAAY,GAAG,CAAC,OAAO,EAAE,CAC3F,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,OAAO,CAAM,EAAE,CAAC;QAChB,OAAO,CAAC,IAAI,CAAC,6BAA6B,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC;YAAS,CAAC;QACT,cAAc,GAAG,KAAK,CAAC;IACzB,CAAC;AACH,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,oBAAoB,CAAC,EAAe;IAClD,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,iEAAiE,CAAC,CAAC;QAC/E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,YAAY,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,UAAU,GAAG,eAAe,EAAE,CAAC;IACrC,OAAO,CAAC,GAAG,CAAC,oCAAoC,UAAU,IAAI,CAAC,CAAC;IAChE,YAAY,GAAG,WAAW,CAAC,GAAG,EAAE;QAC9B,SAAS,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,yCAAyC,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5G,CAAC,EAAE,UAAU,CAAC,CAAC;IACf,IAAI,OAAO,YAAY,CAAC,KAAK,KAAK,UAAU;QAAE,YAAY,CAAC,KAAK,EAAE,CAAC;IACnE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,mBAAmB;IACjC,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,aAAa,CAAC,YAAY,CAAC,CAAC;QAC5B,YAAY,GAAG,IAAI,CAAC;IACtB,CAAC;AACH,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,iCAAiC;IAC/C,OAAO,YAAY,KAAK,IAAI,CAAC;AAC/B,CAAC"}