percolation-inversion-compiler-ts 0.4.4

package/schemas/SnapshotCatalog.schema.json

@@ -0,0 +1,481 @@
+{
+  "$defs": {
+    "CoverageStatus": {
+      "enum": [
+        "implemented_constructive",
+        "implemented_checker",
+        "implemented_schema",
+        "partial",
+        "external_obligation",
+        "unsupported"
+      ],
+      "title": "CoverageStatus",
+      "type": "string"
+    },
+    "ExternalObligationCatalog": {
+      "description": "Catalog of non-finite or domain-specific obligations.",
+      "properties": {
+        "artifact": {
+          "title": "Artifact",
+          "type": "string"
+        },
+        "category_summary": {
+          "additionalProperties": {
+            "type": "integer"
+          },
+          "title": "Category Summary",
+          "type": "object"
+        },
+        "obligations": {
+          "items": {
+            "$ref": "#/$defs/TheoryImplementationRecord"
+          },
+          "title": "Obligations",
+          "type": "array"
+        },
+        "verifier_route_summary": {
+          "additionalProperties": {
+            "type": "integer"
+          },
+          "title": "Verifier Route Summary",
+          "type": "object"
+        }
+      },
+      "required": [
+        "artifact"
+      ],
+      "title": "ExternalObligationCatalog",
+      "type": "object"
+    },
+    "ImplementationMaturity": {
+      "enum": [
+        "implemented_verified_algorithm",
+        "implemented_shape_checker",
+        "implemented_schema_only",
+        "external_contract_only",
+        "snapshot_metadata_only",
+        "unsupported_no_interface"
+      ],
+      "title": "ImplementationMaturity",
+      "type": "string"
+    },
+    "SnapshotAttribution": {
+      "description": "Attribution metadata for a derived non-vendored snapshot.",
+      "properties": {
+        "author": {
+          "title": "Author",
+          "type": "string"
+        },
+        "derived_from": {
+          "default": "canonical TeX metadata extraction",
+          "title": "Derived From",
+          "type": "string"
+        },
+        "doi": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Doi"
+        },
+        "license_id": {
+          "title": "License Id",
+          "type": "string"
+        },
+        "source_tex_md5": {
+          "title": "Source Tex Md5",
+          "type": "string"
+        },
+        "source_tex_sha256": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Source Tex Sha256"
+        },
+        "title": {
+          "title": "Title",
+          "type": "string"
+        },
+        "year": {
+          "title": "Year",
+          "type": "integer"
+        }
+      },
+      "required": [
+        "author",
+        "year",
+        "title",
+        "license_id",
+        "source_tex_md5"
+      ],
+      "title": "SnapshotAttribution",
+      "type": "object"
+    },
+    "TheoryImplementationRecord": {
+      "description": "Portable implementation mapping for one finite theory item.",
+      "properties": {
+        "accepted_evidence_kind": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Accepted Evidence Kind",
+          "type": "array"
+        },
+        "artifact": {
+          "title": "Artifact",
+          "type": "string"
+        },
+        "checker_ref": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Checker Ref"
+        },
+        "checker_refs": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Checker Refs",
+          "type": "array"
+        },
+        "coverage_status": {
+          "$ref": "#/$defs/CoverageStatus"
+        },
+        "external_failure_modes": {
+          "items": {
+            "type": "string"
+          },
+          "title": "External Failure Modes",
+          "type": "array"
+        },
+        "failure_modes": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Failure Modes",
+          "type": "array"
+        },
+        "implementation_maturity": {
+          "$ref": "#/$defs/ImplementationMaturity",
+          "default": "unsupported_no_interface"
+        },
+        "implementation_ref": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Implementation Ref"
+        },
+        "implementation_refs": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Implementation Refs",
+          "type": "array"
+        },
+        "item_id": {
+          "title": "Item Id",
+          "type": "string"
+        },
+        "label": {
+          "title": "Label",
+          "type": "string"
+        },
+        "obligation_category": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Obligation Category"
+        },
+        "proof_obligation_ids": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Proof Obligation Ids",
+          "type": "array"
+        },
+        "residual_coordinates": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Residual Coordinates",
+          "type": "array"
+        },
+        "residual_policy": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Residual Policy"
+        },
+        "safe_default": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Safe Default"
+        },
+        "schema_ref": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Schema Ref"
+        },
+        "schema_refs": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Schema Refs",
+          "type": "array"
+        },
+        "verifier_contract": {
+          "additionalProperties": true,
+          "title": "Verifier Contract",
+          "type": "object"
+        },
+        "verifier_route": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Verifier Route"
+        }
+      },
+      "required": [
+        "item_id",
+        "artifact",
+        "label",
+        "coverage_status"
+      ],
+      "title": "TheoryImplementationRecord",
+      "type": "object"
+    },
+    "TheorySnapshot": {
+      "description": "Portable snapshot for one canonical theory artifact.",
+      "properties": {
+        "artifact": {
+          "title": "Artifact",
+          "type": "string"
+        },
+        "artifact_key": {
+          "title": "Artifact Key",
+          "type": "string"
+        },
+        "attribution": {
+          "$ref": "#/$defs/SnapshotAttribution"
+        },
+        "claims": {
+          "title": "Claims",
+          "type": "integer"
+        },
+        "coverage_counts": {
+          "additionalProperties": {
+            "type": "integer"
+          },
+          "title": "Coverage Counts",
+          "type": "object"
+        },
+        "coverage_delta": {
+          "additionalProperties": {
+            "type": "integer"
+          },
+          "title": "Coverage Delta",
+          "type": "object"
+        },
+        "definitions": {
+          "title": "Definitions",
+          "type": "integer"
+        },
+        "external_obligation_catalog": {
+          "anyOf": [
+            {
+              "$ref": "#/$defs/ExternalObligationCatalog"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null
+        },
+        "external_obligation_category_summary": {
+          "additionalProperties": {
+            "type": "integer"
+          },
+          "title": "External Obligation Category Summary",
+          "type": "object"
+        },
+        "external_verifier_route_summary": {
+          "additionalProperties": {
+            "type": "integer"
+          },
+          "title": "External Verifier Route Summary",
+          "type": "object"
+        },
+        "item_mappings": {
+          "items": {
+            "$ref": "#/$defs/TheorySnapshotItem"
+          },
+          "title": "Item Mappings",
+          "type": "array"
+        },
+        "mr_records": {
+          "title": "Mr Records",
+          "type": "integer"
+        },
+        "representative_items": {
+          "items": {
+            "$ref": "#/$defs/TheorySnapshotItem"
+          },
+          "title": "Representative Items",
+          "type": "array"
+        },
+        "schema_version": {
+          "default": "theory-snapshot-1.0",
+          "title": "Schema Version",
+          "type": "string"
+        }
+      },
+      "required": [
+        "artifact_key",
+        "artifact",
+        "attribution",
+        "definitions",
+        "claims",
+        "mr_records",
+        "coverage_counts",
+        "coverage_delta"
+      ],
+      "title": "TheorySnapshot",
+      "type": "object"
+    },
+    "TheorySnapshotItem": {
+      "description": "Small item-id implementation mapping derived from a canonical source.",
+      "properties": {
+        "coverage_status": {
+          "title": "Coverage Status",
+          "type": "string"
+        },
+        "implementation_maturity": {
+          "default": "snapshot_metadata_only",
+          "title": "Implementation Maturity",
+          "type": "string"
+        },
+        "implementation_refs": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Implementation Refs",
+          "type": "array"
+        },
+        "item_id": {
+          "title": "Item Id",
+          "type": "string"
+        },
+        "label": {
+          "title": "Label",
+          "type": "string"
+        },
+        "obligation_category": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Obligation Category"
+        },
+        "verifier_route": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Verifier Route"
+        }
+      },
+      "required": [
+        "item_id",
+        "label",
+        "coverage_status"
+      ],
+      "title": "TheorySnapshotItem",
+      "type": "object"
+    }
+  },
+  "description": "Named catalog of bundled derived theory snapshots.",
+  "properties": {
+    "catalog_id": {
+      "default": "percolation-inversion-compiler-derived-snapshots",
+      "title": "Catalog Id",
+      "type": "string"
+    },
+    "snapshots": {
+      "additionalProperties": {
+        "$ref": "#/$defs/TheorySnapshot"
+      },
+      "title": "Snapshots",
+      "type": "object"
+    }
+  },
+  "required": [
+    "snapshots"
+  ],
+  "title": "SnapshotCatalog",
+  "type": "object"
+}

package/schemas/SplitCertificate.schema.json

@@ -0,0 +1,39 @@
+{
+  "description": "Training/holdout split certificate.",
+  "properties": {
+    "certificate_id": {
+      "title": "Certificate Id",
+      "type": "string"
+    },
+    "checked_on_holdout": {
+      "default": false,
+      "title": "Checked On Holdout",
+      "type": "boolean"
+    },
+    "holdout_size": {
+      "title": "Holdout Size",
+      "type": "integer"
+    },
+    "selected_on_train": {
+      "default": false,
+      "title": "Selected On Train",
+      "type": "boolean"
+    },
+    "selection_residual": {
+      "default": 0.0,
+      "title": "Selection Residual",
+      "type": "number"
+    },
+    "train_size": {
+      "title": "Train Size",
+      "type": "integer"
+    }
+  },
+  "required": [
+    "certificate_id",
+    "train_size",
+    "holdout_size"
+  ],
+  "title": "SplitCertificate",
+  "type": "object"
+}

package/schemas/StatusAlgebraRecord.schema.json

@@ -0,0 +1,37 @@
+{
+  "properties": {
+    "algebra_id": {
+      "title": "Algebra Id",
+      "type": "string"
+    },
+    "allowed_transitions": {
+      "additionalProperties": {
+        "items": {
+          "type": "string"
+        },
+        "type": "array",
+        "uniqueItems": true
+      },
+      "title": "Allowed Transitions",
+      "type": "object"
+    },
+    "non_promotion": {
+      "default": true,
+      "title": "Non Promotion",
+      "type": "boolean"
+    },
+    "settled_obligations": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Settled Obligations",
+      "type": "array",
+      "uniqueItems": true
+    }
+  },
+  "required": [
+    "algebra_id"
+  ],
+  "title": "StatusAlgebraRecord",
+  "type": "object"
+}

package/schemas/StoppedEvidenceSheafCertificate.schema.json

@@ -0,0 +1,120 @@
+{
+  "$defs": {
+    "PullbackGluingWitness": {
+      "properties": {
+        "glued_section": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Glued Section",
+          "type": "array",
+          "uniqueItems": true
+        },
+        "local_sections": {
+          "additionalProperties": {
+            "items": {
+              "type": "string"
+            },
+            "type": "array",
+            "uniqueItems": true
+          },
+          "title": "Local Sections",
+          "type": "object"
+        },
+        "overlaps": {
+          "additionalProperties": {
+            "items": {
+              "type": "string"
+            },
+            "type": "array",
+            "uniqueItems": true
+          },
+          "title": "Overlaps",
+          "type": "object"
+        },
+        "witness_id": {
+          "title": "Witness Id",
+          "type": "string"
+        }
+      },
+      "required": [
+        "witness_id"
+      ],
+      "title": "PullbackGluingWitness",
+      "type": "object"
+    },
+    "StoppedEvidenceWitness": {
+      "properties": {
+        "evidence_ids": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Evidence Ids",
+          "type": "array",
+          "uniqueItems": true
+        },
+        "ledger_id": {
+          "title": "Ledger Id",
+          "type": "string"
+        },
+        "probability_space": {
+          "title": "Probability Space",
+          "type": "string"
+        },
+        "stopping_time": {
+          "title": "Stopping Time",
+          "type": "string"
+        }
+      },
+      "required": [
+        "probability_space",
+        "stopping_time",
+        "ledger_id"
+      ],
+      "title": "StoppedEvidenceWitness",
+      "type": "object"
+    }
+  },
+  "properties": {
+    "certificate_id": {
+      "title": "Certificate Id",
+      "type": "string"
+    },
+    "gluing_witness": {
+      "anyOf": [
+        {
+          "$ref": "#/$defs/PullbackGluingWitness"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null
+    },
+    "missing_sections": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Missing Sections",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "residual": {
+      "default": 0.0,
+      "title": "Residual",
+      "type": "number"
+    },
+    "witnesses": {
+      "items": {
+        "$ref": "#/$defs/StoppedEvidenceWitness"
+      },
+      "title": "Witnesses",
+      "type": "array"
+    }
+  },
+  "required": [
+    "certificate_id"
+  ],
+  "title": "StoppedEvidenceSheafCertificate",
+  "type": "object"
+}