ABI: protocolInfrastructure

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

@generated by formal/dclutch-semantics/EmitProtocolInfrastructureProfileAbi.lean; do not edit.
Regenerate with: npm run abi:infrastructure

Byte constants (magics, seed domains, schema identities)

name	len	ascii	bytes
`PROTOCOL_INFRASTRUCTURE_PROFILE_MAGIC_V1`	8	`DCLTINF1`	`44 43 4c 54 49 4e 46 31`
`PROTOCOL_INFRASTRUCTURE_PROFILE_MAGIC_V2`	8	`DCLTINF2`	`44 43 4c 54 49 4e 46 32`

name	value
`PROTOCOL_INFRASTRUCTURE_PROFILE_PDA_DOMAIN_V1`	`dclutch:infrastructure:v1`
`PROTOCOL_INFRASTRUCTURE_PROFILE_PDA_DOMAIN_V2`	`dclutch:infrastructure:v2`

name	value
`PROTOCOL_INFRASTRUCTURE_PROFILE_BYTES_V1`	144
`PROTOCOL_INFRASTRUCTURE_PROFILE_SCHEMA_VERSION_V1`	1
`PROTOCOL_INFRASTRUCTURE_PROFILE_ARTIFACT_PROFILE_V1`	1
`PROTOCOL_INFRASTRUCTURE_PROFILE_MAGIC_OFFSET_V1`	0
`PROTOCOL_INFRASTRUCTURE_PROFILE_SCHEMA_VERSION_OFFSET_V1`	8
`PROTOCOL_INFRASTRUCTURE_PROFILE_ARTIFACT_PROFILE_OFFSET_V1`	10
`PROTOCOL_INFRASTRUCTURE_PROFILE_RESERVED_OFFSET_V1`	12
`PROTOCOL_INFRASTRUCTURE_PROFILE_REGISTRY_PROGRAM_OFFSET_V1`	16
`PROTOCOL_INFRASTRUCTURE_PROFILE_REGISTRY_ARTIFACT_OFFSET_V1`	48
`PROTOCOL_INFRASTRUCTURE_PROFILE_RENT_PROGRAM_OFFSET_V1`	80
`PROTOCOL_INFRASTRUCTURE_PROFILE_RENT_ARTIFACT_OFFSET_V1`	112
`PROTOCOL_INFRASTRUCTURE_PROFILE_BYTES_V2`	224
`PROTOCOL_INFRASTRUCTURE_PROFILE_SCHEMA_VERSION_V2`	2
`PROTOCOL_INFRASTRUCTURE_PROFILE_MAGIC_OFFSET_V2`	0
`PROTOCOL_INFRASTRUCTURE_PROFILE_SCHEMA_VERSION_OFFSET_V2`	8
`PROTOCOL_INFRASTRUCTURE_PROFILE_ARTIFACT_PROFILE_OFFSET_V2`	10
`PROTOCOL_INFRASTRUCTURE_PROFILE_RESERVED_OFFSET_V2`	12
`PROTOCOL_INFRASTRUCTURE_PROFILE_REGISTRY_PROGRAM_OFFSET_V2`	16
`PROTOCOL_INFRASTRUCTURE_PROFILE_REGISTRY_ARTIFACT_OFFSET_V2`	48
`PROTOCOL_INFRASTRUCTURE_PROFILE_RENT_PROGRAM_OFFSET_V2`	80
`PROTOCOL_INFRASTRUCTURE_PROFILE_RENT_ARTIFACT_OFFSET_V2`	112
`PROTOCOL_INFRASTRUCTURE_PROFILE_PREDECESSOR_REGISTRY_ARTIFACT_OFFSET_V2`	144
`PROTOCOL_INFRASTRUCTURE_PROFILE_PREDECESSOR_RENT_ARTIFACT_OFFSET_V2`	176
`PROTOCOL_INFRASTRUCTURE_PROFILE_RESERVED_TAIL_OFFSET_V2`	208