Priyanshu KumarandClaude Sonnet 5.5 390c172892 scripts: D68's mutation target, 25 mutants of the dominance checks and the tests that kill each ...

scripts/mutants_d68.py applies each mutant, runs the tests that should kill it, restores the file,
and exits 1 where a mutant lives that should die or dies that should live. 22 die: the lane pick
unfiltered (with the check of the facts, and with it skipped), the check unwired, the guard unwired,
never told its block, letting a name through or naming the wrong cause, each of the validator's
eight fact families dropped, defined_before off by one, with its phi case or its entry case wrong or
always true, and the production write order changed three ways. Three live, each with its reason:
the guard with r2ssa's pick and check both gone (by design, the guard holds alone), strictly_dominates
for dominates in defined_before (equivalent: the same block returns above), and the block-end read
placed at the block's start in the validator (no fact the fixtures hold reads a value its own block
defines). 25 edits apply once each (--check).

Co-Authored-By: Claude Sonnet 5.5 <[email protected]>
Claude-Session: https://claude.ai/code/session_01456qmqCGpCWJkrg6JUZNNM

2026-10-23 16:23:28 +05:30

..

corpus

r2s: a standalone Sleigh-native analysis engine, decompiler and visual mode (#66)

2026-10-03 23:22:07 +05:30

hooks

Add pre-commit hook for cargo fmt and clippy checks

2026-02-11 09:53:38 +00:00

census.py

Census: orders fingerprints a refused function, so a verdict that moves inside a refusal is seen

2026-10-23 16:23:28 +05:30

certify_render.py

P7 (audit W7): pddj states every call it spells, and certification grades each against its callee's definition

2026-10-15 10:00:25 +05:30

check_shards.py

CI: scripts/check_shards.py fails a baseline source no equivalence shard lists, and a shard source with no record (D43)

2026-10-17 14:02:28 +05:30

command_gap.py

Docs: the command gap's rule says why ?e is skipped; parallel indexing counts its serial checkpoint pass

2026-10-11 22:24:51 +05:30

comment_runs.py

Comment runs: a file moved into scope from outside it has no base

2026-10-22 12:44:00 +05:30

diff_r2_baseline.json

diff_r2: i is graded as key/value pairs, and static is judged

2026-10-17 16:45:16 +05:30

diff_r2_judged.toml

diff_r2: radare2 6.2.4 flags the Mach-O header sym., r2s flags it loc.; r2s is right

2026-10-22 17:24:28 +05:30

diff_r2.py

diff_r2: i is graded as key/value pairs, and static is judged

2026-10-17 16:45:16 +05:30

differential_truth.py

r2s: a standalone Sleigh-native analysis engine, decompiler and visual mode (#66)

2026-10-03 23:22:07 +05:30

frame_agree.py

P4.4d: a refused function's frame lists each offset once

2026-10-06 20:48:45 +05:30

gen_syscalls.py

r2s: a standalone Sleigh-native analysis engine, decompiler and visual mode (#66)

2026-10-03 23:22:07 +05:30

hostile_sweep.py

PR #71 review: the hostile gate fails a panic as well as an overrun

2026-10-08 15:15:19 +05:30

install-hooks.sh

Add pre-commit hook for cargo fmt and clippy checks

2026-02-11 09:53:38 +00:00

mutants_d68.py

scripts: D68's mutation target, 25 mutants of the dominance checks and the tests that kill each

2026-10-23 16:23:28 +05:30

quality-gate.sh

D: a staged residual the proof line counts has its site in the text, or a named cause

2026-10-10 14:52:08 +05:30

samply_collapse.py

r2dec: a binding plan derives its certificate-elided cells once; a profiling build and samply folding

2026-10-07 16:08:32 +05:30

setup_corpus.py

r2s: a standalone Sleigh-native analysis engine, decompiler and visual mode (#66)

2026-10-03 23:22:07 +05:30

spec_evidence.py

scripts: spec evidence is a lift test source or an oracle's cases or ratchet, never a deleted file

2026-10-16 14:23:17 +05:30

stack_tip.py

CI: stack-tip.yml labels the tip of each stack full-ci and unlabels the rest, planned by scripts/stack_tip.py (D43)

2026-10-17 14:06:03 +05:30

structure-baseline.txt

Structure: bless long_comments 2568 to 2566 over the stack of chains and tails

2026-10-23 06:13:51 +05:30

structure-report.sh

scripts: a pull request adds or lengthens no run of more than two // lines, graded on its diff

2026-10-17 01:44:17 +05:30

test_census.py

Census: orders fingerprints a refused function, so a verdict that moves inside a refusal is seen

2026-10-23 16:23:28 +05:30

test_certify_render.py

GT T6: certification grades every function analysis finds, from one process per binary

2026-10-15 10:00:24 +05:30

test_check_shards.py

CI: scripts/check_shards.py fails a baseline source no equivalence shard lists, and a shard source with no record (D43)

2026-10-17 14:02:28 +05:30

test_comment_runs.py

Comment runs: a file moved into scope from outside it has no base

2026-10-22 12:44:00 +05:30

test_diff_r2.py

diff_r2: i is graded as key/value pairs, and static is judged

2026-10-17 16:45:16 +05:30

test_spec_evidence.py

scripts: spec evidence is a lift test source or an oracle's cases or ratchet, never a deleted file

2026-10-16 14:23:17 +05:30

test_stack_tip.py

CI: stack-tip.yml labels the tip of each stack full-ci and unlabels the rest, planned by scripts/stack_tip.py (D43)

2026-10-17 14:06:03 +05:30

test_upstream_drift.py

Drift: a pin's age is its oldest missing commit by date, and the tests write no step summary

2026-10-22 12:44:00 +05:30

upstream_drift.py

Drift: a pin's age is its oldest missing commit by date, and the tests write no step summary

2026-10-22 12:44:00 +05:30