36b - Goals 8 and 9: correct before fast, fast once correct

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
 

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
 

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.