hippo-memory 1.14.0 → 1.16.0

package/dist/src/policies.js

@@ -0,0 +1,380 @@
+/**
+ * E2 policy first-class object (docs/plans/2026-05-30-e2-policy-object.md).
+ *
+ * The "bi-temporal-first" object type: a named rule/statement that is in force
+ * over an EFFECTIVE-TIME range and evolves via supersession. Two time axes:
+ *
+ *  - Valid time (effective time): when the policy is in force in the real world,
+ *    as first-class columns `valid_from` (required; defaults to creation time)
+ *    and `valid_to` (nullable = open-ended). This is the queryable axis: see
+ *    `loadPoliciesAsOf` (the active policies in force at a given valid-time).
+ *  - Transaction time (system time): when the row was recorded / retired, via
+ *    `created_at` + the supersede chain's `superseded_at`. Present, but
+ *    time-travel ("what did we BELIEVE was in force at past system time T") is
+ *    deferred to a future version.
+ *
+ * The delta lifecycle reuses the process/decision supersede machinery verbatim
+ * (superseded_by self-FK + CAS + INSERT-preflight + server-derived version +
+ * change_summary + supersede tenant-match trigger). It DROPS process's `steps`
+ * (a policy has `policy_text`) and ADDS `valid_from`/`valid_to`.
+ *
+ * The `policies` table is the source of truth (survives memory decay); the
+ * memory mirror is for recall only. memory_id is NULLABLE with ON DELETE SET
+ * NULL so forget/consolidate/archive gracefully orphans the policy row.
+ *
+ * Lifecycle: active -> superseded (a newer version replaces it) or active ->
+ * closed (retired with no successor). Superseding leaves the predecessor's
+ * valid-time range intact (it WAS effective then); only the status flips.
+ *
+ * Date handling: every date input (savePolicy's valid_from/valid_to,
+ * loadPoliciesAsOf's asOfDate) is normalized to canonical ISO-8601 datetime
+ * (`toISOString`) at the store boundary BEFORE any persist or compare, so the
+ * fixed-width values sort lexically and the half-open [valid_from, valid_to)
+ * comparison is correct (plan-eng-critic round-1 CRIT fix: a date-only asOf vs a
+ * datetime valid_from otherwise made a same-day policy invisible).
+ *
+ * Dual-write atomicity: `savePolicy` writes the memory + policies row (and, on
+ * supersede, the predecessor's UPDATE) inside writeEntry's SAVEPOINT.
+ */
+import { openHippoDb, closeHippoDb } from './db.js';
+import { writeEntry, assertTenantId } from './store.js';
+import { createMemory, Layer, POLICY_HALF_LIFE_DAYS } from './memory.js';
+import { appendAuditEvent } from './audit.js';
+export const VALID_POLICY_STATES = new Set([
+    'active',
+    'superseded',
+    'closed',
+]);
+// ---------------------------------------------------------------------------
+// Date normalization + validation (the bi-temporal correctness core)
+// ---------------------------------------------------------------------------
+/**
+ * Parse + canonicalize a date input to ISO-8601 datetime (`toISOString`). Throws
+ * on an unparseable value. Whatever `new Date()` accepts is re-emitted in the
+ * single fixed-width canonical form, so date-only and datetime inputs collapse to
+ * comparable values and lexical ordering is sound. (Overflow inputs like
+ * '2026-02-30' roll forward per JS Date semantics rather than throwing; the
+ * stored value is still canonical.)
+ */
+export function normalizePolicyDate(input, label = 'date') {
+    const d = new Date(input);
+    if (Number.isNaN(d.getTime())) {
+        throw new Error(`policy: invalid ${label} "${input}" (expected an ISO-8601 date or datetime)`);
+    }
+    return d.toISOString();
+}
+/**
+ * Normalize valid_from (defaulting to `nowIso` when undefined) + valid_to (null
+ * when undefined), then enforce valid_to > valid_from. Returns the canonical pair.
+ */
+export function validatePolicyDates(validFromRaw, validToRaw, nowIso) {
+    const validFrom = validFromRaw !== undefined ? normalizePolicyDate(validFromRaw, 'valid_from') : nowIso;
+    const validTo = validToRaw !== undefined && validToRaw !== null
+        ? normalizePolicyDate(validToRaw, 'valid_to')
+        : null;
+    if (validTo !== null && validTo <= validFrom) {
+        throw new Error(`policy: valid_to (${validTo}) must be strictly after valid_from (${validFrom})`);
+    }
+    return { validFrom, validTo };
+}
+function rowToPolicy(row) {
+    return {
+        id: row.id,
+        memoryId: row.memory_id,
+        tenantId: row.tenant_id,
+        policyName: row.policy_name,
+        policyText: row.policy_text,
+        validFrom: row.valid_from,
+        validTo: row.valid_to,
+        version: row.version,
+        status: row.status,
+        supersededBy: row.superseded_by,
+        supersededAt: row.superseded_at,
+        changeSummary: row.change_summary,
+        closedAt: row.closed_at,
+        createdAt: row.created_at,
+    };
+}
+const POLICY_COLS = `
+  id, memory_id, tenant_id, policy_name, policy_text, valid_from, valid_to,
+  version, status, superseded_by, superseded_at, change_summary, closed_at, created_at
+`;
+/** Recall-surface content for the memory mirror: name + rule + effective range. */
+function buildPolicyContent(policyName, policyText, validFrom, validTo) {
+    const range = validTo ? `${validFrom} to ${validTo}` : `${validFrom} onward`;
+    return `${policyName}\n\n${policyText}\n\nEffective: ${range}`;
+}
+// ---------------------------------------------------------------------------
+// Public API
+// ---------------------------------------------------------------------------
+/**
+ * Create a policy (or a new version that supersedes an existing one). Writes the
+ * memory mirror + the policies row atomically inside writeEntry's SAVEPOINT.
+ * valid_from defaults to now; valid_to must be > valid_from (validatePolicyDates).
+ * When supersedesPolicyId is given, the referenced ACTIVE row is preflighted
+ * (status + version) BEFORE the INSERT, then CAS-UPDATEd -> superseded in the same
+ * SAVEPOINT; the new version = predecessor.version + 1 (server-derived).
+ */
+export function savePolicy(hippoRoot, tenantId, opts, actor = 'cli') {
+    assertTenantId('savePolicy', tenantId);
+    if (!opts.policyName || opts.policyName.trim().length === 0) {
+        throw new Error('savePolicy: policyName is required');
+    }
+    if (!opts.policyText || opts.policyText.trim().length === 0) {
+        throw new Error('savePolicy: policyText is required');
+    }
+    const now = new Date().toISOString();
+    // valid_from defaults to the precise creation instant (the honest effective
+    // time). The same-day date-only as-of workflow is handled on the READ side
+    // (a date-only asOf resolves to end-of-day in loadPoliciesAsOf), NOT by
+    // backdating the stored valid_from - backdating to midnight would make an
+    // earlier-same-day as-of wrongly report the policy already in force and would
+    // hide a superseded predecessor for that earlier time (codex review
+    // 2026-05-30 round 2). An explicit --from is honored as-is.
+    const { validFrom, validTo } = validatePolicyDates(opts.validFrom, opts.validTo, now);
+    const isSupersede = opts.supersedesPolicyId !== undefined;
+    const changeSummary = isSupersede ? (opts.changeSummary ?? null) : null;
+    const content = buildPolicyContent(opts.policyName, opts.policyText, validFrom, validTo);
+    const tags = ['policy', ...(opts.extraTags ?? [])];
+    const mem = createMemory(content, {
+        tags,
+        layer: Layer.Semantic,
+        confidence: 'verified',
+        source: 'policy',
+        tenantId,
+    });
+    mem.half_life_days = POLICY_HALF_LIFE_DAYS;
+    let savedRow;
+    writeEntry(hippoRoot, mem, {
+        actor,
+        afterWrite: (db, memoryId) => {
+            // Preflight the supersede target BEFORE inserting the new row (so the new
+            // autoincrement id can never be its own supersede target); read the
+            // predecessor version in the same SELECT for server-derived versioning.
+            // Mirrors saveProcess / saveDecision (codex P1 2026-05-28).
+            let version = 1;
+            if (opts.supersedesPolicyId !== undefined) {
+                const pred = db.prepare(`SELECT status, version FROM policies WHERE id = ? AND tenant_id = ?`).get(opts.supersedesPolicyId, tenantId);
+                if (!pred) {
+                    throw new Error(`savePolicy: policy ${opts.supersedesPolicyId} to supersede not found for tenant ${tenantId}`);
+                }
+                if (pred.status !== 'active') {
+                    throw new Error(`savePolicy: policy ${opts.supersedesPolicyId} is not active (status='${pred.status}'); only active policies can be superseded.`);
+                }
+                version = pred.version + 1;
+            }
+            const result = db.prepare(`
+        INSERT INTO policies(
+          memory_id, tenant_id, policy_name, policy_text, valid_from, valid_to,
+          version, status, superseded_by, superseded_at, change_summary, closed_at, created_at
+        ) VALUES (?, ?, ?, ?, ?, ?, ?, 'active', NULL, NULL, ?, NULL, ?)
+      `).run(memoryId, tenantId, opts.policyName, opts.policyText, validFrom, validTo, version, changeSummary, now);
+            const policyId = Number(result.lastInsertRowid ?? 0);
+            if (opts.supersedesPolicyId !== undefined) {
+                const sup = db.prepare(`
+          UPDATE policies
+          SET status = 'superseded', superseded_by = ?, superseded_at = ?
+          WHERE id = ? AND tenant_id = ? AND status = 'active' AND id != ?
+        `).run(policyId, now, opts.supersedesPolicyId, tenantId, policyId);
+                if (sup.changes === 0) {
+                    throw new Error(`savePolicy: policy ${opts.supersedesPolicyId} could not be superseded (no longer active or self-reference).`);
+                }
+                appendAuditEvent(db, {
+                    tenantId,
+                    actor,
+                    op: 'policy_supersede',
+                    targetId: String(opts.supersedesPolicyId),
+                    metadata: {
+                        policy_id: opts.supersedesPolicyId,
+                        superseded_by: policyId,
+                        new_version: version,
+                    },
+                });
+            }
+            const row = db.prepare(`SELECT ${POLICY_COLS} FROM policies WHERE id = ?`)
+                .get(policyId);
+            if (!row)
+                throw new Error('savePolicy: failed to reload saved policy row');
+            savedRow = row;
+            // GDPR-light metadata: ids + flags only, no policy text.
+            appendAuditEvent(db, {
+                tenantId,
+                actor,
+                op: 'policy_create',
+                targetId: String(policyId),
+                metadata: {
+                    policy_id: policyId,
+                    version,
+                    open_ended: validTo === null,
+                },
+            });
+        },
+    });
+    if (!savedRow) {
+        throw new Error('savePolicy: afterWrite did not populate the row');
+    }
+    return rowToPolicy(savedRow);
+}
+/**
+ * Close (retire) an active policy with no successor. CAS guard WHERE
+ * status='active'; 0 changes distinguishes not-found from not-active. A
+ * superseded row is terminal and cannot be closed.
+ */
+export function closePolicy(hippoRoot, tenantId, id, actor = 'cli') {
+    assertTenantId('closePolicy', tenantId);
+    const now = new Date().toISOString();
+    const db = openHippoDb(hippoRoot);
+    try {
+        db.exec('BEGIN IMMEDIATE');
+        try {
+            const updateResult = db.prepare(`
+        UPDATE policies
+        SET status = 'closed', closed_at = ?
+        WHERE id = ? AND tenant_id = ? AND status = 'active'
+      `).run(now, id, tenantId);
+            if (updateResult.changes === 0) {
+                const existing = db.prepare(`SELECT status FROM policies WHERE id = ? AND tenant_id = ?`).get(id, tenantId);
+                if (!existing) {
+                    throw new Error(`closePolicy: policy ${id} not found for tenant ${tenantId}`);
+                }
+                throw new Error(`closePolicy: policy ${id} is not active (status='${existing.status}'); only active policies can be closed.`);
+            }
+            const row = db.prepare(`SELECT ${POLICY_COLS} FROM policies WHERE id = ? AND tenant_id = ?`)
+                .get(id, tenantId);
+            if (!row)
+                throw new Error(`closePolicy: policy ${id} not found after UPDATE`);
+            appendAuditEvent(db, {
+                tenantId,
+                actor,
+                op: 'policy_close',
+                targetId: String(id),
+                metadata: { policy_id: id },
+            });
+            db.exec('COMMIT');
+            return rowToPolicy(row);
+        }
+        catch (e) {
+            try {
+                db.exec('ROLLBACK');
+            }
+            catch {
+                // Ignore rollback failures — the throw below is what matters.
+            }
+            throw e;
+        }
+    }
+    finally {
+        closeHippoDb(db);
+    }
+}
+export function loadPolicyById(hippoRoot, tenantId, id) {
+    assertTenantId('loadPolicyById', tenantId);
+    const db = openHippoDb(hippoRoot);
+    try {
+        const row = db.prepare(`SELECT ${POLICY_COLS} FROM policies WHERE id = ? AND tenant_id = ?`)
+            .get(id, tenantId);
+        return row ? rowToPolicy(row) : null;
+    }
+    finally {
+        closeHippoDb(db);
+    }
+}
+export function loadPolicies(hippoRoot, tenantId, opts = {}) {
+    assertTenantId('loadPolicies', tenantId);
+    const limit = opts.limit ?? 100;
+    const db = openHippoDb(hippoRoot);
+    try {
+        let rows;
+        if (opts.status) {
+            if (!VALID_POLICY_STATES.has(opts.status)) {
+                throw new Error(`loadPolicies: status must be one of ${Array.from(VALID_POLICY_STATES).join('|')}; got ${opts.status}`);
+            }
+            rows = db.prepare(`
+        SELECT ${POLICY_COLS} FROM policies
+        WHERE tenant_id = ? AND status = ?
+        ORDER BY created_at DESC, id DESC
+        LIMIT ?
+      `).all(tenantId, opts.status, limit);
+        }
+        else {
+            rows = db.prepare(`
+        SELECT ${POLICY_COLS} FROM policies
+        WHERE tenant_id = ?
+        ORDER BY created_at DESC, id DESC
+        LIMIT ?
+      `).all(tenantId, limit);
+        }
+        return rows.map(rowToPolicy);
+    }
+    finally {
+        closeHippoDb(db);
+    }
+}
+export function loadActivePolicies(hippoRoot, tenantId, opts = {}) {
+    return loadPolicies(hippoRoot, tenantId, { status: 'active', limit: opts.limit });
+}
+/**
+ * The bi-temporal as-of query: the policies in force at `asOfDate` (a valid-time)
+ * per current knowledge. Half-open interval [valid_from, valid_to): a row covers
+ * T when valid_from <= asOf AND (valid_to IS NULL OR asOf < valid_to). asOfDate is
+ * normalized to canonical datetime first so the lexical comparison is sound.
+ *
+ * A row is returned when it covers T AND it is the live answer for T:
+ *  - `active` rows that cover T, OR
+ *  - `superseded` rows that cover T BUT whose successor was not yet effective at T
+ *    (successor.valid_from > asOf) - i.e. an earlier version that was genuinely in
+ *    force then. This is the core valid-time correctness: a Jan-Jun policy
+ *    superseded in May is still the answer for `asof March`. (codex review
+ *    2026-05-30, P2 #2: filtering on status='active' alone dropped historically-
+ *    valid superseded versions, conflating transaction-time with valid-time. The
+ *    successor-aware filter mirrors the existing recall-history.ts asOf pattern.)
+ *
+ * `closed` rows are EXCLUDED: closing is a deliberate transaction-time retirement,
+ * and resurrecting closed policies for a historical valid-time is full
+ * transaction-time-travel (deferred). Returns an ARRAY (overlapping same-name
+ * ranges are allowed in v1). Optionally filtered to one policy_name.
+ *
+ * Date-only `asOfDate` (e.g. "2026-05-30", no time component) resolves to the END
+ * of that UTC day (23:59:59.999Z), so "as of [day D]" includes a policy that
+ * became effective at any instant during D - this is the read-side fix for the
+ * common create-then-asof-today workflow, keeping the stored valid_from honest
+ * (codex review 2026-05-30). A full datetime asOf is used as the precise instant.
+ */
+export function loadPoliciesAsOf(hippoRoot, tenantId, asOfDate, opts = {}) {
+    assertTenantId('loadPoliciesAsOf', tenantId);
+    // A bare date means "as of (the whole of) that day" -> end-of-day instant; a
+    // datetime is used precisely. normalizePolicyDate validates/canonicalizes both.
+    const asOf = /^\d{4}-\d{2}-\d{2}$/.test(asOfDate.trim())
+        ? normalizePolicyDate(`${asOfDate.trim()}T23:59:59.999Z`, 'asOfDate')
+        : normalizePolicyDate(asOfDate, 'asOfDate');
+    const limit = opts.limit ?? 100;
+    const db = openHippoDb(hippoRoot);
+    try {
+        // LEFT JOIN the successor so a superseded row is kept only while its
+        // successor is not yet effective at asOf. p.status != 'closed' drops retired
+        // rows; the OR keeps active heads + still-in-force superseded versions.
+        const nameClause = opts.name !== undefined ? 'AND p.policy_name = ?' : '';
+        const params = [tenantId, asOf, asOf, asOf];
+        if (opts.name !== undefined)
+            params.push(opts.name);
+        params.push(limit);
+        const rows = db.prepare(`
+      SELECT p.id, p.memory_id, p.tenant_id, p.policy_name, p.policy_text,
+             p.valid_from, p.valid_to, p.version, p.status, p.superseded_by,
+             p.superseded_at, p.change_summary, p.closed_at, p.created_at
+      FROM policies p
+      LEFT JOIN policies s ON s.id = p.superseded_by
+      WHERE p.tenant_id = ? AND p.status != 'closed'
+        AND p.valid_from <= ? AND (p.valid_to IS NULL OR ? < p.valid_to)
+        AND (p.status = 'active' OR (s.id IS NOT NULL AND s.valid_from > ?))
+        ${nameClause}
+      ORDER BY p.valid_from DESC, p.id DESC
+      LIMIT ?
+    `).all(...params);
+        return rows.map(rowToPolicy);
+    }
+    finally {
+        closeHippoDb(db);
+    }
+}
+//# sourceMappingURL=policies.js.map

package/dist/src/policies.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policies.js","sourceRoot":"","sources":["../../src/policies.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAQ9C,MAAM,CAAC,MAAM,mBAAmB,GAA8B,IAAI,GAAG,CAAe;IAClF,QAAQ;IACR,YAAY;IACZ,QAAQ;CACT,CAAC,CAAC;AA6CH,8EAA8E;AAC9E,qEAAqE;AACrE,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAa,EAAE,QAAgB,MAAM;IACvE,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,KAAK,KAAK,2CAA2C,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;AACzB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,YAAgC,EAChC,UAA8B,EAC9B,MAAc;IAEd,MAAM,SAAS,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACxG,MAAM,OAAO,GAAG,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,IAAI;QAC7D,CAAC,CAAC,mBAAmB,CAAC,UAAU,EAAE,UAAU,CAAC;QAC7C,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,IAAI,SAAS,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CACb,qBAAqB,OAAO,wCAAwC,SAAS,GAAG,CACjF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;AAChC,CAAC;AAuBD,SAAS,WAAW,CAAC,GAAc;IACjC,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,QAAQ,EAAE,GAAG,CAAC,SAAS;QACvB,QAAQ,EAAE,GAAG,CAAC,SAAS;QACvB,UAAU,EAAE,GAAG,CAAC,WAAW;QAC3B,UAAU,EAAE,GAAG,CAAC,WAAW;QAC3B,SAAS,EAAE,GAAG,CAAC,UAAU;QACzB,OAAO,EAAE,GAAG,CAAC,QAAQ;QACrB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,MAAM,EAAE,GAAG,CAAC,MAAsB;QAClC,YAAY,EAAE,GAAG,CAAC,aAAa;QAC/B,YAAY,EAAE,GAAG,CAAC,aAAa;QAC/B,aAAa,EAAE,GAAG,CAAC,cAAc;QACjC,QAAQ,EAAE,GAAG,CAAC,SAAS;QACvB,SAAS,EAAE,GAAG,CAAC,UAAU;KAC1B,CAAC;AACJ,CAAC;AAED,MAAM,WAAW,GAAG;;;CAGnB,CAAC;AAEF,mFAAmF;AACnF,SAAS,kBAAkB,CACzB,UAAkB,EAClB,UAAkB,EAClB,SAAiB,EACjB,OAAsB;IAEtB,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,SAAS,OAAO,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,SAAS,SAAS,CAAC;IAC7E,OAAO,GAAG,UAAU,OAAO,UAAU,kBAAkB,KAAK,EAAE,CAAC;AACjE,CAAC;AAED,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CACxB,SAAiB,EACjB,QAAgB,EAChB,IAAoB,EACpB,QAAgB,KAAK;IAErB,cAAc,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,4EAA4E;IAC5E,2EAA2E;IAC3E,wEAAwE;IACxE,0EAA0E;IAC1E,8EAA8E;IAC9E,oEAAoE;IACpE,4DAA4D;IAC5D,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,mBAAmB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACtF,MAAM,WAAW,GAAG,IAAI,CAAC,kBAAkB,KAAK,SAAS,CAAC;IAC1D,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAExE,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACzF,MAAM,IAAI,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;IACnD,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,EAAE;QAChC,IAAI;QACJ,KAAK,EAAE,KAAK,CAAC,QAAQ;QACrB,UAAU,EAAE,UAAU;QACtB,MAAM,EAAE,QAAQ;QAChB,QAAQ;KACT,CAAC,CAAC;IACH,GAAG,CAAC,cAAc,GAAG,qBAAqB,CAAC;IAE3C,IAAI,QAA+B,CAAC;IAEpC,UAAU,CAAC,SAAS,EAAE,GAAG,EAAE;QACzB,KAAK;QACL,UAAU,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE;YAC3B,0EAA0E;YAC1E,oEAAoE;YACpE,wEAAwE;YACxE,4DAA4D;YAC5D,IAAI,OAAO,GAAG,CAAC,CAAC;YAChB,IAAI,IAAI,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;gBAC1C,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,qEAAqE,CACtE,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,EAAE,QAAQ,CAE1B,CAAC;gBACd,IAAI,CAAC,IAAI,EAAE,CAAC;oBACV,MAAM,IAAI,KAAK,CACb,sBAAsB,IAAI,CAAC,kBAAkB,sCAAsC,QAAQ,EAAE,CAC9F,CAAC;gBACJ,CAAC;gBACD,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBAC7B,MAAM,IAAI,KAAK,CACb,sBAAsB,IAAI,CAAC,kBAAkB,2BAA2B,IAAI,CAAC,MAAM,6CAA6C,CACjI,CAAC;gBACJ,CAAC;gBACD,OAAO,GAAG,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;YAC7B,CAAC;YAED,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC;;;;;OAKzB,CAAC,CAAC,GAAG,CACJ,QAAQ,EACR,QAAQ,EACR,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,UAAU,EACf,SAAS,EACT,OAAO,EACP,OAAO,EACP,aAAa,EACb,GAAG,CACJ,CAAC;YACF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,eAAe,IAAI,CAAC,CAAC,CAAC;YAErD,IAAI,IAAI,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;gBAC1C,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC;;;;SAItB,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,kBAAkB,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBACnE,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;oBACtB,MAAM,IAAI,KAAK,CACb,sBAAsB,IAAI,CAAC,kBAAkB,gEAAgE,CAC9G,CAAC;gBACJ,CAAC;gBACD,gBAAgB,CAAC,EAAE,EAAE;oBACnB,QAAQ;oBACR,KAAK;oBACL,EAAE,EAAE,kBAAkB;oBACtB,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC;oBACzC,QAAQ,EAAE;wBACR,SAAS,EAAE,IAAI,CAAC,kBAAkB;wBAClC,aAAa,EAAE,QAAQ;wBACvB,WAAW,EAAE,OAAO;qBACrB;iBACF,CAAC,CAAC;YACL,CAAC;YAED,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,WAAW,6BAA6B,CAAC;iBACvE,GAAG,CAAC,QAAQ,CAA0B,CAAC;YAC1C,IAAI,CAAC,GAAG;gBAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;YAC3E,QAAQ,GAAG,GAAG,CAAC;YAEf,yDAAyD;YACzD,gBAAgB,CAAC,EAAE,EAAE;gBACnB,QAAQ;gBACR,KAAK;gBACL,EAAE,EAAE,eAAe;gBACnB,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC;gBAC1B,QAAQ,EAAE;oBACR,SAAS,EAAE,QAAQ;oBACnB,OAAO;oBACP,UAAU,EAAE,OAAO,KAAK,IAAI;iBAC7B;aACF,CAAC,CAAC;QACL,CAAC;KACF,CAAC,CAAC;IAEH,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,WAAW,CAAC,QAAQ,CAAC,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CACzB,SAAiB,EACjB,QAAgB,EAChB,EAAU,EACV,QAAgB,KAAK;IAErB,cAAc,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,EAAE,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;IAClC,IAAI,CAAC;QACH,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC3B,IAAI,CAAC;YACH,MAAM,YAAY,GAAG,EAAE,CAAC,OAAO,CAAC;;;;OAI/B,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;YAE1B,IAAI,YAAY,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;gBAC/B,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,CACzB,4DAA4D,CAC7D,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAmC,CAAC;gBACtD,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,MAAM,IAAI,KAAK,CAAC,uBAAuB,EAAE,yBAAyB,QAAQ,EAAE,CAAC,CAAC;gBAChF,CAAC;gBACD,MAAM,IAAI,KAAK,CACb,uBAAuB,EAAE,2BAA2B,QAAQ,CAAC,MAAM,yCAAyC,CAC7G,CAAC;YACJ,CAAC;YAED,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,WAAW,+CAA+C,CAAC;iBACzF,GAAG,CAAC,EAAE,EAAE,QAAQ,CAA0B,CAAC;YAC9C,IAAI,CAAC,GAAG;gBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,EAAE,yBAAyB,CAAC,CAAC;YAE9E,gBAAgB,CAAC,EAAE,EAAE;gBACnB,QAAQ;gBACR,KAAK;gBACL,EAAE,EAAE,cAAc;gBAClB,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;gBACpB,QAAQ,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;aAC5B,CAAC,CAAC;YAEH,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClB,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC;gBACH,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACtB,CAAC;YAAC,MAAM,CAAC;gBACP,8DAA8D;YAChE,CAAC;YACD,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;YAAS,CAAC;QACT,YAAY,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,SAAiB,EACjB,QAAgB,EAChB,EAAU;IAEV,cAAc,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;IAClC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,WAAW,+CAA+C,CAAC;aACzF,GAAG,CAAC,EAAE,EAAE,QAAQ,CAA0B,CAAC;QAC9C,OAAO,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvC,CAAC;YAAS,CAAC;QACT,YAAY,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,SAAiB,EACjB,QAAgB,EAChB,OAAyB,EAAE;IAE3B,cAAc,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,GAAG,CAAC;IAChC,MAAM,EAAE,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;IAClC,IAAI,CAAC;QACH,IAAI,IAAiB,CAAC;QACtB,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1C,MAAM,IAAI,KAAK,CACb,uCAAuC,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,CAAC,MAAM,EAAE,CACvG,CAAC;YACJ,CAAC;YACD,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC;iBACP,WAAW;;;;OAIrB,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,CAAgB,CAAC;QACtD,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC;iBACP,WAAW;;;;OAIrB,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAgB,CAAC;QACzC,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC/B,CAAC;YAAS,CAAC;QACT,YAAY,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,SAAiB,EACjB,QAAgB,EAChB,OAA2B,EAAE;IAE7B,OAAO,YAAY,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;AACpF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,UAAU,gBAAgB,CAC9B,SAAiB,EACjB,QAAgB,EAChB,QAAgB,EAChB,OAA0C,EAAE;IAE5C,cAAc,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC;IAC7C,6EAA6E;IAC7E,gFAAgF;IAChF,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtD,CAAC,CAAC,mBAAmB,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,gBAAgB,EAAE,UAAU,CAAC;QACrE,CAAC,CAAC,mBAAmB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,GAAG,CAAC;IAChC,MAAM,EAAE,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;IAClC,IAAI,CAAC;QACH,qEAAqE;QACrE,6EAA6E;QAC7E,wEAAwE;QACxE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,MAAM,MAAM,GAA2B,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACpE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC;;;;;;;;;UASlB,UAAU;;;KAGf,CAAC,CAAC,GAAG,CAAC,GAAG,MAAM,CAAgB,CAAC;QACjC,OAAO,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC/B,CAAC;YAAS,CAAC;QACT,YAAY,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;AACH,CAAC"}