ci: exact-head verification for #143 - #144

Closed

marcohost33-maker wants to merge 51 commits into

mainfrom

chatgpt/verify-143-exact-head

Commits on Aug 14, 2026

feat(#102): hypothesis-wise evidence matrix, support_score, reachability gate
claude
committed
33c31c3
fix(#102): make REACHABLE_A_CLASSES load-bearing via import-time coverage guard
claude
committed
4492b83

Commits on Aug 15, 2026

fix(#108): scale-relative zero-mode separation + Codex review follow-ups
claude
committed
472c4b2
fix: address Codex review — backward-error zero-mode threshold, required/optional keys, overflow-safe fits
claude
committed
f424769
fix: third Codex review — dtype-aware eps, one-sided exp cap, A12 unevaluable, alias contract
claude
committed
9bc909f
fix: fourth Codex review — grid-relative fit seed, NaN evidence, honest invariance claims
claude
committed
83f3d79
fix: drop redundant isinstance in _is_unavailable (mypy redundant-expr)
claude
committed
8008445
fix: revert dtype-derived eps — storage dtype is not the solver's precision
claude
committed
1038f7e
fix: enforce the double-precision solver contract + sixth review round
claude
committed
b4ddca4
fix: reject mismatched support_score/confidence (seventh review round)
claude
committed
32a5186
fix: eighth review round — fit-boundary validation, NaN encoding-independence, M3a slope seed
claude
committed
3850dc0
fix: keep established catalogs JSON-serializable (ninth review round)
claude
committed
ccf3c08
fix: tenth review round — A12 missing propagation, stiff-solver limitation documented
claude
committed
e9d4ff4
fix: eleventh review round — ladder never crashes on partial evidence, None-score documented
claude
committed
24886cd
fix(#109,#112,#113): scale-relative Hermiticity validation + structural zero-mode certificate (#114)
marcohost33-maker
authored
d3c5049
fix: patch certified_eigvals via monkeypatch string target (CodeQL py/import-and-import-from)
claude
committed
48c7b94
fix: twelfth review round — five hardening fixes on the #112/#113 certificate machinery
claude
committed
c74464f
fix: local synthetic builders instead of cross-test import (CI ModuleNotFoundError)
claude
committed
23ed0b1
fix: thirteenth review round — one zero-mode scale, certified D24, conclusive matrix refutation
claude
committed
d4f9004
fix: fourteenth review round — certified Petermann factors, radius fallback for inapplicable certificates
claude
committed
467ed8f
fix: fifteenth review round — eigenvector-residual gate, ladder continues past ambiguity
claude
committed
ebdd30b
fix: sixteenth review round — grid-relative Prony fallback, consumption-matched certificates, D11 decoupling
claude
committed
e26df05
refactor: extract D24 eigenvectors only in the branch that consumes them (CodeQL py/unused-local-variable)
claude
committed
4a8ae9c

Commits on Aug 27, 2026

fix(#118): close the three review findings that survived PR #107

marcohost33-maker
and
claude
committed
f3b73b4

Commits on Aug 28, 2026

Merge branch 'main' into pr107-fix
marcohost33-maker
authored
98370aa
fix(#121): one zero-mode cutoff, obtained one way (four review findings)

marcohost33-maker
and
claude
committed
11e117f
fix(#121): withhold, refuse, continue -- the three standalone findings + C4

marcohost33-maker
and
claude
committed
2b59f1a
fix(#121): key model selection on success, not on a finite AICc

marcohost33-maker
and
claude
committed
85022fe
test(#121): do not pin the D11 fixture to a rescued-mode COUNT

marcohost33-maker
and
claude
committed
880af6c
fix(#121): der zweite Reparaturschritt beendete die Leiter, statt sie fortzusetzen

marcohost33-maker
and
claude
committed
f194c97
fix(#121): drei weitere Gates bescheinigten, was sie nicht geprueft hatten

marcohost33-maker
and
claude
committed
c4bc81f

Commits on Aug 29, 2026

fix(#121): the narrower predicate published what the wider one withheld (B1)

marcohost33-maker
and
claude
committed
2cc9491
fix(#121): a band that accepts the whole spectrum has certified nothing (B2)

marcohost33-maker
and
claude
committed
2eafedd
fix(#121): no interval from a resample of non-fits, and no fit without a curve (B3)

marcohost33-maker
and
claude
committed
9581f39
fix(#121): a scale that overflows cannot certify anything (round 21)

marcohost33-maker
and
claude
committed
57c17a2
fix(#123): pin an initial state that actually relaxes

marcohost33-maker
and
claude
committed
6ecf9df
fix(#121): four tolerances that decided from what they never had (round 22, part 1)

marcohost33-maker
and
claude
committed
37c76ea
fix(#121): four defaults published as measurements (round 22, part 2)

marcohost33-maker
and
claude
committed
fbdea4e
test(#121): two probes that could not judge what they were watching

marcohost33-maker
and
claude
committed
50bf245
test(#121): a probe whose own death was a warning could not be certified

marcohost33-maker
and
claude
committed
be6553a
Merge remote-tracking branch 'origin/main' into pr107-fix
marcohost33-maker
committed
e7b4150

Commits on Aug 30, 2026

fix(#121): a reference scale lost to underflow certified a non-generator (round 23, finding 12)

marcohost33-maker
and
claude
committed
10dc291
fix(#121): D16 published from the spectrum D1/D3/D4 refused to report (round 23, finding 13)

marcohost33-maker
and
claude
committed
ac05491
test(#121): two guard lines that sat off every test path (round 23)

marcohost33-maker
and
claude
committed
c3c7f93
fix(#121): the repair for finding 12 contained finding 12 (round 23)

marcohost33-maker
and
claude
committed
3cc0bbc
test(#121): the subnormal guard covered only one of the two ladders (round 23)

marcohost33-maker
and
claude
committed
436bd93
test(#121): a probe that died instead of judging (round 23)

marcohost33-maker
and
claude
committed
d7086ca