Repository navigation

tests: the measured schedule — Fast is every PR, then Nightly, then Weekly; 15 never-caught tests and the kernel code only they armed deleted - #564

Merged

Japabu merged 25 commits into

mainfrom

wt/toyos-schedule

Sep 28, 2026

Commits on Sep 27, 2026
- tests: the measured schedule — Fast is every PR, Nightly, Weekly; 17 never-caught tests deleted
  
  Japabu
  and
  claude
  committed
  4505f87
- host tests for two guest catches: a join keeps its answer, a dump waits for a bare pass
  
  Japabu
  and
  claude
  committed
  cb43477
- schedule tests: each assertion names the reason it reds for
  
  Japabu
  and
  claude
  committed
  eb64791
- kernel-loom: the i8042 tally models explored one execution; they explore now
  
  Japabu
  and
  claude
  committed
  c956cb4
- kernel-loom: the tally model gates the release/acquire pair; the claim that it could not goes
  
  Japabu
  and
  claude
  committed
  fae9097
- kernel-loom: the tally test states what it is, not a measurement of it
  
  Japabu
  and
  claude
  committed
  0fc0f5a
- issues: a loom model whose spawned thread opens with a load explores one execution
  
  Japabu
  and
  claude
  committed
  5e64f5a
- issues: a loom model whose spawned thread opens with a load explores one execution
  
  Japabu
  and
  claude
  committed
  21005ec
- Merge origin/main into wt/toyos-schedule
  
  Japabu
  and
  claude
  committed
  42918cf
- kernel/CLAUDE.md: console_line_atomicity is deleted, so it gates nothing
  
  Japabu
  and
  claude
  committed
  6f9a317
Commits on Sep 28, 2026
- tests: no boot names a deleted binary, and --list refuses one that does
  
  Japabu
  and
  claude
  committed
  088ed7f
- issues: loom misses a store racing a load only when the storer loaded the word first
  
  Japabu
  and
  claude
  committed
  e527bee
- Merge origin/main into wt/toyos-schedule
  
  Japabu
  and
  claude
  committed
  4919fbd
- tests: the review's round-2 findings on the measured schedule
  
  Japabu
  and
  claude
  committed
  0c03f40
- Merge origin/main into wt/toyos-schedule
  
  Japabu
  and
  claude
  committed
  4dec9e5
- tests: the harness's own checks live in the target that runs them
  
  Japabu
  and
  claude
  committed
  a9dfb9c
- issues: the loom table loses the row of the model that went with its actuator
  
  Japabu
  and
  claude
  committed
  3b94e06
- tests: run_exit_status is a host test; a settled join takes no table lock
  
  Japabu
  and
  claude
  committed
  97f53b5
- Merge origin/main into wt/toyos-schedule
  
  Japabu
  and
  claude
  committed
  617e934
- Merge origin/main into wt/toyos-schedule
  
  Japabu
  and
  claude
  committed
  4dff77b
- A join holds its own answer; DRIVEN_AND_SHARED exists only where it is read
  
  Japabu
  and
  claude
  committed
  b1d8472
- DRIVEN_AND_SHARED is allowed dead again: clippy compiles toyos-build under cfg(test)
  
  Japabu
  and
  claude
  committed
  9b2645e
- Merge remote-tracking branch 'origin/main' into wt/toyos-schedule
  Japabu
  committed
  0b81fba
- Round 5 review fixes: the join-per-ask gap recorded on the syscall's issue, two false test-replica claims removed
  
  Japabu
  and
  claude
  committed
  e30e7d7
- Merge origin/main into wt/toyos-schedule
  
  Japabu
  and
  claude
  committed
  aca8ebe

Navigation Menu

Repository navigation

tests: the measured schedule — Fast is every PR, then Nightly, then Weekly; 15 never-caught tests and the kernel code only they armed deleted - #564

tests: the measured schedule — Fast is every PR, then Nightly, then Weekly; 15 never-caught tests and the kernel code only they armed deleted#564
Japabu merged 25 commits into
mainfrom
wt/toyos-schedule

Commits on Sep 27, 2026

tests: the measured schedule — Fast is every PR, Nightly, Weekly; 17 never-caught tests deleted

host tests for two guest catches: a join keeps its answer, a dump waits for a bare pass

schedule tests: each assertion names the reason it reds for

kernel-loom: the i8042 tally models explored one execution; they explore now

kernel-loom: the tally model gates the release/acquire pair; the claim that it could not goes

kernel-loom: the tally test states what it is, not a measurement of it

issues: a loom model whose spawned thread opens with a load explores one execution

issues: a loom model whose spawned thread opens with a load explores one execution

Merge origin/main into wt/toyos-schedule

kernel/CLAUDE.md: console_line_atomicity is deleted, so it gates nothing

Commits on Sep 28, 2026

tests: no boot names a deleted binary, and --list refuses one that does

issues: loom misses a store racing a load only when the storer loaded the word first

Merge origin/main into wt/toyos-schedule

tests: the review's round-2 findings on the measured schedule

Merge origin/main into wt/toyos-schedule

tests: the harness's own checks live in the target that runs them

issues: the loom table loses the row of the model that went with its actuator

tests: run_exit_status is a host test; a settled join takes no table lock

Merge origin/main into wt/toyos-schedule

Merge origin/main into wt/toyos-schedule

A join holds its own answer; DRIVEN_AND_SHARED exists only where it is read

DRIVEN_AND_SHARED is allowed dead again: clippy compiles toyos-build under cfg(test)

Merge remote-tracking branch 'origin/main' into wt/toyos-schedule

Round 5 review fixes: the join-per-ask gap recorded on the syscall's issue, two false test-replica claims removed

Merge origin/main into wt/toyos-schedule