Repository navigation

Draft: prove completeness before context reduction - #30

Draft

stpku wants to merge 5 commits into

feat/task-context-tc1-planning-real-v0.1from

feat/task-context-provider-truncation-proof-v0.1

Draft

Draft: prove completeness before context reduction#30
stpku wants to merge 5 commits into
feat/task-context-tc1-planning-real-v0.1from
feat/task-context-provider-truncation-proof-v0.1

Commits on Aug 27, 2026
- test: freeze provider truncation evidence
  stpku
  committed
  9491adc
- feat: add offline provider truncation proof
  stpku
  committed
  b350dc7
- test: replay provider truncation failure
  stpku
  committed
  66a7a10
- docs: record completeness before reduction proof
  stpku
  committed
  5330f4b
- feat: add truncation proof replay CLI
  stpku
  committed
  a5764d1