All pull requests

Pull requests

• Make verified portable x64 the canonical CLI path

  #19·Papishushi opened Oct 15, 2026Contributor·12/12·

  ·
  5

  

• Verify semantic invariants at the raw UBCM boundary

  #18·Papishushi opened Oct 14, 2026Contributor·11/12·

  ·
  3

  

• Separate semantic source frontend from legacy x64 emission

  #17·Papishushi opened Oct 14, 2026Contributor·10/12·

  ·
  9

• Expose portable UBCM-to-x64 pipeline in the CLI

  #16·Papishushi opened Oct 14, 2026Contributor·9/12·

  ·
  9

• Route source through portable process metadata before x64

  #15·Papishushi opened Oct 14, 2026Contributor·8/12·

  ·
  1

  

• Compile portable indexed modules to x64

  #14·Papishushi opened Oct 14, 2026Contributor·7/12·

  ·
  1

• Add independent canonical binary verifier v0

  #12·Papishushi opened Oct 14, 2026Contributor·6/12·

  ·
  1

• Add typed canonical portable binary codec v0

  #11·Papishushi opened Oct 14, 2026Contributor·5/12·

  ·
  1

  

• Lower indexed module boundaries into portable tables

  #10·Papishushi opened Oct 13, 2026Contributor·4/12·

  ·
  1

  

• Retain portable module contract semantics

  #9·Papishushi opened Oct 13, 2026Contributor·3/12·

  ·
  1

• Implement local indexed executable core v0

  #8·Papishushi opened Oct 13, 2026Contributor·2/12·

  ·
  1

• Implement Portable Module Format v0

  #7·Papishushi opened Oct 13, 2026Contributor·1/12·

  ·
  1