refactor(lee): migrate program self/caller identity from ProgramId to AccountId

ProgramInput/ProgramOutput.self_program_id/caller_program_id, and the
dispatcher's CallerData.program_id, now carry AccountId (renamed to
self_account_id/caller_account_id) instead of ProgramId. These fields
are self-reported/cross-checked dispatch bookkeeping, not RISC0 image
identity, and AccountId already crosses the guest/host boundary this
way via every pre_state.account_id.

ProgramId is now confined to what's actually image-id-keyed:
env::verify, Program.id (from compute_image_id()), and the
for_public_pda/for_private_pda derivation formulas, each recovering
the real ProgramId from AccountId via the existing bijection exactly
where needed.

Rebuilds artifacts and the prebuilt sequencer db fixture to match.
This commit is contained in:
Marvin Jones
2026-08-22 19:27:13 -04:00
parent 1b97de730b
commit 3c1e30f2cf
@@ -124,7 +124,6 @@ impl ValidatedStateDiff {
chained_call.pre_states,
chained_call.instruction_data
);
let mut program_output = if chained_call.program_account_id
== RESERVED_DEPLOYMENT_PROGRAM_ACCOUNT_ID
{