[compiler-bin] Rearchitect Iris around package-aware builds

.agents/skills/cutting-releases/SKILL.md

@@ -42,25 +42,25 @@ Both commands should report that the target does not exist. Stop if either exist
 
 Create a release branch from current `main`. Update both version sources:
 
-- `compiler-bin/Cargo.toml`: package `version`
-- `Cargo.lock`: the `purescript-iris` package `version`
+- `compiler-bin/iris-cli/Cargo.toml`: package `version`
+- `Cargo.lock`: the `iris-cli` package `version`
 
 Do not change the internal compiler crates, which remain independently versioned.
 
 Verify the focused package and the user-visible version:
 
 ```bash
-cargo check -p purescript-iris --tests --locked
-cargo run -p purescript-iris --locked \
+cargo check -p iris-cli --tests --locked
+cargo run -p iris-cli --locked \
   --bin iris -- --version
 git diff --check
-git diff -- compiler-bin/Cargo.toml Cargo.lock
+git diff -- compiler-bin/iris-cli/Cargo.toml Cargo.lock
 ```
 
 The CLI must print `iris $version`. Commit only the manifest and lockfile:
 
 ```bash
-git add compiler-bin/Cargo.toml Cargo.lock
+git add compiler-bin/iris-cli/Cargo.toml Cargo.lock
 git commit -m "Prepare $version release"
 ```
 
@@ -94,7 +94,7 @@ Do not tag the release-branch commit. Read the merge commit OID from the merged
 
 - It has two parents.
 - It is the current `origin/main`.
-- `compiler-bin/Cargo.toml` and `Cargo.lock` contain the requested version at that commit.
+- `compiler-bin/iris-cli/Cargo.toml` and `Cargo.lock` contain the requested version at that commit.
 - The remote release tag is still absent.
 
 After tag-push approval, create the lightweight tag on that exact merge commit and push only the tag:

.github/workflows/canary.yml

@@ -43,7 +43,7 @@ jobs:
           COMMIT_SHA: ${{ github.event.workflow_run.head_sha }}
         run: |
           package_version=$(cargo metadata --format-version 1 --no-deps |
-            jq -r '.packages[] | select(.name == "purescript-iris") | .version')
+            jq -r '.packages[] | select(.name == "iris-cli") | .version')
           if [[ ! "$package_version" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]]; then
             echo "Package version must be a stable semantic version, found $package_version." >&2
             exit 1
@@ -138,7 +138,7 @@ jobs:
           IRIS_BUILD_REVISION: ${{ needs.prepare.outputs.revision }}
         with:
           bin: iris
-          package: purescript-iris
+          package: iris-cli
           archive: iris-$target
           include: README.md,LICENSE,ACKNOWLEDGEMENTS.md,THIRDPARTY.toml
           leading-dir: true

.github/workflows/release.yml

@@ -56,7 +56,7 @@ jobs:
         uses: taiki-e/upload-rust-binary-action@v1
         with:
           bin: iris
-          package: purescript-iris
+          package: iris-cli
           archive: iris-$target
           include: README.md,LICENSE,ACKNOWLEDGEMENTS.md,THIRDPARTY.toml
           leading-dir: true