8000 feat(native): add iOS and iPadOS arms by jangtrinh · Pull Request #239 · jangtrinh/design-os · GitHub
[go: up one dir, main page]

Skip to content

feat(native): add iOS and iPadOS arms - #239

Merged
jangtrinh merged 2 commits into
mainfrom
jangtrinh/native-ios-ipados-official-arms
Aug 28, 2026
Merged

jangtrinh merged 2 commits into
mainfrom
jangtrinh/native-ios-ipados-official-arms

Conversation

@jangtrinh
@jangtrinh jangtrinh commented Aug 28, 2026 •
Copy link
Copy Markdown
Owner

Summary

  • add separate /ui:native-ios and /ui:native-ipados official arms with shared SwiftUI craft and platform-specific overlays
  • bind each provisional arm to independent retained receipt/source evidence and immutable activation-policy fingerprints
  • fail closed on duplicate identities, policy/assurance tampering, cross-platform evidence, and false qualification claims
  • update runtime adapters, guide, knowledge routing, schemas, and README marketing

Evidence

  • npm run typecheck, npm run lint, npm run build
  • built-binary init: 9/9
  • full suite after syncing current main: 232 files, 4,186 passed, 10 skipped, 0 failed
  • focused post-merge integration: 6 files, 89 passed
  • branch synced cleanly with concurrent PR feat: read design tells in any language, and keep the verdicts honest #235 before the final rerun
  • ui knowledge check: 0 findings
  • independent review: READY 9.5/10

Qualification boundary

  • both arms route as PROVISIONAL with QUALIFIED_DELIVERY_FORBIDDEN
  • owner acceptance, real-device, VoiceOver, and iPad keyboard/pointer/window witnesses remain pending

Closes #234

@jangtrinh
jangtrinh merged commit 967f1cf into main Aug 28, 2026
4 checks passed
jangtrinh added a commit that referenced this pull request Oct 29, 2026
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.

feat: add official iOS and iPadOS native arms

1 participant

0