From 21d9295272593ede6dd960d8256ed37ae7913cc0 Mon Sep 17 00:00:00 2001 From: Noah Gardner Date: Sat, 31 Oct 2026 23:57:59 -0400 Subject: [PATCH] docs(laws): an internal law holds behavior in place The header said internal modules carry no promise. A law file is behavior that must not change without review, interface or internal; a law about an internal module holds it in place without making it interface. Co-Authored-By: Claude Opus 5.5 --- LAWS.bend | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/LAWS.bend b/LAWS.bend index 97897ff..e7fe99b 100644 --- a/LAWS.bend +++ b/LAWS.bend @@ -8,7 +8,8 @@ # Every guarantee is about the interface in main.bend: its types, builders, # `parse`, `parse_env`, `check`, `check_reads`, the readers, `help`, # `err_text`, `help_path`, `err_path`, `version_of`, `suggestion`, `argv` and -# `env_vars`. Every module under src/ is internal and carries no promise. +# `env_vars`. Every module under src/ is internal: a law about one holds it in +# place without making it interface. # # A spec is well-formed when `check` reports nothing for it # (laws/CheckReportsSpecErrors.bend). The parse guarantees hold for