Current diagnosis
Formal assumptions · temporal intervals · evidence-aware diagnosis
Chronology Model Composer
Build a historical reconstruction by declaring proposition states and date intervals. The V15.2 engine reports contradictions, model incompatibilities, tensions, unsupported commitments, and repair options separately—without an arbitrary model score.
Active rules
Findings
Minimal corrections
Repair laboratory
Exact minimal correction sets appear after exact analysis. Applying one changes only the listed commitments.
Selected-domain dependency structure
Dependency graph
The graph shows a bounded subset of the active domain so the view remains readable. Open the full workbench for the complete 296-node project graph.
Preset sensitivity
Model comparison
Each preset is evaluated under its own declared proposition states. Status differences are logical diagnostics, not rankings of historical truth.
| Model | Status | Hard | Model | Tensions | Unsupported | Core premises |
|---|
Transfer
Continue in the formal workbench
Store this composition in the shared consistency-session format, then open the complete conflict, counterfactual, rule-authoring, and knowledge-graph interface.
Reproducibility