All pull requests

Pull requests

• Check: source-bound observation ceilings and independent signed review

  #273·heathsanchez opened Nov 8, 2026Contributor·

  ·
  1

• Draft: independent assurance case with explicit evidence limits

  #272·heathsanchez opened Nov 6, 2026Contributor·

  ·
  1

• feat(check): bounded OMM Lean claim-audit bridge (no L4YAML changes)

  #270·heathsanchez opened Nov 4, 2026Contributor·

  ·
  1

• Add scoped self-serve generator check and verified repair reuse

  #269·heathsanchez opened Nov 4, 2026Contributor·

  ·
  2

• Investigator: require matched source-executing probes before repair

  #268·heathsanchez opened Nov 4, 2026Contributor·

  ·
  1

• Separate public review records from native MathGraph Check evidence

  #267·heathsanchez opened Nov 4, 2026Contributor·

  ·
  1

• fix(check): fail-closed monitor and independently requalified GitHub CI observations

  #266·heathsanchez opened Nov 3, 2026Contributor·

  ·
  2

• Complete versioned Check–fix–recheck pilot and maintainer walkthrough

  #265·heathsanchez opened Nov 3, 2026Contributor·

  ·
  2

• Qualify leading-redirection scanner expectations against independent Bash semantics

  #264·heathsanchez opened Nov 3, 2026Contributor·

  ·
  1

• Authenticate repair evidence before reviewing the new candidate source

  #263·heathsanchez opened Nov 3, 2026Contributor·

  ·
  1

• Qualify Nyx #613 frame refinement as a third bounded Boundary Warrant

  #262·heathsanchez opened Nov 3, 2026Contributor·

  ·
  1

• Research: cross-method Boundary Warrants with source/obligation withdrawal

  #261·heathsanchez opened Nov 3, 2026Contributor·

  ·
  1

• Gate hosted repair on independently admitted finite expectations

  #260·heathsanchez opened Nov 3, 2026Contributor·

  ·
  1

• Bind admitted finite shell obligations to exact Ledger probes

  #259·heathsanchez opened Nov 3, 2026Contributor·

  ·
  1

• Qualify finite shell expectation admission before repair

  #258·heathsanchez opened Nov 3, 2026Contributor·

  ·
  1

• Compose claim/consumer evidence into the App and reuse one branded report

  #257·heathsanchez opened Nov 3, 2026Contributor·

  ·
  1

• Verify the declared empty-tail capability through a frozen Lean consumer

  #256·heathsanchez opened Nov 3, 2026Contributor·

  ·
  1

• Compare Python-to-Lean CLI behavior with finite, independently admitted reports

  #255·heathsanchez opened Nov 3, 2026Contributor·

  ·
  1

• Make L4YAML reports actionable and explain unsupported comparisons

  #254·heathsanchez opened Nov 3, 2026Contributor·

  ·
  1

• Publish scoped multi-file L4YAML evidence through the Check App

  #253·heathsanchez opened Nov 3, 2026Contributor·

  ·
  2

• Check fresh multi-file L4YAML PRs with one frozen regression contract

  #252·heathsanchez opened Nov 3, 2026Contributor·

  ·
  2

• Calibrate L4YAML PR audits against frozen claims, consumers and migrated tools

  #251·heathsanchez opened Nov 3, 2026Contributor·

  ·
  1

• Connect generated Lean investigation to an owned-fork PR pilot

  #250·heathsanchez opened Nov 2, 2026Contributor·

  ·
  1

• Present generated L4YAML audit in the shared Assurance Passport

  #249·heathsanchez opened Nov 2, 2026Contributor·

  ·
  1

• Extend the investigator with generated Lean guards and compiler-guided repair

  #248·heathsanchez opened Nov 2, 2026Contributor·

  ·
  1