Skip to content

docs(plans): m1-notifications — delivery, the boundary crate, and the… - #68

Merged
Poordeveloper merged 1 commit into
mainfrom
task/m1-notifications-plan
Sep 14, 2026
Merged

Poordeveloper merged 1 commit into
mainfrom
task/m1-notifications-plan

Conversation

@Poordeveloper

Copy link
Copy Markdown
Owner

… fidelity window

Materializes accepted policy (PRODUCT §7, ADR 0015 D7) on the mechanism grill Q12 accepted conditionally. The finding that shapes it: entitlement already refuses heuristic and unsealed evidence before a claim can reach a main state, so every attention item on the wire is one a notification is permitted for. The Desktop therefore needs no wire change and derives nothing — it decides only whether it has already shown an item, which is presentation state. Delivery is a pure function of two poll generations with a baseline rule for cold start and reconnect; the Objective-C delegate is confined to a new corral-macos crate, the only one allowed unsafe. Blocked on the packaging PRs for a real .app and on three rulings.

Claude-Session: https://claude.ai/code/session_01Upz8uJ32B4RyE1AkthMQJX

Class:
Reason:
Escalation triggers:

Goal

Non-goals

Evidence

./scripts/verify

Compatibility

Risk / staging


Does this change touch:

  • the protocol or anything on the wire
  • storage, schema, or durable events
  • runtime or PTY ownership
  • provider integration or the user's provider configuration
  • security, trust, or authorization
  • an architecture invariant or an accepted ADR

… fidelity window

Materializes accepted policy (PRODUCT §7, ADR 0015 D7) on the mechanism
grill Q12 accepted conditionally. The finding that shapes it: entitlement
already refuses heuristic and unsealed evidence before a claim can reach a
main state, so every attention item on the wire is one a notification is
permitted for. The Desktop therefore needs no wire change and derives
nothing — it decides only whether it has already shown an item, which is
presentation state. Delivery is a pure function of two poll generations
with a baseline rule for cold start and reconnect; the Objective-C delegate
is confined to a new corral-macos crate, the only one allowed unsafe.
Blocked on the packaging PRs for a real .app and on three rulings.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Upz8uJ32B4RyE1AkthMQJX
@Poordeveloper
Poordeveloper merged commit 92c975b into main Sep 14, 2026
1 of 2 checks passed
@Poordeveloper
Poordeveloper deleted the task/m1-notifications-plan branch September 14, 2026 03:34
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