ibex 0.1.0 → 0.3.0

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/diff-v1.schema.json

@@ -0,0 +1,41 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/diff-v1.schema.json",
+  "title": "Ibex grammar difference report v1",
+  "type": "object",
+  "required": ["ibex_report", "schema_version", "symbols", "rules", "conflicts", "warnings", "metrics"],
+  "properties": {
+    "ibex_report": { "const": "diff" },
+    "schema_version": { "const": 1 },
+    "symbols": { "$ref": "#/$defs/classification" },
+    "rules": { "$ref": "#/$defs/classification" },
+    "conflicts": { "$ref": "#/$defs/classification" },
+    "warnings": { "$ref": "#/$defs/classification" },
+    "metrics": {
+      "type": "object",
+      "additionalProperties": {
+        "type": "object",
+        "required": ["before", "after", "delta"],
+        "properties": {
+          "before": { "type": "integer", "minimum": 0 },
+          "after": { "type": "integer", "minimum": 0 },
+          "delta": { "type": "integer" }
+        },
+        "additionalProperties": false
+      }
+    }
+  },
+  "$defs": {
+    "classification": {
+      "type": "object",
+      "required": ["added", "removed", "changed"],
+      "properties": {
+        "added": { "type": "array", "items": { "type": "object" } },
+        "removed": { "type": "array", "items": { "type": "object" } },
+        "changed": { "type": "array", "items": { "type": "object" } }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}

data/schema/direct-ielr-decision-v1.schema.json

@@ -0,0 +1,200 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/direct-ielr-decision-v1.schema.json",
+  "title": "Ibex direct IELR decision dossier v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "ibex_decision", "schema_version", "work_order", "decision", "follow_on",
+    "policy", "observations", "verification_gaps", "reconsideration_triggers",
+    "legal_provenance", "evidence_identity"
+  ],
+  "properties": {
+    "ibex_decision": { "const": "direct_ielr" },
+    "schema_version": { "const": 1 },
+    "work_order": { "const": "I001" },
+    "decision": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["value", "status", "basis", "review_state", "date", "revision", "revision_role"],
+      "properties": {
+        "value": { "const": "NO-GO" },
+        "status": { "const": "final_no_go" },
+        "basis": { "const": "repository_evidence" },
+        "review_state": { "const": "validated" },
+        "date": { "type": "string", "format": "date" },
+        "revision": { "$ref": "#/$defs/git_revision" },
+        "revision_role": {
+          "const": "reviewed repository evidence immediately before dossier publication"
+        }
+      }
+    },
+    "follow_on": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["direct_ielr_implementation_authorized", "i002_authorized"],
+      "properties": {
+        "direct_ielr_implementation_authorized": { "const": false },
+        "i002_authorized": { "const": false }
+      }
+    },
+    "policy": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["go_rule", "go_conditions", "no_go_rule", "no_go_conditions"],
+      "properties": {
+        "go_rule": { "const": "all_conditions_required" },
+        "go_conditions": {
+          "type": "array",
+          "minItems": 5,
+          "maxItems": 5,
+          "items": { "$ref": "#/$defs/condition" }
+        },
+        "no_go_rule": { "const": "any_condition_sufficient" },
+        "no_go_conditions": {
+          "type": "array",
+          "minItems": 5,
+          "maxItems": 5,
+          "items": { "$ref": "#/$defs/condition" }
+        }
+      }
+    },
+    "observations": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "measured_real_grammars", "verified_public_checkouts",
+        "real_ielr_required_workloads", "semantically_reviewed_conflict_removals",
+        "current_real_workload", "canonical_scale_cost"
+      ],
+      "properties": {
+        "measured_real_grammars": { "const": 1 },
+        "verified_public_checkouts": { "const": 0 },
+        "real_ielr_required_workloads": { "const": 0 },
+        "semantically_reviewed_conflict_removals": { "const": 0 },
+        "current_real_workload": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "id", "lr0_states", "lr0_items", "canonical_states",
+            "canonical_items", "final_states", "unresolved_ielr_conflicts"
+          ],
+          "properties": {
+            "id": { "const": "ibex-frontend" },
+            "lr0_states": { "const": 227 },
+            "lr0_items": { "const": 633 },
+            "canonical_states": { "const": 456 },
+            "canonical_items": { "const": 10482 },
+            "final_states": { "const": 227 },
+            "unresolved_ielr_conflicts": { "const": 0 }
+          }
+        },
+        "canonical_scale_cost": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["status", "current_verified_workflow", "observed_exhaustions", "scope"],
+          "properties": {
+            "status": { "const": "unresolved" },
+            "current_verified_workflow": {
+              "const": "default_and_strict_ielr1_verification_enumerate_full_canonical_lr1"
+            },
+            "observed_exhaustions": { "const": 0 },
+            "scope": {
+              "const": "completion is established only for the one measured real grammar; no general scale bound is claimed"
+            }
+          }
+        }
+      }
+    },
+    "verification_gaps": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["ielr_adequacy", "split_witnesses", "conflict_preservation"],
+      "properties": {
+        "ielr_adequacy": { "const": "not_verified" },
+        "split_witnesses": { "const": "not_verified" },
+        "conflict_preservation": { "const": "not_verified" }
+      }
+    },
+    "reconsideration_triggers": {
+      "type": "array",
+      "minItems": 6,
+      "maxItems": 6,
+      "items": { "$ref": "#/$defs/trigger" }
+    },
+    "legal_provenance": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "design_lineage", "permitted_design_inputs", "gpl_implementation_source_used",
+        "gpl_implementation_source_translated", "rule"
+      ],
+      "properties": {
+        "design_lineage": { "const": "independent_design_from_papers_and_specifications" },
+        "permitted_design_inputs": {
+          "const": ["papers", "specifications"]
+        },
+        "gpl_implementation_source_used": { "const": false },
+        "gpl_implementation_source_translated": { "const": false },
+        "rule": {
+          "const": "future direct IELR design must remain independent; GPL implementation source must not be inspected or translated"
+        }
+      }
+    },
+    "evidence_identity": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "profile_capture_base_revision", "profile_bound_paths_sha256",
+        "profile_implementation_sha256", "v001_revision", "sources", "sources_sha256"
+      ],
+      "properties": {
+        "profile_capture_base_revision": { "$ref": "#/$defs/git_revision" },
+        "profile_bound_paths_sha256": { "$ref": "#/$defs/sha256" },
+        "profile_implementation_sha256": { "$ref": "#/$defs/sha256" },
+        "v001_revision": { "$ref": "#/$defs/git_revision" },
+        "sources": {
+          "type": "array",
+          "minItems": 6,
+          "maxItems": 6,
+          "items": { "$ref": "#/$defs/source" }
+        },
+        "sources_sha256": { "$ref": "#/$defs/sha256" }
+      }
+    }
+  },
+  "$defs": {
+    "git_revision": { "type": "string", "pattern": "^[0-9a-f]{40}$" },
+    "sha256": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+    "condition": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "status", "observed"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "status": { "enum": ["satisfied", "not_satisfied", "not_assessable"] },
+        "observed": { "type": "string", "minLength": 1 }
+      }
+    },
+    "trigger": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "required_evidence"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "required_evidence": { "type": "string", "minLength": 1 }
+      }
+    },
+    "source": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "path", "sha256", "role"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "path": { "type": "string", "pattern": "^[^/]([^\\0]*[^/])?$" },
+        "sha256": { "$ref": "#/$defs/sha256" },
+        "role": { "type": "string", "minLength": 1 }
+      }
+    }
+  }
+}

data/schema/equiv-v1.schema.json

@@ -0,0 +1,64 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/equiv-v1.schema.json",
+  "title": "Ibex bounded equivalence report v1",
+  "type": "object",
+  "required": ["ibex_report", "schema_version", "result", "bounds", "statement"],
+  "properties": {
+    "ibex_report": { "const": "equiv" },
+    "schema_version": { "const": 1 },
+    "result": { "enum": ["no_difference_within_bounds", "difference", "budget_exhausted"] },
+    "structural_identity": { "type": "boolean" },
+    "methods": { "type": "array", "items": { "type": "string" }, "uniqueItems": true },
+    "method": { "type": "string" },
+    "difference_kind": { "enum": ["language", "tree"] },
+    "rule_map": { "type": "object", "additionalProperties": { "type": "string" } },
+    "tree": {
+      "type": "object",
+      "required": ["requested", "result"],
+      "properties": {
+        "requested": { "type": "boolean" },
+        "result": { "enum": ["not_checked", "no_difference_within_bounds"] }
+      },
+      "additionalProperties": false
+    },
+    "checked": {
+      "type": "object",
+      "required": ["samples", "product_configurations"],
+      "properties": {
+        "samples": { "type": "integer", "minimum": 0 },
+        "product_configurations": { "type": "integer", "minimum": 0 }
+      },
+      "additionalProperties": false
+    },
+    "checked_configurations": { "type": "integer", "minimum": 0 },
+    "witness": { "type": "array", "items": { "type": "string" } },
+    "outcomes": {
+      "type": "object",
+      "required": ["left", "right"],
+      "properties": {
+        "left": { "enum": ["accepted", "error"] },
+        "right": { "enum": ["accepted", "error"] }
+      },
+      "additionalProperties": false
+    },
+    "direction": { "enum": ["left_only", "right_only"] },
+    "phase": { "type": "string" },
+    "message": { "type": "string" },
+    "bounds": {
+      "type": "object",
+      "required": ["sample_count", "seed", "max_tokens", "max_configurations", "max_actions", "max_stack"],
+      "properties": {
+        "sample_count": { "type": "integer", "minimum": 1 },
+        "seed": { "type": "integer" },
+        "max_tokens": { "type": "integer", "minimum": 1 },
+        "max_configurations": { "type": "integer", "minimum": 1 },
+        "max_actions": { "type": "integer", "minimum": 1 },
+        "max_stack": { "type": "integer", "minimum": 1 }
+      },
+      "additionalProperties": false
+    },
+    "statement": { "const": "Bounded search is not a proof of equivalence." }
+  },
+  "additionalProperties": false
+}