rhi

Coordinated trade for connected markets
git clone https://radroots.dev/git/rhi.git
Log | Files | Refs | README | LICENSE

reconciliation_finalization.v1.json (2894B)

      1 {
      2   "schema": "radroots.rhi.reconciliation-finalization",
      3   "schema_version": 1,
      4   "contract_version": 1,
      5   "purpose": "read_only_preflight_for_the_later_generation_fenced_atomic_finalization",
      6   "input": {
      7     "evaluation_authority": "sealed_step_194_evaluation_only",
      8     "lease_authority": "exact_live_claimed_reconciliation_lease",
      9     "time_authority": "caller_injected_integer_utc_milliseconds",
     10     "ownership": "evaluation_consumed_and_retained_inside_fence"
     11   },
     12   "private_identity_chain": {
     13     "manifest_retains": [
     14       "step_190_attempt_id",
     15       "step_190_job_id"
     16     ],
     17     "canonical_manifest_wire_changed": false,
     18     "required_equalities": [
     19       "manifest_job_id_equals_lease_job_id",
     20       "manifest_attempt_id_equals_domain_separated_current_lease_attempt_id",
     21       "manifest_trade_equals_lease_job_trade",
     22       "manifest_generation_equals_lease_job_input_generation",
     23       "manifest_policy_digest_equals_lease_job_policy_digest"
     24     ],
     25     "projection_digest": "required_available_before_fence_creation",
     26     "public_identity_access": false
     27   },
     28   "preflight_order": [
     29     "writable_host",
     30     "sealed_identity_chain",
     31     "unexpired_input_lease",
     32     "exact_current_lease",
     33     "exact_current_dirty_generation_and_policy_digest",
     34     "exact_committed_attempt_row"
     35   ],
     36   "durable_validation": {
     37     "transaction": "one_bounded_read_only_service_sqlite_transaction",
     38     "attempt_table": "evidence_reconciliations",
     39     "attempt_match_cardinality": 1,
     40     "mutation": false,
     41     "step_199_requirement": "rerun_same_validator_inside_atomic_finalization_transaction_before_any_write",
     42     "preflight_is_commit_authority": false,
     43     "state_may_change_after_preflight": true
     44   },
     45   "result": {
     46     "type": "RhiReconciliationFinalizationFence",
     47     "sealed": true,
     48     "clone": false,
     49     "serialize": false,
     50     "caller_forgeable": false,
     51     "retains_evaluation": true,
     52     "debug": "coverage_and_outcome_only",
     53     "errors": "crate_owned_source_free_redacted"
     54   },
     55   "effects": {
     56     "sqlite_read": true,
     57     "sqlite_write": false,
     58     "filesystem": false,
     59     "source_or_relay": false,
     60     "network": false,
     61     "task_spawn": false,
     62     "ambient_clock": false,
     63     "ambient_entropy": false,
     64     "report_or_attestation": false,
     65     "publication": false,
     66     "job_finalization": false
     67   },
     68   "forbidden": [
     69     "old_attempt_relabelled_with_new_lease",
     70     "stale_generation_fence",
     71     "policy_digest_substitution",
     72     "projection_digest_absence_as_finalizable",
     73     "preflight_used_as_durable_commit_proof",
     74     "report_or_outbox_write",
     75     "checkpoint_advance",
     76     "job_state_transition"
     77   ],
     78   "deferred": [
     79     "canonical_report_statement_supersession_and_signed_attestation",
     80     "manifest_projection_report_and_signed_event_schema",
     81     "atomic_finalization_transaction",
     82     "publication",
     83     "job_finalization",
     84     "integration_wave_qualification"
     85   ]
     86 }