docs: add convention.md placeholder

FBumann · claude · FBumann · commit 1e336a4435d6 · 2026-05-21T14:21:32.000+02:00
Placeholder for the v1 convention document, to be written. Goals are in arithmetics-design/goals.md; the bug catalogue is the meta issue #714. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
diff --git a/arithmetics-design/convention.md b/arithmetics-design/convention.md
@@ -0,0 +1,3 @@
+# The v1 arithmetic convention
+
+_To be written — see [`goals.md`](goals.md)._

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+# The v1 arithmetic convention`
	`2`	`+`
	`3`	+_To be written — see [`goals.md`](goals.md)._