RAGE #172: add Android Trealla JNI bridge boundary #304

Open
nsaspy wants to merge 0 commits from rage/android-172-jni-bridge into master
Owner

Consumes the next bounded #172 slice from exact master 89e6fbc6f17df0a86083b5e66dd1496c89555daf after #283 landed the Trealla lifecycle contract.

Android-only scope:

  • concrete NativeTreallaBridge implementation of the existing TreallaBridge contract;
  • pinned zara_trealla native library loader, isolated behind an injectable JVM-testable boundary;
  • TreallaNativeApi JNI surface for init/evaluate/shutdown only;
  • fail-closed library-load/native-init/evaluation behavior;
  • preserves native semantic terms for the existing normalized comparator; no second parser/runtime authority.

TDD history:

  • RED 44427e416ce1613e8774ee42a059389f3191511d
  • GREEN b26fc07dc3b06c50c08fb14efce988092e938c48
  • evidence head bb82778cca98de8eb2c4d1220a64900b80bd7f77

This does not claim native Trealla fixture parity yet. The C/NDK implementation remains the next #172 slice. Keep draft until this exact head passes Android, repository/Nix, and mic gates.

Consumes the next bounded #172 slice from exact master `89e6fbc6f17df0a86083b5e66dd1496c89555daf` after #283 landed the Trealla lifecycle contract. Android-only scope: - concrete `NativeTreallaBridge` implementation of the existing `TreallaBridge` contract; - pinned `zara_trealla` native library loader, isolated behind an injectable JVM-testable boundary; - `TreallaNativeApi` JNI surface for init/evaluate/shutdown only; - fail-closed library-load/native-init/evaluation behavior; - preserves native semantic terms for the existing normalized comparator; no second parser/runtime authority. TDD history: - RED `44427e416ce1613e8774ee42a059389f3191511d` - GREEN `b26fc07dc3b06c50c08fb14efce988092e938c48` - evidence head `bb82778cca98de8eb2c4d1220a64900b80bd7f77` This does not claim native Trealla fixture parity yet. The C/NDK implementation remains the next #172 slice. Keep draft until this exact head passes Android, repository/Nix, and mic gates.
Some checks failed
CI / test (pull_request) Failing after 5s
CI / android skeleton gate (pull_request) Failing after 4s
CI / shared mic / Arch Linux (pull_request) Failing after 3m11s
CI / shared mic / Ubuntu 24.04 (pull_request) Has been cancelled
This branch is already included in the target branch. There is nothing to merge.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin rage/android-172-jni-bridge:rage/android-172-jni-bridge
git switch rage/android-172-jni-bridge

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 master
git merge --no-ff rage/android-172-jni-bridge
git switch rage/android-172-jni-bridge
git rebase master
git switch master
git merge --ff-only rage/android-172-jni-bridge
git switch rage/android-172-jni-bridge
git rebase master
git switch master
git merge --no-ff rage/android-172-jni-bridge
git switch master
git merge --squash rage/android-172-jni-bridge
git switch master
git merge --ff-only rage/android-172-jni-bridge
git switch master
git merge rage/android-172-jni-bridge
git push origin master
Sign in to join this conversation.
No description provided.