zeekayandHanzo Dev 9f2d755bb0 cert: the door is sized from K, the verifier from n — say which ...

TestQuasarCountFloor_SizerMatchesVerifier and LLM.md both claimed the
producer, the gossip door and the verifier ask for one count. What the
test holds is narrower and is the thing worth holding: the door's alpha
is TwoThirdsCount(p.K), so the door is sized by the function the verifier
enforces and neither is a second definition of the count.

The two are one number whenever the params were sized to the set that is
running, which is what FeasibleParams does. They part when the set has
moved since, and the new test states which way that cuts: TwoThirdsCount
does not decrease, so a set that GREW leaves the door the looser bar and
the predicate still decides — this clause cannot halt an export the door
admitted. A set that SHRANK leaves the door the stricter bar, which is
the runtime's gossip-admission bound and reads the same before and after
the clause.

Documentation and one test. No floor logic is touched.

Co-authored-by: Hanzo Dev <[email protected]>

2026-09-01 18:22:29 -07:00

..

block

consensus: Quasar cutover to LSS-Pulsar + post-Feb-28 batch

2026-03-03 12:00:00 -08:00

bootstrap

bootstrap: connect catch-up by accepted parent ID

2026-08-21 17:45:38 -07:00

chainmock

Replace symlinks with actual directories for Go module compatibility

2025-09-27 03:26:38 +00:00

chaintest

feat: update consensus v1.22.1 - context improvements and TypeScript SDK

2025-12-03 23:56:12 -08:00

getter

Replace symlinks with actual directories for Go module compatibility

2025-09-27 03:26:38 +00:00

statesync

statesync: answer a peer's summary requests, and drop an unreachable check

2026-08-15 21:52:51 -07:00

summary

style: gofmt the tracked consensus suite

2026-08-21 11:45:32 -07:00

syncer

clean: remove deprecated aliases, AI slop, backwards compat code

2026-02-15 14:08:02 -08:00

abandoned_retry_test.go

consensus: comments state the invariant, not the incident

2026-08-14 14:57:08 -07:00

accept_test.go

chain: Nova ignites on a majority of stake, not a majority of heads

2026-08-13 22:29:04 -07:00

accepted_pos_ordering_test.go

fix(engine): count the votes that die at the cert freeze, and stop overclaiming the fix

2026-08-08 08:01:16 -07:00

alias_cert_finalize_test.go

style: gofmt the tracked consensus suite

2026-08-21 11:45:32 -07:00

alpha_floor_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

applied_head_test.go

consensus: comments state the invariant, not the incident

2026-08-14 14:57:08 -07:00

attestation_test.go

cert: give the export rung a distinct-signer floor, so two thirds means two thirds of the parties

2026-09-01 17:39:39 -07:00

attestation.go

cert: give the export rung a distinct-signer floor, so two thirds means two thirds of the parties

2026-09-01 17:39:39 -07:00

attestor_evidence_test.go

cert: give the export rung a distinct-signer floor, so two thirds means two thirds of the parties

2026-09-01 17:39:39 -07:00

authenticated_vote_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

authenticated_vote.go

consensus: require cryptographic quorum evidence

2026-08-18 22:21:49 -07:00

b1_cert_no_viewchange_test.go

engine/chain: finality ladder in the Lux ontology (Photon→Wave→Nova→Quasar→Horizon)

2026-07-10 01:17:22 -07:00

bench_round_test.go

bench: ask Go the aggregate question C++ was being asked

2026-08-29 20:02:17 -07:00

bench_trilang_test.go

bench: time the same work in every language, and time a round

2026-08-29 19:11:08 -07:00

benchmark_test.go

consensus(engine/chain): real alpha-of-K quorum-cert finality (no proposer self-finality)

2026-06-22 16:32:28 -07:00

bft_committee_test.go

style: gofmt the tracked consensus suite

2026-08-21 11:45:32 -07:00

block_test.go

the corporate name is Lux Industries Inc

2026-08-28 12:58:35 -07:00

bootstrap_accept.go

consensus: comments state the contract, not the history behind it

2026-08-26 13:18:52 -07:00

bootstrap_settled_test.go

chain: replay finalized blocks the VM missed, on signed authority

2026-08-14 20:27:29 -07:00

bootstrap_sync_test.go

consensus: comments state the invariant, not the incident

2026-08-14 14:57:08 -07:00

byzantine_scale_red_test.go

engine/chain: v1.36 two-tier accept — Nova (majority) accept vs Quasar (⅔-stake) export

2026-07-10 03:58:20 -07:00

canonical_representative_test.go

alpha means alpha distinct validators, on every road that reaches it

2026-08-15 23:30:25 -07:00

catchup_accept.go

validator: node-bound proof of possession, one key per node

2026-09-01 08:10:24 -07:00

catchup_needs_cert_test.go

chain: replay finalized blocks the VM missed, on signed authority

2026-08-14 20:27:29 -07:00

catchup_selfheal_test.go

chain: request the cert catch-up the abandon path always promised

2026-08-01 00:58:56 -07:00

catchup_settled_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

catchup_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

cert_canonical_aggregation_test.go

engine/chain: FIX #1 self-finality floor + FIX #3 canonical vote aggregation (v1.35.29)

2026-07-07 12:25:14 -07:00

cert_canonical_inversion_test.go

consensus: comments state the invariant, not the incident

2026-08-14 14:57:08 -07:00

cert_codec_test.go

consensus: comments state the invariant, not the incident

2026-08-14 14:57:08 -07:00

cert_codec.go

chain: a canonical cert codec, and equivocation evidence that outlives the cert

2026-08-21 07:15:50 -07:00

cert_fuzz_test.go

style: gofmt the tracked consensus suite

2026-08-21 11:45:32 -07:00

cert_gossip_pacing_test.go

chain: end the frontier walk at the tip, and pace cert gossip

2026-08-14 07:56:43 -07:00

cert_height_test.go

chain: file a served cert under the height the cert attests

2026-08-14 04:30:07 -07:00

cert_store_test.go

validator: close the node axis, make the canonical order build-invariant

2026-09-01 08:10:35 -07:00

cert_store.go

validator: close the node axis, make the canonical order build-invariant

2026-09-01 08:10:35 -07:00

cert_wire_vector_test.go

export the reject leg the corpus generator already calls

2026-08-29 17:52:36 -07:00

cert.go

cert: give the export rung a distinct-signer floor, so two thirds means two thirds of the parties

2026-09-01 17:39:39 -07:00

certified_descendant_head_test.go

consensus: comments state the invariant, not the incident

2026-08-14 14:57:08 -07:00

certified_steer_unreadable_test.go

consensus: comments state the invariant, not the incident

2026-08-14 14:57:08 -07:00

committee_scaling_test.go

engine/chain: finality ladder in the Lux ontology (Photon→Wave→Nova→Quasar→Horizon)

2026-07-10 01:17:22 -07:00

committee_sizer_equivalence_test.go

engine/chain: committee-sizer drift-guard (RED #3) + -race scale cap for the convergence storm

2026-07-09 11:02:44 -07:00

comprehensive_test.go

the corporate name is Lux Industries Inc

2026-08-28 12:58:35 -07:00

conformance_test.go

fix(chain): α must mean α DISTINCT validators — ProcessVote takes the voter

2026-07-31 20:56:06 -07:00

consensus_test.go

the corporate name is Lux Industries Inc

2026-08-28 12:58:35 -07:00

consensus.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

convergence_bound_red_test.go

engine/chain: committee-sizer drift-guard (RED #3) + -race scale cap for the convergence storm

2026-07-09 11:02:44 -07:00

convergence_hardening_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

coverage_test.go

fix(chain): α must mean α DISTINCT validators — ProcessVote takes the voter

2026-07-31 20:56:06 -07:00

decision_test.go

chain: the envelope-vs-canonical rule lives in one place

2026-08-20 13:22:05 -07:00

dedup_tally_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

descent_bound_test.go

validator: node-bound proof of possession, one key per node

2026-09-01 08:10:24 -07:00

descent_test.go

validator: node-bound proof of possession, one key per node

2026-09-01 08:10:24 -07:00

descent.go

validator: node-bound proof of possession, one key per node

2026-09-01 08:10:24 -07:00

doc.go

Replace symlinks with actual directories for Go module compatibility

2025-09-27 03:26:38 +00:00

dynamic_test.go

test: wait for completed re-poll finality

2026-08-21 18:18:00 -07:00

engine_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

engine.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

epoch_binding_test.go

consensus: comments state the invariant, not the incident

2026-08-14 14:57:08 -07:00

epoch_catchup_door_test.go

chain: the far-past epoch bound has two doors

2026-08-20 12:35:32 -07:00

epoch_catchup_enforced_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

epoch_finality_test.go

style: gofmt the tracked consensus suite

2026-08-21 11:45:32 -07:00

epoch_order_test.go

tests: lock certified finality safety invariants

2026-08-21 11:28:36 -07:00

epoch_receive_test.go

chore(chain): rip AI-slop filenames — avalanche-clean naming

2026-06-28 15:14:16 -07:00

ERROR_TESTS_SUMMARY.md

docs: snowball → Quasar/Wave terminology (no code changes)

2026-03-01 23:00:51 -08:00

errors_test.go

chore(chain): rip AI-slop filenames — avalanche-clean naming

2026-06-28 15:14:16 -07:00

fetch_attack_test.go

chore(chain): rip AI-slop filenames — avalanche-clean naming

2026-06-28 15:14:16 -07:00

fetch_test.go

chore(chain): rip AI-slop filenames — avalanche-clean naming

2026-06-28 15:14:16 -07:00

finality_seam_test.go

fix(chain): let the finality walk read blocks back from the VM

2026-08-13 18:44:15 -07:00

finality_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

finality.go

cert: give the export rung a distinct-signer floor, so two thirds means two thirds of the parties

2026-09-01 17:39:39 -07:00

finalize_resign_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

fold_determinism_test.go

tests: lock certified finality safety invariants

2026-08-21 11:28:36 -07:00

frontier_alias_test.go

chain: the frontier is a decision, not an envelope

2026-08-20 10:32:39 -07:00

frontier_rebase_test.go

consensus: comments state the invariant, not the incident

2026-08-14 14:57:08 -07:00

guard.go

chore(chain): rip AI-slop filenames — avalanche-clean naming

2026-06-28 15:14:16 -07:00

height_test.go

consensus: single-flight concurrent cert delivery

2026-08-21 14:48:47 -07:00

helpers_test.go

summary: ship the file the package is built out of

2026-08-15 23:51:36 -07:00

hint_frontier_test.go

tests: lock certified finality safety invariants

2026-08-21 11:28:36 -07:00

import_sync_test.go

consensus(engine/chain): real alpha-of-K quorum-cert finality (no proposer self-finality)

2026-06-22 16:32:28 -07:00

incident_1082814_test.go

style: gofmt the tracked consensus suite

2026-08-21 11:45:32 -07:00

integration.go

consensus: comments state the contract, not the history behind it

2026-08-26 13:18:52 -07:00

intermediate_sibling_adversarial_test.go

style: gofmt the tracked consensus suite

2026-08-21 11:45:32 -07:00

intermediate_sibling_livelock_test.go

engine/chain: canonicalize the intermediate-ancestor walk (close v1.36 load-livelock)

2026-07-10 15:28:01 -07:00

ledger_test.go

chain: carry finalized heights through the plan, so recovery names them right

2026-08-14 22:29:09 -07:00

ledger.go

chain: re-validate epoch when a parent lands, and seed the anchor by decision

2026-08-21 08:37:55 -07:00

lock_invariant_test.go

style: gofmt the tracked consensus suite

2026-08-21 11:45:32 -07:00

lock_invariant.go

consensus: housekeeping — one ⅔ formula, leaf-lock doctrine (v1.35.16)

2026-07-02 17:48:59 -07:00

missing_ancestor_test.go

style: gofmt the tracked consensus suite

2026-08-21 11:45:32 -07:00

multinode_clone_test.go

engine/chain: vote-guard clone-artifact re-sign fallback (v4 Strategy-A)

2026-07-05 12:17:43 -07:00

multinode_harness_test.go

consensus: comments state the invariant, not the incident

2026-08-14 14:57:08 -07:00

multinode_liveness_multiround_test.go

fix(engine/chain): durable + epoch-keyed + funnel-pruned vote-once guard (Red HIGH-1/HIGH-2/MEDIUM-1)

2026-06-30 23:18:15 -07:00

multinode_mainnet_committee_test.go

engine/chain: finality ladder in the Lux ontology (Photon→Wave→Nova→Quasar→Horizon)

2026-07-10 01:17:22 -07:00

multinode_proposer_test.go

consensus: comments state the invariant, not the incident

2026-08-14 14:57:08 -07:00

multinode_reconverge_test.go

validator: node-bound proof of possession, one key per node

2026-09-01 08:10:24 -07:00

nova_count_floor_test.go

tests: lock certified finality safety invariants

2026-08-21 11:28:36 -07:00

nova_quasar_matrix_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

nova_stake_majority_test.go

chain: Nova ignites on a majority of stake, not a majority of heads

2026-08-13 22:29:04 -07:00

orphan_reconcile_test.go

consensus: comments state the invariant, not the incident

2026-08-14 14:57:08 -07:00

params_test.go

fix(chain): α must mean α DISTINCT validators — ProcessVote takes the voter

2026-07-31 20:56:06 -07:00

poll_test.go

the corporate name is Lux Industries Inc

2026-08-28 12:58:35 -07:00

preference_convergence_test.go

engine/chain: purge 'snowman' — Lux consensus is Quasar/Nova on the chain engine (comment-only, no behavior change)

2026-07-09 10:50:09 -07:00

probe_test.go

style: gofmt the tracked consensus suite

2026-08-21 11:45:32 -07:00

proposal_key_test.go

engine/chain: trim proposal-identity comments (no behavior change)

2026-07-03 19:53:01 -07:00

proposer_liveness_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

proposer_resolicit_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

proposer_test.go

chore(chain): rip AI-slop filenames — avalanche-clean naming

2026-06-28 15:14:16 -07:00

quasar_count_floor_test.go

cert: the door is sized from K, the verifier from n — say which

2026-09-01 18:22:29 -07:00

quasar_signing_floor_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

quasar_test.go

engine/chain: v1.36 two-tier accept — Nova (majority) accept vs Quasar (⅔-stake) export

2026-07-10 03:58:20 -07:00

quasar.go

chore(chain): rip AI-slop filenames — avalanche-clean naming

2026-06-28 15:14:16 -07:00

quorum_function_test.go

cert: give the export rung a distinct-signer floor, so two thirds means two thirds of the parties

2026-09-01 17:39:39 -07:00

quorum_matrix_test.go

cert: give the export rung a distinct-signer floor, so two thirds means two thirds of the parties

2026-09-01 17:39:39 -07:00

quorum.go

cert: give the export rung a distinct-signer floor, so two thirds means two thirds of the parties

2026-09-01 17:39:39 -07:00

race_flag_norace_test.go

fix(engine/chain): fresh-net single-block finality — epoch-blind vote-once + per-height vote convergence

2026-07-01 13:13:34 -07:00

race_flag_race_test.go

fix(engine/chain): fresh-net single-block finality — epoch-blind vote-once + per-height vote convergence

2026-07-01 13:13:34 -07:00

recovery_test.go

style: gofmt the tracked consensus suite

2026-08-21 11:45:32 -07:00

red_independent_fork_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

red_replay_order_test.go

chain: replay finalized blocks the VM missed, on signed authority

2026-08-14 20:27:29 -07:00

red_sibling_fork_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

reorg_test.go

engine/chain: purge 'snowman' — Lux consensus is Quasar/Nova on the chain engine (comment-only, no behavior change)

2026-07-09 10:50:09 -07:00

scale_invariance_red_test.go

cert: give the export rung a distinct-signer floor, so two thirds means two thirds of the parties

2026-09-01 17:39:39 -07:00

seed_hint_test.go

summary: ship the file the package is built out of

2026-08-15 23:51:36 -07:00

sign_gate_status_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

sign_gate_status.go

alpha means alpha distinct validators, on every road that reaches it

2026-08-15 23:30:25 -07:00

single_node_test.go

consensus: DECOMPLECT single-validator finalize — remove selfVoter shortcut (one path, ava-aligned)

2026-07-02 15:29:14 -07:00

singlenode_decide_test.go

style: gofmt the tracked consensus suite

2026-08-21 11:45:32 -07:00

stake_test.go

chain: Nova ignites on a majority of stake, not a majority of heads

2026-08-13 22:29:04 -07:00

status_test.go

the corporate name is Lux Industries Inc

2026-08-28 12:58:35 -07:00

storm_helpers_test.go

engine/chain: delete the Tendermint braid (Phase A — foundation for Nova sole decider)

2026-07-10 00:25:16 -07:00

sync_test.go

consensus: comments state the invariant, not the incident

2026-08-14 14:57:08 -07:00

tally_overflow_test.go

cert: give the export rung a distinct-signer floor, so two thirds means two thirds of the parties

2026-09-01 17:39:39 -07:00

tier_separation_test.go

tests: lock certified finality safety invariants

2026-08-21 11:28:36 -07:00

topological.go

ci: format consensus and isolate cross-build caches

2026-08-21 11:44:51 -07:00

topology.go

consensus: single-flight concurrent cert delivery

2026-08-21 14:48:47 -07:00

transient_selffinality_floor_test.go

consensus: comments state the invariant, not the incident

2026-08-14 14:57:08 -07:00

transitive_test.go

the corporate name is Lux Industries Inc

2026-08-28 12:58:35 -07:00

verified_cert.go

engine/chain: v1.36 two-tier accept — Nova (majority) accept vs Quasar (⅔-stake) export

2026-07-10 03:58:20 -07:00

vote_guard_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

vote_guard.go

alpha means alpha distinct validators, on every road that reaches it

2026-08-15 23:30:25 -07:00

vote_safety_invariants_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00

weighted_test.go

cert: give the export rung a distinct-signer floor, so two thirds means two thirds of the parties

2026-09-01 17:39:39 -07:00

winner_determinism_red_test.go

style: gofmt the tracked consensus suite

2026-08-21 11:45:32 -07:00

wrapper_bycanonical_adversarial_test.go

engine/chain: canonicalize the intermediate-ancestor walk (close v1.36 load-livelock)

2026-07-10 15:28:01 -07:00

zz_red_bootstrap_test.go

chain: a recovery index deeper than the equivocation window

2026-08-14 22:11:30 -07:00

zz_refute_authvote_nonvalidator_test.go

consensus: a quorum of zero is not a quorum

2026-09-01 12:01:23 -07:00