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/gap.fix.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/gap.fix.schema.json",
-  "title": "probatio gap.fix",
-  "description": "Records a gap as fixed, with the guard that now catches 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": "gap.fix"
-    },
-    "summary": {
-      "type": "string"
-    },
-    "next": {
-      "type": "string"
-    },
-    "nextCall": {
-      "oneOf": [
-        {
-          "type": "null"
-        },
-        {
-          "type": "object",
-          "properties": {
-            "argv": {
-              "type": "array",
-              "items": {
-                "type": "string"
-              }
-            }
-          },
-          "required": [
-            "argv"
-          ]
-        }
-      ]
-    }
-  }
-}

package/schemas/gap.revert.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/gap.revert.schema.json",
-  "title": "probatio gap.revert",
-  "description": "Reports a fixed gap that came back, naming the original fix and guard. 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": "gap.revert"
-    },
-    "summary": {
-      "type": "string"
-    },
-    "next": {
-      "type": "string"
-    },
-    "nextCall": {
-      "oneOf": [
-        {
-          "type": "null"
-        },
-        {
-          "type": "object",
-          "properties": {
-            "argv": {
-              "type": "array",
-              "items": {
-                "type": "string"
-              }
-            }
-          },
-          "required": [
-            "argv"
-          ]
-        }
-      ]
-    }
-  }
-}

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

@@ -1,89 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/IronAdamant/Probatio/blob/main/schemas/golden.check.schema.json",
-  "title": "probatio golden.check",
-  "description": "Compares a recorded golden table with a new one. Contract changes need a Golden-Change trailer. 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": "golden.check"
-    },
-    "summary": {
-      "type": "string"
-    },
-    "next": {
-      "type": "string"
-    },
-    "nextCall": {
-      "oneOf": [
-        {
-          "type": "null"
-        },
-        {
-          "type": "object",
-          "properties": {
-            "argv": {
-              "type": "array",
-              "items": {
-                "type": "string"
-              }
-            }
-          },
-          "required": [
-            "argv"
-          ]
-        }
-      ]
-    },
-    "wording": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      }
-    },
-    "contract": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      }
-    },
-    "invariant": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      }
-    },
-    "updated": {
-      "type": "boolean"
-    }
-  },
-  "if": {
-    "properties": {
-      "ok": {
-        "const": true
-      }
-    }
-  },
-  "then": {
-    "required": [
-      "wording",
-      "contract",
-      "invariant",
-      "updated"
-    ]
-  }
-}

package/schemas/golden.compare.schema.json DELETED Viewed

@@ -1,151 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/IronAdamant/Probatio/blob/main/schemas/golden.compare.schema.json",
-  "title": "probatio golden.compare",
-  "description": "Scores the same mutants with only the unit tests and with only the golden replay. Nothing is deleted. 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": "golden.compare"
-    },
-    "summary": {
-      "type": "string"
-    },
-    "next": {
-      "type": "string"
-    },
-    "nextCall": {
-      "oneOf": [
-        {
-          "type": "null"
-        },
-        {
-          "type": "object",
-          "properties": {
-            "argv": {
-              "type": "array",
-              "items": {
-                "type": "string"
-              }
-            }
-          },
-          "required": [
-            "argv"
-          ]
-        }
-      ]
-    },
-    "operators": {
-      "enum": [
-        "core",
-        "wide"
-      ]
-    },
-    "unitKills": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "goldenKills": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "both": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "unitOnly": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      }
-    },
-    "goldenOnly": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      }
-    },
-    "rest": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "unit": {
-      "type": "object",
-      "properties": {
-        "summary": {
-          "type": "string"
-        },
-        "full": {
-          "type": "string"
-        }
-      },
-      "required": [
-        "summary"
-      ]
-    },
-    "golden": {
-      "type": "object",
-      "properties": {
-        "summary": {
-          "type": "string"
-        },
-        "full": {
-          "type": "string"
-        }
-      },
-      "required": [
-        "summary"
-      ]
-    },
-    "pruning": {
-      "type": "object",
-      "properties": {
-        "mode": {
-          "const": "advisory"
-        },
-        "deletedTests": {
-          "const": 0
-        }
-      },
-      "required": [
-        "mode",
-        "deletedTests"
-      ]
-    }
-  },
-  "if": {
-    "properties": {
-      "ok": {
-        "const": true
-      }
-    }
-  },
-  "then": {
-    "required": [
-      "operators",
-      "unitKills",
-      "goldenKills",
-      "both",
-      "unitOnly",
-      "goldenOnly",
-      "rest",
-      "unit",
-      "golden",
-      "pruning"
-    ]
-  }
-}

package/schemas/golden.record.schema.json DELETED Viewed

@@ -1,126 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/IronAdamant/Probatio/blob/main/schemas/golden.record.schema.json",
-  "title": "probatio golden.record",
-  "description": "Records the calls the unit tests make into a golden table and a replay test. 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": "golden.record"
-    },
-    "summary": {
-      "type": "string"
-    },
-    "next": {
-      "type": "string"
-    },
-    "nextCall": {
-      "oneOf": [
-        {
-          "type": "null"
-        },
-        {
-          "type": "object",
-          "properties": {
-            "argv": {
-              "type": "array",
-              "items": {
-                "type": "string"
-              }
-            }
-          },
-          "required": [
-            "argv"
-          ]
-        }
-      ]
-    },
-    "rows": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "hidden": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "unstable": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "modules": {
-      "type": "array",
-      "items": {
-        "type": "object",
-        "properties": {
-          "module": {
-            "type": "string"
-          },
-          "rows": {
-            "type": "integer",
-            "minimum": 0
-          },
-          "hidden": {
-            "type": "integer",
-            "minimum": 0
-          },
-          "unstable": {
-            "type": "integer",
-            "minimum": 0
-          },
-          "functions": {
-            "type": "array",
-            "items": {
-              "type": "string"
-            }
-          }
-        },
-        "required": [
-          "module",
-          "rows",
-          "hidden",
-          "unstable"
-        ]
-      }
-    },
-    "written": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      }
-    },
-    "commit": {
-      "type": "string"
-    }
-  },
-  "if": {
-    "properties": {
-      "ok": {
-        "const": true
-      }
-    }
-  },
-  "then": {
-    "required": [
-      "rows",
-      "hidden",
-      "unstable",
-      "modules",
-      "written",
-      "commit"
-    ]
-  }
-}

package/schemas/guard.check.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/guard.check.schema.json",
-  "title": "probatio guard.check",
-  "description": "Refuses a guard change without a Guard-Change trailer. 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": "guard.check"
-    },
-    "summary": {
-      "type": "string"
-    },
-    "next": {
-      "type": "string"
-    },
-    "nextCall": {
-      "oneOf": [
-        {
-          "type": "null"
-        },
-        {
-          "type": "object",
-          "properties": {
-            "argv": {
-              "type": "array",
-              "items": {
-                "type": "string"
-              }
-            }
-          },
-          "required": [
-            "argv"
-          ]
-        }
-      ]
-    }
-  }
-}

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

@@ -1,132 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/IronAdamant/Probatio/blob/main/schemas/ledger.build.schema.json",
-  "title": "probatio ledger.build",
-  "description": "Reverts fix commits into forward patches: the project's own memory of fixed bugs. 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.build"
-    },
-    "summary": {
-      "type": "string"
-    },
-    "next": {
-      "type": "string"
-    },
-    "nextCall": {
-      "oneOf": [
-        {
-          "type": "null"
-        },
-        {
-          "type": "object",
-          "properties": {
-            "argv": {
-              "type": "array",
-              "items": {
-                "type": "string"
-              }
-            }
-          },
-          "required": [
-            "argv"
-          ]
-        }
-      ]
-    },
-    "clean": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "hand": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "handmade": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "skipped": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "handNeeded": {
-      "type": "array",
-      "items": {
-        "type": "object",
-        "properties": {
-          "id": {
-            "type": "string"
-          },
-          "commit": {
-            "type": "string"
-          },
-          "file": {
-            "type": "string"
-          },
-          "line": {
-            "type": "integer",
-            "minimum": 0
-          }
-        },
-        "required": [
-          "id",
-          "commit"
-        ]
-      }
-    },
-    "rest": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "commit": {
-      "type": "string"
-    },
-    "full": {
-      "type": "string"
-    },
-    "historyBudgetHit": {
-      "type": "boolean"
-    },
-    "commitsScanned": {
-      "type": "integer",
-      "minimum": 0
-    }
-  },
-  "if": {
-    "properties": {
-      "ok": {
-        "const": true
-      }
-    }
-  },
-  "then": {
-    "required": [
-      "clean",
-      "hand",
-      "handmade",
-      "skipped",
-      "handNeeded",
-      "rest",
-      "commit",
-      "full",
-      "historyBudgetHit",
-      "commitsScanned"
-    ]
-  }
-}