Skip to content

Separate account recovery from native navigation chrome - #139

Merged
RCmerci merged 1 commit into
mainfrom
devin/1793109270-account-recovery-layout
Oct 27, 2026
Merged

RCmerci merged 1 commit into
mainfrom
devin/1793109270-account-recovery-layout

Conversation

@RCmerci

@RCmerci RCmerci commented Oct 27, 2026

Copy link
Copy Markdown
Contributor

Summary

Prevent Journals from overlapping the account recovery prompt after Sign out → dismiss authentication → Sign in again → Close. Allocate the recovery view above the runtime/navigation host in one stable zero-spacing VStack, instead of applying an outer top safe-area inset. Preserve the single runtime host, recovery actions and authentication sheet lifecycle.

Validation

Final source: a7548a01a60f11a2a648eca44f3956becde76354, based on 9488d3c.

  • dune build @all app/native_embed.exe.o and dune runtest --force: passed in the locked OCaml 5.5.0 environment. The initial unrelated WebSocket liveness timing failure passed on the full rerun.
  • Full iOS App, Simulator iOS 26.5: two live signed-in → Sign out → initial Close → Sign in again → hosted Close cycles passed; landscape/portrait, Favorites/page Back, picker Close and subsequent sign-in passed. No graph writes.
  • Independent final source review: no blockers.
  • Maintained producer/importer source and native source match the final commit. Experimental host-restamp only: cross_abi_validated=false; no device/ABI or macOS acceptance claim.
  • Not tested: Dynamic Type, in-picker graph reselection, internal runtime-identity instrumentation. spec-dev-tool is unavailable; no decision documents changed.
Before (9488d3c) After (a7548a0)
Overlapping account prompt and title Separate account prompt and native title

Link to Devin session: https://app.devin.ai/sessions/ebe2c4b314574e34af37fb03fa521c1a
Open in Devin Desktop: https://app.devin.ai/desktop/session/ebe2c4b314574e34af37fb03fa521c1a?variant=devin
Requested by: @RCmerci

@devin-ai-integration

Copy link
Copy Markdown
Contributor

I'll fix CI failures and address comments from users with write access. I'll skip comments containing "(aside)".

  • Disable automatic comment, CI, and merge conflict monitoring

@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 27, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-27T14:21:47.971217Z a7548a0 PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@RCmerci
RCmerci merged commit b48ba66 into main Oct 27, 2026
1 check 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