Require numeric ordered postconditions - #13
Merged
Conversation
![devin-ai-integration[bot]](https://avatars.githubusercontent.com/in/811515?s=60&v=4){kind=small}
Comment on lines
+58
to
+60
| "oneOf": [ | ||
| { "$ref": "../spec/schemas/action-proposal.schema.json" }, | ||
| { "$ref": "../spec/schemas/action-proposal-v0.2.schema.json" } |
There was a problem hiding this comment.
🟡 Capability discovery omits v0.2 proposals
After v0.2 proposals become accepted, optional_features still advertises only recovery preflight. Discovery-driven clients cannot select the new format.
Prompt for agents
Update the capability discovery contract and implementation to advertise ActionProposal v0.2 support. The response is built in src/http-server.js for /.well-known/consequence-rail, while api/openapi.json defines that response schema. Add deterministic coverage proving discovery exposes the supported proposal formats without changing the meaning of the existing API protocol version.
Was this helpful? React with 👍 or 👎 to provide feedback.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Ordered postconditions now require finite numeric operands. Proposal schema version is included in the signed material, mapped into bundles, and checked across receipts and audit events so version relabeling fails closed.
Published version 0.1 schema bytes remain unchanged. The stricter contract is opt in through version 0.2.
Checks
Focused tests: 9 passed.
Full tests: 130 passed.
Repository check: passed for 59 files.
Independent tree review:
check-warnfor exact head SHAe233a69b1de07c9b888e4996f126749fb50e4f9b, limited to the documented experimental boundary.This remains a loopback reference implementation. Do not deploy it as an Internet facing or Vercel service. Merge only after exact SHA CI passes.