Repository navigation

Make the 500ms mandatory-migration threshold a counted disclosure derived from the existing witness row-cost receipt, with promotion-to-refusal as its declared trigger - #7871

Closed

gunbai-bot[bot] wants to merge 22 commits into

mainfrom

session/sleek-wren-669

Closed

Make the 500ms mandatory-migration threshold a counted disclosure derived from the existing witness row-cost receipt, with promotion-to-refusal as its declared trigger#7871
gunbai-bot[bot] wants to merge 22 commits into
mainfrom
session/sleek-wren-669

Commits on Aug 5, 2026
- WIP: Make the 500ms mandatory-migration threshold a counted disclosure derive
  gunbc-ci-auto-heal
  committed
  eb1921c
- Wire the mandatory-migration disclosure into the live floor receipt sequence
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  daec9fa
- WIP: Make the 500ms mandatory-migration threshold a counted disclosure derive
  gunbc-ci-auto-heal
  committed
  5924bfe
- Route migration-disclosure verdict through .dag authority; fix undefined test symbols and Int/Nat mismatch
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c8d3552
- Migration disclosure: independent promotion condition + ObservationAbsent guard
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bf8b91e
- WIP: Make the 500ms mandatory-migration threshold a counted disclosure derive
  gunbc-ci-auto-heal
  committed
  88469cc
- Revert "WIP: Make the 500ms mandatory-migration threshold a counted disclosure derive"
  gunbc-ci-auto-heal
  committed
  10983b9
- Merge remote-tracking branch 'origin/main' into session/sleek-wren-669
  gunbc-ci-auto-heal
  committed
  1cee819
- WIP: Make the 500ms mandatory-migration threshold a counted disclosure derive
  gunbc-ci-auto-heal
  committed
  4f9748e
- Revert "WIP: Make the 500ms mandatory-migration threshold a counted disclosure derive"
  gunbc-ci-auto-heal
  committed
  2f0ca16
- chore: regenerate drifted .github/workflows/falsifier.yml
  gunbc-ci-auto-heal
  committed
  c7340a1
- WIP: Make the 500ms mandatory-migration threshold a counted disclosure derive
  gunbc-ci-auto-heal
  committed
  509938f
- Roster the witness-row-cost migration-disclosure emit marker (review 48603)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b82a8bf
- Merge remote-tracking branch 'origin/main' into session/sleek-wren-669
  gunbc-ci-auto-heal
  committed
  54ede1a
- Merge remote-tracking branch 'origin/main' into session/sleek-wren-669
  gunbc-ci-auto-heal
  committed
  fd3bcf1
- Author the mandatory-migration threshold as 500ms on WallClock, not derived from the CPU fail-stop budget
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c71638d
- WIP: Make the 500ms mandatory-migration threshold a counted disclosure derive
  gunbc-ci-auto-heal
  committed
  512f747
- Track measurement-unavailable rows as a separate counted population, conjoin with promotion trigger
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9476934
- Merge remote WIP checkpoint (auto-heal) into recut
  gunbc-ci-auto-heal
  committed
  bb7824b
- WIP: Make the 500ms mandatory-migration threshold a counted disclosure derive
  gunbc-ci-auto-heal
  committed
  d0a3126
- WIP: Make the 500ms mandatory-migration threshold a counted disclosure derive
  gunbc-ci-auto-heal
  committed
  d66c1cb
- Fix CI parse failure and stop folding non-Done rows into BelowMigrationThreshold
  gunbc-ci-auto-heal
  committed
  482b960

Commits

Commits on Aug 5, 2026