ibex 0.1.0 → 0.3.0

data/schema/fix-v3.schema.json

@@ -0,0 +1,101 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/fix-v3.schema.json",
+  "title": "Ibex conflict repair report v3",
+  "type": "object",
+  "required": ["ibex_report", "schema_version", "result", "bounds"],
+  "properties": {
+    "ibex_report": { "const": "fix" },
+    "schema_version": { "const": 3 },
+    "result": { "enum": ["proposals_found", "no_safe_proposal", "budget_exhausted"] },
+    "phase": { "type": "string" },
+    "target": { "type": "object" },
+    "candidate_space": {
+      "type": "object",
+      "required": ["precedence_declaration", "precedence_override", "algorithm_change", "mechanical_rewrite"],
+      "properties": {
+        "precedence_declaration": { "$ref": "#/$defs/candidate_count" },
+        "precedence_override": { "$ref": "#/$defs/candidate_count" },
+        "algorithm_change": { "$ref": "#/$defs/candidate_count" },
+        "mechanical_rewrite": { "$ref": "#/$defs/candidate_count" }
+      },
+      "additionalProperties": false
+    },
+    "advice": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/advice" }
+    },
+    "proposals": { "type": "array", "items": { "$ref": "#/$defs/proposal" } },
+    "rejections": { "type": "array", "items": { "type": "object" } },
+    "applied": { "type": "string", "pattern": "^FX[0-9]{3}$" },
+    "enumerated_candidates": { "type": "integer", "minimum": 0 },
+    "bounds": {
+      "type": "object",
+      "required": ["max_candidates", "max_builds", "equiv_samples", "equiv_max_tokens", "equiv_max_configurations", "verify_max_states", "verify_max_items"],
+      "properties": {
+        "max_candidates": { "type": "integer", "minimum": 1 },
+        "max_builds": { "type": "integer", "minimum": 1 },
+        "equiv_samples": { "type": "integer", "minimum": 1 },
+        "equiv_max_tokens": { "type": "integer", "minimum": 1 },
+        "equiv_max_configurations": { "type": "integer", "minimum": 1 },
+        "verify_max_states": { "type": "integer", "minimum": 1 },
+        "verify_max_items": { "type": "integer", "minimum": 1 }
+      },
+      "additionalProperties": false
+    },
+    "statement": { "const": "Bounded search is not a proof of equivalence." }
+  },
+  "allOf": [
+    {
+      "if": {
+        "properties": {
+          "result": { "enum": ["proposals_found", "no_safe_proposal"] }
+        }
+      },
+      "then": {
+        "required": ["target", "candidate_space", "advice", "proposals", "rejections", "statement"]
+      }
+    }
+  ],
+  "$defs": {
+    "candidate_count": {
+      "type": "object",
+      "required": ["enumerated", "rejected", "safe"],
+      "properties": {
+        "enumerated": { "type": "integer", "minimum": 0 },
+        "rejected": { "type": "integer", "minimum": 0 },
+        "safe": { "type": "integer", "minimum": 0 }
+      },
+      "additionalProperties": false
+    },
+    "advice": {
+      "type": "object",
+      "required": ["category", "description", "source_change", "unified_diff", "statement"],
+      "properties": {
+        "category": { "enum": ["expectation_declaration", "recovery_quality"] },
+        "description": { "type": "string" },
+        "source_change": { "type": "boolean" },
+        "unified_diff": { "type": ["string", "null"] },
+        "statement": { "const": "Advice does not eliminate the selected conflict and is not a verified repair." }
+      },
+      "additionalProperties": false
+    },
+    "proposal": {
+      "type": "object",
+      "required": ["id", "category", "description", "algorithm", "applyable", "unified_diff", "eliminates", "equivalence", "side_effects"],
+      "properties": {
+        "id": { "type": "string", "pattern": "^FX[0-9]{3}$" },
+        "category": { "enum": ["precedence_declaration", "precedence_override", "algorithm_change", "mechanical_rewrite"] },
+        "description": { "type": "string" },
+        "algorithm": { "enum": ["slr", "lalr", "ielr", "lr1"] },
+        "applyable": { "type": "boolean" },
+        "unified_diff": { "type": ["string", "null"] },
+        "eliminates": { "type": "array", "items": { "type": "string" } },
+        "equivalence": { "type": "object" },
+        "side_effects": { "type": "object" }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}

data/schema/frontend-diagnostics-v1.schema.json

@@ -0,0 +1,154 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/ydah/ibex/schema/frontend-diagnostics-v1.schema.json",
+  "title": "Ibex frontend diagnostics v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "ibex_diagnostics",
+    "schema_version",
+    "success",
+    "ast_available",
+    "diagnostics"
+  ],
+  "properties": {
+    "ibex_diagnostics": {
+      "const": "frontend"
+    },
+    "schema_version": {
+      "const": 1
+    },
+    "success": {
+      "type": "boolean"
+    },
+    "ast_available": {
+      "type": "boolean"
+    },
+    "diagnostics": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/diagnostic"
+      }
+    }
+  },
+  "$defs": {
+    "position": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "byte_offset",
+        "line",
+        "column"
+      ],
+      "properties": {
+        "byte_offset": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "line": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "column": {
+          "type": "integer",
+          "minimum": 1
+        }
+      }
+    },
+    "location": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "file",
+        "line",
+        "column"
+      ],
+      "properties": {
+        "file": {
+          "type": "string"
+        },
+        "line": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "column": {
+          "type": "integer",
+          "minimum": 1
+        }
+      }
+    },
+    "span": {
+      "type": [
+        "object",
+        "null"
+      ],
+      "additionalProperties": false,
+      "required": [
+        "file",
+        "start",
+        "end"
+      ],
+      "properties": {
+        "file": {
+          "type": "string"
+        },
+        "start": {
+          "$ref": "#/$defs/position"
+        },
+        "end": {
+          "$ref": "#/$defs/position"
+        }
+      }
+    },
+    "diagnostic": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "code",
+        "severity",
+        "phase",
+        "message",
+        "location",
+        "span",
+        "expected",
+        "received"
+      ],
+      "properties": {
+        "code": {
+          "type": "string",
+          "minLength": 1
+        },
+        "severity": {
+          "const": "error"
+        },
+        "phase": {
+          "enum": [
+            "lexical",
+            "syntax"
+          ]
+        },
+        "message": {
+          "type": "string"
+        },
+        "location": {
+          "$ref": "#/$defs/location"
+        },
+        "span": {
+          "$ref": "#/$defs/span"
+        },
+        "expected": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "received": {
+          "type": [
+            "string",
+            "null"
+          ]
+        }
+      }
+    }
+  }
+}

data/schema/fuzz-regression-v1.schema.json

@@ -0,0 +1,79 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/fuzz-regression-v1.schema.json",
+  "title": "Ibex minimized fuzz regression v1",
+  "type": "object",
+  "required": [
+    "ibex_report",
+    "schema_version",
+    "grammar",
+    "seed",
+    "kind",
+    "sentence",
+    "algorithms",
+    "original_tokens",
+    "minimized_tokens",
+    "bounds",
+    "reduction"
+  ],
+  "properties": {
+    "ibex_report": { "const": "fuzz-regression" },
+    "schema_version": { "const": 1 },
+    "grammar": { "type": "string", "minLength": 1 },
+    "seed": { "type": "integer" },
+    "kind": { "enum": ["generated", "mutation"] },
+    "sentence": { "type": "integer", "minimum": 0 },
+    "algorithms": {
+      "type": "array",
+      "minItems": 1,
+      "uniqueItems": true,
+      "items": { "enum": ["slr", "lalr", "ielr", "lr1"] }
+    },
+    "original_tokens": {
+      "type": "array",
+      "items": { "type": "string" }
+    },
+    "minimized_tokens": {
+      "type": "array",
+      "items": { "type": "string" }
+    },
+    "bounds": {
+      "type": "object",
+      "required": ["max_actions", "max_stack"],
+      "properties": {
+        "max_actions": { "type": "integer", "minimum": 1 },
+        "max_stack": { "type": "integer", "minimum": 1 }
+      },
+      "additionalProperties": false
+    },
+    "reduction": {
+      "type": "object",
+      "required": ["original_size", "minimized_size", "trials", "complete"],
+      "properties": {
+        "original_size": { "type": "integer", "minimum": 0 },
+        "minimized_size": { "type": "integer", "minimum": 0 },
+        "trials": { "type": "integer", "minimum": 1 },
+        "complete": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    },
+    "external": {
+      "type": "object",
+      "required": [
+        "command", "target_runtime", "timeout_seconds", "max_output_bytes",
+        "host_ruby_engine", "host_ruby_version", "host_platform"
+      ],
+      "properties": {
+        "command": { "type": "string", "minLength": 1 },
+        "target_runtime": { "type": "string", "minLength": 1 },
+        "timeout_seconds": { "type": "integer", "minimum": 1 },
+        "max_output_bytes": { "type": "integer", "minimum": 1 },
+        "host_ruby_engine": { "type": "string", "minLength": 1 },
+        "host_ruby_version": { "type": "string", "minLength": 1 },
+        "host_platform": { "type": "string", "minLength": 1 }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}

data/schema/fuzz-v1.schema.json

@@ -0,0 +1,114 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/fuzz-v1.schema.json",
+  "title": "Ibex fuzz report v1",
+  "type": "object",
+  "required": ["ibex_report", "schema_version", "result"],
+  "properties": {
+    "ibex_report": { "const": "fuzz" },
+    "schema_version": { "const": 1 },
+    "seed": { "type": "integer" },
+    "bounds": { "type": "object" },
+    "strategy": { "enum": ["random", "coverage"] },
+    "path_length": { "enum": [1, 2] },
+    "ielr_strategy": { "enum": ["partition", "direct"] },
+    "algorithms": { "type": "array", "items": { "type": "string" } },
+    "generated_sentences": { "type": "integer", "minimum": 0 },
+    "mutated_sentences": { "type": "integer", "minimum": 0 },
+    "result": { "enum": ["no_difference_within_bounds", "difference", "budget_exhausted"] },
+    "mismatch": {
+      "type": "object",
+      "required": [
+        "tokens", "kind", "sentence", "outcomes", "bounds",
+        "minimized_tokens", "reduction"
+      ],
+      "properties": {
+        "tokens": { "type": "array", "items": { "type": "string" } },
+        "kind": { "enum": ["generated", "mutation"] },
+        "sentence": { "type": "integer", "minimum": 0 },
+        "outcomes": { "type": "object", "minProperties": 1 },
+        "bounds": { "type": "object" },
+        "minimized_tokens": {
+          "type": "array", "items": { "type": "string" }
+        },
+        "reduction": {
+          "type": "object",
+          "required": [
+            "original_size", "minimized_size", "trials", "complete"
+          ],
+          "properties": {
+            "original_size": { "type": "integer", "minimum": 0 },
+            "minimized_size": { "type": "integer", "minimum": 0 },
+            "trials": { "type": "integer", "minimum": 1 },
+            "complete": { "type": "boolean" }
+          },
+          "additionalProperties": false
+        },
+        "regression": {
+          "type": "object",
+          "required": ["path", "sha256"],
+          "properties": {
+            "path": { "type": "string", "minLength": 1 },
+            "sha256": { "type": "string", "pattern": "^[0-9a-f]{64}$" }
+          },
+          "additionalProperties": false
+        }
+      },
+      "additionalProperties": false
+    },
+    "budget": {
+      "type": "object",
+      "required": ["message", "bounds", "phase"],
+      "properties": {
+        "message": { "type": "string", "minLength": 1 },
+        "bounds": { "type": "object" },
+        "tokens": { "type": "array", "items": { "type": "string" } },
+        "phase": { "enum": ["comparison", "reduction"] }
+      },
+      "additionalProperties": false
+    },
+    "external": {
+      "type": "object",
+      "required": [
+        "command", "target_runtime", "timeout_seconds", "max_output_bytes",
+        "host_ruby_engine", "host_ruby_version", "host_platform"
+      ],
+      "properties": {
+        "command": { "type": "string", "minLength": 1 },
+        "target_runtime": { "type": "string", "minLength": 1 },
+        "timeout_seconds": { "type": "integer", "minimum": 1 },
+        "max_output_bytes": { "type": "integer", "minimum": 1 },
+        "host_ruby_engine": { "type": "string", "minLength": 1 },
+        "host_ruby_version": { "type": "string", "minLength": 1 },
+        "host_platform": { "type": "string", "minLength": 1 }
+      },
+      "additionalProperties": false
+    }
+  },
+  "allOf": [
+    {
+      "if": {
+        "properties": {
+          "result": { "const": "no_difference_within_bounds" }
+        }
+      },
+      "then": {
+        "required": [
+          "seed", "bounds", "strategy", "path_length", "algorithms",
+          "generated_sentences", "mutated_sentences"
+        ]
+      }
+    },
+    {
+      "if": { "properties": { "result": { "const": "difference" } } },
+      "then": { "required": ["mismatch"] }
+    },
+    {
+      "if": {
+        "properties": { "result": { "const": "budget_exhausted" } }
+      },
+      "then": { "required": ["budget"] }
+    }
+  ],
+  "additionalProperties": false
+}

data/schema/generation-manifest-v1.schema.json

@@ -0,0 +1,115 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/generation-manifest-v1.schema.json",
+  "title": "Ibex generation manifest v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "ibex_manifest",
+    "schema_version",
+    "input",
+    "options",
+    "artifacts"
+  ],
+  "properties": {
+    "ibex_manifest": {
+      "const": "generation"
+    },
+    "schema_version": {
+      "const": 1
+    },
+    "input": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "root",
+        "sha256",
+        "files"
+      ],
+      "properties": {
+        "root": {
+          "type": "string",
+          "minLength": 1,
+          "pattern": "^[^\\u0000-\\u001f\\u007f]+$"
+        },
+        "sha256": {
+          "$ref": "#/$defs/sha256"
+        },
+        "files": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/file"
+          }
+        }
+      }
+    },
+    "options": {
+      "type": "object"
+    },
+    "artifacts": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "$ref": "#/$defs/artifact"
+      }
+    }
+  },
+  "$defs": {
+    "sha256": {
+      "type": "string",
+      "pattern": "^[0-9a-f]{64}$"
+    },
+    "file": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "path",
+        "sha256",
+        "bytesize"
+      ],
+      "properties": {
+        "path": {
+          "type": "string",
+          "minLength": 1,
+          "pattern": "^[^\\u0000-\\u001f\\u007f]+$"
+        },
+        "sha256": {
+          "$ref": "#/$defs/sha256"
+        },
+        "bytesize": {
+          "type": "integer",
+          "minimum": 0
+        }
+      }
+    },
+    "artifact": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "kind",
+        "path",
+        "sha256",
+        "bytesize"
+      ],
+      "properties": {
+        "kind": {
+          "type": "string",
+          "minLength": 1
+        },
+        "path": {
+          "type": "string",
+          "minLength": 1,
+          "pattern": "^[^\\u0000-\\u001f\\u007f]+$"
+        },
+        "sha256": {
+          "$ref": "#/$defs/sha256"
+        },
+        "bytesize": {
+          "type": "integer",
+          "minimum": 0
+        }
+      }
+    }
+  }
+}