Finding the Missing Control: Reproducible Discovery of Internal-Control Gaps by Cross-Process Analogy
We report a narrow, strongly-verified result: a governed semantic engine that discovers a missing internal control in a family of business processes by cross-process analogy — reproducibly, with a machine-checked repair, and without a single model call. The engine, SEMPL, represents each process as a small list of type...