Issues

• Next pin sync: mach-yaml, mink host routes and OS floors, masc name resolution, std float work types

  blockedfeatureminor
  briar-systems/mach#4825 · Filter by author octalide opened on Oct 17, 2026
  2

• epic: wasm32 threads

  featureminorparked
  briar-systems/mach#4822 · Filter by author octalide opened on Oct 17, 2026
  1

• epic: wasm32 on WASI preview2 (the component model)

  featureminorparked
  briar-systems/mach#4821 · Filter by author octalide opened on Oct 17, 2026
  1

• Thread-local variables: #[thread] var, lowered onto mirl thread-local globals

  blockedfeatureminor
  briar-systems/mach#4819 · Filter by author octalide opened on Oct 17, 2026

• The middle end's constant folder folds a float NaN with the host's arithmetic

  fixparkedpatch
  briar-systems/mach#4814 · Filter by author octalide opened on Oct 16, 2026
  2

• Language: u256, i256, u512 and i512 integer types

  blockedfeatureminor
  briar-systems/mach#4803 · Filter by author octalide opened on Oct 16, 2026
  1

• x86-64 and AArch64 conventions, AArch64 constant-time and five targets have no owner row, so mach still states them

  blockedfeaturemajor
  briar-systems/mach#4779 · Filter by author octalide opened on Oct 16, 2026
  9

• Sema and the comptime evaluator can read the raw parsed node, where a named index looks like a generic instance

  fixparkedpatch
  briar-systems/mach#4775 · Filter by author octalide opened on Oct 16, 2026
  1

• S9: Delete the code that leaves

  chorepatch
  briar-systems/mach#4651 · Filter by author octalide opened on Oct 8, 2026
  2

• S6: Inline assembly is handed to masc

  featuremajor
  briar-systems/mach#4646 · Filter by author octalide opened on Oct 8, 2026

• S5: Language at the switch: u1 booleans and the zeroize intrinsic

  featuremajor
  briar-systems/mach#4645 · Filter by author octalide opened on Oct 8, 2026

• S3: Lowering builds mirl, and the driver calls mirl, masc and mink in process

  choreminor
  briar-systems/mach#4642 · Filter by author octalide opened on Oct 8, 2026
  15

• epic: toolchain split, mach migration

  choremajor
  briar-systems/mach#4641 · Filter by author octalide opened on Oct 8, 2026

• S8: mach migrate

  featureminor
  briar-systems/mach#4576 · Filter by author octalide opened on Oct 4, 2026
  1

• S7: Command line parity, manifest-less builds and masc's listing

  featuremajor
  briar-systems/mach#4575 · Filter by author octalide opened on Oct 4, 2026
  1

• S10: Release at the switch

  choremajor
  briar-systems/mach#4490 · Filter by author octalide opened on Oct 2, 2026
  38

• F7: Names and docstrings for the code that stays

  chorepatch
  briar-systems/mach#4484 · Filter by author octalide opened on Oct 2, 2026
  1

• S4: Codegen and link become query stages, run by one orchestrator

  chorepatch
  briar-systems/mach#4454 · Filter by author octalide opened on Oct 2, 2026
  1

• RFC: warn when a sel chain misses a tag case

  discussionminorparked
  briar-systems/mach#4266 · Filter by author octalide opened on Sep 30, 2026
  3

• persist mirl modules per module through mirl's serialized form, with test bodies separate

  minorparkedperformance
  briar-systems/mach#3969 · Filter by author octalide opened on Sep 26, 2026
  4

• cache: typed surfaces across processes, type identity design

  discussionfeatureminorparked
  briar-systems/mach#3968 · Filter by author octalide opened on Sep 26, 2026
  4

• RFC: thread-local variables, lowered onto mirl's thread-local globals

  discussionfeatureminor
  briar-systems/mach#3889 · Filter by author octalide opened on Sep 25, 2026
  5

• epic: constant-time guarantees out of experimental preview

  blockedfeatureminor
  briar-systems/mach#3872 · Filter by author octalide opened on Sep 23, 2026
  7

• ct: machine-checked non-interference proof for the secrecy type system

  featureminorparked
  briar-systems/mach#3871 · Filter by author octalide opened on Sep 23, 2026
  2

• epic: query engine and build cache

  minorparkedperformance
  briar-systems/mach#3787 · Filter by author octalide opened on Sep 22, 2026
  4