Skip to content

Use typed Git outcomes in checkout recovery and account layer writes - #5880

Merged
joelteply merged 1 commit into
f76005e8/arrival-never-moves-a-card-checkout-offfrom
codex/typed-git-integration
Nov 8, 2026
Merged

joelteply merged 1 commit into
f76005e8/arrival-never-moves-a-card-checkout-offfrom
codex/typed-git-integration

Conversation

@joelteply

@joelteply joelteply commented Nov 8, 2026 •

Copy link
Copy Markdown
Contributor

Kimi's checkout recovery was blocked by inherited Git error-text classifiers. This extracts the existing typed-outcome and porcelain changes from #5867 into #5877's split arrival code: remote absence uses Git exit 2, interrupted operations retain their typed outcome, and rejected pushes use porcelain output. Both inherited citizen metadata writes now use the registered citizens disk class.

This PR targets #5877's branch so only the seven-file integration delta is reviewed. It includes the independent shallow recovery and actual off-anchor WorkSubmit fixtures; no GitActor, sandbox, or secrets changes.

Validation: workspace-transfer tests 17 passed before the citizen writer follow-up; current source-hygiene base/head 95/95 passed (error-text sites 26→23, unaccounted writes 180→178). The class-writer test passed; integrated actual WorkSubmit is running. Cormac reviewed all seven files and passed exact dadccbc (local adoption into #5877 reported, remote update pending). Runtime deployment remains pending test completion.

A push authentication failure now reports Unreachable when Git provides no porcelain ref verdict; it is not asserted to be a remote ref rejection. The original error remains visible.

…rites

Integrates the typed outcome and porcelain portions of Fable PR5867 into the split arrival owner. Preserve off-anchor WIP, cancellation custody, and the real WorkSubmit recovery fixture. Route citizen metadata through the existing citizens disk class.
@joelteply
joelteply merged commit dadccbc into f76005e8/arrival-never-moves-a-card-checkout-off Nov 8, 2026
18 checks passed
@joelteply
joelteply deleted the codex/typed-git-integration branch November 8, 2026 19:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant