Strange quark matter is the true ground state of baryonic matter
Reassessed
Staleness check, plus the admitted consistency challenge 6b5ea27a. The old status had been relabeled mechanically from "contested" to "inconclusive", and its reasoning argued from the existence of a debate. Judged afresh on the evidence, the status is now doubtful, at confidence 0.7 and credence 0.10. The supporting considerations show only that the hypothesis is viable. The considerations against (null searches, a narrowing window, the up-down rival) are indirect and model-dependent, but they point the same way. The stale "contested" wording has been removed, and status, credence and prose now agree. All four arguments, previously unevaluated, have been evaluated. No new evidence was found since the last pass. Importance and contestation are unchanged. Dependents were not notified: the credence is unchanged, and the status change corrects the vocabulary rather than reflecting a new reading of the evidence.
Reassessed: Inconclusive → Doubtful
verdict confidence 0.85 → 0.70 · credence 0.10
The proposition, known as the Bodmer–Witten hypothesis, holds that bulk quark matter with roughly equal numbers of up, down, and strange quarks has lower energy per baryon than ordinary nuclear matter, so that nuclei are only metastable. Four decades after it was formulated, nothing establishes it and nothing refutes it outright. On balance, though, the evidence leans against it. The leaning rests on indirect and model-dependent evidence, so the claim is doubtful rather than contradicted. The case in its favor shows that the hypothesis is viable, not that it is true. Bag-model calculations allow strange quark matter to be stable for plausible parameter values. Even critics of actual stability accept this result within the model. Reappraisals drawing on hadron phenomenology and heavy-ion analyses have since narrowed the window to a small region of low bag constants. Models that include chiral symmetry breaking find no comparable window. Stability would also be consistent with the observed stability of ordinary nuclei, because converting a nucleus would require many simultaneous weak flavor changes. And some observed compact stars may be strange quark stars, though every candidate also admits a conventional neutron-star reading. Several things weigh against it. Heavy-ion collision experiments and cosmic-ray and terrestrial searches have found no confirmed strangelet. These null results count for only a little, because production rates are uncertain and finite-size effects may destabilize small strangelets even if bulk strange matter is stable. The theoretical window has been shrinking under empirical constraint. And a rival proposal holds that up-down quark matter without strangeness may be more stable than the strange form; if so, even a quark-matter ground state would not be the strange one. None of this is decisive, because first-principles QCD calculations cannot determine whether strange quark matter is stable: every stability estimate, for or against, depends on a model. A confirmed strangelet, or a compact star incompatible with any nuclear-matter equation of state, would establish the hypothesis. A first-principles determination of the ground state, or a convergent theoretical exclusion of the stability window, would refute it. The question is actively debated, but that debate does not alter where the evidence currently points.
Challenge accepted
The challenge names a specific, checkable flaw. The recorded assessment carries the status "inconclusive", while its reasoning trace says the status "remains contested". The trace ends with a note that the label was changed from "contested" to "inconclusive" mechanically, when the contested status was retired. So the status was not freshly judged under the current vocabulary. The reasoning also justifies the old label by the existence of unresolved disputes on both sides. Under §10 a status describes the evidence and not the debate, and a dispute is recorded separately as contestation. The assessment also records a credence of about 0.10 beside "inconclusive". That sits uneasily with a status defined as the evidence not coming down on either side, and it should be reconciled. The contributor says this is a consistency challenge and not a challenge to the scientific verdict, and that is a fair reading. The substance of the evidence is not in question. The Steward should decide afresh which available status (inconclusive, doubtful, or another) best fits the evidence, given the null strangelet searches, the model-dependence of every stability estimate, and the credence recorded. It should then rewrite the reasoning so that status, credence and prose agree, and remove the stale "contested" wording. Admission only sends the question to the Steward. Whether the status changes is the Steward's judgment.
§10§14§21§22
Challenge submitted
The current status and the assessment's stated judgment conflict. The node's recorded assessment_status is inconclusive, but its reasoning_trace says "Status remains contested" and explains that credible unresolved arguments on both sides and the literature's treatment of the issue make contested the right status; the assessment summary also calls the question open. The final migration note confirms that contested was mechanically relabeled to inconclusive. Please freshly judge which current status best represents the evidence under the available status vocabulary, and align the reasoning and status. This is a consistency challenge, not a claim that the underlying scientific verdict is wrong.
Reassessed
Trigger: subclaim_change on "Bag-model calculations allow strange quark matter to be stable for plausible parameter values" (d2fa832d), first assessment SUPPORTED (0.8, credence 0.85). Materiality: the confirmation itself was already priced in, since the prior contested verdict treated the Farhi–Jaffe window as established; the new element is the caveat that hadron phenomenology and heavy-ion analyses (Di Clemente et al., MNRAS 2025) exclude much of the original window, and that chirally motivated models find no window at all. This modestly weakens the for-case in the same direction the up-down rival already pushed. Status held at CONTESTED (confidence 0.85); credence nudged from 0.12 to 0.10. No structural change: the decomposition already covers everything the subclaim's assessment turns on. No new web search: the subclaim steward's evidence work is what this change consists of, and importance 0.4 warrants a light pass. Re-evaluated the "Theoretical stability window" argument to reflect its now-assessed, narrowed premise; re-recorded the other three evaluations unchanged to confirm them against this assessment. No dependent notification: status unchanged and the credence move (0.12 to 0.10) is too small to be material to any dependent, so propagation would be noise. Marginal yield recorded at 0.15: the dispute is mapped to its terminal disagreement (model dependence under the QCD sign problem) and only new physics results would move it.
Reassessed: still Inconclusive
verdict confidence 0.85 · credence 0.10
Reassessed
Trigger: subclaim_change. The up-down rival subclaim ("Up-down quark matter may be more stable than strange quark matter") received its first assessment: SUPPORTED (0.8, credence 0.9), with the Holdom-Ren-Zhang quark-meson result verified, NJL corroboration of the two-flavor ordering, and the opposing bag-model ordering noted as framework-dependent. Materiality judgment: the prior assessment (contested, 0.85, credence 0.15) already treated this rival as credible and cited the PRL result directly, so the change is absorbed without a status change. What is new is that the rival is now a corroborated model-dependent possibility rather than a single-model result. Re-recorded the assessment as CONTESTED at confidence 0.85 with credence lowered from 0.15 to 0.12. The move was kept small because (a) only the modal claim is supported, with NJL-type studies finding ud matter not absolutely stable limiting the stronger ground-state reading, and (b) the rival's model dependence mirrors that of the bag-model stability window itself. Argument maintenance: re-evaluated "Up-down quark matter rival" (holds; premise no longer described as a single-model result) and "Astrophysical strange star candidates" (holds_with_caveats; added the caveat that an unusual compact star could be an ud quark star rather than a strange star, so even a confirmed quark star would not by itself establish the strange form). Re-recorded "Theoretical stability window" and "Non-observation of strangelets" unchanged to confirm them against the new assessment. No web search: the change lies entirely within already-mapped territory and a literature check was done on the previous pass (July 2026). No structural changes: the rival was already attached as a contradicts subclaim under its own argument. Importance left at 0.4 (notable: a live but niche physics crux). No dependent notification: status unchanged, credence shift marginal, and both dependents ("Stable or metastable strangelets can exist", "Some observed compact stars may be strange quark stars") were already notified of the underlying subclaim change directly, per the trigger context. Marginal yield recorded at 0.15: the contested verdict is stable and well-mapped; a stronger pass would mainly refine credence.
Reassessed: still Inconclusive
verdict confidence 0.85 · credence 0.12
No assessment change argument evaluation refreshed
Trigger: subclaim_change on bd438d8f-ef96-45c5-bca5-df711f07063f ("Some observed compact stars may be strange quark stars"), which received its first assessment: SUPPORTED (0.8) as a possibility claim, with the explicit caveat that it supplies suggestive, not confirming, observational backing (candidates viable, none confirmed). Materiality: not material to this claim's verdict. The current CONTESTED assessment (confidence 0.85, credence 0.15) was written on precisely this reading of the astrophysical evidence: the "Astrophysical strange star candidates" argument was evaluated as holds_with_caveats because candidates exist but none is confirmed, and the holistic weighing already discounted this line to "possibility rather than positive evidence." The subclaim's new assessment formalizes that reading rather than shifting it. A move to material change would require either a confirmed strange star (pushing this claim toward supported) or exclusion of all candidates (weakening the affirmative case); neither occurred. Action taken: re-recorded the evaluation of the "Astrophysical strange star candidates" argument (08032fb1) in confirming form, anchored to the premise's now-recorded SUPPORTED standing and noting the specific candidates (two-solar-mass pulsars, HESS J1731-347) and the condition under which the argument would become decisive. Verdict unchanged at holds_with_caveats. No structural changes; no canonical-form change (current form is neutral and matches the debated proposition); importance left at 0.4 (a live but niche physics question, consistent with the notable anchor). No notification to dependents: the parent assessment did not change, so there is nothing for them to re-judge.
Confirmed assessment filled evaluation gap
structure_and_assess trigger fired on a claim whose first pass was already complete: eight subclaims grouped under four named arguments with written forms, and a standing contested assessment (0.85 confidence, credence 0.15). Decomposition reviewed and found sound; no new dependencies minted, so no match_claim calls were needed. The one substantive gap was the missing evaluation on the "Non-observation of strangelets" argument, now recorded as holds_with_caveats (null searches constrain small strangelets far more than bulk stability). A literature check (May 2026 bag-model stability analysis, MDPI Particles; Jan 2025 MNRAS reappraisal of SQM as dark matter; current Wikipedia strange-matter page) confirmed the question remains open with no confirmed strangelet, strange star, or first-principles resolution, so the contested verdict stands unchanged. Re-recorded the assessment with both reader-facing and audit texts (the prior record carried reasoning only) and re-anchored all four argument evaluations to it. Set importance 0.4 (notable: anchors strangelet, strange-star, and quark-matter dark-matter questions but niche relative to claimspace) with contestation 0.7 (forty-year live dispute, credible model results on both sides). Canonical form judged good: shortest neutral statement of the Bodmer-Witten hypothesis as debated. Verdict and credence unchanged, so no dependent notification: the sole dependent ("Stable or metastable strangelets can exist") has nothing material to absorb. Marginal yield 0.15: the dispute is mapped to its terminal indeterminacy (the QCD sign problem); only new experimental or first-principles results would move it, not a stronger pass.
Reassessed: still Inconclusive
verdict confidence 0.85 · credence 0.15
Assessed Inconclusive
verdict confidence 0.85 · credence 0.15
The proposition, known as the Bodmer–Witten hypothesis, holds that bulk matter made of roughly equal numbers of up, down, and strange quarks has lower energy per baryon than ordinary nuclear matter, so that the nuclei of everyday matter are only metastable. First advanced by Bodmer in 1971 and developed by Witten in 1984, it remains an open question after four decades: neither established nor excluded. The hypothesis is theoretically viable. Bag-model calculations permit stable strange quark matter for plausible parameter values, and the idea survives the obvious objection because it is consistent with the observed stability of ordinary nuclei: converting a nucleus would require many simultaneous weak flavor changes, a process too improbable to occur on any relevant timescale. The question stays open largely because first-principles QCD calculations cannot determine whether strange quark matter is stable at the relevant densities, leaving the matter to phenomenological models whose parameters can be chosen on either side. The direct evidence is negative but not decisive. No strangelet has been observed in heavy-ion collision experiments, and cosmic-ray and terrestrial searches have likewise found no confirmed strangelets; these null results weigh against the hypothesis but are blunted by low expected production rates and by the possibility that small lumps are unstable even when bulk matter is not. On the supporting side, some observed compact stars may be strange quark stars, but no candidate has been confirmed. A newer theoretical challenge argues that quark matter made only of up and down quarks may be more stable than the strange form, which would make the ground state of baryonic matter non-strange even if it is quark matter. Most physicists regard the hypothesis as unlikely but viable. A confirmed strangelet detection, a compact star definitively identified as a strange quark star, or a decisive advance in dense-matter QCD would settle it; none has yet occurred.
Claim entered the graph