Skip to content

chore(framework): adopt chock v0.10.0 - #97

Merged
jothimani-rajendran merged 1 commit into
mainfrom
adopt/framework-v0.10.0
Sep 22, 2026
Merged

jothimani-rajendran merged 1 commit into
mainfrom
adopt/framework-v0.10.0

Conversation

@jothimani-rajendran

@jothimani-rajendran jothimani-rajendran commented Sep 22, 2026 •

Copy link
Copy Markdown
Collaborator

What

Pins .framework-ref to v0.10.0 (open-coder-ai/chock#157, released at https://github.com/open-coder-ai/chock/releases/tag/v0.10.0). Regenerated with tools/adopt_framework.py v0.10.0; the pin is the only line that changed, because nothing on main uses the script gate whose ambient line 0.10.0 changed. Every check the tool runs passed against an engine built from the 0.10.0 merge commit, and CI here is green on the tag.

This is what lets java-security move onto the script gate with replayable evals; that change follows in #98, stacked on this branch.

Definition of done

  • chock check clean (0 errors; the INT-3 verb warnings on java-security and configure-java-security are pre-existing)
  • chock check --only evals green: 28 policies, 320 pass, 78 skipped
  • chock sync --repo . --check clean
  • python tools/gen_policy_docs.py --check and python tools/check_readme.py pass
  • The policy claims only what it can do — no policy changed
  • At least one authored eval case that could have failed — no eval changed

If this touches implementations/

Not applicable; no script changed.

🤖 Generated with Claude Code

Regenerated with tools/adopt_framework.py. Every check it runs passed.
The pin is the only change: nothing on main uses the script gate whose
ambient line 0.10.0 changed, so no derived artifact moved.

Signed-off-by: Claude <noreply@anthropic.com>

Copy link
Copy Markdown
Collaborator Author

CI status: the policies check fails at "Check out the framework" (git fetch ... refs/tags/v0.10.0* exits 1, three attempts) because the v0.10.0 tag is not on open-coder-ai/chock yet. Nothing in this diff can change that; the pin is the tag by design. This session cannot push tags (GitHub returns 403 on git push origin v0.10.0), so the tag needs a maintainer:

git fetch origin main
git tag v0.10.0 e0e29c8490c5fe6c7315e1c17967697bc8dfbd4e
git push origin v0.10.0

Once it exists I will re-run the failed job on this head; the same job passed locally against an engine built from that commit.


Generated by Claude Code

@jothimani-rajendran
jothimani-rajendran marked this pull request as ready for review September 22, 2026 16:19
@jothimani-rajendran
jothimani-rajendran merged commit 3aae53d into main Sep 22, 2026
17 of 19 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.

2 participants