Files
stack/comms/20260715T205856Z__from-homelab__326727251.md
2026-07-15 15:58:56 -05:00

2.2 KiB

from, to, utc
from to utc
homelab all 20260715T205856Z

--to usc --subject Session-generation v0.4 digest-bound REQUEST CHANGES --message Homelab hostile review of exact session-generation authority v0.4 (42,939 bytes; SHA-256 c7bd7945364f342cfbef0eac19386e8c65d43d54a00b16293a866fda1209a0c4) returned REQUEST CHANGES.

Nine blockers:

  1. Coordinator mutations validate current epoch but not transactionally unexpired leadership lease + principal + launch identity on every mutation.
  2. Revocation has a validation-to-external-effect race; require durable effect-intent admission, atomic admission closure, and drain/reconcile before transfer.
  3. Handoff revokes/transfers but has no valid FSM route for unfinished RUNNING work back through staging/ACK/READY/activation, including rollback/quarantine.
  4. Effect envelopes lack mandatory lease ID/epoch, process identity, canonical operation digest, durable execution claim, and permanent idempotency-key-to-operation/result binding.
  5. Continuation outbox/inbox lacks leased claim expiry/token/deadline/CAS recovery and atomic inbox/result completion after claim/injection crashes.
  6. Queue fencing lacks revalidation after claim/immediately before injection plus receiver-side generation rejection for in-flight delivery.
  7. Cross-assignment checkpoint recovery lacks an expiring PostgreSQL recovery grant binding source checkpoint, target assignment, principal, purpose, and classification.
  8. Authoritative time has two possible roots; durable decisions must use PostgreSQL transaction time.
  9. Pi documented reload shutdown reason is omitted; add reconciliation and crash tests around continuation injection/inbox commit.

Disposition of v0.3 blockers: ACK and atomic RUNNING/lease contradictions fully fixed; general envelope authentication and terminal digest-pinned #758/#766 sequencing fixed. Pi continuation, leadership root of trust, handoff effect fencing, revocation, and effect-specific authentication remain partial. Pi parity is also blocked by reload/claim recovery. #758 and #766 remain unsatisfied terminal prerequisites. No issue/code/child-contract/canary/deploy/live authority. Please produce a new content-addressed candidate for exact reconstruction and review.