@su-record/vibe 3.2.0 → 3.2.2

package/dist/tools/spec/executionPacket.test.js

@@ -0,0 +1,360 @@
+import { describe, expect, it } from 'vitest';
+import fs from 'fs';
+import os from 'os';
+import path from 'path';
+import { compileExecutionPacket, validateExecutionPacket, writeExecutionPacket, } from './executionPacket.js';
+const canonicalSpec = `# SPEC: Example
+
+## Context Sources
+- docs/prd.md
+
+## Assumptions
+- PostgreSQL 16 is available
+
+## Constraints
+- Preserve backward compatibility
+- Do not expose secrets
+
+## Requirements
+
+| ID | Requirement | Done Criteria |
+|----|-------------|---------------|
+| REQ-example-001 | Build remains valid | D1 |
+| REQ-example-002 | Tests remain valid | D2 |
+
+## Done Criteria (deterministic gates)
+
+| # | Criterion | Verified by |
+|---|-----------|-------------|
+| D1 | Build succeeds | npm run build exit 0 |
+| D2 | Tests pass | npm test exit 0 |
+
+### Evidence Required
+- D1 → build command result
+- D2 → test command result
+`;
+function input(overrides = {}) {
+    return {
+        canonicalSpec,
+        canonicalSpecPath: '.vibe/specs/example.md',
+        profile: 'codex',
+        ...overrides,
+    };
+}
+describe('Execution Packet Compiler', () => {
+    it('동일 입력은 source/hash와 계약을 보존한 byte-identical packet을 생성', () => {
+        const first = compileExecutionPacket(input());
+        const second = compileExecutionPacket(input());
+        expect(first.ok).toBe(true);
+        expect(second).toEqual(first);
+        if (!first.ok)
+            return;
+        expect(JSON.stringify(second)).toBe(JSON.stringify(first));
+        expect(first.packet.canonicalSpecHash).toMatch(/^[a-f0-9]{64}$/);
+        expect(first.packet.requirements.map(item => item.id))
+            .toEqual(['REQ-example-001', 'REQ-example-002']);
+        expect(first.packet.doneCriteria.map(item => item.id)).toEqual(['D1', 'D2']);
+        expect(first.packet.evidenceRequired.map(item => item.criterionId))
+            .toEqual(['D1', 'D2']);
+        expect(first.packet.constraints).toEqual([
+            'Preserve backward compatibility',
+            'Do not expose secrets',
+        ]);
+        expect(first.packet.sourcePointers).toContainEqual({
+            id: 'D1',
+            path: '.vibe/specs/example.md',
+            line: 24,
+        });
+        expect(first.audit.preservedCriterionIds).toEqual(['D1', 'D2']);
+    });
+    it('Codex와 Claude Code 프로파일은 동일한 핵심 계약을 보존', () => {
+        const codex = compileExecutionPacket(input({ profile: 'codex' }));
+        const claude = compileExecutionPacket(input({ profile: 'claude-code' }));
+        expect(codex.ok).toBe(true);
+        expect(claude.ok).toBe(true);
+        if (!codex.ok || !claude.ok)
+            return;
+        expect(codex.packet.profile).not.toBe(claude.packet.profile);
+        expect(codex.packet.contextBudget).not.toBe(claude.packet.contextBudget);
+        expect(codex.packet.requirements).toEqual(claude.packet.requirements);
+        expect(codex.packet.constraints).toEqual(claude.packet.constraints);
+        expect(codex.packet.doneCriteria).toEqual(claude.packet.doneCriteria);
+        expect(codex.packet.evidenceRequired).toEqual(claude.packet.evidenceRequired);
+        expect(codex.packet.isolationPolicy).toEqual({
+            reloadPerScenario: true,
+            includeExplorationLogs: false,
+            stateSource: 'disk',
+        });
+    });
+    it('누락된 evidence를 오류 코드와 원본 위치로 보고하고 packet을 생성하지 않음', () => {
+        const result = compileExecutionPacket(input({
+            canonicalSpec: canonicalSpec.replace('- D2 → test command result\n', ''),
+        }));
+        expect(result.ok).toBe(false);
+        if (result.ok)
+            return;
+        expect(result.errors).toContainEqual({
+            code: 'MISSING_EVIDENCE',
+            message: 'Missing evidence: D2',
+            sourceId: 'D2',
+            sourcePointer: { path: '.vibe/specs/example.md', line: 25 },
+        });
+        expect(result).not.toHaveProperty('packet');
+    });
+    it('알 수 없는 criterion 선택과 evidence 참조를 거부', () => {
+        const unknownSelection = compileExecutionPacket(input({
+            selectedRequirementIds: ['REQ-example-999'],
+        }));
+        const unknownEvidence = compileExecutionPacket(input({
+            canonicalSpec: `${canonicalSpec}- D9 → unknown proof\n`,
+        }));
+        expect(unknownSelection.ok).toBe(false);
+        expect(unknownEvidence.ok).toBe(false);
+        if (!unknownSelection.ok) {
+            expect(unknownSelection.errors.map(error => error.code))
+                .toContain('UNKNOWN_REQUIREMENT_ID');
+        }
+        if (!unknownEvidence.ok) {
+            expect(unknownEvidence.errors.map(error => error.code))
+                .toContain('UNKNOWN_EVIDENCE_ID');
+        }
+    });
+    it('빈 requirement 선택과 알 수 없는 Done Criterion 매핑을 거부', () => {
+        const empty = compileExecutionPacket(input({ selectedRequirementIds: [] }));
+        const invalidMapping = compileExecutionPacket(input({
+            canonicalSpec: canonicalSpec.replace('| D1 |', '| D9 |'),
+        }));
+        expect(empty).toMatchObject({
+            ok: false,
+            errors: [{ code: 'EMPTY_SELECTION' }],
+        });
+        expect(invalidMapping.ok).toBe(false);
+        if (!invalidMapping.ok) {
+            expect(invalidMapping.errors.map(error => error.code))
+                .toContain('INVALID_REQUIREMENT_MAPPING');
+        }
+    });
+    it('어떤 requirement에도 매핑되지 않은 Done Criterion을 거부', () => {
+        const orphaned = canonicalSpec.replace('| REQ-example-002 | Tests remain valid | D2 |\n', '');
+        expect(compileExecutionPacket(input({ canonicalSpec: orphaned })))
+            .toMatchObject({
+            ok: false,
+            errors: [{ code: 'INVALID_REQUIREMENT_MAPPING', sourceId: 'D2' }],
+        });
+    });
+    it('Done Criteria 밖의 D 행은 계약 기준으로 인정하지 않음', () => {
+        const misplaced = canonicalSpec.replace('## Done Criteria', '## Unrelated Table');
+        expect(compileExecutionPacket(input({ canonicalSpec: misplaced }))).toEqual({
+            ok: false,
+            errors: [{ code: 'MISSING_DONE_CRITERIA', message: 'No contract criteria found' }],
+        });
+    });
+    it('profile 필수 Constraints 섹션 누락을 차단', () => {
+        const withoutConstraints = canonicalSpec.replace(/## Constraints[\s\S]*?(?=## Done Criteria)/, '');
+        const result = compileExecutionPacket(input({ canonicalSpec: withoutConstraints }));
+        expect(result).toEqual({
+            ok: false,
+            errors: [{
+                    code: 'MISSING_REQUIRED_SECTION',
+                    message: 'Constraints section is required',
+                }],
+        });
+    });
+    it('지원하지 않는 runtime profile을 구조화된 오류로 거부', () => {
+        const result = Reflect.apply(compileExecutionPacket, undefined, [{
+                ...input(),
+                profile: 'unknown',
+            }]);
+        expect(result).toEqual({
+            ok: false,
+            errors: [{ code: 'INVALID_PROFILE', message: 'Unsupported profile: unknown' }],
+        });
+    });
+    it('반환 packet 변경이 다음 컴파일의 profile 결정성을 오염시키지 않음', () => {
+        const first = compileExecutionPacket(input());
+        expect(first.ok).toBe(true);
+        if (!first.ok)
+            return;
+        first.packet.isolationPolicy.reloadPerScenario = false;
+        const second = compileExecutionPacket(input());
+        expect(second.ok).toBe(true);
+        if (!second.ok)
+            return;
+        expect(second.packet.isolationPolicy.reloadPerScenario).toBe(true);
+    });
+    it('context budget 초과는 문자열 절단 없이 구조화된 오류를 반환', () => {
+        const oversizedConstraint = `- ${'x'.repeat(25_000)}`;
+        const oversizedSpec = canonicalSpec.replace('- Do not expose secrets', `- Do not expose secrets\n${oversizedConstraint}`);
+        const result = compileExecutionPacket(input({ canonicalSpec: oversizedSpec }));
+        expect(result).toEqual({
+            ok: false,
+            errors: [{
+                    code: 'BUDGET_EXCEEDED',
+                    message: 'Packet exceeds 24000 characters',
+                }],
+        });
+        expect(result).not.toHaveProperty('packet');
+    });
+    it('packet 파일을 원자 기록하고 원본 SPEC 변경 시 stale로 판정', () => {
+        const projectPath = fs.mkdtempSync(path.join(os.tmpdir(), 'vibe-packet-'));
+        const specPath = '.vibe/specs/example.md';
+        const absoluteSpecPath = path.join(projectPath, specPath);
+        fs.mkdirSync(path.dirname(absoluteSpecPath), { recursive: true });
+        fs.writeFileSync(absoluteSpecPath, canonicalSpec);
+        try {
+            const written = writeExecutionPacket({ projectPath, specPath, profile: 'codex' });
+            expect(written.ok).toBe(true);
+            if (!written.ok)
+                return;
+            expect(written.packetPath).toBe('.vibe/packets/example/codex.json');
+            expect(fs.existsSync(path.join(projectPath, written.packetPath))).toBe(true);
+            expect(validateExecutionPacket({
+                projectPath,
+                specPath,
+                packetPath: written.packetPath,
+            })).toMatchObject({ valid: true });
+            fs.appendFileSync(absoluteSpecPath, '\n<!-- changed -->\n');
+            expect(validateExecutionPacket({
+                projectPath,
+                specPath,
+                packetPath: written.packetPath,
+            })).toEqual({
+                valid: false,
+                code: 'STALE_PACKET',
+                message: 'Execution packet does not match the current canonical SPEC',
+            });
+        }
+        finally {
+            fs.rmSync(projectPath, { recursive: true, force: true });
+        }
+    });
+    it('packet 디렉터리의 symbolic link를 통한 project 외부 쓰기를 거부', () => {
+        const projectPath = fs.mkdtempSync(path.join(os.tmpdir(), 'vibe-packet-project-'));
+        const outsidePath = fs.mkdtempSync(path.join(os.tmpdir(), 'vibe-packet-outside-'));
+        const specPath = '.vibe/specs/example.md';
+        const absoluteSpecPath = path.join(projectPath, specPath);
+        fs.mkdirSync(path.dirname(absoluteSpecPath), { recursive: true });
+        fs.writeFileSync(absoluteSpecPath, canonicalSpec);
+        fs.symlinkSync(outsidePath, path.join(projectPath, '.vibe', 'packets'));
+        try {
+            expect(writeExecutionPacket({ projectPath, specPath, profile: 'codex' }))
+                .toEqual({
+                ok: false,
+                errors: [{
+                        code: 'INVALID_PATH',
+                        message: 'Execution packet path contains a symbolic link',
+                    }],
+            });
+            expect(fs.readdirSync(outsidePath)).toEqual([]);
+        }
+        finally {
+            fs.rmSync(projectPath, { recursive: true, force: true });
+            fs.rmSync(outsidePath, { recursive: true, force: true });
+        }
+    });
+    it('packet identity가 요청 SPEC과 다르거나 허용 경로 밖이면 거부', () => {
+        const projectPath = fs.mkdtempSync(path.join(os.tmpdir(), 'vibe-packet-identity-'));
+        const specPath = '.vibe/specs/example.md';
+        const absoluteSpecPath = path.join(projectPath, specPath);
+        fs.mkdirSync(path.dirname(absoluteSpecPath), { recursive: true });
+        fs.writeFileSync(absoluteSpecPath, canonicalSpec);
+        try {
+            const written = writeExecutionPacket({ projectPath, specPath, profile: 'codex' });
+            expect(written.ok).toBe(true);
+            if (!written.ok)
+                return;
+            expect(validateExecutionPacket({
+                projectPath,
+                specPath: '.vibe/specs/different.md',
+                packetPath: written.packetPath,
+            })).toMatchObject({ valid: false, code: 'INVALID_PACKET' });
+            expect(validateExecutionPacket({
+                projectPath,
+                specPath,
+                packetPath: '.vibe/specs/example.md',
+            })).toMatchObject({ valid: false, code: 'INVALID_PACKET' });
+        }
+        finally {
+            fs.rmSync(projectPath, { recursive: true, force: true });
+        }
+    });
+    it('저장된 packet 계약 본문 변조를 canonical 재컴파일로 거부', () => {
+        const projectPath = fs.mkdtempSync(path.join(os.tmpdir(), 'vibe-packet-tamper-'));
+        const specPath = '.vibe/specs/example.md';
+        const absoluteSpecPath = path.join(projectPath, specPath);
+        fs.mkdirSync(path.dirname(absoluteSpecPath), { recursive: true });
+        fs.writeFileSync(absoluteSpecPath, canonicalSpec);
+        try {
+            const written = writeExecutionPacket({ projectPath, specPath, profile: 'codex' });
+            expect(written.ok).toBe(true);
+            if (!written.ok)
+                return;
+            const packetFile = path.join(projectPath, written.packetPath);
+            fs.writeFileSync(packetFile, JSON.stringify({ ...written.packet, constraints: [] }));
+            expect(validateExecutionPacket({
+                projectPath,
+                specPath,
+                packetPath: written.packetPath,
+            })).toMatchObject({ valid: false, code: 'INVALID_PACKET' });
+        }
+        finally {
+            fs.rmSync(projectPath, { recursive: true, force: true });
+        }
+    });
+    it('호출자가 승인하지 않은 requirement subset packet을 거부', () => {
+        const projectPath = fs.mkdtempSync(path.join(os.tmpdir(), 'vibe-packet-subset-'));
+        const specPath = '.vibe/specs/example.md';
+        const absoluteSpecPath = path.join(projectPath, specPath);
+        fs.mkdirSync(path.dirname(absoluteSpecPath), { recursive: true });
+        fs.writeFileSync(absoluteSpecPath, canonicalSpec);
+        try {
+            const written = writeExecutionPacket({
+                projectPath,
+                specPath,
+                profile: 'codex',
+                selectedRequirementIds: ['REQ-example-001'],
+            });
+            expect(written.ok).toBe(true);
+            if (!written.ok)
+                return;
+            expect(validateExecutionPacket({
+                projectPath,
+                specPath,
+                packetPath: written.packetPath,
+            })).toMatchObject({ valid: false, code: 'INVALID_PACKET' });
+            expect(validateExecutionPacket({
+                projectPath,
+                specPath,
+                packetPath: written.packetPath,
+                selectedRequirementIds: ['REQ-example-001'],
+            })).toEqual({ valid: true });
+        }
+        finally {
+            fs.rmSync(projectPath, { recursive: true, force: true });
+        }
+    });
+    it('symbolic link SPEC을 통한 project 외부 읽기를 거부', () => {
+        const projectPath = fs.mkdtempSync(path.join(os.tmpdir(), 'vibe-spec-project-'));
+        const outsidePath = fs.mkdtempSync(path.join(os.tmpdir(), 'vibe-spec-outside-'));
+        const specPath = '.vibe/specs/example.md';
+        const outsideSpec = path.join(outsidePath, 'example.md');
+        fs.mkdirSync(path.join(projectPath, '.vibe', 'specs'), { recursive: true });
+        fs.writeFileSync(outsideSpec, canonicalSpec);
+        fs.symlinkSync(outsideSpec, path.join(projectPath, specPath));
+        try {
+            expect(writeExecutionPacket({ projectPath, specPath, profile: 'codex' }))
+                .toMatchObject({ ok: false, errors: [{ code: 'INVALID_PATH' }] });
+        }
+        finally {
+            fs.rmSync(projectPath, { recursive: true, force: true });
+            fs.rmSync(outsidePath, { recursive: true, force: true });
+        }
+    });
+    it('vibe.run 계약은 packet 생성과 stale 거부를 명시', () => {
+        const skill = fs.readFileSync(path.join(process.cwd(), 'skills', 'vibe.run', 'SKILL.md'), 'utf-8');
+        expect(skill).toContain('writeExecutionPacket');
+        expect(skill).toContain('validateExecutionPacket');
+        expect(skill).toContain('STALE_PACKET');
+    });
+});
+//# sourceMappingURL=executionPacket.test.js.map

package/dist/tools/spec/executionPacket.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionPacket.test.js","sourceRoot":"","sources":["../../../src/tools/spec/executionPacket.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,MAAM,IAAI,CAAC;AACpB,OAAO,EAAE,MAAM,IAAI,CAAC;AACpB,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,oBAAoB,GAErB,MAAM,sBAAsB,CAAC;AAE9B,MAAM,aAAa,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA6BrB,CAAC;AAEF,SAAS,KAAK,CACZ,YAAkD,EAAE;IAEpD,OAAO;QACL,aAAa;QACb,iBAAiB,EAAE,wBAAwB;QAC3C,OAAO,EAAE,OAAO;QAChB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,EAAE,CAAC,CAAC;QAE/C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,EAAE;YAAE,OAAO;QACtB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QACjE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;aACnD,OAAO,CAAC,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7E,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;aAChE,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC;YACvC,iCAAiC;YACjC,uBAAuB;SACxB,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,cAAc,CAAC;YACjD,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,wBAAwB;YAC9B,IAAI,EAAE,EAAE;SACT,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;QAEzE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO;QACpC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QACtE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACpE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QACtE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;QAC9E,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC;YAC3C,iBAAiB,EAAE,IAAI;YACvB,sBAAsB,EAAE,KAAK;YAC7B,WAAW,EAAE,MAAM;SACpB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC;YAC1C,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,8BAA8B,EAAE,EAAE,CAAC;SACzE,CAAC,CAAC,CAAC;QAEJ,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,CAAC,EAAE;YAAE,OAAO;QACtB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,cAAc,CAAC;YACnC,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,sBAAsB;YAC/B,QAAQ,EAAE,IAAI;YACd,aAAa,EAAE,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,EAAE,EAAE;SAC5D,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,KAAK,CAAC;YACpD,sBAAsB,EAAE,CAAC,iBAAiB,CAAC;SAC5C,CAAC,CAAC,CAAC;QACJ,MAAM,eAAe,GAAG,sBAAsB,CAAC,KAAK,CAAC;YACnD,aAAa,EAAE,GAAG,aAAa,wBAAwB;SACxD,CAAC,CAAC,CAAC;QAEJ,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,CAAC,gBAAgB,CAAC,EAAE,EAAE,CAAC;YACzB,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;iBACrD,SAAS,CAAC,wBAAwB,CAAC,CAAC;QACzC,CAAC;QACD,IAAI,CAAC,eAAe,CAAC,EAAE,EAAE,CAAC;YACxB,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;iBACpD,SAAS,CAAC,qBAAqB,CAAC,CAAC;QACtC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,CAAC,EAAE,sBAAsB,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5E,MAAM,cAAc,GAAG,sBAAsB,CAAC,KAAK,CAAC;YAClD,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC;SACzD,CAAC,CAAC,CAAC;QAEJ,MAAM,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC;YAC1B,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;SACtC,CAAC,CAAC;QACH,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC;YACvB,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;iBACnD,SAAS,CAAC,6BAA6B,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,iDAAiD,EAAE,EAAE,CAAC,CAAC;QAC9F,MAAM,CAAC,sBAAsB,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;aAC/D,aAAa,CAAC;YACb,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;SAClE,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,kBAAkB,EAAE,oBAAoB,CAAC,CAAC;QAClF,MAAM,CAAC,sBAAsB,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAC1E,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC;SACnF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,kBAAkB,GAAG,aAAa,CAAC,OAAO,CAC9C,4CAA4C,EAC5C,EAAE,CACH,CAAC;QACF,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC;QAEpF,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;YACrB,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,CAAC;oBACP,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,iCAAiC;iBAC3C,CAAC;SACH,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,sBAAsB,EAAE,SAAS,EAAE,CAAC;gBAC/D,GAAG,KAAK,EAAE;gBACV,OAAO,EAAE,SAAS;aACnB,CAAC,CAAC,CAAC;QACJ,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;YACrB,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,8BAA8B,EAAE,CAAC;SAC/E,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,EAAE;YAAE,OAAO;QACtB,KAAK,CAAC,MAAM,CAAC,eAAe,CAAC,iBAAiB,GAAG,KAAK,CAAC;QAEvD,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,EAAE,CAAC,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO;QACvB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,mBAAmB,GAAG,KAAK,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACtD,MAAM,aAAa,GAAG,aAAa,CAAC,OAAO,CACzC,yBAAyB,EACzB,4BAA4B,mBAAmB,EAAE,CAClD,CAAC;QACF,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;QAE/E,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;YACrB,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,CAAC;oBACP,IAAI,EAAE,iBAAiB;oBACvB,OAAO,EAAE,iCAAiC;iBAC3C,CAAC;SACH,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;QAC3E,MAAM,QAAQ,GAAG,wBAAwB,CAAC;QAC1C,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QAC1D,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,EAAE,CAAC,aAAa,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;QAElD,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,oBAAoB,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;YAClF,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,OAAO,CAAC,EAAE;gBAAE,OAAO;YACxB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;YACpE,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7E,MAAM,CAAC,uBAAuB,CAAC;gBAC7B,WAAW;gBACX,QAAQ;gBACR,UAAU,EAAE,OAAO,CAAC,UAAU;aAC/B,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAEnC,EAAE,CAAC,cAAc,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAC;YAC5D,MAAM,CAAC,uBAAuB,CAAC;gBAC7B,WAAW;gBACX,QAAQ;gBACR,UAAU,EAAE,OAAO,CAAC,UAAU;aAC/B,CAAC,CAAC,CAAC,OAAO,CAAC;gBACV,KAAK,EAAE,KAAK;gBACZ,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,4DAA4D;aACtE,CAAC,CAAC;QACL,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAAC;QACnF,MAAM,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAAC;QACnF,MAAM,QAAQ,GAAG,wBAAwB,CAAC;QAC1C,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QAC1D,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,EAAE,CAAC,aAAa,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;QAClD,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;QAExE,IAAI,CAAC;YACH,MAAM,CAAC,oBAAoB,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;iBACtE,OAAO,CAAC;gBACP,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,CAAC;wBACP,IAAI,EAAE,cAAc;wBACpB,OAAO,EAAE,gDAAgD;qBAC1D,CAAC;aACH,CAAC,CAAC;YACL,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAClD,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACzD,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,CAAC;QACpF,MAAM,QAAQ,GAAG,wBAAwB,CAAC;QAC1C,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QAC1D,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,EAAE,CAAC,aAAa,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;QAElD,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,oBAAoB,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;YAClF,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,OAAO,CAAC,EAAE;gBAAE,OAAO;YACxB,MAAM,CAAC,uBAAuB,CAAC;gBAC7B,WAAW;gBACX,QAAQ,EAAE,0BAA0B;gBACpC,UAAU,EAAE,OAAO,CAAC,UAAU;aAC/B,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;YAC5D,MAAM,CAAC,uBAAuB,CAAC;gBAC7B,WAAW;gBACX,QAAQ;gBACR,UAAU,EAAE,wBAAwB;aACrC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;QAC9D,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,qBAAqB,CAAC,CAAC,CAAC;QAClF,MAAM,QAAQ,GAAG,wBAAwB,CAAC;QAC1C,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QAC1D,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,EAAE,CAAC,aAAa,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;QAElD,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,oBAAoB,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;YAClF,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,OAAO,CAAC,EAAE;gBAAE,OAAO;YACxB,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;YAC9D,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;YACrF,MAAM,CAAC,uBAAuB,CAAC;gBAC7B,WAAW;gBACX,QAAQ;gBACR,UAAU,EAAE,OAAO,CAAC,UAAU;aAC/B,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;QAC9D,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,qBAAqB,CAAC,CAAC,CAAC;QAClF,MAAM,QAAQ,GAAG,wBAAwB,CAAC;QAC1C,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QAC1D,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,EAAE,CAAC,aAAa,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;QAElD,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,oBAAoB,CAAC;gBACnC,WAAW;gBACX,QAAQ;gBACR,OAAO,EAAE,OAAO;gBAChB,sBAAsB,EAAE,CAAC,iBAAiB,CAAC;aAC5C,CAAC,CAAC;YACH,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,OAAO,CAAC,EAAE;gBAAE,OAAO;YACxB,MAAM,CAAC,uBAAuB,CAAC;gBAC7B,WAAW;gBACX,QAAQ;gBACR,UAAU,EAAE,OAAO,CAAC,UAAU;aAC/B,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;YAC5D,MAAM,CAAC,uBAAuB,CAAC;gBAC7B,WAAW;gBACX,QAAQ;gBACR,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,sBAAsB,EAAE,CAAC,iBAAiB,CAAC;aAC5C,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/B,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;QACjF,MAAM,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;QACjF,MAAM,QAAQ,GAAG,wBAAwB,CAAC;QAC1C,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;QACzD,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5E,EAAE,CAAC,aAAa,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;QAC7C,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QAE9D,IAAI,CAAC;YACH,MAAM,CAAC,oBAAoB,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;iBACtE,aAAa,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC;QACtE,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACzD,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,CAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,EAC1D,OAAO,CACR,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tools/spec/index.d.ts

@@ -7,6 +7,8 @@ export { parsePRD, parsePRDFile } from './prdParser.js';
 export type { Requirement, ParsedPRD, PRDMetadata } from './prdParser.js';
 export { generateSpec } from './specGenerator.js';
 export type { SpecGeneratorOptions, GeneratedSpec } from './specGenerator.js';
+export { compileExecutionPacket, getHarnessProfile, validateExecutionPacket, writeExecutionPacket, } from './executionPacket.js';
+export type { CompileExecutionPacketInput, CompileExecutionPacketResult, ExecutionPacket, ExecutionPacketFileInput, HarnessProfile, HarnessProfileName, PacketError, PacketErrorCode, ValidateExecutionPacketInput, ValidateExecutionPacketResult, WriteExecutionPacketResult, } from './executionPacket.js';
 export { generateTraceabilityMatrix, formatMatrixAsMarkdown, formatMatrixAsHtml } from './traceabilityMatrix.js';
 export type { TraceItem, TraceabilityMatrix, TraceSummary, TraceMatrixOptions } from './traceabilityMatrix.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/tools/spec/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/tools/spec/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,aAAa,EACb,gBAAgB,EACjB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,QAAQ,EACR,YAAY,EACb,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,WAAW,EACX,SAAS,EACT,WAAW,EACZ,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,YAAY,EACb,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,oBAAoB,EACpB,aAAa,EACd,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,0BAA0B,EAC1B,sBAAsB,EACtB,kBAAkB,EACnB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,SAAS,EACT,kBAAkB,EAClB,YAAY,EACZ,kBAAkB,EACnB,MAAM,yBAAyB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/tools/spec/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,aAAa,EACb,gBAAgB,EACjB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,QAAQ,EACR,YAAY,EACb,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,WAAW,EACX,SAAS,EACT,WAAW,EACZ,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,YAAY,EACb,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,oBAAoB,EACpB,aAAa,EACd,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,sBAAsB,EACtB,iBAAiB,EACjB,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,2BAA2B,EAC3B,4BAA4B,EAC5B,eAAe,EACf,wBAAwB,EACxB,cAAc,EACd,kBAAkB,EAClB,WAAW,EACX,eAAe,EACf,4BAA4B,EAC5B,6BAA6B,EAC7B,0BAA0B,GAC3B,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EACL,0BAA0B,EAC1B,sBAAsB,EACtB,kBAAkB,EACnB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,SAAS,EACT,kBAAkB,EAClB,YAAY,EACZ,kBAAkB,EACnB,MAAM,yBAAyB,CAAC"}

package/dist/tools/spec/index.js

@@ -8,6 +8,8 @@ export { generateRequirementId, generateRequirementIds, validateRequirementId, c
 export { parsePRD, parsePRDFile } from './prdParser.js';
 // SPEC Generator
 export { generateSpec } from './specGenerator.js';
+// Execution Packet Compiler
+export { compileExecutionPacket, getHarnessProfile, validateExecutionPacket, writeExecutionPacket, } from './executionPacket.js';
 // Traceability Matrix
 export { generateTraceabilityMatrix, formatMatrixAsMarkdown, formatMatrixAsHtml } from './traceabilityMatrix.js';
 //# sourceMappingURL=index.js.map

package/dist/tools/spec/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/tools/spec/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,iBAAiB;AACjB,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,aAAa,EACb,gBAAgB,EACjB,MAAM,oBAAoB,CAAC;AAE5B,aAAa;AACb,OAAO,EACL,QAAQ,EACR,YAAY,EACb,MAAM,gBAAgB,CAAC;AAOxB,iBAAiB;AACjB,OAAO,EACL,YAAY,EACb,MAAM,oBAAoB,CAAC;AAM5B,sBAAsB;AACtB,OAAO,EACL,0BAA0B,EAC1B,sBAAsB,EACtB,kBAAkB,EACnB,MAAM,yBAAyB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/tools/spec/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,iBAAiB;AACjB,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,aAAa,EACb,gBAAgB,EACjB,MAAM,oBAAoB,CAAC;AAE5B,aAAa;AACb,OAAO,EACL,QAAQ,EACR,YAAY,EACb,MAAM,gBAAgB,CAAC;AAOxB,iBAAiB;AACjB,OAAO,EACL,YAAY,EACb,MAAM,oBAAoB,CAAC;AAM5B,4BAA4B;AAC5B,OAAO,EACL,sBAAsB,EACtB,iBAAiB,EACjB,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,sBAAsB,CAAC;AAe9B,sBAAsB;AACtB,OAAO,EACL,0BAA0B,EAC1B,sBAAsB,EACtB,kBAAkB,EACnB,MAAM,yBAAyB,CAAC"}

package/dist/tools/spec/specGenerator.d.ts

@@ -18,6 +18,18 @@ export interface SpecGeneratorOptions {
     additionalConstraints?: string[];
     /** 출력 형식 추가 */
     additionalOutputs?: string[];
+    /** 컨텍스트 출처 */
+    contextSources?: string[];
+    /** 확인 없이 채택한 가정 */
+    assumptions?: string[];
+    /** 완료를 증명할 산출물 */
+    evidenceRequired?: EvidenceRequirement[];
+    /** 출시 시 사람이 판단할 비차단 기준 */
+    humanTaste?: string[];
+}
+export interface EvidenceRequirement {
+    criterionId: string;
+    evidence: string;
 }
 /** 생성된 SPEC */
 export interface GeneratedSpec {

package/dist/tools/spec/specGenerator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"specGenerator.d.ts","sourceRoot":"","sources":["../../../src/tools/spec/specGenerator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,SAAS,EAAe,MAAM,gBAAgB,CAAC;AAOxD,iBAAiB;AACjB,MAAM,WAAW,oBAAoB;IACnC,YAAY;IACZ,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,+BAA+B;IAC/B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,eAAe;IACf,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,eAAe;IACf,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,eAAe;IACf,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,eAAe;IACf,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;CAC9B;AAED,eAAe;AACf,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAClD;AAaD;;GAEG;AACH,wBAAgB,YAAY,CAC1B,GAAG,EAAE,SAAS,EACd,WAAW,EAAE,MAAM,EACnB,OAAO,GAAE,oBAAyB,GACjC,aAAa,CAmBf"}
+{"version":3,"file":"specGenerator.d.ts","sourceRoot":"","sources":["../../../src/tools/spec/specGenerator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,SAAS,EAAe,MAAM,gBAAgB,CAAC;AAOxD,iBAAiB;AACjB,MAAM,WAAW,oBAAoB;IACnC,YAAY;IACZ,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,+BAA+B;IAC/B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,eAAe;IACf,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,eAAe;IACf,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,eAAe;IACf,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,eAAe;IACf,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,cAAc;IACd,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,mBAAmB;IACnB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,kBAAkB;IAClB,gBAAgB,CAAC,EAAE,mBAAmB,EAAE,CAAC;IACzC,0BAA0B;IAC1B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,mBAAmB;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,eAAe;AACf,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAClD;AAaD;;GAEG;AACH,wBAAgB,YAAY,CAC1B,GAAG,EAAE,SAAS,EACd,WAAW,EAAE,MAAM,EACnB,OAAO,GAAE,oBAAyB,GACjC,aAAa,CAmBf"}

package/dist/tools/spec/specGenerator.js

@@ -69,7 +69,7 @@ function generateSplitSpec(prd, featureName, phases, options) {
  * 단일 SPEC 콘텐츠 빌드
  */
 function buildSpecContent(prd, featureName, phases, options) {
-    const { techStack = [], relatedCodePaths = [], designReference, additionalConstraints = [], additionalOutputs = [] } = options;
+    const { techStack = [], relatedCodePaths = [], designReference, additionalConstraints = [], additionalOutputs = [], contextSources = [], assumptions = [], humanTaste = [], } = options;
     const now = new Date().toISOString();
     let content = `---
 status: pending
@@ -106,8 +106,16 @@ ${designReference || '- (None specified)'}
 ### Requirements Source
 - Parsed from PRD: ${prd.requirements.length} requirements
 - Format: ${prd.metadata.format}
+
+### Context Sources
+${contextSources.length > 0 ? contextSources.map(source => `- ${source}`).join('\n') : '- PRD input supplied to this generator'}
+
+### Assumptions
+${assumptions.length > 0 ? assumptions.map(assumption => `- ${assumption}`).join('\n') : '- None recorded'}
 </context>
 
+${renderContractTables(prd.requirements, featureName)}
+
 ## Task
 <task>
 `;
@@ -158,6 +166,12 @@ ${generateFileList(phases, 'modify')}
 - \`npm test\` (tests pass)
 - \`tsc --noEmit\` (type check)
 ${additionalOutputs.map(o => `- ${o}`).join('\n')}
+
+### Evidence Required
+${renderEvidenceRequired(options.evidenceRequired, prd.requirements)}
+
+### Human Taste (Non-Blocking)
+${humanTaste.length > 0 ? humanTaste.map(item => `- ${item}`).join('\n') : '- None recorded; release review remains a human decision'}
 </output_format>
 
 ## Acceptance Criteria
@@ -222,12 +236,14 @@ isMaster: true
 ### Tech Stack
 ${options.techStack?.map(t => `- ${t}`).join('\n') || '- (See project configuration)'}
 
+### Context Sources
+${options.contextSources?.map(source => `- ${source}`).join('\n') || '- PRD input supplied to this generator'}
+
+### Assumptions
+${options.assumptions?.map(assumption => `- ${assumption}`).join('\n') || '- None recorded'}
+
 ### Constraints (Apply to All Phases)
-- Follow existing code patterns
-- TypeScript strict mode
-- No \`any\` type
-- Functions ≤50 lines max
-${options.additionalConstraints?.map(c => `- ${c}`).join('\n') || ''}
+${renderSharedConstraints(options.additionalConstraints)}
 
 ## Execution Order
 \`\`\`
@@ -236,6 +252,12 @@ ${phases.map((p, i) => `Phase ${i + 1}: ${p.name}`).join(' → ')}
 
 ## Dependencies
 ${generateDependencyList(phases)}
+
+## Evidence Required
+${renderEvidenceRequired(options.evidenceRequired, prd.requirements)}
+
+## Human Taste (Non-Blocking)
+${options.humanTaste?.map(item => `- ${item}`).join('\n') || '- None recorded; release review remains a human decision'}
 `;
     return content;
 }
@@ -268,13 +290,24 @@ Developer implementing Phase ${phaseNumber} of ${featureName}.
 ### Phase Goal
 ${getPhaseGoal(phase)}
 
-### Requirements (${phase.requirements.length})
-${phase.requirements.map(r => `- ${r.id}: ${truncateText(r.description, 50)}`).join('\n')}
+### Requirement Summary (${phase.requirements.length})
+${phase.requirements.map(r => `- ${r.id}: ${truncateText(r.description, 50)}`).join('\n') || '- Build and verification phase'}
 
 ### Dependencies
 ${phaseNumber > 1 ? `- Requires Phase ${phaseNumber - 1} completion` : '- No dependencies (first phase)'}
+
+### Context Sources
+${options.contextSources?.map(source => `- ${source}`).join('\n') || '- Inherited from master SPEC and PRD input'}
+
+### Assumptions
+${options.assumptions?.map(assumption => `- ${assumption}`).join('\n') || '- None recorded'}
 </context>
 
+## Constraints
+${renderSharedConstraints(options.additionalConstraints)}
+
+${renderContractTables(phase.requirements, `${featureName}-phase-${phaseNumber}`)}
+
 ## Task
 <task>
 `;
@@ -292,12 +325,59 @@ ${phaseNumber > 1 ? `- Requires Phase ${phaseNumber - 1} completion` : '- No dep
     content += `- [ ] Phase ${phaseNumber} build succeeds
 - [ ] Phase ${phaseNumber} tests pass
 </acceptance>
+
+## Evidence Required
+${renderEvidenceRequired(options.evidenceRequired, phase.requirements)}
+
+## Human Taste (Non-Blocking)
+${options.humanTaste?.map(item => `- ${item}`).join('\n') || '- None recorded; release review remains a human decision'}
 `;
     return content;
 }
 // ============================================
 // Helper Functions
 // ============================================
+function renderEvidenceRequired(evidence, requirements) {
+    const byCriterion = new Map(evidence?.map(item => [item.criterionId, item.evidence]) ?? []);
+    const targets = requirements.length > 0
+        ? requirements
+        : [fallbackRequirement('phase-build', 'Phase build and tests pass')];
+    return targets.map((requirement, index) => {
+        const proof = byCriterion.get(`D${index + 1}`) ?? byCriterion.get(requirement.id)
+            ?? 'Command results and exit codes for this criterion';
+        return `- D${index + 1} → ${proof}`;
+    }).join('\n');
+}
+function renderContractTables(requirements, featureName) {
+    const targets = requirements.length > 0
+        ? requirements
+        : [fallbackRequirement(`REQ-${normalizeFileName(featureName)}-001`, 'Build and tests pass for this phase')];
+    const requirementRows = targets.map((requirement, index) => `| ${requirement.id} | ${truncateText(requirement.description, 80)} | D${index + 1} |`).join('\n');
+    const criterionRows = targets.map((requirement, index) => `| D${index + 1} | ${truncateText(requirement.description, 80)} | Automated verification exits 0 |`).join('\n');
+    return `## Requirements
+
+| ID | Requirement | Done Criteria |
+|----|-------------|---------------|
+${requirementRows}
+
+## Done Criteria
+
+| # | Criterion | Verified by |
+|---|-----------|-------------|
+${criterionRows}`;
+}
+function fallbackRequirement(id, description) {
+    return { id, description, acceptanceCriteria: [], priority: 'high' };
+}
+function renderSharedConstraints(additional) {
+    return [
+        'Follow existing code patterns',
+        'TypeScript strict mode',
+        'No `any` type',
+        'Functions ≤50 lines max',
+        ...(additional ?? []),
+    ].map(item => `- ${item}`).join('\n');
+}
 /**
  * 요구사항을 Phase로 그룹화
  */
@@ -324,11 +404,12 @@ function groupRequirementsIntoPhases(requirements, threshold) {
         });
     }
     // Phase 2+: 핵심 기능 (high priority)
-    if (high.length > 0) {
+    const remainingHigh = high.filter(requirement => !setupReqs.includes(requirement));
+    if (remainingHigh.length > 0) {
         phases.push({
             name: 'Core Features',
-            requirements: high,
-            tasks: high.map(r => generateTaskFromRequirement(r)),
+            requirements: remainingHigh,
+            tasks: remainingHigh.map(r => generateTaskFromRequirement(r)),
         });
     }
     // Phase 3+: 중요 기능 (medium priority)
@@ -341,11 +422,12 @@ function groupRequirementsIntoPhases(requirements, threshold) {
         });
     }
     // Phase 4+: 부가 기능 (low priority)
-    if (low.length > 0) {
+    const remainingLow = low.filter(requirement => !setupReqs.includes(requirement));
+    if (remainingLow.length > 0) {
         phases.push({
             name: 'Enhancements',
-            requirements: low,
-            tasks: low.map(r => generateTaskFromRequirement(r)),
+            requirements: remainingLow,
+            tasks: remainingLow.map(r => generateTaskFromRequirement(r)),
         });
     }
     // 마지막 Phase: 테스트 & 검증