chore: add committed bytecode stack plan

[quangvdao]

Posted by Cursor assistant (model: GPT-5) on behalf of the user (Quang Dao) with approval.

Stack position: 00
Base branch: main
Source implementation reference: amir/bytecode-commitment-merged

Owned paths:

STACK.md stack specs/1344-committed-bytecode-program-image.md

See specs/1344-committed-bytecode-program-image.md for the slice checklist and verification expectations.

[quangvdao]

Posted by Cursor assistant (model: GPT-5) on behalf of the user (Quang Dao) with approval.

Stack publication note: slices 01-09 are built and pushed to Quang's fork, but I cannot open them as true stacked PRs against a16z/jolt yet because GitHub requires each PR base ref to exist in the base repository.

Fork branches:

• quangvdao:stack/00-bytecode-stack-automation
• quangvdao:stack/01-program-preprocessing-refactor
• quangvdao:stack/02-committed-preprocessing-model
• quangvdao:stack/03-precommitted-geometry-substrate
• quangvdao:stack/04-stage6a-stage6b-full-mode
• quangvdao:stack/05-precommitted-claim-reduction-advice
• quangvdao:stack/06-bytecode-program-image-reductions
• quangvdao:stack/07-committed-mode-protocol-wiring
• quangvdao:stack/08-sdk-examples-transpiler-docs
• quangvdao:stack/09-cleanup-perf-regression-tests

Attempted paths that are blocked from the current credentials:

• Creating slice 01 with base quangvdao:stack/00-bytecode-stack-automation fails because baseRefName is invalid for an upstream PR.
• Directly pushing stack/* refs to a16z/jolt fails with permission denied.
• Creating the upstream ref through the GitHub app fails with Resource not accessible by integration.
• Creating the upstream ref through gh api repos/a16z/jolt/git/refs fails with HTTP 404 from the current token.

Maintainer unblock command, if the desired path is true stacked upstream PRs:

git remote add quangvdao https://github.com/quangvdao/jolt.git 2>/dev/null || true
git fetch quangvdao 'refs/heads/stack/*:refs/remotes/quangvdao/stack/*'
for b in \
  stack/00-bytecode-stack-automation \
  stack/01-program-preprocessing-refactor \
  stack/02-committed-preprocessing-model \
  stack/03-precommitted-geometry-substrate \
  stack/04-stage6a-stage6b-full-mode \
  stack/05-precommitted-claim-reduction-advice \
  stack/06-bytecode-program-image-reductions \
  stack/07-committed-mode-protocol-wiring \
  stack/08-sdk-examples-transpiler-docs \
  stack/09-cleanup-perf-regression-tests
 do
  git push origin "refs/remotes/quangvdao/$b:refs/heads/$b"
done

Once those refs exist in a16z/jolt, I can open slices 01-09 as ready PRs with bases stack/00, stack/01, ..., stack/08 respectively. I am intentionally not opening slices 01-09 as cumulative main PRs because that would make them visible but would lose the intended modular one-step diffs.