Skip to content

Add prepared Effects execution and inspection-bound recovery - #74

Draft
Odenknight wants to merge 10 commits into
codex/graphiti-product-binding-20260913from
codex/effects-host-api-20260914
Draft

Odenknight wants to merge 10 commits into
codex/graphiti-product-binding-20260913from
codex/effects-host-api-20260914

Conversation

@Odenknight

@Odenknight Odenknight commented Sep 14, 2026

Copy link
Copy Markdown
Owner

Hosts need to prepare durable intent separately from execution and recover interrupted work against current evidence and authority. This adds instance-bound prepared handles, descriptor-bound source reads that reject linked or changed files, read-only recovery inspection, inspection-bound recovery, authority revalidation under target locks, and deadline-aware shutdown that retains the lease through checkpoint verification.

This draft is stacked on the watcher integration branch in PR #73. The branch includes its Windows retained-guard fix through 6f1486f. Kosmos host wiring and native deployment acceptance remain open; no source-write activation or release readiness is claimed.

Validation: combined Windows build, all 178 focused tests (Effects, native guards, watcher pointer transitions, bundle inventory), package check (652 files), and candidate inventory check passed. The independent full qualification at 6f1486f is not evidence for the combined candidate. See docs/EFFECTS-HOST-API-PROGRESS.md for API contracts and limits.

The full run at 6f1486f finished with 1,168 passes and one runner-packaging failure. The combined candidate at c8a6348 fixes native binding/staging for the separately bundled runner and uses a child process for Windows DLL cleanup. Its measurement/audit pair and packaging regression pass. Full combined qualification at exact c8a6348 passed all 1,213 tests on Windows x64 Node24.18.0, with zero failures/skips/cancellations. The terminal receipt and both command-log SHA256s were verified. The receipt retains release_qualified false. Subsequent standalone executable packaging is isolated in PR75 and has its own qualification run.

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