@lingxiao-office/sdk 1.0.0

package/dist/core/ArtifactAwareness.js

@@ -0,0 +1,212 @@
+function uniqueStrings(...groups) {
+    const seen = new Set();
+    const out = [];
+    for (const group of groups) {
+        for (const item of group ?? []) {
+            const value = String(item || '').trim();
+            if (!value || seen.has(value))
+                continue;
+            seen.add(value);
+            out.push(value);
+        }
+    }
+    return out;
+}
+function mergeArtifactTrace(artifacts, toolTrace) {
+    const filesCreated = uniqueStrings(artifacts?.files_created, toolTrace?.files_created);
+    const createdSet = new Set(filesCreated);
+    const filesModified = uniqueStrings(artifacts?.files_modified, toolTrace?.files_modified)
+        .filter((file) => !createdSet.has(file));
+    return {
+        files_created: filesCreated,
+        files_modified: filesModified,
+        commands_run: uniqueStrings(artifacts?.commands_run, toolTrace?.commands_run),
+    };
+}
+function hasArtifactAwareness(input) {
+    const merged = mergeArtifactTrace(input.artifacts, input.toolTrace);
+    return merged.files_created.length > 0 ||
+        merged.files_modified.length > 0 ||
+        merged.commands_run.length > 0 ||
+        (input.artifactPaths?.length ?? 0) > 0 ||
+        (input.evidenceRefs?.length ?? 0) > 0 ||
+        !!input.contractCompliance ||
+        (input.verification?.length ?? 0) > 0 ||
+        (input.nextSteps?.length ?? 0) > 0 ||
+        (input.findings?.length ?? 0) > 0 ||
+        (input.blockers?.length ?? 0) > 0 ||
+        !!input.impact?.trim() ||
+        !!input.verdict?.trim() ||
+        !!input.requestId?.trim() ||
+        !!input.source?.trim() ||
+        !!input.taskId?.trim() ||
+        !!input.agentId?.trim() ||
+        !!input.summary?.trim();
+}
+export function buildArtifactAwarenessBlock(input) {
+    if (!hasArtifactAwareness(input))
+        return input.result ?? '';
+    const merged = mergeArtifactTrace(input.artifacts, input.toolTrace);
+    const lines = ['### Cross-Agent Artifact Awareness'];
+    if (input.source?.trim()) {
+        lines.push(`source: ${input.source.trim()}`);
+    }
+    if (input.taskId?.trim()) {
+        lines.push(`task: ${input.taskId.trim()}`);
+    }
+    if (input.agentId?.trim()) {
+        lines.push(`agent: ${input.agentId.trim()}`);
+    }
+    if (input.summary?.trim()) {
+        lines.push(`summary: ${input.summary.trim()}`);
+    }
+    if (input.verdict?.trim()) {
+        lines.push(`verdict: ${input.verdict.trim()}`);
+    }
+    if (input.requestId?.trim()) {
+        lines.push(`request_id: ${input.requestId.trim()}`);
+    }
+    if (input.impact?.trim()) {
+        lines.push(`impact: ${input.impact.trim()}`);
+    }
+    if (input.artifactPaths?.length) {
+        lines.push(`artifacts: ${uniqueStrings(input.artifactPaths).join(', ')}`);
+    }
+    if (input.evidenceRefs?.length) {
+        lines.push(`evidence_refs: ${uniqueStrings(input.evidenceRefs).join(', ')}`);
+    }
+    if (input.contractCompliance) {
+        lines.push(`contract_surface: ${input.contractCompliance.surface}`);
+        lines.push(`contract_status: ${input.contractCompliance.status}`);
+        if (input.contractCompliance.evidence.length > 0) {
+            lines.push(`contract_evidence: ${input.contractCompliance.evidence.join(' | ')}`);
+        }
+        if (input.contractCompliance.deviations?.length) {
+            lines.push(`contract_deviations: ${input.contractCompliance.deviations.join(' | ')}`);
+        }
+    }
+    if (merged.files_created.length > 0) {
+        lines.push(`files_created: ${merged.files_created.join(', ')}`);
+    }
+    if (merged.files_modified.length > 0) {
+        lines.push(`files_modified: ${merged.files_modified.join(', ')}`);
+    }
+    if (merged.commands_run.length > 0) {
+        lines.push(`commands_run: ${merged.commands_run.join(' | ')}`);
+    }
+    if (input.verification?.length) {
+        lines.push('verification:');
+        for (const item of input.verification) {
+            const status = item.passed === false ? 'failed' : item.passed === true ? 'passed' : 'unknown';
+            lines.push(`- [${status}] ${item.kind}: ${item.detail}`);
+        }
+    }
+    if (input.nextSteps?.length) {
+        lines.push(`next_steps: ${input.nextSteps.join(' | ')}`);
+    }
+    if (input.findings?.length) {
+        lines.push(`findings: ${input.findings.join(' | ')}`);
+    }
+    if (input.blockers?.length) {
+        lines.push(`blockers: ${input.blockers.join(' | ')}`);
+    }
+    const result = input.result?.trim();
+    if (result) {
+        lines.push('', `### ${input.resultLabel?.trim() || 'Worker Result'}`, result);
+    }
+    return lines.join('\n');
+}
+function artifactTraceFromPaths(paths) {
+    const files = uniqueStrings(paths);
+    return files.length > 0 ? { files_modified: files } : undefined;
+}
+export function buildWorkNoteAwarenessBlock(note, sourceAgentId = note.agentId) {
+    return buildArtifactAwarenessBlock({
+        source: 'work_note',
+        taskId: note.taskId,
+        agentId: sourceAgentId,
+        summary: note.summary,
+        result: note.details,
+        artifactPaths: note.artifacts,
+        findings: note.keyFindings,
+        blockers: note.blockers,
+        nextSteps: note.nextSteps,
+        impact: note.impactAnalysis,
+        resultLabel: 'Work Note Details',
+    });
+}
+export function metadataHasArtifactAwareness(metadata) {
+    if (!metadata)
+        return false;
+    return Boolean(metadata.intent && metadata.intent !== 'message' ||
+        metadata.taskId ||
+        metadata.sourceTaskId ||
+        metadata.targetTaskId ||
+        metadata.artifactPaths?.length ||
+        metadata.evidenceRefs?.length ||
+        metadata.verdict ||
+        metadata.requestId ||
+        metadata.nextAction);
+}
+export function buildCollaborationAwarenessBlock(input) {
+    const metadata = input.metadata ?? {};
+    if (!metadataHasArtifactAwareness(metadata)) {
+        return '';
+    }
+    return buildArtifactAwarenessBlock({
+        source: metadata.intent ? `team_message:${metadata.intent}` : 'team_message',
+        taskId: metadata.taskId || metadata.sourceTaskId || metadata.targetTaskId,
+        agentId: input.from,
+        summary: metadata.summary || input.content,
+        result: input.content,
+        artifactPaths: metadata.artifactPaths,
+        evidenceRefs: metadata.evidenceRefs,
+        nextSteps: metadata.nextAction ? [metadata.nextAction] : undefined,
+        verdict: metadata.verdict,
+        requestId: metadata.requestId,
+        resultLabel: 'Team Message',
+    });
+}
+export function buildTeamMessageAwarenessBlock(message) {
+    return buildCollaborationAwarenessBlock({
+        from: message.fromMember,
+        to: message.toMember ?? `team:${message.toTeam}`,
+        content: message.content,
+        metadata: message.metadata,
+    });
+}
+export function buildBlackboardNodeAwarenessBlock(node) {
+    const artifactRefs = node.evidence
+        ?.filter((item) => item.type === 'artifact' || item.type === 'file' || item.type === 'task_result' || item.type === 'tool_result')
+        .map((item) => item.location ? `${item.ref}:${item.location}` : item.ref);
+    const hasCrossAgentSignal = node.kind === 'contract' ||
+        node.kind === 'design_doc' ||
+        node.kind === 'goal' ||
+        node.kind === 'review' ||
+        node.kind === 'verdict' ||
+        node.kind === 'decision_log' ||
+        node.tags.some((tag) => tag === 'task_result' ||
+            tag === 'contract' ||
+            tag === 'design_doc' ||
+            tag === 'review' ||
+            tag === 'decision' ||
+            tag === 'verdict' ||
+            tag.startsWith('task:') ||
+            tag.startsWith('contract:')) ||
+        (artifactRefs?.length ?? 0) > 0 ||
+        (node.evidence?.length ?? 0) > 0;
+    if (!hasCrossAgentSignal) {
+        return '';
+    }
+    return buildArtifactAwarenessBlock({
+        source: `blackboard:${node.kind}`,
+        taskId: node.tags.find((tag) => tag.startsWith('task:'))?.slice('task:'.length),
+        agentId: node.createdBy,
+        summary: node.title,
+        result: node.content,
+        artifactPaths: artifactRefs,
+        evidenceRefs: node.evidence?.map((item) => `${item.type}:${item.ref}`),
+        resultLabel: 'Blackboard Node Content',
+    });
+}
+//# sourceMappingURL=ArtifactAwareness.js.map

package/dist/core/ArtifactAwareness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ArtifactAwareness.js","sourceRoot":"","sources":["../../src/core/ArtifactAwareness.ts"],"names":[],"mappings":"AA2BA,SAAS,aAAa,CAAC,GAAG,MAAmC;IAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,IAAI,EAAE,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACxC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAS;YACxC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAChB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,kBAAkB,CACzB,SAA+B,EAC/B,SAA+B;IAE/B,MAAM,YAAY,GAAG,aAAa,CAAC,SAAS,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IACvF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;IACzC,MAAM,aAAa,GAAG,aAAa,CAAC,SAAS,EAAE,cAAc,EAAE,SAAS,EAAE,cAAc,CAAC;SACtF,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3C,OAAO;QACL,aAAa,EAAE,YAAY;QAC3B,cAAc,EAAE,aAAa;QAC7B,YAAY,EAAE,aAAa,CAAC,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY,CAAC;KAC9E,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA6B;IACzD,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACpE,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;QACpC,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;QAChC,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAC9B,CAAC,KAAK,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QACtC,CAAC,KAAK,CAAC,YAAY,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QACrC,CAAC,CAAC,KAAK,CAAC,kBAAkB;QAC1B,CAAC,KAAK,CAAC,YAAY,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QACrC,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QAClC,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QACjC,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QACjC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE;QACtB,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE;QACvB,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE;QACzB,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE;QACtB,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE;QACtB,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE;QACvB,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,KAA6B;IACvE,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;IAE5D,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACpE,MAAM,KAAK,GAAa,CAAC,oCAAoC,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,cAAc,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,kBAAkB,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,KAAK,CAAC,kBAAkB,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,qBAAqB,KAAK,CAAC,kBAAkB,CAAC,OAAO,EAAE,CAAC,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,oBAAoB,KAAK,CAAC,kBAAkB,CAAC,MAAM,EAAE,CAAC,CAAC;QAClE,IAAI,KAAK,CAAC,kBAAkB,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjD,KAAK,CAAC,IAAI,CAAC,sBAAsB,KAAK,CAAC,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,KAAK,CAAC,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC,wBAAwB,KAAK,CAAC,kBAAkB,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;YAC9F,KAAK,CAAC,IAAI,CAAC,MAAM,MAAM,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC;IACpC,IAAI,MAAM,EAAE,CAAC;QACX,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,IAAI,eAAe,EAAE,EAAE,MAAM,CAAC,CAAC;IAChF,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAgB;IAC9C,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,IAAc,EAAE,aAAa,GAAG,IAAI,CAAC,OAAO;IACtF,OAAO,2BAA2B,CAAC;QACjC,MAAM,EAAE,WAAW;QACnB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,OAAO,EAAE,aAAa;QACtB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,IAAI,CAAC,OAAO;QACpB,aAAa,EAAE,IAAI,CAAC,SAAS;QAC7B,QAAQ,EAAE,IAAI,CAAC,WAAW;QAC1B,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,MAAM,EAAE,IAAI,CAAC,cAAc;QAC3B,WAAW,EAAE,mBAAmB;KACjC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,QAAgD;IAC3F,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5B,OAAO,OAAO,CACZ,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;QAChD,QAAQ,CAAC,MAAM;QACf,QAAQ,CAAC,YAAY;QACrB,QAAQ,CAAC,YAAY;QACrB,QAAQ,CAAC,aAAa,EAAE,MAAM;QAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM;QAC7B,QAAQ,CAAC,OAAO;QAChB,QAAQ,CAAC,SAAS;QAClB,QAAQ,CAAC,UAAU,CACpB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,KAKhD;IACC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC;IACtC,IAAI,CAAC,4BAA4B,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,2BAA2B,CAAC;QACjC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,cAAc;QAC5E,MAAM,EAAE,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,YAAY,IAAI,QAAQ,CAAC,YAAY;QACzE,OAAO,EAAE,KAAK,CAAC,IAAI;QACnB,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO;QAC1C,MAAM,EAAE,KAAK,CAAC,OAAO;QACrB,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,SAAS,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS;QAClE,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,WAAW,EAAE,cAAc;KAC5B,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,OAAoB;IACjE,OAAO,gCAAgC,CAAC;QACtC,IAAI,EAAE,OAAO,CAAC,UAAU;QACxB,EAAE,EAAE,OAAO,CAAC,QAAQ,IAAI,QAAQ,OAAO,CAAC,MAAM,EAAE;QAChD,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,IAAe;IAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ;QAChC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,CAAC;SACjI,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5E,MAAM,mBAAmB,GACvB,IAAI,CAAC,IAAI,KAAK,UAAU;QACxB,IAAI,CAAC,IAAI,KAAK,YAAY;QAC1B,IAAI,CAAC,IAAI,KAAK,MAAM;QACpB,IAAI,CAAC,IAAI,KAAK,QAAQ;QACtB,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,IAAI,CAAC,IAAI,KAAK,cAAc;QAC5B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CACrB,GAAG,KAAK,aAAa;YACrB,GAAG,KAAK,UAAU;YAClB,GAAG,KAAK,YAAY;YACpB,GAAG,KAAK,QAAQ;YAChB,GAAG,KAAK,UAAU;YAClB,GAAG,KAAK,SAAS;YACjB,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC;YACvB,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,CAC5B;QACD,CAAC,YAAY,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QAC/B,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACnC,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,2BAA2B,CAAC;QACjC,MAAM,EAAE,cAAc,IAAI,CAAC,IAAI,EAAE;QACjC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAC/E,OAAO,EAAE,IAAI,CAAC,SAAS;QACvB,OAAO,EAAE,IAAI,CAAC,KAAK;QACnB,MAAM,EAAE,IAAI,CAAC,OAAO;QACpB,aAAa,EAAE,YAAY;QAC3B,YAAY,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QACtE,WAAW,EAAE,yBAAyB;KACvC,CAAC,CAAC;AACL,CAAC"}

package/dist/core/AssumptionTracker.d.ts

@@ -0,0 +1,88 @@
+import type { DatabaseManager } from './Database.js';
+import type { EventEmitter } from './EventEmitter.js';
+import { AstStructuralEngine } from './AstStructuralEngine.js';
+export type AssumptionStatus = 'unverified' | 'verified' | 'falsified';
+export type AssumptionVerificationType = 'type_check' | 'file_content' | 'test_execution' | 'ast_query';
+export interface Assumption {
+    id: string;
+    title: string;
+    content: string;
+    status: AssumptionStatus;
+    verification: {
+        type: AssumptionVerificationType;
+        target: string;
+        expected: string;
+        actual?: string;
+    };
+    dependents: string[];
+    createdBy: string;
+    createdAt: number;
+    verifiedAt?: number;
+    falsifiedAt?: number;
+    evidence?: string;
+    sessionId?: string;
+}
+export interface DeclareAssumptionInput {
+    title: string;
+    content?: string;
+    verificationType: AssumptionVerificationType;
+    target: string;
+    expected: string;
+    dependentTaskIds?: string[];
+    createdBy?: string;
+    sessionId?: string;
+}
+export interface VerificationBatch {
+    verified: Array<{
+        id: string;
+        evidence: string;
+    }>;
+    falsified: Array<{
+        id: string;
+        evidence: string;
+        dependents: string[];
+    }>;
+}
+export interface AssumptionTrackerLogger {
+    warn?: (message: string, ...args: unknown[]) => void;
+    info?: (message: string, ...args: unknown[]) => void;
+    debug?: (message: string, ...args: unknown[]) => void;
+}
+export declare class AssumptionTracker {
+    private readonly db;
+    private readonly astEngine;
+    private readonly logger?;
+    private readonly emitter?;
+    private readonly sessionId?;
+    private readonly projectRoot;
+    private readonly testTimeoutMs;
+    constructor(deps: {
+        db: DatabaseManager;
+        astEngine?: AstStructuralEngine;
+        logger?: AssumptionTrackerLogger;
+        emitter?: EventEmitter;
+        sessionId?: string;
+        projectRoot?: string;
+        testTimeoutMs?: number;
+    });
+    declare(input: DeclareAssumptionInput): Assumption;
+    onFilesChanged(changedFiles: string[]): Promise<VerificationBatch>;
+    verifyAll(): Promise<VerificationBatch>;
+    getUnverified(): Assumption[];
+    getFalsified(): Assumption[];
+    getByTask(taskId: string): Assumption[];
+    private listByStatus;
+    private listAll;
+    private mapRow;
+    private verifyAssumptions;
+    private verifyOne;
+    private verifyFileContent;
+    private verifyTypeCheck;
+    private verifyTestExecution;
+    private verifyAstQuery;
+    private normalizeTarget;
+    private toProjectRelative;
+    private resolveTargetFile;
+    private isRelevantToChangedFiles;
+}
+//# sourceMappingURL=AssumptionTracker.d.ts.map

package/dist/core/AssumptionTracker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AssumptionTracker.d.ts","sourceRoot":"","sources":["../../src/core/AssumptionTracker.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAG/D,MAAM,MAAM,gBAAgB,GAAG,YAAY,GAAG,UAAU,GAAG,WAAW,CAAC;AACvE,MAAM,MAAM,0BAA0B,GAAG,YAAY,GAAG,cAAc,GAAG,gBAAgB,GAAG,WAAW,CAAC;AAExG,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,gBAAgB,CAAC;IACzB,YAAY,EAAE;QACZ,IAAI,EAAE,0BAA0B,CAAC;QACjC,MAAM,EAAE,MAAM,CAAC;QACf,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,sBAAsB;IACrC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gBAAgB,EAAE,0BAA0B,CAAC;IAC7C,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAClD,SAAS,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CAC1E;AAED,MAAM,WAAW,uBAAuB;IACtC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,IAAI,CAAC;IACrD,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,IAAI,CAAC;IACrD,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,IAAI,CAAC;CACvD;AAqFD,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAkB;IACrC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAsB;IAChD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAA0B;IAClD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAe;IACxC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAS;IACpC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAS;IACrC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAS;gBAE3B,IAAI,EAAE;QAChB,EAAE,EAAE,eAAe,CAAC;QACpB,SAAS,CAAC,EAAE,mBAAmB,CAAC;QAChC,MAAM,CAAC,EAAE,uBAAuB,CAAC;QACjC,OAAO,CAAC,EAAE,YAAY,CAAC;QACvB,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB;IAUD,OAAO,CAAC,KAAK,EAAE,sBAAsB,GAAG,UAAU;IAmD5C,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAMlE,SAAS,IAAI,OAAO,CAAC,iBAAiB,CAAC;IAI7C,aAAa,IAAI,UAAU,EAAE;IAI7B,YAAY,IAAI,UAAU,EAAE;IAI5B,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,EAAE;IAIvC,OAAO,CAAC,YAAY;IAOpB,OAAO,CAAC,OAAO;IAOf,OAAO,CAAC,MAAM;YAsBA,iBAAiB;IA2C/B,OAAO,CAAC,SAAS;IAajB,OAAO,CAAC,iBAAiB;IAoBzB,OAAO,CAAC,eAAe;YAiCT,mBAAmB;IAoBjC,OAAO,CAAC,cAAc;IAetB,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,iBAAiB;IAKzB,OAAO,CAAC,iBAAiB;IAKzB,OAAO,CAAC,wBAAwB;CAWjC"}

package/dist/core/AssumptionTracker.js

@@ -0,0 +1,316 @@
+import { randomUUID } from 'node:crypto';
+import { existsSync, readFileSync } from 'node:fs';
+import { extname, isAbsolute, join, relative, resolve } from 'node:path';
+import ts from 'typescript';
+import { AstStructuralEngine } from './AstStructuralEngine.js';
+import { TestRunnerAdapter } from './TestRunnerAdapter.js';
+function uniqueStrings(values) {
+    const seen = new Set();
+    const out = [];
+    for (const value of values ?? []) {
+        const trimmed = value.trim();
+        if (!trimmed || seen.has(trimmed))
+            continue;
+        seen.add(trimmed);
+        out.push(trimmed);
+    }
+    return out;
+}
+function parseJsonArray(value) {
+    if (!value)
+        return [];
+    try {
+        const parsed = JSON.parse(value);
+        return Array.isArray(parsed) ? parsed.filter((item) => typeof item === 'string') : [];
+    }
+    catch { /* expected: data source unavailable */
+        return [];
+    }
+}
+function nowSeconds() {
+    return Date.now() / 1000;
+}
+function summarize(value, max = 800) {
+    return value.length > max ? `${value.slice(0, max)}...` : value;
+}
+function isFileTarget(target) {
+    const filePart = target.split('#')[0] || target;
+    return Boolean(extname(filePart)) || filePart.includes('/') || filePart.includes('\\');
+}
+function splitAstTarget(target) {
+    const [file, symbol] = target.split('#');
+    if (symbol)
+        return { file, symbol };
+    return { symbol: target };
+}
+function collectDeclarationSnippets(sourceFile) {
+    const snippets = [];
+    const visit = (node) => {
+        if (ts.isInterfaceDeclaration(node) ||
+            ts.isTypeAliasDeclaration(node) ||
+            ts.isClassDeclaration(node) ||
+            ts.isFunctionDeclaration(node) ||
+            ts.isEnumDeclaration(node)) {
+            snippets.push(summarize(node.getText(sourceFile).replace(/\s+/g, ' '), 240));
+        }
+        ts.forEachChild(node, visit);
+    };
+    ts.forEachChild(sourceFile, visit);
+    return snippets;
+}
+export class AssumptionTracker {
+    db;
+    astEngine;
+    logger;
+    emitter;
+    sessionId;
+    projectRoot;
+    testTimeoutMs;
+    constructor(deps) {
+        this.db = deps.db;
+        this.projectRoot = resolve(deps.projectRoot || process.cwd());
+        this.astEngine = deps.astEngine ?? new AstStructuralEngine({ projectRoot: this.projectRoot });
+        this.logger = deps.logger;
+        this.emitter = deps.emitter;
+        this.sessionId = deps.sessionId;
+        this.testTimeoutMs = deps.testTimeoutMs ?? 30_000;
+    }
+    declare(input) {
+        const title = input.title.trim();
+        const target = input.target.trim();
+        const expected = input.expected.trim();
+        if (!title)
+            throw new Error('assumption title is required');
+        if (!target)
+            throw new Error('assumption verification target is required');
+        if (!expected)
+            throw new Error('assumption expected fact is required');
+        const assumption = {
+            id: randomUUID(),
+            title,
+            content: input.content?.trim() || '',
+            status: 'unverified',
+            verification: {
+                type: input.verificationType,
+                target: this.normalizeTarget(target),
+                expected,
+            },
+            dependents: uniqueStrings(input.dependentTaskIds),
+            createdBy: input.createdBy?.trim() || 'unknown',
+            createdAt: nowSeconds(),
+            sessionId: input.sessionId || this.sessionId,
+        };
+        this.db.getDb().prepare(`INSERT INTO assumptions (
+        id, title, content, status, verification_type, verification_target,
+        verification_expected, verification_actual, dependents, created_by,
+        created_at, verified_at, falsified_at, evidence, session_id
+      ) VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)`).run(assumption.id, assumption.title, assumption.content, assumption.status, assumption.verification.type, assumption.verification.target, assumption.verification.expected, null, JSON.stringify(assumption.dependents), assumption.createdBy, assumption.createdAt, null, null, null, assumption.sessionId ?? null);
+        this.emitter?.emit('assumption:declared', { assumption });
+        return assumption;
+    }
+    async onFilesChanged(changedFiles) {
+        const normalized = new Set(changedFiles.map((file) => this.normalizeTarget(file)));
+        const assumptions = this.getUnverified().filter((assumption) => this.isRelevantToChangedFiles(assumption, normalized));
+        return this.verifyAssumptions(assumptions);
+    }
+    async verifyAll() {
+        return this.verifyAssumptions(this.getUnverified());
+    }
+    getUnverified() {
+        return this.listByStatus('unverified');
+    }
+    getFalsified() {
+        return this.listByStatus('falsified');
+    }
+    getByTask(taskId) {
+        return this.listAll().filter((assumption) => assumption.dependents.includes(taskId));
+    }
+    listByStatus(status) {
+        const rows = this.db.getDb().prepare(`SELECT * FROM assumptions WHERE status = ? AND (? IS NULL OR session_id = ?) ORDER BY created_at ASC`).all(status, this.sessionId ?? null, this.sessionId ?? null);
+        return rows.map((row) => this.mapRow(row));
+    }
+    listAll() {
+        const rows = this.db.getDb().prepare(`SELECT * FROM assumptions WHERE (? IS NULL OR session_id = ?) ORDER BY created_at ASC`).all(this.sessionId ?? null, this.sessionId ?? null);
+        return rows.map((row) => this.mapRow(row));
+    }
+    mapRow(row) {
+        return {
+            id: row.id,
+            title: row.title,
+            content: row.content ?? '',
+            status: row.status,
+            verification: {
+                type: row.verification_type,
+                target: row.verification_target,
+                expected: row.verification_expected,
+                actual: row.verification_actual ?? undefined,
+            },
+            dependents: parseJsonArray(row.dependents),
+            createdBy: row.created_by ?? 'unknown',
+            createdAt: Number(row.created_at),
+            verifiedAt: row.verified_at == null ? undefined : Number(row.verified_at),
+            falsifiedAt: row.falsified_at == null ? undefined : Number(row.falsified_at),
+            evidence: row.evidence ?? undefined,
+            sessionId: row.session_id ?? undefined,
+        };
+    }
+    async verifyAssumptions(assumptions) {
+        const batch = { verified: [], falsified: [] };
+        for (const assumption of assumptions) {
+            try {
+                const outcome = await this.verifyOne(assumption);
+                const timestamp = nowSeconds();
+                const status = outcome.passed ? 'verified' : 'falsified';
+                this.db.getDb().prepare(`UPDATE assumptions SET
+             status = ?,
+             verification_actual = ?,
+             verified_at = ?,
+             falsified_at = ?,
+             evidence = ?
+           WHERE id = ?`).run(status, outcome.actual, outcome.passed ? timestamp : null, outcome.passed ? null : timestamp, outcome.evidence, assumption.id);
+                if (outcome.passed) {
+                    batch.verified.push({ id: assumption.id, evidence: outcome.evidence });
+                    this.emitter?.emit('assumption:verified', { assumptionId: assumption.id, evidence: outcome.evidence });
+                }
+                else {
+                    const falsified = { id: assumption.id, evidence: outcome.evidence, dependents: assumption.dependents };
+                    batch.falsified.push(falsified);
+                    this.emitter?.emit('assumption:falsified', {
+                        assumptionId: assumption.id,
+                        evidence: outcome.evidence,
+                        dependents: assumption.dependents,
+                        assumption,
+                    });
+                }
+            }
+            catch (error) {
+                this.logger?.warn?.(`[AssumptionTracker] verification failed for ${assumption.id}: ${error instanceof Error ? error.message : String(error)}`);
+            }
+        }
+        return batch;
+    }
+    verifyOne(assumption) {
+        switch (assumption.verification.type) {
+            case 'file_content':
+                return this.verifyFileContent(assumption);
+            case 'type_check':
+                return this.verifyTypeCheck(assumption);
+            case 'test_execution':
+                return this.verifyTestExecution(assumption);
+            case 'ast_query':
+                return this.verifyAstQuery(assumption);
+        }
+    }
+    verifyFileContent(assumption) {
+        const file = this.resolveTargetFile(assumption.verification.target);
+        if (!existsSync(file)) {
+            return {
+                passed: false,
+                actual: 'file_missing',
+                evidence: `file_content: ${assumption.verification.target} does not exist`,
+            };
+        }
+        const content = readFileSync(file, 'utf8');
+        const passed = content.includes(assumption.verification.expected);
+        return {
+            passed,
+            actual: passed ? 'expected_text_present' : 'expected_text_absent',
+            evidence: passed
+                ? `file_content: ${assumption.verification.target} contains exact expected text`
+                : `file_content: ${assumption.verification.target} does not contain exact expected text`,
+        };
+    }
+    verifyTypeCheck(assumption) {
+        const file = this.resolveTargetFile(assumption.verification.target);
+        if (!existsSync(file)) {
+            return {
+                passed: false,
+                actual: 'file_missing',
+                evidence: `type_check: ${assumption.verification.target} does not exist`,
+            };
+        }
+        const content = readFileSync(file, 'utf8');
+        const sourceFile = ts.createSourceFile(file, content, ts.ScriptTarget.ES2022, true);
+        const diagnostics = sourceFile.parseDiagnostics ?? [];
+        if (diagnostics.length > 0) {
+            const actual = diagnostics.map((diagnostic) => diagnostic.messageText).join('; ');
+            return {
+                passed: false,
+                actual,
+                evidence: `type_check: parse diagnostics for ${assumption.verification.target}: ${summarize(actual)}`,
+            };
+        }
+        const declarations = collectDeclarationSnippets(sourceFile);
+        const actual = declarations.join('\n');
+        const passed = declarations.some((snippet) => snippet.includes(assumption.verification.expected)) ||
+            content.includes(assumption.verification.expected);
+        return {
+            passed,
+            actual: actual || 'syntax_ok_no_declarations',
+            evidence: passed
+                ? `type_check: ${assumption.verification.target} parsed and matched exact expected declaration/text`
+                : `type_check: ${assumption.verification.target} parsed but no declaration/text matched exact expected value`,
+        };
+    }
+    async verifyTestExecution(assumption) {
+        const runner = new TestRunnerAdapter({ projectRoot: this.projectRoot, timeoutMs: this.testTimeoutMs });
+        const result = await runner.runTests([assumption.verification.target]);
+        const actual = JSON.stringify({
+            passed: result.passed,
+            totalRun: result.totalRun,
+            failedCount: result.failedCount,
+            diagnostics: result.diagnostics,
+            command: [result.command, ...result.args].join(' '),
+        });
+        const passed = result.passed && actual.includes(assumption.verification.expected);
+        return {
+            passed,
+            actual,
+            evidence: passed
+                ? `test_execution: ${assumption.verification.target} passed and output matched expected text`
+                : `test_execution: ${assumption.verification.target} failed or output did not match expected text: ${summarize(actual)}`,
+        };
+    }
+    verifyAstQuery(assumption) {
+        const target = splitAstTarget(assumption.verification.target);
+        const definitions = this.astEngine.findDefinitions(target.symbol, { file: target.file, limit: 20 });
+        const references = this.astEngine.findReferences(target.symbol, { file: target.file, limit: 20 });
+        const actual = JSON.stringify({ definitions, references });
+        const passed = actual.includes(assumption.verification.expected);
+        return {
+            passed,
+            actual,
+            evidence: passed
+                ? `ast_query: ${assumption.verification.target} matched exact expected structural evidence`
+                : `ast_query: ${assumption.verification.target} did not match exact expected structural evidence: ${summarize(actual)}`,
+        };
+    }
+    normalizeTarget(target) {
+        const [file, suffix] = target.split('#');
+        const normalizedFile = isFileTarget(file)
+            ? this.toProjectRelative(file)
+            : file.trim();
+        return suffix ? `${normalizedFile}#${suffix.trim()}` : normalizedFile;
+    }
+    toProjectRelative(file) {
+        const resolved = isAbsolute(file) ? file : resolve(this.projectRoot, file);
+        return relative(this.projectRoot, resolved).replace(/\\/g, '/');
+    }
+    resolveTargetFile(target) {
+        const file = target.split('#')[0] || target;
+        return isAbsolute(file) ? file : join(this.projectRoot, file);
+    }
+    isRelevantToChangedFiles(assumption, changedFiles) {
+        const target = assumption.verification.target.split('#')[0] || assumption.verification.target;
+        if (!isFileTarget(target))
+            return false;
+        const normalizedTarget = this.normalizeTarget(target);
+        for (const changed of changedFiles) {
+            if (changed === normalizedTarget || changed.startsWith(`${normalizedTarget.replace(/\/+$/, '')}/`)) {
+                return true;
+            }
+        }
+        return false;
+    }
+}
+//# sourceMappingURL=AssumptionTracker.js.map

package/dist/core/AssumptionTracker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AssumptionTracker.js","sourceRoot":"","sources":["../../src/core/AssumptionTracker.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzE,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAuE3D,SAAS,aAAa,CAAC,MAAiB;IACtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QAC5C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClB,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,cAAc,CAAC,KAAoB;IAC1C,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACjC,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxG,CAAC;IAAC,MAAM,CAAC,CAAA,uCAAuC;QAC9C,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,UAAU;IACjB,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;AAC3B,CAAC;AAED,SAAS,SAAS,CAAC,KAAa,EAAE,GAAG,GAAG,GAAG;IACzC,OAAO,KAAK,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;AAClE,CAAC;AAED,SAAS,YAAY,CAAC,MAAc;IAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;IAChD,OAAO,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,cAAc,CAAC,MAAc;IACpC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACpC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,0BAA0B,CAAC,UAAyB;IAC3D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC/B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC/B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC3B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/E,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACnC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,OAAO,iBAAiB;IACX,EAAE,CAAkB;IACpB,SAAS,CAAsB;IAC/B,MAAM,CAA2B;IACjC,OAAO,CAAgB;IACvB,SAAS,CAAU;IACnB,WAAW,CAAS;IACpB,aAAa,CAAS;IAEvC,YAAY,IAQX;QACC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QAC9D,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,mBAAmB,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC9F,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC5B,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAChC,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,aAAa,IAAI,MAAM,CAAC;IACpD,CAAC;IAED,OAAO,CAAC,KAA6B;QACnC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACvC,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;QAC3E,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;QAEvE,MAAM,UAAU,GAAe;YAC7B,EAAE,EAAE,UAAU,EAAE;YAChB,KAAK;YACL,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE;YACpC,MAAM,EAAE,YAAY;YACpB,YAAY,EAAE;gBACZ,IAAI,EAAE,KAAK,CAAC,gBAAgB;gBAC5B,MAAM,EAAE,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC;gBACpC,QAAQ;aACT;YACD,UAAU,EAAE,aAAa,CAAC,KAAK,CAAC,gBAAgB,CAAC;YACjD,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,SAAS;YAC/C,SAAS,EAAE,UAAU,EAAE;YACvB,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS;SAC7C,CAAC;QAEF,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,OAAO,CACrB;;;;6DAIuD,CACxD,CAAC,GAAG,CACH,UAAU,CAAC,EAAE,EACb,UAAU,CAAC,KAAK,EAChB,UAAU,CAAC,OAAO,EAClB,UAAU,CAAC,MAAM,EACjB,UAAU,CAAC,YAAY,CAAC,IAAI,EAC5B,UAAU,CAAC,YAAY,CAAC,MAAM,EAC9B,UAAU,CAAC,YAAY,CAAC,QAAQ,EAChC,IAAI,EACJ,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,EACrC,UAAU,CAAC,SAAS,EACpB,UAAU,CAAC,SAAS,EACpB,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,UAAU,CAAC,SAAS,IAAI,IAAI,CAC7B,CAAC;QACF,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,qBAAqB,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;QAC1D,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,YAAsB;QACzC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnF,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC,wBAAwB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;QACvH,OAAO,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAC7C,CAAC;IAED,KAAK,CAAC,SAAS;QACb,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;IACtD,CAAC;IAED,aAAa;QACX,OAAO,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;IACzC,CAAC;IAED,YAAY;QACV,OAAO,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC;IAED,SAAS,CAAC,MAAc;QACtB,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACvF,CAAC;IAEO,YAAY,CAAC,MAAwB;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,OAAO,CAClC,sGAAsG,CACvG,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI,CAA+B,CAAC;QAC5F,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC;IAEO,OAAO;QACb,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,OAAO,CAClC,uFAAuF,CACxF,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI,CAA+B,CAAC;QACpF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC;IAEO,MAAM,CAAC,GAAkB;QAC/B,OAAO;YACL,EAAE,EAAE,GAAG,CAAC,EAAE;YACV,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE;YAC1B,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,YAAY,EAAE;gBACZ,IAAI,EAAE,GAAG,CAAC,iBAAiB;gBAC3B,MAAM,EAAE,GAAG,CAAC,mBAAmB;gBAC/B,QAAQ,EAAE,GAAG,CAAC,qBAAqB;gBACnC,MAAM,EAAE,GAAG,CAAC,mBAAmB,IAAI,SAAS;aAC7C;YACD,UAAU,EAAE,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC;YAC1C,SAAS,EAAE,GAAG,CAAC,UAAU,IAAI,SAAS;YACtC,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;YACjC,UAAU,EAAE,GAAG,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC;YACzE,WAAW,EAAE,GAAG,CAAC,YAAY,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC;YAC5E,QAAQ,EAAE,GAAG,CAAC,QAAQ,IAAI,SAAS;YACnC,SAAS,EAAE,GAAG,CAAC,UAAU,IAAI,SAAS;SACvC,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,iBAAiB,CAAC,WAAyB;QACvD,MAAM,KAAK,GAAsB,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;QACjE,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACrC,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;gBACjD,MAAM,SAAS,GAAG,UAAU,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAqB,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;gBAC3E,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,OAAO,CACrB;;;;;;wBAMc,CACf,CAAC,GAAG,CACH,MAAM,EACN,OAAO,CAAC,MAAM,EACd,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EACjC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,EACjC,OAAO,CAAC,QAAQ,EAChB,UAAU,CAAC,EAAE,CACd,CAAC;gBACF,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;oBACnB,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;oBACvE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,qBAAqB,EAAE,EAAE,YAAY,EAAE,UAAU,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;gBACzG,CAAC;qBAAM,CAAC;oBACN,MAAM,SAAS,GAAG,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC;oBACvG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBAChC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,sBAAsB,EAAE;wBACzC,YAAY,EAAE,UAAU,CAAC,EAAE;wBAC3B,QAAQ,EAAE,OAAO,CAAC,QAAQ;wBAC1B,UAAU,EAAE,UAAU,CAAC,UAAU;wBACjC,UAAU;qBACX,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,+CAA+C,UAAU,CAAC,EAAE,KAAK,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACjJ,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,SAAS,CAAC,UAAsB;QACtC,QAAQ,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;YACrC,KAAK,cAAc;gBACjB,OAAO,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;YAC5C,KAAK,YAAY;gBACf,OAAO,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;YAC1C,KAAK,gBAAgB;gBACnB,OAAO,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;YAC9C,KAAK,WAAW;gBACd,OAAO,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAEO,iBAAiB,CAAC,UAAsB;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QACpE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,OAAO;gBACL,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,cAAc;gBACtB,QAAQ,EAAE,iBAAiB,UAAU,CAAC,YAAY,CAAC,MAAM,iBAAiB;aAC3E,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAClE,OAAO;YACL,MAAM;YACN,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,sBAAsB;YACjE,QAAQ,EAAE,MAAM;gBACd,CAAC,CAAC,iBAAiB,UAAU,CAAC,YAAY,CAAC,MAAM,+BAA+B;gBAChF,CAAC,CAAC,iBAAiB,UAAU,CAAC,YAAY,CAAC,MAAM,uCAAuC;SAC3F,CAAC;IACJ,CAAC;IAEO,eAAe,CAAC,UAAsB;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QACpE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,OAAO;gBACL,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,cAAc;gBACtB,QAAQ,EAAE,eAAe,UAAU,CAAC,YAAY,CAAC,MAAM,iBAAiB;aACzE,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC3C,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACpF,MAAM,WAAW,GAAI,UAA8D,CAAC,gBAAgB,IAAI,EAAE,CAAC;QAC3G,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,UAAyB,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjG,OAAO;gBACL,MAAM,EAAE,KAAK;gBACb,MAAM;gBACN,QAAQ,EAAE,qCAAqC,UAAU,CAAC,YAAY,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,CAAC,EAAE;aACtG,CAAC;QACJ,CAAC;QACD,MAAM,YAAY,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC/F,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QACrD,OAAO;YACL,MAAM;YACN,MAAM,EAAE,MAAM,IAAI,2BAA2B;YAC7C,QAAQ,EAAE,MAAM;gBACd,CAAC,CAAC,eAAe,UAAU,CAAC,YAAY,CAAC,MAAM,qDAAqD;gBACpG,CAAC,CAAC,eAAe,UAAU,CAAC,YAAY,CAAC,MAAM,8DAA8D;SAChH,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,mBAAmB,CAAC,UAAsB;QACtD,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;QACvG,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;QACvE,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC;YAC5B,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,OAAO,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAClF,OAAO;YACL,MAAM;YACN,MAAM;YACN,QAAQ,EAAE,MAAM;gBACd,CAAC,CAAC,mBAAmB,UAAU,CAAC,YAAY,CAAC,MAAM,0CAA0C;gBAC7F,CAAC,CAAC,mBAAmB,UAAU,CAAC,YAAY,CAAC,MAAM,kDAAkD,SAAS,CAAC,MAAM,CAAC,EAAE;SAC3H,CAAC;IACJ,CAAC;IAEO,cAAc,CAAC,UAAsB;QAC3C,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAC9D,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACpG,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAClG,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QACjE,OAAO;YACL,MAAM;YACN,MAAM;YACN,QAAQ,EAAE,MAAM;gBACd,CAAC,CAAC,cAAc,UAAU,CAAC,YAAY,CAAC,MAAM,6CAA6C;gBAC3F,CAAC,CAAC,cAAc,UAAU,CAAC,YAAY,CAAC,MAAM,sDAAsD,SAAS,CAAC,MAAM,CAAC,EAAE;SAC1H,CAAC;IACJ,CAAC;IAEO,eAAe,CAAC,MAAc;QACpC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,cAAc,GAAG,YAAY,CAAC,IAAI,CAAC;YACvC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC9B,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,cAAc,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC;IACxE,CAAC;IAEO,iBAAiB,CAAC,IAAY;QACpC,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAC3E,OAAO,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAClE,CAAC;IAEO,iBAAiB,CAAC,MAAc;QACtC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;QAC5C,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAChE,CAAC;IAEO,wBAAwB,CAAC,UAAsB,EAAE,YAAyB;QAChF,MAAM,MAAM,GAAG,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC;QAC9F,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QACxC,MAAM,gBAAgB,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;QACtD,KAAK,MAAM,OAAO,IAAI,YAAY,EAAE,CAAC;YACnC,IAAI,OAAO,KAAK,gBAAgB,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnG,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;CACF"}