{"compile":"2026-10-10","canonical":"https://aaronspradlin.grok.me/wiki/falsification","json":"https://aaronspradlin.grok.me/page.json?slug=falsification","license":"Source-available for noncommercial research and evaluation only. No commercial, product, platform, or service use without written permission.","scientific_breakthrough":false,"slug":"falsification","title":"Falsification and next step","dek":"What would count as progress and what would count as failure on every open item — and the intended scope of each restricted finite result. Live queue opens at v13.24.","updated":"2026-10-01","status":"method","claim":"open","tags":["falsification","open","method"],"related":["for-researchers","predictions","claim-ledger","start-here","package-17","astra","v1241-closure","hubble-tension","recoverability-framework","it-from-bit","proofs-and-simulations","scan-log","july-2026-ladder","september-2026-ladder"],"packages":[{"id":"package17-bundle","name":"package17_bundle","path":"Tmp/TOE/package17_bundle","status":"open"},{"id":"uqcf-quantum-compatibility-lab","name":"UQCF_Quantum_Compatibility_Lab","path":"Tmp/TOE/UQCF_Quantum_Compatibility_Lab","status":"restricted"},{"id":"uqcf-gem-v12-41-public-simulation-complete","name":"UQCF_GEM_v12_41_PUBLIC_SIMULATION_COMPLETE","path":"Tmp/TOE/UQCF_GEM_v12_41_PUBLIC_SIMULATION_COMPLETE","status":"restricted"},{"id":"challenge14-packet","name":"challenge14_packet","path":"Tmp/TOE/challenge14_packet","status":"restricted"}],"notes":[{"id":"package17-2026-05-06","title":"Package 17: fail in public if it fails","date":"2026-05-06","xUrl":"https://x.com/aaronspradlin/status/2051503982653370798"},{"id":"recoverability-framework-2026-05-17","title":"Recoverability framework: perturbation → restored futures","date":"2026-05-17","xUrl":"https://x.com/aaronspradlin/status/2056092642832961737"},{"id":"it-from-bit-2026-06-10","title":"It from bit, bind, and order","date":"2026-06-10","xUrl":"https://x.com/aaronspradlin/status/2064518917310312599"},{"id":"bind-order-2026-06-11","title":"It-from-bit freeze: bind + order still required","date":"2026-06-11","xUrl":"https://x.com/aaronspradlin/status/2065100017065697343"},{"id":"qclab-2026-09-06","title":"Quantum compatibility lab — 315 vs 311","date":"2026-09-06","xUrl":"https://x.com/aaronspradlin/status/2096691247041892601"},{"id":"v1241-2026-09-10","title":"v12.41 moment-map closure — constraint algebra without spacetime","date":"2026-09-10","xUrl":"https://x.com/aaronspradlin/status/2098145800949776410"},{"id":"gravity-2026-09-04","title":"Gravity as the price of one reality","date":"2026-09-04","xUrl":"https://x.com/aaronspradlin/status/2095940445968949374"}],"claims":[{"status":"open","text":"This upgrade. Wiki may lag X; wiki may not lag STATUS.md by more than one gate."},{"status":"restricted","text":"v13.23 circularity. QRSL irreducible."},{"status":"restricted","text":"v13.27 projective ray."},{"status":"restricted","text":"v13.28 / author response. RGCL REQUIRES_NEW_AXIOM."},{"status":"restricted","text":"v14.04, v15.02. 120 inequivalent bijections."},{"status":"restricted","text":"v15.01. Parent/support representation is not a provenance source."},{"status":"restricted","text":"No prune law. λ_source is a source parameter."},{"status":"restricted","text":"Claim-boundary ban. Physics-facing tests must not select κ."},{"status":"open","text":"GitHub-only 12 Sep. Latest completed v14.04. provenance → [P] STOPPED PENDING REPRESENTATION PRINCIPLE. v13.28 RGCL REQUIRES_NEW_AXIOM. Do not invent an intertwiner or coupling law to continue. RATS remains sealed. Pillar 3 / Einstein remains OPEN. Not a gravity derivation."},{"status":"restricted","text":"In-silico coarse-grained campaigns (p53, MECP2) plus posted Villin HP35 and frozen v9 on 1UAO/1L2Y. Engine is a tool."},{"status":"open","text":"Derivation program. Friedmann / BBN / CMB listed as open seams."},{"status":"open","text":"Finite identities F, t*, d(t) on a controlled model. This family, this week."},{"status":"restricted","text":"Matched four-weight family on three five-level systems. Calculated states, not a laboratory observation. Not v9.156."},{"status":"open","text":"Qubit KKS identity {C_A,C_B}=C_{−i[A,B]} with Δ_closure=0 on 121 relational transforms. Gravity’s constraints not identified. λ is not time."},{"status":"restricted","text":"v13.23 GitHub-only. QRSL irreducible relative to the current frozen ontology. Genesis Pin, W1/W2/W3, positivity, recoverability order, quotient naturality do not select a canonical fine world."},{"status":"restricted","text":"v13.10 GitHub-only. HCPR is not a function of the current frozen ledger. Same one- and two-body data, different rigidity."},{"status":"restricted","text":"v13.11–v13.18 GitHub-only. Finite-state QMAR and O(√CMI) / O(‖P‖ √CMI) recoverability-to-geometry bounds on faithful polar-gapped strata."},{"status":"open","text":"5 Mar 2025 directional evolving-DE prior is scored as timing, not a posterior. 30 Apr w(z) / A_L / cluster-core remain tests. #nodarkmatter is program voice."},{"status":"not-claimed","text":"13 Apr H0DN proxy and 27 Mar D_f sim are sketches. Package 17 still lists the confrontation as open."},{"status":"open","text":"Named 17 May after V555. The freeze is the perturbation → restored-futures invariant, not the Lyapunov."},{"status":"open","text":"10–11 Jun freeze is bind + order. Wheeler’s slogan is prior art. V1698 is discrete atlas residual only."},{"status":"open","text":"23 Jul gate. In-thread review: not from admissibility + BKM reciprocity alone."},{"status":"open","text":"7–9 May. dx²/long operator frozen; heldout spatial-R 25.15% → 16.55%. Next object δρ = A·q."},{"status":"open","text":"Pillar 1 closed. Pillar 2 is a finite variational candidate. Pillar 3 is the continuum identification."},{"status":"open","text":"A_G is a poset of admissible retained supports, not yet a unique history. Posted 20 Jul 2026."},{"status":"open","text":"Can pre-geometric recoverability already know modular relative entropy? Protocol, not a derivation. 19 Aug 2026."},{"status":"open","text":"4 Sep 2026 question: what recoverability object is the gravitational self-energy E in t = ħ/E? Gravity not claimed."},{"status":"open","text":"Apr 2026 solved core σ*≈0.7333, γ≈0.2667. DESI frozen operator null. Remaining gap is microscopic amplitude / ρ=B."},{"status":"open","text":"Protein, TSP, critical path, and C3++ share a posted remember-what-survived pattern. 10 May asked what equation unifies them."},{"status":"open","text":"Package 17 GEM-bridge derivation / GR limit remains open. Challenge 14 and WALLABY are restricted empirical packets, not the derivation.","noteId":"package17-2026-05-06"},{"status":"open","text":"Lyapunov descent of V[Ω, C, μ] is named, not closed. The 17 May freeze is the restored-futures invariant.","noteId":"recoverability-framework-2026-05-17"},{"status":"open","text":"Projection from retained recombination to macroscopic metric physics is to be derived, not assumed. Bind + order is the 10–11 Jun freeze.","noteId":"bind-order-2026-06-11"}],"text":"The program is already careful about open claims. This page makes that operational. It does not add physics. It restates, for each open item, what would count as progress and what would count as failure — and, for restricted finite results, the intended scope so a later post cannot quietly generalize them.\n\nPretty predicate ≠ pass. v15.99 can look true and still be INVALID. The meter outranks the predicate.\nCompleteness ≠ law. v16.36 certified the canonical 18-pair set. Gate D stays UNRESOLVED. A complete record is not a source law.\nBarrier ≠ metric. v16.35 barriers are combinatorial. They are not distances, energies, or time.\nBounded unit ≠ universal law. v16.37 and v16.38 found no nonunit pair inside n≤6. v16.39 SC is sufficient, not a characterization.\nFamily theorem ≠ one graph, and ≠ every tree. v16.45 covers arbitrary leaf degrees in its stated domain. It does not cover chains or arbitrary retained trees.\nHeight 1 ≠ small ambiguity, and ≠ one move. A packed star m=k=q has m! exact components at barrier 1. The repair can be a long sequence whose maximum excursion is 1.\nUniform height ≠ a no-go. It rules out a source that depends only on barrier height. It does not prove the retained structure cannot contribute. The chain induction explains the bound inside chains. It does not select P.\nv16.50 is an existence theorem for one suitable sequence on full binary trees. The bound is the total excursion, not each coordinate. The 1920 cases are not a census. Full binary does not mean balanced.\nDo not call the barrier merely a uniform tax. Palette width can grow, by max(a,b) or a+b, while the peak departure stays 1.\nThe three-child question was run as v16.51, one ternary root, not a nonunit witness. v16.52 repeats ternary composition. v16.53 stops at arity 4. v16.54 is floor two only. v16.55 is a bounded guard, not a universal root repair.\nA11.X60 is a colored-carrier checkpoint. It is not universal arbitrary-root minimum repair. A three-cover bound on minimum paths in one control is not an obstruction to every temporary incidence.\nA11.X61 is a sufficient batch interface. It is not three-cover necessity and not a universal existence certificate. X62, X63, and X64 have no closeout.\nA12.1–A12.5 is not numbered v16 certification and not physical validation. The stronger graph-descriptor impossibility is withdrawn as unproved, not declared false. The A12.5 no-go does not exclude every locality notion.\nPost-A12 scoped proofs at 6a99418 named auxiliary cycle breaking as the next line. The 10 Oct tip does not publish a closeout under that name and does not keep it as the frontier. A temporary auxiliary incidence is not a physical primitive. No A12.6.\nSpare capacity is not reachable reserve. A non-isolated local-progress obstruction is not a general impossibility. Static feasibility is not connectivity.\nUniversal core region means the declared tau 3 to 4 hidden-completion test. It is not general connectivity and not observer access.\nScoped C3 repair is not broad C3 and not guaranteed progress. Count reconstructions do not derive field access. Safe core writes do not initialize the hidden record.\nAn archived Gemini acceptance is not peer review, not numbered v16 certification, and not a STATUS bump.\n\nFailure: teaching v15.99 INVALID as a confirmation. Failure: teaching v16.13F as Einstein or as derived quantum mechanics. The obstruction composition stays underdetermined. Failure: teaching v16.35 barriers as a metric, an energy, or time. Failure: teaching v16.36 Gate D UNRESOLVED as LOCAL_UNIT, or the closed 18-pair audit as a predictive barrier law. The old signature uses an already computed barrier. An independent construction can still explain the bound. Failure: teaching PR #81 as a merge to main. Failure: reading barrier height 1 as “the profile almost determines the component,” or as one move. Failure: reading a uniform unit bound as proof that the retained structure cannot contribute to a source. Failure: dismissing v16.48 because an older README says PRE-CLOSURE. The integration-branch closure is chains only. Failure: teaching v16.49 as arbitrary trees, or scoring unit as failure and nonunit as success. Failure: teaching v16.50 as every path, as a short path, as a balanced-only theorem, or as a mere uniform tax. Failure: teaching the 1920 directed cases as a census. Failure: teaching a three-child overlap example as a nonunit witness, or a failed normalization as a certified barrier. Failure: teaching A11.X60 as universal arbitrary-root repair. Failure: teaching A11.X61 as three-cover necessity, or X62–X64 as closed. Failure: teaching the A12 closeout as numbered v16 certification, as physical validation, or as proof that a response graph cannot describe a state. That stronger sentence was withdrawn as unproved, not declared false. Failure: teaching auxiliary cycle breaking as finished, or a temporary auxiliary incidence as a physical primitive. None of v15.75–v16.55, and not the overlapping-guard branch, is merged to main. Supported four unchanged.\n\nPost-QRSL branch reassessment / metric-affine continuum evidence. Which Pillar-3 claims survive without an ontology-native coarse-to-fine section. Do not add a refinement axiom to unlock RATS. RATS remains sealed / unexecuted. Pillar 3 / Einstein remains OPEN. Not a gravity derivation. Live board: /wiki/september-2026-ladder. Evidence: GitHub STATUS.md (no X URL).\n\nSupported harnesses have numeric targets on the proofs page. Open items have progress/failure tests here. Restricted results name the family, the graph size, or the sector they actually cover.\n\nOpen items\n\nWiki freeze treated as frontier\n\nThis upgrade. Wiki may lag X; wiki may not lag STATUS.md by more than one gate.\n\nProgress — live-gates table matches STATUS.md the same day a gate merges.\nFailure — Teaching v15.02 as HEAD while v15.03 exists. Teaching a(r) as a frozen theorem before STATUS lists it.\n\nFine data used to pick the fine world\n\nv13.23 circularity. QRSL irreducible.\n\nProgress — Selector using only pre-selection coarse data. None found.\nFailure — Using CMI / fine provenance to choose the completion it already inhabits.\n\nHomogeneous solver treated as |Σ|\n\nv13.27 projective ray.\n\nProgress — Independent geometric calibration, not the homogeneous current solver.\nFailure — Calling the min-norm current |Σ| or a derived coupling.\n\nFree multiplier called derived coupling\n\nv13.28 / author response. RGCL REQUIRES_NEW_AXIOM.\n\nProgress — DERIVED, OBSTRUCTED, or REQUIRES_NEW_AXIOM. Nothing else.\nFailure — Inserting a dimensionful G to match Einstein.\n\nPCA / random isometry / “5=5” called J\n\nv14.04, v15.02. 120 inequivalent bijections.\n\nProgress — Frozen functor or labeled NEW ASSUMPTION.\nFailure — Choosing the mapping that looks most gravity-like.\n\nCommon parent treated as a source\n\nv15.01. Parent/support representation is not a provenance source.\n\nProgress — An archived parent source class/tangent.\nFailure — Calling C^125 a source because it is the parent Hilbert space.\n\nλ or frame index called time\n\nNo prune law. λ_source is a source parameter.\n\nProgress — An independently motivated pruning / time law.\nFailure — Reading the Path-A frame index as physical time.\n\nEinstein residual used as selector\n\nClaim-boundary ban. Physics-facing tests must not select κ.\n\nProgress — A correspondence that recovers Einstein without aiming at Einstein.\nFailure — Tuning source/κ to shrink an Einstein residual.\n\nNext named door: representation principle J\n\nGitHub-only 12 Sep. Latest completed v14.04. provenance → [P] STOPPED PENDING REPRESENTATION PRINCIPLE. v13.28 RGCL REQUIRES_NEW_AXIOM. Do not invent an intertwiner or coupling law to continue. RATS remains sealed. Pillar 3 / Einstein remains OPEN. Not a gravity derivation.\n\nProgress — A frozen natural intertwiner already in the archive, an independently motivated identification of the provenance and support spaces, or an explicit NEW ASSUMPTION labeled as such.\nFailure — Inventing an embedding, coupling law, or refinement axiom; filing v14.04, v14.03, or the v13.27 demo as Einstein; calling Pillar 3 closed.\n\nWetLabEngine protein campaigns\n\nIn-silico coarse-grained campaigns (p53, MECP2) plus posted Villin HP35 and frozen v9 on 1UAO/1L2Y. Engine is a tool.\n\nProgress — Independent rerun of findings.json verdicts from raw CSVs; a pooled frozen v9 confirmation; Villin R_t on a protein that is not a controlled sample.\nFailure — Calling p53 or MECP2 a therapy, promoting v9 to native folding, or filing Villin AUC as AlphaFold refuted. Dropping the MECP2 Run 5 DEVIATION.\n\nPackage 17 GEM-bridge / GR limit\n\nDerivation program. Friedmann / BBN / CMB listed as open seams.\n\nProgress — χ derived as a fixed point; a GR-limit statement with named residual; a Hubble confrontation that is not a proxy sketch.\nFailure — Calling the bridge closed, posting a fitted χ as the law, or treating Challenge 14 as the derivation.\n\nAstra continuum identification\n\nFinite identities F, t*, d(t) on a controlled model. This family, this week.\n\nProgress — A continuum object that recovers the frozen identities without a fitted response law.\nFailure — Appending a new gravity page, or reading F / t* / d(t) as Einstein or Origin Law.\n\nv9.167 compatibility lab\n\nMatched four-weight family on three five-level systems. Calculated states, not a laboratory observation. Not v9.156.\n\nProgress — Independent rerun that hits 315 vs 311 and the 48.03% vs 46.55% pair inside the posted tolerance.\nFailure — Generalizing to a hidden-information theorem, or calling the 27-second film gravitational motion.\n\nv12.41 constraint algebra identification\n\nQubit KKS identity {C_A,C_B}=C_{−i[A,B]} with Δ_closure=0 on 121 relational transforms. Gravity’s constraints not identified. λ is not time.\n\nProgress — A named identification of gravity’s constraints with this algebra that is not a fitted generator law.\nFailure — Filing v12.41 as derived gravity, ADM, or Einstein equations.\n\nQRSL origin / canonical refinement selector\n\nv13.23 GitHub-only. QRSL irreducible relative to the current frozen ontology. Genesis Pin, W1/W2/W3, positivity, recoverability order, quotient naturality do not select a canonical fine world.\n\nProgress — A new primitive that selects a unique fine world from coarse data without circularly using the fine data.\nFailure — Filing QRSL as derived gravity, or treating Genesis Pin as a refinement selector.\n\nHCPR frozen-ledger non-factorization\n\nv13.10 GitHub-only. HCPR is not a function of the current frozen ledger. Same one- and two-body data, different rigidity.\n\nProgress — A source-conditioned higher-order completion law that factorizes HCPR, or a new ledger datum that does.\nFailure — Treating same-ledger as same-reality, or filing HCPR as a gravity theorem.\n\nFinite-state QMAR / CMI jet locality\n\nv13.11–v13.18 GitHub-only. Finite-state QMAR and O(√CMI) / O(‖P‖ √CMI) recoverability-to-geometry bounds on faithful polar-gapped strata.\n\nProgress — A named identification of QMAR with Einstein/ADM that is not a fitted correspondence.\nFailure — Filing QMAR or jet locality as Einstein equations, ADM, or a derived stress-energy law.\n\nDESI-facing prediction ledger\n\n5 Mar 2025 directional evolving-DE prior is scored as timing, not a posterior. 30 Apr w(z) / A_L / cluster-core remain tests. #nodarkmatter is program voice.\n\nProgress — A named w(z) (or equivalent) that beats ΛCDM on DESI DR3 BAO in z=0.5–1.0 at the posted ~2–3σ, with Package 17 failure modes still in force.\nFailure — Filing DESI DR2 2.8–4.2σ as a UQCF-GEM confirmation, as a no-dark-matter result, or scoring the 21 Mar restatement as a prediction. Promoting the 30 Apr sketch to Supported.\n\nHubble pipeline\n\n13 Apr H0DN proxy and 27 Mar D_f sim are sketches. Package 17 still lists the confrontation as open.\n\nProgress — A named pipeline against H0DN ~73.5 vs ΛCDM ~67.2 that survives the Package 17 failure modes.\nFailure — Filing the ~9% coherence-gradient recalibration, or the 5 May cosmology sentence, as a resolution.\n\nLyapunov of V[Ω, C, μ]\n\nNamed 17 May after V555. The freeze is the perturbation → restored-futures invariant, not the Lyapunov.\n\nProgress — A descent proof under the posted controlled attacks, with the same claim boundary as V555.\nFailure — Treating the 17 May infographic as a closed theorem, or promoting heat-kernel / ADM / V760 with it.\n\nIt-from-bit projection to metric physics\n\n10–11 Jun freeze is bind + order. Wheeler’s slogan is prior art. V1698 is discrete atlas residual only.\n\nProgress — A derived projection operator from retained recombination to macroscopic metric physics.\nFailure — Treating bind + order as a Wheeler theorem, restoring V1688 as holonomy, or calling the mouse GR.\n\nSource generator Q_i\n\n23 Jul gate. In-thread review: not from admissibility + BKM reciprocity alone.\n\nProgress — A construction that aligns every incident edge’s leading source line from global provenance.\nFailure — Declaring Q_i generated because reciprocity held on a commuting toy.\n\nHeat-kernel / ADM week\n\n7–9 May. dx²/long operator frozen; heldout spatial-R 25.15% → 16.55%. Next object δρ = A·q.\n\nProgress — An ADM action with the posted residual channel, still inverted (do not discretize Einstein–Hilbert).\nFailure — Calling V498–V555 or V760 a gravity derivation, or restoring tensor/ADM after the V824 prune.\n\nV1699 Pillar 3 GR/ADM correspondence\n\nPillar 1 closed. Pillar 2 is a finite variational candidate. Pillar 3 is the continuum identification.\n\nProgress — A correspondence that maps the discrete action onto ADM without assuming the Einstein equations.\nFailure — Reading A[q] = ½ ‖R_R + Lq − J_R + B_R‖² as a physical gravitational action.\n\nUnique pruning law through A_G\n\nA_G is a poset of admissible retained supports, not yet a unique history. Posted 20 Jul 2026.\n\nProgress — A law that selects a unique pruning sequence through A_G from provenance, not a fitted schedule.\nFailure — Treating the poset itself as a unique cosmology or a GR history.\n\nDorau–Much protocol\n\nCan pre-geometric recoverability already know modular relative entropy? Protocol, not a derivation. 19 Aug 2026.\n\nProgress — A stated correspondence that maps a recoverability object onto modular relative entropy and survives a null that preserves geometry-only closure.\nFailure — Calling UCRP/ECSM derived, or treating the 19 Aug alignment as a gravity proof.\n\nObjective-reduction timescale\n\n4 Sep 2026 question: what recoverability object is the gravitational self-energy E in t = ħ/E? Gravity not claimed.\n\nProgress — A named recoverability object E and a lab-facing protocol whose measurement would constrain the priority of the timeless layer.\nFailure — Filing Penrose OR as derived, or treating the question as a result.\n\nQuadratic RG cosmology scaffold\n\nApr 2026 solved core σ*≈0.7333, γ≈0.2667. DESI frozen operator null. Remaining gap is microscopic amplitude / ρ=B.\n\nProgress — A microscopic amplitude that keeps the interior fixed point and is not null on DESI.\nFailure — Calling Package 17 closed, or treating σ*/γ as a Hubble resolution.\n\nApplied-lab unification\n\nProtein, TSP, critical path, and C3++ share a posted remember-what-survived pattern. 10 May asked what equation unifies them.\n\nProgress — A single operator with named residual that transfers unchanged across the posted protein, TSP, and critical-path harnesses.\nFailure — Treating recurrence rhetoric, or χ≈0.2667 on 2 May, as a closed unification law.\n\nEditorial tests compiled from package READMEs and the freeze posts. Not an independent certification. Gravity stays a candidate.\n\nRestricted results: do not generalize\n\nAstra F, t*, d(t), g_★, D_N — this finite family, this week. Continuum identification still required. g_★ and D_N are X-only.\nv12.41 — qubit KKS identity, 121 steps, Δ_closure = 0. Not ADM, not Einstein constraints, λ is not time.\nv13 QRSL / HCPR / QMAR — GitHub-only 12 Sep Restricted no-gos. Not Einstein. RATS remains sealed. Queue at v13.24.\nv9.167 lab — matched four-weight family, calculated states, 315 vs 311. Not v9.156, not a laboratory observation.\nV1698 — five-chart ledger, residual ~3.27×10⁻¹⁶. Discrete atlas. Not continuum GR.\nV824 — scalar / conformal sector only.\nChallenge 14 — frozen SPARC 171 scaffold. WALLABY 12D is a separate unseen-gas transfer.\nV760 atrium — posted simulation only. Not physical GR or physical time.\n17 May recoverability framework — the mapping perturbation → restored futures. Lyapunov of V[Ω,C,μ] is named, not closed.\nIt-from-bit 10–11 Jun — bind + order. Projection to metric physics remains Open.\n\nWhat a successful run does not show\n\nA green residual on a named harness is not a spacetime theorem. The proofs page repeats the box on each run-this-first notebook. If a later post quietly drops the box, the badge on this page is the one that still governs.\n\nPackage 17 GEM-bridge derivation / GR limit remains open. Challenge 14 and WALLABY are restricted empirical packets, not the derivation.\n\nLyapunov descent of V[Ω, C, μ] is named, not closed. The 17 May freeze is the restored-futures invariant.\n\nProjection from retained recombination to macroscopic metric physics is to be derived, not assumed. Bind + order is the 10–11 Jun freeze.\n\nClaim ledger\nProofs & simulations\nPackage 17\nPredictions — DESI\nAstra\nv12.41 moment-map closure","howToCite":"Spradlin, A. (2026-10-10). Falsification and next step. Retained Atlas. https://aaronspradlin.grok.me/wiki/falsification. Keep claim badge: open."}