MedVerse: DAG-Structured Parallel Medical Reasoning

This skill enables Claude to decompose complex medical reasoning problems into directed acyclic graph (DAG) structures based on Petri net theory, rather than forcing all clinical logic through a single sequential chain-of-thought. By identifying independent reasoning branches (e.g., evaluating multiple differential diagnoses, analyzing parallel lab findings, assessing concurrent organ systems), the approach produces structured plans with explicit dependency annotations, executes independent branches in parallel, and merges results at convergence points — yielding more thorough and reliable medical analysis.

When to Use

• When the user asks for a differential diagnosis involving multiple competing hypotheses that share evidence
• When analyzing a complex clinical case with findings spanning multiple organ systems or specialties
• When asked to evaluate medical evidence where multiple independent lines of reasoning converge on a conclusion
• When building a clinical decision support system that must explore parallel diagnostic or treatment paths
• When the user wants structured medical reasoning that makes dependency relationships between clinical facts explicit
• When implementing a medical QA pipeline that needs to decompose multi-step reasoning into parallelizable units
• When reasoning about drug interactions, comorbidities, or multi-system pathology where several independent assessments feed into a unified conclusion

Key Technique

MedVerse models medical reasoning as a Colored Petri Net N = (P, T, F, M₀) where places (P) are clinical entities or reasoning states (e.g., "elevated troponin," "chest pain differential"), transitions (T) are reasoning steps that consume input evidence and produce conclusions, flow arcs (F) encode causal dependencies, and initial markings (M₀) seed the root observations. Each token carries textual history and cache references, enabling efficient memory reuse across branches. The critical insight: clinical reasoning is not inherently linear. A physician simultaneously considers cardiac, pulmonary, and GI causes of chest pain — MedVerse makes this parallelism explicit and structured.

The framework operates in two phases. Phase I (Linear Planning) uses standard autoregressive generation to produce multiple reasoning paths and consolidate them into a <Plan> block with topological dependency annotations. This is essential — ablation studies show that skipping linear planning and jumping directly to DAG execution degrades performance below baseline. Phase II (Frontier-Based Execution) identifies the set of enabled transitions (those whose prerequisites are all satisfied) and processes them concurrently. Fork operations share prefix context across branches; join operations merge completed branches before downstream reasoning continues.