nsaspy/zara
1
0
Fork 0
Code Issues 95 Pull requests 18 Projects Releases Packages Wiki Activity Actions

RAGE #172: prove executable SWI/Trealla semantic parity #248

Closed
nsaspy wants to merge 0 commits from rage/android-172-cross-runtime-parity into master
pull from: rage/android-172-cross-runtime-parity
merge into: nsaspy:master
Conversation 0 Commits - Files changed -
nsaspy commented 2026-09-04 22:43:48 +00:00
Owner
Copy link

Consumes the final executable parity slice of #172 from exact master 9f3b779b876df360001b12d0100698f334beb8b8.

TDD RED is proven at 52e16d5d02cb2d8ba2b4a0074a84bcad4bd04133: Actions run 33643008013 failed the Android skeleton gate as required while both shared-mic jobs passed.

Implementation now adds an Android-owned executable parity gate. It builds the exact Trealla source pinned by the Android Nix shell, stages the same canonical resolver files used by Android, and executes the authoritative kb/semantic_corpus.pl under both server SWI-Prolog and pinned Trealla. Every corpus_case/6 must independently match its expected normalized frames, and the two engines' canonical outputs must be byte-equivalent. No network fetch/fake runtime is permitted.

Scope is Android parity/test wiring + Android dev-shell tooling plus append-only RAGE evidence. No daemon/core/desktop/config files are touched; sibling core work remains disjoint.

Do not merge until scripts/test-android.sh, full repository/Nix/package gates, exact-head Actions, mergeability, and review/thread checks are conclusively green.

Continues #172.

Consumes the final executable parity slice of #172 from exact master `9f3b779b876df360001b12d0100698f334beb8b8`. TDD RED is proven at `52e16d5d02cb2d8ba2b4a0074a84bcad4bd04133`: Actions run `33643008013` failed the Android skeleton gate as required while both shared-mic jobs passed. Implementation now adds an Android-owned executable parity gate. It builds the exact Trealla source pinned by the Android Nix shell, stages the same canonical resolver files used by Android, and executes the authoritative `kb/semantic_corpus.pl` under both server SWI-Prolog and pinned Trealla. Every `corpus_case/6` must independently match its expected normalized frames, and the two engines' canonical outputs must be byte-equivalent. No network fetch/fake runtime is permitted. Scope is Android parity/test wiring + Android dev-shell tooling plus append-only RAGE evidence. No daemon/core/desktop/config files are touched; sibling core work remains disjoint. Do not merge until `scripts/test-android.sh`, full repository/Nix/package gates, exact-head Actions, mergeability, and review/thread checks are conclusively green. Continues #172.
nsaspy closed this pull request 2026-09-04 23:10:14 +00:00
Some checks failed
CI / test (pull_request) Failing after 5s
Details
CI / android skeleton gate (pull_request) Failing after 11s
Details
CI / shared mic / Ubuntu 24.04 (pull_request) Failing after 8m32s
Details
CI / shared mic / Arch Linux (pull_request) Failing after 12m28s
Details

Pull request closed

Please reopen this pull request to perform a merge.
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/zara!248
No description provided.