@principles/core 1.274.4 → 1.275.1

package/dist/runtime-v2/internalization/__tests__/evaluator-artificer-repair-replay.test.js

@@ -0,0 +1,413 @@
+/**
+ * PRI-634 PR-A — Runner-level deterministic regression (SPEC §31/§35/§38).
+ *
+ * The full self-healing closure, through REAL production components:
+ *
+ *   Round 1: Artificer emits RuleCode calling input.action.paramsSummary.includes(...)
+ *            → REAL deterministic replay (createProductionGateDeps, node:vm)
+ *            → every case fails runtime_error ("…includes is not a function")
+ *            → Evaluator artifact durably carries concrete failed-case evidence
+ *              (caseId / expectedDecision / errorType / message; no fabricated
+ *              actualDecision)
+ *            → repair task seeded with diagnosticReplay {ran:true, passed:false}
+ *
+ *   Repair:   ArtificerRunner.buildContext resolves the evidence BY REFERENCE
+ *            from the source Evaluator artifact (intent-runId artifact
+ *            identity) — with all three Progressive Disclosure flags OFF —
+ *            and the repair prompt contains the concrete case details.
+ *
+ *   Round 2: Artificer emits correct RuleCode → evaluator approved → REAL
+ *            replay PASSES all cases (incl. the 5 canonical v2 adversarial
+ *            cases) → formal pi-rule-* artifact assembled + validated.
+ *
+ * No mock gate, no hand-written artifacts, no DB writes outside the runners.
+ * The only scripted component is the LLM (allowed: deterministic failure
+ * injection per SPEC §37).
+ */
+import { describe, it, expect, beforeEach, afterEach } from 'vitest';
+import * as fs from 'node:fs';
+import * as path from 'node:path';
+import * as os from 'node:os';
+import { RuntimeStateManager } from '../../store/runtime-state-manager.js';
+import { EvaluatorRunner } from '../evaluator-runner.js';
+import { ArtificerRunner } from '../artificer-runner.js';
+import { DefaultEvaluatorValidator } from '../evaluator-output.js';
+import { DefaultArtificerValidator } from '../artificer-output.js';
+import { StoreEventEmitter } from '../../store/event-emitter.js';
+import { SqliteConnection } from '../../store/sqlite-connection.js';
+import { SqlitePIArtifactStore } from '../../store/artifact/sqlite-pi-artifact-store.js';
+import { createPITaskDiagnosticJson } from '../pitask-metadata.js';
+import { createProductionGateDeps } from '../../activation/production-gate-deps.js';
+import { computeFeatureFlagsFromConfig, isFeatureEnabled } from '../../config/pd-config-feature-flags.js';
+let workspaceDir;
+let stateManager;
+let emitter;
+let emitted;
+let store;
+const SCRIBE_ID = 'scribe-rr';
+const ART1_ID = 'artificer-rr1';
+const EVAL1_ID = 'evaluator-rr1';
+const REPAIR_ID = 'artificer-repair-rr1';
+const EVAL2_ID = 'evaluator-rr2';
+const SCRIBE_ART = 'pi-art-scribe-rr';
+/** Round-1 RuleCode: the classic whole-object string-method bug. */
+const BAD_RULE_CODE = `function evaluate(input, helpers) {
+  if (input.action.paramsSummary.includes('/etc/passwd')) {
+    return { decision: 'block', matched: true, reason: 'risk path' };
+  }
+  return { decision: 'allow', matched: false, reason: 'safe path' };
+}`;
+/** Round-2 RuleCode: risk-path dominance + read-before-write via context facts.
+ * Reads params via guarded key access — the exact pattern the repaired
+ * prompt contract teaches (contrast with the BAD code's string-method call). */
+const GOOD_RULE_CODE = `function evaluate(input, helpers) {
+  var rawPath = input.action.paramsSummary.path;
+  var p = (typeof rawPath === 'string') ? rawPath : (input.action.normalizedPath || '');
+  if (p.indexOf('/etc/') === 0 || p === '/etc/passwd') {
+    return { decision: 'block', matched: true, reason: 'risk path dominates prior context' };
+  }
+  var ctx = input.context;
+  if (ctx && ctx.facts && ctx.facts.priorReadOfTarget === 'no') {
+    return { decision: 'block', matched: true, reason: 'write target was not read first' };
+  }
+  return { decision: 'allow', matched: false, reason: 'no risk signal' };
+}`;
+const GOLDEN_TRACE_CASES = [
+    { caseId: 'neg-1', kind: 'negative', toolName: 'write_file', params: { path: '/etc/passwd' }, expectedDecision: 'block' },
+    { caseId: 'pos-1', kind: 'positive', toolName: 'write_file', params: { path: '/workspace/src/a.ts' }, expectedDecision: 'allow' },
+];
+function flagsOffConfig() {
+    return {
+        config: {
+            version: 1,
+            features: {
+                artifact_summary_redundancy: { category: 'quiet', enabled: false },
+                context_manifest_budget: { category: 'quiet', enabled: false },
+                progressive_evaluator: { category: 'quiet', enabled: false },
+            },
+            runtimeProfiles: {},
+            internalAgents: {},
+            ui: { diagnostics: { mode: 'simple' } },
+        },
+        source: 'user_config',
+        warnings: [],
+        resolvedContextInjection: {
+            thinkingOs: false,
+            projectFocus: 'off',
+            evolutionContext: { enabled: true, maxMessages: 4, maxCharsPerMessage: 200 },
+        },
+    };
+}
+function artificerOutput(implementationCode, scribeArtifactId, taskId) {
+    return {
+        taskId,
+        sourceScribeArtifactId: scribeArtifactId,
+        implementationSummary: 'read-before-write guard',
+        sourceTrace: { scribeArtifactId: scribeArtifactId },
+        risks: [],
+        implementationCode,
+        goldenTraceCases: GOLDEN_TRACE_CASES,
+        affectedTools: ['write_file'],
+        generatedAt: new Date().toISOString(),
+    };
+}
+function evaluatorOutput(taskId, artificerArtifactId, decision) {
+    return {
+        taskId,
+        sourceArtificerArtifactId: artificerArtifactId,
+        evaluation: {
+            decision,
+            summary: 'repair-replay regression',
+            score: decision === 'approved' ? 0.9 : 0.6,
+            strengths: [],
+            concerns: decision === 'needs_revision' ? ['paramsSummary misuse'] : [],
+            requiredChanges: decision === 'needs_revision' ? ['Fix the paramsSummary string-method crash'] : [],
+            // PRI-630 convergence: the round-2 evaluator adjudicates the round-1
+            // requirement (req-1 = the round-1 requiredChange, sequential id).
+            ...(taskId === EVAL2_ID
+                ? {
+                    priorRequirementStatuses: [{ id: 'req-1', status: 'resolved' }],
+                    requirementLedger: [{ id: 'req-1', statement: 'Fix the paramsSummary string-method crash', status: 'resolved' }],
+                }
+                : {}),
+        },
+        sourceTrace: { artificerArtifactId, scribeArtifactId: SCRIBE_ART },
+        risks: [],
+        generatedAt: new Date().toISOString(),
+    };
+}
+/** Scripted LLM adapter that records every prompt it receives. */
+function scriptedAdapter(payload, prompts, runId) {
+    return {
+        startRun: async (req) => {
+            prompts.push(String(req.inputPayload));
+            return { runId, runtimeKind: 'test-double', startedAt: new Date().toISOString() };
+        },
+        pollRun: async () => ({ status: 'succeeded', runId }),
+        fetchOutput: async () => ({ runId, payload }),
+        cancelRun: async () => undefined,
+    };
+}
+function meta(o = {}) {
+    return createPITaskDiagnosticJson({
+        dependencyTaskIds: [], channel: 'prompt', timeoutMs: 300_000,
+        inputArtifactRefs: [], outputArtifactRefs: [], ...o,
+    });
+}
+async function mkTask(spec) {
+    await stateManager.createTask({
+        taskId: spec.id, taskKind: spec.kind, status: 'pending', attemptCount: 0, maxAttempts: 3,
+        diagnosticJson: spec.diagnosticJson ?? meta({ dependencyTaskIds: spec.deps }),
+    });
+}
+async function succeed(id) {
+    await stateManager.acquireLease({ taskId: id, owner: 'rr-test', runtimeKind: 'test-double' });
+    await stateManager.markTaskSucceeded(id);
+}
+beforeEach(async () => {
+    workspaceDir = fs.mkdtempSync(path.join(os.tmpdir(), 'pd-repair-replay-'));
+    stateManager = new RuntimeStateManager({ workspaceDir });
+    await stateManager.initialize();
+    emitter = new StoreEventEmitter();
+    emitted = [];
+    emitter.onTelemetry((event) => {
+        emitted.push({ eventType: event.eventType, payload: event.payload });
+    });
+    store = new SqlitePIArtifactStore(new SqliteConnection(workspaceDir));
+});
+afterEach(async () => {
+    await stateManager.close();
+    try {
+        fs.rmSync(workspaceDir, { recursive: true, force: true });
+    }
+    catch { /* temp */ }
+});
+describe('PRI-634 PR-A: FAIL → durable evidence → repair retrieval → PASS → pi-rule (flags OFF)', () => {
+    it('closes the full self-healing loop through the REAL deterministic replay gate', async () => {
+        // SPEC §38 acceptance: prove the fix works with all Progressive
+        // Disclosure quiet features explicitly OFF (they default off; pin them).
+        const flags = computeFeatureFlagsFromConfig(flagsOffConfig());
+        expect(isFeatureEnabled(flags, 'artifact_summary_redundancy')).toBe(false);
+        expect(isFeatureEnabled(flags, 'context_manifest_budget')).toBe(false);
+        expect(isFeatureEnabled(flags, 'progressive_evaluator')).toBe(false);
+        // ── lineage: scribe task + artifact ──
+        await mkTask({ id: SCRIBE_ID, kind: 'scribe', deps: [] });
+        await succeed(SCRIBE_ID);
+        await store.upsertArtifact({
+            artifactId: SCRIBE_ART, artifactKind: 'principle', sourceTaskId: SCRIBE_ID,
+            lineageArtifactIds: [], validationStatus: 'validated',
+            contentJson: JSON.stringify({ principleId: 'pri-rr-read-before-write', principleDraft: { statement: 'Read a file before writing it.' }, sourceTrace: {} }),
+            createdAt: new Date().toISOString(), updatedAt: new Date().toISOString(),
+        });
+        // ── Round 1: Artificer emits the paramsSummary string-method bug ──
+        await mkTask({ id: ART1_ID, kind: 'artificer', deps: [SCRIBE_ID] });
+        const artPrompts = [];
+        const artificer1 = new ArtificerRunner({
+            stateManager,
+            runtimeAdapter: scriptedAdapter(artificerOutput(BAD_RULE_CODE, SCRIBE_ART, ART1_ID), artPrompts, 'run-art-1'),
+            eventEmitter: emitter,
+            artifactStore: store,
+            validator: new DefaultArtificerValidator(),
+        }, { owner: 'rr-test', runtimeKind: 'test-double', pollIntervalMs: 5, timeoutMs: 5_000, effectiveConfig: flagsOffConfig() });
+        const art1Result = await artificer1.run(ART1_ID);
+        expect(art1Result.status).toBe('succeeded');
+        const art1Artifacts = await store.listBySourceTaskId(ART1_ID);
+        const art1Artifact = art1Artifacts.find((a) => a.artifactKind === 'principle');
+        expect(art1Artifact).toBeDefined();
+        if (!art1Artifact)
+            return;
+        // ── Round 1: Evaluator needs_revision + REAL diagnostic replay ──
+        await mkTask({ id: EVAL1_ID, kind: 'evaluator', deps: [ART1_ID] });
+        const evalPrompts = [];
+        const seededRepair = {};
+        const evaluator1 = new EvaluatorRunner({
+            stateManager,
+            runtimeAdapter: scriptedAdapter(evaluatorOutput(EVAL1_ID, art1Artifact.artifactId, 'needs_revision'), evalPrompts, 'run-eval-1'),
+            eventEmitter: emitter,
+            artifactStore: store,
+            validator: new DefaultEvaluatorValidator(),
+            isRepairLoopEnabled: () => true,
+            seedArtificerRepairTask: async (params) => {
+                seededRepair.payload = params.repairPayload;
+                // Plugin-style seeder: real task row carrying the repairPayload.
+                await mkTask({ id: REPAIR_ID, kind: 'artificer', deps: params.inheritedDependencyTaskIds, diagnosticJson: meta({
+                        dependencyTaskIds: params.inheritedDependencyTaskIds,
+                        repairPayload: params.repairPayload,
+                    }) });
+                return REPAIR_ID;
+            },
+        }, {
+            owner: 'rr-test', runtimeKind: 'test-double', pollIntervalMs: 5, timeoutMs: 5_000,
+            gateDeps: createProductionGateDeps(), // REAL deterministic replay — no stubs
+            // EvaluatorRunner takes no effectiveConfig — base-runner flag helpers
+            // default to legacy (all three quiet flags OFF) without it.
+        });
+        const eval1Result = await evaluator1.run(EVAL1_ID);
+        expect(eval1Result.status).toBe('succeeded');
+        // (1) The durable Evaluator artifact carries CONCRETE replay evidence.
+        const eval1Artifacts = await store.listBySourceTaskId(EVAL1_ID);
+        const eval1Artifact = eval1Artifacts.find((a) => a.artifactKind === 'principle');
+        expect(eval1Artifact).toBeDefined();
+        if (!eval1Artifact)
+            return;
+        const eval1Content = JSON.parse(eval1Artifact.contentJson);
+        expect(eval1Content.evaluation?.decision).toBe('needs_revision'); // verdict not overridden
+        expect(eval1Content.adversarialResult?.passed).toBe(false);
+        const failedCases = eval1Content.adversarialResult?.failedCases ?? [];
+        expect(failedCases.length).toBeGreaterThanOrEqual(5); // 5 v2 cases at minimum all crashed
+        for (const failure of failedCases) {
+            expect(typeof failure.errorType).toBe('string'); // SPEC §14: errorType is its own field
+            expect(failure.errorType).toBe('runtime_error');
+            expect(failure.actualDecision).toBeUndefined(); // no fabricated decision on throws
+            expect(typeof failure.message).toBe('string');
+        }
+        const v2Unavailable = failedCases.find((f) => f.caseId === 'v2-unavailable');
+        expect(v2Unavailable).toBeDefined();
+        if (!v2Unavailable)
+            return;
+        expect(v2Unavailable.expectedDecision).toBe('allow');
+        expect(String(v2Unavailable.message)).toContain('includes is not a function');
+        // (2) The repair round was seeded with the bounded control summary only.
+        expect(seededRepair.payload).toBeDefined();
+        const seededRepairPayload = seededRepair.payload;
+        if (seededRepairPayload === undefined)
+            return;
+        expect(seededRepairPayload.diagnosticReplay).toEqual({ ran: true, passed: false, failedCaseCount: failedCases.length });
+        expect(seededRepairPayload.sourceEvaluatorTaskId).toBe(EVAL1_ID);
+        // RepairPayload must NOT carry full failedCases (SPEC §21/§24).
+        expect(Object.hasOwn(seededRepairPayload, 'failedCases')).toBe(false);
+        // (3) Repair round: ArtificerRunner resolves the evidence BY REFERENCE and
+        // the prompt contains the concrete case details — flags OFF.
+        const repairPrompts = [];
+        const artificerRepair = new ArtificerRunner({
+            stateManager,
+            runtimeAdapter: scriptedAdapter(artificerOutput(GOOD_RULE_CODE, SCRIBE_ART, REPAIR_ID), repairPrompts, 'run-repair-1'),
+            eventEmitter: emitter,
+            artifactStore: store,
+            validator: new DefaultArtificerValidator(),
+        }, { owner: 'rr-test', runtimeKind: 'test-double', pollIntervalMs: 5, timeoutMs: 5_000, effectiveConfig: flagsOffConfig() });
+        const repairResult = await artificerRepair.run(REPAIR_ID);
+        expect(repairResult.status).toBe('succeeded');
+        expect(repairPrompts).toHaveLength(1);
+        const [repairPrompt] = repairPrompts;
+        if (repairPrompt === undefined)
+            return;
+        expect(repairPrompt).toContain('Deterministic Replay Evidence (resolved by reference from evaluator artifact');
+        expect(repairPrompt).toContain(`Case: v2-unavailable`);
+        expect(repairPrompt).toContain('Expected: allow');
+        expect(repairPrompt).toContain('Error: runtime_error');
+        expect(repairPrompt).toContain('includes is not a function');
+        expect(repairPrompt).toContain(EVAL1_ID); // stable source reference in the evidence header
+        expect(emitted.some((e) => e.eventType === 'artificer_repair_replay_evidence_resolved')).toBe(true);
+        const repairArtifacts = await store.listBySourceTaskId(REPAIR_ID);
+        const repairArtifact = repairArtifacts.find((a) => a.artifactKind === 'principle');
+        expect(repairArtifact).toBeDefined();
+        if (!repairArtifact)
+            return;
+        // ── Round 2: Evaluator approves the repaired code → REAL replay PASSES → pi-rule ──
+        await mkTask({ id: EVAL2_ID, kind: 'evaluator', deps: [REPAIR_ID] });
+        const evaluator2 = new EvaluatorRunner({
+            stateManager,
+            runtimeAdapter: scriptedAdapter(evaluatorOutput(EVAL2_ID, repairArtifact.artifactId, 'approved'), [], 'run-eval-2'),
+            eventEmitter: emitter,
+            artifactStore: store,
+            validator: new DefaultEvaluatorValidator(),
+        }, {
+            owner: 'rr-test', runtimeKind: 'test-double', pollIntervalMs: 5, timeoutMs: 5_000,
+            gateDeps: createProductionGateDeps(), // REAL gate again
+        });
+        const eval2Result = await evaluator2.run(EVAL2_ID);
+        expect(eval2Result.status).toBe('succeeded');
+        const eval2Artifacts = await store.listBySourceTaskId(EVAL2_ID);
+        const ruleArtifact = eval2Artifacts.find((a) => a.artifactKind === 'rule');
+        expect(ruleArtifact).toBeDefined();
+        if (!ruleArtifact)
+            return;
+        expect(ruleArtifact.artifactId).toContain('pi-rule-');
+        expect(ruleArtifact.validationStatus).toBe('validated');
+        // The repaired code replayed clean: adversarialResult.passed=true durable.
+        const eval2Principle = eval2Artifacts.find((a) => a.artifactKind === 'principle');
+        const eval2Content = JSON.parse((eval2Principle ?? { contentJson: '{}' }).contentJson);
+        expect(eval2Content.adversarialResult?.passed).toBe(true);
+        expect(eval2Content.adversarialResult?.failedCases).toHaveLength(0);
+    });
+    it('missing replay evidence fails loud — no blind LLM repair round (SPEC §27)', async () => {
+        // Build a repair task whose diagnosticReplay says FAILED but whose source
+        // evaluator artifact does not exist.
+        await mkTask({ id: SCRIBE_ID, kind: 'scribe', deps: [] });
+        await succeed(SCRIBE_ID);
+        await store.upsertArtifact({
+            artifactId: SCRIBE_ART, artifactKind: 'principle', sourceTaskId: SCRIBE_ID,
+            lineageArtifactIds: [], validationStatus: 'validated',
+            contentJson: JSON.stringify({ principleDraft: { statement: 'x' } }),
+            createdAt: new Date().toISOString(), updatedAt: new Date().toISOString(),
+        });
+        await mkTask({ id: 'evaluator-ghost', kind: 'evaluator', deps: [] }); // no artifacts for this task
+        await stateManager.deleteTask?.('evaluator-ghost').catch(() => undefined);
+        await mkTask({ id: REPAIR_ID, kind: 'artificer', deps: [SCRIBE_ID], diagnosticJson: meta({
+                dependencyTaskIds: [SCRIBE_ID],
+                repairPayload: {
+                    requiredChanges: ['fix it'],
+                    concerns: [],
+                    previousScore: 0.5,
+                    repairIteration: 1,
+                    sourceArtificerArtifactId: 'pi-art-ghost',
+                    sourceEvaluatorTaskId: 'evaluator-ghost',
+                    diagnosticReplay: { ran: true, passed: false, failedCaseCount: 3 },
+                },
+            }) });
+        const repairPrompts = [];
+        const artificerRepair = new ArtificerRunner({
+            stateManager,
+            runtimeAdapter: scriptedAdapter(artificerOutput(GOOD_RULE_CODE, SCRIBE_ART, REPAIR_ID), repairPrompts, 'run-repair-x'),
+            eventEmitter: emitter,
+            artifactStore: store,
+            validator: new DefaultArtificerValidator(),
+        }, { owner: 'rr-test', runtimeKind: 'test-double', pollIntervalMs: 5, timeoutMs: 5_000, effectiveConfig: flagsOffConfig() });
+        const result = await artificerRepair.run(REPAIR_ID);
+        // Fail loud BEFORE any LLM call: no prompt consumed, structured evidence.
+        expect(result.status).toBe('failed');
+        expect(repairPrompts).toHaveLength(0);
+        expect(result.failureReason).toContain('repair_replay_evidence_unavailable');
+        expect(emitted.some((e) => e.eventType === 'artificer_repair_replay_evidence_unavailable')).toBe(true);
+    });
+    it('diagnosticReplay absent (replay never ran) keeps legacy repair behavior — no resolver, no fail', async () => {
+        await mkTask({ id: SCRIBE_ID, kind: 'scribe', deps: [] });
+        await succeed(SCRIBE_ID);
+        await store.upsertArtifact({
+            artifactId: SCRIBE_ART, artifactKind: 'principle', sourceTaskId: SCRIBE_ID,
+            lineageArtifactIds: [], validationStatus: 'validated',
+            contentJson: JSON.stringify({ principleDraft: { statement: 'x' } }),
+            createdAt: new Date().toISOString(), updatedAt: new Date().toISOString(),
+        });
+        await mkTask({ id: REPAIR_ID, kind: 'artificer', deps: [SCRIBE_ID], diagnosticJson: meta({
+                dependencyTaskIds: [SCRIBE_ID],
+                repairPayload: {
+                    requiredChanges: ['improve matcher'],
+                    concerns: ['scope too broad'],
+                    previousScore: 0.4,
+                    repairIteration: 1,
+                    sourceArtificerArtifactId: 'pi-art-old',
+                    sourceEvaluatorTaskId: 'evaluator-old-no-replay',
+                    // no diagnosticReplay — the rejecting round never ran a deterministic replay
+                },
+            }) });
+        const repairPrompts = [];
+        const artificerRepair = new ArtificerRunner({
+            stateManager,
+            runtimeAdapter: scriptedAdapter(artificerOutput(GOOD_RULE_CODE, SCRIBE_ART, REPAIR_ID), repairPrompts, 'run-repair-y'),
+            eventEmitter: emitter,
+            artifactStore: store,
+            validator: new DefaultArtificerValidator(),
+        }, { owner: 'rr-test', runtimeKind: 'test-double', pollIntervalMs: 5, timeoutMs: 5_000, effectiveConfig: flagsOffConfig() });
+        const result = await artificerRepair.run(REPAIR_ID);
+        expect(result.status).toBe('succeeded');
+        expect(repairPrompts).toHaveLength(1);
+        // No dynamic evidence block (assert on the resolved-evidence header, not
+        // the instruction paragraph which always names the block), but evaluator
+        // semantic feedback still present.
+        expect(repairPrompts[0]).not.toContain('Deterministic Replay Evidence (resolved by reference from evaluator artifact');
+        expect(repairPrompts[0]).toContain('Required changes');
+    });
+});
+//# sourceMappingURL=evaluator-artificer-repair-replay.test.js.map

package/dist/runtime-v2/internalization/__tests__/evaluator-artificer-repair-replay.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluator-artificer-repair-replay.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/evaluator-artificer-repair-replay.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,kDAAkD,CAAC;AACzF,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,6BAA6B,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAI1G,IAAI,YAAoB,CAAC;AACzB,IAAI,YAAiC,CAAC;AACtC,IAAI,OAA0B,CAAC;AAC/B,IAAI,OAAkE,CAAC;AACvE,IAAI,KAA4B,CAAC;AAEjC,MAAM,SAAS,GAAG,WAAW,CAAC;AAC9B,MAAM,OAAO,GAAG,eAAe,CAAC;AAChC,MAAM,QAAQ,GAAG,eAAe,CAAC;AACjC,MAAM,SAAS,GAAG,sBAAsB,CAAC;AACzC,MAAM,QAAQ,GAAG,eAAe,CAAC;AACjC,MAAM,UAAU,GAAG,kBAAkB,CAAC;AAEtC,oEAAoE;AACpE,MAAM,aAAa,GAAG;;;;;EAKpB,CAAC;AAEH;;gFAEgF;AAChF,MAAM,cAAc,GAAG;;;;;;;;;;;EAWrB,CAAC;AAEH,MAAM,kBAAkB,GAAG;IACzB,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE;IACzH,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE;CAClI,CAAC;AAEF,SAAS,cAAc;IACrB,OAAO;QACL,MAAM,EAAE;YACN,OAAO,EAAE,CAAC;YACV,QAAQ,EAAE;gBACR,2BAA2B,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;gBAClE,uBAAuB,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC9D,qBAAqB,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;aAC7D;YACD,eAAe,EAAE,EAAE;YACnB,cAAc,EAAE,EAAE;YAClB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;SACxC;QACD,MAAM,EAAE,aAAa;QACrB,QAAQ,EAAE,EAAE;QACZ,wBAAwB,EAAE;YACxB,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE,KAAK;YACnB,gBAAgB,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE;SAC7E;KAC8B,CAAC;AACpC,CAAC;AAED,SAAS,eAAe,CAAC,kBAA0B,EAAE,gBAAwB,EAAE,MAAc;IAC3F,OAAO;QACL,MAAM;QACN,sBAAsB,EAAE,gBAAgB;QACxC,qBAAqB,EAAE,yBAAyB;QAChD,WAAW,EAAE,EAAE,gBAAgB,EAAE,gBAAgB,EAAE;QACnD,KAAK,EAAE,EAAE;QACT,kBAAkB;QAClB,gBAAgB,EAAE,kBAAkB;QACpC,aAAa,EAAE,CAAC,YAAY,CAAC;QAC7B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACtC,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,MAAc,EAAE,mBAA2B,EAAE,QAAuC;IAC3G,OAAO;QACL,MAAM;QACN,yBAAyB,EAAE,mBAAmB;QAC9C,UAAU,EAAE;YACV,QAAQ;YACR,OAAO,EAAE,0BAA0B;YACnC,KAAK,EAAE,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;YAC1C,SAAS,EAAE,EAAE;YACb,QAAQ,EAAE,QAAQ,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,EAAE;YACvE,eAAe,EAAE,QAAQ,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC,2CAA2C,CAAC,CAAC,CAAC,CAAC,EAAE;YACnG,qEAAqE;YACrE,mEAAmE;YACnE,GAAG,CAAC,MAAM,KAAK,QAAQ;gBACrB,CAAC,CAAC;oBACE,wBAAwB,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;oBAC/D,iBAAiB,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,2CAA2C,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;iBACjH;gBACH,CAAC,CAAC,EAAE,CAAC;SACR;QACD,WAAW,EAAE,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,UAAU,EAAE;QAClE,KAAK,EAAE,EAAE;QACT,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACtC,CAAC;AACJ,CAAC;AAED,kEAAkE;AAClE,SAAS,eAAe,CAAC,OAAgB,EAAE,OAAiB,EAAE,KAAa;IACzE,OAAO;QACL,QAAQ,EAAE,KAAK,EAAE,GAA8B,EAAE,EAAE;YACjD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;YACvC,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;QACpF,CAAC;QACD,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;QACrD,WAAW,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QAC7C,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC,SAAS;KACF,CAAC;AACnC,CAAC;AAED,SAAS,IAAI,CAAC,CAAC,GAA4B,EAAE;IAC3C,OAAO,0BAA0B,CAAC;QAChC,iBAAiB,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO;QAC5D,iBAAiB,EAAE,EAAE,EAAE,kBAAkB,EAAE,EAAE,EAAE,GAAG,CAAC;KACpD,CAAC,CAAC;AACL,CAAC;AASD,KAAK,UAAU,MAAM,CAAC,IAAgB;IACpC,MAAM,YAAY,CAAC,UAAU,CAAC;QAC5B,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC;QACxF,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,EAAE,iBAAiB,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;KAC9E,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,OAAO,CAAC,EAAU;IAC/B,MAAM,YAAY,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC;IAC9F,MAAM,YAAY,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;AAC3C,CAAC;AAED,UAAU,CAAC,KAAK,IAAI,EAAE;IACpB,YAAY,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC3E,YAAY,GAAG,IAAI,mBAAmB,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC;IACzD,MAAM,YAAY,CAAC,UAAU,EAAE,CAAC;IAChC,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;IAClC,OAAO,GAAG,EAAE,CAAC;IACb,OAAO,CAAC,WAAW,CAAC,CAAC,KAAK,EAAE,EAAE;QAC5B,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IACH,KAAK,GAAG,IAAI,qBAAqB,CAAC,IAAI,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC;AACxE,CAAC,CAAC,CAAC;AAEH,SAAS,CAAC,KAAK,IAAI,EAAE;IACnB,MAAM,YAAY,CAAC,KAAK,EAAE,CAAC;IAC3B,IAAI,CAAC;QAAC,EAAE,CAAC,MAAM,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;AACzF,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uFAAuF,EAAE,GAAG,EAAE;IACrG,EAAE,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;QAC5F,gEAAgE;QAChE,yEAAyE;QACzE,MAAM,KAAK,GAAG,6BAA6B,CAAC,cAAc,EAAE,CAAC,CAAC;QAC9D,MAAM,CAAC,gBAAgB,CAAC,KAAK,EAAE,6BAA6B,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3E,MAAM,CAAC,gBAAgB,CAAC,KAAK,EAAE,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,CAAC,gBAAgB,CAAC,KAAK,EAAE,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAErE,wCAAwC;QACxC,MAAM,MAAM,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC1D,MAAM,OAAO,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,KAAK,CAAC,cAAc,CAAC;YACzB,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS;YAC1E,kBAAkB,EAAE,EAAE,EAAE,gBAAgB,EAAE,WAAW;YACrD,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,0BAA0B,EAAE,cAAc,EAAE,EAAE,SAAS,EAAE,gCAAgC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;YAC1J,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACzE,CAAC,CAAC;QAEH,qEAAqE;QACrE,MAAM,MAAM,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACpE,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,IAAI,eAAe,CACpC;YACE,YAAY;YACZ,cAAc,EAAE,eAAe,CAAC,eAAe,CAAC,aAAa,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,UAAU,EAAE,WAAW,CAAC;YAC7G,YAAY,EAAE,OAAO;YACrB,aAAa,EAAE,KAAK;YACpB,SAAS,EAAE,IAAI,yBAAyB,EAAE;SAC3C,EACD,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,EAAE,CACzH,CAAC;QACF,MAAM,UAAU,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACjD,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC5C,MAAM,aAAa,GAAG,MAAM,KAAK,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAC9D,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,WAAW,CAAC,CAAC;QAC/E,MAAM,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;QACnC,IAAI,CAAC,YAAY;YAAE,OAAO;QAE1B,mEAAmE;QACnE,MAAM,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnE,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,MAAM,YAAY,GAA0C,EAAE,CAAC;QAC/D,MAAM,UAAU,GAAG,IAAI,eAAe,CACpC;YACE,YAAY;YACZ,cAAc,EAAE,eAAe,CAAC,eAAe,CAAC,QAAQ,EAAE,YAAY,CAAC,UAAU,EAAE,gBAAgB,CAAC,EAAE,WAAW,EAAE,YAAY,CAAC;YAChI,YAAY,EAAE,OAAO;YACrB,aAAa,EAAE,KAAK;YACpB,SAAS,EAAE,IAAI,yBAAyB,EAAE;YAC1C,mBAAmB,EAAE,GAAG,EAAE,CAAC,IAAI;YAC/B,uBAAuB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;gBACxC,YAAY,CAAC,OAAO,GAAG,MAAM,CAAC,aAAmD,CAAC;gBAClF,iEAAiE;gBACjE,MAAM,MAAM,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,CAAC,0BAA0B,EAAE,cAAc,EAAE,IAAI,CAAC;wBAC7G,iBAAiB,EAAE,MAAM,CAAC,0BAA0B;wBACpD,aAAa,EAAE,MAAM,CAAC,aAAa;qBACpC,CAAC,EAAE,CAAC,CAAC;gBACN,OAAO,SAAS,CAAC;YACnB,CAAC;SACF,EACD;YACE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK;YACjF,QAAQ,EAAE,wBAAwB,EAAE,EAAE,uCAAuC;YAC7E,sEAAsE;YACtE,4DAA4D;SAC7D,CACF,CAAC;QACF,MAAM,WAAW,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAE7C,uEAAuE;QACvE,MAAM,cAAc,GAAG,MAAM,KAAK,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAChE,MAAM,aAAa,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,WAAW,CAAC,CAAC;QACjF,MAAM,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,aAAa;YAAE,OAAO;QAC3B,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,WAAW,CAMxD,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,yBAAyB;QAC3F,MAAM,CAAC,YAAY,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3D,MAAM,WAAW,GAAG,YAAY,CAAC,iBAAiB,EAAE,WAAW,IAAI,EAAE,CAAC;QACtE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,oCAAoC;QAC1F,KAAK,MAAM,OAAO,IAAI,WAAW,EAAE,CAAC;YAClC,MAAM,CAAC,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAW,uCAAuC;YAClG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YAChD,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,aAAa,EAAE,CAAC,CAAY,mCAAmC;YAC9F,MAAM,CAAC,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,aAAa,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC;QAC7E,MAAM,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,aAAa;YAAE,OAAO;QAC3B,MAAM,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrD,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,4BAA4B,CAAC,CAAC;QAE9E,yEAAyE;QACzE,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3C,MAAM,mBAAmB,GAAG,YAAY,CAAC,OAAO,CAAC;QACjD,IAAI,mBAAmB,KAAK,SAAS;YAAE,OAAO;QAC9C,MAAM,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;QACxH,MAAM,CAAC,mBAAmB,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjE,gEAAgE;QAChE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,mBAAmB,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEtE,2EAA2E;QAC3E,6DAA6D;QAC7D,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,MAAM,eAAe,GAAG,IAAI,eAAe,CACzC;YACE,YAAY;YACZ,cAAc,EAAE,eAAe,CAAC,eAAe,CAAC,cAAc,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,aAAa,EAAE,cAAc,CAAC;YACtH,YAAY,EAAE,OAAO;YACrB,aAAa,EAAE,KAAK;YACpB,SAAS,EAAE,IAAI,yBAAyB,EAAE;SAC3C,EACD,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,EAAE,CACzH,CAAC;QACF,MAAM,YAAY,GAAG,MAAM,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC1D,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAE9C,MAAM,CAAC,aAAa,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,YAAY,CAAC,GAAG,aAAa,CAAC;QACrC,IAAI,YAAY,KAAK,SAAS;YAAE,OAAO;QACvC,MAAM,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,8EAA8E,CAAC,CAAC;QAC/G,MAAM,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;QACvD,MAAM,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAClD,MAAM,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;QACvD,MAAM,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,4BAA4B,CAAC,CAAC;QAC7D,MAAM,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,iDAAiD;QAC3F,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,2CAA2C,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEpG,MAAM,eAAe,GAAG,MAAM,KAAK,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC;QAClE,MAAM,cAAc,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,WAAW,CAAC,CAAC;QACnF,MAAM,CAAC,cAAc,CAAC,CAAC,WAAW,EAAE,CAAC;QACrC,IAAI,CAAC,cAAc;YAAE,OAAO;QAE5B,qFAAqF;QACrF,MAAM,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACrE,MAAM,UAAU,GAAG,IAAI,eAAe,CACpC;YACE,YAAY;YACZ,cAAc,EAAE,eAAe,CAAC,eAAe,CAAC,QAAQ,EAAE,cAAc,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,EAAE,EAAE,YAAY,CAAC;YACnH,YAAY,EAAE,OAAO;YACrB,aAAa,EAAE,KAAK;YACpB,SAAS,EAAE,IAAI,yBAAyB,EAAE;SAC3C,EACD;YACE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK;YACjF,QAAQ,EAAE,wBAAwB,EAAE,EAAE,kBAAkB;SACzD,CACF,CAAC;QACF,MAAM,WAAW,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAE7C,MAAM,cAAc,GAAG,MAAM,KAAK,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAChE,MAAM,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC;QAC3E,MAAM,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;QACnC,IAAI,CAAC,YAAY;YAAE,OAAO;QAC1B,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACtD,MAAM,CAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAExD,2EAA2E;QAC3E,MAAM,cAAc,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,WAAW,CAAC,CAAC;QAClF,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,cAAc,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,WAAW,CAA0E,CAAC;QAChK,MAAM,CAAC,YAAY,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,CAAC,YAAY,CAAC,iBAAiB,EAAE,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,KAAK,IAAI,EAAE;QACzF,0EAA0E;QAC1E,qCAAqC;QACrC,MAAM,MAAM,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC1D,MAAM,OAAO,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,KAAK,CAAC,cAAc,CAAC;YACzB,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS;YAC1E,kBAAkB,EAAE,EAAE,EAAE,gBAAgB,EAAE,WAAW;YACrD,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,cAAc,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC;YACnE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACzE,CAAC,CAAC;QACH,MAAM,MAAM,CAAC,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,6BAA6B;QACnG,MAAM,YAAY,CAAC,UAAU,EAAE,CAAC,iBAAiB,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAE1E,MAAM,MAAM,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC;gBACvF,iBAAiB,EAAE,CAAC,SAAS,CAAC;gBAC9B,aAAa,EAAE;oBACb,eAAe,EAAE,CAAC,QAAQ,CAAC;oBAC3B,QAAQ,EAAE,EAAE;oBACZ,aAAa,EAAE,GAAG;oBAClB,eAAe,EAAE,CAAC;oBAClB,yBAAyB,EAAE,cAAc;oBACzC,qBAAqB,EAAE,iBAAiB;oBACxC,gBAAgB,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,EAAE;iBACnE;aACF,CAAC,EAAE,CAAC,CAAC;QAEN,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,MAAM,eAAe,GAAG,IAAI,eAAe,CACzC;YACE,YAAY;YACZ,cAAc,EAAE,eAAe,CAAC,eAAe,CAAC,cAAc,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,aAAa,EAAE,cAAc,CAAC;YACtH,YAAY,EAAE,OAAO;YACrB,aAAa,EAAE,KAAK;YACpB,SAAS,EAAE,IAAI,yBAAyB,EAAE;SAC3C,EACD,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,EAAE,CACzH,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAEpD,0EAA0E;QAC1E,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,CAAC,aAAa,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,oCAAoC,CAAC,CAAC;QAC7E,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,8CAA8C,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gGAAgG,EAAE,KAAK,IAAI,EAAE;QAC9G,MAAM,MAAM,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC1D,MAAM,OAAO,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,KAAK,CAAC,cAAc,CAAC;YACzB,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS;YAC1E,kBAAkB,EAAE,EAAE,EAAE,gBAAgB,EAAE,WAAW;YACrD,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,cAAc,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC;YACnE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACzE,CAAC,CAAC;QACH,MAAM,MAAM,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC;gBACvF,iBAAiB,EAAE,CAAC,SAAS,CAAC;gBAC9B,aAAa,EAAE;oBACb,eAAe,EAAE,CAAC,iBAAiB,CAAC;oBACpC,QAAQ,EAAE,CAAC,iBAAiB,CAAC;oBAC7B,aAAa,EAAE,GAAG;oBAClB,eAAe,EAAE,CAAC;oBAClB,yBAAyB,EAAE,YAAY;oBACvC,qBAAqB,EAAE,yBAAyB;oBAChD,6EAA6E;iBAC9E;aACF,CAAC,EAAE,CAAC,CAAC;QAEN,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,MAAM,eAAe,GAAG,IAAI,eAAe,CACzC;YACE,YAAY;YACZ,cAAc,EAAE,eAAe,CAAC,eAAe,CAAC,cAAc,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,aAAa,EAAE,cAAc,CAAC;YACtH,YAAY,EAAE,OAAO;YACrB,aAAa,EAAE,KAAK;YACpB,SAAS,EAAE,IAAI,yBAAyB,EAAE;SAC3C,EACD,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,EAAE,CACzH,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,CAAC,aAAa,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,yEAAyE;QACzE,yEAAyE;QACzE,mCAAmC;QACnC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,8EAA8E,CAAC,CAAC;QACvH,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/internalization/__tests__/evaluator-gate-authority.test.js

@@ -474,5 +474,141 @@ describe('PRI-634 R4: code-bearing + needs_revision → diagnostic replay 执行
         const rp = seeded.payload;
         expect(rp.diagnosticReplay).toEqual({ ran: true, passed: true, failedCaseCount: 0 });
     });
+    // ── PRI-634 PR-A (SPEC §16/§17): merged real case ID uniqueness guard ──
+    // An LLM-supplied adversarial case whose caseId collides with a
+    // runtime-generated v2 case must never reach the sandbox — the evidence Map
+    // would silently overwrite and mis-attribute failures. Approved binding
+    // path fails loud (R3 terminal-state guard); needs_revision keeps its
+    // verdict, records the conflict observably, and stays evidence fail-closed.
+    it('PR-A: duplicate real caseId (LLM case collides with v2-unavailable) → conflict telemetry, no sandbox run', async () => {
+        const store = await seedLineage(codeBearingArtificerContent());
+        const calls = { count: 0 };
+        const llmCollidedCases = [{
+                caseId: 'v2-unavailable', // collides with the runtime-generated v2 case
+                attackType: 'boundary',
+                toolName: 'edit_file',
+                params: { path: '/project/src/safe.ts' },
+                expectedDecision: 'block',
+                rationale: 'adversarially crafted collision',
+            }];
+        const collisionPayload = {
+            ...v1EvaluatorOutput('needs_revision'),
+            adversarialCases: llmCollidedCases,
+        };
+        const runner = makeRunner(store, {
+            gateDeps: makeGateDepsStub(calls),
+            payload: collisionPayload,
+        }, {
+            isRepairLoopEnabled: () => true,
+            seedArtificerRepairTask: async (_params) => 'repair-task-collision',
+        });
+        const result = await runner.run(EVAL_ID);
+        // sandbox never ran — the conflict is detected pre-sandbox
+        expect(calls.count).toBe(0);
+        expect(emitted.some((e) => e.eventType === 'evaluator_adversarial_replay_case_id_conflict' && e.payload.caseId === 'v2-unavailable')).toBe(true);
+        // needs_revision diagnostic path: verdict stands, task completes
+        expect(result.status).toBe('succeeded');
+        // fail-closed provenance: no diagnosticReplay evidence was produced
+        const artifacts = await store.listBySourceTaskId(EVAL_ID);
+        const principle = artifacts.find((a) => a.artifactKind === 'principle');
+        expect(principle).toBeDefined();
+        if (!principle)
+            return;
+        const parsed = JSON.parse(principle.contentJson);
+        expect(Object.hasOwn(parsed, 'adversarialResult')).toBe(false);
+    });
+    // ── PRI-634 PR-A (review P1 2026-09-02): reserved __*__ namespace guard ──
+    // A real (Artificer/LLM-supplied) trace case must not name itself
+    // `__compile__` etc. — the schema allows it, but every downstream reader
+    // partitions `__*__` IDs as system failures. Enforced pre-sandbox.
+    it('PR-A: real caseId using the reserved __compile__ sentinel → conflict telemetry, no sandbox run', async () => {
+        const store = await seedLineage(codeBearingArtificerContent());
+        const calls = { count: 0 };
+        const reservedIdCases = [{
+                caseId: '__compile__', // real LLM case squatting on the system namespace
+                attackType: 'boundary',
+                toolName: 'edit_file',
+                params: { path: '/project/src/safe.ts' },
+                expectedDecision: 'block',
+                rationale: 'adversarially crafted reserved-namespace collision',
+            }];
+        const reservedPayload = {
+            ...v1EvaluatorOutput('needs_revision'),
+            adversarialCases: reservedIdCases,
+        };
+        const runner = makeRunner(store, {
+            gateDeps: makeGateDepsStub(calls),
+            payload: reservedPayload,
+        }, {
+            isRepairLoopEnabled: () => true,
+            seedArtificerRepairTask: async (_params) => 'repair-task-reserved',
+        });
+        const result = await runner.run(EVAL_ID);
+        // sandbox never ran — the reserved namespace is rejected pre-sandbox
+        expect(calls.count).toBe(0);
+        expect(emitted.some((e) => e.eventType === 'evaluator_adversarial_replay_case_id_conflict'
+            && e.payload.caseId === '__compile__'
+            && e.payload.violationKind === 'reserved_system_namespace')).toBe(true);
+        // needs_revision diagnostic path: verdict stands, task completes
+        expect(result.status).toBe('succeeded');
+        const artifacts = await store.listBySourceTaskId(EVAL_ID);
+        const principle = artifacts.find((a) => a.artifactKind === 'principle');
+        expect(principle).toBeDefined();
+        if (!principle)
+            return;
+        const parsed = JSON.parse(principle.contentJson);
+        expect(Object.hasOwn(parsed, 'adversarialResult')).toBe(false);
+    });
+    // ── PRI-634 PR-A (review P2 2026-09-02): bounded durable evidence ──
+    // message AND rationale must both be built from the bounded form — the
+    // unbounded raw sandbox message may not leak into the durable artifact
+    // through a second field.
+    it('PR-A: oversized failure message is bounded in BOTH message and rationale on the durable artifact', async () => {
+        const store = await seedLineage(codeBearingArtificerContent());
+        const longMessage = `x`.repeat(500) + ' tail-evidence-probe';
+        const gateDeps = {
+            evaluateInSandbox: (_code, _trace) => ({
+                success: false,
+                failedCases: [{
+                        caseId: 'v2-unavailable',
+                        errorType: 'runtime_error',
+                        message: longMessage,
+                    }],
+                executionTimeMs: 1,
+                forbiddenPatternViolations: [],
+            }),
+        };
+        const runner = makeRunner(store, {
+            gateDeps,
+            payload: v1EvaluatorOutput('needs_revision'),
+        }, {
+            isRepairLoopEnabled: () => true,
+            seedArtificerRepairTask: async (_params) => 'repair-task-bounded',
+        });
+        const result = await runner.run(EVAL_ID);
+        expect(result.status).toBe('succeeded');
+        const artifacts = await store.listBySourceTaskId(EVAL_ID);
+        const principle = artifacts.find((a) => a.artifactKind === 'principle');
+        expect(principle).toBeDefined();
+        if (!principle)
+            return;
+        const parsed = JSON.parse(principle.contentJson);
+        const failedCase = parsed.adversarialResult?.failedCases?.[0];
+        expect(failedCase).toBeDefined();
+        if (!failedCase)
+            return;
+        const boundedMessage = failedCase.message;
+        const boundedRationale = failedCase.rationale;
+        expect(failedCase.caseId).toBe('v2-unavailable');
+        if (boundedMessage === undefined || boundedRationale === undefined) {
+            throw new Error('durable failedCase must carry bounded message and rationale');
+        }
+        expect(boundedMessage.length).toBeLessThanOrEqual(301); // 300 + ellipsis
+        expect(boundedMessage).not.toContain('tail-evidence-probe');
+        expect(boundedRationale.length).toBeLessThanOrEqual(320); // errorType prefix + bounded message
+        expect(boundedRationale).not.toContain('tail-evidence-probe');
+        // no fabricated decision on a throw-style failure
+        expect(failedCase.actualDecision).toBeUndefined();
+    });
 });
 //# sourceMappingURL=evaluator-gate-authority.test.js.map