Skip to content

Document current backends and guard Map allocation policies - #33

Merged
284km merged 1 commit into
mainfrom
docs/current-codegen-and-map-validation
Nov 7, 2026
Merged

284km merged 1 commit into
mainfrom
docs/current-codegen-and-map-validation

Conversation

@284km

@284km 284km commented Nov 7, 2026 •

Copy link
Copy Markdown
Collaborator

The code-generation guide and tutorial still described implemented LLVM/Wasm backends, collection APIs and builtin factory values as future work. Describe current targets and host requirements, label phase tables as history, and link executable examples. Factory values require concrete return types; the examples and documentation now state that boundary. The Wasm collection command uses the maintained host runner.

Add deterministic C Map capacity checks to the existing region-slack gate. Replacing 3,990 cells of a 4,000-cell list holds 65,024 bytes; restoring the old copy path grows to 134,217,216 bytes and fails the bound. One thousand small compacted maps hold 512,000 bytes; restoring the former 4 KB seed holds 4,096,000 bytes and fails the bound. Both controls must preserve the computed values. The 188-gate inventory is unchanged.

Extend the Map suffix parity fixture with a copied snapshot across compaction and replacement. Document the existing C reclamation boundary: explicit compaction may invalidate uncopied reads held on the running stack; a region result provides a durable immutable copy.

Validation:

  • first_run_check: 2,946 tests, 248 parity programs and 10 README commands passed.
  • Map capacity checks and both old-policy controls pass, including execution through the region-slack gate.
  • Updated Map fixture matches interpreter/C/LLVM/Wasm and passes C ASan/UBSan at -O0 and -O2.
  • Typed Vec/Map factory values and all three tutorial collection examples match on all four backends.
  • Builtin values, tuple captures, returned closure aliases, file reads and environment parity pass on all four backends.
  • Addressed datagram checks pass on C and LLVM. CI configuration self-tests retain 188 gates and pass their routing, result, checkout and setup controls.
  • Edited documentation links and git diff --check pass.

The changes complete documentation and regression coverage for v0.1.711 after PR #32.

Completed CI at d3d6c70c: all 17 jobs and 188 gates passed, with every gate successful exactly once in its assigned group. The Ubuntu runtime log confirms both Map old-policy controls and both C/LLVM datagram probes executed successfully.

Final integration and distribution validation at 783be21c:

  • Main CI passed all 17 jobs and 188 gates. Pages and Release passed as well.
  • Actual downloaded binaries passed publication policy, checksums, runtime compatibility, 143 expected regression outputs, native C/LLVM UDP probes, Map capacity controls, Map snapshot ASan/UBSan, and Clang/GCC 15 compiler checks.
  • All six fresh and v0.1.710-upgrade installer paths passed against public URLs on macOS arm64 and stock Ubuntu 24.04/26.04. Installed bytes match the reviewed assets.

Published as v0.1.711.

@284km
284km merged commit 783be21 into main Nov 7, 2026
17 checks passed
@284km
284km deleted the docs/current-codegen-and-map-validation branch November 7, 2026 05:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant