Skip to content

Prove committed foreground-work inputs with fan-out - #19

Open
bigboateng wants to merge 3 commits into
mainfrom
feat/prove-foreground-work-inputs
Open

Prove committed foreground-work inputs with fan-out#19
bigboateng wants to merge 3 commits into
mainfrom
feat/prove-foreground-work-inputs

Conversation

@bigboateng

Copy link
Copy Markdown
Owner

Summary

  • add a generated foreground-work-input-proof Flow using the candidate from operatorstack/boatstack#233
  • bind consumers B and C to Work A's required architecture output
  • retain implementation-plan as the separately selected planning output
  • pin the candidate SDK packages, runtime identity, compiled Flow artifact, and generated host projections

Verification

  • all three committed Flow artifacts pass boatstack flow check with the candidate runtime
  • npm --prefix projects/basic-react run check
  • npm --prefix projects/basic-react run build
  • the generated proof reached approved-plan
  • B and C sealed identical producer receipt, result, contract, output, and SHA-256 provenance while producing independent consumer results
  • the generic package manifest and approval contained no plan fields; the promotion receipt alone selected implementation-plan

bigboateng and others added 3 commits August 19, 2026 15:57
Co-authored-by: Cursor <cursoragent@cursor.com>
Run: run-f8f2cdb71b6728b17485f7e39c6df420
Control bundle fingerprint: 87092734bf9002b6db1a099cb98ae188eaea3470f36c5cd952b2040f106a32aa

Co-authored-by: Cursor <cursoragent@cursor.com>
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.

1 participant