docs(L1): document AggregateVerifier L1 origin split

[jackchuma]

What changed? Why?

• Clarify the initializeWithInitData proof encoding: proof type, L1 origin hash, L1 origin number, and verifier payload.
• Document that initialization validates and journals the proof-supplied L1 origin, while verifyProposalProof, challenge, and nullify journal the factory-captured l1Head.
• Update the AggregateVerifier semver source hash for the NatSpec change.

This makes the two L1-origin paths explicit so readers do not infer that initialization requires the game-creation l1Head.

Notes to reviewers

This changes NatSpec only; runtime behavior and the init-code hash are unchanged.

How has it been tested?

• just semver-lock
• just test --match-path test/L1/proofs/AggregateVerifier.t.sol
• forge fmt --check
• git diff --check

[cb-heimdall]

✅ Heimdall Review Status

Requirement	Status	More Info
Reviews	✅ 1/1	Denominator calculation Show calculation 1 if user is bot 0 1 if user is external 0 2 if repo is sensitive 0 From .codeflow.yml 1 Additional review requirements Show calculation Max 0 0 From CODEOWNERS 0 Global minimum 0 Max 1 1 1 if commit is unverified 0 Sum 1

[cb-heimdall]

Review Error for leopoldjoy @ 2026-08-24 19:45:08 UTC
User failed mfa authentication, see go/mfa-help