Skip to content

fix: enforce persistent project controller leases - #30

Closed
Dfskid wants to merge 8 commits into
Intelligent-Internet:mainfrom
Dfskid:codex/project-controller-lease
Closed

fix: enforce persistent project controller leases#30
Dfskid wants to merge 8 commits into
Intelligent-Internet:mainfrom
Dfskid:codex/project-controller-lease

Conversation

@Dfskid

@Dfskid Dfskid commented Jul 21, 2026

Copy link
Copy Markdown

Summary

  • enforce one persistent mutating controller per exact workspace across MCP processes
  • require explicit owner identity for start, release, abort, and audited dead-controller recovery
  • bind lease records to host boot/PID namespace and process birth identity to fence PID reuse
  • fail closed on identityless or unprovable claims, running task records, unsafe handoffs, and release failures
  • preserve read-only inspection and parallelism across different workspaces

Verification at af99cd8

  • uv run pytest -q: 250 passed, 7 skipped
  • uv run ruff check .: passed
  • uv run mypy src: passed
  • focused lease tests: 52 passed

Review status

Draft and blocked. Grok OAuth exact-head review of the prior frozen head completed and identified PID-reuse, empty-runtime, and identityless-recovery risks; those findings are fixed in af99cd8. Two exact-head cross-family reruns at af99cd8 were refused by the CMF machine-load resource guard on a saturated host. Per the founder-approved policy, the infrastructure loop stopped after two failures. This PR must not merge until a fresh Anthropic plus Grok cross-family review completes at the final head and all findings are integrated.

Safety disposition

The remaining reviewer requests for an unaudited force-recovery path were not implemented. Running task records deliberately block recovery, dispatch marks tasks running before worker spawn, and abort/release partial failure remains explicit and audited. These fail-closed choices avoid turning operability shortcuts into workspace-steal paths.

@Dfskid

Dfskid commented Aug 25, 2026

Copy link
Copy Markdown
Author

Closing this stale draft as inactive, not rejecting the underlying lease design. Zenith is optional tooling rather than a mandatory delivery gate; this head has had no upstream review or CI, the PR explicitly requires fresh Anthropic + Grok review before merge, and this account has read-only upstream access. The fork branch remains intact and the PR can be reopened if Zenith becomes active and the required exact-head review capacity is available.

@Dfskid Dfskid closed this Aug 25, 2026
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.

1 participant