All pull requests

Pull requests

• research: hash imported Lean .olean modules and inspect old-proof references without target replay

  #186·fraware opened Oct 12, 2026Owner·

  ·

• research: native Lean 4.14 constant-support extraction development probe

  #185·fraware opened Oct 12, 2026Owner·

  ·

• research: typed Lean evidence-applicability predictor with explicit support closure

  #184·fraware opened Oct 12, 2026Owner·

  ·

• research: prospective Lean v2 pre-oracle case freeze and sealed prediction contracts

  #183·fraware opened Oct 12, 2026Owner·

  ·

• research: native replay on pinned external Lean release history (development)

  #182·fraware opened Oct 12, 2026Owner·

  ·

• research: native Lean proof-term replay controls for RTK v2 development

  #181·fraware opened Oct 11, 2026Owner·

  ·

• research: prospective v2 RTK two-axis adjudication normalizer and adversarial tests

  #180·fraware opened Oct 11, 2026Owner·

  ·

• research: predecessor-bound guarantee transport admission (non-controlling)

  #179·fraware opened Oct 11, 2026Owner·

  ·

• research: separate target verification from historical-evidence transport

  #176·fraware opened Oct 11, 2026Owner·

  ·

• docs: bind OVK guarantee/evidence reuse to the RTK research model

  #175·fraware opened Oct 11, 2026Owner·

  ·

• experiment: RTK sealed evaluation — post-audit structural consistency record

  #174·fraware opened Oct 6, 2026Owner·

  ·

• bench: replay ResearchPortfolio include_router inheritance

  #112·fraware opened Sep 28, 2026Owner·

  ·

• eval: freeze held-out FastAPI auth shapes round 4

  #110·fraware opened Sep 27, 2026Owner·

  ·

• bench: establish Customer360 APIKeyHeader repair

  #109·fraware opened Sep 27, 2026Owner·

  ·

• eval: freeze held-out Customer360 API-key repair

  #107·fraware opened Sep 27, 2026Owner·

  ·

• bench: establish ecbot Header shared-secret repair

  #106·fraware opened Sep 27, 2026Owner·

  ·

• bench: replay ecbot APIRouter inheritance as development evidence

  #104·fraware opened Sep 27, 2026Owner·

  ·

• eval: freeze held-out ecbot router authentication repair

  #102·fraware opened Sep 27, 2026Owner·

  ·

• bench: replay source-derived route guard effectiveness

  #101·fraware opened Sep 27, 2026Owner·

  ·

• feat: infer fail-closed authorization dependency contracts

  #99·fraware opened Sep 27, 2026Owner·

  ·

• bench: replay Vibe-Trading route dependency effectiveness

  #98·fraware opened Sep 27, 2026Owner·

  ·

• eval: freeze held-out route dependency effectiveness cases

  #97·fraware opened Sep 27, 2026Owner·

  ·

• feat: prove static effects under FastAPI parameter dependencies

  #96·fraware opened Sep 27, 2026Owner·

  ·

• eval: run held-out Langflow route-auth replay

  #95·fraware opened Sep 27, 2026Owner·

  ·

• eval: freeze held-out FastAPI authentication cohort

  #94·fraware opened Sep 27, 2026Owner·

  ·