Research paper monitoring

John S. H. Baxter and Pierre Jannin, arXiv preprint, August 10, 2026; not peer-reviewed.

The problem: phase-recognition models can produce statistically plausible but topologically impossible transitions. The contribution quantifies and controls errors through temporal-logic predicates and probabilistic modelling. It could serve as a formal constraint-assurance layer for workflow-aware medical systems. Limitations: simulation only, a single surgical workflow, author-reported, with no independent reproduction or clinical-deployment evidence.