Finish Star-Lang Common Lisp implementation hardening #47

New issue

Open

opened 2026-07-27 02:49:29 +00:00 by lost-rob0t · 0 comments

lost-rob0t commented

2026-07-27 02:49:29 +00:00

(Migrated from github.com)

Work

Make exact source spans first-class on every parsed node and semantic error. Delivered by lost-rob0t/star-lang PR #11.
Preserve complete import-origin chains through resolution and lowering. Delivered by lost-rob0t/star-lang PR #11 source-preserving compiler foundation.
Split the implementation into explicit ASDF systems and package boundaries.
Replace shell-backed digest and URL retrieval with injected Common Lisp ports. Phase 1 effect seam delivered by lost-rob0t/star-lang PR #19; current shell curl/sha256sum implementations are now compatibility adapters behind injected resolver effects. Native Common Lisp adapters and shell removal remain Phase 2. Research/design: Auto Research PR #110 (STAR-LANG-RESEARCH-016, STAR-LANG-005).
Add one top-level Common Lisp test runner. Delivered by lost-rob0t/star-lang PR #3; asdf:test-system :starlang-prototype is the transitional authoritative entry point.
Freeze byte-identical canonical-manifest fixtures and hashes. Delivered by lost-rob0t/star-lang PR #16 with byte comparisons and SHA-256 verification green in CI/Nix.
Verify direct and cl-gserver execution produce equivalent lifecycle traces.
Add end-to-end compile, execute, replay, publication-recovery, and restart-recovery tests.
Extract stable implementation packages from the research repository after boundaries stabilize.

Additional conformance landed since this issue was opened

lost-rob0t/star-lang PR #14: canonical star://domain:address:actor-name service identity, runtime-directory discovery, and deterministic/runtime dispatch integration from approved STAR-LANG-004.
lost-rob0t/star-lang PR #15: exact sha256:<64 hex digits> lock validation across retained compiler/spec-domain compatibility paths, with CI and Nix green.
lost-rob0t/star-lang PR #16: frozen FEC/BBP canonical manifest bytes and SHA-256 compatibility gates, with CI and Nix green.
lost-rob0t/star-lang PR #19: injected resolver digest/fetch effect protocol, fake-port regression coverage, and transitional shell adapters, with CI and Nix green.

Completion gate

The implementation tracker may move from IMPLEMENTING to APPROVED only when the acceptance ledger is complete and the Star-Lang Common Lisp workflow validates the final package layout.

PR #43 approves Common Lisp as the sole Star-Lang implementation language and freezes the architecture direction. This issue tracks implementation work that remains incomplete and must not be represented as finished by the decision PR. ## Work - [x] Make exact source spans first-class on every parsed node and semantic error. Delivered by `lost-rob0t/star-lang` PR #11. - [x] Preserve complete import-origin chains through resolution and lowering. Delivered by `lost-rob0t/star-lang` PR #11 source-preserving compiler foundation. - [ ] Split the implementation into explicit ASDF systems and package boundaries. - [ ] Replace shell-backed digest and URL retrieval with injected Common Lisp ports. Phase 1 effect seam delivered by `lost-rob0t/star-lang` PR #19; current shell `curl`/`sha256sum` implementations are now compatibility adapters behind injected resolver effects. Native Common Lisp adapters and shell removal remain Phase 2. Research/design: Auto Research PR #110 (`STAR-LANG-RESEARCH-016`, `STAR-LANG-005`). - [x] Add one top-level Common Lisp test runner. Delivered by `lost-rob0t/star-lang` PR #3; `asdf:test-system :starlang-prototype` is the transitional authoritative entry point. - [x] Freeze byte-identical canonical-manifest fixtures and hashes. Delivered by `lost-rob0t/star-lang` PR #16 with byte comparisons and SHA-256 verification green in CI/Nix. - [ ] Verify direct and cl-gserver execution produce equivalent lifecycle traces. - [ ] Add end-to-end compile, execute, replay, publication-recovery, and restart-recovery tests. - [ ] Extract stable implementation packages from the research repository after boundaries stabilize. ## Additional conformance landed since this issue was opened - `lost-rob0t/star-lang` PR #14: canonical `star://domain:address:actor-name` service identity, runtime-directory discovery, and deterministic/runtime dispatch integration from approved `STAR-LANG-004`. - `lost-rob0t/star-lang` PR #15: exact `sha256:<64 hex digits>` lock validation across retained compiler/spec-domain compatibility paths, with CI and Nix green. - `lost-rob0t/star-lang` PR #16: frozen FEC/BBP canonical manifest bytes and SHA-256 compatibility gates, with CI and Nix green. - `lost-rob0t/star-lang` PR #19: injected resolver digest/fetch effect protocol, fake-port regression coverage, and transitional shell adapters, with CI and Nix green. ## Completion gate The implementation tracker may move from `IMPLEMENTING` to `APPROVED` only when the acceptance ledger is complete and the Star-Lang Common Lisp workflow validates the final package layout.