[meta] Prepare 0.1.8 release

[purefunctor]

Bumps iris-cli from 0.1.7 to 0.1.8 in compiler-executable/iris-cli/Cargo.toml and Cargo.lock. Internal compiler crates keep their independent versions.

Verification:

• cargo check -p iris-cli --tests --locked passes.
• cargo run -p iris-cli --locked --bin iris -- --version prints iris 0.1.8.
• git diff --check is clean.

https://ampcode.com/threads/T-01a145e5-6880-743c-8ccd-244cd1b886d4

[purefunctor]

Granite Review

Council

Role	Mode	Status	Attempt	Amp thread
Council member	review-gpt-6-luna	completed	1	T-01a145e8-4919-73ba-8a22-9574ae6b2d55
Council member	review-gpt-6-sol	completed	1	T-01a145e8-4ad3-779d-bf6c-a9e4ae9f71b7
Synthesis	review-astra-synthesis	completed	1	T-01a145eb-ef66-75ba-8d0d-053504067037

Findings

No actionable findings.

[claude]

Review against AGENTS.md and .agents/skills/cutting-releases: no issues found.

The diff changes only the iris-cli version in compiler-executable/iris-cli/Cargo.toml and Cargo.lock, which are the two version sources the release skill names. Internal compiler crates keep their versions, and the commit subject follows the skill's Prepare <version> release form. iris --version gets its value from CARGO_PKG_VERSION through build.rs/IRIS_VERSION, so the manifest bump reaches the user-visible version.

Checks run:

• cargo check -p iris-cli --tests --locked: passes.
• just format --check: clean.
• just licenses, then git status: no changes to THIRDPARTY.toml. The remaining 0.1.7 entries belong to the unrelated num_threads and sharded-slab crates.
• Integration and snapshot runs: not applicable, since no compiler behaviour changes. No pending .snap.new files.
• I could not run iris --version locally because the sandbox blocked it, so the iris 0.1.8 output in the PR description is your own report.

[github-actions]

Compatibility regression report

Package set 81.5.0 for PureScript 0.15.15.

✅ The candidate introduces no compatibility errors.

Diagnostic class	Base	Candidate	Introduced	Fixed
Compiler errors	0	0	0	0
Compiler warnings	36	36	0	0
Verifier errors	0	0	0	0

Introduced errors

None.

Fixed errors (0)

None.

Warning changes (0 introduced, 0 fixed)

Introduced

None.

Fixed

None.

Candidate errors (0)

None.

Candidate warnings (36)

• deno@0.0.5/src/Deno.purs:38:17 — CustomWarning (checking): Data.Map's `Semigroup` instance is now unbiased and differs from the left-biased instance defined in PureScript releases <= 0.13.x.
• deno@0.0.5/src/Deno/Dotenv.purs:41:20 — CustomWarning (checking) × 2: Data.Map's `Semigroup` instance is now unbiased and differs from the left-biased instance defined in PureScript releases <= 0.13.x.
• deno@0.0.5/src/Deno/Http/Request.purs:47:25 — CustomWarning (checking): Data.Map's `Semigroup` instance is now unbiased and differs from the left-biased instance defined in PureScript releases <= 0.13.x.
• literals@1.0.2/src/Literals/Null.purs:11:1 — UnparseableFFIModule (javascript): Oxc could not parse the JavaScript FFI module. Fix the invalid or unsupported JavaScript syntax; Iris treated the module as opaque and skipped export-name validation: Unexpected token
• react-basic-dom-beta@0.1.1/src/Beta/DOM.purs:33:31 — DuplicateImport (indexing): Import list contains multiple references to 'Proxy'
• sparse-polynomials@3.0.1/src/Data/Sparse/Polynomial.purs:1048:1 — MissingPatterns (checking) × 2: Pattern match is not exhaustive. Missing: _
• text-formatting@0.1.0/src/Data/Text/Format/Dodo/Printer.purs:64:25 — CustomWarning (checking) × 23: Debug function usage
• trivial-unfold@0.5.0/src/Data/Unfoldable1/Trivial1.purs:150:17 — MissingPatterns (checking): Pattern match is not exhaustive. Missing: Right _
• xterm@1.0.0/src/XTerm/UnicodeHandling.purs:15:1 — UnparseableFFIModule (javascript) × 2: Oxc could not parse the JavaScript FFI module. Fix the invalid or unsupported JavaScript syntax; Iris treated the module as opaque and skipped export-name validation: Expected a semicolon or an implicit semicolon after a statement, but found none
• yoga-react-dom@2.0.1/src/Yoga/React/DOM.purs:34:31 — DuplicateImport (indexing): Import list contains multiple references to 'Proxy'
• yoga-tree-utils@1.0.0/src/Yoga/Tree/Extended/Path.purs:20:72 — DuplicateImport (indexing): Import list contains multiple references to 'snoc'

View workflow run