From 2c2cbbb6337525529f6c09194b404f901a588c0b Mon Sep 17 00:00:00 2001 From: Lilleman auf Larv Date: Thu, 8 Oct 2026 12:01:48 +0200 Subject: [PATCH] Record goal 6.1's reading in the typed-calc decision --- docs/decisions.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/decisions.md b/docs/decisions.md index 3cdcdd1..cbb7f73 100644 --- a/docs/decisions.md +++ b/docs/decisions.md @@ -386,7 +386,8 @@ over the one it reads: the one way to type a column someone else wrote. ## A typed column's calc is refused unless proven -2026-09-15, Lilleman auf Larv. +2026-09-15, Lilleman auf Larv. Serves goal 6.1, read as: a template fails to load where +the loader cannot prove it renders no forbidden value. Operand bounds must keep each divisor from zero and the result finite; what they cannot show is refused rather than trusted, since a bare `NaN` breaks the JSON and SQL it lands