Skip to content

feat(effects): add resource-controlled trusted writes - #117

Closed
heggria wants to merge 5 commits into
mainfrom
codex/0.3.0-trusted-effects-candidate
Closed

feat(effects): add resource-controlled trusted writes#117
heggria wants to merge 5 commits into
mainfrom
codex/0.3.0-trusted-effects-candidate

Conversation

@heggria

@heggria heggria commented Aug 7, 2026

Copy link
Copy Markdown
Owner

Summary

  • reuse the existing resources authority, PathRef resolver, persistent leases, durable journal, and mutation permits as the single Trusted Effects control plane
  • enforce admitted declared fs.write targets with commit-or-restore transactions, crash recovery, overlap admission, direct-write restoration, and ledger-backed why-effect
  • close EffectIR validation and enforce transitive confidentiality/integrity labels across schema, verifier, compiler, and runtime
  • route phase fast paths through effects admission and preserve imperative/event-kernel semantic consistency

Proven locally on the clean candidate

  • focused effects/resources/FlowIR suite: 82/82
  • monorepo typecheck: PASS
  • full unit suite: 2181/2181
  • full build: PASS
  • built Codex MCP comprehensive E2E: 16/16
  • live Codex A-to-B-to-C E2E: PASS, including declared fs.write and durable authority readback

Scope boundary

This candidate guarantees admitted declared filesystem write targets. It does not claim a full FileBroker/native sandbox and cannot prevent undeclared-path writes by a host process. Secret/service effect backends remain fail-closed and unsupported in the 0.3 MVP.

Release state

Draft for exact-SHA CI. No tag or npm publish has been performed; L5 release and L6 GA remain blocked on explicit human authorization and release evidence.

heggria added 5 commits August 7, 2026 17:45
Compile closed EffectIR with transitive label checks, route declared writes through the existing resource authority, recover failed and crashed transactions, and expose ledger-backed why-effect evidence.
@heggria

heggria commented Aug 11, 2026

Copy link
Copy Markdown
Owner Author

Superseded by #122 (rc: 0.3.0 Trusted Effects candidate) — head rc/0.3.0-trusted-effects @ 0f9cf16, base main. This draft's head (8778b2f on codex/0.3.0-trusted-effects-candidate) is an earlier candidate; closing this one to keep the exact-SHA CI story on a single PR. No merge, no publish.

@heggria heggria closed this Aug 11, 2026
@heggria
heggria deleted the codex/0.3.0-trusted-effects-candidate branch August 12, 2026 08:52
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