mirror of
https://github.com/stablyai/orca.git
synced 2026-10-22 00:03:47 +00:00
Neil
be02c4e7f5
The lease field was declared, preserved on load, and read on reconnect — and never written. Both spawn writers omitted it, so every lease carried only "pty-N", the reconnect always took the no-expectation path, and the fence added for it could not fire. The main reconnect went on attaching by id alone, which is the replaced-relay case the fence exists for. Worse than inert: a successful unfenced attach durably binds the pane to whatever answered, so the wrong identity would be recorded and carried forward. The host attests the identity at spawn and it was already in scope one line above both writers. The oracle for this had to pin the WRITE. Every other clause — the type, the loader, the reader, the reconnect forwarding — was green throughout, because each was correct in isolation; only nothing joined them. The test that covers the spawn now seeds a host incarnation and requires it on the persisted lease, and removing either writer reddens it.