All pull requests

Pull requests

• fix: close executed-expression effect holes in PE CF positions

  #173·fraware opened Oct 2, 2026Owner·3 of 4 tasks·

  ·

• 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·

  ·

• bench: replay Aegra after local branch relevance proof

  #93·fraware opened Sep 27, 2026Owner·

  ·

• feat: prove irrelevant local branches per Protected Effect

  #91·fraware opened Sep 27, 2026Owner·

  ·

• bench: replay Aegra ownership repair with async-with semantics

  #90·fraware opened Sep 27, 2026Owner·

  ·

• feat: support scoped ownership checks inside sequential async with

  #89·fraware opened Sep 27, 2026Owner·

  ·

• bench: replay Aegra after local evidence coverage fix

  #88·fraware opened Sep 27, 2026Owner·

  ·

• eval: freeze second external candidate triage round

  #87·fraware opened Sep 27, 2026Owner·

  ·

• bench: replay Aegra ownership repair with local semantic coverage

  #85·fraware opened Sep 27, 2026Owner·

  ·

• bench: replay Aegra thread-ownership repair as development evidence

  #83·fraware opened Sep 27, 2026Owner·

  ·

• feat: attribute assurance qualification coverage gaps

  #79·fraware opened Sep 27, 2026Owner·

  ·

• feat: add request-scope provenance for FastAPI assurance

  #78·fraware opened Sep 27, 2026Owner·

  ·