Skip to content

Require explicit resource Provider operation contracts - #255

Merged
SaladDay merged 3 commits into
mainfrom
codex/explicit-provider-contracts
Sep 30, 2026
Merged

SaladDay merged 3 commits into
mainfrom
codex/explicit-provider-contracts

Conversation

@SaladDay

@SaladDay SaladDay commented Sep 30, 2026 •

Copy link
Copy Markdown
Collaborator

Provider extensions previously inferred support from optional Go interfaces, while batch observation used a boolean that could hide failures as unsupported behavior. Require every resource provider to declare each existing operation, validate its registration and method set, and return a typed Unsupported outcome with an authored safe reason.

Keep the five resource primitives mandatory, preserve existing lifecycle and cleanup semantics, and forward Unsupported through the exact-version node protocol. Batch observations fall back to single reads only for explicit Unsupported. The canonical Provider guide and generated documentation describe the contract.

Validation so far:

  • Focused sandbox, node, observation, execution and server tests pass.
  • Real Docker lifecycle and recovery tests pass with the existing immutable fixture image; these do not qualify live model execution.
  • Documentation generation and freshness checks pass.
  • CI full repository check (make check), official-client checks, and Linux/Windows/macOS platform checks pass at c7627bfb6cf0f1aaca9ad9ea38557419f3310ecf.
  • Fresh independent full-diff blind review found no substantiated in-scope issues against main 4f25d37048ed9212259b46a44500e811ffb30dd2.

The additional zju full run passed backend/persistence checks and 84/86 Web browser tests, then stopped on two pages whose scripts failed with ERR_NETWORK_CHANGED. A focused retry passed one; the other again recorded 53 network-change failures. Traces are retained outside the repository. CI's complete gate, including these browser tests and the example checks, passed without this host issue.

This does not include #248 resident pause, Harness/Runtime capability changes, deployment or release. Live E2B and microsandbox qualification are not included in the current evidence.

@SaladDay
SaladDay marked this pull request as ready for review September 30, 2026 05:59
@SaladDay
SaladDay merged commit 3a4ad5f into main Sep 30, 2026
5 checks passed
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