docs: formal spec for remote agents and their management - #3748

Draft

tlongwell-block wants to merge 10 commits into

mainfrom

eva/remote-agents-spec

Commits on Jul 30, 2026

docs: formal specification for remote agents and their management
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
docs(remote-agents): tighten invariants and pin launch contracts per review
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
docs(remote-agents): per-attempt Secret generations; wire inactivity_seconds
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
docs(remote-agents): round-4/5 review — launch block, startup semantics, GC age gate, hardening
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
docs(remote-agents): state the complexity-budget design obligation
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
docs(remote-agents): same-clock age gate, kubelet-retry rationale, non-thrashing startup classification
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
docs(remote-agents): round 7 — policy_env precedence, pre-secret gate, preconditioned deletes, anti-livelock startup
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
docs(remote-agents): round 8 — fail-closed protocol_version, staged-bytes executable identity
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
docs(remote-agents): round 9 — 409 reason discriminator, create-intent fingerprint
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed
docs(remote-agents): create-intent divergence has two sources, not one
npub1qyvc0c5kl4gqv2fd97fsk46tu378sqgy35vc83rvgfwne90sel7s0ed67d
committed