{"id":"exact-arithmetic-prevents-all-precision-errors","text":"The combination of stdlib-delegated exact data structures (Counter for exact frequencies, set for exact membership) and construction-based exact arithmetic (isqrt, integer division, sentinel initialization) should prevent all precision-related errors across the repo.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["stdlib-reinforces-exactness","correctness-by-construction-not-validation"],"outlist":["tax-float-division-imprecision"],"label":"exactness at both the stdlib and arithmetic layers should be comprehensive, but the tax computation uses float division — a known breach of the exact-arithmetic convention"}],"dependents":[],"metadata":{"_retracted":true},"created_at":"","updated_at":"2026-06-17T15:31:56+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T15:31:56+00:00","explanation":{"steps":[{"node":"exact-arithmetic-prevents-all-precision-errors","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":[],"label":"exactness at both the stdlib and arithmetic layers should be comprehensive, but the tax computation uses float division — a known breach of the exact-arithmetic convention","violated_outlist":["tax-float-division-imprecision"]}]}}