with linux-aarch64 cross seed

CI cross-built native linux-aarch64 with compiler (from withlang-dev/with@1aed64d). Intermediate seed for a native aarch64 stage1->stage2->stage3 bootstrap; NOT fixpoint-verified here.

Static LLVM 22.1.6 SDK (windows-aarch64)

CI-built static LLVM/Clang/lld SDK for windows-aarch64. Extracts to .deps/llvm-22.1.6-windows-aarch64-msvc/. Prerequisite for cross-building a windows-aarch64 with stage1 seed.

Static LLVM 22.1.6 SDK (linux-aarch64)

CI-built static LLVM/Clang/lld SDK for linux-aarch64. Extracts to .deps/llvm-22.1.6-linux-aarch64/. Prerequisite for cross-building a linux-aarch64 with stage1 seed.

Disposable nightly release test 31950474680.1

Automated test compiler prerelease.

Source commit: 0861174
Workflow run: https://github.com/ropoctl/with/actions/runs/31950474680
Compiler version: v0.15.1
Platforms: darwin-aarch64, linux-x86_64

Release contents:

• Fixpoint-verified compiler binaries with SHA-256 sidecars
• Available checksum-pinned LLVM 22.1.6 SDK archives, SHA-256 sidecars, and manifests

Verification gates on each platform:

• WITH_VERSION=v0.15.1 with build
• WITH_VERSION=v0.15.1 with build :fixpoint
• Fixpoint-verified out/release/bin/with copied to each platform asset with a SHA-256 sidecar
• Available verified SDK inputs attached without rebuilding

Disposable nightly release test 31916909838.1

Automated test compiler prerelease.

Source commit: 3c4aad9
Workflow run: https://github.com/ropoctl/with/actions/runs/31916909838
Compiler version: v0.15.1
Platforms: darwin-aarch64, linux-x86_64

Release contents:

• Fixpoint-verified compiler binaries with SHA-256 sidecars
• Checksum-pinned LLVM 22.1.6 SDK archives, SHA-256 sidecars, and manifests

Verification gates on each platform:

• WITH_VERSION=v0.15.1 with build
• WITH_VERSION=v0.15.1 with build :fixpoint
• Fixpoint-verified out/release/bin/with copied to each platform asset with a SHA-256 sidecar
• The same verified SDK inputs used by each build attached without rebuilding

Test SDK for nightly release prototype (Darwin arm64)

Test-only static LLVM SDK for the ropoctl/with nightly-release prototype. Do not treat this tag as a stable compiler release.

Source and bootstrap provenance:

• LLVM release: llvmorg-22.1.6, commit fc4aad7b5db3fff421df9a9637605b9ca5667881
• LLVM source archive SHA-256: 6e0b376a1f6d9873e7dfb09ae6e04b9c7024400f01733fa4c29be69d5c138bc2
• Official first-stage bootstrap: LLVM-22.1.6-macOS-ARM64.tar.xz
• Official bootstrap SHA-256: 8059d9d9eeb059c30d812b4a37291888f8dcba04d2b5ace61fd12d2904eaa0e9
• CMake 4.2.3 source SHA-256: 7efaccde8c5a6b2968bad6ce0fe60e19b6e10701a12fce948c2bf79bac8a11e9
• Ninja 1.13.1 source SHA-256: f0055ad0369bf2e372955ba55128d000cfcc21777057806015b45e4accbebf23
• Build compilers: the official bootstrap archive's clang and clang++
• Link driver flags: -fuse-ld=lld
• Host architecture: arm64; LLVM targets: AArch64;X86

The graph-owned :package-llvm-sdk target produced this asset. A fresh extraction verified the complete CMake runtime tree, Clang builtin headers, static libclang and clang_createIndex, clang, clang++, lld drivers, llvm-nm, llvm-readobj, llvm-objcopy, llvm-strip, CMake, and Ninja. Selected symlinks were checked for dangling targets, and a minimal project configured with the extracted CMake/Ninja pair.

SDK SHA-256: 2624430adb373a1d54659c1efc7d00554da249914f8e6c72efa56bbcfbc3a827

Validated Darwin and Linux SDK test (680aa139)

Test-only static LLVM SDKs for the ropoctl/with nightly-release prototype. Do not treat this tag as a stable compiler release.

Packaging source

• Tag: nightly-sdk-test-20260815-680aa139
• Commit: 680aa139 (build: include complete LLVM tool drivers)
• The graph-owned :package-llvm-sdk target produced both archives.

Common source provenance

• LLVM release: llvmorg-22.1.6, commit fc4aad7b5db3fff421df9a9637605b9ca5667881
• LLVM source archive SHA-256: 6e0b376a1f6d9873e7dfb09ae6e04b9c7024400f01733fa4c29be69d5c138bc2
• CMake 4.2.3 source SHA-256: 7efaccde8c5a6b2968bad6ce0fe60e19b6e10701a12fce948c2bf79bac8a11e9
• Ninja 1.13.1 source SHA-256: f0055ad0369bf2e372955ba55128d000cfcc21777057806015b45e4accbebf23
• LLVM targets: AArch64;X86; link driver flags: -fuse-ld=lld

Darwin arm64 bootstrap

• Official bootstrap: LLVM-22.1.6-macOS-ARM64.tar.xz
• Bootstrap SHA-256: 8059d9d9eeb059c30d812b4a37291888f8dcba04d2b5ace61fd12d2904eaa0e9
• Asset SHA-256: 4f99fc99a933ee3cf0578336a4fbbbcaaedbbe89112cd49454ea64149c188e6d

Linux x86_64 bootstrap

• Official bootstrap: LLVM-22.1.6-Linux-X64.tar.xz
• Bootstrap SHA-256: c5ac8ef89ca39d30cb32e9b83772f995dd891c685ebc188d593c943a64d5f8b5
• Asset SHA-256: c7747403c3556ba9ca6e8f47c5db023798c7c5828c807c4a3b474f0c87db24db

Fresh-extraction verification

Both SDKs verified the exact Clang revision, complete CMake runtime tree, Clang builtin headers, static libclang and clang_createIndex, Clang and lld drivers, llvm-ar/llvm-ranlib, llvm-config, llvm-dwarfdump, llvm-nm, llvm-readobj, llvm-objcopy/llvm-strip, CMake, Ninja, and non-dangling selected symlinks. Fresh CMake/Ninja projects compiled and linked with the extracted Clang. Linux additionally completed a direct ThinLTO archive and link through the extracted llvm-ar, llvm-ranlib, and lld.

Bootstrap seed 9: safe-free build UAF fix (ac8193d5)

Bootstrap seed 9: safe-free with build UAF fix (ac8193d)

Linux x86_64 bootstrap seed. Native ELF with compiler built from source
commit ac8193d5 (branch master), the safe-free chain tip plus the build
use-after-free fix.

What this fixes over seed-08 (d5bae558): seed-08 could not run
with build / build :stage1 at all — it aborted in the build-graph action
path (a Vec[str] owned field moved/bit-copied out of a &BuildGraphTarget
borrow, double-freed at safe-free teardown). This seed carries commits
9cbb488a (clone owned Vec[str] instead of aliasing/moving out of a borrow)
and ac8193d5 (MirLower: scope stmt-temp cleanup to the frame that created
it). With them, a full with build runs end-to-end and stage2 == stage3 is
byte-identical.

Verification (source commit ac8193d):

• full with build: exit 0
• with build :fixpoint: stage2 == stage3 byte-identical
• drop-audit / move-audit: zero regressions vs the pre-fix baseline
• analyze audit:all: 0 violations

Scope — bootstrap-only. This seed is intended for the self-host bootstrap
and CI (build :stage1/:stage2/:stage3 + fixpoint), which only need main.w
to compile. It is NOT yet a supported general-purpose linux-x86_64 user
compiler: a separate, pre-existing front-end teardown bug (tracked as issue E)
makes it panic invalid free while check-ing ordinary programs that use
closures / Box / generics. That is orthogonal to this fix and does not affect
bootstrap.

Asset: with-linux-x86_64 (sha256 in with-linux-x86_64.sha256).

Bootstrap seed 8/8: restore safe free — chain tip (d5bae558)

Bootstrap seed — Linux x86_64 stage3 @ d5bae558 (chain rung 8 / 8 — chain tip)

This asset is the Linux x86_64 self-hosted with compiler (a stage3 build)
at commit d5bae5587f60b4a8afd6cb26cef288d11be127e7 — the tip of master.

• Commit: d5bae558 — rt: restore safe free — NEVER_FREE_MODE 1 -> 0
• Role: rung 8 of 8 — restores real free(). This is the endpoint the whole
  chain exists to reach: the D22 map-view flip landed and memory is freed for
  real, with no double-free.
• Predecessor seed: rung 7 (9afc7d71) stage3.
• What it changes: flips NEVER_FREE_MODE from 1 back to 0 in rt/rt_core.w.
  With rung 7's deep-copy fix in place, the compiler compiles all ~26k lines of
  itself with real free() and no double-free.
• Verification: re-verified this cycle — seeded from rung 7, full
  stage1/2/3 build, byte-identical fixpoint (stage2 == stage3),
  sha256 = 2723fa24cd60aa96c5d9f6586f3da3393c95a8c7f8487894ba1d5c1079b40743
  (this asset). Determinism cross-check: the same tip stage3 is produced whether
  seeded from rung 7 or directly from rung 6 — the safe-free tip is a stable
  fixed point. This is the seed the Linux CI bootstrap pulls in.

Asset: with-linux-x86_64 (+ .sha256). Use as a bootstrap seed:
WITH=./with-linux-x86_64 with build :stage1 (needs the pinned LLVM SDK in .deps/).

Bootstrap seed 7/8: deep-copy bitpacked_types (9afc7d71)

Bootstrap seed — Linux x86_64 stage3 @ 9afc7d71 (chain rung 7 / 8)

This asset is the Linux x86_64 self-hosted with compiler (a stage3 build)
at commit 9afc7d717bcaedaf5f20ad95276816fef7099740.

• Commit: 9afc7d71 — Mir: deep-copy bitpacked_types in
  snapshot_sema_types (safe-free correctness)
• Role: rung 7 of 8 — the safe-free correctness fix.
• Predecessor seed: rung 6 (7d11c42e) stage3.
• What it changes: MirModule.snapshot_sema_types(&Sema) deep-copies
  bitpacked_types instead of shallow-copying the HashMap handle out of a
  borrowed &Sema. The shallow copy aliased one runtime buffer between
  last_sema and last_mir_module, which both freed at teardown → the
  double-free that NEVER_FREE_MODE=1 was masking. This is the fix that makes
  restoring real free() (rung 8) safe.
• Verification: re-verified this cycle — seeded from rung 6, full
  stage1/2/3 build, byte-identical fixpoint (stage2 == stage3). Still
  NEVER_FREE_MODE=1 at this rung (the flag flips at rung 8).

Asset: with-linux-x86_64 (+ .sha256). Use as a bootstrap seed:
WITH=./with-linux-x86_64 with build :stage1 (needs the pinned LLVM SDK in .deps/).