ibex 0.1.0 → 0.2.0

data/schema/benchmark-v2.schema.json

@@ -0,0 +1,61 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/benchmark-v2.schema.json",
+  "title": "Ibex benchmark artifact v2",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "artifact",
+    "schema_version",
+    "recorded_at",
+    "environment",
+    "configuration",
+    "measurements",
+    "structure",
+    "digests"
+  ],
+  "properties": {
+    "artifact": { "const": "ibex_benchmark" },
+    "schema_version": { "const": 2 },
+    "recorded_at": { "type": "string", "format": "date-time" },
+    "environment": { "$ref": "benchmark-v1.schema.json#/$defs/environment" },
+    "configuration": { "$ref": "benchmark-v1.schema.json#/$defs/configuration" },
+    "measurements": { "$ref": "benchmark-v1.schema.json#/$defs/measurements" },
+    "structure": { "$ref": "#/$defs/structure" },
+    "digests": { "$ref": "benchmark-v1.schema.json#/$defs/digests" }
+  },
+  "$defs": {
+    "structure": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "productions",
+        "construction_strategy",
+        "construction_intermediate_states",
+        "final_states",
+        "tables",
+        "generated_output_bytes"
+      ],
+      "properties": {
+        "productions": { "$ref": "benchmark-v1.schema.json#/$defs/nonNegativeInteger" },
+        "construction_strategy": {
+          "enum": ["direct_lalr", "canonical_merge", "canonical_lr1"]
+        },
+        "construction_intermediate_states": {
+          "$ref": "benchmark-v1.schema.json#/$defs/nonNegativeInteger"
+        },
+        "final_states": { "$ref": "benchmark-v1.schema.json#/$defs/nonNegativeInteger" },
+        "tables": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["plain", "compact"],
+          "properties": {
+            "plain": { "$ref": "benchmark-v1.schema.json#/$defs/table" },
+            "compact": { "$ref": "benchmark-v1.schema.json#/$defs/table" }
+          }
+        },
+        "generated_output_bytes": { "$ref": "benchmark-v1.schema.json#/$defs/variantSizes" }
+      }
+    }
+  }
+}

data/schema/cst-v1.json

@@ -0,0 +1,170 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/cst-v1.json",
+  "title": "Ibex concrete syntax tree v1",
+  "type": "object",
+  "required": [
+    "ibex_ir",
+    "schema_version",
+    "grammar_digest",
+    "table_format",
+    "state_count",
+    "production_count",
+    "trivia_policy",
+    "kinds",
+    "root",
+    "memo"
+  ],
+  "properties": {
+    "ibex_ir": { "const": "cst" },
+    "schema_version": { "const": 1 },
+    "grammar_digest": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$"
+    },
+    "table_format": { "type": "integer", "minimum": 1 },
+    "state_count": { "type": "integer", "minimum": 0 },
+    "production_count": { "type": "integer", "minimum": 0 },
+    "trivia_policy": {
+      "enum": ["leading", "balanced", "drop"]
+    },
+    "kinds": { "$ref": "#/$defs/kinds" },
+    "root": { "$ref": "#/$defs/node" },
+    "memo": {
+      "oneOf": [
+        { "type": "null" },
+        { "$ref": "#/$defs/memo" }
+      ]
+    }
+  },
+  "additionalProperties": false,
+  "$defs": {
+    "integerPair": {
+      "type": "array",
+      "prefixItems": [
+        { "type": "integer", "minimum": 0 },
+        { "type": "integer", "minimum": 0 }
+      ],
+      "items": false,
+      "minItems": 2,
+      "maxItems": 2
+    },
+    "integerMap": {
+      "type": "object",
+      "propertyNames": { "pattern": "^[0-9]+$" },
+      "additionalProperties": { "type": "integer", "minimum": 0 }
+    },
+    "kindMap": {
+      "type": "object",
+      "additionalProperties": { "type": "integer", "minimum": 0 }
+    },
+    "kinds": {
+      "type": "object",
+      "required": [
+        "names",
+        "terminal_range",
+        "nonterminal_range",
+        "named",
+        "named_nonterminals",
+        "trivia",
+        "synthetic"
+      ],
+      "properties": {
+        "names": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "terminal_range": { "$ref": "#/$defs/integerPair" },
+        "nonterminal_range": { "$ref": "#/$defs/integerPair" },
+        "named": { "$ref": "#/$defs/kindMap" },
+        "named_nonterminals": { "$ref": "#/$defs/integerMap" },
+        "trivia": { "$ref": "#/$defs/kindMap" },
+        "synthetic": { "$ref": "#/$defs/kindMap" }
+      },
+      "additionalProperties": false
+    },
+    "encodedBytes": {
+      "type": "object",
+      "required": ["b64"],
+      "properties": {
+        "b64": {
+          "type": "string",
+          "pattern": "^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==|[A-Za-z0-9+/]{3}=)?$"
+        }
+      },
+      "additionalProperties": false
+    },
+    "text": {
+      "oneOf": [
+        { "type": "string" },
+        { "$ref": "#/$defs/encodedBytes" }
+      ]
+    },
+    "trivia": {
+      "type": "array",
+      "prefixItems": [
+        { "type": "integer", "minimum": 0 },
+        { "$ref": "#/$defs/text" }
+      ],
+      "items": false,
+      "minItems": 2,
+      "maxItems": 2
+    },
+    "token": {
+      "type": "object",
+      "required": ["k", "f", "e", "t", "l", "r"],
+      "properties": {
+        "k": { "type": "integer", "minimum": 0 },
+        "f": { "type": "integer", "minimum": 0, "maximum": 63 },
+        "e": {
+          "type": ["integer", "null"],
+          "minimum": 0
+        },
+        "t": { "$ref": "#/$defs/text" },
+        "l": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/trivia" }
+        },
+        "r": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/trivia" }
+        }
+      },
+      "additionalProperties": false
+    },
+    "node": {
+      "type": "object",
+      "required": ["k", "f", "c"],
+      "properties": {
+        "k": { "type": "integer", "minimum": 0 },
+        "f": { "type": "integer", "minimum": 0, "maximum": 63 },
+        "c": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/element" }
+        }
+      },
+      "additionalProperties": false
+    },
+    "element": {
+      "oneOf": [
+        { "$ref": "#/$defs/node" },
+        { "$ref": "#/$defs/token" }
+      ]
+    },
+    "memo": {
+      "type": "object",
+      "required": ["version", "left_states"],
+      "properties": {
+        "version": { "const": 1 },
+        "left_states": {
+          "type": "array",
+          "items": {
+            "type": ["integer", "null"],
+            "minimum": 0
+          }
+        }
+      },
+      "additionalProperties": false
+    }
+  }
+}

data/schema/error-ux-v1.schema.json

@@ -0,0 +1,258 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/error-ux-v1.schema.json",
+  "title": "Ibex error UX evidence version 1",
+  "type": "object",
+  "required": [
+    "schema_version",
+    "ibex_grammar",
+    "racc_grammar",
+    "racc_version",
+    "sp4",
+    "cases"
+  ],
+  "properties": {
+    "schema_version": {
+      "const": 1
+    },
+    "ibex_grammar": {
+      "type": "string",
+      "minLength": 1
+    },
+    "racc_grammar": {
+      "type": "string",
+      "minLength": 1
+    },
+    "racc_version": {
+      "type": "string",
+      "minLength": 1
+    },
+    "sp4": {
+      "type": "object",
+      "required": [
+        "useful_repairs",
+        "total_cases",
+        "decision"
+      ],
+      "properties": {
+        "useful_repairs": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "total_cases": {
+          "const": 10
+        },
+        "decision": {
+          "enum": [
+            "go",
+            "no-go"
+          ]
+        }
+      },
+      "additionalProperties": false
+    },
+    "cases": {
+      "type": "array",
+      "minItems": 10,
+      "maxItems": 10,
+      "items": {
+        "$ref": "#/$defs/case"
+      }
+    }
+  },
+  "additionalProperties": false,
+  "$defs": {
+    "case": {
+      "type": "object",
+      "required": [
+        "id",
+        "input",
+        "ibex",
+        "racc",
+        "repair"
+      ],
+      "properties": {
+        "id": {
+          "type": "string",
+          "pattern": "^EUX-[0-9]{2}$"
+        },
+        "input": {
+          "type": "string"
+        },
+        "ibex": {
+          "$ref": "#/$defs/ibex_diagnostic"
+        },
+        "racc": {
+          "$ref": "#/$defs/racc_diagnostic"
+        },
+        "repair": {
+          "$ref": "#/$defs/repair"
+        }
+      },
+      "additionalProperties": false
+    },
+    "ibex_diagnostic": {
+      "type": "object",
+      "required": [
+        "status",
+        "message",
+        "token",
+        "expected",
+        "state",
+        "line",
+        "column",
+        "suggestions"
+      ],
+      "properties": {
+        "status": {
+          "const": "rejected"
+        },
+        "message": {
+          "type": "string",
+          "minLength": 1
+        },
+        "token": {
+          "type": "string",
+          "minLength": 1
+        },
+        "expected": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        },
+        "state": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "line": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "column": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "suggestions": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        }
+      },
+      "additionalProperties": false
+    },
+    "racc_diagnostic": {
+      "type": "object",
+      "required": [
+        "status",
+        "token",
+        "value",
+        "message"
+      ],
+      "properties": {
+        "status": {
+          "const": "rejected"
+        },
+        "token": {
+          "type": "integer"
+        },
+        "value": {},
+        "message": {
+          "type": "string",
+          "minLength": 1
+        }
+      },
+      "additionalProperties": false
+    },
+    "repair": {
+      "type": "object",
+      "required": [
+        "status",
+        "plan",
+        "useful",
+        "assessment"
+      ],
+      "properties": {
+        "status": {
+          "const": "repaired"
+        },
+        "plan": {
+          "$ref": "#/$defs/repair_plan"
+        },
+        "useful": {
+          "type": "boolean"
+        },
+        "assessment": {
+          "type": "string",
+          "minLength": 1
+        }
+      },
+      "additionalProperties": false
+    },
+    "repair_plan": {
+      "type": "object",
+      "required": [
+        "cost",
+        "configurations",
+        "edits"
+      ],
+      "properties": {
+        "cost": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "configurations": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "edits": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/repair_edit"
+          }
+        }
+      },
+      "additionalProperties": false
+    },
+    "repair_edit": {
+      "type": "object",
+      "required": [
+        "kind",
+        "position",
+        "token_id",
+        "token_name",
+        "cost"
+      ],
+      "properties": {
+        "kind": {
+          "enum": [
+            "insert",
+            "delete",
+            "replace"
+          ]
+        },
+        "position": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "token_id": {
+          "type": "integer"
+        },
+        "token_name": {
+          "type": "string",
+          "minLength": 1
+        },
+        "cost": {
+          "type": "integer",
+          "minimum": 1
+        }
+      },
+      "additionalProperties": false
+    }
+  }
+}