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

probatio 0.1.3 → 0.3.0

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 (55) hide show

package/README.md +93 -8
package/dist/cli.js +136 -6
package/dist/contract.js +2 -1
package/dist/golden/record.js +395 -0
package/dist/golden/recorder.mjs +78 -0
package/dist/ledger/build.js +21 -0
package/dist/ledger/check.js +133 -0
package/dist/mcp.js +76 -27
package/dist/mutate/child-lines.mjs +23 -18
package/dist/mutate/fail-reporter.mjs +21 -0
package/dist/mutate/find.js +3 -3
package/dist/mutate/generate.js +5 -2
package/dist/mutate/load-failure.mjs +40 -0
package/dist/mutate/mocha-coverage.cjs +7 -1
package/dist/mutate/node-batch-loader.mjs +15 -1
package/dist/mutate/node-batch.mjs +40 -3
package/dist/mutate/node-coverage.mjs +7 -32
package/dist/mutate/operators.js +60 -1
package/dist/mutate/patch.js +2 -1
package/dist/mutate/precise-lines.mjs +147 -31
package/dist/mutate/probatio-jacoco-run.java +2 -2
package/dist/mutate/project-config.js +58 -0
package/dist/mutate/run.js +100 -19
package/dist/mutate/sealed.js +54 -0
package/dist/mutate/suite-decision.js +2 -1
package/dist/mutate/suites.js +87 -155
package/dist/mutate/tally.js +54 -26
package/dist/mutate/text-operators.js +92 -2
package/dist/swarm/check-kill.js +14 -7
package/dist/verify/change.js +1 -1
package/package.json +8 -4
package/schemas/check-kill.schema.json +93 -0
package/schemas/findings.add.schema.json +53 -0
package/schemas/gap.fix.schema.json +53 -0
package/schemas/gap.revert.schema.json +53 -0
package/schemas/golden.check.schema.json +89 -0
package/schemas/golden.compare.schema.json +151 -0
package/schemas/golden.record.schema.json +126 -0
package/schemas/guard.check.schema.json +53 -0
package/schemas/ledger.build.schema.json +132 -0
package/schemas/ledger.check.schema.json +143 -0
package/schemas/matrix.report.schema.json +129 -0
package/schemas/mcp.schema.json +53 -0
package/schemas/mutate.generate.schema.json +127 -0
package/schemas/mutate.help.schema.json +53 -0
package/schemas/mutate.run.schema.json +272 -0
package/schemas/mutate.sealed.schema.json +53 -0
package/schemas/mutate.tally.schema.json +137 -0
package/schemas/queue.claim.schema.json +53 -0
package/schemas/queue.reap.schema.json +71 -0
package/schemas/queue.seed.schema.json +71 -0
package/schemas/schema.schema.json +74 -0
package/schemas/seal.schema.json +69 -0
package/schemas/status.schema.json +103 -0
package/schemas/verify-change.schema.json +222 -0

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

@@ -0,0 +1,126 @@
+{
+  "$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 ADDED Viewed

@@ -0,0 +1,53 @@
+{
+  "$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 ADDED Viewed

@@ -0,0 +1,132 @@
+{
+  "$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"
+    ]
+  }
+}

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

@@ -0,0 +1,143 @@
+{
+  "$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 ADDED Viewed

@@ -0,0 +1,129 @@
+{
+  "$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 ADDED Viewed

@@ -0,0 +1,53 @@
+{
+  "$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"
+          ]
+        }
+      ]
+    }
+  }
+}