SGM: A Statistical Godel Machine for Risk-Controlled Recursive Self-Modification

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Hyperband allocates resources through early stopping, and BOHB combines model-guided search with bandit resource allocation.

“Hyperband allocates resources through early stopping (Li et al., 2018), and BOHB combines model-guided search with bandit resource allocation (Falkner et al., 2018).”

• cites Li et al., 2018Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• cites Falkner et al., 2018 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing).

SEA combines anytime-valid gates and a fixed error budget with a broader agent architecture.

“SEA (Sengupta, 2026), released in July 2026, combines anytime-valid gates and a fixed error budget with a broader agent architecture.”

• cites Sengupta, 2026 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing).

Population Based Training adapts parameters and hyperparameters during training.

“Population Based Training adapts parameters and hyperparameters during training (Jaderberg et al., 2017).”

• cites Jaderberg et al., 2017 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Safe Harness analyzes modification generation, finite-data certification and selection, safe adoption, and opportunities after an update.

“Safe Harness (Cai et al., 2026), released in September 2026, analyzes modification generation, finite-data certification and selection, safe adoption, and opportunities after an update.”

• cites Cai et al., 2026 sourceSupported

Classified as probably not a substantial claim.

The Gödel machine executes a self-modification when a formal proof establishes its usefulness relative to continuing the current process, including its proof search.

“The Gödel machine gives a principled answer: execute a self-modification when a formal proof establishes its usefulness relative to continuing the current process, including its proof search (Schmidhuber, 2003).”

• cites Schmidhuber, 2003 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

SEA distinguishes established statistical components from their endogenous, distribution-shifting composition, whose safety it leaves unproved.

“SEA distinguishes established statistical components from their endogenous, distribution-shifting composition, whose safety it leaves unproved.”

• cites Sengupta, 2026 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Gödel machines motivate proof-justified self-modification; Darwin Gödel Machines use empirical evaluation to guide code-modifying search.

“Gödel machines motivate proof-justified self-modification (Schmidhuber, 2003); Darwin Gödel Machines use empirical evaluation to guide code-modifying search (Zhang et al., 2025).”

• cites Schmidhuber, 2003 sourceSupported
• cites Zhang et al., 2025 sourceSupported

May combine two claims.

Online family-wise error control handles potentially unbounded hypothesis sequences; confidence sequences and betting methods support optional stopping.

“Online family-wise error control handles potentially unbounded hypothesis sequences (Tian & Ramdas, 2019); confidence sequences and betting methods support optional stopping (Howard et al., 2021;Waudby-Smith & Ramdas, 2024).”

• cites Tian & Ramdas, 2019 sourceSupported
• cites Howard et al., 2021Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• cites Waudby-Smith & Ramdas, 2024Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Safe Harness derives finite-run guarantees and separates generation from certification bottlenecks.

“It derives finite-run guarantees and separates generation from certification bottlenecks.”

• cites Cai et al., 2026 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing).

Feng et al. (2021) formulate automatic algorithmic change protocols for evolving medical prediction models, using prospective data and comparisons to approved models.

“Feng et al. (2021) formulate automatic algorithmic change protocols for evolving medical prediction models, using prospective data and comparisons to approved models.”

• cites Feng et al. (2021) sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing).

Feng et al. identify declining approval power from alpha-wealth depletion.

“They also identify declining approval power from alpha-wealth depletion.”

• cites Feng et al. (2021) sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Feng et al. (2021) study noninferiority-induced deterioration (bio-creep), beneficial approvals, and online bad-approval counts and ratios.

“They study noninferiority-induced deterioration (bio-creep), beneficial approvals, and online bad-approval counts and ratios.”

• cites Feng et al. (2021) sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

SEA's SGM-CS controller explicitly builds on SGM and reuses its confirm-triggered spending.

“Its SGM-CS controller explicitly builds on SGM and reuses its confirm-triggered spending.”

• cites Sengupta, 2026 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing).

Feng et al.'s infinite-window count guarantee bounds the probability of any bad approval for their error definition, not merely a per-update guarantee.

“Their infinite-window count guarantee bounds the probability of any bad approval for their error definition; it is not merely a per-update guarantee.”

• cites Feng et al. (2021) sourceSupported

Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing).

It sharpens the connection to the alpha-death discussion of Feng et al. (2021).

“It sharpens the connection to the alpha-death discussion of Feng et al. (2021).”

• cites Feng et al. (2021) sourceSupported

May combine two claims.

Repeated approval under that target does not imply the monotonicity corollary and can accumulate losses.

“Repeated approval under that target does not imply the monotonicity corollary and can accumulate losses, motivating comparisons with approved benchmarks as in Feng et al. (2021).”

• cites Feng et al. (2021) sourceSupported

Classified as probably not a substantial claim.

Controlled numerical and synthetic experiments quantify erroneous commitments, retained improvements, and verification cost.

“Controlled numerical and synthetic experiments quantify erroneous commitments, retained improvements, and verification cost.”

Probably not a substantial claim: may not pass S4 (based). May combine two claims.

The controlled numerical workload provides known utility differences and complete state transitions.

“A controlled numerical workload provides known utility differences and complete state transitions.”

May combine two claims.

At 10^-4, screening-only adoption has no observed errors and the same final utility as SGM, which still costs more.

“At 10 -4 , screening-only adoption has no observed errors and the same final utility as SGM, which still costs more.”

May combine two claims.

SGM has lower final and cumulative utility and greater verification cost than per-test confirmation in all four synthetic comparisons.

“However, SGM has lower final and cumulative utility and greater verification cost in all four comparisons.”

May combine two claims.

At gain g = 0.10, the original test has power 28.738% at α = .05, but only 4.639% at α_10 = .05/110, with unchanged inspection times and a 512-sample cap.

“At gain g = 0.10, the original test has power 28.738% at α = .05,but only 4.639% at α 10 = .05/110,with unchanged inspection times and a 512-sample cap.”

May combine two claims.

Per-test confirmation also has zero observed errors and slightly higher final utility at lower cost.

“Per-test confirmation also has zero observed errors and slightly higher final utility at lower cost.”

May combine two claims. The quote only partly states this claim.

At tolerance 10^-3, SGM has zero observed false-commit trajectories compared with 76.50% for screening-only adoption, and final utility rises from 75.82% to 77.66%.

“At tolerance 10 -3 , SGM has zero observed false-commit trajectories compared with 76.50% for screening-only adoption, and final utility rises from 75.82% to 77.66%.”

Classified as probably not a substantial claim. May combine two claims.

The full table supplies exact utility differences for diagnostic evaluation, while each decision sees sampled paired correctness differences in {-1,0,1}.

“Thus the full table supplies exact utility differences for diagnostic evaluation, while each decision sees sampled paired correctness differences in {-1, 0, 1}.”

May combine two claims.

SGM makes no strictly harmful commitments in these synthetic runs; per-test confirmation averages zero or 0.0005 strictly harmful commitments per trajectory, depending on the setting.

“SGM makes no strictly harmful commitments in these runs; per-test confirmation averages zero or 0.0005 strictly harmful commitments per trajectory, depending on the setting.”

May combine two claims.

Per-test FWER does not empirically exceed 5% in these settings; this observation does not supply it with a general trajectory guarantee.

“Per-test FWER does not empirically exceed 5% in these settings; this observation does not supply it with a general trajectory guarantee.”

May combine two claims.

The synthetic test fixes betting fraction λ = 0.2, whose expected log-wealth increment is non-positive at gains 0.10 and 0.05.

“Moreover, the synthetic test fixes betting fraction λ = 0.2, whose expected log-wealth increment is non-positive at gains 0.10 and 0.05.”

May combine two claims.

At strong effect 0.25 and path strength 0, SGM accepts 5.029 beneficial updates per trajectory versus 5.358 for per-test confirmation, using 7,135 versus 5,960 evidence pairs.

“For example, at strong effect 0.25 and path strength 0, SGM accepts 5.029 beneficial updates per trajectory versus 5.358 for per-test confirmation, using 7,135 versus 5,960 evidence pairs.”

Probably not a substantial claim: may not pass S3 (load-bearing).

The ImageNet-100 record reports a 40-proposal trajectory with adopted changes at rounds 6 and 21.

“The ImageNet-100 record reports a 40-proposal trajectory with adopted changes at rounds 6 and 21 (Figure 2).”

May combine two claims.

The numerical workload at tolerance 10^-3 has 76.5% harmful trajectories under screening-only adoption and zero observed errors under either confirmation policy.

“The numerical workload at tolerance 10 -3 has 76.5% harmful trajectories under screening-only adoption and zero observed errors under either confirmation policy.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The attempt-1 binomial tail underflows in ordinary floating-point evaluation; its nonzero value 2.004275 × 10^-427 is recomputed with high-precision arithmetic, without modifying the original raw result.

“The attempt-1 binomial tail underflows in ordinary floating-point evaluation; its nonzero value 2.004275 × 10 -427 is recomputed with highprecision arithmetic, without modifying the original raw result.”

Probably not a substantial claim: may not pass S3 (load-bearing).

This is one accepted update followed by a rejected candidate generated from the adopted state.

“This is one accepted update followed by a rejected candidate generated from the adopted state.”

May combine two claims.

The historical CIFAR-10 paired means are positive, but the corresponding displayed bounds do not certify improvement.

“The historical CIFAR-10 paired means are positive, but the corresponding displayed bounds do not certify improvement.”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based). May combine two claims.

Figure 6 contrasts positive paired effects with conservative raw-return bounds; neither displayed bound crosses zero over the plotted sample sizes.

“Figure 6 contrasts positive paired effects with conservative raw-return bounds; neither displayed bound crosses zero over the plotted sample sizes.”

May combine two claims.

P2 adds an actual learning-state transition and a subsequent decision, but only for one initialization, two attempts, and a restricted proposer.

“P2 adds an actual learning-state transition and a subsequent decision, but only for one initialization, two attempts, and a restricted proposer.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The rejected candidate scores 77.39%, only 0.039 points above its parent.

“The rejected candidate scores 77.39%,only 0.039 points above its parent.”

May combine two claims.

The terminal incumbent remains the first committed model, with consumed allocation 1/30.

“The terminal incumbent remains the first committed model, with consumed allocation 1/30.”

May combine two claims.

The run demonstrates acceptance of an improvement relative to a simple parent and refusal to commit on insufficient evidence despite a positive development gain.

“The run demonstrates acceptance of an improvement relative to a simple parent and refusal to commit on insufficient evidence despite a positive development gain.”

May combine two claims.

The initial and committed models score 65.36% and 77.35%, respectively (+11.988 points).

“The initial and committed models score 65.36% and 77.35%, respectively (+11.988 points).”

May combine two claims.

At a = 0.25, b = 0, the paired SGM-minus-per-test differences are -0.3285 positive accepts (descriptive 95% normal interval [-0.3549, -0.3021]), -0.048875 final utility ([-0.053535,-0.044215]), and +1174.56 evidence pairs ([1145.10,1204.02]).

“At a = 0.25, b = 0, the paired SGM-minus-per-test differences are -0.3285positive accepts (descriptive 95% normal interval [-0.3549, -0.3021]), -0.048875 final utility ([-0.053535,-0.044215]), and +1174.56evidence pairs ([1145.10,1204.02]).”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

All seven outcomes and measured costs appear in Appendix A: 210 training epochs take 4.09 hours of logged training/development time on one RTX 4090D, confirmation inference takes 31.43/31.88 seconds, and the final audit takes 115.75 seconds.

“All seven outcomes and measured costs appear in Appendix A: 210 training epochs take 4.09 hours of logged training/development time on one RTX 4090D, confirmation inference takes 31.43/31.88seconds, and the final audit takes 115.75 seconds.”

May combine two claims.

Attempt 1 accepts the 0.01 branch; a separate state transition installs its full checkpoint as the incumbent.

“Attempt 1 accepts the 0.01 branch (Table 3); a separate state transition installs its full checkpoint as the incumbent.”

Classified as probably not a substantial claim. May combine two claims.

All displayed lower bounds are negative, so neither case is certified by these bounds.

“All displayed lower bounds are negative, so neither case is certified by these bounds.”

May combine two claims.

Round 2 selects the 0.001 branch, but confirmation does not pass.

“Round 2 selects the 0.001 branch, but confirmation does not pass.”

Classified as probably not a substantial claim.

The disjoint data roles contain 49,977 training, 13,769 development, 49,968 confirmation, and 12,804 audit images after duplicate screening and quarantine.

“The disjoint data roles contain 49,977 training, 13,769 development, 49,968 confirmation, and 12,804 audit images after duplicate screening and quarantine.”

May combine two claims.

For the IID two-point diagnostic at g = .10 and k = 10, original power is 4.639%, the specified mixture yields 1.698%, and the 512-sample upper bound is 14.575%.

“For the IID two-point diagnostic at g = .10and k = 10, original power is 4.639%, the specified mixture yields 1.698%, and the 512-sample upper bound is 14.575%.”

Probably not a substantial claim: may not pass S3 (load-bearing).

At g = 0.10, the four-observation screen passes with probability Pr{Binomial(4, .55)≥ 3} = 4(.55)^3(.45)+ (.55)^4 = 0.39098125.

“At g = 0.10, the four-observation screen passes with probability Pr{Binomial(4, .55)≥ 3} = 4(.55) 3 (.45)+ (.55) 4 = 0.39098125.”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

The historical screening-cost calculation is 2136/12960 = 0.1648.

“The historical screening-cost calculation is 2136/12960 = 0.1648.”

Classified as probably not a substantial claim.

An image can recur within or across attempts.

“An image can recur within or across attempts.”

May combine two claims.

The fixed-sample Hoeffding lower bound is -0.337/-0.255 under α_2 = 0.1/(2H_40), or -0.309/-0.229 under inverse-square spending.

“The fixed-sample Hoeffding lower bound is -0.337/ -0.255 under α 2 = 0.1/(2H 40 ), or -0.309/ -0.229 under inverse-square spending.”

• AssumptionThe authors state this as an assumption: The historical screening-cost calculation uses a 12-pair assumption.

Classified as probably not a substantial claim.

For measurable sets B_1,...,B_n, the joint law factors as the product of empirical averages.

“For measurable sets B 1 , . . ., B n , the joint law factors as P n i=1 {X k,i ∈ B i } | H k = n i=1 1 m m j=1 1{d k,j ∈ B i }.”

• AssumptionThe authors state this as an assumption: The new indices I_{k,1}, ..., I_{k,n} are IID uniform on {1, ..., m} conditional on H_k.

Classified as probably not a substantial claim.

Conditional on H_k, the vector d_{k,j} = r(c_k,z_j) - r(s_k,z_j), j=1,...,m, is fixed, including entries the algorithm has not computed.

“Conditional on H k , the vector d k,j = r(c k , z j ) -r(s k , z j ), j = 1, . . ., m, is fixed, including entries the algorithm has not computed.”

May combine two claims.

For the fixed bet, proposal-level acceptance is 11.236% at α = .05 and 1.814% at k = 10.

“For the fixed bet, it is 11.236% at α = .05and 1.814% at k = 10.”

Classified as probably not a substantial claim. May combine two claims.

Given M = W+L > 0, W | (M,H_k) ∼ Binomial(M,q), q = p_+/(p_+ + p_-).

“Given M = W + L > 0, W | (M, H k ) ∼ Binomial(M, q), q = p + p + + p - .”

Probably not a substantial claim: may not pass S3 (load-bearing).

Its 120 training epochs are separate from P2's 210 epochs.

“Its 120 training epochs are separate from P2's 210 epochs.”

May combine two claims.

For CIFAR-100, a matched 30-pair record yields a mean gain of 1.538 percentage points; the earlier 5.51-point difference uses a different baseline comparison and is not this paired effect.

“For CIFAR-100, a matched 30-pair record yields a mean gain of 1.538 percentage points; the earlier 5.51-point difference uses a different baseline comparison and is not this paired effect.”

Probably not a substantial claim: may not pass S3 (load-bearing).

The displayed Hoeffding and empirical-Bernstein lower bounds for P5 remain negative over the plotted sample sizes.

“Displayed Hoeffding and empirical-Bernstein lower bounds for P5 remain negative over the plotted sample sizes.”

Classified as probably not a substantial claim.

The learning run establishes an executable accept-commit-continue-reject chain.

“The learning run establishes an executable accept-commit-continue-reject chain.”

Probably not a substantial claim: may not pass S3 (load-bearing).

P2 is a revised development design, chosen after an earlier r2 experiment using a scheduled-learning-rate baseline and three ten-epoch candidates produced no positive development gain.

“P2 is a revised development design, chosen after an earlier r2 experiment using a scheduled-learning-rate baseline and three ten-epoch candidates produced no positive development gain.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Attempts 1 and 2 contain 19,661 and 19,624 distinct images respectively; all 25,000 draws per attempt enter the fixed-sample test.

“Attempts 1 and 2 contain 19,661 and 19,624 distinct images respectively; all 25,000 draws per attempt enter the fixed-sample test.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The displayed raw-return lower bounds remain below zero up to 19 paired seeds. This graphic therefore does not demonstrate certification by these bounds; any separately reported acceptance requires its own identified estimand and test.

“The displayed raw-return lower bounds remain below zero up to 19 paired seeds.This graphic therefore does not demonstrate certification by these bounds; any separately reported acceptance requires its own identified estimand and test.”

Classified as probably not a substantial claim. May combine two claims.

All three curves rise near one at iteration 6. Point estimates alone do not establish acceptance; the corresponding confirmation bounds and decision records are required.

“All three curves rise near one at iteration 6. Point estimates alone do not establish acceptance; the corresponding confirmation bounds and decision records are required.”

May combine two claims.

The short finite-pool ImageNet-100 demonstration establishes executable adoption, not long-horizon error calibration; historical learning trajectories remain exploratory.

“This short finite-pool demonstration establishes executable adoption, not long-horizon error calibration; historical learning trajectories remain exploratory.”

May combine two claims.

For a fixed utility and faithful state transitions, SGM gives a high-probability non-decreasing incumbent-utility sequence, without guaranteeing that improvements will be found.

“For a fixed utility and faithful state transitions, this also gives a high-probability non-decreasing incumbent-utility sequence, without guaranteeing that improvements will be found.”

May combine two claims.

SGM separates adaptive proposal generation from confirmation and permits a modification only when its evidence satisfies a trajectory-level risk allocation.

“SGM separates adaptive proposal generation from confirmation and permits a modification only when its evidence satisfies a trajectory-level risk allocation.”

Probably not a substantial claim: may not pass S4 (based). May combine two claims.

SGM is independent of the proposer: it does not improve the search algorithm by itself.

“SGM is independent of the proposer: it does not improve the search algorithm by itself.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The October 2025 SGM preprint proposed statistical improvement certificates and a global error budget for recursive edits.

“The October 2025 SGM preprint (Wu et al., 2025) proposed statistical improvement certificates and a global error budget for recursive edits.”

• cites Wu et al., 2025Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

These scope choices do not establish a new statistical primitive or superiority over Feng et al.'s methods.

“These scope choices do not establish a new statistical primitive or superiority over their methods.”

Classified as probably not a substantial claim. May combine two claims.

The SGM certificate tolerates a controlled probability of error and is conditional on a sampling model.

“The certificate tolerates a controlled probability of error and is conditional on a sampling model.”

Probably not a substantial claim: may not pass S4 (based).

The observation unit must match the object being adopted.

“The observation unit must match the object being adopted (Table 1).”

Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing). May combine two claims.

This focus complements SEA's broader architecture and Safe Harness's feasibility analysis; it does not establish superiority over either framework or guarantee future improvement opportunities.

“This focus complements SEA's broader architecture and Safe Harness's feasibility analysis; it does not establish superiority over either framework or guarantee future improvement opportunities.”

Classified as probably not a substantial claim.

The true-null event H_k is G_k-measurable: the selected states determine their utility difference even though it is unknown to the algorithm.

“The true-null event H k is G k -measurable: the selected states determine their utility difference even though it is unknown to the algorithm.”

Classified as probably not a substantial claim. May combine two claims.

SGM specifies strict improvement in a declared scalar utility against the actual incumbent and an explicit certificate-to-state execution protocol, with checkpoint and training-procedure targets distinguished.

“SGM instead specifies strict improvement in a declared scalar utility against the actual incumbent and an explicit certificate-to-state execution protocol, with checkpoint and training-procedure targets distinguished.”

Classified as probably not a substantial claim. May combine two claims.

The adoption decision for a frozen candidate requires fresh confirmation before installing it and before subsequent proposals are trained from that adopted state.

“The adoption decision concerns the resulting frozen candidate: fresh confirmation must justify installing it before subsequent proposals”

Classified as probably not a substantial claim.

For a frozen checkpoint, randomness can come from sampled evaluation examples.

“For a frozen checkpoint, randomness can come from sampled evaluation examples.”

May combine two claims.

Corollary 1 guarantees neither an acceptance nor a globally optimal state.

“This corollary guarantees neither an acceptance nor a globally optimal state.”

Classified as probably not a substantial claim.

For a frozen training procedure, a paired observation compares scores from fresh random executions under fixed data and execution rules.

“For a frozen training procedure, a paired observation instead compares scores from fresh random executions under fixed data and execution rules.”

Classified as probably not a substantial claim.

Replacing the training procedure for future random executions is a different decision from adopting a frozen candidate, requiring evidence about the procedure's expected utility.

“Replacing the training procedure for future random executions is a different decision, requiring evidence about the procedure's expected utility.”

Probably not a substantial claim: may not pass S4 (based). May combine two claims.

SGM provides a practical protocol for evidence-based self-improvement, while exposing the trade-off between erroneous commitments, missed improvements, and verification cost.

“SGM provides a practical protocol for evidence-based self-improvement, while exposing the trade-off between erroneous commitments, missed improvements, and verification cost.”

May combine two claims.

Comparisons require matching the target, evidence access, and total error budget; the paper claims no empirical superiority over HCPI, SEA, or Safe Harness.

“Comparisons require matching the target, evidence access, and total error budget; we claim no empirical superiority over HCPI, SEA, or Safe Harness.”

Probably not a substantial claim: may not pass S4 (based).

Adopting a candidate also requires that the incumbent and candidate actually match the objects to which the certificate refers.

“Adopting a candidate also requires that the incumbent and candidate actually match the objects to which the certificate refers.”

Probably not a substantial claim: may not pass S4 (based).

Conditional IID sampling from P, after fixing the candidate, is a sufficient model for fresh paired observations.

“Conditional IID sampling from P , after fixing the candidate, is a sufficient model.”

Classified as probably not a substantial claim. May combine two claims.

SGM studies a statistical relaxation of the proof obligation: a candidate is evaluated against the incumbent on a specified objective, and acceptance requires a statistical certificate.

“SGM studies a statistical relaxation of this proof obligation.A candidate is evaluated against the incumbent on a specified objective, and acceptance requires a statistical certificate.”

Classified as probably not a substantial claim.

Although a checkpoint can often be restored, resources already spent and opportunities encountered on a different search path may not be recovered.

“Although a checkpoint can often be restored, resources already spent and opportunities encountered on a different search path may not be recovered.”

Probably not a substantial claim: may not pass S4 (based). May combine two claims.

Persistent state changes do not invalidate these foundations, and the trajectory bound is a conditional composition of them.

“Persistent state changes do not invalidate these foundations, and the trajectory bound is a conditional composition of them.”

Probably not a substantial claim: may not pass S4 (based). May combine two claims.

The chosen object, distribution of random inputs, and scoring rule must be fixed before confirmation.

“The chosen object, distribution of random inputs, and scoring rule must be fixed before confirmation.”

Classified as probably not a substantial claim.

A procedure certificate concerns expected utility over fresh random executions, not every resulting checkpoint.

“A procedure certificate concerns expected utility over those executions, not every resulting checkpoint.”

Classified as probably not a substantial claim.

Accepted updates can change subsequent proposals, training states, and resource use.

“Accepted updates can change subsequent proposals, training states, and resource use.”

May combine two claims.

Corollary 1: Suppose the only state changes are s_{k+1}=c_k after acceptance and s_{k+1}=s_k otherwise, and the same U is used throughout. With probability at least 1-δ, every accepted change strictly increases U and the incumbent-utility sequence is non-decreasing.

“Corollary 1 (Fixed-objective self-improvement).Suppose the only state changes are s k+1 = c k after acceptance and s k+1 = s k otherwise, and the same U is used throughout.With probability at least 1 -δ, every accepted change strictly increases U and the incumbent-utility sequence is non-decreasing.”

Probably not a substantial claim: may not pass S4 (based). May combine two claims.

The target may concern training-seed performance on a fixed dataset; this must not be confused with a fixed model's performance on new examples.

“The target may instead concern trainingseed performance on a fixed dataset; this must not be confused with a fixed model's performance on new examples.”

Probably not a substantial claim: may not pass S2 (checkable).

These consequences motivate controlling erroneous commitments across the trajectory.

“These consequences motivate controlling erroneous commitments across the trajectory.”

Probably not a substantial claim: may not pass S4 (based).

More general sampling is possible only with a justified conditional-validity argument.

“More general sampling is possible only with a justified conditional-validity argument.”

Classified as probably not a substantial claim.

The present treatment makes the declared utility, candidate-selection history, conditional certificate validity, and actual adopted state explicit.

“The present treatment makes the declared utility, candidate-selection history, conditional certificate validity, and actual adopted state explicit.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Confirm-Triggered Harmonic Spending (CTHS) is an optional allocation instance, rather than a prerequisite for the framework.

“Confirm-Triggered Harmonic Spending (CTHS) is an optional allocation instance, rather than a prerequisite for the framework.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Corollary 1 does not compare the entire future search process with the counterfactual process following a different decision.

“It does not compare the entire future search process with the counterfactual process following a different decision.”

May combine two claims.

α_k is chosen before confirmation observations, and sum α_k ≤ δ almost surely.

“Here α k is chosen before confirmation observations, and k α k ≤ δ almost surely.”

Classified as probably not a substantial claim. May combine two claims.

These methods can supply candidates to SGM; adoption additionally requires confirmation that remains conditionally valid after adaptive selection.

“These methods can supply candidates to SGM; adoption additionally requires confirmation that remains conditionally valid after adaptive selection.”

Probably not a substantial claim: may not pass S2 (checkable). May combine two claims.

Rejecting every proposal trivially avoids false commitments, so risk must be evaluated together with acceptance power and verification cost.

“Rejecting every proposal trivially avoids false commitments, so risk must be evaluated together with acceptance power and verification cost.”

May combine two claims.

The historical multi-seed experiments illustrate the procedure-level evaluation setting, but their unresolved certificates are not evidence of a validated procedure-level commitment.

“The historical multi-seed experiments illustrate the latter evaluation setting, but their unresolved certificates are not evidence of a validated procedure-level commitment.”

Classified as probably not a substantial claim.

SGM organizes these established tools into an adoption protocol.

“SGM organizes these established tools into an adoption protocol.”

May combine two claims.

The present treatment gives a trajectory guarantee under predictable, summable error allocation and studies risk, retained improvement, and evidence cost in controlled trajectories.

“It gives a trajectory guarantee under predictable, summable error allocation and studies risk, retained improvement, and evidence cost in controlled trajectories.”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

The probabilistic argument of SGM composes established inference tools.

“The probabilistic argument composes established inference tools.”

May combine two claims.

Thus p = Pr{Binomial(M, 1/2) ≥ W} is a valid conditional p-value, with p=1 if M=0.

“Thus p = Pr{Binomial(M, 1/2) ≥ W } is a valid conditional p-value, with p = 1 if M = 0.”

May combine two claims.

Controlling non-improving commitments can sacrifice useful updates, and these results do not establish a universal utility benefit.

“Controlling non-improving commitments can sacrifice useful updates, and these results do not establish a universal utility benefit.”

May combine two claims.

This test is evaluated once at the fixed n; it is not an anytime-valid test.

“This test is evaluated once at the fixed n; it is not an anytime-valid test.”

Probably not a substantial claim: may not pass S4 (based).

The evaluator, confirmation-data access, certificate implementation, and persistent budget accounting form a protected verification layer: candidate changes cannot bypass or rewrite them.

“The evaluator, confirmation-data access, certificate implementation, and persistent budget accounting form a protected verification layer: candidate changes cannot bypass or rewrite them.”

Probably not a substantial claim: may not pass S3 (load-bearing).

This is a sufficient bound for this test, not a universal sample-complexity lower bound.

“This is a sufficient bound for this test, not a universal sample-complexity lower bound.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

These post-hoc calculations are not new trajectory experiments or a causal decomposition of terminal utility differences.

“These post-hoc calculations are not new trajectory experiments or a causal decomposition of terminal utility differences; Appendix E.1 provides the calculation and additional diagnostics.”

Classified as probably not a substantial claim.

The modifiable state comprises the candidate model, training procedure, or task code evaluated by the protocol.

“The modifiable state comprises the candidate model, training procedure, or task code evaluated by the protocol.”

Probably not a substantial claim: may not pass S4 (based).

Continue proposal generation from the actual resulting state.

“Continue proposal generation from the actual resulting state.”

May combine two claims.

Independent uniform draws with replacement from a frozen finite pool justify this model for that pool's accuracy difference, including repeated images, but not for an external population.

“Independent uniform draws with replacement from a frozen finite pool justify this model for that pool's accuracy difference, including repeated images, but not for an external population.”

Probably not a substantial claim: may not pass S2 (checkable), S4 (based). May combine two claims.

Verification, screening, candidate construction, and lost improvement opportunities must all enter an empirical cost assessment.

“Verification, screening, candidate construction, and lost improvement opportunities must all enter an empirical cost assessment.”

Classified as probably not a substantial claim. May combine two claims.

Appendix H proves finite-pool reuse for the finite-pool target; it does not justify recounting an old sample or external generalization.

“Appendix H proves this for the finite-pool target; it does not justify recounting an old sample or external generalization.”

Probably not a substantial claim: may not pass S2 (checkable).

Reporting raw paired differences alongside transformed statistics is necessary.

“Reporting raw paired differences alongside transformed statistics is necessary.”

Probably not a substantial claim: may not pass S3 (load-bearing).

The small, fully enumerated workload makes this a mechanism benchmark: a policy given the entire table could directly select the best configuration.

“The small, fully enumerated workload makes this a mechanism benchmark: a policy given the entire table could directly select the best configuration.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Unaccepted positive proposals are counted on each policy's own path, not as counterfactual terminal regret.

“Unaccepted positive proposals are counted on each policy's own path, not as counterfactual terminal regret.”

Probably not a substantial claim: may not pass S4 (based).

Positive scaling of a raw bounded difference preserves its mean's sign.

“Positive scaling of a raw bounded difference preserves its mean's sign.”

Classified as probably not a substantial claim. May combine two claims.

Task IDs are sampled independently with replacement from the declared finite workload; this is not evaluation on unseen natural tasks.

“Task IDs are sampled independently with replacement from this declared finite workload; this is not evaluation on unseen natural tasks.”

Classified as probably not a substantial claim. May combine two claims.

This simple proposer supplies an execution test, not a competitive training claim.

“This simple proposer supplies an execution test, not a competitive training claim.”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

CTHS has no universal power advantage.

“CTHS has no universal power advantage.”

May combine two claims.

These cases demonstrate a conditional risk-power-cost trade-off, not universal efficiency or an empirical advantage of global spending over per-test confirmation.

“These cases demonstrate a conditional risk-power-cost trade-off, not universal efficiency or an empirical advantage of global spending over per-test confirmation.”

Classified as probably not a substantial claim. May combine two claims.

A change to the evaluation target or verification layer requires a separate validity argument and consistent risk accounting; a certificate issued under the old rule does not authorize that change.

“A change to the evaluation target or verification layer requires a separate validity argument and consistent risk accounting; a certificate issued under the old rule does not authorize that change.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Protocol step 5: Record the outcome and consumed allocation, including failed or interrupted attempts.

“Record the outcome and consumed allocation, including failed or interrupted attempts.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Choosing the largest wealth retrospectively without a valid mixture is not this procedure.

“Choosing the largest wealth retrospectively without a valid mixture is not this procedure.”

May combine two claims.

Weak-effect acceptance reflects this certificate's power properties as well as the risk allocation; low power cannot be attributed to the global budget alone.

“Weak-effect acceptance therefore reflects this certificate's power properties as well as the risk allocation; low power cannot be attributed to the global budget alone.”

Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing).

Indexing actual confirmation attempts is ordinary spending indexed by actual tests.

“Indexing actual confirmation attempts is ordinary spending indexed by actual tests.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Cached resampling and logical function-call counts do not represent repeated expensive solver execution or deployment of an AI Scientist.

“Cached resampling and logical function-call counts do not represent repeated expensive solver execution or deployment of an AI Scientist.”

Classified as probably not a substantial claim. May combine two claims.

Multiple candidates in one outer round require separate attempts or a justified joint testing rule.

“Multiple candidates in one outer round require separate attempts or a justified joint testing rule.”

Probably not a substantial claim: may not pass S4 (based).

Protocol step 3: Open a uniquely indexed confirmation attempt and durably reserve α_k before revealing its observations.

“Open a uniquely indexed confirmation attempt and durably reserve α k before revealing its observations.”

Probably not a substantial claim: may not pass S3 (load-bearing).

For a declared maximum K, α_k = δ/(k H_K), H_K = sum_{j=1}^K 1/j, is another valid choice.

“For a declared maximum K, α k = δ/(kH K ), H K = K j=1 1/j, is another.”

Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing), S4 (based). May combine two claims.

Uniform δ/K is a transparent reference for a fixed horizon; a summable schedule supports an unknown horizon.

“Uniform δ/K is a transparent reference for a fixed horizon; a summable schedule supports an unknown horizon.”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based). May combine two claims.

The original CTHS instance 6δ/(π^2 k^2) is summable but is not a finite harmonic schedule.

“The original CTHS instance 6δ/(π 2 k 2 ) is summable but is not a finite harmonic schedule.”

Classified as probably not a substantial claim.

A certificate for E[g(∆)] > 0 must be described as such; it cannot automatically support Corollary 1 for raw accuracy or return.

“A certificate for E[g(∆)] > 0 must be described as such; it cannot automatically support Corollary 1 for raw accuracy or return.”

Classified as probably not a substantial claim. May combine two claims.

Protocol step 4: Collect valid paired evidence and inspect it according to the specified stopping rule; commit only on a valid crossing and matching state bindings; otherwise retain the incumbent.

“Collect valid paired evidence and inspect it according to the specified stopping rule.Commit only on a valid crossing and matching state bindings; otherwise retain the incumbent.”

Probably not a substantial claim: may not pass S4 (based). May combine two claims.

These conditions connect the statistical decision to execution; ordinary transactions and hashes can implement them.

“These conditions connect the statistical decision to execution; ordinary transactions and hashes can implement them.”

Probably not a substantial claim: may not pass S4 (based).

Clipping or applying a nonlinear transformation generally does not preserve the mean's sign.

“Clipping or applying a nonlinear transformation generally does not.”

May combine two claims.

Both certificate efficiency and the level-sample-cap constraint limit acceptance.

“Thus, both certificate efficiency and the level-sample-cap constraint limit acceptance.”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

For an unbounded sequence, α_k = δ/[k(k+1)] is one valid choice.

“For an unbounded sequence, α k = δ/[k(k + 1)] is one valid choice.”

Classified as probably not a substantial claim.

Acceptance requires p ≤ α_k.

“Acceptance requires p ≤ α k .”

Probably not a substantial claim: may not pass S4 (based).

A restart must not silently reset the test index.

“A restart must not silently reset the test index.”

Probably not a substantial claim: may not pass S4 (based).

Under conditional IID bounded observations with μ_k > 0, a fixed-sample Hoeffding test accepts with probability at least 1-β whenever n > (2/μ_k^2) log(1/α_k) + log(1/β)/2.

“Under conditional IID bounded observations with µ k > 0, a fixed-sample Hoeffding test accepts with probability at least 1 -β whenever n > 2 µ 2 k log(1/α k ) + log(1/β) 2 .”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Policies share exogenous proposal moves and sampled task IDs; after decisions diverge, their incumbents and candidates can differ.

“Policies share exogenous proposal moves and sampled task IDs; after decisions diverge, their incumbents and candidates can differ.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The artifacts make this short execution trace auditable; they do not establish that a rejected candidate is harmful or that all possible future modifications satisfy the sampling assumptions.

“The artifacts make this short execution trace auditable; they do not establish that a rejected candidate is harmful or that all possible future modifications satisfy the sampling assumptions.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Pairing uses the original shared exogenous inputs across 2,000 trajectories.

“Pairing uses the original shared exogenous inputs across 2,000 trajectories.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

One trajectory does not estimate long-horizon FWER, certify a training procedure across seeds, or show an advantage over equivalent standard spending.

“One trajectory does not estimate long-horizon FWER, certify a training procedure across seeds, or show an advantage over equivalent standard spending.”

Probably not a substantial claim: may not pass S4 (based).

The conditional test controls non-positive gain under the stated observation model.

“The conditional test controls non-positive gain under the stated observation model.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

These components have different timing boundaries and are not a complete research-cost total.

“These components have different timing boundaries and are not a complete research-cost total.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Audit predictions are stored for every model and image.

“Audit predictions are stored for every model and image.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

After the rejected second attempt, a terminal record preserves that same incumbent and records both consumed allocations.

“After the rejected second attempt, a terminal record preserves that same incumbent and records both consumed allocations.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Confidence intervals for event rates are marginal 95% Wilson intervals across the 2,000 trajectories within each setting.

“Confidence intervals for event rates are marginal 95% Wilson intervals across the 2,000 trajectories within each setting.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Independent local checks reproduce labels, hashes, accuracies, paired counts and terminal bindings.

“Independent local checks reproduce labels, hashes, accuracies, paired counts and terminal bindings.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The first accepted checkpoint is copied into the incumbent together with optimizer state; its hash is checked before round-2 training.

“The first accepted checkpoint is copied into the incumbent together with optimizer state; its hash is checked before round-2 training.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

It does not establish that the second candidate is harmful; per-test confirmation at .05 would also reject it.

“It does not establish that the second candidate is harmful; per-test confirmation at .05 would also reject it.”

May combine two claims.

Logical evidence counts are not complete measured execution costs, and equal per-attempt caps do not imply equal realized total budgets.

“Logical evidence counts are not complete measured execution costs, and equal perattempt caps do not imply equal realized total budgets.”

Classified as probably not a substantial claim.

The predeclared two-attempt cap allows no sample extension or third attempt.

“The predeclared two-attempt cap allows no sample extension or third attempt.”

Classified as probably not a substantial claim. May combine two claims.

The simulation measures local non-improvement, not a formal comparison of entire counterfactual future utilities.

“The simulation measures local non-improvement, not a formal comparison of entire counterfactual future utilities.”

Classified as probably not a substantial claim.

Each attempt fixes the candidate, sample size, exact paired-binomial test, and allocation before drawing 25,000 pairs independently with replacement from the common confirmation pool.

“Each attempt fixes the candidate, sample size, exact paired-binomial test, and allocation before drawing 25,000 pairs independently with replacement from the common confirmation pool.”

May combine two claims.

The framework is useful only within that declared model; it cannot repair a misspecified objective, contaminated confirmation data, or a changed evaluator by budget accounting alone.

“The framework is useful only within that declared model; it cannot repair a misspecified objective, contaminated confirmation data, or a changed evaluator by budget accounting alone.”

May combine two claims.

Increasing evidence capacity or using justified shared evidence can fall outside this regime; restarting the risk budget without a separate argument does not preserve the original lifetime guarantee.

“Increasing evidence capacity or using justified shared evidence can fall outside this regime; restarting the risk budget without a separate argument does not preserve the original lifetime guarantee.”

Probably not a substantial claim: may not pass S3 (load-bearing).

All four settings, including weaker-effect cases, are retained.

“All four settings, including weaker-effect cases, are retained.”

May combine two claims.

Proposition 1 shows that the expected total number of acceptances is finite, hence infinitely many acceptances have probability zero.

“Proposition 1 shows that the expected total number of acceptances is finite, hence infinitely many acceptances have probability zero.”

May combine two claims.

Distribution changes require a new valid sampling argument; partitioning time into epochs and assigning budgets does not itself solve distribution shift.

“Distribution changes require a new valid sampling argument; partitioning time into epochs and assigning budgets does not itself solve distribution shift.”

Probably not a substantial claim: may not pass S3 (load-bearing).

No betting parameter was changed in this post-hoc analysis.

“No betting parameter was changed in this post-hoc analysis.”

May combine two claims.

The committed weight hash matches the round-2 parent, and frozen training code and execution records document optimizer inheritance.

“The committed weight hash matches the round-2 parent, and frozen training code and execution records document optimizer inheritance.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The argument applies to generic online testing and is included as a boundary result, not a self-modification-specific contribution.

“The argument applies to generic online testing and is included as a boundary result, not a self-modification-specific contribution.”

May combine two claims.

These descriptive audit outcomes do not change the incumbent or select another model.

“These descriptive audit outcomes do not change the incumbent or select another model.”

May combine two claims.

It does not bound catastrophic tail losses, guarantee lower total compute, ensure progress, or restore the classical Gödel machine's global future-utility result.

“It does not bound catastrophic tail losses, guarantee lower total compute, ensure progress, or restore the classical Gödel machine's global future-utility result.”

Classified as probably not a substantial claim.

The formal result concerns non-improvement in the certified target.

“The formal result concerns non-improvement in the certified target.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

This graphic therefore does not demonstrate certification by these bounds; any separately reported acceptance requires its own identified estimand and test.

“This graphic therefore does not demonstrate certification by these bounds; any separately reported acceptance requires its own identified estimand and test.”

May combine two claims.

Its certificate concerns a fixed finite pool, and its held-out audit does not estimate population risk.

“Its certificate concerns a fixed finite pool, and its held-out audit does not estimate population risk.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Counts of unaccepted positive proposals do not quantify recoverable future utility; repeated opportunities and changed paths prevent that interpretation.

“Counts of unaccepted positive proposals do not quantify recoverable future utility; repeated opportunities and changed paths prevent that interpretation.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

These are marginal descriptive intervals, not simultaneous claims across settings.

“These are marginal descriptive intervals, not simultaneous claims across settings.”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

Cross-policy shared draws provide paired comparisons, not additional independent trajectories.

“Cross-policy shared draws provide paired comparisons, not additional independent trajectories.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The post-hoc decomposition analysis uses the stored numerical and synthetic trajectories from Sections 5.1-5.2, with no new simulation or tuning.

“This analysis uses the stored numerical and synthetic trajectories from Sections 5.1-5.2, with no new simulation or tuning.”

Probably not a substantial claim: may not pass S3 (load-bearing).

These are descriptive intervals, not simultaneous coverage across all settings.

“These are descriptive intervals, not simultaneous coverage across all settings.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Its contrast with the synthetic decomposition concerns different workloads and comparators, not an identified causal effect of changing error composition.

“Its contrast with the synthetic decomposition concerns different workloads and comparators, not an identified causal effect of changing error composition.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

These observations do not by themselves validate the confirmation test or the subsequent state transition.

“These observations do not by themselves validate the confirmation test or the subsequent state transition.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Stored records include frozen manifests and hashes, effective configurations, all epoch logs and branch checkpoints, confirmation reservations, sampled indices, raw paired outcomes, and both decisions.

“Stored records include frozen manifests and hashes, effective configurations, all epoch logs and branch checkpoints, confirmation reservations, sampled indices, raw paired outcomes, and both decisions.”

Classified as probably not a substantial claim. May combine two claims.

A successful empirical demonstration must show both that the gate can accept useful updates and that its evidence model remains valid as the system evolves.

“A successful empirical demonstration must show both that the gate can accept useful updates and that its evidence model remains valid as the system evolves.”

May combine two claims.

Screening, finite sampling caps, and the chosen test contribute to weak-effect non-acceptance alongside the global allocation.

“Screening, finite sampling caps, and the chosen test therefore contribute to weak-effect non-acceptance alongside the global allocation.”

Classified as probably not a substantial claim.

The unbounded accumulated synthetic utility is a decision-process diagnostic, not the bounded task-success score of the numerical workload.

“This unbounded accumulated synthetic utility is a decision-process diagnostic, not the bounded task-success score of the numerical workload.”

Classified as probably not a substantial claim. May combine two claims.

The initial model and all six branches are fixed before a one-time census of the 12,804 audit images.

“The initial model and all six branches are fixed before a one-time census of the 12,804 audit images.”

May combine two claims.

A trajectory can contain both zero-effect and harmful commits, so their separate marginal probabilities must not be added.

“A trajectory can contain both zero-effect and harmful commits, so their separate marginal probabilities must not be added.”

May combine two claims.

Non-positive log drift does not invalidate Type-I control or rule out a finite-sample crossing, but this test does not provide eventual acceptance for every positive effect.

“Non-positive log drift does not invalidate Type-I control or rule out a finite-sample crossing, but this test does not provide eventual acceptance for every positive effect.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Its 12-pair assumption differs from the 10-seed trajectory description, so this ratio is an accounting illustration rather than a reconciled end-to-end cost measurement.

“Its 12-pair assumption differs from the 10-seed trajectory description, so this ratio is an accounting illustration rather than a reconciled end-to-end cost measurement.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The four-observation screen requires a strictly positive sample mean and uses observations independent of confirmation.

“The four-observation screen requires a strictly positive sample mean and uses observations independent of confirmation.”

May combine two claims.

Its power upper-bounds any level-α rule using at most 512 observations from the same IID model: such a rule can be represented as a test on the full 512-observation sequence.

“Its power upper-bounds any level-α rule using at most 512 observations from the same IID model: such a rule can be represented as a test on the full 512-observation sequence.”

Probably not a substantial claim: may not pass S3 (load-bearing).

These calculations do not establish an optimal certifier for learning tasks.

“These calculations do not establish an optimal certifier for learning tasks.”

May combine two claims.

Caching a deterministic prediction for a newly drawn index does not change the sampling law; simply recounting a previous sample without drawing new indices does.

“Caching a deterministic prediction for a newly drawn index does not change the sampling law; simply recounting a previous sample without drawing new indices does.”

May combine two claims.

Neither adding small betting fractions nor changing a schedule guarantees a better utility-risk-cost trade-off.

“Neither adding small betting fractions nor changing a schedule guarantees a better utility-risk-cost trade-off.”

Classified as probably not a substantial claim. May combine two claims.

The mixture was fixed before this diagnostic was calculated; it was not selected after comparing diagnostic outcomes and does not replace the original fixed-bet results.

“The mixture was fixed before this diagnostic was calculated; it was not selected after comparing diagnostic outcomes and does not replace the original fixed-bet results.”

Probably not a substantial claim: may not pass S4 (based).

Uniform domination of the actual conditional law is essential.

“Uniform domination of the actual conditional law is also essential.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

This bound does not impose the original inspection schedule or quantify early-stopping savings; it is neither a general-task sample-complexity bound nor a claim of optimal expected evidence cost.

“This bound does not impose the original inspection schedule or quantify early-stopping savings; it is neither a general-task sample-complexity bound nor a claim of optimal expected evidence cost.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

It does not estimate the learning run's stopping behavior: P2 has a predeclared two-attempt cap, and the synthetic experiments have 40 rounds.

“It does not estimate the learning run's stopping behavior: P2 has a predeclared two-attempt cap, and the synthetic experiments have 40 rounds.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

A noninferiority rule with tolerance ε > 0 tests H_0: μ ≤ -ε and can approve small deteriorations.

“A noninferiority rule with tolerance ε > 0 instead tests H 0 : µ ≤ -ε and can approve small deteriorations.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The script analyze_confirmation_power.py computes the diagnostic and checks probability conservation, null acceptance no greater than the allocated level, positive-effect power below the Neyman-Pearson bound, agreement with a direct binomial sum for a single inspection, and monotonicity in the testing level.

“The script analyze_confirmation_power.pycomputes the diagnostic and checks probability conservation, null acceptance no greater than the allocated level, positive-effect power below the Neyman-Pearson bound, agreement with a direct binomial sum for a single inspection, and monotonicity in the testing level.”

May combine two claims.

Averaging over any additional conditioning on D preserves the bound in Equation 1, with the estimand explicitly defined as μ_{k,D}.

“Averaging over any additional conditioning on D preserves the bound in Equation 1, with the estimand explicitly defined as µ k,D .”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

This calculation does not establish a non-positive true effect, identify the historical test, or exclude another pre-specified valid certificate.

“This calculation does not establish a non-positive true effect, identify the historical test, or exclude another pre-specified valid certificate.”

Classified as probably not a substantial claim.

The guarantee is deliberately restricted to the former.

“The guarantee is deliberately restricted to the former.”

May combine two claims.

Screening, certificate efficiency, and the level-sample-cap constraint each affect acceptance in this fixed-candidate model.

“Thus screening, certificate efficiency, and the level-sample-cap constraint each affect acceptance in this fixed-candidate model.”

Classified as probably not a substantial claim. May combine two claims.

P2 uses fresh OS-backed uniform index draws with replacement and includes every draw in its fixed-sample count.

“P2 uses fresh OS-backed uniform index draws with replacement and includes every draw in its fixed-sample count.”

Classified as probably not a substantial claim. May combine two claims.

A sequential A/B gate can use the same evidence tools; its stopping validity alone does not specify the target or cross-update error control of a persistent adoption protocol.

“Likewise, a sequential A/B gate can use the same evidence tools; its stopping validity alone does not specify the target or cross-update error control of a persistent adoption protocol.”

Classified as probably not a substantial claim. May combine two claims.

The conclusion gives almost-sure eventual cessation of acceptances, not a known finite cutoff at which each test has exactly zero power.

“The conclusion gives almost-sure eventual cessation of acceptances, not a known finite cutoff at which each test has exactly zero power.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The proof uses conditional change of measure and summability and remains unchanged for generic online testing.

“The proof uses conditional change of measure and summability and remains unchanged for generic online testing.”

Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing).

These are alternative scientific objectives, not power improvements under an unchanged objective.

“These are alternative scientific objectives, not power improvements under an unchanged objective.”

May combine two claims.

This statement allows shrinking positive effects and does not rely on a positive lower bound on improvement size.

“This statement allows shrinking positive effects and does not rely on a positive lower bound on improvement size.”

Classified as probably not a substantial claim.

This is inference with respect to repeated index sampling on a fixed population of items, not inference from newly sampled external examples.

“This is inference with respect to repeated index sampling on a fixed population of items, not inference from newly sampled external examples.”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

These settings match the synthetic workload in Section 5.2.

“These settings match the synthetic workload in Section 5.2.”

Probably not a substantial claim: may not pass S3 (load-bearing).

The paper already includes an alternative mixture with a negative result.

“Thus the paper already includes an alternative mixture with a negative result.”

Probably not a substantial claim: may not pass S3 (load-bearing).

It does not assert that proposals or learning computations cease.

“It also does not assert that proposals or learning computations cease.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

It neither changes the original experimental thresholds nor constitutes new learning-trajectory evidence.

“It neither changes the original experimental thresholds nor constitutes new learning-trajectory evidence.”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based). May combine two claims.

Online FDR controls an expected proportion of erroneous rejections, whereas lifetime FWER controls the probability of any such error.

“Online FDR controls an expected proportion of erroneous rejections, whereas lifetime FWER controls the probability of any such error.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

It holds the candidate effect and confirmation index fixed and does not identify the causal contribution of these factors to adaptive trajectory utility.

“It holds the candidate effect and confirmation index fixed and does not identify the causal contribution of these factors to adaptive trajectory utility.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The analysis script analyze_commit_composition.py reads the saved arrays, checks their recorded hashes, verifies the disjoint identity and numerical event counts, and produces complete per-policy metrics and paired descriptive intervals without rerunning the simulations.