fix: reject non-numeric shell runtime limits #292

Open
nsaspy wants to merge 0 commits from rage/379-shell-runtime-limit-type into main
Owner

Successor to #380 after the required replay onto post-#376 canonical main. Closes #379 and advances #5.

RED→GREEN correctness slice:

  • malformed non-numeric runtime limits fail with the policy boundary's ValueError;
  • booleans, non-finite values, and non-positive values remain rejected;
  • execution deadline semantics are unchanged.

Explicit cancellation remains a separate Core contract. Merge only after fresh exact-head source/install compatibility, registry/plugin tests, and generated Nix package builds are green.

Successor to #380 after the required replay onto post-#376 canonical main. Closes #379 and advances #5. RED→GREEN correctness slice: - malformed non-numeric runtime limits fail with the policy boundary's `ValueError`; - booleans, non-finite values, and non-positive values remain rejected; - execution deadline semantics are unchanged. Explicit cancellation remains a separate Core contract. Merge only after fresh exact-head source/install compatibility, registry/plugin tests, and generated Nix package builds are green.
Some checks failed
CI / test (pull_request) Failing after 42s
This branch is already included in the target branch. There is nothing to merge.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin rage/379-shell-runtime-limit-type:rage/379-shell-runtime-limit-type
git switch rage/379-shell-runtime-limit-type

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main
git merge --no-ff rage/379-shell-runtime-limit-type
git switch rage/379-shell-runtime-limit-type
git rebase main
git switch main
git merge --ff-only rage/379-shell-runtime-limit-type
git switch rage/379-shell-runtime-limit-type
git rebase main
git switch main
git merge --no-ff rage/379-shell-runtime-limit-type
git switch main
git merge --squash rage/379-shell-runtime-limit-type
git switch main
git merge --ff-only rage/379-shell-runtime-limit-type
git switch main
git merge rage/379-shell-runtime-limit-type
git push origin main
Sign in to join this conversation.
No description provided.