examples: port cat_v2 as the marked asset layer

[EvanWinget]

B4 unit 3: the CAT v2 port under the committed leaf layout, per-holder wrapping kept.

The design in brief:

• A holder's leaf is the shared asset body applied to the holder's quoted inner program, so the serialization splits into a shared PREFIX, the holder's SINNER and a constant four byte suffix. Members rebuild each other's output keys from the revealed prefix, the port's form of curried puzzle hash reconstruction under a flat leaf hash. The committed PREFIXLEN makes the split canonical, and the contrast section demonstrates the boundary shift mint that opens without it.
• Conservation replaces the announcement ring with the transaction boundary. Member outputs carry odd amounts, every odd output is either claimed as a member or disclaimed by revealing its taproot preimage and showing it is foreign, and each asset's claimed inputs must equal its odd outputs unless the revealed issuance program approves the delta.
• The issuance program is genesis_by_coin_id's port, refusing every nonzero delta, so supply is fixed by the one transaction that consumes the committed GENESIS outpoint.
• The disclaimer partition composes assets: context H is a two-asset atomic swap validated on both inputs, the shape the offer flow unit needs.

Contexts A through L cover the genesis spend, ancestry transfer, split, merge across both proof paths, the diamond child, the boundary shift refusal, unclaimed and uncoverable odd outputs, the swap with its refusals, the even payment freeze, both nonzero delta refusals, the unbacked donation, and the frozen SINNER, each validated through the spend command before emission. A differential section replays context B through the symbolic evaluator and the closing contrast section shows the PREFIXLEN clause is load bearing.

Findings recorded as b4-gaps items 18 through 22.

[EvanWinget]

Converting to draft. The port is reviewed and green, but the odd-amount membership marking forces plain payments and change beside a CAT onto an even-amount convention, a constraint the CLVM source does not have. Chia attributes outputs structurally through coin ids and the announcement ring, so bystander amounts are unconstrained there. Parked until the marking layer is redesigned.

Candidate directions, smallest change first: a signed keypath disclaimer so cooperative odd bystanders can coexist, or an explicit member-set commitment output that removes amount marking entirely, with membership checked against the parent's committed set through the existing whole-transaction lineage reveal. See notes/b4-gaps.md items 17 and 19 for the recorded residue.