Given a source bundle, entry file, command, and failure predicate (exit code and

Given a source bundle, entry file, command, and failure predicate (exit code and/or stdout/stderr patterns), runs a deterministic delta-debugging reducer in a network-isolated sandbox and returns the reduced bundle and entry that still reproduce the failure, plus a replay script and run log. Scoped to a local minimum under the passes listed, never a proof of global minimality.

Paid test badge: not yet. The checks above are free: we call the tool without paying and read the payment request it sends back. The Verified badge needs paid calls whose answers match the promised output, and nobody can buy a badge.

Endpoint

POST https://reduce.api.williamrobinson.dev/v1/reduce/minimize

Our checks, last 30 days

Example input (from the provider)

{
  "body": {
    "bundle": "UEsDBBQAAAAAAAAAIVwQVBcsKwQAACsEAAAHAAAAbWFpbi5weWltcG9ydCBqc29uCgpmcm9tIGhlbHBlciBpbXBvcnQgbm9ybWFsaXplLCB3ZWlnaHRlZF9hdmVyYWdlCgoKZGVmIGxvYWRfZGF0YShwYXRoPSJkYXRhLmpzb24iKToKICAgIHdpdGggb3BlbihwYXRoKSBhcyBoYW5kbGU6CiAgICAgICAgcmV0dXJuIGpzb24ubG9hZChoYW5kbGUpCgoKZGVmIGJ1aWxkX3JlcG9ydChkYXRhKToKICAgIHZhbHVlcyA9IGRhdGEuZ2V0KCJ2YWx1ZXMiLCBbXSkKICAgIHdlaWdodHMgPSBkYXRhLmdldCgid2VpZ2h0cyIsIFtdKQogICAgbm9ybWFsaXplZCA9IFtub3JtYWxpemUodmFsdWUpIGZvciB2YWx1ZSBpbiB2YWx1ZXNdCiAgICBhdmVyYWdlID0gd2VpZ2h0ZWRfYXZlcmFnZShub3JtYWxpemVkLCB3ZWlnaHRzKQogICAgcmV0dXJuIHsiY291bnQiOiBsZW4odmFsdWVzKSwgImF2ZXJhZ2UiOiBhdmVyYWdlfQoKCmRlZiBhcHBseV9mbGFncyhkYXRhLCByZXBvcnQpOgogICAgZmxhZ3MgPSBkYXRhLmdldCgiZmxhZ3MiLCBbXSkKICAgICMgQlVHOiBhbnkgbm9uLWVtcHR5IGZsYWcgbGlzdCBydW5zIGEgcGVyLWZsYWcgYWRqdXN0bWVudCBwYXNzIHRoYXQgZGl2aWRlcwogICAgIyB0aGUgcnVubmluZyBjb3VudCBieSB0aGUgZmxhZydzIG93biBpbmRleCAtIHRoZSBmaXJzdCBmbGFnJ3MgaW5kZXggaXMKICAgICMgYWx3YXlzIHplcm8sIHNvIGEgc2luZ2xlIGZsYWcgaXMgZW5vdWdoIHRvIGNyYXNoLiBBbiBlbXB0eSBmbGFnIGxpc3QKICAgICMgbmV2ZXIgcmVhY2hlcyB0aGUgZGl2aXNpb24gYW5kIG5ldmVyIGNyYXNoZXMuCiAgICBmb3IgaW5kZXgsIF9mbGFnIGluIGVudW1lcmF0ZShmbGFncyk6CiAgICAgICAgcmVwb3J0W2YiZmxhZ197aW5kZXh9Il0gPSByZXBvcnRbImNvdW50Il0gLyBpbmRleAogICAgcmV0dXJuIHJlcG9ydAoKCmRlZiBtYWluKCk6CiAgICBkYXRhID0gbG9hZF9kYXRhKCkKICAgIHJlcG9ydCA9IGJ1aWxkX3JlcG9ydChkYXRhKQogICAgcmVwb3J0ID0gYXBwbHlfZmxhZ3MoZGF0YSwgcmVwb3J0KQogICAgcHJpbnQoanNvbi5kdW1wcyhyZXBvcnQpKQoKCmlmIF9fbmFtZV9fID09ICJfX21haW5fXyI6CiAgICBtYWluKCkKUEsDBBQAAAAAAAAAIVz9qmy06gAAAOoAAAAJAAAAaGVscGVyLnB5ZGVmIG5vcm1hbGl6ZSh2YWx1ZSk6CiAgICByZXR1cm4gdmFsdWUgLyAxMC4wCgoKZGVmIHdlaWdodGVkX2F2ZXJhZ2UodmFsdWVzLCB3ZWlnaHRzKToKICAgIHRvdGFsX3dlaWdodCA9IHN1bSh3ZWlnaHRzKQogICAgaWYgdG90YWxfd2VpZ2h0ID09IDA6CiAgICAgICAgcmV0dXJuIDAuMAogICAgcmV0dXJuIHN1bSh2ICogdyBmb3IgdiwgdyBpbiB6aXAodmFsdWVzLCB3ZWlnaHRzKSkgLyB0b3RhbF93ZWlnaHQKUEsDBBQAAAAAAAAAIVxYWsf9UAAAAFAAAAAJAAAAZGF0YS5qc29uewogICJ2YWx1ZXMiOiBbNCwgOSwgMTYsIDI1XSwKICAid2VpZ2h0cyI6IFsyLCAzLCA0LCA1XSwKICAiZmxhZ3MiOiBbInJldHJ5Il0KfQpQSwMEFAAAAAAAAAAhXGvxLk6pAQAAqQEAAAkAAABSRUFETUUubWQjIFJlZHVjZWQtYnVuZGxlIGV4YW1wbGUKCmBtYWluLnB5YCBsb2FkcyBgZGF0YS5qc29uYCwgY29tcHV0ZXMgYSBub3JtYWxpemVkIHdlaWdodGVkLWF2ZXJhZ2UgcmVwb3J0IHZpYQpgaGVscGVyLnB5YCwgdGhlbiBhcHBsaWVzIGEgcGVyLWZsYWcgYWRqdXN0bWVudCBwYXNzLiBUaGUgYWRqdXN0bWVudCBwYXNzCmRpdmlkZXMgdGhlIHJ1bm5pbmcgY291bnQgYnkgZWFjaCBmbGFnJ3Mgb3duIGluZGV4OyB0aGUgZmlyc3QgZmxhZyBhbHdheXMgaGFzCmluZGV4IDAsIHNvIGFueSBub24tZW1wdHkgYGZsYWdzYCBsaXN0IGluIGBkYXRhLmpzb25gIGNyYXNoZXMgd2l0aApgWmVyb0RpdmlzaW9uRXJyb3I6IGRpdmlzaW9uIGJ5IHplcm9gLiBBbiBlbXB0eSBgZmxhZ3NgIGxpc3QgbmV2ZXIgcmVhY2hlcyB0aGUKZGl2aXNpb24gYW5kIGV4aXRzIDAuClBLAQIUAxQAAAAAAAAAIVwQVBcsKwQAACsEAAAHAAAAAAAAAAAAAACkgQAAAABtYWluLnB5UEsBAhQDFAAAAAAAAAAhXP2qbLTqAAAA6gAAAAkAAAAAAAAAAAAAAKSBUAQAAGhlbHBlci5weVBLAQIUAxQAAAAAAAAAIVxYWsf9UAAAAFAAAAAJAAAAAAAAAAAAAACkgWEFAABkYXRhLmpzb25QSwECFAMUAAAAAAAAACFca/EuTqkBAACpAQAACQAAAAAAAAAAAAAApIHYBQAAUkVBRE1FLm1kUEsFBgAAAAAEAAQA2gAAAKgHAAAAAA==",
    "command": [
      "python3",
      "main.py"
    ],
    "entry": "main.py",
    "language": "python",
    "maxRuns": 400,
    "predicate": {
      "exitCode": 1,
      "stderrPattern": "ZeroDivisionError"
    },
    "pruneFiles": true,
    "timeoutMs": 2000
  },
  "bodyType": "json",
  "method": "POST",
  "type": "http"
}

Promised output schema (from the provider)

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "properties": {
    "input": {
      "additionalProperties": false,
      "properties": {
        "body": {
          "$defs": {
            "predicate": {
              "additionalProperties": false,
              "anyOf": [
                {
                  "properties": {
                    "exitCode": true
                  },
                  "required": [
                    "exitCode"
                  ]
                },
                {
                  "properties": {
                    "stdoutPattern": true
                  },
                  "required": [
                    "stdoutPattern"
                  ]
                },
                {
                  "properties": {
                    "stderrPattern": true
                  },
                  "required": [
                    "stderrPattern"
                  ]
                },
                {
                  "properties": {
                    "timeoutIsFailure": true
                  },
                  "required": [
                    "timeoutIsFailure"
                  ]
                }
              ],
              "properties": {
                "exitCode": {
                  "description": "Exact exit code, or \"nonzero\" to match any non-zero code including signals and timeouts.",
                  "oneOf": [
                    {
                      "maximum": 255,
                      "minimum": 0,
                      "type": "integer"
                    },
                    {
                      "const": "nonzero"
                    }
                  ]
                },
                "stderrPattern": {
                  "description": "ECMAScript regular expression (compiled with the \"u\" flag) tested against the captured, capped stderr.",
                  "maxLength": 256,
                  "minLength": 1,
                  "type": "string"
                },
                "stdoutPattern": {
                  "description": "ECMAScript regular expression (compiled with the \"u\" flag) tested against the captured, capped stdout.",
                  "maxLength": 256,
                  "minLength": 1,
                  "type": "string"
                },
                "timeoutIsFailure": {
                  "description": "Treat a run that exceeds timeoutMs as satisfying the predicate.",
                  "type": "boolean"
                }
              },
              "type": "object"
            }
          },
          "$schema": "https://json-schema.org/draft/2020-12/schema",
          "additionalProperties": false,
          "properties": {
            "bundle": {
              "contentEncoding": "base64",
              "description": "Base64 .zip of the bundle: source files and inputs (<= 2097152 bytes decoded), no symlinks, no absolute paths, no \"..\" entries.",
              "maxLength": 2796204,
              "type": "string"
            },
            "command": {
              "description": "Command run from the bundle root; argv[0] must be one of node, python3, sh.",
              "items": {
                "maxLength": 512,
                "minLength": 1,
                "type": "string"
              },
              "maxItems": 16,
              "minItems": 1,
              "type": "array"
            },
            "entry": {
              "description": "Relative forward-slash path inside the bundle of the file to reduce textually (<= 524288 bytes, UTF-8 text).",
              "maxLength": 1024,
              "minLength": 1,
              "type": "string"
            },
            "language": {
              "default": "auto",
              "description": "Language hint for structure-aware passes; \"auto\" sniffs from the entry's extension.",
              "enum": [
                "auto",
                "text",
                "json",
                "javascript",
                "typescript",
                "python",
                "c-like"
              ],
              "type": "string"
            },
            "maxRuns": {
              "default": 400,
              "description": "Upper bound on candidate executions.",
              "maximum": 600,
              "minimum": 1,
              "type": "integer"
            },
            "predicate": {
              "$ref": "#/properties/input/properties/body/$defs/predicate"
            },
            "pruneFiles": {
              "default": true,
              "description": "Whether files other than the entry may be deleted when the failure survives without them.",
              "type": "boolean"
            },
            "timeoutMs": {
              "description": "Per-run wall-clock limit in milliseconds.",
              "maximum": 5000,
              "minimum": 100,
              "type": "integer"
            }
          },
          "required": [
            "bundle",
            "entry",
            "command",
            "predicate",
            "timeoutMs"
          ],
          "type": "object"
        },
        "bodyType": {
          "enum": [
            "json",
            "form-data",
            "text"
          ],
          "type": "string"
        },
        "method": {
          "enum": [
            "POST"
          ],
          "type": "string"
        },
        "type": {
          "const": "http",
          "type": "string"
        }
      },
      "required": [
        "type",
        "method",
        "bodyType",
        "body"
      ],
      "type": "object"
    },
    "output": {
      "properties": {
        "example": {
          "$defs": {
            "artifact": {
              "additionalProperties": false,
              "properties": {
                "href": {
                  "format": "uri",
                  "type": "string"
                },
                "mediaType": {
                  "type": "string"
                },
                "name": {
                  "e

This page as JSON