sdd-agent-platform 0.4.0 → 0.4.2

package/packages/core/dist/verification/verify-contract.js

@@ -21,10 +21,10 @@ export async function inspectVerifyContract(projectRoot, options = {}) {
     }
     if (!model.documents.verifyExists || raw === null) {
         issues.push({
-            level: 'WARN',
+            level: 'FAIL',
             field: 'verify.md',
             message: 'Verification contract document is missing.',
-            action: `Run sdd verifies write --branch ${context.partition} to create specs/${context.partition}/verify.md.`
+            action: `Run /sdd:tasks or sdd verifies write --branch ${context.partition} to create specs/${context.partition}/verify.md before /sdd:test.`
         });
     }
     else {
@@ -36,21 +36,13 @@ export async function inspectVerifyContract(projectRoot, options = {}) {
                 action: 'Regenerate verify.md with sdd verifies write or update the frontmatter contract.'
             });
         }
-        if (model.documents.verifyStale) {
-            issues.push({
-                level: 'WARN',
-                field: 'based_on_tasks_hash',
-                message: `verify.md is stale for current tasks hash ${model.documents.tasksHash}.`,
-                action: `Run sdd verifies write --branch ${context.partition} --force after reviewing task contract changes.`
-            });
-        }
         const authorRole = readDocumentScalar(raw, 'author_role');
         if (authorRole !== VERIFY_CONTRACT_AUTHOR_ROLE) {
             issues.push({
                 level: 'WARN',
                 field: 'author_role',
                 message: `verify.md must be owned by ${VERIFY_CONTRACT_AUTHOR_ROLE}, not ${authorRole ?? 'missing'}.`,
-                action: 'Regenerate verify.md with a verification-designer role before running /sdd:test.'
+                action: 'Regenerate verify.md with a verification-designer role before running sdd test <validation_unit_id-or-validation_text>.'
             });
         }
         const independentFromRoles = readDocumentList(raw, 'independent_from_roles');
@@ -64,6 +56,14 @@ export async function inspectVerifyContract(projectRoot, options = {}) {
                 });
             }
         }
+        if (!/^verification_batches:\s*$/m.test(raw)) {
+            issues.push({
+                level: 'FAIL',
+                field: 'verification_batches',
+                message: 'verify.md does not declare verification_batches from the frozen tasks contract.',
+                action: `Run /sdd:tasks or sdd verifies write --branch ${context.partition} --force to regenerate verify.md as a batch/wave validation plan.`
+            });
+        }
         for (const task of model.tasks) {
             if (!new RegExp(`\\b${escapeRegex(task.id)}\\b`).test(raw)) {
                 issues.push({
@@ -83,6 +83,8 @@ export async function inspectVerifyContract(projectRoot, options = {}) {
         status: issues.some((issue) => issue.level === 'FAIL') ? 'BLOCKED' : issues.length > 0 ? 'WARN' : 'PASS',
         basedOnTasksHash: model.documents.verifyBasedOnTasksHash ?? null,
         currentTasksHash: model.documents.tasksHash ?? null,
+        basedOnTasksContractHash: model.documents.verifyBasedOnTasksContractHash ?? null,
+        currentTasksContractHash: model.documents.tasksContractHash ?? null,
         issues,
         taskCount: model.tasks.length,
         authorRole: raw ? readDocumentScalar(raw, 'author_role') : null,
@@ -92,17 +94,21 @@ export async function inspectVerifyContract(projectRoot, options = {}) {
 export async function writeVerifyContract(projectRoot, options = {}) {
     const context = await resolveSddContext(projectRoot, options);
     const model = await parseSddBranch(projectRoot, context.partition);
-    const content = renderVerifyContractDocument(model, new Date().toISOString());
+    const content = renderVerifyContractDocument(model);
     const existed = await exists(model.verifyPath);
     if (existed && !options.force) {
         const current = await readFile(model.verifyPath, 'utf8');
-        return {
-            branch: context.partition,
-            verifyPath: model.verifyPath,
-            relativePath: `specs/${context.partition}/verify.md`,
-            status: current === content ? 'unchanged' : 'unchanged',
-            content: current
-        };
+        const hasCurrentBatchPlan = /^verification_batches:\s*$/m.test(current);
+        const hasCurrentContract = current.includes(`contract: ${VERIFY_DOCUMENT_CONTRACT_VERSION}`);
+        if (current === content || (hasCurrentContract && hasCurrentBatchPlan)) {
+            return {
+                branch: context.partition,
+                verifyPath: model.verifyPath,
+                relativePath: `specs/${context.partition}/verify.md`,
+                status: 'unchanged',
+                content: current
+            };
+        }
     }
     await mkdir(path.dirname(model.verifyPath), { recursive: true });
     await writeFile(model.verifyPath, content, 'utf8');
@@ -114,17 +120,14 @@ export async function writeVerifyContract(projectRoot, options = {}) {
         content
     };
 }
-export function renderVerifyContractDocument(model, timestamp) {
+export function renderVerifyContractDocument(model) {
     return `---
 contract: ${VERIFY_DOCUMENT_CONTRACT_VERSION}
 version: 1.0.0
 branch: ${model.branch}
-based_on_tasks_hash: ${model.documents.tasksHash ?? 'missing'}
 author_role: ${VERIFY_CONTRACT_AUTHOR_ROLE}
 independent_from_roles:
 ${REQUIRED_INDEPENDENT_FROM_ROLES.map((role) => `  - ${role}`).join('\n')}
-created_at: ${timestamp}
-updated_at: ${timestamp}
 ---
 
 # Verify Contract: ${model.branch}
@@ -133,28 +136,100 @@ updated_at: ${timestamp}
 
 This document maps executable SDD tasks to verification expectations. It is derived from specs/${model.branch}/tasks.md and is not runtime evidence. It is owned by the verification-designer role and must remain independent from task planning and implementation authority.
 
-## 2. Task Verification Matrix
+## 2. Verification Batches
+
+verification_batches:
+${model.tasks.length > 0 ? renderVerificationBatches(model.tasks) : '  []'}
+
+## 3. Task Verification Matrix
 
 | Task | Acceptance refs | Validation commands | Required artifacts | Verification availability |
 |---|---|---|---|---|
 ${model.tasks.length > 0 ? model.tasks.map(renderTaskMatrixRow).join('\n') : '| none | none | none | none | none |'}
 
-## 3. Verification Rules
+## 4. Verification Rules
 
 - The agent that creates tasks.md must not be the same authority that owns verify.md.
 - The implementer must not own verify.md or perform authoritative goal verification.
-- Reviewer and validator evidence must use run-relative artifacts/<file> paths.
-- Physical evidence files live under branch evidence .sdd/runs/<branchSlug>/evidence/artifacts/.
+- Reviewer and validator evidence must use .sdd/runs/<branch>/test/*.md or .sdd/runs/<branch>/do/*.md refs.
+- Physical evidence files live under branch stage evidence .sdd/runs/<branch>/<stage>/*.md.
 - Goal-level verify must resolve the latest eligible run by branch and task unless --run is explicitly supplied for replay.
 - PASS requires policy-backed acceptance evidence, not mention-only acceptance text.
-- Sync-back must inspect the generated proposal before applying task status changes.
+- \`/sdd:test\` consumes this contract and must not create or refresh it.
+- Goal-level verification feeds runtime truth-alignment; normal workflow completion proceeds through test judgment, goal verification, and ship readiness.
 
-## 4. Out of Scope
+## 5. Out of Scope
 
-- This document does not replace runtime.sqlite, branch evidence artifacts, validator reports, or sync-back proposals.
+- This document does not replace runtime.sqlite, branch stage evidence artifacts, validator reports, or truth-alignment projections.
 - This document does not authorize publish, push, tag, release, or source changes outside the selected task boundary.
 `;
 }
+function renderVerificationBatches(tasks) {
+    const batches = new Map();
+    for (const task of tasks) {
+        const id = task.validationBatch ?? `task-${task.id}`;
+        const existing = batches.get(id);
+        if (existing) {
+            existing.tasks.push(task);
+        }
+        else {
+            batches.set(id, { id, tasks: [task] });
+        }
+    }
+    return Array.from(batches.values()).map(renderVerificationBatch).join('\n');
+}
+function renderVerificationBatch(batch) {
+    const timing = batch.tasks.some((task) => task.validationTiming === 'wave_end') ? 'wave_end' : batch.tasks.some((task) => task.validationTiming === 'batch_end') ? 'batch_end' : 'task_end';
+    const changeSurface = unique(batch.tasks.map((task) => task.changeSurface)).length === 1 ? batch.tasks[0].changeSurface : 'mixed';
+    const requiredArtifacts = unique(batch.tasks.flatMap((task) => task.requiredArtifacts));
+    const forbiddenValidation = changeSurface === 'frontend_only' ? ['maven_compile', 'gradle_build'] : [];
+    return [
+        `  - id: ${quoteYaml(batch.id)}`,
+        `    timing: ${timing}`,
+        `    tasks:`,
+        ...batch.tasks.map((task) => `      - ${quoteYaml(task.id)}`),
+        `    change_surface: ${changeSurface}`,
+        `    checks:`,
+        ...renderBatchChecks(batch.tasks),
+        `    forbidden_validation:${renderInlineOrNestedList(forbiddenValidation, 6)}`,
+        `    required_artifacts:${renderInlineOrNestedList(requiredArtifacts, 6)}`,
+        `    acceptance_mapping:`,
+        ...renderAcceptanceMapping(batch.tasks),
+        `    failure_policy:`,
+        `      repair_flow: deferred`,
+        `      rerun_scope: pending_design`
+    ].join('\n');
+}
+function renderBatchChecks(tasks) {
+    const checks = unique(tasks.flatMap((task) => task.validation));
+    return checks.length > 0 ? checks.map((check) => `      - ${quoteYaml(check)}`) : ['      []'];
+}
+function renderAcceptanceMapping(tasks) {
+    const lines = [];
+    for (const task of tasks) {
+        lines.push(`      ${task.id}:`);
+        if (task.acceptanceRefs.length > 0) {
+            lines.push(...task.acceptanceRefs.map((ref) => `        - ${quoteYaml(ref)}`));
+        }
+        else {
+            lines.push('        []');
+        }
+    }
+    return lines;
+}
+function renderInlineOrNestedList(values, indent) {
+    if (values.length === 0) {
+        return ' []';
+    }
+    const spaces = ' '.repeat(indent);
+    return `\n${values.map((value) => `${spaces}- ${quoteYaml(value)}`).join('\n')}`;
+}
+function unique(values) {
+    return Array.from(new Set(values.filter(Boolean)));
+}
+function quoteYaml(value) {
+    return JSON.stringify(value);
+}
 function renderTaskMatrixRow(task) {
     return `| ${task.id} | ${cell(task.acceptanceRefs)} | ${cell(task.validation)} | ${cell(task.requiredArtifacts)} | ${cell(task.verificationAvailability)} |`;
 }

package/packages/core/dist/verification/verify-contract.js.map

@@ -1 +1 @@
-{"version":3,"file":"verify-contract.js","sourceRoot":"","sources":["../../src/verification/verify-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,gCAAgC,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAA4B,MAAM,wBAAwB,CAAC;AACrF,OAAO,EAAE,cAAc,EAAmC,MAAM,4BAA4B,CAAC;AAC7F,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAM/C,MAAM,2BAA2B,GAA6B,uBAAuB,CAAC;AACtF,MAAM,+BAA+B,GAAG,CAAC,cAAc,EAAE,aAAa,CAAU,CAAC;AA+BjF,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,WAAmB,EAAE,UAA0E,EAAE;IAC3I,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IACnE,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3F,MAAM,MAAM,GAA0B,EAAE,CAAC;IAEzC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,MAAM;YACb,KAAK,EAAE,UAAU;YACjB,OAAO,EAAE,uDAAuD;YAChE,MAAM,EAAE,6DAA6D;SACtE,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,YAAY,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QAClD,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,MAAM;YACb,KAAK,EAAE,WAAW;YAClB,OAAO,EAAE,4CAA4C;YACrD,MAAM,EAAE,mCAAmC,OAAO,CAAC,SAAS,oBAAoB,OAAO,CAAC,SAAS,aAAa;SAC/G,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,aAAa,gCAAgC,EAAE,CAAC,EAAE,CAAC;YACnE,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,MAAM;gBACb,KAAK,EAAE,UAAU;gBACjB,OAAO,EAAE,uCAAuC,gCAAgC,GAAG;gBACnF,MAAM,EAAE,kFAAkF;aAC3F,CAAC,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,MAAM;gBACb,KAAK,EAAE,qBAAqB;gBAC5B,OAAO,EAAE,6CAA6C,KAAK,CAAC,SAAS,CAAC,SAAS,GAAG;gBAClF,MAAM,EAAE,mCAAmC,OAAO,CAAC,SAAS,iDAAiD;aAC9G,CAAC,CAAC;QACL,CAAC;QACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;QAC1D,IAAI,UAAU,KAAK,2BAA2B,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,MAAM;gBACb,KAAK,EAAE,aAAa;gBACpB,OAAO,EAAE,8BAA8B,2BAA2B,SAAS,UAAU,IAAI,SAAS,GAAG;gBACrG,MAAM,EAAE,kFAAkF;aAC3F,CAAC,CAAC;QACL,CAAC;QACD,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC;QAC7E,KAAK,MAAM,IAAI,IAAI,+BAA+B,EAAE,CAAC;YACnD,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzC,MAAM,CAAC,IAAI,CAAC;oBACV,KAAK,EAAE,MAAM;oBACb,KAAK,EAAE,wBAAwB;oBAC/B,OAAO,EAAE,4CAA4C,IAAI,GAAG;oBAC5D,MAAM,EAAE,+FAA+F;iBACxG,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3D,MAAM,CAAC,IAAI,CAAC;oBACV,KAAK,EAAE,MAAM;oBACb,KAAK,EAAE,OAAO;oBACd,OAAO,EAAE,mCAAmC,IAAI,CAAC,EAAE,GAAG;oBACtD,MAAM,EAAE,2EAA2E;iBACpF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,gCAAgC;QAC1C,MAAM,EAAE,OAAO,CAAC,SAAS;QACzB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,YAAY;QACpC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QACxG,gBAAgB,EAAE,KAAK,CAAC,SAAS,CAAC,sBAAsB,IAAI,IAAI;QAChE,gBAAgB,EAAE,KAAK,CAAC,SAAS,CAAC,SAAS,IAAI,IAAI;QACnD,MAAM;QACN,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;QAC7B,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,EAAE,aAAa,CAAoC,CAAC,CAAC,CAAC,IAAI;QAClG,oBAAoB,EAAE,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC,CAAC,CAAC,EAAE;KACjF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,WAAmB,EAAE,UAA2F,EAAE;IAC1J,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,4BAA4B,CAAC,KAAK,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAC9E,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QACzD,OAAO;YACL,MAAM,EAAE,OAAO,CAAC,SAAS;YACzB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,YAAY,EAAE,SAAS,OAAO,CAAC,SAAS,YAAY;YACpD,MAAM,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW;YACvD,OAAO,EAAE,OAAO;SACjB,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACjE,MAAM,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACnD,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,SAAS;QACzB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,YAAY,EAAE,SAAS,OAAO,CAAC,SAAS,YAAY;QACpD,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;QACvC,OAAO;KACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAmB,EAAE,SAAiB;IACjF,OAAO;YACG,gCAAgC;;UAElC,KAAK,CAAC,MAAM;uBACC,KAAK,CAAC,SAAS,CAAC,SAAS,IAAI,SAAS;eAC9C,2BAA2B;;EAExC,+BAA+B,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;cAC3D,SAAS;cACT,SAAS;;;qBAGF,KAAK,CAAC,MAAM;;;;iGAIgE,KAAK,CAAC,MAAM;;;;;;EAM3G,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,sCAAsC;;;;;;;;;;;;;;;;CAgBlH,CAAC;AACF,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAa;IACxC,OAAO,KAAK,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;AAC/J,CAAC;AAED,SAAS,IAAI,CAAC,MAAgB;IAC5B,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAC1D,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAW,EAAE,GAAW;IAClD,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,oCAAoC,UAAU,mCAAmC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5H,OAAO,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACrD,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAW,EAAE,GAAW;IAChD,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC5C,IAAI,MAAM,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAChF,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,QAAQ,UAAU,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3F,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;QACjB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,MAAM;QACR,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,OAAO,KAAK,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACtD,CAAC"}
+{"version":3,"file":"verify-contract.js","sourceRoot":"","sources":["../../src/verification/verify-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,gCAAgC,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAA4B,MAAM,wBAAwB,CAAC;AACrF,OAAO,EAAE,cAAc,EAAmC,MAAM,4BAA4B,CAAC;AAC7F,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAM/C,MAAM,2BAA2B,GAA6B,uBAAuB,CAAC;AACtF,MAAM,+BAA+B,GAAG,CAAC,cAAc,EAAE,aAAa,CAAU,CAAC;AAiCjF,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,WAAmB,EAAE,UAA0E,EAAE;IAC3I,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IACnE,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3F,MAAM,MAAM,GAA0B,EAAE,CAAC;IAEzC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,MAAM;YACb,KAAK,EAAE,UAAU;YACjB,OAAO,EAAE,uDAAuD;YAChE,MAAM,EAAE,6DAA6D;SACtE,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,YAAY,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QAClD,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,MAAM;YACb,KAAK,EAAE,WAAW;YAClB,OAAO,EAAE,4CAA4C;YACrD,MAAM,EAAE,iDAAiD,OAAO,CAAC,SAAS,oBAAoB,OAAO,CAAC,SAAS,8BAA8B;SAC9I,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,aAAa,gCAAgC,EAAE,CAAC,EAAE,CAAC;YACnE,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,MAAM;gBACb,KAAK,EAAE,UAAU;gBACjB,OAAO,EAAE,uCAAuC,gCAAgC,GAAG;gBACnF,MAAM,EAAE,kFAAkF;aAC3F,CAAC,CAAC;QACL,CAAC;QACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;QAC1D,IAAI,UAAU,KAAK,2BAA2B,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,MAAM;gBACb,KAAK,EAAE,aAAa;gBACpB,OAAO,EAAE,8BAA8B,2BAA2B,SAAS,UAAU,IAAI,SAAS,GAAG;gBACrG,MAAM,EAAE,yHAAyH;aAClI,CAAC,CAAC;QACL,CAAC;QACD,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC;QAC7E,KAAK,MAAM,IAAI,IAAI,+BAA+B,EAAE,CAAC;YACnD,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzC,MAAM,CAAC,IAAI,CAAC;oBACV,KAAK,EAAE,MAAM;oBACb,KAAK,EAAE,wBAAwB;oBAC/B,OAAO,EAAE,4CAA4C,IAAI,GAAG;oBAC5D,MAAM,EAAE,+FAA+F;iBACxG,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7C,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,MAAM;gBACb,KAAK,EAAE,sBAAsB;gBAC7B,OAAO,EAAE,iFAAiF;gBAC1F,MAAM,EAAE,iDAAiD,OAAO,CAAC,SAAS,mEAAmE;aAC9I,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3D,MAAM,CAAC,IAAI,CAAC;oBACV,KAAK,EAAE,MAAM;oBACb,KAAK,EAAE,OAAO;oBACd,OAAO,EAAE,mCAAmC,IAAI,CAAC,EAAE,GAAG;oBACtD,MAAM,EAAE,2EAA2E;iBACpF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,gCAAgC;QAC1C,MAAM,EAAE,OAAO,CAAC,SAAS;QACzB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,YAAY;QACpC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QACxG,gBAAgB,EAAE,KAAK,CAAC,SAAS,CAAC,sBAAsB,IAAI,IAAI;QAChE,gBAAgB,EAAE,KAAK,CAAC,SAAS,CAAC,SAAS,IAAI,IAAI;QACnD,wBAAwB,EAAE,KAAK,CAAC,SAAS,CAAC,8BAA8B,IAAI,IAAI;QAChF,wBAAwB,EAAE,KAAK,CAAC,SAAS,CAAC,iBAAiB,IAAI,IAAI;QACnE,MAAM;QACN,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;QAC7B,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,EAAE,aAAa,CAAoC,CAAC,CAAC,CAAC,IAAI;QAClG,oBAAoB,EAAE,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC,CAAC,CAAC,EAAE;KACjF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,WAAmB,EAAE,UAA2F,EAAE;IAC1J,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,4BAA4B,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QACzD,MAAM,mBAAmB,GAAG,6BAA6B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxE,MAAM,kBAAkB,GAAG,OAAO,CAAC,QAAQ,CAAC,aAAa,gCAAgC,EAAE,CAAC,CAAC;QAC7F,IAAI,OAAO,KAAK,OAAO,IAAI,CAAC,kBAAkB,IAAI,mBAAmB,CAAC,EAAE,CAAC;YACvE,OAAO;gBACL,MAAM,EAAE,OAAO,CAAC,SAAS;gBACzB,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,YAAY,EAAE,SAAS,OAAO,CAAC,SAAS,YAAY;gBACpD,MAAM,EAAE,WAAW;gBACnB,OAAO,EAAE,OAAO;aACjB,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACjE,MAAM,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACnD,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,SAAS;QACzB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,YAAY,EAAE,SAAS,OAAO,CAAC,SAAS,YAAY;QACpD,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;QACvC,OAAO;KACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAmB;IAC9D,OAAO;YACG,gCAAgC;;UAElC,KAAK,CAAC,MAAM;eACP,2BAA2B;;EAExC,+BAA+B,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;;qBAGpD,KAAK,CAAC,MAAM;;;;iGAIgE,KAAK,CAAC,MAAM;;;;;EAK3G,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM;;;;;;EAMxE,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,sCAAsC;;;;;;;;;;;;;;;;;CAiBlH,CAAC;AACF,CAAC;AAOD,SAAS,yBAAyB,CAAC,KAAgB;IACjD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6B,CAAC;IACrD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,IAAI,CAAC,eAAe,IAAI,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QACrD,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAwB;IACvD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC;IAC5L,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC;IAClI,MAAM,iBAAiB,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC;IACxF,MAAM,mBAAmB,GAAG,aAAa,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvG,OAAO;QACL,WAAW,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE;QAChC,eAAe,MAAM,EAAE;QACvB,YAAY;QACZ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QAC7D,uBAAuB,aAAa,EAAE;QACtC,aAAa;QACb,GAAG,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QACjC,4BAA4B,wBAAwB,CAAC,mBAAmB,EAAE,CAAC,CAAC,EAAE;QAC9E,0BAA0B,wBAAwB,CAAC,iBAAiB,EAAE,CAAC,CAAC,EAAE;QAC1E,yBAAyB;QACzB,GAAG,uBAAuB,CAAC,KAAK,CAAC,KAAK,CAAC;QACvC,qBAAqB;QACrB,6BAA6B;QAC7B,mCAAmC;KACpC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAgB;IACzC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAgB;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QAChC,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACjF,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,wBAAwB,CAAC,MAAgB,EAAE,MAAc;IAChE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAClC,OAAO,KAAK,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,MAAM,KAAK,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AACnF,CAAC;AAED,SAAS,MAAM,CAAC,MAAgB;IAC9B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAa;IACxC,OAAO,KAAK,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;AAC/J,CAAC;AAED,SAAS,IAAI,CAAC,MAAgB;IAC5B,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAC1D,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAW,EAAE,GAAW;IAClD,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,oCAAoC,UAAU,mCAAmC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5H,OAAO,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACrD,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAW,EAAE,GAAW;IAChD,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC5C,IAAI,MAAM,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAChF,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,QAAQ,UAAU,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3F,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;QACjB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,MAAM;QACR,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,OAAO,KAAK,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACtD,CAAC"}

package/packages/core/dist/verification.d.ts

@@ -4,3 +4,5 @@ export type { GoalVerifyResultLike, SingleTaskLoopResultLike } from './verificat
 export * from './verification/single-task-loop.js';
 export * from './verification/verify-contract.js';
 export * from './verification/test-runtime.js';
+export * from './verification/validation-wave.js';
+export * from './verification/review-gate.js';

package/packages/core/dist/verification.js

@@ -3,4 +3,6 @@ export { renderGoalVerifyResult, renderSingleTaskLoopResult } from './verificati
 export * from './verification/single-task-loop.js';
 export * from './verification/verify-contract.js';
 export * from './verification/test-runtime.js';
+export * from './verification/validation-wave.js';
+export * from './verification/review-gate.js';
 //# sourceMappingURL=verification.js.map

package/packages/core/dist/verification.js.map

@@ -1 +1 @@
-{"version":3,"file":"verification.js","sourceRoot":"","sources":["../src/verification.ts"],"names":[],"mappings":"AAAA,cAAc,+BAA+B,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AAEjG,cAAc,oCAAoC,CAAC;AACnD,cAAc,mCAAmC,CAAC;AAClD,cAAc,gCAAgC,CAAC"}
+{"version":3,"file":"verification.js","sourceRoot":"","sources":["../src/verification.ts"],"names":[],"mappings":"AAAA,cAAc,+BAA+B,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AAEjG,cAAc,oCAAoC,CAAC;AACnD,cAAc,mCAAmC,CAAC;AAClD,cAAc,gCAAgC,CAAC;AAC/C,cAAc,mCAAmC,CAAC;AAClD,cAAc,+BAA+B,CAAC"}

package/packages/core/dist/work-units/contracts.d.ts

@@ -3,7 +3,7 @@ import { WORK_UNIT_CONTRACT_VERSION } from '../contracts.js';
 export type WorkUnitType = 'main-agent' | 'co-main-agent' | 'subagent';
 export type WorkUnitStatus = 'pending' | 'running' | 'completed' | 'blocked' | 'failed' | 'cancelled';
 export type WorkUnitAuthority = 'stage-owner' | 'stage-contributor' | 'non-authoritative';
-export type WorkUnitRequiredBefore = 'stage-output' | 'handoff' | 'sync-back' | 'ship' | 'never';
+export type WorkUnitRequiredBefore = 'stage-output' | 'handoff' | 'ship' | 'never';
 export interface WorkUnit {
     contract: typeof WORK_UNIT_CONTRACT_VERSION;
     id: string;

package/packages/core/dist/workflow-gate/evidence-packet.d.ts

@@ -0,0 +1,24 @@
+import type { WorkflowGateDecision, WorkflowGateDecisionKind, WorkflowGateEvidencePacket } from './types.js';
+export declare function buildWorkflowGateEvidencePacket(projectRoot: string, input: {
+    branch?: string | null;
+    taskId?: string | null;
+    runId?: string | null;
+    decisionKind: WorkflowGateDecisionKind;
+    waveRunId?: string | null;
+    taskIds?: string[];
+    runIds?: string[];
+    evidenceRefs?: string[];
+}): Promise<WorkflowGateEvidencePacket>;
+export declare function evaluateAndRecordWorkflowGateDecision(projectRoot: string, input: {
+    branch?: string | null;
+    taskId?: string | null;
+    runId?: string | null;
+    decisionKind: WorkflowGateDecisionKind;
+    waveRunId?: string | null;
+    taskIds?: string[];
+    runIds?: string[];
+    evidenceRefs?: string[];
+}): Promise<{
+    packet: WorkflowGateEvidencePacket;
+    decision: WorkflowGateDecision;
+}>;