All pull requests

Pull requests

• feat(site): accessible searchable OVK resource explorer (static preview)

  #229·fraware opened Oct 16, 2026Owner·

  ·
  1

• feat(product): package source-scoped advisory PR summary for reuse

  #228·fraware opened Oct 16, 2026Owner·

  ·
  3

• fix(source)+feat(product): bind PR merge evidence and publish scoped read-only job summaries

  #227·fraware opened Oct 16, 2026Owner·

  ·
  1

• security(action): prevent unbound manifest results becoming PR-wide checks

  #226·fraware opened Oct 16, 2026Owner·

  ·
  2

• integration: preserve pilot evidence integrity and release provenance across drafts

  #225·fraware opened Oct 15, 2026Owner·

  ·
  3

• integration(security): qualify release installer and PR source binding together

  #224·fraware opened Oct 15, 2026Owner·

  ·
  2

• security(action): bind PR diff to checked-out merge preview and refuse stale source identity

  #223·fraware opened Oct 15, 2026Owner·

  ·
  2

• release: fail-closed Action version pin and accurate public adoption guidance

  #220·fraware opened Oct 15, 2026Owner·

  ·
  2

• docs: correct unsigned release-tag claims and unsafe pilot promotion guidance

  #219·fraware opened Oct 15, 2026Owner·

  ·

• product(advisory): reviewer-ready two-revision guarantee continuity report

  #218·fraware opened Oct 15, 2026Owner·

  ·
  1

• fix(pilot): prevent circular false-positive metrics and unsafe strict promotion

  #217·fraware opened Oct 15, 2026Owner·

  ·
  1

• research: prove adaptive checker read-trace locality with negative lookups

  #215·fraware opened Oct 15, 2026Owner·

  ·

• research: extract checked Lean definition closure and independently validate graph consistency

  #214·fraware opened Oct 15, 2026Owner·

  ·

• research: observe transitive Lean dependency drift before historical certificate replay

  #213·fraware opened Oct 15, 2026Owner·

  ·

• research: prove transitive historical-support locality in a bounded evidence calculus

  #212·fraware opened Oct 15, 2026Owner·

  ·

• research: test declaration-level evidence reuse beyond whole-module byte identity

  #211·fraware opened Oct 15, 2026Owner·

  ·

• research: seal patched Lean replay-free identity screen and revalidation-cost control

  #210·fraware opened Oct 14, 2026Owner·

  ·
  2

• research: reconstruct patched historical Lean certificate and replay in changed targets

  #209·fraware opened Oct 14, 2026Owner·

  ·
  2

• research: patched Lean 4.35 source-text drift controls, no historical Expr transport claim

  #208·fraware opened Oct 14, 2026Owner·

  ·
  1

• research: reconstruct patched Lean historical proof and independently replay against target changes

  #207·fraware opened Oct 14, 2026Owner·

  ·
  1

• research: smoke-test patched Lean 4.35 paranoid checker suite in isolated CI

  #206·fraware opened Oct 13, 2026Owner·

  ·
  1

• research: formally delimit actual Lean Kernel transport by full-context identity

  #204·fraware opened Oct 13, 2026Owner·

  ·
  1

• research: cross-check Lean Expr constant references before certificate transport

  #203·fraware opened Oct 13, 2026Owner·

  ·
  2

• research: fail closed on native axiom support in zero-trust Lean pre-oracle

  #202·fraware opened Oct 13, 2026Owner·

  ·
  2

• research: validate exact Lean historical certificate and target contexts under --trust=0

  #201·fraware opened Oct 13, 2026Owner·

  ·
  1