Upgrade to nixpkgs v25.11, Housekeeping, Chores

[vst]

• fix(deps): upgrade nixpkgs to v25.11, bump flake inputs
• chore(nix): update flake.nix description
• refactor(dev): adopt latest updates to vst/haskell-template-hebele
• refactor(format): reformat codebase

[Copilot]

Pull request overview

This PR upgrades the project's infrastructure from nixpkgs v25.05 to v25.11, migrates from flake-utils to flake-parts, introduces Stack-based static builds, and adds comprehensive new tooling for code quality checks.

Changes:

• Upgraded nixpkgs to v25.11 and migrated from flake-utils to flake-parts for better modularity
• Introduced Stack support with stack.yaml for building static executables
• Replaced dev-test-build.sh with a new comprehensive cabal-verify script that includes additional linters (nixfmt, statix, shfmt, shellcheck, taplo, stan)

Reviewed changes

Copilot reviewed 16 out of 19 changed files in this pull request and generated 10 comments.

Show a summary per file

File	Description
flake.nix	Major refactoring to use flake-parts, upgraded nixpkgs reference, restructured dev environments with separate CI shell
flake.lock	Updated dependencies to flake-parts and nixpkgs v25.11
nix/flake-modules/read-yaml/default.nix	New flake-parts module structure for readYAML functionality
nix/flake-modules/read-yaml/function.nix	Reformatted readYAML function with same functionality
build-static.sh	Complete rewrite to use Stack instead of Cabal for static builds, dynamically determines GHC version from Stackage
nix/dev-test-build.sh	Removed old dev/test/build script
nix/cabal-verify/script.sh	New comprehensive verification script with improved error handling and additional checks
nix/cabal-verify/default.nix	Nix package definition for cabal-verify script
stack.yaml	New Stack configuration for static builds with musl
.github/workflows/release.yml	Updated to actions v6/v21, modified to capture executable path from build-static.sh
.github/workflows/check-verify.yaml	Updated workflow name and actions, uses new CI shell and cabal verify command
.github/workflows/check-static.yaml	New workflow for manually testing static builds
.taplo.toml	New TOML formatter configuration
.stan.toml	New static analyzer configuration excluding tuple size warnings
.prettierrc.json	Reordered fields and added markdown-specific formatting rules
.prettierignore	More selective ignores, removed blanket *.md exclusion
.gitignore	Added Stack-related ignores (.stack-work, stack.yaml.lock, .envrc)
weeder.toml	Added trailing comma for better diff management
README.md	Reformatted for 80-column prose wrap, updated command from dev-test-build to verify

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.