npm - probatio - Versions diffs - 0.3.0 → 0.5.1 - Mend

probatio 0.3.0 → 0.5.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (74) hide show

package/README.md +11 -197
package/bin/probatio.js +52 -0
package/package.json +22 -29
package/LICENSE +0 -21
package/dist/cli.js +0 -721
package/dist/contract.js +0 -32
package/dist/flags.js +0 -87
package/dist/golden/check.js +0 -188
package/dist/golden/record.js +0 -395
package/dist/golden/recorder.mjs +0 -78
package/dist/ledger/build.js +0 -348
package/dist/ledger/check.js +0 -133
package/dist/matrix/report.js +0 -256
package/dist/mcp.js +0 -188
package/dist/memory/state.js +0 -222
package/dist/mutate/affected.js +0 -173
package/dist/mutate/child-lines.mjs +0 -39
package/dist/mutate/coverage-map.js +0 -229
package/dist/mutate/csharp-coverage.js +0 -161
package/dist/mutate/fail-reporter.mjs +0 -65
package/dist/mutate/find.js +0 -13
package/dist/mutate/generate.js +0 -156
package/dist/mutate/go-coverage.js +0 -100
package/dist/mutate/ids.js +0 -22
package/dist/mutate/java-coverage.js +0 -217
package/dist/mutate/kill-label.js +0 -34
package/dist/mutate/load-failure.mjs +0 -40
package/dist/mutate/mocha-coverage.cjs +0 -77
package/dist/mutate/node-batch-loader.mjs +0 -99
package/dist/mutate/node-batch.mjs +0 -167
package/dist/mutate/node-coverage.mjs +0 -77
package/dist/mutate/operators.js +0 -181
package/dist/mutate/patch.js +0 -136
package/dist/mutate/precise-lines.mjs +0 -304
package/dist/mutate/probatio-jacoco-run.java +0 -516
package/dist/mutate/project-config.js +0 -58
package/dist/mutate/py-pytest-reporter.py +0 -145
package/dist/mutate/py-reporter.py +0 -79
package/dist/mutate/run.js +0 -1335
package/dist/mutate/rust-coverage.js +0 -144
package/dist/mutate/sealed.js +0 -118
package/dist/mutate/suite-decision.js +0 -130
package/dist/mutate/suites.js +0 -1524
package/dist/mutate/tally.js +0 -240
package/dist/mutate/text-operators.js +0 -637
package/dist/mutate/titles.js +0 -23
package/dist/node-version.js +0 -13
package/dist/swarm/check-kill.js +0 -114
package/dist/swarm/queue.js +0 -68
package/dist/verify/change.js +0 -340
package/schemas/check-kill.schema.json +0 -93
package/schemas/findings.add.schema.json +0 -53
package/schemas/gap.fix.schema.json +0 -53
package/schemas/gap.revert.schema.json +0 -53
package/schemas/golden.check.schema.json +0 -89
package/schemas/golden.compare.schema.json +0 -151
package/schemas/golden.record.schema.json +0 -126
package/schemas/guard.check.schema.json +0 -53
package/schemas/ledger.build.schema.json +0 -132
package/schemas/ledger.check.schema.json +0 -143
package/schemas/matrix.report.schema.json +0 -129
package/schemas/mcp.schema.json +0 -53
package/schemas/mutate.generate.schema.json +0 -127
package/schemas/mutate.help.schema.json +0 -53
package/schemas/mutate.run.schema.json +0 -272
package/schemas/mutate.sealed.schema.json +0 -53
package/schemas/mutate.tally.schema.json +0 -137
package/schemas/queue.claim.schema.json +0 -53
package/schemas/queue.reap.schema.json +0 -71
package/schemas/queue.seed.schema.json +0 -71
package/schemas/schema.schema.json +0 -74
package/schemas/seal.schema.json +0 -69
package/schemas/status.schema.json +0 -103
package/schemas/verify-change.schema.json +0 -222

package/schemas/ledger.check.schema.json DELETED Viewed

@@ -1,143 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/IronAdamant/Probatio/blob/main/schemas/ledger.check.schema.json",
-  "title": "probatio ledger.check",
-  "description": "Runs every ledger bug and compares each outcome with ledger/<id>.golden.json. A caught bug that is not caught now is a regression. Every command prints one JSON object. schemaVersion changes when a field is renamed, removed, or changes meaning. A new field does not change it.",
-  "type": "object",
-  "required": [
-    "schemaVersion",
-    "ok",
-    "command",
-    "summary",
-    "next",
-    "nextCall"
-  ],
-  "properties": {
-    "schemaVersion": {
-      "const": 2
-    },
-    "ok": {
-      "type": "boolean"
-    },
-    "command": {
-      "const": "ledger.check"
-    },
-    "summary": {
-      "type": "string"
-    },
-    "next": {
-      "type": "string"
-    },
-    "nextCall": {
-      "oneOf": [
-        {
-          "type": "null"
-        },
-        {
-          "type": "object",
-          "properties": {
-            "argv": {
-              "type": "array",
-              "items": {
-                "type": "string"
-              }
-            }
-          },
-          "required": [
-            "argv"
-          ]
-        }
-      ]
-    },
-    "caught": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "total": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "regressed": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      }
-    },
-    "changed": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      }
-    },
-    "unrecorded": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      }
-    },
-    "rows": {
-      "type": "array",
-      "items": {
-        "type": "object",
-        "properties": {
-          "id": {
-            "type": "string"
-          },
-          "recorded": {
-            "type": [
-              "string",
-              "null"
-            ]
-          },
-          "actual": {
-            "type": "string"
-          },
-          "next": {
-            "type": "string"
-          }
-        },
-        "required": [
-          "id",
-          "recorded",
-          "actual"
-        ]
-      }
-    },
-    "run": {
-      "type": "object",
-      "properties": {
-        "summary": {
-          "type": "string"
-        },
-        "commit": {
-          "type": "string"
-        },
-        "full": {
-          "type": "string"
-        }
-      },
-      "required": [
-        "summary",
-        "commit"
-      ]
-    }
-  },
-  "if": {
-    "properties": {
-      "ok": {
-        "const": true
-      }
-    }
-  },
-  "then": {
-    "required": [
-      "caught",
-      "total",
-      "regressed",
-      "changed",
-      "unrecorded",
-      "rows",
-      "run"
-    ]
-  }
-}

package/schemas/matrix.report.schema.json DELETED Viewed

@@ -1,129 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/IronAdamant/Probatio/blob/main/schemas/matrix.report.schema.json",
-  "title": "probatio matrix.report",
-  "description": "Reads recorded score tables. The headline is the gap list. Every command prints one JSON object. schemaVersion changes when a field is renamed, removed, or changes meaning. A new field does not change it.",
-  "type": "object",
-  "required": [
-    "schemaVersion",
-    "ok",
-    "command",
-    "summary",
-    "next",
-    "nextCall"
-  ],
-  "properties": {
-    "schemaVersion": {
-      "const": 2
-    },
-    "ok": {
-      "type": "boolean"
-    },
-    "command": {
-      "const": "matrix.report"
-    },
-    "summary": {
-      "type": "string"
-    },
-    "next": {
-      "type": "string"
-    },
-    "nextCall": {
-      "oneOf": [
-        {
-          "type": "null"
-        },
-        {
-          "type": "object",
-          "properties": {
-            "argv": {
-              "type": "array",
-              "items": {
-                "type": "string"
-              }
-            }
-          },
-          "required": [
-            "argv"
-          ]
-        }
-      ]
-    },
-    "rows": {
-      "type": "array"
-    },
-    "collapse": {
-      "type": "object"
-    },
-    "gaps": {
-      "type": "array",
-      "items": {
-        "type": "object",
-        "properties": {
-          "id": {
-            "type": "string"
-          },
-          "file": {
-            "type": "string"
-          },
-          "line": {
-            "type": "integer",
-            "minimum": 0
-          },
-          "op": {
-            "type": "string"
-          }
-        },
-        "required": [
-          "id",
-          "file",
-          "line"
-        ]
-      }
-    },
-    "rest": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "pruning": {
-      "type": "object",
-      "properties": {
-        "mode": {
-          "const": "advisory"
-        },
-        "deletedTests": {
-          "const": 0
-        },
-        "advice": {
-          "type": "array",
-          "items": {
-            "type": "string"
-          }
-        }
-      },
-      "required": [
-        "mode",
-        "deletedTests"
-      ]
-    },
-    "full": {
-      "type": "string"
-    }
-  },
-  "if": {
-    "properties": {
-      "ok": {
-        "const": true
-      }
-    }
-  },
-  "then": {
-    "required": [
-      "rows",
-      "gaps",
-      "rest",
-      "pruning",
-      "full"
-    ]
-  }
-}

package/schemas/mcp.schema.json DELETED Viewed

@@ -1,53 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/IronAdamant/Probatio/blob/main/schemas/mcp.schema.json",
-  "title": "probatio mcp",
-  "description": "Printed by the MCP server only when Node is too old to run it. Every command prints one JSON object. schemaVersion changes when a field is renamed, removed, or changes meaning. A new field does not change it.",
-  "type": "object",
-  "required": [
-    "schemaVersion",
-    "ok",
-    "command",
-    "summary",
-    "next",
-    "nextCall"
-  ],
-  "properties": {
-    "schemaVersion": {
-      "const": 2
-    },
-    "ok": {
-      "type": "boolean"
-    },
-    "command": {
-      "const": "mcp"
-    },
-    "summary": {
-      "type": "string"
-    },
-    "next": {
-      "type": "string"
-    },
-    "nextCall": {
-      "oneOf": [
-        {
-          "type": "null"
-        },
-        {
-          "type": "object",
-          "properties": {
-            "argv": {
-              "type": "array",
-              "items": {
-                "type": "string"
-              }
-            }
-          },
-          "required": [
-            "argv"
-          ]
-        }
-      ]
-    }
-  }
-}

package/schemas/mutate.generate.schema.json DELETED Viewed

@@ -1,127 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/IronAdamant/Probatio/blob/main/schemas/mutate.generate.schema.json",
-  "title": "probatio mutate.generate",
-  "description": "Writes operator mutants as forward patches. Strings and comments are never mutated. Every command prints one JSON object. schemaVersion changes when a field is renamed, removed, or changes meaning. A new field does not change it.",
-  "type": "object",
-  "required": [
-    "schemaVersion",
-    "ok",
-    "command",
-    "summary",
-    "next",
-    "nextCall"
-  ],
-  "properties": {
-    "schemaVersion": {
-      "const": 2
-    },
-    "ok": {
-      "type": "boolean"
-    },
-    "command": {
-      "const": "mutate.generate"
-    },
-    "summary": {
-      "type": "string"
-    },
-    "next": {
-      "type": "string"
-    },
-    "nextCall": {
-      "oneOf": [
-        {
-          "type": "null"
-        },
-        {
-          "type": "object",
-          "properties": {
-            "argv": {
-              "type": "array",
-              "items": {
-                "type": "string"
-              }
-            }
-          },
-          "required": [
-            "argv"
-          ]
-        }
-      ]
-    },
-    "mutantCount": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "operators": {
-      "enum": [
-        "core",
-        "wide"
-      ]
-    },
-    "stringLiteralMutants": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "filesVisited": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "budgetHit": {
-      "type": "boolean"
-    },
-    "mutants": {
-      "type": "array",
-      "items": {
-        "type": "object",
-        "properties": {
-          "id": {
-            "type": "string"
-          },
-          "file": {
-            "type": "string"
-          },
-          "line": {
-            "type": "integer",
-            "minimum": 0
-          },
-          "op": {
-            "type": "string"
-          }
-        },
-        "required": [
-          "id",
-          "file",
-          "line",
-          "op"
-        ]
-      }
-    },
-    "rest": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "full": {
-      "type": "string"
-    }
-  },
-  "if": {
-    "properties": {
-      "ok": {
-        "const": true
-      }
-    }
-  },
-  "then": {
-    "required": [
-      "mutantCount",
-      "operators",
-      "stringLiteralMutants",
-      "filesVisited",
-      "budgetHit",
-      "mutants",
-      "rest",
-      "full"
-    ]
-  }
-}

package/schemas/mutate.help.schema.json DELETED Viewed

@@ -1,53 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/IronAdamant/Probatio/blob/main/schemas/mutate.help.schema.json",
-  "title": "probatio mutate.help",
-  "description": "Usage, or a command that could not be parsed. Every command prints one JSON object. schemaVersion changes when a field is renamed, removed, or changes meaning. A new field does not change it.",
-  "type": "object",
-  "required": [
-    "schemaVersion",
-    "ok",
-    "command",
-    "summary",
-    "next",
-    "nextCall"
-  ],
-  "properties": {
-    "schemaVersion": {
-      "const": 2
-    },
-    "ok": {
-      "type": "boolean"
-    },
-    "command": {
-      "const": "mutate.help"
-    },
-    "summary": {
-      "type": "string"
-    },
-    "next": {
-      "type": "string"
-    },
-    "nextCall": {
-      "oneOf": [
-        {
-          "type": "null"
-        },
-        {
-          "type": "object",
-          "properties": {
-            "argv": {
-              "type": "array",
-              "items": {
-                "type": "string"
-              }
-            }
-          },
-          "required": [
-            "argv"
-          ]
-        }
-      ]
-    }
-  }
-}