
Deterministic GOÄ invoice audit, no LLM in the verdict
Azmoth audits German private medical invoices (PADnext, GOÄ) with formal logic, not a language model. Every finding cites the paragraph and the GOÄ wording. Same input, same result, with a hash receipt. Free pilot, synthetic data only.
Pace needs two or more snapshots. This launch has 1, so velocity and momentum read as unmeasured rather than zero.
A source that found nothing is a measurement. A source that has not run is a gap. Neither means the launch lacks the thing.