marketId property
Pin resolution to this exact ExpiryMarket object, skipping the
underlying+expiry lookup — a caller that reviewed a specific market
object mints against exactly that object, not whatever resolves at
submit time.
Implementation
final String? marketId;