All pull requests

Pull requests

• #91 stage 4, PR 1b: LexLeanBoot.RustValidate gains the machine callee, the overflow value and their rules (BS-05)

  #240·afflom opened Oct 20, 2026Member·

  ·

• #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·

  ·
  1

• #115 PR 3/5: RB-18, a heap literal read from a function of no parameters is a once-per-thread constant

  #238·afflom opened Oct 20, 2026Member·

  ·
  1

• SL-07: the compiler running the package reproduces it (#126 stage 2, PR 3 of 3)

  #237·afflom opened Oct 20, 2026Member·

  ·

• SL-06: every identity is the one sha2 gave (#126 stage 2, PR 2 of 3)

  #236·afflom opened Oct 20, 2026Member·

  ·

• [0.5.0] #111 stage 3: source-authority audit and the editing workflow (NS-06), stacked on #232

  #233·afflom opened Oct 20, 2026Member·

  ·
  1

• [0.5.0] #111 stage 2: SPEC.md as LexLean source (NS-05), stacked on #231

  #232·afflom opened Oct 20, 2026Member·

  ·
  6

• #115 PR 2/5: TC-08, a calculus literal is charged its weight once per read

  #230·afflom opened Oct 20, 2026Member·

  ·

• #91 stage 4, PR 2b: term_cases, a theorem proved by a split on the value of a document term (SM-35)

  #229·afflom opened Oct 20, 2026Member·

  ·

• #115 PR 1/5: R3 skeleton (TC-08, RB-18, SP-24, MD-14)

  #228·afflom opened Oct 20, 2026Member·

  ·

• #91 stage 4, PR 2a: the machine's natural and integer arithmetic, Some or None on overflow (SP-23)

  #227·afflom opened Oct 20, 2026Member·

  ·
  1

• std-models, std-reasoning, and the helpdesk application (#32, L2.3)

  #225·afflom opened Oct 20, 2026Member·

  ·
  1

  1

• #91 stage 4, PR 1: the machine grows, and the Rust AST mirrors the machine callee and the overflow value (SP-21, RB-15)

  #224·afflom opened Oct 20, 2026Member·

  ·

• #91 stage 4, PR 0: register rows SP-21 and RB-15 (R3 skeleton)

  #223·afflom opened Oct 20, 2026Member·

  ·

• Slice 3 of #30: text classifiers, composition and adapters, no prompt as code (LM-07..LM-09)

  #221·afflom opened Oct 19, 2026Member·

  ·
  3