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

RAGE #172: portable Android Prolog semantic contract #265

Closed
nsaspy wants to merge 5 commits from rage/android-172-portable-prolog-refresh into master
pull from: rage/android-172-portable-prolog-refresh
merge into: nsaspy:master
Conversation 0 Commits 5 Files changed 3 +114
nsaspy commented 2026-09-04 22:44:01 +00:00
Owner
Copy link

Consumes #172 under the repository RAGE protocol.

Replacement for #268 after current master advanced and repository rules required a fresh test check against the updated base. This PR preserves the same Android implementation and adds only a merge commit from current master ed683b454bc15d14ca4fdec329640a1bf1d431d1; no Android code changed during refresh.

Original TDD evidence:

  • RED f60d84531b8e3f5e2cb651f23fbc3d8275066324
  • GREEN implementation b9aeb5cd7412c1dcffe3de4f38402e3399ec2e7a
  • previously green exact candidate b6bd0ad481f175faaa9bcb9b1a3094b4291d46b7
  • refreshed exact head e6bb7cfa55d920125b69b8d9a92e6d47d170352b

Slice remains Android-only: PortableSemanticCore freezes ZARA-SEMANTIC/1, closed portable resource paths, and traversal-safe resource identity. No executable Prolog runtime, credentials, provider authority, or sibling-core Python surfaces are introduced.

Consumes #172 under the repository RAGE protocol. Replacement for #268 after current `master` advanced and repository rules required a fresh `test` check against the updated base. This PR preserves the same Android implementation and adds only a merge commit from current `master` `ed683b454bc15d14ca4fdec329640a1bf1d431d1`; no Android code changed during refresh. Original TDD evidence: - RED `f60d84531b8e3f5e2cb651f23fbc3d8275066324` - GREEN implementation `b9aeb5cd7412c1dcffe3de4f38402e3399ec2e7a` - previously green exact candidate `b6bd0ad481f175faaa9bcb9b1a3094b4291d46b7` - refreshed exact head `e6bb7cfa55d920125b69b8d9a92e6d47d170352b` Slice remains Android-only: `PortableSemanticCore` freezes `ZARA-SEMANTIC/1`, closed portable resource paths, and traversal-safe resource identity. No executable Prolog runtime, credentials, provider authority, or sibling-core Python surfaces are introduced.
docs(rage): record #172 RED and GREEN candidate
Some checks failed
CI / test (pull_request) Failing after 6s
Details
CI / android skeleton gate (pull_request) Failing after 26s
Details
CI / shared mic / Ubuntu 24.04 (pull_request) Failing after 7m56s
Details
CI / shared mic / Arch Linux (pull_request) Failing after 10m15s
Details
b6bd0ad481
Merge current master into RAGE #172 Android portable semantic contract
Some checks failed
CI / test (pull_request) Failing after 7s
Details
CI / android skeleton gate (pull_request) Failing after 6s
Details
CI / shared mic / Arch Linux (pull_request) Failing after 8m56s
Details
CI / shared mic / Ubuntu 24.04 (pull_request) Failing after 8m14s
Details
e6bb7cfa55
nsaspy closed this pull request 2026-09-04 23:09:40 +00:00
Some checks failed
CI / test (pull_request) Failing after 7s
Details
CI / android skeleton gate (pull_request) Failing after 6s
Details
CI / shared mic / Arch Linux (pull_request) Failing after 8m56s
Details
CI / shared mic / Ubuntu 24.04 (pull_request) Failing after 8m14s
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!265
No description provided.