Skip to content

[codex] add iOS mobile shell and push notifications#263

Merged
haowei2000 merged 2 commits into
developfrom
claude/reload-skills-65a532
Jul 18, 2026
Merged

[codex] add iOS mobile shell and push notifications#263
haowei2000 merged 2 commits into
developfrom
claude/reload-skills-65a532

Conversation

@haowei2000

Copy link
Copy Markdown
Collaborator

Summary

  • expands the native iOS app with the drawer shell, Activity and Agents surfaces, approval cards/sheets, file previews, and richer chat controls
  • adds iOS push routing and device registration APIs, plus gateway APNs/direct relay push delivery support
  • documents the mobile app design/prototype and records the App Store release-readiness checklist

Impact

  • mobile users can review approval requests, inspect agent activity, manage chat context, and receive OS push notifications once production Apple credentials/relay are configured
  • gateway deployments get a new idempotent user device table and device endpoints; push delivery is fire-and-forget and leaves in-app WebSocket notifications intact

Validation

  • PASS: cd server && cargo test
  • PASS: xcodebuild -project apps/ios/Cheers.xcodeproj -scheme Cheers -destination 'generic/platform=iOS Simulator' build
  • WARN: cd server && cargo fmt --check currently fails on existing committed formatting drift in unrelated server files; this PR did not run broad rustfmt to avoid mixing unrelated churn

Release Notes

  • App Store release is still blocked on production Apple signing, APNs entitlement/provisioning, production HTTPS configuration, screenshots/metadata, privacy details, review account, and production gateway/APNs or relay deployment.

@haowei2000
haowei2000 changed the base branch from main to develop July 18, 2026 05:37
@haowei2000
haowei2000 force-pushed the claude/reload-skills-65a532 branch from 7579a0c to 726efc9 Compare July 18, 2026 05:38
@haowei2000
haowei2000 force-pushed the claude/reload-skills-65a532 branch from 726efc9 to cf576d1 Compare July 18, 2026 05:40
@haowei2000
haowei2000 marked this pull request as ready for review July 18, 2026 05:48
@haowei2000
haowei2000 merged commit 0b26d08 into develop Jul 18, 2026
6 checks passed
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