Skip to content

R1B Phase 1B: grant-only sacrificial SMAppService connection (non-final, stacked on 1A.1) - #4

Draft
AnubisQuantumCipher wants to merge 2 commits into
r1b/phase1a-smappservice-harnessfrom
r1b/phase1b-sacrificial-observation
Draft

R1B Phase 1B: grant-only sacrificial SMAppService connection (non-final, stacked on 1A.1)#4
AnubisQuantumCipher wants to merge 2 commits into
r1b/phase1a-smappservice-harnessfrom
r1b/phase1b-sacrificial-observation

Conversation

@AnubisQuantumCipher

Copy link
Copy Markdown
Owner

Non-final stacked PR on Phase 1A.1 (r1b/phase1a-smappservice-harness). Connects a sealed PreparedMutationGrant to exactly one SMAppService.register / .unregister call after --commit-mutation. Do not merge.

Boundary

  • Default public probe path still exits 4 (STOP_BEFORE_PRODUCTION_ADAPTER) with ledger 0.
  • Ungranted requestRegister / requestUnregister stay disconnected.
  • Hosted CI does not run scripts/observe-phase1b.sh and must not pass --commit-mutation with a valid authorization.
  • Production self-labels remain com.desktidy.sort and com.desktidy.notify. The observed sacrificial label is not added automatically.
  • Ad-hoc signing is development evidence only.

Local observation (this machine, sacrificial /tmp root)

scripts/observe-phase1b.sh on 4725c51:

  • register: adapter_result=success, status=enabled, exit 0
  • launchctl print gui/501/com.desktidy.sacrificial rc=0; managed_by=com.apple.xpc.ServiceManagement; parent bundle identifier=com.desktidy.sacrificial-probe; state=not running (RunAtLoad false)
  • unregister: adapter_result=success, status=notRegistered, print rc=113
  • personal movers still print rc=0

Login Items visual string, FDA/TCC, reboot/login, and Apple distribution remain unknown.

Gates

--self-test 17/17; --r0-test 31/31; --state-test 63/63; --phase1a-test 64/64; --phase1a1-test 24/24; --phase1b-test 10/10; public-boundary 32/32.

A→B→A: docs/evidence/R1B_PHASE1B_ABA_COMMIT_MUTATION_GATE.md.

Out of scope

Merge, tag, release, notarize, Homebrew, production self-label widening, live Desktop, personal-mover mutation, Login Items UI, FDA grant.

Stacked on Phase 1A.1. Default public probe still stops at exit 4.
--commit-mutation is the second factor that may invoke exactly one
granted SMAppService.register or unregister. Ungranted overloads
stay disconnected. Hosted CI does not run the observation.

Production self-labels are unchanged. Ad-hoc signing remains
development evidence. No merge.
@coderabbitai

coderabbitai Bot commented Aug 14, 2026

Copy link
Copy Markdown

Important

Review skipped

Draft detected.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro Plus

Run ID: 486da7df-afb9-4d61-bb21-048a10aaac51

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

  • 🔍 Trigger review

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.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

Record the local SMAppService register/unregister on a /tmp
root. Observed label com.desktidy.sacrificial. Production
self-labels unchanged. Login Items/FDA/reboot not observed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant