R1B Phase 1A.1: production interlock evidence seal (non-final, stacked on Phase 0) - #3
Draft
AnubisQuantumCipher wants to merge 3 commits into
Draft
Conversation
added 2 commits
August 14, 2026 11:06
Stacked on Phase 0. Fake-substrate only. No real SMAppService registration. No live migration. Apple public distribution membership unresolved. Pure state machine, fake adapter, multi-factor interlock parser, and simulated transaction matrix.
Stacked on Phase 0. Fake-substrate only. No real SMAppService registration. No live migration. Apple public distribution membership unresolved. Adds the non-production probe bundle, operator runbook, wiring poison control, CI phase1a job, and A→B→A transcript for the second pre-call migration guard.
|
Important Review skippedDraft detected. Please check the settings in the CodeRabbit UI or the ⚙️ Run configurationConfiguration used: defaults Review profile: CHILL Plan: Pro Plus Run ID: You can disable this status message by setting the Use the checkbox below for a quick retry:
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
Stacked on Phase 0. Still no real SMAppService registration. Hermes showed the Phase 1A probe accepted placeholder identity and assumed foreignOverlap/usedNonces. This seals measurement and grant preparation only. The probe hashes the running executable, embeds the 40-hex build commit, opens the authorization file once, observes root/authority twice, reserves a durable O_CREAT|O_EXCL nonce, and stops before constructing ProductionSMAdapter. Phase 1B still needs a reviewed connection patch plus architect auth.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Non-final stacked PR on Phase 0 (
r1b/phase0-unified-truth). Fake-substrate plus measured grant preparation only. No realSMAppService.register/.unregister. No live migration. Apple public distribution membership unresolved. Do not merge.Hermes counterfinding (why 1A.1 exists)
Hermes independently reproduced the Phase 1A 17/31/63/64 gates, probe build, draft PR identity, and hosted macOS 14/15 CI. The public probe then reached
permitusing:usedNonces: [];foreignOverlap: false;sacrificialExists: true.The Phase 1A fake harness is real. The claim “ready for Phase 1B after authorization alone” is not.
What 1A.1 seals
scripts/build-probe.shrefuses a dirty tree unless--identity-commitis injected for a hermetic test).lstat+ regular file + owner + mode ≤ 0600 + 4096-byte cap +O_RDONLY|O_NOFOLLOW). Bytes are never re-read by path.O_CREAT|O_EXCLnonce under the authorized sacrificial support root. Replay and concurrent duplicates refuse. A→B→A:docs/evidence/R1B_PHASE1A1_ABA_NONCE_EXCLUSIVITY.md.PreparedMutationGrantplus append-only pre-call record. The public probe printsGRANT_PREPARED/STOP_BEFORE_PRODUCTION_ADAPTERand exits 4. Construction/call ledger is zero. Production adapter methods return fail-closed and do not callSMAppService.register.docs/evidence/R1B_PHASE1A_ABA_SECOND_PRECALL.md(S11/S12).Gates
--self-test17/17;--r0-test31/31;--state-test63/63;--phase1a-test64/64;--phase1a1-test24/24; public-boundary 30/30.Out of scope / still required for Phase 1B
A reviewed minimal patch connecting the sealed grant to exactly one production adapter call, plus separate architect authorization. Token creation must use the measured probe executable hash and the compiled final source commit. Runtime label, Login Items string, status semantics, FDA/TCC, reboot/login, and Apple distribution remain unknown.
No launchctl mutation, Login Items, FDA, live Desktop movement, personal-mover mutation, merge, tag, release, notarize, or Homebrew.