ABI: protocolInfrastructure

Source module: apps/dclutch-web/lib/generated/protocolInfrastructure.ts, whose own header reads:

@generated from the Lean-emitted ProtocolInfrastructureProfile Rust ABI; do not edit.
Regenerate with: npm run abi:infrastructure

Byte constants (magics, seed domains, schema identities)

namelenasciibytes
PROTOCOL_INFRASTRUCTURE_PROFILE_MAGIC_V18DCLTINF144 43 4c 54 49 4e 46 31

String constants

namevalue
PROTOCOL_INFRASTRUCTURE_PROFILE_PDA_DOMAIN_V1dclutch:infrastructure:v1

Numeric constants (widths, offsets, counts, tags)

namevalue
PROTOCOL_INFRASTRUCTURE_PROFILE_BYTES_V1144
PROTOCOL_INFRASTRUCTURE_PROFILE_SCHEMA_VERSION_V11
PROTOCOL_INFRASTRUCTURE_PROFILE_ARTIFACT_PROFILE_V11
PROTOCOL_INFRASTRUCTURE_PROFILE_MAGIC_OFFSET_V10
PROTOCOL_INFRASTRUCTURE_PROFILE_SCHEMA_VERSION_OFFSET_V18
PROTOCOL_INFRASTRUCTURE_PROFILE_ARTIFACT_PROFILE_OFFSET_V110
PROTOCOL_INFRASTRUCTURE_PROFILE_RESERVED_OFFSET_V112
PROTOCOL_INFRASTRUCTURE_PROFILE_REGISTRY_PROGRAM_OFFSET_V116
PROTOCOL_INFRASTRUCTURE_PROFILE_REGISTRY_ARTIFACT_OFFSET_V148
PROTOCOL_INFRASTRUCTURE_PROFILE_RENT_PROGRAM_OFFSET_V180
PROTOCOL_INFRASTRUCTURE_PROFILE_RENT_ARTIFACT_OFFSET_V1112