Deterministic Workflow Auditing via Dependency–State Coupled Verification and Explainable Conflict Tracing
: Complex procedural workflows in maintenance and parametric design often fail due to violated long-range dependencies, unsatisfied preconditions, and inconsistent parameter bindings. In such workflows, an early structural deviation may propagate silently and eventually induce global failure. Existing workflow auditing...