1# tick: the scheduler's test program (docs/plan-fleet-scheduling.md F4): a
2# periodic counter whose view carries state a migration must move.
3# View: 0x0 magic "TICK" (init), 0x4 ticks, 0x8 inits (this view's OP_INITs),
4# 0xc the last verify's mismatches; 0x40.. the pattern: word i is P(i) after
5# init, and tick t overwrites word t mod W with P(t mod W) ^ (t + 1).
6# `task tick 3 0` verifies 4096 words spread over the region and the last 64
7# ticks' words (returns the mismatches; 0: the view is this view's own).
8# Variants (variants/*.toml, the same images under other names): tick-w
9# (wasm only), tick-m (metal only), tick-r (replicas 2), tick-big (a 6 MiB view).
10name       = "tick"
11abi        = 6
12view_bytes = 0x10000
13view_abi   = 1
14snap_bytes = 0x40
15nodes      = 1
16policy     = "periodic"
17hz         = 50
18counters   = ["ticks", "inits", "", ""]
19fields     = ["magic:u32:0x0", "ticks:u32:0x4", "inits:u32:0x8", "mismatches:u32:0xc"]
20autostart  = false
21backends   = ["cuda", "metal", "wasm"]
22replicas   = 1
23task_ms    = 2000