Module abi 

Slot numbers the v3 chain ABI exposes to chain Instances at genesis. Sourced from [javm_cap::abi] so the transpiler can reference the same constants when building chain Images.

Constants

BARE_CREATE_YIELD_CATCHER_SLOT

Cap::Instance[CreateYieldCatcher] factory.

BARE_GAS_SLOT

Root Cap::Instance[Gas{0}] handle. The chain reads this slot to learn its active gas meter; it’s also the entry in the chain Image’s gas_slots[0].

BARE_HOST_OPEN_SLOT

Cap::Instance[HostOpen] — read-only entry handle for host_open.

BARE_HOST_SAVE_SLOT

Cap::Instance[HostSave] — entry handle for host_save.

BARE_MINT_GAS_SLOT

Cap::Instance[MintGas] factory.

BARE_MINT_QUOTA_SLOT

Cap::Instance[MintQuota] factory.

BARE_QUOTA_SLOT

Root Cap::Instance[Quota{0}] handle (symmetric to BARE_GAS_SLOT).

BARE_SET_GAS_METER_SLOT

Cap::Instance[SetGasMeter] factory.

BARE_SET_STORAGE_QUOTA_SLOT

Cap::Instance[SetStorageQuota] factory.

BARE_YIELD_CATCHER_SLOT

Chain’s Cap::Instance[YieldCatcher] (its own catcher; per-block reset). The chain Image’s yield_marker_slot points here.