fp-stability: scale-free pass/fail + Verrou cancellation-origin reporting; auto-installed prebuilt#1526

Merged

sbryngelson merged 26 commits into

MFlowCode:masterfrom

sbryngelson:fp-stability-dd-confirm-rank

Jun 3, 2026

Commits on Jun 1, 2026

fp-stability: confirm, rank, and disambiguate dd_line hotspots
sbryngelson
committed

Commits on Jun 2, 2026

fp-stability: per-instance disambiguation of fypp-expanded hotspots (Tier 2)
sbryngelson
committed
fp-stability: distinguish precision-sensitivity from cancellation-origin; surface caps + coverage
sbryngelson
committed
fp-stability: rank cancellation by severity (bits lost), not count; resolve continuations
sbryngelson
committed
fp-stability: scale-free pass/fail via significant bits, replacing 6 hand-tuned thresholds
sbryngelson
committed
fp-stability: lead with cancellation origins, report digits lost (not 'severe'), collapse sensitivity
sbryngelson
committed
fp-stability: de-duplicate helpers from the review additions (no behavior change)
sbryngelson
committed
fp-stability: split the 1876-line module into metrics/runners/report (no behavior change)
sbryngelson
committed
fp-stability: remove Tier 2 per-instance disambiguation entirely
sbryngelson
committed
fp-stability: accept a user case.py (positional, like run), with a feasibility guard
sbryngelson
committed
fp-stability: refresh --help description for case.py usage + sig-bits/cancellation reframe
sbryngelson
committed
fp-stability: address PR review — silent failures, 1-row crash, dead code, tests, comment rot
sbryngelson
committed
fp-stability: add opt-in Verrou bootstrap script + actionable SKIP message
sbryngelson
committed
ci(fp-stability): build Verrou via the shared bootstrap script (DRY)
sbryngelson
committed
fp-stability: install Verrou from prebuilt artifact (verrou-dist), build as fallback
sbryngelson
committed
fp-stability: auto-install Verrou on first use (download prebuilt), hard-fail if it can't
sbryngelson
committed
fp-stability: address PR review — atomic prebuilt install, verify VERROU_HOME tree, more tests
sbryngelson
committed
fp-stability: drop dd line/sym bisection; keep cancellation + move fypp flag onto it
sbryngelson
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

fp-stability: scale-free pass/fail + Verrou cancellation-origin reporting; auto-installed prebuilt#1526

fp-stability: scale-free pass/fail + Verrou cancellation-origin reporting; auto-installed prebuilt#1526
sbryngelson merged 26 commits into
MFlowCode:masterfrom
sbryngelson:fp-stability-dd-confirm-rank

Commits on Jun 1, 2026

fp-stability: confirm, rank, and disambiguate dd_line hotspots

Commits on Jun 2, 2026

fp-stability: per-instance disambiguation of fypp-expanded hotspots (Tier 2)

fp-stability: distinguish precision-sensitivity from cancellation-origin; surface caps + coverage

fp-stability: rank cancellation by severity (bits lost), not count; resolve continuations

fp-stability: scale-free pass/fail via significant bits, replacing 6 hand-tuned thresholds

fp-stability: lead with cancellation origins, report digits lost (not 'severe'), collapse sensitivity

fp-stability: de-duplicate helpers from the review additions (no behavior change)

fp-stability: split the 1876-line module into metrics/runners/report (no behavior change)

fp-stability: remove Tier 2 per-instance disambiguation entirely

fp-stability: accept a user case.py (positional, like run), with a feasibility guard

fp-stability: refresh --help description for case.py usage + sig-bits/cancellation reframe

fp-stability: address PR review — silent failures, 1-row crash, dead code, tests, comment rot

fp-stability: add opt-in Verrou bootstrap script + actionable SKIP message

ci(fp-stability): build Verrou via the shared bootstrap script (DRY)

fp-stability: install Verrou from prebuilt artifact (verrou-dist), build as fallback

fp-stability: auto-install Verrou on first use (download prebuilt), hard-fail if it can't

fp-stability: address PR review — atomic prebuilt install, verify VERROU_HOME tree, more tests

fp-stability: drop dd line/sym bisection; keep cancellation + move fypp flag onto it

Commits on Jun 3, 2026

fp-stability: drop the MCA pass (redundant with the random-rounding sig-bits gate)

Merge branch 'master' into fp-stability-dd-confirm-rank

fp-stability: address Copilot review — verify --verrou-binary executability, env on PATH probe, comment rot

fp-stability: give _run_simulation_verrou sole ownership of run_dir creation

fp-stability: prune unit tests to the high-value contracts (33 -> 17)

ci(fp-stability): derive Verrou cache key from verrou.sh content (no hand-synced version)

fp-stability: remove emoji from console + GitHub-summary output (ASCII only)

fp-stability: ascii-only — convert em-dash/arrow/math glyphs in comments + output