@principles/core 1.196.0 → 1.198.0

package/dist/runtime-v2/internalization/__tests__/rule-context-v2.test.js

@@ -0,0 +1,449 @@
+/**
+ * PRI-480 — Phase 1 Core ABI tests (rule-context-v2.ts)
+ *
+ * Strict TDD: this file was written BEFORE the implementation. It pins
+ * the public surface (types, sentinel, canonicalize, validators,
+ * computeBehaviorFacts) and the critical invariants from spec §4 +
+ * the ticket acceptance criteria (sections B–D, G).
+ *
+ * ERR coverage:
+ *   - ERR-001 (unknown validation): every validator is fed hostile
+ *     primitives (null, arrays, wrong types) and must reject them.
+ *   - ERR-076 (structural validation): prototype-pollution keys
+ *     (__proto__, constructor, prototype) are rejected by structure,
+ *     independent of the host realm's prototype.
+ *   - ERR-024 (real consumption): validators are exercised directly,
+ *     not through a wrapper that hides failures.
+ */
+import { describe, it, expect } from 'vitest';
+import { canonicalizeToolKind, validateRuleToolCallRecord, validateRuleHistoryWindow, validateRuleBehaviorFacts, validateRuleContextV2, computeBehaviorFacts, UNAVAILABLE_RULE_CONTEXT, } from '../rule-context-v2.js';
+// ── helpers ───────────────────────────────────────────────────────────────
+function makeCall(overrides = {}) {
+    return {
+        sequenceId: 1,
+        toolName: 'read',
+        canonicalKind: 'read',
+        normalizedPath: 'src/a.ts',
+        paramsSummary: {},
+        outcome: 'success',
+        ...overrides,
+    };
+}
+function makeAvailableWindow(calls = []) {
+    return {
+        status: 'available',
+        truncated: false,
+        calls,
+    };
+}
+// ── A. canonicalizeToolKind — 20-case static alias table (spec §4.4) ───────
+describe('PRI-480 canonicalizeToolKind — static alias table', () => {
+    const cases = [
+        ['read', 'read'],
+        ['read_file', 'read'],
+        ['read_many_files', 'read'],
+        ['grep', 'search'],
+        ['grep_search', 'search'],
+        ['search_file_content', 'search'],
+        ['glob', 'search'],
+        ['write', 'write'],
+        ['write_file', 'write'],
+        ['edit', 'write'],
+        ['edit_file', 'write'],
+        ['replace', 'write'],
+        ['apply_patch', 'write'],
+        ['bash', 'execute'],
+        ['exec', 'execute'],
+        ['execute', 'execute'],
+        ['run_shell_command', 'execute'],
+        ['sessions_spawn', 'agent'],
+        ['', 'other'],
+        ['some_unknown_tool_xyz', 'other'],
+    ];
+    it('covers the 20 required alias/unknown cases', () => {
+        expect(cases).toHaveLength(20);
+    });
+    for (const [input, expected] of cases) {
+        it(`canonicalizeToolKind(${JSON.stringify(input)}) → '${expected}'`, () => {
+            expect(canonicalizeToolKind(input)).toBe(expected);
+        });
+    }
+    it('returns "other" for non-string inputs (ERR-001: no as bypass)', () => {
+        expect(canonicalizeToolKind(null)).toBe('other');
+        expect(canonicalizeToolKind(undefined)).toBe('other');
+        expect(canonicalizeToolKind(123)).toBe('other');
+        expect(canonicalizeToolKind({ name: 'read' })).toBe('other');
+        expect(canonicalizeToolKind(['read'])).toBe('other');
+    });
+    it('returns "other" for inherited Object.prototype keys (ERR-076: no inherited-key leakage from TOOL_ALIAS)', () => {
+        expect(canonicalizeToolKind('__proto__')).toBe('other');
+        expect(canonicalizeToolKind('constructor')).toBe('other');
+        expect(canonicalizeToolKind('toString')).toBe('other');
+        expect(canonicalizeToolKind('hasOwnProperty')).toBe('other');
+        expect(canonicalizeToolKind('valueOf')).toBe('other');
+    });
+});
+// ── B. UNAVAILABLE_RULE_CONTEXT sentinel ─────────────────────────────────
+describe('PRI-480 UNAVAILABLE_RULE_CONTEXT sentinel', () => {
+    it('has version=2', () => {
+        expect(UNAVAILABLE_RULE_CONTEXT.version).toBe(2);
+    });
+    it('declares history.status="unavailable"', () => {
+        expect(UNAVAILABLE_RULE_CONTEXT.history.status).toBe('unavailable');
+    });
+    it('declares facts.priorReadOfTarget="unknown" (unavailable invariant)', () => {
+        expect(UNAVAILABLE_RULE_CONTEXT.facts.priorReadOfTarget).toBe('unknown');
+    });
+    it('nulls every fact count when history is unavailable', () => {
+        const f = UNAVAILABLE_RULE_CONTEXT.facts;
+        expect(f.readCount).toBeNull();
+        expect(f.writeCount).toBeNull();
+        expect(f.uniqueWritePathCount).toBeNull();
+        expect(f.sameActionBlockCount).toBeNull();
+    });
+    it('has empty calls array (no fabricated history)', () => {
+        expect(UNAVAILABLE_RULE_CONTEXT.history.calls).toEqual([]);
+    });
+    it('is frozen (Object.isFrozen)', () => {
+        expect(Object.isFrozen(UNAVAILABLE_RULE_CONTEXT)).toBe(true);
+    });
+    it('is a valid RuleContextV2 per the canonical validator (self-consistency)', () => {
+        const result = validateRuleContextV2(UNAVAILABLE_RULE_CONTEXT);
+        expect(result.valid).toBe(true);
+        expect(result.errors).toEqual([]);
+    });
+});
+// ── C. validateRuleToolCallRecord — ERR-001 + ERR-076 ─────────────────────
+describe('PRI-480 validateRuleToolCallRecord', () => {
+    it('accepts a well-formed record', () => {
+        expect(validateRuleToolCallRecord(makeCall()).valid).toBe(true);
+    });
+    it('accepts a record with normalizedPath=null', () => {
+        expect(validateRuleToolCallRecord(makeCall({ normalizedPath: null })).valid).toBe(true);
+    });
+    it('rejects non-object primitives (ERR-001)', () => {
+        expect(validateRuleToolCallRecord(null).valid).toBe(false);
+        expect(validateRuleToolCallRecord('read').valid).toBe(false);
+        expect(validateRuleToolCallRecord(42).valid).toBe(false);
+    });
+    it('rejects arrays (ERR-001)', () => {
+        expect(validateRuleToolCallRecord([]).valid).toBe(false);
+    });
+    it('rejects missing sequenceId', () => {
+        const { sequenceId: _omit, ...rest } = makeCall();
+        void _omit;
+        expect(validateRuleToolCallRecord(rest).valid).toBe(false);
+    });
+    it('rejects non-number sequenceId', () => {
+        expect(validateRuleToolCallRecord(makeCall({ sequenceId: '1' })).valid).toBe(false);
+    });
+    it('rejects missing toolName', () => {
+        const { toolName: _omit, ...rest } = makeCall();
+        void _omit;
+        expect(validateRuleToolCallRecord(rest).valid).toBe(false);
+    });
+    it('rejects empty-string toolName', () => {
+        expect(validateRuleToolCallRecord(makeCall({ toolName: '' })).valid).toBe(false);
+    });
+    it('rejects invalid canonicalKind enum', () => {
+        expect(validateRuleToolCallRecord(makeCall({ canonicalKind: 'fetch' })).valid).toBe(false);
+    });
+    it('rejects non-object normalizedPath', () => {
+        expect(validateRuleToolCallRecord(makeCall({ normalizedPath: 42 })).valid).toBe(false);
+    });
+    it('rejects paramsSummary that is not a plain object', () => {
+        expect(validateRuleToolCallRecord(makeCall({ paramsSummary: [] })).valid).toBe(false);
+        expect(validateRuleToolCallRecord(makeCall({ paramsSummary: null })).valid).toBe(false);
+    });
+    it('rejects invalid outcome enum', () => {
+        expect(validateRuleToolCallRecord(makeCall({ outcome: 'pending' })).valid).toBe(false);
+    });
+    it.each(['__proto__', 'constructor', 'prototype'])('rejects prototype-pollution own key %s (ERR-076)', (key) => {
+        const hostile = makeCall();
+        Object.defineProperty(hostile, key, {
+            value: 42,
+            enumerable: true,
+            configurable: true,
+            writable: true,
+        });
+        expect(validateRuleToolCallRecord(hostile).valid).toBe(false);
+    });
+});
+// ── D. validateRuleHistoryWindow ──────────────────────────────────────────
+describe('PRI-480 validateRuleHistoryWindow', () => {
+    it('accepts a valid available window', () => {
+        expect(validateRuleHistoryWindow(makeAvailableWindow()).valid).toBe(true);
+    });
+    it('accepts a valid unavailable window with unavailableReason', () => {
+        expect(validateRuleHistoryWindow({
+            status: 'unavailable',
+            unavailableReason: 'db locked',
+            truncated: false,
+            calls: [],
+        }).valid).toBe(true);
+    });
+    it('rejects invalid status enum', () => {
+        expect(validateRuleHistoryWindow({ status: 'pending', truncated: false, calls: [] })
+            .valid).toBe(false);
+    });
+    it('rejects non-boolean truncated', () => {
+        expect(validateRuleHistoryWindow({ status: 'available', truncated: 'no', calls: [] })
+            .valid).toBe(false);
+    });
+    it('rejects non-array calls', () => {
+        expect(validateRuleHistoryWindow({ status: 'available', truncated: false, calls: {} })
+            .valid).toBe(false);
+    });
+    it('rejects when any call element is invalid', () => {
+        const window = makeAvailableWindow([
+            makeCall(),
+            { sequenceId: 'bad' },
+        ]);
+        expect(validateRuleHistoryWindow(window).valid).toBe(false);
+    });
+});
+// ── E. validateRuleBehaviorFacts ──────────────────────────────────────────
+describe('PRI-480 validateRuleBehaviorFacts', () => {
+    function makeFacts(overrides = {}) {
+        return {
+            priorReadOfTarget: 'yes',
+            readCount: 2,
+            writeCount: 1,
+            uniqueWritePathCount: 1,
+            sameActionBlockCount: 0,
+            ...overrides,
+        };
+    }
+    it('accepts well-formed facts', () => {
+        expect(validateRuleBehaviorFacts(makeFacts()).valid).toBe(true);
+    });
+    it('accepts null counts (unavailable posture)', () => {
+        expect(validateRuleBehaviorFacts({
+            priorReadOfTarget: 'unknown',
+            readCount: null,
+            writeCount: null,
+            uniqueWritePathCount: null,
+            sameActionBlockCount: null,
+        }).valid).toBe(true);
+    });
+    it('rejects invalid priorReadOfTarget enum', () => {
+        expect(validateRuleBehaviorFacts(makeFacts({ priorReadOfTarget: 'maybe' })).valid).toBe(false);
+    });
+    it('rejects non-number non-null readCount', () => {
+        expect(validateRuleBehaviorFacts(makeFacts({ readCount: '2' })).valid).toBe(false);
+    });
+    it('rejects NaN readCount', () => {
+        expect(validateRuleBehaviorFacts(makeFacts({ readCount: NaN })).valid).toBe(false);
+    });
+    it('rejects negative writeCount', () => {
+        expect(validateRuleBehaviorFacts(makeFacts({ writeCount: -1 })).valid).toBe(false);
+    });
+});
+// ── F. validateRuleContextV2 + unavailable invariant (acceptance C) ───────
+describe('PRI-480 validateRuleContextV2 — unavailable invariant (acceptance C)', () => {
+    function buildContext(overrides = {}) {
+        return {
+            version: 2,
+            history: {
+                status: 'available',
+                truncated: false,
+                calls: [],
+            },
+            facts: {
+                priorReadOfTarget: 'no',
+                readCount: 0,
+                writeCount: 0,
+                uniqueWritePathCount: 0,
+                sameActionBlockCount: 0,
+            },
+            ...overrides,
+        };
+    }
+    it('accepts a well-formed available context', () => {
+        expect(validateRuleContextV2(buildContext()).valid).toBe(true);
+    });
+    it('accepts the canonical unavailable posture (all counts null, priorRead=unknown)', () => {
+        expect(validateRuleContextV2(UNAVAILABLE_RULE_CONTEXT).valid).toBe(true);
+    });
+    it('requires version === 2', () => {
+        expect(validateRuleContextV2(buildContext({ version: 1 })).valid).toBe(false);
+    });
+    it('rejects when history.status=unavailable but priorReadOfTarget !== "unknown"', () => {
+        const ctx = buildContext({
+            history: { status: 'unavailable', truncated: false, calls: [] },
+            facts: {
+                priorReadOfTarget: 'no',
+                readCount: null,
+                writeCount: null,
+                uniqueWritePathCount: null,
+                sameActionBlockCount: null,
+            },
+        });
+        expect(validateRuleContextV2(ctx).valid).toBe(false);
+    });
+    it('rejects when history.status=unavailable but readCount is non-null', () => {
+        const ctx = buildContext({
+            history: { status: 'unavailable', truncated: false, calls: [] },
+            facts: {
+                priorReadOfTarget: 'unknown',
+                readCount: 3,
+                writeCount: null,
+                uniqueWritePathCount: null,
+                sameActionBlockCount: null,
+            },
+        });
+        expect(validateRuleContextV2(ctx).valid).toBe(false);
+    });
+    it('rejects when history.status=unavailable but writeCount is non-null', () => {
+        const ctx = buildContext({
+            history: { status: 'unavailable', truncated: false, calls: [] },
+            facts: {
+                priorReadOfTarget: 'unknown',
+                readCount: null,
+                writeCount: 0,
+                uniqueWritePathCount: null,
+                sameActionBlockCount: null,
+            },
+        });
+        expect(validateRuleContextV2(ctx).valid).toBe(false);
+    });
+    it('rejects when history.status=unavailable but sameActionBlockCount is non-null', () => {
+        const ctx = buildContext({
+            history: { status: 'unavailable', truncated: false, calls: [] },
+            facts: {
+                priorReadOfTarget: 'unknown',
+                readCount: null,
+                writeCount: null,
+                uniqueWritePathCount: null,
+                sameActionBlockCount: 0,
+            },
+        });
+        expect(validateRuleContextV2(ctx).valid).toBe(false);
+    });
+    it('rejects when sub-validators fail (invalid history.status)', () => {
+        const ctx = buildContext({
+            history: { status: 'broken', truncated: false, calls: [] },
+        });
+        expect(validateRuleContextV2(ctx).valid).toBe(false);
+    });
+});
+// ── G. computeBehaviorFacts — exact-match prior read + counting ──────────
+describe('PRI-480 computeBehaviorFacts — acceptance D', () => {
+    it('returns priorReadOfTarget="yes" when a prior read hit the exact target path', () => {
+        const window = makeAvailableWindow([
+            makeCall({ canonicalKind: 'read', normalizedPath: 'src/a.ts', sequenceId: 1 }),
+        ]);
+        const facts = computeBehaviorFacts(window, 'src/a.ts', 0);
+        expect(facts.priorReadOfTarget).toBe('yes');
+    });
+    it('returns priorReadOfTarget="no" when target was never read', () => {
+        const window = makeAvailableWindow([
+            makeCall({ canonicalKind: 'read', normalizedPath: 'src/other.ts', sequenceId: 1 }),
+        ]);
+        const facts = computeBehaviorFacts(window, 'src/a.ts', 0);
+        expect(facts.priorReadOfTarget).toBe('no');
+    });
+    it('DOES NOT substring-match: src/a.ts.bak must NOT count as a read of src/a.ts', () => {
+        const window = makeAvailableWindow([
+            makeCall({ canonicalKind: 'read', normalizedPath: 'src/a.ts.bak', sequenceId: 1 }),
+        ]);
+        const facts = computeBehaviorFacts(window, 'src/a.ts', 0);
+        expect(facts.priorReadOfTarget).toBe('no');
+    });
+    it('DOES NOT substring-match in the other direction either (target is the longer path)', () => {
+        const window = makeAvailableWindow([
+            makeCall({ canonicalKind: 'read', normalizedPath: 'src/a.ts', sequenceId: 1 }),
+        ]);
+        const facts = computeBehaviorFacts(window, 'src/a.ts.bak', 0);
+        expect(facts.priorReadOfTarget).toBe('no');
+    });
+    it('does NOT count a write hit on the target path as a prior read', () => {
+        const window = makeAvailableWindow([
+            makeCall({ canonicalKind: 'write', normalizedPath: 'src/a.ts', sequenceId: 1 }),
+        ]);
+        const facts = computeBehaviorFacts(window, 'src/a.ts', 0);
+        expect(facts.priorReadOfTarget).toBe('no');
+    });
+    it('counts search canonicalKind as a prior read of the target path', () => {
+        const window = makeAvailableWindow([
+            makeCall({ canonicalKind: 'search', normalizedPath: 'src/a.ts', sequenceId: 1 }),
+        ]);
+        const facts = computeBehaviorFacts(window, 'src/a.ts', 0);
+        expect(facts.priorReadOfTarget).toBe('yes');
+    });
+    it('does NOT count execute/agent/other canonicalKind as a prior read', () => {
+        for (const kind of ['execute', 'agent', 'other']) {
+            const window = makeAvailableWindow([
+                makeCall({ canonicalKind: kind, normalizedPath: 'src/a.ts', sequenceId: 1 }),
+            ]);
+            const facts = computeBehaviorFacts(window, 'src/a.ts', 0);
+            expect(facts.priorReadOfTarget).toBe('no');
+        }
+    });
+    it('returns priorReadOfTarget="unknown" when targetPath is null', () => {
+        const window = makeAvailableWindow([
+            makeCall({ canonicalKind: 'read', normalizedPath: 'src/a.ts', sequenceId: 1 }),
+        ]);
+        const facts = computeBehaviorFacts(window, null, 0);
+        expect(facts.priorReadOfTarget).toBe('unknown');
+    });
+    it('counts readCount = number of read/search canonicalKind calls', () => {
+        const window = makeAvailableWindow([
+            makeCall({ canonicalKind: 'read', sequenceId: 1 }),
+            makeCall({ canonicalKind: 'search', sequenceId: 2 }),
+            makeCall({ canonicalKind: 'write', sequenceId: 3 }),
+            makeCall({ canonicalKind: 'execute', sequenceId: 4 }),
+        ]);
+        const facts = computeBehaviorFacts(window, 'src/a.ts', 0);
+        expect(facts.readCount).toBe(2);
+    });
+    it('counts writeCount = number of write canonicalKind calls', () => {
+        const window = makeAvailableWindow([
+            makeCall({ canonicalKind: 'write', sequenceId: 1 }),
+            makeCall({ canonicalKind: 'write', sequenceId: 2 }),
+            makeCall({ canonicalKind: 'read', sequenceId: 3 }),
+        ]);
+        const facts = computeBehaviorFacts(window, null, 0);
+        expect(facts.writeCount).toBe(2);
+    });
+    it('dedupes uniqueWritePathCount by normalized path', () => {
+        const window = makeAvailableWindow([
+            makeCall({ canonicalKind: 'write', normalizedPath: 'src/a.ts', sequenceId: 1 }),
+            makeCall({ canonicalKind: 'write', normalizedPath: 'src/a.ts', sequenceId: 2 }),
+            makeCall({ canonicalKind: 'write', normalizedPath: 'src/b.ts', sequenceId: 3 }),
+            makeCall({ canonicalKind: 'write', normalizedPath: null, sequenceId: 4 }),
+        ]);
+        const facts = computeBehaviorFacts(window, null, 0);
+        expect(facts.uniqueWritePathCount).toBe(2);
+    });
+    it('echoes sameActionBlockCount back unchanged', () => {
+        const window = makeAvailableWindow([]);
+        expect(computeBehaviorFacts(window, null, 0).sameActionBlockCount).toBe(0);
+        expect(computeBehaviorFacts(window, null, 3).sameActionBlockCount).toBe(3);
+    });
+    it('returns the all-null unavailable posture when window.status=unavailable', () => {
+        const window = {
+            status: 'unavailable',
+            unavailableReason: 'db locked',
+            truncated: false,
+            calls: [],
+        };
+        const facts = computeBehaviorFacts(window, 'src/a.ts', 2);
+        expect(facts.priorReadOfTarget).toBe('unknown');
+        expect(facts.readCount).toBeNull();
+        expect(facts.writeCount).toBeNull();
+        expect(facts.uniqueWritePathCount).toBeNull();
+        expect(facts.sameActionBlockCount).toBeNull();
+    });
+});
+// ── H. computeBehaviorFacts ignores calls with null paths for prior-read ─
+describe('PRI-480 computeBehaviorFacts — null-path calls', () => {
+    it('does not crash and reports "no" when all reads have null paths', () => {
+        const window = makeAvailableWindow([
+            makeCall({ canonicalKind: 'read', normalizedPath: null, sequenceId: 1 }),
+        ]);
+        const facts = computeBehaviorFacts(window, 'src/a.ts', 0);
+        expect(facts.priorReadOfTarget).toBe('no');
+    });
+});
+//# sourceMappingURL=rule-context-v2.test.js.map

package/dist/runtime-v2/internalization/__tests__/rule-context-v2.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-context-v2.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/rule-context-v2.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,oBAAoB,EACpB,wBAAwB,GACzB,MAAM,uBAAuB,CAAC;AAU/B,6EAA6E;AAE7E,SAAS,QAAQ,CAAC,YAAyC,EAAE;IAC3D,OAAO;QACL,UAAU,EAAE,CAAC;QACb,QAAQ,EAAE,MAAM;QAChB,aAAa,EAAE,MAAM;QACrB,cAAc,EAAE,UAAU;QAC1B,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,SAAS;QAClB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,QAA8B,EAAE;IAC3D,OAAO;QACL,MAAM,EAAE,WAAW;QACnB,SAAS,EAAE,KAAK;QAChB,KAAK;KACN,CAAC;AACJ,CAAC;AAED,8EAA8E;AAE9E,QAAQ,CAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,MAAM,KAAK,GAAwC;QACjD,CAAC,MAAM,EAAE,MAAM,CAAC;QAChB,CAAC,WAAW,EAAE,MAAM,CAAC;QACrB,CAAC,iBAAiB,EAAE,MAAM,CAAC;QAC3B,CAAC,MAAM,EAAE,QAAQ,CAAC;QAClB,CAAC,aAAa,EAAE,QAAQ,CAAC;QACzB,CAAC,qBAAqB,EAAE,QAAQ,CAAC;QACjC,CAAC,MAAM,EAAE,QAAQ,CAAC;QAClB,CAAC,OAAO,EAAE,OAAO,CAAC;QAClB,CAAC,YAAY,EAAE,OAAO,CAAC;QACvB,CAAC,MAAM,EAAE,OAAO,CAAC;QACjB,CAAC,WAAW,EAAE,OAAO,CAAC;QACtB,CAAC,SAAS,EAAE,OAAO,CAAC;QACpB,CAAC,aAAa,EAAE,OAAO,CAAC;QACxB,CAAC,MAAM,EAAE,SAAS,CAAC;QACnB,CAAC,MAAM,EAAE,SAAS,CAAC;QACnB,CAAC,SAAS,EAAE,SAAS,CAAC;QACtB,CAAC,mBAAmB,EAAE,SAAS,CAAC;QAChC,CAAC,gBAAgB,EAAE,OAAO,CAAC;QAC3B,CAAC,EAAE,EAAE,OAAO,CAAC;QACb,CAAC,uBAAuB,EAAE,OAAO,CAAC;KACnC,CAAC;IAEF,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC;QACtC,EAAE,CAAC,wBAAwB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,QAAQ,GAAG,EAAE,GAAG,EAAE;YACxE,MAAM,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjD,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtD,MAAM,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChD,MAAM,CAAC,oBAAoB,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7D,MAAM,CAAC,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yGAAyG,EAAE,GAAG,EAAE;QACjH,MAAM,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxD,MAAM,CAAC,oBAAoB,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1D,MAAM,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvD,MAAM,CAAC,oBAAoB,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7D,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,4EAA4E;AAE5E,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,wBAAwB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,wBAAwB,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,wBAAwB,CAAC,KAAK,CAAC;QACzC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC1C,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,wBAAwB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,MAAM,GAAG,qBAAqB,CAAC,wBAAwB,CAAC,CAAC;QAC/D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,6EAA6E;AAE7E,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,0BAA0B,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,0BAA0B,CAAC,QAAQ,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3D,MAAM,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7D,MAAM,CAAC,0BAA0B,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,0BAA0B,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,QAAQ,EAAE,CAAC;QAClD,KAAK,KAAK,CAAC;QACX,MAAM,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,0BAA0B,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,GAAwB,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,QAAQ,EAAE,CAAC;QAChD,KAAK,KAAK,CAAC;QACX,MAAM,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,0BAA0B,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CACJ,0BAA0B,CAAC,QAAQ,CAAC,EAAE,aAAa,EAAE,OAAmC,EAAE,CAAC,CAAC,CAAC,KAAK,CACnG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CACJ,0BAA0B,CAAC,QAAQ,CAAC,EAAE,cAAc,EAAE,EAAuB,EAAE,CAAC,CAAC,CAAC,KAAK,CACxF,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CACJ,0BAA0B,CAAC,QAAQ,CAAC,EAAE,aAAa,EAAE,EAAwC,EAAE,CAAC,CAAC,CAAC,KAAK,CACxG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACd,MAAM,CACJ,0BAA0B,CAAC,QAAQ,CAAC,EAAE,aAAa,EAAE,IAA0C,EAAE,CAAC,CAAC,CAAC,KAAK,CAC1G,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CACJ,0BAA0B,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,SAAqD,EAAE,CAAC,CAAC,CAAC,KAAK,CAC/G,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,aAAa,EAAE,WAAW,CAAU,CAAC,CACzD,kDAAkD,EAClD,CAAC,GAAG,EAAE,EAAE;QACN,MAAM,OAAO,GAAG,QAAQ,EAAE,CAAC;QAC3B,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE;YAClC,KAAK,EAAE,EAAE;YACT,UAAU,EAAE,IAAI;YAChB,YAAY,EAAE,IAAI;YAClB,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;QACH,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChE,CAAC,CACF,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,6EAA6E;AAE7E,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,yBAAyB,CAAC,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CACJ,yBAAyB,CAAC;YACxB,MAAM,EAAE,aAAa;YACrB,iBAAiB,EAAE,WAAW;YAC9B,SAAS,EAAE,KAAK;YAChB,KAAK,EAAE,EAAE;SACV,CAAC,CAAC,KAAK,CACT,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CACJ,yBAAyB,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;aAC1E,KAAK,CACT,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CACJ,yBAAyB,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;aAC3E,KAAK,CACT,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CACJ,yBAAyB,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;aAC5E,KAAK,CACT,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,QAAQ,EAAE;YACV,EAAE,UAAU,EAAE,KAAK,EAAmC;SACvD,CAAC,CAAC;QACH,MAAM,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,6EAA6E;AAE7E,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,SAAS,SAAS,CAAC,YAAwC,EAAE;QAC3D,OAAO;YACL,iBAAiB,EAAE,KAAK;YACxB,SAAS,EAAE,CAAC;YACZ,UAAU,EAAE,CAAC;YACb,oBAAoB,EAAE,CAAC;YACvB,oBAAoB,EAAE,CAAC;YACvB,GAAG,SAAS;SACb,CAAC;IACJ,CAAC;IAED,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,yBAAyB,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CACJ,yBAAyB,CAAC;YACxB,iBAAiB,EAAE,SAAS;YAC5B,SAAS,EAAE,IAAI;YACf,UAAU,EAAE,IAAI;YAChB,oBAAoB,EAAE,IAAI;YAC1B,oBAAoB,EAAE,IAAI;SAC3B,CAAC,CAAC,KAAK,CACT,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CACJ,yBAAyB,CAAC,SAAS,CAAC,EAAE,iBAAiB,EAAE,OAAmC,EAAE,CAAC,CAAC,CAAC,KAAK,CACvG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CACJ,yBAAyB,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GAAwB,EAAE,CAAC,CAAC,CAAC,KAAK,CACpF,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,6EAA6E;AAE7E,QAAQ,CAAC,sEAAsE,EAAE,GAAG,EAAE;IACpF,SAAS,YAAY,CAAC,YAAoC,EAAE;QAC1D,OAAO;YACL,OAAO,EAAE,CAAC;YACV,OAAO,EAAE;gBACP,MAAM,EAAE,WAAW;gBACnB,SAAS,EAAE,KAAK;gBAChB,KAAK,EAAE,EAAE;aACV;YACD,KAAK,EAAE;gBACL,iBAAiB,EAAE,IAAI;gBACvB,SAAS,EAAE,CAAC;gBACZ,UAAU,EAAE,CAAC;gBACb,oBAAoB,EAAE,CAAC;gBACvB,oBAAoB,EAAE,CAAC;aACxB;YACD,GAAG,SAAS;SACb,CAAC;IACJ,CAAC;IAED,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,qBAAqB,CAAC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,CAAC,qBAAqB,CAAC,wBAAwB,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CACJ,qBAAqB,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,CAAiB,EAAE,CAAC,CAAC,CAAC,KAAK,CAC1E,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,GAAG,GAAG,YAAY,CAAC;YACvB,OAAO,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;YAC/D,KAAK,EAAE;gBACL,iBAAiB,EAAE,IAAI;gBACvB,SAAS,EAAE,IAAI;gBACf,UAAU,EAAE,IAAI;gBAChB,oBAAoB,EAAE,IAAI;gBAC1B,oBAAoB,EAAE,IAAI;aAC3B;SACF,CAAC,CAAC;QACH,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,GAAG,GAAG,YAAY,CAAC;YACvB,OAAO,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;YAC/D,KAAK,EAAE;gBACL,iBAAiB,EAAE,SAAS;gBAC5B,SAAS,EAAE,CAAC;gBACZ,UAAU,EAAE,IAAI;gBAChB,oBAAoB,EAAE,IAAI;gBAC1B,oBAAoB,EAAE,IAAI;aAC3B;SACF,CAAC,CAAC;QACH,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,GAAG,GAAG,YAAY,CAAC;YACvB,OAAO,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;YAC/D,KAAK,EAAE;gBACL,iBAAiB,EAAE,SAAS;gBAC5B,SAAS,EAAE,IAAI;gBACf,UAAU,EAAE,CAAC;gBACb,oBAAoB,EAAE,IAAI;gBAC1B,oBAAoB,EAAE,IAAI;aAC3B;SACF,CAAC,CAAC;QACH,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,GAAG,GAAG,YAAY,CAAC;YACvB,OAAO,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;YAC/D,KAAK,EAAE;gBACL,iBAAiB,EAAE,SAAS;gBAC5B,SAAS,EAAE,IAAI;gBACf,UAAU,EAAE,IAAI;gBAChB,oBAAoB,EAAE,IAAI;gBAC1B,oBAAoB,EAAE,CAAC;aACxB;SACF,CAAC,CAAC;QACH,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,GAAG,GAAG,YAAY,CAAC;YACvB,OAAO,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAkC;SAC3F,CAAC,CAAC;QACH,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,4EAA4E;AAE5E,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,QAAQ,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;SAC/E,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,QAAQ,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,cAAc,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;SACnF,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,QAAQ,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,cAAc,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;SACnF,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,QAAQ,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;SAC/E,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,QAAQ,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;SAChF,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,QAAQ,CAAC,EAAE,aAAa,EAAE,QAAQ,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;SACjF,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAA6B,EAAE,CAAC;YAC7E,MAAM,MAAM,GAAG,mBAAmB,CAAC;gBACjC,QAAQ,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;aAC7E,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;YAC1D,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,QAAQ,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;SAC/E,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,QAAQ,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YAClD,QAAQ,CAAC,EAAE,aAAa,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YACpD,QAAQ,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YACnD,QAAQ,CAAC,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;SACtD,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,QAAQ,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YACnD,QAAQ,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YACnD,QAAQ,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;SACnD,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,QAAQ,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YAC/E,QAAQ,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YAC/E,QAAQ,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YAC/E,QAAQ,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;SAC1E,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC;QACvC,MAAM,CAAC,oBAAoB,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,oBAAoB,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,MAAM,GAAsB;YAChC,MAAM,EAAE,aAAa;YACrB,iBAAiB,EAAE,WAAW;YAC9B,SAAS,EAAE,KAAK;YAChB,KAAK,EAAE,EAAE;SACV,CAAC;QACF,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,CAAC;QACnC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,4EAA4E;AAE5E,QAAQ,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,QAAQ,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;SACzE,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/internalization/rule-context-v2.d.ts

@@ -0,0 +1,61 @@
+/**
+ * PRI-480 — Phase 1 Core ABI (rule-context-v2.ts)
+ *
+ * Pure logic: types + canonicalize + validators + behavior-facts computation.
+ * Zero I/O — this module MUST NOT import node:fs / node:path / better-sqlite3 /
+ * any network module. The runtime-v2 architecture-regression test enforces the
+ * file boundary.
+ *
+ * Err-prevention:
+ *   - ERR-001 (validate-as-unknown): every public validator takes `unknown` and
+ *     validates structurally. No `as` bypass on parsed input.
+ *   - ERR-076 (prototype-pollution / host-realm independence): structural checks
+ *     use Object.keys + a PROTO_KEYS set. We never touch the host realm's
+ *     prototype chain (no `instanceof`, no `in`).
+ *   - rc-2: no `as` casts on parsed input.
+ *   - rc-5: Object.hasOwn / Object.keys over the `in` operator.
+ *
+ * Spec: docs/superpowers/specs/2026-06-27-rulecode-context-vision-design.md §4.
+ */
+export type CanonicalKind = 'read' | 'search' | 'write' | 'execute' | 'agent' | 'other';
+export type EvidenceState = 'yes' | 'no' | 'unknown';
+export type RuleToolOutcome = 'success' | 'failure' | 'blocked';
+export type RuleHistoryStatus = 'available' | 'unavailable';
+export interface RuleToolCallRecord {
+    sequenceId: number;
+    toolName: string;
+    canonicalKind: CanonicalKind;
+    normalizedPath: string | null;
+    paramsSummary: Record<string, unknown>;
+    outcome: RuleToolOutcome;
+}
+export interface RuleHistoryWindow {
+    status: RuleHistoryStatus;
+    unavailableReason?: string;
+    truncated: boolean;
+    calls: readonly RuleToolCallRecord[];
+}
+export interface RuleBehaviorFacts {
+    priorReadOfTarget: EvidenceState;
+    readCount: number | null;
+    writeCount: number | null;
+    uniqueWritePathCount: number | null;
+    sameActionBlockCount: number | null;
+}
+export interface RuleContextV2 {
+    version: 2;
+    history: RuleHistoryWindow;
+    facts: RuleBehaviorFacts;
+}
+export interface ValidationResult {
+    valid: boolean;
+    errors: string[];
+}
+export declare function canonicalizeToolKind(toolName: unknown): CanonicalKind;
+export declare function validateRuleToolCallRecord(value: unknown): ValidationResult;
+export declare function validateRuleHistoryWindow(value: unknown): ValidationResult;
+export declare function validateRuleBehaviorFacts(value: unknown): ValidationResult;
+export declare function validateRuleContextV2(value: unknown): ValidationResult;
+export declare function computeBehaviorFacts(window: RuleHistoryWindow, targetPath: string | null, sameActionBlockCount: number | null): RuleBehaviorFacts;
+export declare const UNAVAILABLE_RULE_CONTEXT: Readonly<RuleContextV2>;
+//# sourceMappingURL=rule-context-v2.d.ts.map

package/dist/runtime-v2/internalization/rule-context-v2.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-context-v2.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/rule-context-v2.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAIH,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,QAAQ,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,GAAG,OAAO,CAAC;AAExF,MAAM,MAAM,aAAa,GAAG,KAAK,GAAG,IAAI,GAAG,SAAS,CAAC;AAErD,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,CAAC;AAEhE,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG,aAAa,CAAC;AAE5D,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,aAAa,CAAC;IAC7B,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvC,OAAO,EAAE,eAAe,CAAC;CAC1B;AAED,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,SAAS,EAAE,OAAO,CAAC;IACnB,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,iBAAiB;IAChC,iBAAiB,EAAE,aAAa,CAAC;IACjC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;CACrC;AAED,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,CAAC,CAAC;IACX,OAAO,EAAE,iBAAiB,CAAC;IAC3B,KAAK,EAAE,iBAAiB,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AA2ED,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,OAAO,GAAG,aAAa,CAUrE;AAID,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CAiC3E;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CAiC1E;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CA2B1E;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CAqDtE;AAID,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,iBAAiB,EACzB,UAAU,EAAE,MAAM,GAAG,IAAI,EACzB,oBAAoB,EAAE,MAAM,GAAG,IAAI,GAClC,iBAAiB,CAuCnB;AAkCD,eAAO,MAAM,wBAAwB,EAAE,QAAQ,CAAC,aAAa,CAAsB,CAAC"}