All pull requests

Pull requests

• CHANGELOG: the 0.4.0 cut carries H5 and the release-workflow fixes

  #321·afflom opened Oct 26, 2026Member·

  ·

• BS-14: the crate around the bodies of the Rust lowering (RustAssemble)

  #315·afflom opened Oct 25, 2026Member·

  ·

• #91 H7-audit: the crate header, module wrapper, and definitions as RuntimeSyntax nodes; RB-21 and RB-10 tightened; the shared-write plants

  #305·afflom opened Oct 24, 2026Member·

  ·
  2

• #91 stage 4, H6: the number functions of the std runtime as machine calls with their refinement theorems, and every runtime item has its refinement statement (SP-29, RB-20, SP-30)

  #304·humuhumu33 opened Oct 24, 2026Contributor·

  ·
  3

• #291 PF-25: simplify discharges a conditional lemma from a named hypothesis of the statement

  #303·humuhumu33 opened Oct 23, 2026Contributor·

  ·
  1

• SM-35 (#280): term_cases decides constructor disjointness and injectivity

  #299·humuhumu33 opened Oct 23, 2026Contributor·

  ·
  3

• #116: a production root's overflow effect discharged by a kernel-checked bound (PD-09, SP-29; RB-20 red)

  #295·humuhumu33 opened Oct 23, 2026Contributor·

  ·
  2

• SM-37: nested_induction, induction over a nested inductive type through its recursor (#278)

  #292·afflom opened Oct 22, 2026Member·

  ·
  3

• DF-19: structural recursion over the recursive family of a nested inductive type (#278, draft)

  #284·afflom opened Oct 22, 2026Member·

  ·
  3

• [v0.4] #252 four negative fixtures, #251 retitles, claim-audit wording

  #256·afflom opened Oct 21, 2026Member·

  ·

• feat(#30): slice 4 — production of text components, examples/text-models, helper coverage

  #247·afflom opened Oct 20, 2026Member·

  ·
  6

• #115 PR 4/5: SP-24, MD-14, an artifact's decoded value is one literal of the lowered program

  #239·afflom opened Oct 20, 2026Member·

  ·
  2