Skip to content

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

Draft
AnubisQuantumCipher wants to merge 4 commits into
r1b/phase1a-smappservice-harnessfrom
r2/full-local-native-completion
Draft

R1B Phase 1B: grant-only SMAppService connection (non-final, stacked on Phase 1A.1)#5
AnubisQuantumCipher wants to merge 4 commits into
r1b/phase1a-smappservice-harnessfrom
r2/full-local-native-completion

Conversation

@AnubisQuantumCipher

Copy link
Copy Markdown
Owner

Non-final stacked completion PR on Phase 1A.1 (r1b/phase1a-smappservice-harness @ d259b2b971b83ce89e34426af791422adea8e472).

This first checkpoint connects a sealed PreparedMutationGrant to exactly one sacrificial adapter call through SacrificialMutationDispatcher. Default probe path still stops before production mutation (GRANT_PREPARED / STOP_BEFORE_PRODUCTION_ADAPTER, exit 4) unless --commit-mutation is supplied after grant preparation.

Automated/hosted tests use FakeSMAdapter only. Hosted CI and the public-boundary suite must not pass --commit-mutation with a valid authorization. No live Desktop, personal-mover, Login Items, FDA, merge, tag, notarize, or Homebrew.

Gates (local, this commit)

  • --self-test 17/17
  • --r0-test 31/31
  • --state-test 63/63
  • --phase1a-test 64/64
  • --phase1a1-test 24/24
  • --phase1b-test 25/25
  • wiring poison + unsealed-call poison
  • Phase 1A.1 public-boundary 30/30
  • A→B→A: docs/evidence/R1B_PHASE1B_ABA_EXACTLY_ONCE_GRANT.md (B11 fails semantically when O_EXCL is dropped; restore hash equals A)

Out of scope / next in this PR

One bounded sacrificial SMAppService register/unregister observation, then production identity/migration architecture and the rest of the local native completion program. Do not merge.

Connect a sealed PreparedMutationGrant to exactly one sacrificial
adapter call through SacrificialMutationDispatcher. Fake/structural
gates only; default probe path still stops before production mutation
unless --commit-mutation is supplied after grant preparation.

Automated tests use FakeSMAdapter. Hosted CI must not pass the
commit flag with a valid authorization. A→B→A:
docs/evidence/R1B_PHASE1B_ABA_EXACTLY_ONCE_GRANT.md.
@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: 2db91f26-ab0f-46c5-99b7-d8d57e5d530c

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.

Anubis Quantum Cipher added 3 commits August 14, 2026 12:54
Add a local-only SMAppService observation script with preflight,
separate register/unregister authorization, a 10-minute rollback
deadline, and print-only launchctl. Hosted CI must not run it.
Record one bounded SMAppService register/unregister on a temporary
non-Desktop root. Observed launchd label com.desktidy.sacrificial;
unregister restored absence. Personal mover unchanged. Login Items,
FDA/TCC, and reboot/login remain unobserved. Do not widen production
self-labels from this transcript.
…n-final)

Bind the observed sacrificial label into one product-owned registry.
Production self-labels remain the CLI pair. Migration orchestration
refuses live Desktop targets, personal labels, and unknown identities.
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