nsaspy/star-lang
1
0
Fork 0
Code Issues 15 Pull requests 6 Projects Releases Packages Wiki Activity Actions

IPX: add lossless StarLang actor pipeline foundation #60

Open
nsaspy wants to merge 7 commits from ipx/actor-system-foundation into main
pull from: ipx/actor-system-foundation
merge into: nsaspy:main
Conversation 0 Commits 7 Files changed 7 +567 -1
nsaspy commented 2026-09-04 21:14:56 +00:00
Owner
Copy link

Starts the IPX passive HTTP evidence actor system on the final StarLang runtime.

Adds final star-ipx with a real ingress -> correlator -> projection topology. Semantic hops use starlang-runtime mailboxes/ASK. Replay is idempotent: the correlator records an exchange only after projection commits.

Capture fidelity stays lossless: canonical HTTP bytes remain in operation-scoped capture custody, while actors carry immutable byte-range evidence references for query/header/body regions. This slice adds no redaction, sanitization, truncation, or canonical evidence mutation. Tests prove those references survive routing unchanged and exercise real actor invocation counts and operation filtering.

Rules-engine status: IPX actor topology is not blocked, but real inference is. Current main has final star-logic-protocol + star-logic-ir, but the final tree has only star-logic-testing's fake backend; no final SWI-Prolog, LISA, or N-Prolog adapter is present. Default protocol methods raise unsupported-logic-operation-error. This PR therefore does not fake an IPX rule evaluator. Related work: #40, #42, #45.

GREEN on exact head b7b77a9cc4bbbc2dbc245a0377ed6412640f1e25:

  • star-lang CI success, including explicit asdf:test-system :star-ipx in the real SBCL actor test step;
  • star-lang Nix success;
  • star-lang logic IR success;
  • star-lang verification certificate success.
Starts the IPX passive HTTP evidence actor system on the final StarLang runtime. Adds final `star-ipx` with a real `ingress -> correlator -> projection` topology. Semantic hops use `starlang-runtime` mailboxes/ASK. Replay is idempotent: the correlator records an exchange only after projection commits. Capture fidelity stays lossless: canonical HTTP bytes remain in operation-scoped capture custody, while actors carry immutable byte-range evidence references for query/header/body regions. This slice adds no redaction, sanitization, truncation, or canonical evidence mutation. Tests prove those references survive routing unchanged and exercise real actor invocation counts and operation filtering. Rules-engine status: IPX actor topology is not blocked, but real inference is. Current `main` has final `star-logic-protocol` + `star-logic-ir`, but the final tree has only `star-logic-testing`'s fake backend; no final SWI-Prolog, LISA, or N-Prolog adapter is present. Default protocol methods raise `unsupported-logic-operation-error`. This PR therefore does not fake an IPX rule evaluator. Related work: #40, #42, #45. GREEN on exact head `b7b77a9cc4bbbc2dbc245a0377ed6412640f1e25`: - `star-lang CI` success, including explicit `asdf:test-system :star-ipx` in the real SBCL actor test step; - `star-lang Nix` success; - `star-lang logic IR` success; - `star-lang verification certificate` success.
Run star-ipx actor tests in CI
Some checks failed
star-lang Nix / Nix flake check (pull_request) Failing after 4s
Details
star-lang CI / SBCL ASDF contract (pull_request) Failing after 3m3s
Details
star-lang logic IR / Engine-free logic IR contract (pull_request) Failing after 3m7s
Details
star-lang verification certificate / Verification certificate contract (pull_request) Successful in 1m15s
Details
b7b77a9cc4
Some checks failed
star-lang Nix / Nix flake check (pull_request) Failing after 4s
Details
star-lang CI / SBCL ASDF contract (pull_request) Failing after 3m3s
Details
star-lang logic IR / Engine-free logic IR contract (pull_request) Failing after 3m7s
Details
star-lang verification certificate / Verification certificate contract (pull_request) Successful in 1m15s
Details
This pull request has changes conflicting with the target branch.
  • .github/workflows/ci.yml
View command line instructions

Manual merge helper

Use this merge commit message when completing the merge manually.

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin ipx/actor-system-foundation:ipx/actor-system-foundation
git switch ipx/actor-system-foundation

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main
git merge --no-ff ipx/actor-system-foundation
git switch ipx/actor-system-foundation
git rebase main
git switch main
git merge --ff-only ipx/actor-system-foundation
git switch ipx/actor-system-foundation
git rebase main
git switch main
git merge --no-ff ipx/actor-system-foundation
git switch main
git merge --squash ipx/actor-system-foundation
git switch main
git merge --ff-only ipx/actor-system-foundation
git switch main
git merge ipx/actor-system-foundation
git push origin main
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
bug
Something isn't working

  
documentation
Improvements or additions to documentation

  
duplicate
This issue or pull request already exists

  
enhancement
New feature or request

  
good first issue
Good for newcomers

  
help wanted
Extra attention is needed

  
invalid
This doesn't seem right

  
question
Further information is requested

  
wontfix
This will not be worked on

No labels
bug
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
wontfix
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
nsaspy/star-lang!60
No description provided.