Invariants / DC-CONS-IN-01
DC-CONS-IN-01
DC derived enforcedClosed importer error sum: Io | Json | BadField | MissingField | BadHashHex | BadEpochWindow | BadPoolDistribution | EraNotSupported. No Option field receives a runtime default. Missing pool distribution, nonce, ASC, VRF keyhash, era schedule, or any hash field is fatal at import time (¬P-C4 no partial importer fallback).
- Source
docs/planning/phase4-n-m-c-operator-pass-invariants.md §1 (I-C2)
Enforcement trace
Tests 12
- consensus_inputs::importer::tests::unsupported_era_fails_fast
- consensus_inputs::importer::tests::empty_era_string_fails_fast
- consensus_inputs::importer::tests::epoch_end_before_start_is_bad_window
- consensus_inputs::importer::tests::tip_outside_window_is_bad_window
- consensus_inputs::importer::tests::zero_asc_denom_is_bad_field
- consensus_inputs::importer::tests::short_genesis_hash_is_bad_hash_hex
- consensus_inputs::importer::tests::non_hex_in_hash_is_bad_hash_hex
- consensus_inputs::importer::tests::pool_in_distribution_missing_from_vrf_map_is_bad_pool
- consensus_inputs::importer::tests::pool_id_wrong_width_is_bad_hash_hex
- consensus_inputs::importer::tests::bad_json_surface_is_json_variant
- consensus_inputs::json::tests::missing_required_field_is_error
- consensus_inputs::json::tests::unknown_field_is_rejected