reduce minimize derived

{
  "input": {
    "body": {
      "entry": "main.py",
      "bundle": "UEsDBBQAAAAAAAAAIVwQVBcsKwQAACsEAAAHAAAAbWFpbi5weWltcG9ydCBqc29uCgpmcm9tIGhlbHBlciBpbXBvcnQgbm9ybWFsaXplLCB3ZWlnaHRlZF9hdmVyYWdlCgoKZGVmIGxvYWRfZGF0YShwYXRoPSJkYXRhLmpzb24iKToKICAgIHdpdGggb3BlbihwYXRoKSBhcyBoYW5kbGU6CiAgICAgICAgcmV0dXJuIGpzb24ubG9hZChoYW5kbGUpCgoKZGVmIGJ1aWxkX3JlcG9ydChkYXRhKToKICAgIHZhbHVlcyA9IGRhdGEuZ2V0KCJ2YWx1ZXMiLCBbXSkKICAgIHdlaWdodHMgPSBkYXRhLmdldCgid2VpZ2h0cyIsIFtdKQogICAgbm9ybWFsaXplZCA9IFtub3JtYWxpemUodmFsdWUpIGZvciB2YWx1ZSBpbiB2YWx1ZXNdCiAgICBhdmVyYWdlID0gd2VpZ2h0ZWRfYXZlcmFnZShub3JtYWxpemVkLCB3ZWlnaHRzKQogICAgcmV0dXJuIHsiY291bnQiOiBsZW4odmFsdWVzKSwgImF2ZXJhZ2UiOiBhdmVyYWdlfQoKCmRlZiBhcHBseV9mbGFncyhkYXRhLCByZXBvcnQpOgogICAgZmxhZ3MgPSBkYXRhLmdldCgiZmxhZ3MiLCBbXSkKICAgICMgQlVHOiBhbnkgbm9uLWVtcHR5IGZsYWcgbGlzdCBydW5zIGEgcGVyLWZsYWcgYWRqdXN0bWVudCBwYXNzIHRoYXQgZGl2aWRlcwogICAgIyB0aGUgcnVubmluZyBjb3VudCBieSB0aGUgZmxhZydzIG93biBpbmRleCAtIHRoZSBmaXJzdCBmbGFnJ3MgaW5kZXggaXMKICAgICMgYWx3YXlzIHplcm8sIHNvIGEgc2luZ2xlIGZsYWcgaXMgZW5vdWdoIHRvIGNyYXNoLiBBbiBlbXB0eSBmbGFnIGxpc3QKICAgICMgbmV2ZXIgcmVhY2hlcyB0aGUgZGl2aXNpb24gYW5kIG5ldmVyIGNyYXNoZXMuCiAgICBmb3IgaW5kZXgsIF9mbGFnIGluIGVudW1lcmF0ZShmbGFncyk6CiAgICAgICAgcmVwb3J0W2YiZmxhZ197aW5kZXh9Il0gPSByZXBvcnRbImNvdW50Il0gLyBpbmRleAogICAgcmV0dXJuIHJlcG9ydAoKCmRlZiBtYWluKCk6CiAgICBkYXRhID0gbG9hZF9kYXRhKCkKICAgIHJlcG9ydCA9IGJ1aWxkX3JlcG9ydChkYXRhKQogICAgcmVwb3J0ID0gYXBwbHlfZmxhZ3MoZGF0YSwgcmVwb3J0KQogICAgcHJpbnQoanNvbi5kdW1wcyhyZXBvcnQpKQoKCmlmIF9fbmFtZV9fID09ICJfX21haW5fXyI6CiAgICBtYWluKCkKUEsDBBQAAAAAAAAAIVz9qmy06gAAAOoAAAAJAAAAaGVscGVyLnB5ZGVmIG5vcm1hbGl6ZSh2YWx1ZSk6CiAgICByZXR1cm4gdmFsdWUgLyAxMC4wCgoKZGVmIHdlaWdodGVkX2F2ZXJhZ2UodmFsdWVzLCB3ZWlnaHRzKToKICAgIHRvdGFsX3dlaWdodCA9IHN1bSh3ZWlnaHRzKQogICAgaWYgdG90YWxfd2VpZ2h0ID09IDA6CiAgICAgICAgcmV0dXJuIDAuMAogICAgcmV0dXJuIHN1bSh2ICogdyBmb3IgdiwgdyBpbiB6aXAodmFsdWVzLCB3ZWlnaHRzKSkgLyB0b3RhbF93ZWlnaHQKUEsDBBQAAAAAAAAAIVxYWsf9UAAAAFAAAAAJAAAAZGF0YS5qc29uewogICJ2YWx1ZXMiOiBbNCwgOSwgMTYsIDI1XSwKICAid2VpZ2h0cyI6IFsyLCAzLCA0LCA1XSwKICAiZmxhZ3MiOiBbInJldHJ5Il0KfQpQSwMEFAAAAAAAAAAhXGvxLk6pAQAAqQEAAAkAAABSRUFETUUubWQjIFJlZHVjZWQtYnVuZGxlIGV4YW1wbGUKCmBtYWluLnB5YCBsb2FkcyBgZGF0YS5qc29uYCwgY29tcHV0ZXMgYSBub3JtYWxpemVkIHdlaWdodGVkLWF2ZXJhZ2UgcmVwb3J0IHZpYQpgaGVscGVyLnB5YCwgdGhlbiBhcHBsaWVzIGEgcGVyLWZsYWcgYWRqdXN0bWVudCBwYXNzLiBUaGUgYWRqdXN0bWVudCBwYXNzCmRpdmlkZXMgdGhlIHJ1bm5pbmcgY291bnQgYnkgZWFjaCBmbGFnJ3Mgb3duIGluZGV4OyB0aGUgZmlyc3QgZmxhZyBhbHdheXMgaGFzCmluZGV4IDAsIHNvIGFueSBub24tZW1wdHkgYGZsYWdzYCBsaXN0IGluIGBkYXRhLmpzb25gIGNyYXNoZXMgd2l0aApgWmVyb0RpdmlzaW9uRXJyb3I6IGRpdmlzaW9uIGJ5IHplcm9gLiBBbiBlbXB0eSBgZmxhZ3NgIGxpc3QgbmV2ZXIgcmVhY2hlcyB0aGUKZGl2aXNpb24gYW5kIGV4aXRzIDAuClBLAQIUAxQAAAAAAAAAIVwQVBcsKwQAACsEAAAHAAAAAAAAAAAAAACkgQAAAABtYWluLnB5UEsBAhQDFAAAAAAAAAAhXP2qbLTqAAAA6gAAAAkAAAAAAAAAAAAAAKSBUAQAAGhlbHBlci5weVBLAQIUAxQAAAAAAAAAIVxYWsf9UAAAAFAAAAAJAAAAAAAAAAAAAACkgWEFAABkYXRhLmpzb25QSwECFAMUAAAAAAAAACFca/EuTqkBAACpAQAACQAAAAAAAAAAAAAApIHYBQAAUkVBRE1FLm1kUEsFBgAAAAAEAAQA2gAAAKgHAAAAAA==",
      "command": [
        "python3",
        "main.py"
      ],
      "maxRuns": 400,
      "language": "python",
      "predicate": {
        "exitCode": 1,
        "stderrPattern": "ZeroDivisionError"
      },
      "timeoutMs": 2000,
      "pruneFiles": true
    },
    "type": "http",
    "method": "POST",
    "bodyType": "json"
  },
  "output": {
    "type": "json",
    "example": {
      "runs": {
        "total": 399,
        "failing": 35,
        "passing": 364,
        "timedOut": 0,
        "budgetExhausted": false
      },
      "entry": "main.py",
      "tools": {
        "runner": "628ms",
        "reducer": "reduce/1.0"
      },
      "checks": [
        {
          "code": "bundle_valid",
          "detail": "The bundle passed the zip guard and entry checks.",
          "status": "passed"
        },
        {
          "code": "command_allowed",
          "detail": "The command's interpreter is on the runner's allowlist.",
          "status": "passed"
        },
        {
          "code": "reproduces_twice",
          "detail": "The original bundle reproduced the failure on both baseline runs.",
          "status": "passed"
        },
        {
          "code": "reduced_reproduces_twice",
          "detail": "The reduced bundle reproduced the failure on both verification runs.",
          "status": "passed"
        },
        {
          "code": "reduction_achieved",
          "detail": "Removed 46.3% of the entry's bytes.",
          "status": "passed"
        },
        {
          "code": "within_budget",
          "detail": "The reducer converged within the run and time budget.",
          "status": "passed"
        }
      ],
      "passes": [
        {
          "name": "strip-comments",
          "runs": 1,
          "removedBytes": 295,
          "removedFiles": 0
        },
        {
          "name": "file-pruning",
          "runs": 3,
          "removedBytes": 425,
          "removedFiles": 1
        },
        {
          "name": "chunk-removal",
          "runs": 60,
          "removedBytes": 48,
          "removedFiles": 0
        },
        {
          "name": "line-ddmin",
          "runs": 76,
          "removedBytes": 0,
          "removedFiles": 0
        },
        {
          "name": "token-trimming",
          "runs": 255,
          "removedBytes": 151,
          "removedFiles": 0
        },
        {
          "name": "cleanup",
          "runs": 0,
          "removedBytes": 0,
          "removedFiles": 0
        }
      ],
      "status": "passed",
      "command": [
        "python3",
        "main.py"
      ],
      "reduced": {
        "run": {
          "signal": null,
          "failing": true,
          "exitCode": 1,
          "timedOut": false,
          "durationMs": 44,
          "stderrBytes": 417,
          "stdoutBytes": 0
        },
        "bytes": 887,
        "files": 3,
        "entryBytes": 573,
        "entryLines": 19
      },
      "original": {
        "run": {
          "signal": null,
          "failing": true,
          "exitCode": 1,
          "timedOut": false,
          "durationMs": 44,
          "stderrBytes": 395,
          "stdoutBytes": 0
        },
        "bytes": 1806,
        "files": 4,
        "entryBytes": 1067,
        "entryLines": 39
      },
      "warnings": [],
      "artifacts": [
        {
          "href": "https://reduce.api.williamrobinson.dev/v1/reduce/artifacts/0123456789abcdef0123456789abcdef0123456789abcdef/reduced.zip",
          "name": "reduced.zip",
          "sha256": "aa10eb1d670feaba930017330f4dc2460f84943e708024169f6407a8ed02b2c3",
          "mediaType": "application/zip",
          "sizeBytes": 781
        },
        {
          "href": "https://reduce.api.williamrobinson.dev/v1/reduce/artifacts/0123456789abcdef0123456789abcdef0123456789abcdef/entry.txt",
          "name": "entry.txt",
          "sha256": "0d48387beee96a0f9d104d8b43a968f5f072e20c12f58f29b4089a4c9a65a20c",
          "mediaType": "text/plain; charset=utf-8",
          "sizeBytes": 573
        },
        {
          "href": "https://reduce.api.williamrobinson.dev/v1/reduce/artifacts/0123456789abcdef0123456789abcdef0123456789abcdef/replay.sh",
          "name": "replay.sh",
          "sha256": "d03d747cb6abef5e32753f9ae3e557d528964975966f47cc2997f47be492db39",
          "mediaType": "text/x-shellscript; charset=utf-8",
          "sizeBytes": 551
        },
        {
          "href": "https://reduce.api.williamrobinson.dev/v1/reduce/artifacts/0123456789abcdef0123456789abcdef0123456789abcdef/runs.jsonl",
          "name": "runs.jsonl",
          "sha256": "31c14148efc3a0afadb4af5b11d98388299cecad1eefd8d04bee92cf85f36221",
          "mediaType": "application/x-ndjson",
          "sizeBytes": 41221
        },
        {
          "href": "https://reduce.api.williamrobinson.dev/v1/reduce/artifacts/0123456789abcdef0123456789abcdef0123456789abcdef/report.json",
          "name": "report.json",
          "sha256": "9696740bcb531213c19c3cae0bf48014aae88e5b56e7ee2d6b76d47a47b82901",
          "mediaType": "application/json",
          "sizeBytes": 2651
        }
      ],
      "expiresAt": "2026-09-12T05:11:08.482Z",
      "predicate": {
        "exitCode": 1,
        "stderrPattern": "ZeroDivisionError"
      },
      "truncated": false,
      "limitations": [
        "Reduction is heuristic delta-debugging, not a proof of minimality: the result is a local minimum under the fixed pass order listed in `passes`, never the provably smallest reproduction.",
        "Structure-aware chunk removal understands JSON, Python (indentation blocks), and JavaScript/TypeScript/C-like (statement splitting) syntax only; other languages get line- and token-level passes only.",
        "Identifier and semantic renaming are never attempted.",
        "The buyer's command runs once per candidate in a network-isolated, single-flight container; races, multi-process interactions, and environment-dependent flakiness beyond the two-run reproduction check cannot be captured.",
        "Compiled languages (C/C++/Rust build pipelines), multi-command builds, and parallel candidate execution are out of scope."
      ],
      "prunedFiles": [
        "README.md"
      ],
      "reductionRatio": 0.4629803186504217
    }
  }
}