Skip to content

Commit a55e99b

Browse files
hyperpolymathclaude
andcommitted
docs(adr): renumber block-module ADR 016->017 (main merged a different ADR-016) (Refs #262)
main already has ADR-016 (Effect-Threaded Async-Boundary Detection, #234). ADRs are never renumbered, so the block-module disposition takes the next free id ADR-017. SETTLED-DECISIONS + META.a2ml + RESCRIPT- ELIMINATION updated consistently. Refs #262 #229. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
1 parent 6f4e1db commit a55e99b

3 files changed

Lines changed: 5 additions & 5 deletions

File tree

.machine_readable/6a2/META.a2ml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1018,7 +1018,7 @@ references = [
10181018
]
10191019

10201020
[[adr]]
1021-
id = "ADR-016"
1021+
id = "ADR-017"
10221022
status = "accepted"
10231023
date = "2026-05-19"
10241024
title = "ReScript block-module disposition: one module per file (split, do not nest)"
@@ -1060,7 +1060,7 @@ references = [
10601060
"https://github.com/hyperpolymath/affinescript/issues/262",
10611061
"https://github.com/hyperpolymath/affinescript/issues/229",
10621062
"lib/parser.mly (module_decl; one `module Path;` header per file)",
1063-
"docs/specs/SETTLED-DECISIONS.adoc (ADR-016 section)",
1063+
"docs/specs/SETTLED-DECISIONS.adoc (ADR-017 section)",
10641064
"docs/RESCRIPT-ELIMINATION.adoc (#229 canonical map; Tier-4 INT-02)",
10651065
"META.a2ml [[adr]] ADR-011 (real modules: file = module)",
10661066
"META.a2ml [[adr]] ADR-012 (grammar changes are correctness assertions)",

docs/RESCRIPT-ELIMINATION.adoc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -270,7 +270,7 @@ ReScript `import P [as A]`→`use P [as A];`, single block-module
270270
`module P;` header (hoisted before imports — `parser.mly:130-134`
271271
requires the header first), braces dropped, body dedented one level.
272272
Oracle-verified to parse.
273-
* *ESC-04 (#262) — SETTLED by ADR-016:* AffineScript is strictly
273+
* *ESC-04 (#262) — SETTLED by ADR-017:* AffineScript is strictly
274274
one-module-per-file. Doctrine: *split, do not nest* — each ReScript
275275
`module X { body }` (incl. each of N in a multi-block file like
276276
`standards/lol/.../OpenCyc.affine`) becomes its own `X.affine` with a

docs/specs/SETTLED-DECISIONS.adoc

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -309,7 +309,7 @@ This decision is settled; do not reopen without amending the ADR. Full
309309
ADR in `.machine_readable/6a2/META.a2ml` (ADR-015); ledger INT-03 in
310310
`docs/TECH-DEBT.adoc`; roadmap in `docs/ECOSYSTEM.adoc`.
311311

312-
== ReScript Block-Module Disposition: One Module Per File (ADR-016)
312+
== ReScript Block-Module Disposition: One Module Per File (ADR-017)
313313

314314
ReScript `module Name { … }` block modules have no AffineScript block
315315
form: the grammar (`parser.mly:130-134`) is a single optional
@@ -340,5 +340,5 @@ loader-bridge territory), tracked in `RESCRIPT-ELIMINATION.adoc` Tier-4
340340
and the INT-02 ledger, never conflated with this disposition.
341341

342342
This decision is settled; do not reopen without amending the ADR. Full
343-
ADR in `.machine_readable/6a2/META.a2ml` (ADR-016); #229 canonical map in
343+
ADR in `.machine_readable/6a2/META.a2ml` (ADR-017); #229 canonical map in
344344
`docs/RESCRIPT-ELIMINATION.adoc`; escalation issue #262.

0 commit comments

Comments
 (0)