From e68d927e5ad92f49b4557143cecdcfe486ac4746 Mon Sep 17 00:00:00 2001 From: Brummel Date: Sun, 10 May 2026 13:10:45 +0200 Subject: [PATCH] design-md-consolidation 4.4 fixup: drop 'Sharpened later the same day' temporal anchor + supplementary 'see closure conversion in JOURNAL' pointer --- docs/DESIGN.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/docs/DESIGN.md b/docs/DESIGN.md index d07d461..663b742 100644 --- a/docs/DESIGN.md +++ b/docs/DESIGN.md @@ -783,8 +783,8 @@ is too. **The GC bench (`bench/run.sh`) showed Boehm contributing a substantial fraction of runtime on allocation-heavy workloads -that hold the heap fully live (bench notes in JOURNAL). Sharpened later the same day: the -mainstream "RC + inference" position was extended with mandatory +that hold the heap fully live (bench notes in JOURNAL). The +mainstream "RC + inference" position is extended with mandatory LLM-author mode annotations (`borrow` / `own`), explicit `clone`, first-class `reuse-as`, and `drop-iterative` data attrs.** @@ -1829,8 +1829,7 @@ contract is what makes growing the schema cheap. In the MVP, `do` is only a direct call to a built-in effect op (no handler). A `lam` term constructs an anonymous function value; free -variables of its body are captured from the enclosing scope (see -closure conversion in JOURNAL). +variables of its body are captured from the enclosing scope. **`Literal`**: