Skip to content

docs: plan proof output retention#199

Merged
tonyketcham merged 5 commits into
mainfrom
toeknee/proof-output-retention-opus-ce62
May 12, 2026
Merged

docs: plan proof output retention#199
tonyketcham merged 5 commits into
mainfrom
toeknee/proof-output-retention-opus-ce62

Conversation

@tonyketcham
Copy link
Copy Markdown
Collaborator

@tonyketcham tonyketcham commented May 12, 2026

Summary of changes

Plan, judge, implement, and review Proof output retention with one commit per phase. The implementation keeps canvas display output bounded while using full kind: "task" transcripts for execution consumers, convergence parsing/context, sidecars, artifacts, and pinned-artifact resume paths.

Verification completed:

  • pnpm -F @flatbread/proof typecheck
  • pnpm -F @flatbread/proof build
  • pnpm -F @flatbread/proof test
  • pnpm verify
  • Fresh /proof verification DAG: runtime + contract verification, 2/2 succeeded.

Closes #

Please don't delete this checklist! Before submitting the PR, please make sure you do the following:

  • I added doc comments to any new public exports, and inline comments to any hard-to-understand areas
  • My changes generate no new console errors locally
  • If applicable, try to include a test that fails without this PR but passes with it

Does this introduce any non-backwards compatible changes?

  • Yes
  • No

Does this include any user config changes?

  • Yes
    • If so, I have updated the relevant areas of documentation
  • No
Open in Web Open in Cursor 

cursoragent and others added 4 commits May 12, 2026 17:33
Co-authored-by: Tony <tonyketcham@users.noreply.github.com>
Co-authored-by: Tony <tonyketcham@users.noreply.github.com>
Co-authored-by: Tony <tonyketcham@users.noreply.github.com>
Co-authored-by: Tony <tonyketcham@users.noreply.github.com>
Change-Id: Ib94e61b3134472e71d62b2729831cb8b0f7a30b2
@tonyketcham tonyketcham merged commit 34698da into main May 12, 2026
19 checks passed
@tonyketcham tonyketcham deleted the toeknee/proof-output-retention-opus-ce62 branch May 12, 2026 20:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants