All pull requests

Pull requests

• Requalify integrity proofs and connect actual archive consumer calls

  #101·afflom opened Nov 5, 2026Member·

  ·

• Repair Search visibility and unresolved replay controls

  #100·afflom opened Nov 5, 2026Member·

  ·

• Repair source admission and complete control value equality

  #99·afflom opened Nov 5, 2026Member·

  ·

• Prove canonical digest publication from actual owned execution

  #98·afflom opened Nov 5, 2026Member·

  ·

• Model ordered integrity execution and cumulative charged failures

  #97·afflom opened Nov 5, 2026Member·

  ·

• feat(core): define canonical call action and retirement composition

  #96·afflom opened Nov 5, 2026Member·

  ·

• Implement owned all-byte shortlex enumeration and prepaid funding

  #95·afflom opened Nov 5, 2026Member·

  ·

• Add explicit let binder types to Search controllers

  #94·afflom opened Nov 5, 2026Member·

  ·
  1

• Bind charged integrity adapters to shared image access

  #93·afflom opened Nov 5, 2026Member·

  ·

• feat(core): add bounded image copy and preserve runtime ownership

  #92·afflom opened Nov 5, 2026Member·

  ·

• Own charged ordered targets, semantic custody and bounded product IO

  #91·afflom opened Nov 5, 2026Member·

  ·

• Implement owned decoder semantic event composition and ledger handoffs

  #90·afflom opened Nov 5, 2026Member·

  ·

• Implement owned archive decode and pre-clean candidate handoff

  #89·afflom opened Nov 4, 2026Member·

  ·

• Prove standard-domain SHA totality, partition agreement and integrity laws

  #87·afflom opened Nov 4, 2026Member·

  ·

• Bind format 3 integrity to charged streaming spans and explicit identity domains

  #84·afflom opened Nov 4, 2026Member·

  ·

• Implement owned program and frame preimage emission

  #83·afflom opened Nov 4, 2026Member·

  ·

• feat(wire): parse charged program spans into runtime events

  #80·afflom opened Nov 4, 2026Member·

  ·

• feat(integrity): implement streaming SHA-256 and distinct maximum-frame integrity

  #79·afflom opened Nov 4, 2026Member·

  ·

• Implement source-owned compression v0.1

  #78·afflom opened Nov 4, 2026Member·

  ·
  5

• chore(deps): bump the build-policy group across 1 directory with 3 updates

  dependenciesrust
  #76·dependabot[bot] opened Oct 17, 2026Bot·

  ·

• feat(m1): implement bounded shortest ULEB128 with kernel-checked proofs

  #75·afflom opened Oct 10, 2026Member·

  ·

• feat(m1): author claim dispositions and generate the honesty ledger

  #74·afflom opened Oct 10, 2026Member·

  ·

• test(m0): execute SDK capability probes and generate observed compatibility report

  #72·afflom opened Oct 10, 2026Member·

  ·
  1

• test(m0): validate offline SDK execution and clean-root artifact identity

  #71·afflom opened Oct 10, 2026Member·

  ·
  1

• chore(deps): bump the pinned-actions group with 5 updates

  dependenciesgithub_actions
  #60·dependabot[bot] opened Oct 3, 2026Bot·

  ·
  1