FA-65303 / Epidemic compartment models / Member archive

Two-patch SIR with daily migration: local mixing denominator · case 03

Force of infection uses stale census sizes as migration reshapes the patches.

Member previewVariant 3 · 3 implementations · 7 checks per implementation

Case contract

Each day: local frequency-dependent SIR in each patch using the current patch size, then every compartment exchanges fraction travel of each patch simultaneously; return [S pair, I pair, R pair] rounded 3.

Why this case matters

Compartmental epidemic calculations drive outbreak forecasts, vaccine targets and hospital planning; a single wrong flow, rate conversion or boundary silently changes every downstream number.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
regression: city and town	`[[632.516, 277.348], [60.019, 136.977], [46.937, 46.203]]`	`[[611.99, 397.105], [74.874, 37.65], [52.607, 25.773]]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.