fix: enforce canonical sysadmin numeric types #264

Open
nsaspy wants to merge 0 commits from rage/429-sysadmin-numeric-types into main
Owner

Closes #429.

RAGE transaction:

  • RED f4f5ed752d553f448c164a9a82edc3c9e158e110 proves constructor/query/port boundaries accept coercive bool/string/float descriptors.
  • GREEN implementation rejects non-exact integers before backend dispatch while preserving existing integer ranges and bounds.
  • Full registry/source/install/plugin/Nix package gates must pass on this exact implementation head before merge.
Closes #429. RAGE transaction: - RED `f4f5ed752d553f448c164a9a82edc3c9e158e110` proves constructor/query/port boundaries accept coercive bool/string/float descriptors. - GREEN implementation rejects non-exact integers before backend dispatch while preserving existing integer ranges and bounds. - Full registry/source/install/plugin/Nix package gates must pass on this exact implementation head before merge.
Some checks failed
CI / test (pull_request) Failing after 12s
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/429-sysadmin-numeric-types:rage/429-sysadmin-numeric-types
git switch rage/429-sysadmin-numeric-types

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