chore(release): v2.0.0

README.md

@@ -16,7 +16,7 @@ Simple Nix flake library for:
 From your new project folder:
 
 ```bash
-nix flake new myapp -t 'git+https://git.dgren.dev/eric/nix-flake-lib?ref=v1.0.2#default' --refresh
+nix flake new myapp -t 'git+https://git.dgren.dev/eric/nix-flake-lib?ref=v2.0.0#default' --refresh
 ```
 
 ## Use the library (existing repo)
@@ -24,7 +24,7 @@ nix flake new myapp -t 'git+https://git.dgren.dev/eric/nix-flake-lib?ref=v1.0.2#
 Add this flake input:
 
 ```nix
-inputs.devshell-lib.url = "git+https://git.dgren.dev/eric/nix-flake-lib?ref=v1.0.2";
+inputs.devshell-lib.url = "git+https://git.dgren.dev/eric/nix-flake-lib?ref=v2.0.0";
 inputs.devshell-lib.inputs.nixpkgs.follows = "nixpkgs";
 ```
 
@@ -64,9 +64,11 @@ Run releases with:
 ```bash
 release
 release patch
+release beta
 release minor beta
 release stable
 release set 1.2.3
 ```
 
 The release script uses `./VERSION` as the source of truth and creates tags like `v1.2.3`.
+When switching from stable to a prerelease channel without an explicit bump (for example, `release beta`), it applies a patch bump automatically (for example, `1.0.0` -> `1.0.1-beta.1`).

VERSION

@@ -1,3 +1,3 @@
-1.0.2
+2.0.0
 stable
 0

flake.nix

@@ -82,7 +82,7 @@
               hooks = {
                 treefmt = {
                   enable = true;
-                  entry = "${treefmtEval.config.build.wrapper}/bin/treefmt";
+                  entry = "${treefmtEval.config.build.wrapper}/bin/treefmt --ci";
                   pass_filenames = true;
                 };
                 gitlint.enable = true;
@@ -96,7 +96,7 @@
             };
 
             toolNameWidth = builtins.foldl' (
-              maxWidth: t: builtins.max maxWidth (builtins.stringLength t.name)
+              maxWidth: t: pkgs.lib.max maxWidth (builtins.stringLength t.name)
             ) 0 tools;
             toolLabelWidth = toolNameWidth + 1;
 
@@ -107,7 +107,8 @@
               in
               ''
                 if command -v ${t.bin} >/dev/null 2>&1; then
-                  printf "  $CYAN %-${toString toolLabelWidth}s$RESET ${colorVar}%s$RESET\n" "${t.name}:" "$(${t.bin} ${t.versionCmd})"
+                  version="$(${t.bin} ${t.versionCmd} 2>/dev/null | head -n 1 | sed -E 's/^[[:space:]]+//; s/[[:space:]]+$//')"
+                  printf "  $CYAN %-${toString toolLabelWidth}s$RESET ${colorVar}%s$RESET\n" "${t.name}:" "$version"
                 fi
               ''
             ) tools;
@@ -300,10 +301,28 @@
       checks = forAllSystems (
         system:
         let
+          pkgs = import nixpkgs { inherit system; };
           env = self.lib.mkDevShell { inherit system; };
         in
         {
           inherit (env) pre-commit-check;
+          release-tests =
+            pkgs.runCommand "release-tests"
+              {
+                nativeBuildInputs = with pkgs; [
+                  bash
+                  git
+                  gnused
+                  coreutils
+                  gnugrep
+                ];
+              }
+              ''
+                export REPO_LIB_ROOT=${./.}
+                export HOME="$TMPDIR"
+                ${pkgs.bash}/bin/bash ${./tests/release.sh}
+                touch "$out"
+              '';
         }
       );
 

packages/release/release.sh

@@ -22,15 +22,20 @@ usage() {
 		"Bump types:" \
 		"  (none)            bump patch, keep current channel" \
 		"  major/minor/patch bump the given part, keep current channel" \
-		"  stable / full     remove prerelease suffix" \
+		"  stable / full     remove prerelease suffix (only opt-in path to promote prerelease -> stable)" \
-		"  __CHANNEL_LIST__    switch channel (bumps prerelease number if same base+channel)" \
+		"  __CHANNEL_LIST__    switch channel (from stable, auto-bumps patch unless bump is specified)" \
+		"" \
+		"Safety rule:" \
+		"  If current version is prerelease (e.g. x.y.z-beta.N), promotion to stable is allowed only via 'stable' or 'full'." \
+		"  Commands like '${cmd} set x.y.z' or '${cmd} patch stable' are blocked from prerelease channels." \
 		"" \
 		"Examples:" \
 		"  ${cmd}                 # patch bump on current channel" \
 		"  ${cmd} minor           # minor bump on current channel" \
+		"  ${cmd} beta            # from stable: patch bump + beta.1" \
 		"  ${cmd} patch beta      # patch bump, switch to beta channel" \
 		"  ${cmd} rc              # switch to rc channel" \
-		"  ${cmd} stable          # promote to stable release" \
+		"  ${cmd} stable          # promote prerelease to stable (opt-in)" \
 		"  ${cmd} set 1.2.3" \
 		"  ${cmd} set 1.2.3-beta.1"
 }
@@ -282,6 +287,8 @@ main() {
 		exit 1
 	fi
 	parse_full_version "$raw_version"
+	compute_full_version
+	local current_full="$FULL_VERSION"
 
 	log "Current: base=$BASE_VERSION channel=$CHANNEL pre=${PRERELEASE_NUM:-}"
 
@@ -290,11 +297,14 @@ main() {
 
 	if [[ $action == "set" ]]; then
 		local newv="${1-}"
+		local current_channel="$CHANNEL"
 		[[ -z $newv ]] && echo "Error: 'set' requires a version argument" >&2 && exit 1
-		compute_full_version
-		local current_full="$FULL_VERSION"
 		parse_full_version "$newv"
 		validate_channel "$CHANNEL"
+		if [[ $current_channel != "stable" && $CHANNEL == "stable" ]]; then
+			echo "Error: from prerelease channel '$current_channel', promote using 'stable' or 'full' only" >&2
+			exit 1
+		fi
 		compute_full_version
 		local cmp_status=0
 		version_cmp "$FULL_VERSION" "$current_full" || cmp_status=$?
@@ -310,7 +320,7 @@ main() {
 		esac
 
 	else
-		local part="" target_channel=""
+		local part="" target_channel="" was_channel_only=0
 
 		case "$action" in
 		"") part="patch" ;;
@@ -331,6 +341,7 @@ main() {
 			if [[ $is_channel == 1 ]]; then
 				[[ -n ${1-} ]] && echo "Error: channel-only bump takes no second argument" >&2 && usage && exit 1
 				target_channel="$action"
+				was_channel_only=1
 			else
 				echo "Error: unknown argument '$action'" >&2
 				usage
@@ -342,6 +353,14 @@ main() {
 		[[ -z $target_channel ]] && target_channel="$CHANNEL"
 		[[ $target_channel == "full" ]] && target_channel="stable"
 		validate_channel "$target_channel"
+		if [[ $CHANNEL != "stable" && $target_channel == "stable" && $action != "stable" && $action != "full" ]]; then
+			echo "Error: from prerelease channel '$CHANNEL', promote using 'stable' or 'full' only" >&2
+			exit 1
+		fi
+
+		if [[ -z $part && $was_channel_only -eq 1 && $CHANNEL == "stable" && $target_channel != "stable" ]]; then
+			part="patch"
+		fi
 
 		local old_base="$BASE_VERSION" old_channel="$CHANNEL" old_pre="$PRERELEASE_NUM"
 		[[ -n $part ]] && bump_base_version "$part"
@@ -360,6 +379,10 @@ main() {
 	fi
 
 	compute_full_version
+	if [[ $FULL_VERSION == "$current_full" ]]; then
+		echo "Version $FULL_VERSION is already current; nothing to do." >&2
+		exit 1
+	fi
 	log "Releasing $FULL_VERSION"
 
 	do_write_version

template/flake.nix

@@ -4,7 +4,7 @@
 
   inputs = {
     nixpkgs.url = "github:nixos/nixpkgs?ref=nixos-unstable";
-    devshell-lib.url = "git+https://git.dgren.dev/eric/nix-flake-lib?ref=v1.0.2";
+    devshell-lib.url = "git+https://git.dgren.dev/eric/nix-flake-lib?ref=v2.0.0";
     devshell-lib.inputs.nixpkgs.follows = "nixpkgs";
   };
 
@@ -23,81 +23,102 @@
         "aarch64-darwin"
       ];
       forAllSystems = nixpkgs.lib.genAttrs supportedSystems;
+
+      mkDevShellConfig = pkgs: {
+        # includeStandardPackages = false; # opt out of nixfmt/gitlint/gitleaks/shfmt defaults
+
+        extraPackages = with pkgs; [
+          # add your tools here, e.g.:
+          # go
+          # bun
+          # rustc
+        ];
+
+        features = {
+          # oxfmt = true;  # enables oxfmt + oxlint from nixpkgs
+        };
+
+        formatters = {
+          # shfmt.enable = true;
+          # gofmt.enable = true;
+        };
+
+        formatterSettings = {
+          # shfmt.options = [ "-i" "2" "-s" "-w" ];
+          # oxfmt.includes = [ "*.ts" "*.tsx" "*.js" "*.json" ];
+        };
+
+        additionalHooks = {
+          tests = {
+            enable = true;
+            entry = "echo 'No tests defined yet.'"; # replace with your test command
+            pass_filenames = false;
+            stages = [ "pre-push" ];
+          };
+          # my-hook = {
+          #   enable = true;
+          #   entry = "${pkgs.some-tool}/bin/some-tool";
+          #   pass_filenames = false;
+          # };
+        };
+
+        tools = [
+          # { name = "Bun";   bin = "${pkgs.bun}/bin/bun";    versionCmd = "--version"; color = "YELLOW"; }
+          # { name = "Go";    bin = "${pkgs.go}/bin/go";       versionCmd = "version";   color = "CYAN";   }
+          # { name = "Rust";  bin = "${pkgs.rustc}/bin/rustc"; versionCmd = "--version"; color = "YELLOW"; }
+        ];
+
+        extraShellHook = ''
+          # any repo-specific shell setup here
+        '';
+      };
     in
     {
       devShells = forAllSystems (
         system:
         let
           pkgs = import nixpkgs { inherit system; };
-          env = devshell-lib.lib.mkDevShell {
+          config = mkDevShellConfig pkgs;
-            inherit system;
+          env = devshell-lib.lib.mkDevShell (
-
+            ({ inherit system; } // config)
-            # includeStandardPackages = false; # opt out of nixfmt/gitlint/gitleaks/shfmt defaults
+            // {
-
+              extraPackages = config.extraPackages ++ [ self.packages.${system}.release ];
-            extraPackages = with pkgs; [
+            }
-              # add your tools here, e.g.:
+          );
-              # go
-              # bun
-              # rustc
-            ];
-
-            features = {
-              # oxfmt = true;  # enables oxfmt + oxlint from nixpkgs
-            };
-
-            formatters = {
-              # shfmt.enable = true;
-              # gofmt.enable = true;
-            };
-
-            formatterSettings = {
-              # shfmt.options = [ "-i" "2" "-s" "-w" ];
-              # oxfmt.includes = [ "*.ts" "*.tsx" "*.js" "*.json" ];
-            };
-
-            additionalHooks = {
-              tests = {
-                enable = true;
-                entry = "echo 'No tests defined yet.'"; # replace with your test command
-                pass_filenames = false;
-                stages = [ "pre-push" ];
-              };
-              # my-hook = {
-              #   enable = true;
-              #   entry = "${pkgs.some-tool}/bin/some-tool";
-              #   pass_filenames = false;
-              # };
-            };
-
-            tools = [
-              # { name = "Bun";   bin = "${pkgs.bun}/bin/bun";    versionCmd = "--version"; color = "YELLOW"; }
-              # { name = "Go";    bin = "${pkgs.go}/bin/go";       versionCmd = "version";   color = "CYAN";   }
-              # { name = "Rust";  bin = "${pkgs.rustc}/bin/rustc"; versionCmd = "--version"; color = "YELLOW"; }
-            ];
-
-            extraShellHook = ''
-              # any repo-specific shell setup here
-            '';
-          };
         in
         {
           default = env.shell;
         }
       );
 
+      packages = forAllSystems (system: {
+        release = devshell-lib.lib.mkRelease {
+          inherit system;
+        };
+      });
+
       checks = forAllSystems (
         system:
         let
-          env = devshell-lib.lib.mkDevShell { inherit system; };
+          pkgs = import nixpkgs { inherit system; };
+          config = mkDevShellConfig pkgs;
+          env = devshell-lib.lib.mkDevShell ({ inherit system; } // config);
         in
         {
           inherit (env) pre-commit-check;
         }
       );
 
-      formatter = forAllSystems (system: (devshell-lib.lib.mkDevShell { inherit system; }).formatter);
+      formatter = forAllSystems (
+        system:
+        let
+          pkgs = import nixpkgs { inherit system; };
+          config = mkDevShellConfig pkgs;
+        in
+        (devshell-lib.lib.mkDevShell ({ inherit system; } // config)).formatter
+      );
 
-      # Optional: release command (`release`)
+      # Release command (`release`)
       #
       # The release script always updates VERSION first, then:
       #   1) runs release steps in order (file writes and scripts)
@@ -107,6 +128,7 @@
       # Runtime env vars available in release.run/postVersion:
       #   BASE_VERSION, CHANNEL, PRERELEASE_NUM, FULL_VERSION, FULL_TAG
       #
+      # To customize release behavior in your repo, edit:
       # packages = forAllSystems (
       #   system:
       #   {

tests/release.sh

@@ -0,0 +1,657 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+ROOT_DIR="${REPO_LIB_ROOT:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)}"
+RELEASE_TEMPLATE="$ROOT_DIR/packages/release/release.sh"
+CURRENT_LOG=""
+
+fail() {
+	echo "[test] FAIL: $*" >&2
+	if [[ -n "$CURRENT_LOG" && -f "$CURRENT_LOG" ]]; then
+		echo "[test] ---- captured output ----" >&2
+		cat "$CURRENT_LOG" >&2
+		echo "[test] -------------------------" >&2
+	fi
+	exit 1
+}
+
+assert_eq() {
+	local expected="$1"
+	local actual="$2"
+	local message="$3"
+	if [[ "$expected" != "$actual" ]]; then
+		fail "$message (expected '$expected', got '$actual')"
+	fi
+}
+
+assert_contains() {
+	local needle="$1"
+	local haystack_file="$2"
+	local message="$3"
+	if ! grep -Fq "$needle" "$haystack_file"; then
+		fail "$message (missing '$needle')"
+	fi
+}
+
+run_capture_ok() {
+	local description="$1"
+	shift
+	if ! "$@" >>"$CURRENT_LOG" 2>&1; then
+		fail "$description"
+	fi
+}
+
+make_release_script() {
+	local target="$1"
+	sed \
+		-e 's/__CHANNEL_LIST__/alpha beta rc internal/g' \
+		-e 's/__RELEASE_STEPS__/:/' \
+		-e 's/__POST_VERSION__/:/' \
+		"$RELEASE_TEMPLATE" >"$target"
+	chmod +x "$target"
+}
+
+setup_repo() {
+	local repo_dir="$1"
+	local remote_dir="$2"
+
+	mkdir -p "$repo_dir"
+	run_capture_ok "setup_repo: git init failed" git -C "$repo_dir" init
+	run_capture_ok "setup_repo: git config user.name failed" git -C "$repo_dir" config user.name "Release Test"
+	run_capture_ok "setup_repo: git config user.email failed" git -C "$repo_dir" config user.email "release-test@example.com"
+
+	cat >"$repo_dir/flake.nix" <<'EOF'
+{
+  description = "release test";
+  outputs = { self }: { };
+}
+EOF
+
+	printf '1.0.0\nstable\n0\n' >"$repo_dir/VERSION"
+	run_capture_ok "setup_repo: git add failed" git -C "$repo_dir" add -A
+	run_capture_ok "setup_repo: git commit failed" git -C "$repo_dir" commit -m "init"
+
+	run_capture_ok "setup_repo: git init --bare failed" git init --bare "$remote_dir"
+	run_capture_ok "setup_repo: git remote add failed" git -C "$repo_dir" remote add origin "$remote_dir"
+	run_capture_ok "setup_repo: initial push failed" git -C "$repo_dir" push -u origin HEAD
+}
+
+version_from_file() {
+	local repo_dir="$1"
+	local base channel n
+	base="$(sed -n '1p' "$repo_dir/VERSION" | tr -d '\r')"
+	channel="$(sed -n '2p' "$repo_dir/VERSION" | tr -d '\r')"
+	n="$(sed -n '3p' "$repo_dir/VERSION" | tr -d '\r')"
+
+	if [[ -z "$channel" || "$channel" == "stable" ]]; then
+		echo "$base"
+	else
+		echo "$base-$channel.$n"
+	fi
+}
+
+prepare_case_repo() {
+	local repo_dir="$1"
+	local remote_dir="$2"
+
+	setup_repo "$repo_dir" "$remote_dir"
+	make_release_script "$repo_dir/release"
+
+	mkdir -p "$repo_dir/bin"
+	cat >"$repo_dir/bin/nix" <<'EOF'
+#!/usr/bin/env bash
+if [[ "${1-}" == "fmt" ]]; then
+	exit 0
+fi
+echo "unexpected nix invocation: $*" >&2
+exit 1
+EOF
+	chmod +x "$repo_dir/bin/nix"
+}
+
+run_release() {
+	local repo_dir="$1"
+	shift
+	(
+		cd "$repo_dir"
+		PATH="$repo_dir/bin:$PATH" ./release "$@"
+	)
+}
+
+qc_version_cmp() {
+	# Returns: 0 if equal, 1 if v1 > v2, 2 if v1 < v2
+	local v1="$1" v2="$2"
+	[[ $v1 == "$v2" ]] && return 0
+
+	local base1="" pre1="" base2="" pre2=""
+	if [[ $v1 =~ ^([0-9]+\.[0-9]+\.[0-9]+)-(.+)$ ]]; then
+		base1="${BASH_REMATCH[1]}"
+		pre1="${BASH_REMATCH[2]}"
+	else
+		base1="$v1"
+	fi
+	if [[ $v2 =~ ^([0-9]+\.[0-9]+\.[0-9]+)-(.+)$ ]]; then
+		base2="${BASH_REMATCH[1]}"
+		pre2="${BASH_REMATCH[2]}"
+	else
+		base2="$v2"
+	fi
+
+	if [[ $base1 != "$base2" ]]; then
+		local highest_base
+		highest_base=$(printf '%s\n%s\n' "$base1" "$base2" | sort -V | tail -n1)
+		[[ $highest_base == "$base1" ]] && return 1 || return 2
+	fi
+
+	[[ -z $pre1 && -n $pre2 ]] && return 1
+	[[ -n $pre1 && -z $pre2 ]] && return 2
+	[[ -z $pre1 && -z $pre2 ]] && return 0
+
+	local highest_pre
+	highest_pre=$(printf '%s\n%s\n' "$pre1" "$pre2" | sort -V | tail -n1)
+	[[ $highest_pre == "$pre1" ]] && return 1 || return 2
+}
+
+qc_parse_base_version() {
+	local v="$1"
+	if [[ ! $v =~ ^([0-9]+)\.([0-9]+)\.([0-9]+)$ ]]; then
+		return 1
+	fi
+	QC_MAJOR="${BASH_REMATCH[1]}"
+	QC_MINOR="${BASH_REMATCH[2]}"
+	QC_PATCH="${BASH_REMATCH[3]}"
+	return 0
+}
+
+qc_parse_full_version() {
+	local v="$1"
+	QC_CHANNEL="stable"
+	QC_PRERELEASE_NUM=""
+
+	if [[ $v =~ ^([0-9]+\.[0-9]+\.[0-9]+)-([a-zA-Z]+)\.([0-9]+)$ ]]; then
+		QC_BASE_VERSION="${BASH_REMATCH[1]}"
+		QC_CHANNEL="${BASH_REMATCH[2]}"
+		QC_PRERELEASE_NUM="${BASH_REMATCH[3]}"
+	elif [[ $v =~ ^([0-9]+\.[0-9]+\.[0-9]+)$ ]]; then
+		QC_BASE_VERSION="${BASH_REMATCH[1]}"
+	else
+		return 1
+	fi
+
+	qc_parse_base_version "$QC_BASE_VERSION"
+}
+
+qc_validate_channel() {
+	local channel="$1"
+	[[ $channel == "stable" || $channel == "alpha" || $channel == "beta" || $channel == "rc" || $channel == "internal" ]]
+}
+
+qc_compute_full_version() {
+	if [[ $QC_CHANNEL == "stable" || -z $QC_CHANNEL ]]; then
+		QC_FULL_VERSION="$QC_BASE_VERSION"
+	else
+		QC_FULL_VERSION="$QC_BASE_VERSION-$QC_CHANNEL.${QC_PRERELEASE_NUM:-1}"
+	fi
+}
+
+qc_bump_base_version() {
+	qc_parse_base_version "$QC_BASE_VERSION"
+	case "$1" in
+	major)
+		QC_MAJOR=$((QC_MAJOR + 1))
+		QC_MINOR=0
+		QC_PATCH=0
+		;;
+	minor)
+		QC_MINOR=$((QC_MINOR + 1))
+		QC_PATCH=0
+		;;
+	patch)
+		QC_PATCH=$((QC_PATCH + 1))
+		;;
+	esac
+	QC_BASE_VERSION="$QC_MAJOR.$QC_MINOR.$QC_PATCH"
+}
+
+qc_oracle_init() {
+	QC_STATE_BASE="1.0.0"
+	QC_STATE_CHANNEL="stable"
+	QC_STATE_PRE=""
+}
+
+qc_oracle_current_full() {
+	QC_BASE_VERSION="$QC_STATE_BASE"
+	QC_CHANNEL="$QC_STATE_CHANNEL"
+	QC_PRERELEASE_NUM="$QC_STATE_PRE"
+	qc_compute_full_version
+	echo "$QC_FULL_VERSION"
+}
+
+qc_pick_channel() {
+	local channels=(alpha beta rc internal)
+	echo "${channels[RANDOM % ${#channels[@]}]}"
+}
+
+qc_build_random_command() {
+	local current_full="$1"
+	QC_CMD_ARGS=()
+
+	local mode=$((RANDOM % 7))
+	case "$mode" in
+	0)
+		QC_CMD_ARGS=(patch)
+		;;
+	1)
+		local bumps=(major minor patch)
+		QC_CMD_ARGS=("${bumps[RANDOM % ${#bumps[@]}]}")
+		;;
+	2)
+		local bumps=(major minor patch)
+		QC_CMD_ARGS=("${bumps[RANDOM % ${#bumps[@]}]}" "$(qc_pick_channel)")
+		;;
+	3)
+		QC_CMD_ARGS=("$(qc_pick_channel)")
+		;;
+	4)
+		if (( RANDOM % 2 == 0 )); then
+			QC_CMD_ARGS=(stable)
+		else
+			QC_CMD_ARGS=(full)
+		fi
+		;;
+	5)
+		QC_CMD_ARGS=(set "$current_full")
+		;;
+	6)
+		qc_parse_base_version "$QC_STATE_BASE"
+		if (( RANDOM % 2 == 0 )); then
+			QC_CMD_ARGS=(set "$((QC_MAJOR + 1)).0.0")
+		else
+			QC_CMD_ARGS=(set "$QC_STATE_BASE-$(qc_pick_channel).1")
+		fi
+		;;
+	esac
+}
+
+qc_oracle_apply() {
+	local current_full
+	current_full="$(qc_oracle_current_full)"
+
+	QC_EXPECT_SUCCESS=0
+	QC_EXPECT_VERSION="$current_full"
+
+	local action="${1-}"
+	shift || true
+
+	if [[ $action == "set" ]]; then
+		local newv="${1-}"
+		[[ -z $newv ]] && return 0
+		qc_parse_full_version "$newv" || return 0
+		qc_validate_channel "$QC_CHANNEL" || return 0
+		if [[ $QC_STATE_CHANNEL != "stable" && $QC_CHANNEL == "stable" ]]; then
+			return 0
+		fi
+		qc_compute_full_version
+		local cmp_status=0
+		qc_version_cmp "$QC_FULL_VERSION" "$current_full" || cmp_status=$?
+		if [[ $cmp_status -eq 0 || $cmp_status -eq 2 ]]; then
+			return 0
+		fi
+
+		QC_STATE_BASE="$QC_BASE_VERSION"
+		QC_STATE_CHANNEL="$QC_CHANNEL"
+		QC_STATE_PRE="$QC_PRERELEASE_NUM"
+		QC_EXPECT_SUCCESS=1
+		QC_EXPECT_VERSION="$QC_FULL_VERSION"
+		return 0
+	fi
+
+	local part="" target_channel="" was_channel_only=0
+	case "$action" in
+	"")
+		part="patch"
+		;;
+	major | minor | patch)
+		part="$action"
+		target_channel="${1-}"
+		if [[ -n ${1-} ]]; then
+			shift || true
+			[[ -n ${1-} ]] && return 0
+		fi
+		;;
+	stable | full)
+		[[ -n ${1-} ]] && return 0
+		target_channel="stable"
+		;;
+	alpha | beta | rc | internal)
+		[[ -n ${1-} ]] && return 0
+		target_channel="$action"
+		was_channel_only=1
+		;;
+	*)
+		return 0
+		;;
+	esac
+
+	[[ -z $target_channel ]] && target_channel="$QC_STATE_CHANNEL"
+	[[ $target_channel == "full" ]] && target_channel="stable"
+	qc_validate_channel "$target_channel" || return 0
+	if [[ $QC_STATE_CHANNEL != "stable" && $target_channel == "stable" && $action != "stable" && $action != "full" ]]; then
+		return 0
+	fi
+
+	if [[ -z $part && $was_channel_only -eq 1 && $QC_STATE_CHANNEL == "stable" && $target_channel != "stable" ]]; then
+		part="patch"
+	fi
+
+	QC_BASE_VERSION="$QC_STATE_BASE"
+	QC_CHANNEL="$QC_STATE_CHANNEL"
+	QC_PRERELEASE_NUM="$QC_STATE_PRE"
+
+	local old_base="$QC_BASE_VERSION"
+	local old_channel="$QC_CHANNEL"
+	local old_pre="$QC_PRERELEASE_NUM"
+
+	[[ -n $part ]] && qc_bump_base_version "$part"
+
+	if [[ $target_channel == "stable" ]]; then
+		QC_CHANNEL="stable"
+		QC_PRERELEASE_NUM=""
+	else
+		if [[ $QC_BASE_VERSION == "$old_base" && $target_channel == "$old_channel" && -n $old_pre ]]; then
+			QC_PRERELEASE_NUM=$((old_pre + 1))
+		else
+			QC_PRERELEASE_NUM=1
+		fi
+		QC_CHANNEL="$target_channel"
+	fi
+
+	qc_compute_full_version
+	if [[ $QC_FULL_VERSION == "$current_full" ]]; then
+		return 0
+	fi
+
+	QC_STATE_BASE="$QC_BASE_VERSION"
+	QC_STATE_CHANNEL="$QC_CHANNEL"
+	QC_STATE_PRE="$QC_PRERELEASE_NUM"
+	QC_EXPECT_SUCCESS=1
+	QC_EXPECT_VERSION="$QC_FULL_VERSION"
+}
+
+run_randomized_quickcheck_cases() {
+	local case_name="randomized quickcheck transitions"
+	local trials="${QUICKCHECK_TRIALS:-20}"
+	local max_steps="${QUICKCHECK_MAX_STEPS:-7}"
+
+	local trial
+	for ((trial = 1; trial <= trials; trial++)); do
+		local workdir
+		workdir="$(mktemp -d)"
+		local repo_dir="$workdir/repo"
+		local remote_dir="$workdir/remote.git"
+		local setup_log="$workdir/setup.log"
+		CURRENT_LOG="$setup_log"
+
+		prepare_case_repo "$repo_dir" "$remote_dir"
+		qc_oracle_init
+
+		local steps=$((1 + RANDOM % max_steps))
+		local step
+		for ((step = 1; step <= steps; step++)); do
+			local step_log="$workdir/trial-${trial}-step-${step}.log"
+			local before_version
+			before_version="$(version_from_file "$repo_dir")"
+			local cmd_display=""
+			local step_result=""
+			local before_head
+			before_head="$(git -C "$repo_dir" rev-parse HEAD)"
+
+			local oracle_before
+			oracle_before="$(qc_oracle_current_full)"
+			qc_build_random_command "$oracle_before"
+			qc_oracle_apply "${QC_CMD_ARGS[@]}"
+			cmd_display="${QC_CMD_ARGS[*]}"
+
+			{
+				echo "[test] randomized trial=$trial/$trials step=$step/$steps"
+				echo "[test] command: ${QC_CMD_ARGS[*]}"
+				echo "[test] expect_success=$QC_EXPECT_SUCCESS expect_version=$QC_EXPECT_VERSION"
+			} >"$step_log"
+			CURRENT_LOG="$step_log"
+
+			set +e
+			run_release "$repo_dir" "${QC_CMD_ARGS[@]}" >>"$step_log" 2>&1
+			local status=$?
+			set -e
+
+			if [[ $QC_EXPECT_SUCCESS -eq 1 ]]; then
+				if [[ $status -ne 0 ]]; then
+					fail "$case_name: trial $trial step $step expected success for '${QC_CMD_ARGS[*]}'"
+				fi
+
+				local got_version
+				got_version="$(version_from_file "$repo_dir")"
+				assert_eq "$QC_EXPECT_VERSION" "$got_version" "$case_name: trial $trial step $step VERSION mismatch for '${QC_CMD_ARGS[*]}'"
+				step_result="$got_version"
+
+				if ! git -C "$repo_dir" tag --list | grep -qx "v$QC_EXPECT_VERSION"; then
+					fail "$case_name: trial $trial step $step expected tag v$QC_EXPECT_VERSION for '${QC_CMD_ARGS[*]}'"
+				fi
+			else
+				if [[ $status -eq 0 ]]; then
+					fail "$case_name: trial $trial step $step expected failure for '${QC_CMD_ARGS[*]}'"
+				fi
+
+				local got_version
+				got_version="$(version_from_file "$repo_dir")"
+				assert_eq "$before_version" "$got_version" "$case_name: trial $trial step $step VERSION changed on failure for '${QC_CMD_ARGS[*]}'"
+				step_result="fail (unchanged: $got_version)"
+
+				local after_head
+				after_head="$(git -C "$repo_dir" rev-parse HEAD)"
+				assert_eq "$before_head" "$after_head" "$case_name: trial $trial step $step HEAD changed on failure for '${QC_CMD_ARGS[*]}'"
+			fi
+
+			echo "[test] PASS: randomized quickcheck trial $trial/$trials step $step/$steps from $before_version run '$cmd_display' -> $step_result" >&2
+		done
+
+		echo "[test] PASS: randomized quickcheck trial $trial/$trials" >&2
+
+		rm -rf "$workdir"
+		CURRENT_LOG=""
+	done
+
+	echo "[test] PASS: $case_name ($trials trials)" >&2
+}
+
+run_case() {
+	local case_name="$1"
+	local command_args="$2"
+	local expected_version="$3"
+
+	local workdir
+	workdir="$(mktemp -d)"
+	local repo_dir="$workdir/repo"
+	local remote_dir="$workdir/remote.git"
+	CURRENT_LOG="$workdir/case.log"
+
+	prepare_case_repo "$repo_dir" "$remote_dir"
+
+	run_capture_ok "$case_name: release command failed ($command_args)" run_release "$repo_dir" $command_args
+
+	local got_version
+	got_version="$(version_from_file "$repo_dir")"
+	assert_eq "$expected_version" "$got_version" "$case_name: VERSION mismatch"
+
+	if ! git -C "$repo_dir" tag --list | grep -qx "v$expected_version"; then
+		fail "$case_name: expected tag v$expected_version was not created"
+	fi
+
+	rm -rf "$workdir"
+	CURRENT_LOG=""
+	echo "[test] PASS: $case_name" >&2
+}
+
+run_set_prerelease_then_full_case() {
+	local case_name="set prerelease then full promotes to stable"
+
+	local workdir
+	workdir="$(mktemp -d)"
+	local repo_dir="$workdir/repo"
+	local remote_dir="$workdir/remote.git"
+	CURRENT_LOG="$workdir/case.log"
+
+	prepare_case_repo "$repo_dir" "$remote_dir"
+
+	run_capture_ok "$case_name: release set failed" run_release "$repo_dir" set 1.1.5-beta.1
+	run_capture_ok "$case_name: release full failed" run_release "$repo_dir" full
+
+	local got_version
+	got_version="$(version_from_file "$repo_dir")"
+	assert_eq "1.1.5" "$got_version" "$case_name: VERSION mismatch"
+
+	if ! git -C "$repo_dir" tag --list | grep -qx "v1.1.5"; then
+		fail "$case_name: expected tag v1.1.5 was not created"
+	fi
+
+	rm -rf "$workdir"
+	CURRENT_LOG=""
+	echo "[test] PASS: $case_name" >&2
+}
+
+run_set_stable_then_full_noop_case() {
+	local case_name="set stable then full fails with no-op"
+
+	local workdir
+	workdir="$(mktemp -d)"
+	local repo_dir="$workdir/repo"
+	local remote_dir="$workdir/remote.git"
+	CURRENT_LOG="$workdir/case.log"
+
+	prepare_case_repo "$repo_dir" "$remote_dir"
+
+	run_capture_ok "$case_name: release set failed" run_release "$repo_dir" set 1.1.5
+
+	local before_head
+	before_head="$(git -C "$repo_dir" rev-parse HEAD)"
+
+	local err_file="$workdir/full.err"
+	set +e
+	run_release "$repo_dir" full >"$err_file" 2>&1
+	local status=$?
+	set -e
+	cat "$err_file" >>"$CURRENT_LOG"
+
+	if [[ $status -eq 0 ]]; then
+		fail "$case_name: expected release full to fail on no-op version"
+	fi
+
+	assert_contains "Version 1.1.5 is already current; nothing to do." "$err_file" "$case_name: missing no-op message"
+
+	local after_head
+	after_head="$(git -C "$repo_dir" rev-parse HEAD)"
+	assert_eq "$before_head" "$after_head" "$case_name: HEAD changed despite no-op failure"
+
+	local got_version
+	got_version="$(version_from_file "$repo_dir")"
+	assert_eq "1.1.5" "$got_version" "$case_name: VERSION changed after no-op failure"
+
+	rm -rf "$workdir"
+	CURRENT_LOG=""
+	echo "[test] PASS: $case_name" >&2
+}
+
+run_set_stable_from_prerelease_requires_full_case() {
+	local case_name="set stable from prerelease requires full"
+
+	local workdir
+	workdir="$(mktemp -d)"
+	local repo_dir="$workdir/repo"
+	local remote_dir="$workdir/remote.git"
+	CURRENT_LOG="$workdir/case.log"
+
+	prepare_case_repo "$repo_dir" "$remote_dir"
+
+	run_capture_ok "$case_name: release set prerelease failed" run_release "$repo_dir" set 1.1.5-beta.1
+
+	local before_head
+	before_head="$(git -C "$repo_dir" rev-parse HEAD)"
+
+	local err_file="$workdir/set-stable.err"
+	set +e
+	run_release "$repo_dir" set 1.1.5 >"$err_file" 2>&1
+	local status=$?
+	set -e
+	cat "$err_file" >>"$CURRENT_LOG"
+
+	if [[ $status -eq 0 ]]; then
+		fail "$case_name: expected release set stable to fail from prerelease"
+	fi
+
+	assert_contains "promote using 'stable' or 'full' only" "$err_file" "$case_name: missing guardrail message"
+
+	local after_head
+	after_head="$(git -C "$repo_dir" rev-parse HEAD)"
+	assert_eq "$before_head" "$after_head" "$case_name: HEAD changed despite guardrail failure"
+
+	local got_version
+	got_version="$(version_from_file "$repo_dir")"
+	assert_eq "1.1.5-beta.1" "$got_version" "$case_name: VERSION changed after guardrail failure"
+
+	rm -rf "$workdir"
+	CURRENT_LOG=""
+	echo "[test] PASS: $case_name" >&2
+}
+
+run_patch_stable_from_prerelease_requires_full_case() {
+	local case_name="patch stable from prerelease requires full"
+
+	local workdir
+	workdir="$(mktemp -d)"
+	local repo_dir="$workdir/repo"
+	local remote_dir="$workdir/remote.git"
+	CURRENT_LOG="$workdir/case.log"
+
+	prepare_case_repo "$repo_dir" "$remote_dir"
+
+	run_capture_ok "$case_name: release set prerelease failed" run_release "$repo_dir" set 1.1.5-beta.1
+
+	local before_head
+	before_head="$(git -C "$repo_dir" rev-parse HEAD)"
+
+	local err_file="$workdir/patch-stable.err"
+	set +e
+	run_release "$repo_dir" patch stable >"$err_file" 2>&1
+	local status=$?
+	set -e
+	cat "$err_file" >>"$CURRENT_LOG"
+
+	if [[ $status -eq 0 ]]; then
+		fail "$case_name: expected release patch stable to fail from prerelease"
+	fi
+
+	assert_contains "promote using 'stable' or 'full' only" "$err_file" "$case_name: missing guardrail message"
+
+	local after_head
+	after_head="$(git -C "$repo_dir" rev-parse HEAD)"
+	assert_eq "$before_head" "$after_head" "$case_name: HEAD changed despite guardrail failure"
+
+	local got_version
+	got_version="$(version_from_file "$repo_dir")"
+	assert_eq "1.1.5-beta.1" "$got_version" "$case_name: VERSION changed after guardrail failure"
+
+	rm -rf "$workdir"
+	CURRENT_LOG=""
+	echo "[test] PASS: $case_name" >&2
+}
+
+run_case "channel-only from stable bumps patch" "beta" "1.0.1-beta.1"
+run_case "explicit minor bump keeps requested bump" "minor beta" "1.1.0-beta.1"
+run_set_prerelease_then_full_case
+run_set_stable_then_full_noop_case
+run_set_stable_from_prerelease_requires_full_case
+run_patch_stable_from_prerelease_requires_full_case
+run_randomized_quickcheck_cases
+
+echo "[test] All release tests passed" >&2