Skip to content

Use automatic quorum set configuration by default#396

Open
bboston7 wants to merge 1 commit into
stellar:mainfrom
bboston7:default-enable-relaxed-qset
Open

Use automatic quorum set configuration by default#396
bboston7 wants to merge 1 commit into
stellar:mainfrom
bboston7:default-enable-relaxed-qset

Conversation

@bboston7

Copy link
Copy Markdown
Contributor

Closes #271

This change enables automatic quorum set configuration on all missions that previously had it disabled until the old stable image supported the SKIP_HIGH_CRITICAL_VALIDATOR_CHECKS_FOR_TESTING configuration option. That option was introduced in stellar-core v22.3.0, so this is beyond overdue.

The change also removes the --enable-relaxed-auto-qset-config option and uncondtionally sets
SKIP_HIGH_CRITICAL_VALIDATOR_CHECKS_FOR_TESTING=true. This ensures that we use automatic quorum set configuration (and therefore the "new" nomination algorithm) wherever possible.

Closes stellar#271

This change enables automatic quorum set configuration on all missions
that previously had it disabled until the old stable image supported the
`SKIP_HIGH_CRITICAL_VALIDATOR_CHECKS_FOR_TESTING` configuration option.
That option was introduced in stellar-core v22.3.0, so this is beyond
overdue.

The change also removes the `--enable-relaxed-auto-qset-config` option
and uncondtionally sets
`SKIP_HIGH_CRITICAL_VALIDATOR_CHECKS_FOR_TESTING=true`.  This ensures
that we use automatic quorum set configuration (and therefore the "new"
nomination algorithm) wherever possible.
Copilot AI review requested due to automatic review settings June 11, 2026 23:19

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR enables automatic quorum set configuration by default across missions, removing the now-obsolete “relaxed auto qset” toggle and related plumbing, so missions consistently use stellar-core’s auto quorum set configuration (and associated nomination behavior) on current stable images.

Changes:

  • Removed the --enable-relaxed-auto-qset-config CLI option and the enableRelaxedAutoQsetConfig field from MissionContext.
  • Removed the per-mission skipHighCriticalValidatorChecks/explicit-qset compatibility overrides now that stable stellar-core images support SKIP_HIGH_CRITICAL_VALIDATOR_CHECKS_FOR_TESTING.
  • Switched quorum set generation to prefer auto quorum sets unconditionally when possible, and always emits SKIP_HIGH_CRITICAL_VALIDATOR_CHECKS_FOR_TESTING=true in generated core configs.

Reviewed changes

Copilot reviewed 11 out of 11 changed files in this pull request and generated 2 comments.

Show a summary per file
File Description
src/FSLibrary/StellarNetworkData.fs Removes the explicit-qset fallback for pubnet tier1 and defaults pubnet quorum generation to auto qset.
src/FSLibrary/StellarMissionContext.fs Removes the enableRelaxedAutoQsetConfig field from mission context.
src/FSLibrary/StellarCoreSet.fs Deletes skipHighCriticalValidatorChecks from CoreSetOptions and updates quorum-config comments.
src/FSLibrary/StellarCoreCfg.fs Always emits SKIP_HIGH_CRITICAL_VALIDATOR_CHECKS_FOR_TESTING and makes PreferAutoQset choose auto when homeDomain is set.
src/FSLibrary/MissionVersionMixConsensus.fs Drops explicit-qset / skip-check compatibility overrides for old-image missions.
src/FSLibrary/MissionMixedImageNetworkSurvey.fs Removes explicit-qset / skip-check compatibility overrides for mixed-image survey mission.
src/FSLibrary/MissionMixedImageLoadGeneration.fs Removes explicit-qset / skip-check compatibility overrides for mixed-image loadgen mission.
src/FSLibrary/MissionDatabaseInplaceUpgrade.fs Removes explicit-qset / skip-check compatibility overrides for inplace-upgrade mission.
src/FSLibrary/MissionCatchupHelpers.fs Removes explicit-qset / skip-check compatibility overrides for catchup mission core sets.
src/FSLibrary.Tests/Tests.fs Updates test MissionContext literal to remove enableRelaxedAutoQsetConfig.
src/App/Program.fs Removes the --enable-relaxed-auto-qset-config CLI option and stops wiring it into MissionContext.
Comments suppressed due to low confidence (1)

src/App/Program.fs:532

  • The --enable-relaxed-auto-qset-config CLI option was removed here, but it is still referenced in documentation (e.g. doc/theoretical-max-tps.md lists it in the “Extra Supercluster Options” column). Users following those docs will now get an “unknown option” error; the docs should be updated to remove this flag (it’s now the default behavior).
    [<Option("check-events-are-consistent-with-entry-diffs",
             HelpText = "when this flag is provided, pubnet parallel catchup workers will run with `EMIT_CLASSIC_EVENTS` and `BACKFILL_STELLAR_ASSET_EVENTS` set, and have the `EventsAreConsistentWithEntryDiffs` invariant check enabled",
             Required = false)>]
    member self.CheckEventsAreConsistentWithEntryDiffs = checkEventsAreConsistentWithEntryDiffs

    [<Option("job-monitor-external-host",
             HelpText = "Cluster-external hostname to connect to for access to job monitor",
             Required = false)>]
    member self.JobMonitorExternalHost = jobMonitorExternalHost

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread src/FSLibrary/StellarCoreCfg.fs
Comment thread src/FSLibrary/StellarNetworkData.fs

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 9b8360c354

ℹ️ About Codex in GitHub

Codex has been enabled to automatically review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

When you sign up for Codex through ChatGPT, Codex can also answer questions or update the PR, like "@codex address that feedback".

Comment thread src/FSLibrary/StellarCoreCfg.fs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

follow up: enable auto quorum set configuration by default after v22.3.0 release

2 participants