[
    {
        "Id":  "REQ-MSG-IDLE-EDGE-DRAIN",
        "Stage":  "int",
        "Count":  2,
        "Evidence":  "crates/spt/tests/idle_edge_drain_e2e.rs:73, docs/F-035-CONFLICT.md:47"
    },
    {
        "Id":  "REQ-HAZARD-DELIVERY-STARVATION",
        "Stage":  "int",
        "Count":  3,
        "Evidence":  "crates/spt-daemon/tests/inject_control_wedge.rs:3007, crates/spt/tests/idle_edge_drain_e2e.rs:74, docs/F-035-CONFLICT.md:47"
    },
    {
        "Id":  "REQ-PUMP-PEER-ISOLATION",
        "Stage":  "unit",
        "Count":  6,
        "Evidence":  "crates/spt-daemon/src/msg.rs:1751, crates/spt-daemon/src/pump/mod.rs:2019, crates/spt-daemon/src/pump/mod.rs:2064, crates/spt-daemon/src/pump/mod.rs:2098, crates/spt-daemon/src/pump/mod.rs:2169, docs/PUMP-W2-DESIGN.md:55"
    },
    {
        "Id":  "REQ-PUMP-PEER-ISOLATION",
        "Stage":  "int",
        "Count":  3,
        "Evidence":  "crates/spt-daemon/tests/pump.rs:667, crates/spt-daemon/tests/pump.rs:868, docs/PUMP-W2-DESIGN.md:54"
    },
    {
        "Id":  "REQ-REACH-1",
        "Stage":  "int",
        "Count":  5,
        "Evidence":  "crates/spt-daemon/tests/dispatch.rs:433, crates/spt-daemon/tests/dispatch.rs:697, crates/spt-daemon/tests/twohost.rs:1805, crates/spt-daemon/tests/twohost.rs:2863, docs/INFRA-REGISTER.md:1563"
    },
    {
        "Id":  "REQ-RESIDENT-SERVICE",
        "Stage":  "unit",
        "Count":  59,
        "Evidence":  "crates/spt-daemon/src/daemon.rs:2293, crates/spt-daemon/src/daemon.rs:2622, crates/spt-daemon/src/daemon.rs:2811, crates/spt-daemon/src/daemon.rs:2857, crates/spt-daemon/src/daemon.rs:2903, crates/spt-daemon/src/daemon.rs:2926, crates/spt-daemon/src/servicehost.rs:1982, crates/spt-daemon/src/servicehost.rs:2014, crates/spt-daemon/src/servicehost.rs:2034, crates/spt-daemon/src/servicehost.rs:2055, crates/spt-daemon/src/servicehost.rs:2065, crates/spt-daemon/src/servicehost.rs:2105, crates/spt-daemon/src/servicehost.rs:2134, crates/spt-daemon/src/servicehost.rs:2152, crates/spt-daemon/src/servicehost.rs:2208, crates/spt-daemon/src/servicehost.rs:2298, crates/spt-daemon/src/servicehost.rs:2330, crates/spt-daemon/src/servicehost.rs:2344, crates/spt-daemon/src/servicehost.rs:2374, crates/spt-daemon/src/servicehost.rs:2441, crates/spt-daemon/src/servicehost.rs:2470, crates/spt-daemon/src/servicehost.rs:2493, crates/spt-daemon/src/servicehost.rs:2520, crates/spt-daemon/src/servicehost.rs:2537, crates/spt-daemon/src/servicehost.rs:2580, crates/spt-daemon/src/servicehost.rs:2618, crates/spt-daemon/src/servicehost.rs:2669, crates/spt-daemon/src/servicehost.rs:2717, crates/spt-daemon/src/servicehost.rs:2898, crates/spt-daemon/src/servicehost.rs:2944, crates/spt-daemon/src/servicehost.rs:2975, crates/spt-daemon/src/servicehost.rs:3045, crates/spt-daemon/src/servicehost.rs:3123, crates/spt-daemon/src/servicehost.rs:3206, crates/spt-daemon/src/servicehost.rs:3245, crates/spt-daemon/src/servicehost.rs:3310, crates/spt-daemon/src/servicehost.rs:3349, crates/spt-daemon/src/servicehost.rs:3401, crates/spt-daemon/src/servicehost.rs:3453, crates/spt-daemon/src/servicehost.rs:3499, crates/spt-daemon/src/servicehost.rs:3563, crates/spt-daemon/src/servicehost.rs:3636, crates/spt-daemon/src/servicehost.rs:3678, crates/spt-daemon/src/servicehost.rs:3715, crates/spt-daemon/src/servicehost.rs:3748, crates/spt-daemon/src/servicehost.rs:3782, crates/spt-daemon/src/servicehost.rs:3817, crates/spt-daemon/src/servicehost.rs:3851, crates/spt-daemon/src/servicehost.rs:3880, crates/spt-daemon/src/servicehost.rs:3913, crates/spt-daemon/src/servicehost.rs:3948, crates/spt-runtime/src/manifest.rs:1710, crates/spt-runtime/src/manifest.rs:1758, crates/spt-store/src/perch.rs:1297, crates/spt-store/src/perch.rs:1337, crates/spt-store/src/perch.rs:1369, crates/spt/src/cli.rs:28750, crates/spt/src/cli.rs:28908, docs/INFRA-REGISTER.md:1952"
    },
    {
        "Id":  "REQ-UPD-6",
        "Stage":  "unit",
        "Count":  16,
        "Evidence":  "crates/spt-daemon/src/applyhost.rs:1014, crates/spt-daemon/src/applyhost.rs:1063, crates/spt-daemon/src/propagate.rs:731, crates/spt-daemon/src/relcache.rs:581, crates/spt-daemon/src/relcache.rs:706, crates/spt-daemon/src/relcache.rs:743, crates/spt-daemon/src/release.rs:1142, crates/spt-daemon/src/release.rs:1164, crates/spt-daemon/src/release.rs:1181, crates/spt-daemon/src/release.rs:1196, crates/spt-daemon/src/release.rs:1222, crates/spt-daemon/src/update.rs:458, crates/spt-daemon/tests/propagate.rs:432, crates/spt/src/cli.rs:32039, crates/xtask/src/main.rs:1972, docs/DEBUG-CONVERGE-PLAN.md:130"
    },
    {
        "Id":  "REQ-UPD-6",
        "Stage":  "int",
        "Count":  2,
        "Evidence":  "crates/spt-daemon/tests/propagate.rs:663, docs/DEBUG-CONVERGE-PLAN.md:135"
    }
]