@principles/core 1.240.20 → 1.241.0

package/dist/runtime-v2/internalization/__tests__/summary-envelope-writer.property.test.js

@@ -0,0 +1,413 @@
+/**
+ * Layer 0 writer-side property tests (design §6.1, tasks 3.12–3.20).
+ *
+ * These exercise the *wiring* layer (`BasePeerRunner.buildArtifactContentJson`,
+ * which calls `attachSummaryEnvelope`), not the pure derivation functions
+ * (those are covered by `artifact-summary.property.test.ts`). The wiring layer
+ * is where the feature flag, the predecessor-contentHash injection, the
+ * degradation telemetry, and the "summary failure must not affect task success"
+ * contract (F11) all live.
+ *
+ * CP-04: derivation failure does not affect task success / failure
+ * CP-05: predecessor summary adds zero extra store reads & is same-source
+ * CP-06: envelope depth is always exactly one (no nested predecessorSummary)
+ * CP-11: stale summary content never enters the written contentJson
+ * CP-32: contentJson key-level compatibility (flag on vs off, byte-identical
+ *        aside from summary/predecessorSummary)
+ * CP-35: direct-predecessor uniqueness (evaluator loads artificer+scribe,
+ *        diag_router loads rootcause+distiller — only the edge predecessor
+ *        lands in predecessorSummary)
+ *
+ * @see .kiro/specs/internalization-progressive-disclosure/design.md §6.1, §16
+ * @see .kiro/specs/internalization-progressive-disclosure/requirements.md Requirements 1.8, 2, 3.6, 11.5–11.9
+ */
+import { describe, it, expect, vi } from 'vitest';
+import { createHash } from 'node:crypto';
+import fc from 'fast-check';
+import { BasePeerRunner } from '../../runner/base-peer-runner.js';
+import { getDefaultPdConfig } from '../../config/pd-config-defaults.js';
+import { computeEffectivePdConfig } from '../../config/pd-config-effective.js';
+import { computeContentHash } from '../artifact-content-hash.js';
+const sha256 = (input) => createHash('sha256').update(input).digest('hex');
+const TASK_ID = 'task-layer0-writer-001';
+/**
+ * Build an EffectivePdConfig with the Layer 0 flag on or off. Uses the real
+ * production config-merge path (`computeEffectivePdConfig`) rather than
+ * hand-rolling the EffectivePdConfig shape — this is the same path the
+ * production loader uses (ERR-024: test the real wiring).
+ */
+function makeEffectiveConfig(opts) {
+    if (!opts.summaryEnabled) {
+        return computeEffectivePdConfig(null);
+    }
+    const base = getDefaultPdConfig();
+    const userConfig = {
+        ...base,
+        features: {
+            ...base.features,
+            artifact_summary_redundancy: { category: 'quiet', enabled: true },
+        },
+    };
+    return computeEffectivePdConfig(userConfig);
+}
+/**
+ * Test runner exposing the protected `buildArtifactContentJson` directly.
+ * Mirrors the DegradationTestRunner pattern from
+ * base-peer-runner-rate-limit-degradation.test.ts.
+ */
+class Layer0TestRunner extends BasePeerRunner {
+    constructor(deps, effectiveConfig) {
+        super(deps, { owner: 'test', runtimeKind: 'test-double' }, {
+            runnerName: 'test',
+            expectedTaskKind: 'dreamer',
+            defaultAgentId: 'test',
+            resultRefPrefix: 'test',
+            effectiveConfig,
+        });
+    }
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this
+    get permanentErrorCategories() {
+        return new Set(['input_invalid', 'output_invalid']);
+    }
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this
+    async buildContext() {
+        return { contextHash: 'test-hash' };
+    }
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this
+    async invokeRuntime() {
+        return { runId: 'run-001', runtimeKind: 'test-double', startedAt: new Date().toISOString() };
+    }
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this
+    async validateOutput() {
+        return { valid: true, errors: [] };
+    }
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this, @typescript-eslint/max-params
+    async succeedTask(taskId, runId, _output, task) {
+        return { status: 'succeeded', taskId, runId, attemptCount: task.attemptCount };
+    }
+    // eslint-disable-next-line @typescript-eslint/max-params -- mirrors the protected method under test 1:1.
+    callBuildArtifactContentJson(taskId, runnerKind, output, loadedPredecessor) {
+        return this.buildArtifactContentJson(taskId, runnerKind, output, loadedPredecessor);
+    }
+    /** Expose the flag check for direct assertion. */
+    callIsArtifactSummaryEnabled() {
+        return this.isArtifactSummaryEnabled();
+    }
+}
+function createMockDeps(overrides) {
+    return {
+        stateManager: {
+            getRetryPolicy: vi.fn().mockReturnValue({ shouldRetry: vi.fn().mockReturnValue(false) }),
+            markTaskFailed: vi.fn().mockResolvedValue({}),
+            markTaskSucceeded: vi.fn().mockResolvedValue({}),
+            updateRunOutput: vi.fn().mockResolvedValue({}),
+        },
+        runtimeAdapter: {},
+        eventEmitter: {
+            emitTelemetry: vi.fn(),
+        },
+        artifactStore: {
+            // Counting stub: CP-05 proves zero extra reads. Every method the writer
+            // path could reach is a spy that throws if called unexpectedly.
+            getArtifactById: vi.fn(),
+            listBySourceTaskId: vi.fn(),
+        },
+        contentHashFn: sha256,
+        ...overrides,
+    };
+}
+function telemetryCalls(mock) {
+    return mock.mock.calls.map((call) => call[0]);
+}
+/**
+ * `emitEvent` prefixes eventType with the runner name (e.g. `test_...`).
+ * This helper matches on the suffix so tests stay runner-name agnostic.
+ */
+function telemetryWithSuffix(mock, suffix) {
+    return telemetryCalls(mock).filter((c) => c.eventType.endsWith(`_${suffix}`));
+}
+/** A legal dreamer-shaped output for the wiring tests. */
+const DREAMER_OUTPUT = {
+    candidates: [{
+            badDecision: 'renamed without checking callers',
+            betterDecision: 'audit file tree and grep imports before rename',
+            rationale: 'cross-package callers break compilation',
+            riskLevel: 'high',
+            strategicPerspective: 'caller-side lens',
+        }],
+};
+function makePredecessor(runnerKind, content) {
+    return {
+        artifactId: `pred-${runnerKind}`,
+        runnerKind,
+        contentJson: content,
+    };
+}
+// ── CP-32: contentJson key-level compatibility ───────────────────────────────
+describe('Layer 0 — CP-32 contentJson key-level compatibility', () => {
+    it('flag OFF → contentJson is byte-identical to JSON.stringify(output)', () => {
+        const deps = createMockDeps();
+        const runner = new Layer0TestRunner(deps); // no effectiveConfig → flag off
+        expect(runner.callIsArtifactSummaryEnabled()).toBe(false);
+        const result = runner.callBuildArtifactContentJson(TASK_ID, 'dreamer', DREAMER_OUTPUT, null);
+        expect(result).toBe(JSON.stringify(DREAMER_OUTPUT));
+        // And the same when a predecessor is provided: flag off = no envelope at all.
+        const resultWithPred = runner.callBuildArtifactContentJson(TASK_ID, 'dreamer', DREAMER_OUTPUT, makePredecessor('diag_router', { summary: 'router output' }));
+        expect(resultWithPred).toBe(JSON.stringify(DREAMER_OUTPUT));
+    });
+    it('flag ON → every original output key is preserved (only summary/predecessorSummary added)', () => {
+        const deps = createMockDeps();
+        const runner = new Layer0TestRunner(deps, makeEffectiveConfig({ summaryEnabled: true }));
+        expect(runner.callIsArtifactSummaryEnabled()).toBe(true);
+        const result = runner.callBuildArtifactContentJson(TASK_ID, 'dreamer', DREAMER_OUTPUT, makePredecessor('diag_router', { summary: 'router output' }));
+        const parsed = JSON.parse(result);
+        // Every original key from DREAMER_OUTPUT is present and unchanged.
+        const original = DREAMER_OUTPUT;
+        for (const key of Object.keys(original)) {
+            expect(parsed[key]).toEqual(original[key]);
+        }
+        // The two additive envelope keys are present.
+        expect(Object.hasOwn(parsed, 'summary')).toBe(true);
+        expect(Object.hasOwn(parsed, 'predecessorSummary')).toBe(true);
+    });
+    it('flag ON with no predecessor → only `summary` added, no `predecessorSummary` key', () => {
+        const deps = createMockDeps();
+        const runner = new Layer0TestRunner(deps, makeEffectiveConfig({ summaryEnabled: true }));
+        const result = runner.callBuildArtifactContentJson(TASK_ID, 'dreamer', DREAMER_OUTPUT, null);
+        const parsed = JSON.parse(result);
+        expect(Object.hasOwn(parsed, 'summary')).toBe(true);
+        expect(Object.hasOwn(parsed, 'predecessorSummary')).toBe(false);
+    });
+    it('P1 regression: output already declaring a top-level `summary` field (diag_rootcause / diag_router) is NOT overwritten', () => {
+        // CodeRabbit PR #1273: DiagRootCauseOutputV1 and DiagnosticianOutputV1 both
+        // declare a top-level `summary` string field. The Layer 0 envelope must not
+        // clobber it. On collision, the envelope `summary` key is skipped, a
+        // structured degradation is emitted, and predecessorSummary is still
+        // attached (it does not collide).
+        const deps = createMockDeps();
+        const runner = new Layer0TestRunner(deps, makeEffectiveConfig({ summaryEnabled: true }));
+        const emitMock = deps.eventEmitter.emitTelemetry;
+        // diag_router-shaped output carries a legitimate top-level `summary` field.
+        const routerOutput = {
+            summary: 'route to internalization: principle guard', // legitimate output field
+            rootCause: 'rename without enumeration',
+            violatedPrinciples: [],
+            recommendations: [{ kind: 'principle', description: 'guard', triggerPattern: 'x', action: 'y' }],
+        };
+        const result = runner.callBuildArtifactContentJson(TASK_ID, 'diag_router', routerOutput, makePredecessor('diag_distiller', { abstractedPrinciple: 'p', rationale: 'r', scope: 'general' }));
+        const parsed = JSON.parse(result);
+        // The legitimate output.summary is preserved verbatim (NOT overwritten by
+        // the ArtifactSummary envelope object).
+        expect(parsed.summary).toBe('route to internalization: principle guard');
+        expect(typeof parsed.summary).toBe('string');
+        // predecessorSummary is still attached (no collision).
+        expect(Object.hasOwn(parsed, 'predecessorSummary')).toBe(true);
+        expect(parsed.predecessorSummary.runnerKind).toBe('diag_distiller');
+        // A structured degradation was emitted for the collision (rc-9).
+        const skipped = telemetryWithSuffix(emitMock, 'artifact_summary_skipped');
+        expect(skipped.length).toBe(1);
+        expect(skipped[0]?.payload?.reason).toBe('output_summary_key_collision');
+    });
+});
+// ── CP-04: derivation failure does not affect task success ───────────────────
+describe('Layer 0 — CP-04 derivation failure does not affect task success', () => {
+    it('returns a valid contentJson (no throw) and emits artifact_summary_skipped when output has no derivable field', () => {
+        const deps = createMockDeps();
+        const runner = new Layer0TestRunner(deps, makeEffectiveConfig({ summaryEnabled: true }));
+        const emitMock = deps.eventEmitter.emitTelemetry;
+        // An object with none of the fields any resolver looks for → no_derivable_field.
+        const bare = { unrelated: 'value' };
+        const result = runner.callBuildArtifactContentJson(TASK_ID, 'dreamer', bare, null);
+        // No throw, valid JSON, and falls back to the bare output (no summary key).
+        expect(() => JSON.parse(result)).not.toThrow();
+        const parsed = JSON.parse(result);
+        expect(Object.hasOwn(parsed, 'summary')).toBe(false);
+        // Exactly one artifact_summary_skipped degradation event emitted (rc-9).
+        const skipped = telemetryWithSuffix(emitMock, 'artifact_summary_skipped');
+        expect(skipped.length).toBe(1);
+        expect(skipped[0]?.payload?.reason).toBe('no_derivable_field');
+    });
+    it('output_not_object (e.g. a string) → no summary, no throw', () => {
+        const deps = createMockDeps();
+        const runner = new Layer0TestRunner(deps, makeEffectiveConfig({ summaryEnabled: true }));
+        const result = runner.callBuildArtifactContentJson(TASK_ID, 'dreamer', 'not-an-object', null);
+        // Falls back to JSON.stringify of the input; no summary.
+        expect(result).toBe(JSON.stringify('not-an-object'));
+    });
+});
+// ── CP-06: envelope depth is always exactly one ──────────────────────────────
+describe('Layer 0 — CP-06 envelope depth is always exactly one', () => {
+    it('predecessorSummary never carries its own predecessorSummary key', () => {
+        const deps = createMockDeps();
+        const runner = new Layer0TestRunner(deps, makeEffectiveConfig({ summaryEnabled: true }));
+        // Even when the predecessor's own contentJson already contains a nested
+        // predecessorSummary (as if it were itself a mid-chain node), the freshly
+        // attached predecessorSummary must NOT propagate that nested ref — depth is
+        // capped at one (design §4.6 修正六).
+        const pred = makePredecessor('diag_router', {
+            summary: 'router output',
+            predecessorSummary: { artifactId: 'should-not-propagate', runnerKind: 'diag_distiller' },
+        });
+        const result = runner.callBuildArtifactContentJson(TASK_ID, 'dreamer', DREAMER_OUTPUT, pred);
+        const parsed = JSON.parse(result);
+        const predSummary = parsed.predecessorSummary;
+        expect(predSummary).toBeDefined();
+        // The only keys on predecessorSummary are artifactId/runnerKind/contentHash/summary.
+        const allowed = new Set(['artifactId', 'runnerKind', 'contentHash', 'summary']);
+        for (const key of Object.keys(predSummary)) {
+            expect(allowed.has(key)).toBe(true);
+        }
+        // And critically: no nested predecessorSummary.predecessorSummary.
+        const nested = predSummary.summary;
+        expect(Object.hasOwn(nested, 'predecessorSummary')).toBe(false);
+    });
+    it('a synthetic 1..6-hop chain never produces nested predecessorSummary at any hop', () => {
+        fc.assert(fc.property(fc.integer({ min: 1, max: 6 }), (hops) => {
+            const deps = createMockDeps();
+            const runner = new Layer0TestRunner(deps, makeEffectiveConfig({ summaryEnabled: true }));
+            // Build hops sequentially, feeding each hop's written contentJson as
+            // the next hop's predecessor content.
+            const kinds = ['diag_rootcause', 'diag_distiller', 'diag_router', 'dreamer', 'philosopher', 'scribe'];
+            let prevContent = { rootCause: 'seed root cause' };
+            let prevKind = 'diag_rootcause';
+            for (let i = 0; i < hops; i++) {
+                const kind = kinds[Math.min(i, kinds.length - 1)] ?? 'scribe';
+                const predecessor = i === 0
+                    ? null
+                    : { artifactId: `art-${i}`, runnerKind: prevKind, contentJson: prevContent };
+                const out = { candidates: [{ betterDecision: 'hop action', riskLevel: 'low' }] };
+                const written = runner.callBuildArtifactContentJson(`task-${i}`, kind, out, predecessor);
+                const parsed = JSON.parse(written);
+                // Check this hop's predecessorSummary (if present) has no nesting.
+                const pred = parsed.predecessorSummary;
+                if (pred) {
+                    const allowed = new Set(['artifactId', 'runnerKind', 'contentHash', 'summary']);
+                    for (const key of Object.keys(pred))
+                        expect(allowed.has(key)).toBe(true);
+                    const inner = pred.summary;
+                    expect(Object.hasOwn(inner, 'predecessorSummary')).toBe(false);
+                }
+                prevContent = parsed;
+                prevKind = kind;
+            }
+        }), { numRuns: 12 });
+    });
+});
+// ── CP-05: predecessor summary adds zero extra store reads & is same-source ──
+describe('Layer 0 — CP-05 predecessor summary zero extra reads & same-source', () => {
+    it('flag ON with predecessor → no artifactStore.getArtifactById/listBySourceTaskId calls', () => {
+        const deps = createMockDeps();
+        const runner = new Layer0TestRunner(deps, makeEffectiveConfig({ summaryEnabled: true }));
+        const getMock = deps.artifactStore.getArtifactById;
+        const listMock = deps.artifactStore.listBySourceTaskId;
+        runner.callBuildArtifactContentJson(TASK_ID, 'dreamer', DREAMER_OUTPUT, makePredecessor('diag_router', { summary: 'router output' }));
+        expect(getMock).not.toHaveBeenCalled();
+        expect(listMock).not.toHaveBeenCalled();
+    });
+    it('predecessorSummary artifactId / runnerKind / contentHash are all same-source (rc-6)', () => {
+        const deps = createMockDeps();
+        const runner = new Layer0TestRunner(deps, makeEffectiveConfig({ summaryEnabled: true }));
+        const predContent = { summary: 'router output', rootCause: 'rc' };
+        const pred = {
+            artifactId: 'pred-art-999',
+            runnerKind: 'diag_router',
+            contentJson: predContent,
+        };
+        const result = runner.callBuildArtifactContentJson(TASK_ID, 'dreamer', DREAMER_OUTPUT, pred);
+        const parsed = JSON.parse(result);
+        const predSummary = parsed.predecessorSummary;
+        // All three fields come from the same predecessor object.
+        expect(predSummary.artifactId).toBe('pred-art-999');
+        expect(predSummary.runnerKind).toBe('diag_router');
+        // contentHash is the canonical (key-sorted) serialization of the predecessor content.
+        expect(predSummary.contentHash).toBe(computeContentHash(predContent, sha256));
+    });
+    it('null predecessor → artifact_summary_predecessor_absent emitted, self summary still written', () => {
+        const deps = createMockDeps();
+        const runner = new Layer0TestRunner(deps, makeEffectiveConfig({ summaryEnabled: true }));
+        const emitMock = deps.eventEmitter.emitTelemetry;
+        const result = runner.callBuildArtifactContentJson(TASK_ID, 'dreamer', DREAMER_OUTPUT, null);
+        const parsed = JSON.parse(result);
+        expect(Object.hasOwn(parsed, 'summary')).toBe(true);
+        expect(Object.hasOwn(parsed, 'predecessorSummary')).toBe(false);
+        const absent = telemetryWithSuffix(emitMock, 'artifact_summary_predecessor_absent');
+        expect(absent.length).toBe(1);
+        expect(absent[0]?.payload?.reason).toBe('no_predecessor_in_context');
+    });
+});
+// ── CP-11: stale summary content never enters the written contentJson ────────
+//
+// Note: CP-11's core invariant (stale predecessorSummary content is excluded
+// from the injected context) is enforced by the READ-side freshness check
+// (`checkPredecessorSummaryFreshness`, covered by summary-freshness.property
+// .test.ts CP-09). The WRITE side tested here guarantees the contentHash is
+// computed correctly so the read side can detect staleness. This test verifies
+// the contentHash is stable for a given content, so a content change is always
+// detectable.
+describe('Layer 0 — CP-11 stale summary detectability (contentHash stability on write)', () => {
+    it('contentHash changes iff predecessor content changes (so stale refs are always detectable)', () => {
+        const deps = createMockDeps();
+        const runner = new Layer0TestRunner(deps, makeEffectiveConfig({ summaryEnabled: true }));
+        const contentA = { summary: 'router output v1' };
+        const contentB = { summary: 'router output v2' };
+        const r1 = runner.callBuildArtifactContentJson(TASK_ID, 'dreamer', DREAMER_OUTPUT, makePredecessor('diag_router', contentA));
+        const r2 = runner.callBuildArtifactContentJson(TASK_ID, 'dreamer', DREAMER_OUTPUT, makePredecessor('diag_router', contentA));
+        const r3 = runner.callBuildArtifactContentJson(TASK_ID, 'dreamer', DREAMER_OUTPUT, makePredecessor('diag_router', contentB));
+        const hashOf = (s) => {
+            const parsed = JSON.parse(s);
+            const pred = parsed.predecessorSummary;
+            return pred.contentHash;
+        };
+        // Same content → same hash (deterministic).
+        expect(hashOf(r1)).toBe(hashOf(r2));
+        // Different content → different hash (staleness is detectable).
+        expect(hashOf(r1)).not.toBe(hashOf(r3));
+    });
+});
+// ── CP-35: direct-predecessor uniqueness ──────────────────────────────────────
+//
+// F17: some runners load TWO artifacts in the same context (evaluator loads
+// artificer+scribe; diag_router loads rootcause+distiller). Only the EDGE
+// predecessor may land in predecessorSummary. The wiring helper
+// (attachSummaryEnvelope) only ever receives ONE predecessor object — the
+// caller (runner) is responsible for passing the edge one. This test proves the
+// single-predecessor contract holds regardless of what else is in memory.
+describe('Layer 0 — CP-35 direct-predecessor uniqueness (single predecessor per write)', () => {
+    it('each call writes at most one predecessorSummary — the object the caller passed', () => {
+        const deps = createMockDeps();
+        const runner = new Layer0TestRunner(deps, makeEffectiveConfig({ summaryEnabled: true }));
+        // Simulate evaluator's multi-artifact context: it loaded BOTH artificer
+        // (edge predecessor) AND scribe (non-edge). Only artificer may go into
+        // predecessorSummary. The wiring contract: the runner passes ONLY the edge
+        // predecessor; scribe flows through its separate path.
+        const artificerContent = { affectedTools: ['t1'], implementationSummary: 'impl', sourceTrace: { scribeArtifactId: 'scribe-art-1' } };
+        const scribeContent = { principleDraft: { statement: 'principle' } };
+        // Evaluator passes ONLY artificer as loadedPredecessor (edge predecessor).
+        const result = runner.callBuildArtifactContentJson(TASK_ID, 'evaluator', { evaluation: { decision: 'approved', concerns: [] }, codeReview: { intentConsistency: { aligned: true } } }, makePredecessor('artificer', artificerContent));
+        const parsed = JSON.parse(result);
+        const predSummary = parsed.predecessorSummary;
+        // Exactly one predecessorSummary, and it's the artificer (edge).
+        expect(predSummary).toBeDefined();
+        expect(predSummary.runnerKind).toBe('artificer');
+        expect(predSummary.artifactId).toBe('pred-artificer');
+        // The scribe content (a sentinel string) must NOT appear anywhere in the
+        // written contentJson — it was never passed in.
+        expect(result).not.toContain(JSON.stringify(scribeContent.principleDraft));
+    });
+    it('passing the non-edge predecessor (scribe) is the caller\'s contract violation, but the helper still writes exactly one', () => {
+        // This documents the contract boundary: attachSummaryEnvelope trusts the
+        // caller to pass the edge predecessor. If a caller passes the wrong one,
+        // the helper still writes exactly ONE predecessorSummary — it never
+        // merges multiple. This is the invariant CP-35 guards.
+        const deps = createMockDeps();
+        const runner = new Layer0TestRunner(deps, makeEffectiveConfig({ summaryEnabled: true }));
+        const result = runner.callBuildArtifactContentJson(TASK_ID, 'evaluator', { evaluation: { decision: 'approved', concerns: [] } }, makePredecessor('scribe', { principleDraft: { statement: 'p' } }));
+        const parsed = JSON.parse(result);
+        const predSummary = parsed.predecessorSummary;
+        expect(predSummary).toBeDefined();
+        // Exactly one — no array, no merge.
+        expect(typeof predSummary).toBe('object');
+        expect(Array.isArray(predSummary)).toBe(false);
+    });
+});
+//# sourceMappingURL=summary-envelope-writer.property.test.js.map

package/dist/runtime-v2/internalization/__tests__/summary-envelope-writer.property.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"summary-envelope-writer.property.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/summary-envelope-writer.property.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAalE,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,qCAAqC,CAAC;AAM/E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AAEjE,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAY3F,MAAM,OAAO,GAAG,wBAAwB,CAAC;AAEzC;;;;;GAKG;AACH,SAAS,mBAAmB,CAAC,IAAkC;IAC7D,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC;QACzB,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,EAAE,CAAC;IAClC,MAAM,UAAU,GAAa;QAC3B,GAAG,IAAI;QACP,QAAQ,EAAE;YACR,GAAG,IAAI,CAAC,QAAQ;YAChB,2BAA2B,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE;SAClE;KACF,CAAC;IACF,OAAO,wBAAwB,CAAC,UAAU,CAAC,CAAC;AAC9C,CAAC;AAED;;;;GAIG;AACH,MAAM,gBAAiB,SAAQ,cAAuC;IACpE,YAAY,IAAoB,EAAE,eAAmC;QACnE,KAAK,CACH,IAAI,EACJ,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,EAC7C;YACE,UAAU,EAAE,MAAM;YAClB,gBAAgB,EAAE,SAAS;YAC3B,cAAc,EAAE,MAAM;YACtB,eAAe,EAAE,MAAM;YACvB,eAAe;SAChB,CACF,CAAC;IACJ,CAAC;IAED,qEAAqE;IACrE,IAAI,wBAAwB;QAC1B,OAAO,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC,CAAC;IACtD,CAAC;IAED,qEAAqE;IACrE,KAAK,CAAC,YAAY;QAChB,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC;IACtC,CAAC;IAED,qEAAqE;IACrE,KAAK,CAAC,aAAa;QACjB,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;IAC/F,CAAC;IAED,qEAAqE;IACrE,KAAK,CAAC,cAAc;QAClB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACrC,CAAC;IAED,oGAAoG;IACpG,KAAK,CAAC,WAAW,CAAC,MAAc,EAAE,KAAa,EAAE,OAAmB,EAAE,IAAgB;QACpF,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;IACjF,CAAC;IAED,yGAAyG;IACzG,4BAA4B,CAC1B,MAAc,EACd,UAA6B,EAC7B,MAAe,EACf,iBAAmD;QAEnD,OAAO,IAAI,CAAC,wBAAwB,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACtF,CAAC;IAED,kDAAkD;IAClD,4BAA4B;QAC1B,OAAO,IAAI,CAAC,wBAAwB,EAAE,CAAC;IACzC,CAAC;CACF;AAED,SAAS,cAAc,CAAC,SAAmC;IACzD,OAAO;QACL,YAAY,EAAE;YACZ,cAAc,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,WAAW,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;YACxF,cAAc,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC7C,iBAAiB,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAChD,eAAe,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC;SACb;QACnC,cAAc,EAAE,EAAiC;QACjD,YAAY,EAAE;YACZ,aAAa,EAAE,EAAE,CAAC,EAAE,EAAE;SACS;QACjC,aAAa,EAAE;YACb,wEAAwE;YACxE,gEAAgE;YAChE,eAAe,EAAE,EAAE,CAAC,EAAE,EAAE;YACxB,kBAAkB,EAAE,EAAE,CAAC,EAAE,EAAE;SACE;QAC/B,aAAa,EAAE,MAAM;QACrB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAGD,SAAS,cAAc,CAAC,IAA8B;IACpD,OAAQ,IAAI,CAAC,IAAI,CAAC,KAAqB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAsB,CAAC,CAAC;AACtF,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAAC,IAA8B,EAAE,MAAc;IACzE,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC;AAChF,CAAC;AAED,0DAA0D;AAC1D,MAAM,cAAc,GAAG;IACrB,UAAU,EAAE,CAAC;YACX,WAAW,EAAE,kCAAkC;YAC/C,cAAc,EAAE,gDAAgD;YAChE,SAAS,EAAE,yCAAyC;YACpD,SAAS,EAAE,MAAM;YACjB,oBAAoB,EAAE,kBAAkB;SACzC,CAAC;CACM,CAAC;AAEX,SAAS,eAAe,CAAC,UAA6B,EAAE,OAAgC;IACtF,OAAO;QACL,UAAU,EAAE,QAAQ,UAAU,EAAE;QAChC,UAAU;QACV,WAAW,EAAE,OAAO;KACrB,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF,QAAQ,CAAC,qDAAqD,EAAE,GAAG,EAAE;IACnE,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,gCAAgC;QAC3E,MAAM,CAAC,MAAM,CAAC,4BAA4B,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE1D,MAAM,MAAM,GAAG,MAAM,CAAC,4BAA4B,CAAC,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;QAC7F,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC;QACpD,8EAA8E;QAC9E,MAAM,cAAc,GAAG,MAAM,CAAC,4BAA4B,CACxD,OAAO,EACP,SAAS,EACT,cAAc,EACd,eAAe,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAC7D,CAAC;QACF,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0FAA0F,EAAE,GAAG,EAAE;QAClG,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACzF,MAAM,CAAC,MAAM,CAAC,4BAA4B,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEzD,MAAM,MAAM,GAAG,MAAM,CAAC,4BAA4B,CAChD,OAAO,EACP,SAAS,EACT,cAAc,EACd,eAAe,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAC7D,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAA4B,CAAC;QAC7D,mEAAmE;QACnE,MAAM,QAAQ,GAAG,cAAoD,CAAC;QACtE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,CAAC;QACD,8CAA8C;QAC9C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACzF,MAAM,MAAM,GAAG,MAAM,CAAC,4BAA4B,CAAC,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;QAC7F,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAA4B,CAAC;QAC7D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uHAAuH,EAAE,GAAG,EAAE;QAC/H,4EAA4E;QAC5E,4EAA4E;QAC5E,qEAAqE;QACrE,qEAAqE;QACrE,kCAAkC;QAClC,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACzF,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,aAAyC,CAAC;QAE7E,4EAA4E;QAC5E,MAAM,YAAY,GAAG;YACnB,OAAO,EAAE,2CAA2C,EAAE,0BAA0B;YAChF,SAAS,EAAE,4BAA4B;YACvC,kBAAkB,EAAE,EAAE;YACtB,eAAe,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;SACjG,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,CAAC,4BAA4B,CAChD,OAAO,EACP,aAAa,EACb,YAAY,EACZ,eAAe,CAAC,gBAAgB,EAAE,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAClG,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAA4B,CAAC;QAE7D,0EAA0E;QAC1E,wCAAwC;QACxC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;QACzE,MAAM,CAAC,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAE7C,uDAAuD;QACvD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,MAAM,CAAE,MAAM,CAAC,kBAA8C,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAEjG,iEAAiE;QACjE,MAAM,OAAO,GAAG,mBAAmB,CAAC,QAAQ,EAAE,0BAA0B,CAAC,CAAC;QAC1E,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC/E,EAAE,CAAC,8GAA8G,EAAE,GAAG,EAAE;QACtH,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACzF,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,aAAyC,CAAC;QAE7E,iFAAiF;QACjF,MAAM,IAAI,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,MAAM,CAAC,4BAA4B,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAEnF,4EAA4E;QAC5E,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAA4B,CAAC;QAC7D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAErD,yEAAyE;QACzE,MAAM,OAAO,GAAG,mBAAmB,CAAC,QAAQ,EAAE,0BAA0B,CAAC,CAAC;QAC1E,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACzF,MAAM,MAAM,GAAG,MAAM,CAAC,4BAA4B,CAAC,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;QAC9F,yDAAyD;QACzD,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,sDAAsD,EAAE,GAAG,EAAE;IACpE,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAEzF,wEAAwE;QACxE,0EAA0E;QAC1E,4EAA4E;QAC5E,mCAAmC;QACnC,MAAM,IAAI,GAAG,eAAe,CAAC,aAAa,EAAE;YAC1C,OAAO,EAAE,eAAe;YACxB,kBAAkB,EAAE,EAAE,UAAU,EAAE,sBAAsB,EAAE,UAAU,EAAE,gBAAgB,EAAE;SACzF,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,CAAC,4BAA4B,CAAC,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;QAC7F,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAA4B,CAAC;QAC7D,MAAM,WAAW,GAAG,MAAM,CAAC,kBAA6C,CAAC;QACzE,MAAM,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QAClC,qFAAqF;QACrF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;QAChF,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC;QACD,mEAAmE;QACnE,MAAM,MAAM,GAAG,WAAW,CAAC,OAA0B,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE;YACnD,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YAEzF,qEAAqE;YACrE,sCAAsC;YACtC,MAAM,KAAK,GAAwB,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;YAC3H,IAAI,WAAW,GAA4B,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC;YAC5E,IAAI,QAAQ,GAAsB,gBAAgB,CAAC;YAEnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC;gBAC9D,MAAM,WAAW,GAAqC,CAAC,KAAK,CAAC;oBAC3D,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC;gBAC/E,MAAM,GAAG,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,YAAY,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBACjF,MAAM,OAAO,GAAG,MAAM,CAAC,4BAA4B,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;gBACzF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA4B,CAAC;gBAC9D,mEAAmE;gBACnE,MAAM,IAAI,GAAG,MAAM,CAAC,kBAAyD,CAAC;gBAC9E,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;oBAChF,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;wBAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACzE,MAAM,KAAK,GAAG,IAAI,CAAC,OAA0B,CAAC;oBAC9C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACjE,CAAC;gBACD,WAAW,GAAG,MAAM,CAAC;gBACrB,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAClF,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACzF,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,eAA2C,CAAC;QAC/E,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,kBAA8C,CAAC;QAEnF,MAAM,CAAC,4BAA4B,CACjC,OAAO,EACP,SAAS,EACT,cAAc,EACd,eAAe,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAC7D,CAAC;QAEF,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;QACvC,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACzF,MAAM,WAAW,GAAG,EAAE,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAClE,MAAM,IAAI,GAA8B;YACtC,UAAU,EAAE,cAAc;YAC1B,UAAU,EAAE,aAAa;YACzB,WAAW,EAAE,WAAW;SACzB,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,CAAC,4BAA4B,CAAC,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;QAC7F,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAA4B,CAAC;QAC7D,MAAM,WAAW,GAAG,MAAM,CAAC,kBAA6C,CAAC;QAEzE,0DAA0D;QAC1D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACpD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACnD,sFAAsF;QACtF,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;QACpG,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACzF,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,aAAyC,CAAC;QAE7E,MAAM,MAAM,GAAG,MAAM,CAAC,4BAA4B,CAAC,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;QAC7F,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAA4B,CAAC;QAC7D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEhE,MAAM,MAAM,GAAG,mBAAmB,CAAC,QAAQ,EAAE,qCAAqC,CAAC,CAAC;QACpF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAChF,EAAE;AACF,6EAA6E;AAC7E,0EAA0E;AAC1E,6EAA6E;AAC7E,4EAA4E;AAC5E,+EAA+E;AAC/E,+EAA+E;AAC/E,cAAc;AAEd,QAAQ,CAAC,8EAA8E,EAAE,GAAG,EAAE;IAC5F,EAAE,CAAC,2FAA2F,EAAE,GAAG,EAAE;QACnG,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAEzF,MAAM,QAAQ,GAAG,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC;QAEjD,MAAM,EAAE,GAAG,MAAM,CAAC,4BAA4B,CAAC,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,eAAe,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC7H,MAAM,EAAE,GAAG,MAAM,CAAC,4BAA4B,CAAC,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,eAAe,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC7H,MAAM,EAAE,GAAG,MAAM,CAAC,4BAA4B,CAAC,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,eAAe,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;QAE7H,MAAM,MAAM,GAAG,CAAC,CAAS,EAAU,EAAE;YACnC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAA4B,CAAC;YACxD,MAAM,IAAI,GAAG,MAAM,CAAC,kBAA6C,CAAC;YAClE,OAAO,IAAI,CAAC,WAAqB,CAAC;QACpC,CAAC,CAAC;QACF,4CAA4C;QAC5C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,gEAAgE;QAChE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AACjF,EAAE;AACF,4EAA4E;AAC5E,0EAA0E;AAC1E,gEAAgE;AAChE,0EAA0E;AAC1E,gFAAgF;AAChF,0EAA0E;AAE1E,QAAQ,CAAC,8EAA8E,EAAE,GAAG,EAAE;IAC5F,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAEzF,wEAAwE;QACxE,uEAAuE;QACvE,2EAA2E;QAC3E,uDAAuD;QACvD,MAAM,gBAAgB,GAAG,EAAE,aAAa,EAAE,CAAC,IAAI,CAAC,EAAE,qBAAqB,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,gBAAgB,EAAE,cAAc,EAAE,EAAE,CAAC;QACrI,MAAM,aAAa,GAAG,EAAE,cAAc,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,CAAC;QAErE,2EAA2E;QAC3E,MAAM,MAAM,GAAG,MAAM,CAAC,4BAA4B,CAChD,OAAO,EACP,WAAW,EACX,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,iBAAiB,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,EAC5G,eAAe,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAC/C,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAA4B,CAAC;QAC7D,MAAM,WAAW,GAAG,MAAM,CAAC,kBAA6C,CAAC;QAEzE,iEAAiE;QACjE,MAAM,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QAClC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAEtD,yEAAyE;QACzE,gDAAgD;QAChD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wHAAwH,EAAE,GAAG,EAAE;QAChI,yEAAyE;QACzE,yEAAyE;QACzE,oEAAoE;QACpE,uDAAuD;QACvD,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAEzF,MAAM,MAAM,GAAG,MAAM,CAAC,4BAA4B,CAChD,OAAO,EACP,WAAW,EACX,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EACtD,eAAe,CAAC,QAAQ,EAAE,EAAE,cAAc,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC,CAClE,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAA4B,CAAC;QAC7D,MAAM,WAAW,GAAG,MAAM,CAAC,kBAA6C,CAAC;QACzE,MAAM,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QAClC,oCAAoC;QACpC,MAAM,CAAC,OAAO,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/internalization/__tests__/summary-freshness.property.test.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Property tests for `checkPredecessorSummaryFreshness` (design §6.1, tasks
+ * 3.9–3.10).
+ *
+ * CP-09: freshness ⟺ content hash equality
+ * CP-10: updatedAt does not participate in freshness determination
+ *
+ * @see .kiro/specs/internalization-progressive-disclosure/design.md §6.1, §16
+ * @see .kiro/specs/internalization-progressive-disclosure/requirements.md Requirement 3
+ */
+export {};
+//# sourceMappingURL=summary-freshness.property.test.d.ts.map

package/dist/runtime-v2/internalization/__tests__/summary-freshness.property.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"summary-freshness.property.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/summary-freshness.property.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG"}

package/dist/runtime-v2/internalization/__tests__/summary-freshness.property.test.js

@@ -0,0 +1,176 @@
+/**
+ * Property tests for `checkPredecessorSummaryFreshness` (design §6.1, tasks
+ * 3.9–3.10).
+ *
+ * CP-09: freshness ⟺ content hash equality
+ * CP-10: updatedAt does not participate in freshness determination
+ *
+ * @see .kiro/specs/internalization-progressive-disclosure/design.md §6.1, §16
+ * @see .kiro/specs/internalization-progressive-disclosure/requirements.md Requirement 3
+ */
+import { describe, it, expect } from 'vitest';
+import fc from 'fast-check';
+import { createHash } from 'node:crypto';
+import { computeContentHash } from '../artifact-content-hash.js';
+import { checkPredecessorSummaryFreshness, } from '../artifact-summary.js';
+const sha256 = (input) => createHash('sha256').update(input).digest('hex');
+/** Counting store stub — proves zero artifact-store reads happen inside the freshness check. */
+class CountingStoreStub {
+    reads = 0;
+    getArtifactById() {
+        this.reads += 1;
+        throw new Error('checkPredecessorSummaryFreshness must not read the artifact store');
+    }
+}
+function makeSummary() {
+    return {
+        schemaVersion: 1,
+        runnerKind: 'scribe',
+        headline: 'headline',
+        fields: { principleText: 'text' },
+        derivedFrom: 'structured_output',
+        omittedFields: [],
+    };
+}
+function makeRef(contentJson) {
+    return {
+        artifactId: 'artifact-1',
+        runnerKind: 'scribe',
+        contentHash: computeContentHash(contentJson, sha256),
+        summary: makeSummary(),
+    };
+}
+const jsonSafeValueGen = fc.jsonValue({ maxDepth: 3 });
+const jsonSafeObjectGen = fc.dictionary(fc.string({ minLength: 1, maxLength: 10 }), jsonSafeValueGen, { minKeys: 1, maxKeys: 6 });
+describe('checkPredecessorSummaryFreshness — CP-09 freshness ⟺ content hash equality', () => {
+    it('identity: unchanged content is always fresh', () => {
+        fc.assert(fc.property(jsonSafeObjectGen, (content) => {
+            const ref = makeRef(content);
+            expect(checkPredecessorSummaryFreshness(ref, content, sha256)).toEqual({ fresh: true });
+        }), { numRuns: 100 });
+    });
+    it('value change on an existing key: hash mismatch → stale', () => {
+        fc.assert(fc.property(jsonSafeObjectGen, fc.string({ minLength: 1, maxLength: 5 }), jsonSafeValueGen, (content, key, newValue) => {
+            const ref = makeRef(content);
+            const mutated = { ...content, [key]: newValue };
+            // Only assert staleness when the mutation actually changes the
+            // canonical serialization (guards against the rare case where
+            // newValue happens to canonicalize identically to the old value,
+            // or the key didn't previously exist and content is empty).
+            const before = computeContentHash(content, sha256);
+            const after = computeContentHash(mutated, sha256);
+            fc.pre(before !== after);
+            expect(checkPredecessorSummaryFreshness(ref, mutated, sha256)).toEqual({
+                fresh: false,
+                reason: 'content_hash_mismatch',
+            });
+        }), { numRuns: 200 });
+    });
+    it('key deletion: hash mismatch → stale (when content actually shrinks)', () => {
+        fc.assert(fc.property(jsonSafeObjectGen, (content) => {
+            const keys = Object.keys(content);
+            const firstKey = keys[0];
+            fc.pre(firstKey !== undefined);
+            fc.pre(keys.length > 0);
+            const ref = makeRef(content);
+            const { [firstKey]: _removed, ...rest } = content;
+            const before = computeContentHash(content, sha256);
+            const after = computeContentHash(rest, sha256);
+            fc.pre(before !== after);
+            expect(checkPredecessorSummaryFreshness(ref, rest, sha256)).toEqual({
+                fresh: false,
+                reason: 'content_hash_mismatch',
+            });
+        }), { numRuns: 150 });
+    });
+    it('key addition: hash mismatch → stale', () => {
+        fc.assert(fc.property(jsonSafeObjectGen, jsonSafeValueGen, (content, newValue) => {
+            const ref = makeRef(content);
+            const added = { ...content, __new_key__: newValue };
+            expect(checkPredecessorSummaryFreshness(ref, added, sha256)).toEqual({
+                fresh: false,
+                reason: 'content_hash_mismatch',
+            });
+        }), { numRuns: 100 });
+    });
+    it('setting an existing key to undefined (JSON-equivalent to deletion): matches JSON semantics', () => {
+        fc.assert(fc.property(jsonSafeObjectGen, (content) => {
+            const keys = Object.keys(content);
+            const firstKey = keys[0];
+            fc.pre(firstKey !== undefined);
+            fc.pre(keys.length > 0);
+            const ref = makeRef(content);
+            const mutated = { ...content, [firstKey]: undefined };
+            const before = computeContentHash(content, sha256);
+            const after = computeContentHash(mutated, sha256);
+            const result = checkPredecessorSummaryFreshness(ref, mutated, sha256);
+            if (before === after) {
+                expect(result).toEqual({ fresh: true });
+            }
+            else {
+                expect(result).toEqual({ fresh: false, reason: 'content_hash_mismatch' });
+            }
+        }), { numRuns: 100 });
+    });
+    it('missing predecessor content → predecessor_missing, distinct from a hash mismatch', () => {
+        const ref = makeRef({ a: 1 });
+        expect(checkPredecessorSummaryFreshness(ref, undefined, sha256)).toEqual({
+            fresh: false,
+            reason: 'predecessor_missing',
+        });
+        expect(checkPredecessorSummaryFreshness(undefined, { a: 1 }, sha256)).toEqual({
+            fresh: false,
+            reason: 'predecessor_missing',
+        });
+    });
+    it('performs zero artifact-store reads (no I/O; predecessor must already be in memory)', () => {
+        const store = new CountingStoreStub();
+        const content = { a: 1, b: 'text' };
+        const ref = makeRef(content);
+        checkPredecessorSummaryFreshness(ref, content, sha256);
+        checkPredecessorSummaryFreshness(ref, undefined, sha256);
+        checkPredecessorSummaryFreshness(undefined, content, sha256);
+        expect(store.reads).toBe(0);
+    });
+});
+describe('checkPredecessorSummaryFreshness — CP-10 updatedAt does not participate', () => {
+    it('is unaffected by a pending→validated-style timestamp-only refresh (memory store shape)', () => {
+        fc.assert(fc.property(jsonSafeObjectGen, fc.string({ minLength: 1, maxLength: 24 }), (content, newUpdatedAt) => {
+            // Simulate a memory-store record: contentJson is untouched, only a
+            // sibling `updatedAt` field on the *record* (not inside contentJson)
+            // changes. checkPredecessorSummaryFreshness only ever receives the
+            // contentJson itself, so it structurally cannot see updatedAt.
+            const ref = makeRef(content);
+            const recordAfterRefresh = { contentJson: content, updatedAt: newUpdatedAt };
+            expect(checkPredecessorSummaryFreshness(ref, recordAfterRefresh.contentJson, sha256)).toEqual({
+                fresh: true,
+            });
+        }), { numRuns: 100 });
+    });
+    it('is unaffected by a pending→validated-style timestamp-only refresh (sqlite upsert shape)', () => {
+        fc.assert(fc.property(jsonSafeObjectGen, fc.integer({ min: 0, max: 2_000_000_000 }), (content, newUpdatedAtEpoch) => {
+            // Simulate a sqlite row: contentJson column unchanged, updated_at
+            // column bumped by an upsert. Same structural argument as above —
+            // the row's updated_at is never passed into the freshness check.
+            const ref = makeRef(content);
+            const rowAfterUpsert = { content_json: JSON.stringify(content), updated_at: newUpdatedAtEpoch };
+            const parsedContentJson = JSON.parse(rowAfterUpsert.content_json);
+            expect(checkPredecessorSummaryFreshness(ref, parsedContentJson, sha256)).toEqual({
+                fresh: true,
+            });
+        }), { numRuns: 100 });
+    });
+    it('freshness result does not change when only an out-of-band updatedAt-like value varies, content held fixed', () => {
+        const content = { statement: 'fixed content', scope: ['a', 'b'] };
+        const ref = makeRef(content);
+        const timestamps = ['2026-01-01T00:00:00Z', '2026-06-15T12:30:00Z', '2027-12-31T23:59:59Z'];
+        for (const _ts of timestamps) {
+            // The function signature has no updatedAt parameter at all — this test
+            // documents that fact by construction: there is no way to pass a
+            // timestamp into checkPredecessorSummaryFreshness that could influence
+            // its result.
+            expect(checkPredecessorSummaryFreshness(ref, content, sha256)).toEqual({ fresh: true });
+        }
+    });
+});
+//# sourceMappingURL=summary-freshness.property.test.js.map