74 lines
3.8 KiB
JSON
74 lines
3.8 KiB
JSON
{
|
|
"status": "Static definitions finalized; no mutant executed",
|
|
"mutants": [
|
|
{
|
|
"id": "M1",
|
|
"path": "scripts/case1-accept.sh",
|
|
"old": "tester_capture 2 4 128",
|
|
"new": "tester_capture 1 4 128",
|
|
"killer": "row253 C4 P10 inner reason holds under both sudo models",
|
|
"expected": "exact inner-timeout reason remains valid, but direct probe interval is below 1.25 s; ERR_ASSERTION on the existing lower-band check",
|
|
"static_anchor_count": 1,
|
|
"source_sha256": "89b45bb84e8365f32f08fd055c7db8a0259533f23fe7ab03f484acb25bee92c2",
|
|
"receipt_requirement": "Record direct interval even if it survives; startup overhead can erase the 0.25 s kill margin. Survivor stops to Sage/Mos; bands unchanged."
|
|
},
|
|
{
|
|
"id": "M2",
|
|
"path": "scripts/case1-accept.sh",
|
|
"old": "tester_capture 2 4 128",
|
|
"new": "tester_capture 3 4 128",
|
|
"killer": "row253 C4 P10 inner reason holds under both sudo models",
|
|
"expected": "exact inner-timeout reason remains valid, but direct interval exceeds the unchanged 2.75 s top; ERR_ASSERTION on upper-band check",
|
|
"static_anchor_count": 1,
|
|
"source_sha256": "89b45bb84e8365f32f08fd055c7db8a0259533f23fe7ab03f484acb25bee92c2"
|
|
},
|
|
{
|
|
"id": "M3",
|
|
"path": "scripts/case1-accept.sh",
|
|
"old": "tester_capture 2 4 128",
|
|
"new": "tester_capture 2 3 128",
|
|
"killer": "row253 C4 P10 outer reason holds under both sudo models",
|
|
"expected": "stalled supervisor still gives exact outer-timeout, but direct interval falls below 3.25 s; ERR_ASSERTION on outer lower-band check",
|
|
"static_anchor_count": 1,
|
|
"source_sha256": "89b45bb84e8365f32f08fd055c7db8a0259533f23fe7ab03f484acb25bee92c2"
|
|
},
|
|
{
|
|
"id": "M4",
|
|
"path": "scripts/case1-accept.sh",
|
|
"scope": "tester_capture function only",
|
|
"description": "Remove the trusted outer GNU timeout from the capture invocation, keeping the fixture guard",
|
|
"killer": "row253 C4 P10 outer reason holds under both sudo models",
|
|
"expected": "the fixture safety guard permits return but the exact probe-outer-timeout assertion fails; never count external command timeout or cleanup alone as a kill",
|
|
"scope_begin": "tester_capture() (\n",
|
|
"scope_end": "# row276-legacy-begin",
|
|
"old": "LC_ALL=C \"$TS_TIMEOUT\" --verbose --signal=KILL \"${outer}s\" \"$TS_BASH\" -c ",
|
|
"new": "LC_ALL=C \"$TS_BASH\" -c ",
|
|
"static_anchor_count": 1,
|
|
"source_sha256": "89b45bb84e8365f32f08fd055c7db8a0259533f23fe7ab03f484acb25bee92c2"
|
|
},
|
|
{
|
|
"id": "M5",
|
|
"path": "packages/cli/tests/case-p10-timing-fixture.mjs",
|
|
"description": "Suppress the begin printf while retaining the inserted begin block and reversal check",
|
|
"killer": "row253 C4 P10 inner reason holds under both sudo models",
|
|
"expected": "the existing inner test requires a valid pair with assert.doesNotThrow; end-only evidence fails ERR_ASSERTION",
|
|
"old": "printf 'begin %s\\\\n' \"$row299_up\" >> \"$ROW299_TIMING_FILE\";",
|
|
"new": ":;",
|
|
"static_anchor_count": 1,
|
|
"source_sha256": "7ac9d29281d4076bf2e00b7a07294cd4519d7ae9f97c4f6ddc1d22440c9b071a"
|
|
},
|
|
{
|
|
"id": "M6",
|
|
"path": "packages/cli/tests/case-p10-timing-fixture.mjs",
|
|
"description": "Accept an equal begin/end clock pair",
|
|
"killer": "row299 P10 observer records are complete and ordered",
|
|
"expected": "the equal-readings case in the named record test expects refusal and fails ERR_ASSERTION",
|
|
"old": "end <= begin",
|
|
"new": "end < begin",
|
|
"static_anchor_count": 1,
|
|
"source_sha256": "7ac9d29281d4076bf2e00b7a07294cd4519d7ae9f97c4f6ddc1d22440c9b071a"
|
|
}
|
|
],
|
|
"restore": "Restore byte-identical source/test/helper files and require clean git status between cases. Timeout is a stop, never a kill."
|
|
}
|