Selectivity on SoftDevStudio.com

Selectivity Adds Practical Examples for CSV and JSON Lines

Sat, 24 Oct 2026 00:00:00 +0000

Selectivity now has three more runnable examples showing how a developer can put the Go reducer to work. Each pairs a generated input with a Python predicate and a saved run from the released 0.1.1 binary. The engine has not changed. The new material makes the contract easier to inspect: define the behavior worth keeping, classify invalid candidates honestly and keep the run evidence beside the small result.

The CSV example reduces an export to its header and the discount-refund pair behind a deliberately introduced accounting error. The JSON Lines example isolates one identifier that changes after a lossy numeric conversion. These are controlled fixtures, with three observations per candidate. Their posts explain which statements the successful reductions support and why an unresolved validity check can prevent a minimality claim.

Selectivity Shrinks Failing Inputs Into Smaller Bug Reports

Sat, 24 Oct 2026 00:00:00 +0000

Selectivity joins the studio with a small, practical job: reduce the input that triggers a bug while a command checks that the behavior survives. The first release works on file lines and directory contents, with an optional line pass inside the files that remain. Each predicate observation gets a fresh copy, and ambiguous outcomes leave the earlier input in place. The project introduction explains the contract.

Two generated examples give the first version a clear check. A 20000-line file becomes its two required trigger lines, and a three-file bundle becomes two files containing only their required lines. These are known-answer fixtures, rather than performance claims about real bugs. The line case and directory case include the limits, and the browser playback steps through the actual recorded checks.