Diagnostic changes
Models · counterfactuals · uncertainty · argument structure
Model, Evidence & Consistency Workbench
One modeling program now combines evidence comparison, chronology composition, counterfactual analysis, and contradiction/consistency testing. Compare reconstructions event by event, ask what changes when an assumption is rejected, and trace the formal propositions behind major conclusions.
Consolidated program
Modeling modules
The composer and formal consistency engine are specialist views within this workbench rather than separate programs.
Primary view
Evidence & Model Comparison
Compare model coordinates, uncertainty, counterfactuals, and argument dependencies.
Internal moduleChronology Model Composer
Build and compare chronology configurations without adding another top-level program.
Internal moduleConsistency & Contradiction Engine
Run formal consistency, contradiction, repair, trace, and sensitivity analysis.
Side-by-side reconstruction
Chronology model comparison
Only chronology-sensitive core events are compared. A difference may concern visibility, date, title, confidence, coordinate role, or interpretation.
What changes if this is wrong?
Counterfactual assumption impact
The formal engine reruns the selected preset after changing one proposition. New contradictions, removed findings, and surviving conclusions remain separate.
Coordinate versus evidence
Historical uncertainty registry
Every core event is assigned a coordinate role. Exact external anchors, representative points, model coordinates, relative sequences, schematic periods, two-option windows, and undated material are not displayed as equivalent.
Claims · dependencies · rules · sources
Formal argument map
Select any formal proposition to inspect its incoming and outgoing relations, model states, governing rules, and cited sources.
Reproducible research exports