Tx Assembly And Proof Carrier

Runtime-Authoritative Assembly

The closure-critical live path assembles transaction payloads from runtime-produced boundary material.

Current truth goals preserved on the live lane:

• proof/PBV1 bytes remain runtime-bound
• tx carrier bytes reflect runtime-produced proof payload
• host checks are enforced against assembled transaction artifacts

Carrier Truth Fields

chipnet_run_artifacts_v1.ts captures proof carrier truth fields:

• acceptance.proofCarrier.txHasProof
• acceptance.proofCarrier.txHasPbv1
• acceptance.proofCarrier.proofBytesInTx
• acceptance.proofCarrier.pbv1BytesInTx

Required Distinctions

Keep separate in wallet/reporting:

• confidential payload amount semantics
• shell carrier sats
• miner fee sats
• supplemental transparent funding and change when used

These are not interchangeable terms.