ibex 0.2.0 → 0.4.0

data/schema/fix-v2.schema.json

@@ -0,0 +1,66 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/fix-v2.schema.json",
+  "title": "Ibex conflict repair report v2",
+  "type": "object",
+  "required": ["ibex_report", "schema_version", "result", "bounds"],
+  "properties": {
+    "ibex_report": { "const": "fix" },
+    "schema_version": { "const": 2 },
+    "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", "expectation_declaration", "recovery_quality"],
+      "additionalProperties": {
+        "type": "object",
+        "required": ["enumerated", "rejected", "safe"],
+        "properties": {
+          "enumerated": { "type": "integer", "minimum": 0 },
+          "rejected": { "type": "integer", "minimum": 0 },
+          "safe": { "type": "integer", "minimum": 0 }
+        },
+        "additionalProperties": false
+      }
+    },
+    "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." }
+  },
+  "$defs": {
+    "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": { "type": "string" },
+        "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/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/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/{grammar-ir-v2.schema.json → grammar-ir-extensions.schema.json}

@@ -1,8 +1,8 @@
 {
   "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/grammar-ir-v2.schema.json",
-  "title": "Ibex Grammar IR version 2",
-  "description": "The normalized grammar plus nullable provenance, documentation, expansion, and action-composition metadata.",
+  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/grammar-ir-extensions.schema.json",
+  "title": "Ibex Grammar IR shared metadata definitions",
+  "description": "Shared metadata definitions used by the current Grammar IR schema.",
   "type": "object",
   "required": [
     "ibex_ir",
@@ -17,8 +17,7 @@
     "user_code",
     "conversions",
     "warnings",
-    "source_provenance",
-    "migration"
+    "source_provenance"
   ],
   "properties": {
     "ibex_ir": {
@@ -105,15 +104,15 @@
       }
     },
     "user_code": {
-      "$ref": "grammar-ir-v1.schema.json#/$defs/string_map"
+      "$ref": "grammar-ir-foundation.schema.json#/$defs/string_map"
     },
     "conversions": {
-      "$ref": "grammar-ir-v1.schema.json#/$defs/string_map"
+      "$ref": "grammar-ir-foundation.schema.json#/$defs/string_map"
     },
     "warnings": {
       "type": "array",
       "items": {
-        "$ref": "grammar-ir-v1.schema.json#/$defs/warning"
+        "$ref": "grammar-ir-foundation.schema.json#/$defs/warning"
       }
     },
     "user_code_chunks": {
@@ -121,15 +120,12 @@
       "additionalProperties": {
         "type": "array",
         "items": {
-          "$ref": "grammar-ir-v1.schema.json#/$defs/user_code_chunk"
+          "$ref": "grammar-ir-foundation.schema.json#/$defs/user_code_chunk"
         }
       }
     },
     "source_provenance": {
       "$ref": "#/$defs/nullable_source_provenance"
-    },
-    "migration": {
-      "$ref": "#/$defs/nullable_migration"
     }
   },
   "additionalProperties": false,
@@ -174,7 +170,7 @@
           }
         },
         "loc": {
-          "$ref": "grammar-ir-v1.schema.json#/$defs/location"
+          "$ref": "grammar-ir-foundation.schema.json#/$defs/location"
         }
       },
       "additionalProperties": false
@@ -197,7 +193,7 @@
           "type": "string"
         },
         "loc": {
-          "$ref": "grammar-ir-v1.schema.json#/$defs/location"
+          "$ref": "grammar-ir-foundation.schema.json#/$defs/location"
         }
       },
       "additionalProperties": false
@@ -269,7 +265,7 @@
           "type": "string"
         },
         "loc": {
-          "$ref": "grammar-ir-v1.schema.json#/$defs/location"
+          "$ref": "grammar-ir-foundation.schema.json#/$defs/location"
         }
       },
       "additionalProperties": false
@@ -344,47 +340,6 @@
         }
       ]
     },
-    "migration": {
-      "type": "object",
-      "required": [
-        "from_schema_version",
-        "unavailable"
-      ],
-      "properties": {
-        "from_schema_version": {
-          "const": 1
-        },
-        "unavailable": {
-          "type": "array",
-          "minItems": 1,
-          "uniqueItems": true,
-          "items": {
-            "enum": [
-              "source_provenance",
-              "symbol_docs",
-              "production_docs",
-                "production_expansion",
-                "action_composition",
-                "grammar_tests",
-                "lexer",
-                "cst",
-                "ast_nodes"
-            ]
-          }
-        }
-      },
-      "additionalProperties": false
-    },
-    "nullable_migration": {
-      "oneOf": [
-        {
-          "$ref": "#/$defs/migration"
-        },
-        {
-          "type": "null"
-        }
-      ]
-    },
     "symbol": {
       "type": "object",
       "required": [
@@ -417,7 +372,7 @@
         "prec": {
           "oneOf": [
             {
-              "$ref": "grammar-ir-v1.schema.json#/$defs/precedence"
+              "$ref": "grammar-ir-foundation.schema.json#/$defs/precedence"
             },
             {
               "type": "null"
@@ -425,13 +380,13 @@
           ]
         },
         "loc": {
-          "$ref": "grammar-ir-v1.schema.json#/$defs/nullable_location"
+          "$ref": "grammar-ir-foundation.schema.json#/$defs/nullable_location"
         },
         "display_name": {
-          "$ref": "grammar-ir-v1.schema.json#/$defs/metadata"
+          "$ref": "grammar-ir-foundation.schema.json#/$defs/metadata"
         },
         "semantic_type": {
-          "$ref": "grammar-ir-v1.schema.json#/$defs/metadata"
+          "$ref": "grammar-ir-foundation.schema.json#/$defs/metadata"
         },
         "doc": {
           "$ref": "#/$defs/nullable_documentation"
@@ -596,12 +551,12 @@
           ]
         },
         "loc": {
-          "$ref": "grammar-ir-v1.schema.json#/$defs/location"
+          "$ref": "grammar-ir-foundation.schema.json#/$defs/location"
         },
         "named_refs": {
           "type": "array",
           "items": {
-            "$ref": "grammar-ir-v1.schema.json#/$defs/named_ref"
+            "$ref": "grammar-ir-foundation.schema.json#/$defs/named_ref"
           }
         },
         "context_length": {
@@ -690,12 +645,12 @@
           "type": "string"
         },
         "loc": {
-          "$ref": "grammar-ir-v1.schema.json#/$defs/location"
+          "$ref": "grammar-ir-foundation.schema.json#/$defs/location"
         },
         "named_refs": {
           "type": "array",
           "items": {
-            "$ref": "grammar-ir-v1.schema.json#/$defs/named_ref"
+            "$ref": "grammar-ir-foundation.schema.json#/$defs/named_ref"
           }
         },
         "context_length": {
@@ -754,7 +709,7 @@
           "minimum": 0
         },
         "origin": {
-          "$ref": "grammar-ir-v1.schema.json#/$defs/origin"
+          "$ref": "grammar-ir-foundation.schema.json#/$defs/origin"
         },
         "doc": {
           "$ref": "#/$defs/nullable_documentation"

data/schema/{grammar-ir-v1.schema.json → grammar-ir-foundation.schema.json}

@@ -1,8 +1,8 @@
 {
   "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/grammar-ir-v1.schema.json",
-  "title": "Ibex Grammar IR version 1",
-  "description": "The normalized grammar exchanged between Ibex frontend and analysis stages.",
+  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/grammar-ir-foundation.schema.json",
+  "title": "Ibex Grammar IR shared definitions",
+  "description": "Shared definitions used by the current Grammar IR schema.",
   "type": "object",
   "required": [
     "ibex_ir",