From d2a3d74030be24d1f1bc948c0784b6e6e65d0f5d Mon Sep 17 00:00:00 2001 From: Lilleman auf Larv Date: Mon, 28 Sep 2026 10:22:08 +0200 Subject: [PATCH] 36b - Goals 8 and 9: correct before fast, fast once correct --- AGENTS.md | 2 -- README.md | 4 ++++ docs/decisions.md | 12 ------------ 3 files changed, 4 insertions(+), 14 deletions(-) diff --git a/AGENTS.md b/AGENTS.md index 7c0b9d0..ae7e0dd 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -35,8 +35,6 @@ In `docs/decisions.md`: - Publish on a version bump - Docs describe the release being built - No schema validation -- No streaming APIs -- No performance budget ## 7. Nothing about any consumer diff --git a/README.md b/README.md index 10b174c..9134497 100644 --- a/README.md +++ b/README.md @@ -49,6 +49,10 @@ In priority order. the emitted formats are. 7. **Nothing in the way.** No runtime dependencies, no I/O, no configuration, no host API: ESM on any ES2022 engine, in a browser as readily as on a server, installed from public npm. +8. **Correct before fast.** A whole document in, a whole result out, one call; no input makes a + call hang or overflow the stack. +9. **Fast once correct.** Conversion time grows linearly with the document wherever the goals above + allow it; a faster path that risks one of them is not taken. ## Audience diff --git a/docs/decisions.md b/docs/decisions.md index 8321bd6..b5c3f33 100644 --- a/docs/decisions.md +++ b/docs/decisions.md @@ -291,15 +291,3 @@ is saved to validates it. No ADF schema validation or exported validator. A refusal that keeps the round-trip is not schema validation, so the one a spelled node carrying the same mark type twice earns stays, and input nesting a spelling inside its own kind (`*(*a*)*`) names that mark once. - -## No streaming APIs - -2026-08-23, the maintainer. Goal 8. Valid while a document fits in memory. - -A call takes a whole document and returns a whole result. - -## No performance budget - -2026-08-23, the maintainer. Goal 8. Valid while no persona needs a speed figure. - -Nothing is tuned past the scanning rule (`AGENTS.md` ยง11), and no figure is promised.