Skip to content

feat(shell): verify a persistent Zsh helper write - #147

Merged
gonz0w merged 1 commit into
mainfrom
codex/zsh-home-write
Nov 3, 2026
Merged

gonz0w merged 1 commit into
mainfrom
codex/zsh-home-write

Conversation

@gonz0w

@gonz0w gonz0w commented Nov 3, 2026

Copy link
Copy Markdown
Owner

Real Zsh can now launch the held helper to write exactly16 bytes to existing /home/probe, return0 and reach its prompt, then exit/export cleanly. Independent fresh OpenZFS readers verify those bytes after the writer stops.

The opt-in AEFP0005 path keeps namespace custody in Rust and admits WRITE only for the committed, READY helper generation. It preserves checked write/close outcomes without replay, old FILE profiles and DIRECTORY10, and all existing limits. The selected engine requires exactly seven mutations; the v3 Owner row reports completed write/close and cleanup facts.

Validation:

  • Actual Zsh writer:35.657s,36/96 requests, helper/status0, prompt return, normal export,21 cleanup phases and three reclamations.
  • Actual pristine/recovery cold cohort:31.319s; exact payload/EOF, terminfo hash/tree, metadata/ACL/link/inventory and preserved original digest; both disks unchanged and both guests stopped cleanly.
  • Focused C/Rust positive, denial, short/unknown/no-replay and old-profile checks; fresh parent/helper/Owner/seven-engine/reader fits; separate source and artifact review. Normal hooks pass.

This delivers the fixed #145 checkpoint under the approved scoped gates. Full-root coverage remains in #141; general execution/redirection, login, packages and R1 retain their own gates. Owner Runtime is4056/4096 bytes, so further state changes require a fresh fit.

Reviewed tree: 4f1290b1fc96b8831f7f1b219d457135b05a67a3.

Closes #145.

@gonz0w gonz0w changed the title Verify a persistent file write from real Zsh feat(shell): verify a persistent Zsh helper write Nov 3, 2026
@gonz0w
gonz0w merged commit e55ce33 into main Nov 3, 2026
3 of 4 checks passed
@gonz0w
gonz0w deleted the codex/zsh-home-write branch November 3, 2026 13:57
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.

Write one home file from real Zsh and verify it after reboot

1 participant