fix: validate Emacs config descriptor types #282

Open
nsaspy wants to merge 0 commits from rage/395-emacs-config-types-v2 into main
Owner

Closes #395.

Replay onto post-#394 canonical main after the original #396 base became stale.

RAGE typed configuration slice:

  • command/server values must be strings instead of being rewritten with str();
  • project aliases and paths must remain strings instead of being silently coerced;
  • timeout rejects booleans, non-numeric values, and non-finite values before normal bounds validation;
  • existing command/server/path/timeout policy remains intact.

Independent RED proof is #397. No external todo work. Merge only after fresh exact-head compatibility, registry/plugin tests, and generated Nix package gates are green.

Closes #395. Replay onto post-#394 canonical main after the original #396 base became stale. RAGE typed configuration slice: - command/server values must be strings instead of being rewritten with `str()`; - project aliases and paths must remain strings instead of being silently coerced; - timeout rejects booleans, non-numeric values, and non-finite values before normal bounds validation; - existing command/server/path/timeout policy remains intact. Independent RED proof is #397. No external todo work. Merge only after fresh exact-head compatibility, registry/plugin tests, and generated Nix package gates are green.
Some checks failed
CI / test (pull_request) Failing after 31s
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/395-emacs-config-types-v2:rage/395-emacs-config-types-v2
git switch rage/395-emacs-config-types-v2

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