Claims Layer

Claims Index

This is the compiled subsystem index of the normalized claims layer. Use it to jump from a topic to the current governing claim without scanning the entire research tree.

Truth RegisterOpen ClaimsYellow PaperFull RE Paper
Sections 7 Top-level chapters
Entries 36 List items and bullets
Read Time 2 min ~451 words
Document Map

Jump To The Major Sections

01 bridge Top-level section 02 consensus Top-level section 03 execution Top-level section 04 hashing Top-level section 05 liquidation Top-level section 06 outcomes Top-level section 07 state Top-level section

Generated from knowledge/claims by tools/compile_knowledge_docs.py.

bridge#

  • claim.bridge_finalization_and_validator_set_flow - Bridge2 stages withdrawals and validator-set updates through signatures plus finalized-vote state (confirmed, confirmed, testnet_impl, active)
  • Source file: knowledge/claims/bridge-finalization-and-validator-set-flow.md

consensus#

  • claim.hyperbft_topology_and_rotation - HyperBFT uses broadcaster ingress, validator/sentry admission checks, and RoundRobinTtl proposer rotation (confirmed, confirmed, testnet_impl, active)
  • Source file: knowledge/claims/hyperbft-topology-and-rotation.md
  • claim.validator_lifecycle_and_jail_flow - Validator lifecycle is time-epoch gated, jail-aware, and signer-checked against current epoch state (confirmed, confirmed, testnet_impl, active)
  • Source file: knowledge/claims/validator-lifecycle-and-jail-flow.md

execution#

  • claim.action_delayer_maturity_surface - ActionDelayer drain is a named begin-block lane, while mode semantics remain partly open (implemented, confirmed, local_impl, active)
  • Source file: knowledge/claims/action-delayer-maturity-surface.md
  • claim.aligned_quote_token_sampling - Aligned quote token state samples validator risk-free-rate votes in begin-block effect 9 (confirmed, confirmed, testnet_impl, active)
  • Source file: knowledge/claims/aligned-quote-token-sampling.md
  • claim.begin_block_ordering_surface - Begin-block ordering is 9 named effects with BOLE at #3 and ActionDelayer at #8 (confirmed, confirmed, testnet_impl, closed)
  • Source file: knowledge/claims/begin-block-ordering-surface.md
  • claim.corewriter_delayed_action_surface - CoreWriter re-enters L1 through a delayed action lane with 15 known action types (confirmed, confirmed, testnet_impl, active)
  • Source file: knowledge/claims/corewriter-delayed-action-surface.md
  • claim.action_surface_testnet - Current widened testnet action surface is 97 variants with 126 sub-types (confirmed, confirmed, testnet_impl, active)
  • Source file: knowledge/claims/action-surface-testnet.md
  • claim.begin_block_bole_ordering_conflict - Stale BOLE begin-block ordering conflict is resolved (confirmed, confirmed, testnet_impl, closed)
  • Source file: knowledge/claims/begin-block-bole-ordering-conflict.md
  • claim.block_lifecycle_phase_map - The repo now uses one explicit block lifecycle phase map and hook surface (confirmed, confirmed, local_impl, open)
  • Source file: knowledge/claims/block-lifecycle-phase-map.md

hashing#

  • claim.fill_hash_struct_surface - Fill hashes use a separate 18-field payload and API wrappers add coin and feeToken (confirmed, confirmed, testnet_impl, active)
  • Source file: knowledge/claims/fill-hash-struct-surface.md
  • claim.serializer_g_success_error_split - G-family action hashes use H-shape success and G-shape error payloads (confirmed, confirmed, testnet_impl, closed)
  • Source file: knowledge/claims/serializer-g-success-error-split.md
  • claim.resphash_backend_split - RespHash backends are chain-scoped, but mainnet serialization is not fully wired (confirmed, confirmed, local_impl, open)
  • Source file: knowledge/claims/resphash-backend-split.md

liquidation#

  • claim.liquidation_scope_boundaries - Liquidation family boundaries are now explicit across perps, PM, BOLE, spot, and outcomes (confirmed, confirmed, local_impl, open)
  • Source file: knowledge/claims/liquidation-scope-boundaries.md
  • claim.portfolio_margin_liquidation_mode - Portfolio margin liquidates as a generalized cross-margin account (confirmed, confirmed, protocol, active)
  • Source file: knowledge/claims/portfolio-margin-liquidation-mode.md

outcomes#

  • claim.outcome_merge_question_fallback_risk - Multi-outcome MergeQuestion fallback reconciliation is the leading outcome solvency risk (observed, hypothesis, testnet_impl, active)
  • Source file: knowledge/claims/outcome-merge-question-fallback-risk.md
  • claim.outcome_settlement_and_question_surface - Outcomes are 1x isolated settlement markets with explicit question and fallback metadata (confirmed, confirmed, testnet_impl, active)
  • Source file: knowledge/claims/outcome-settlement-and-question-surface.md

state#

  • claim.exchange_struct_cardinality - Exchange struct cardinality is currently 57 fields (confirmed, confirmed, testnet_impl, open)
  • Source file: knowledge/claims/exchange-struct-cardinality.md