KRASSTAX
SAFETY
WHEN EVIDENCE CONFLICTS, LUCY DOES NOT GUESS.
The engine checks explicit evidence, reconciles arithmetic and chooses a safe outcome.
EXPLICIT EVIDENCE BEATS NAIVE FALLBACK.
INVOICE SNIPPET
7% VAT
NET 171.35 VAT 11.99 GROSS 183.34
19% VAT
NET 13.90 VAT 2.64 GROSS 16.54
TOTAL VAT
14.63
Explicit VAT summary detected
DETECT EXPLICIT VAT EVIDENCE
Find line items and explicit totals.
RECONCILE NET + VAT = GROSS
Verify arithmetic at line and total levels.
SUPPRESS UNSAFE GROSS FALLBACK
Do not infer gross when evidence conflicts.
SELECT SAFE OUTCOME
Produce only what is supported by explicit evidence.
SAFE OUTCOME
TRUSTED SPLIT VAT FACTS
• 7% line • 19% line • Total VAT • Audit trail
NEEDS REVIEW
• Evidence incomplete • Conflict preserved • No silent guess
Safe by design: explicit evidence beats naive fallback.
What this enables
DETERMINISTIC
Arithmetic and rules are checked.
EXPLAINABLE
Every outcome can be traced back.
REVIEWABLE
Ambiguity becomes a task, not a hidden error.
TRUSTED
Good evidence produces good facts.
View original artwork
