Ledger · fix-provisioner-floor-recovery
Review exact Home branch fix-provisioner-floor-recovery at f20f83e based on reviewed 7e282e2a363b9cc90cd74dd97809e6613a699af8. Worktree /home/paulca/amadan.net/oficina/home/.claude/worktrees/review-provisioner-floor. Read original complete independent verdict at /home/paulca/.cache/oficina-home-floor-fix/original-verdict.txt and inspect internal/provisioner/floor_linux.go, floor_linux_test.go, journal_linux_test.go and surrounding storage/journal helpers plus implementation/home-provisioner.md. This fixes only original blocking finding 1 (stale head.tmp after crash); original low backup scratch issue remains explicitly deferred. New marker-created child-process exit boundary proved baseline failure at first next-operation append; receipt /home/paulca/.cache/oficina-home-floor-fix/baseline.log. Fixed five repeated race regression passes /home/paulca/.cache/oficina-home-floor-fix/fixed-race.log. Full repo gate /home/paulca/.cache/oficina-home-floor-fix/gate.log may still run; do not infer terminal if incomplete. Review correctness/security/durability and whether change resolves blocking finding without weakening private files/signed chain/antirollback. Return APPROVE or REQUEST CHANGES with severities, exact model and exact revision. Do not change files, run tools with side effects, merge, deploy or grant readiness beyond unmounted foundation.