fix: enforce canonical healthcheck policy types #260

Open
nsaspy wants to merge 0 commits from rage/435-healthcheck-numeric-types-replay into main
Owner

Closes #435

Replayed from current canonical main after #436 moved the compatibility gate.

RAGE transaction:

  • RED: 7da284d723f90c0b9d88418027a4ac9ac33323e4 rejects bool/float/string/None policy bounds.
  • GREEN: a82f740febf1c32df8f59a34eb89e1280ce520b9 requires exact non-boolean integers before state/probe initialization while preserving valid range checks.

Requires fresh exact-head registry/install/Nix/package proof before merge.

Closes #435 Replayed from current canonical main after #436 moved the compatibility gate. RAGE transaction: - RED: `7da284d723f90c0b9d88418027a4ac9ac33323e4` rejects bool/float/string/None policy bounds. - GREEN: `a82f740febf1c32df8f59a34eb89e1280ce520b9` requires exact non-boolean integers before state/probe initialization while preserving valid range checks. Requires fresh exact-head registry/install/Nix/package proof before merge.
Some checks failed
CI / test (pull_request) Failing after 26s
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/435-healthcheck-numeric-types-replay:rage/435-healthcheck-numeric-types-replay
git switch rage/435-healthcheck-numeric-types-replay

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/435-healthcheck-numeric-types-replay
git switch rage/435-healthcheck-numeric-types-replay
git rebase main
git switch main
git merge --ff-only rage/435-healthcheck-numeric-types-replay
git switch rage/435-healthcheck-numeric-types-replay
git rebase main
git switch main
git merge --no-ff rage/435-healthcheck-numeric-types-replay
git switch main
git merge --squash rage/435-healthcheck-numeric-types-replay
git switch main
git merge --ff-only rage/435-healthcheck-numeric-types-replay
git switch main
git merge rage/435-healthcheck-numeric-types-replay
git push origin main
Sign in to join this conversation.
No description provided.