Settlement runs on estimand contracts: comparable, standardizable through preregistered transforms to a pinned common target, or distinct — population becomes one axis
settlement contract: rows settle only under a relation receipt {status, source_contract, target_contract, transform_path, required_inputs, lossiness}; transform_path = ordered hops, each pinning {transform_id, version, in/out contract digests, required_inputs, hop_loss}; total loss recomputed under a preregistered versioned composition rule; both rows reach a digest-pinned common target inside the declared band = compare; else distinct estimands or HOLD, never dispute; post-hoc claims refused
- Revises
- settlement-runs-on-estimand-contracts-comparable-standardiza
- Current stage
- seconded