kernel: re-vendor Tarver's S41.2 (2026-07-11 refresh)

[pyrex41]

Summary

Re-vendors the KLambda kernel from Mark Tarver's S41.2 (2026-07-11 refresh), replacing the community ShenOSKernel-41.2 this repo previously vendored byte-identically.

This is a port migration, not a drop-in. Upstream reused the "41.2" version number for a restructured kernel of a different lineage — Tarver's own CommonLisp reference kernel, not the porter-oriented ShenOSKernel. Canonical source: pyrex41/shen-s41.1 tag s41.2-pristine-20260711 (commit 11fc51b); byte-identical to shenlanguage.org/Download/S41.2.zip (sha256 51becbfd…53ee836, Last-Modified 2026-07-11). See kernel/klambda/PROVENANCE.md.

Upstream delta (vs community 41.2)

Area	Community ShenOSKernel-41.2	Tarver S41.2 refresh
Init	shen.initialise in init.kl (load-order independent)	No shen.initialise — init forms inline in declarations.kl (globals, arity table, external-symbols) and types.kl (~160 datatype declares); load-order dependent
get/put/unput	dict.kl layer	moved into sys.kl, pure-KL over hash/limit/<-vector/vector-> + shen.change-pointer-value/shen.remove-pointer; no dict layer, no native pointer prims
REPL	shen.repl, shen.toplevel-display-exception	shen.shen/shen.loop; no toplevel-display-exception (loop prints raw error string)
Files	+dict.kl +init.kl +stlib.kl +compiler.kl(shen-cl)	+backend.kl (KL→CL codegen); the other four gone

What this PR does

• Vendors 14 shared modules + backend.kl (provenance only — not booted/compiled to Go). Removes dict.kl, init.kl, stlib.kl, compiler.kl. Community extensions retained; only extension-launcher.kl is booted.
• Boot rework (compiled/script.kl, precompile.kl, bctogo.shen): load modules in upstream install.lsp order (declarations.kl → t-star.kl → types.kl, so the arity table / typechecker exist before types.kl's ~160 declare forms run at load), no shen.initialise call, symbol table now emitted on launcher.go (last file). init.go/dict.go deleted.
• cmd/shen/main.go: regist reordered to the new load order; native hash swapped in after SysMain, before the first dict write (DeclarationsMain/TypesMain build the bucketed *property-vector* inline — populate-time and get-time hash must match); REPL error handler prints the raw string instead of calling the absent shen.toplevel-display-exception.
• cmd/ratatoskr-build: compiler-image boot updated (new order, no shen.initialise, native hash after sys.kl); generated static program binds native hash before kernel chunks (init is inline, so no post-chunk swap that would desync the dict hash) and treats manifest init= as optional.

Test status — green

Check	Result
go build ./cmd/shen ./cmd/kl ./cmd/ratatoskr-build ./codegen ./kl	✅ pass
go test -short ./kl/ ./cmd/shen/	✅ 188 pass
Canonical certification (go test -count=1 ./certification/)	✅ PASS (~11–18s)
REPL / type checker / datatypes / prolog / launcher CLI	✅ verified live
Ratatoskr stage-2 (go) end-to-end	✅ fib + metaeval pass; four-target parity gate (lua/rust/go/js: build / vs-truth / two-boot / two-pass) all ok

Stage-2 was validated against a fresh new-kernel shaken directory produced by the ratatoskr PR #10 branch (commit 8ae561a).

Notes

• Non-launcher extensions (features, expand-dynamic, programmable-pattern-matching) are vendored but not booted and were not re-validated against this kernel (they were written against the community API) — unchanged from before this PR.
• backend.kl is vendored for provenance but intentionally not part of the Go boot/codegen.

🤖 Generated with Claude Code