Issues

• Restate C-226's declared omission: nested field receiver paths now lower (almide#2933)

  almide/als#116 · Filter by author O6lvl4 opened on Sep 29, 2026

• Restate the contract statements that describe the deleted incumbent wasm renderer

  almide/als#115 · Filter by author O6lvl4 opened on Sep 29, 2026

• C-256 statement says a break over a heap frame walls; the structural wasm leg lowers it

  S-editorial
  almide/als#114 · Filter by author O6lvl4 opened on Sep 28, 2026
  2

• Sync spec/serve_cross/http_serve_replay.almd with almide: the /clock route from almide#2703 is missing

  almide/als#109 · Filter by author O6lvl4 opened on Sep 27, 2026

• Reference evaluator: the full-matrix float loaders clamp a negative offset to 0 where both targets answer the all-zero row

  almide/als#88 · Filter by author O6lvl4 opened on Sep 21, 2026

• The reference evaluator has no arm for value.to_camel_case / value.to_snake_case

  almide/als#77 · Filter by author O6lvl4 opened on Sep 21, 2026

• Qualified MC/DC coverage tooling — GNATcoverage + GNATPro for Rust (the pedigree path rustc abandoned)

  needs-resources
  almide/als#51 · Filter by author O6lvl4 opened on Aug 26, 2026
  2

• 17 contracts cite a since release that was never tagged (unmeasured in the provenance ledger)

  S-editorial
  almide/als#31 · Filter by author O6lvl4 opened on Aug 20, 2026

• Legal entity, LTS commitment, funding

  needs-resources
  almide/als#19 · Filter by author O6lvl4 opened on Aug 20, 2026

• Qualified native toolchain material — Ferrocene subscription or CompCert commercial licence

  needs-resources
  almide/als#18 · Filter by author O6lvl4 opened on Aug 20, 2026
  1

• Authority acceptance — TQL in a certification program (SOI reviews)

  needs-external
  almide/als#17 · Filter by author O6lvl4 opened on Aug 20, 2026

• Tool-qualification gap assessment by a DER / qualification engineer

  needs-external
  almide/als#15 · Filter by author O6lvl4 opened on Aug 20, 2026

• First regulated-adjacent deployment — start the service-history clock

  needs-external
  almide/als#16 · Filter by author O6lvl4 opened on Aug 20, 2026

• Independent human verifier — verification independence

  needs-external
  almide/als#14 · Filter by author O6lvl4 opened on Aug 20, 2026

• Gap 3 — Independence and authority: mechanisms and documents now, people and acceptance later

  epicneeds-external
  almide/als#12 · Filter by author O6lvl4 opened on Aug 20, 2026

• Gap 2 — Certification seat: flight-profile requirements here first, keystones in the implementation, a qualified native toolchain in the chain

  epicneeds-resources
  almide/als#11 · Filter by author O6lvl4 opened on Aug 20, 2026

• Aviation-grade claim ladder: from process discipline to authority acceptance

  epic
  almide/als#9 · Filter by author O6lvl4 opened on Aug 20, 2026
  4