percolation-inversion-compiler-ts 0.4.4

package/schemas/ExecutionAvailablePathCertificate.schema.json

@@ -0,0 +1,204 @@
+{
+  "$defs": {
+    "CoordinateKind": {
+      "enum": [
+        "benefit",
+        "burden",
+        "residual",
+        "tolerance",
+        "resource",
+        "metadata"
+      ],
+      "title": "CoordinateKind",
+      "type": "string"
+    },
+    "EvidenceStatus": {
+      "enum": [
+        "verified",
+        "declared",
+        "unknown"
+      ],
+      "title": "EvidenceStatus",
+      "type": "string"
+    },
+    "Ledger": {
+      "description": "A finite typed ledger with explicit coordinate kinds.",
+      "properties": {
+        "coordinates": {
+          "additionalProperties": {
+            "$ref": "#/$defs/LedgerCoordinate"
+          },
+          "title": "Coordinates",
+          "type": "object"
+        }
+      },
+      "title": "Ledger",
+      "type": "object"
+    },
+    "LedgerCoordinate": {
+      "description": "One typed coordinate in a finite certificate ledger.",
+      "properties": {
+        "description": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Description"
+        },
+        "evidence_refs": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Evidence Refs",
+          "type": "array"
+        },
+        "evidence_status": {
+          "$ref": "#/$defs/EvidenceStatus",
+          "default": "declared"
+        },
+        "kind": {
+          "$ref": "#/$defs/CoordinateKind",
+          "default": "burden"
+        },
+        "known": {
+          "default": true,
+          "title": "Known",
+          "type": "boolean"
+        },
+        "name": {
+          "title": "Name",
+          "type": "string"
+        },
+        "unit": {
+          "default": "dimensionless",
+          "title": "Unit",
+          "type": "string"
+        },
+        "value": {
+          "title": "Value",
+          "type": "number"
+        }
+      },
+      "required": [
+        "name",
+        "value"
+      ],
+      "title": "LedgerCoordinate",
+      "type": "object"
+    }
+  },
+  "description": "Finite certificate that a path is execution-available but not executed.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "authority_granted": {
+      "default": true,
+      "title": "Authority Granted",
+      "type": "boolean"
+    },
+    "certificate_id": {
+      "title": "Certificate Id",
+      "type": "string"
+    },
+    "constraint_frame_id": {
+      "default": "default-constraint-frame",
+      "title": "Constraint Frame Id",
+      "type": "string"
+    },
+    "edge_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Edge Ids",
+      "type": "array"
+    },
+    "evidence_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Evidence Refs",
+      "type": "array"
+    },
+    "execution_gates": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Execution Gates",
+      "type": "array"
+    },
+    "finite_checks_passed": {
+      "default": false,
+      "title": "Finite Checks Passed",
+      "type": "boolean"
+    },
+    "not_executed": {
+      "default": true,
+      "title": "Not Executed",
+      "type": "boolean"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "packet_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Packet Ids",
+      "type": "array"
+    },
+    "path_id": {
+      "title": "Path Id",
+      "type": "string"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "receiver_context": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Receiver Context",
+      "type": "array"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "rollback_available": {
+      "default": true,
+      "title": "Rollback Available",
+      "type": "boolean"
+    },
+    "route_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Route Ids",
+      "type": "array"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    }
+  },
+  "required": [
+    "certificate_id",
+    "path_id"
+  ],
+  "title": "ExecutionAvailablePathCertificate",
+  "type": "object"
+}

package/schemas/ExternalCandidateClassification.schema.json

@@ -0,0 +1,10 @@
+{
+  "enum": [
+    "diagnostic_work",
+    "verifier_work",
+    "quarantine_work",
+    "candidate_only"
+  ],
+  "title": "ExternalCandidateClassification",
+  "type": "string"
+}

package/schemas/ExternalObligationCatalog.schema.json

@@ -0,0 +1,238 @@
+{
+  "$defs": {
+    "CoverageStatus": {
+      "enum": [
+        "implemented_constructive",
+        "implemented_checker",
+        "implemented_schema",
+        "partial",
+        "external_obligation",
+        "unsupported"
+      ],
+      "title": "CoverageStatus",
+      "type": "string"
+    },
+    "ImplementationMaturity": {
+      "enum": [
+        "implemented_verified_algorithm",
+        "implemented_shape_checker",
+        "implemented_schema_only",
+        "external_contract_only",
+        "snapshot_metadata_only",
+        "unsupported_no_interface"
+      ],
+      "title": "ImplementationMaturity",
+      "type": "string"
+    },
+    "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"
+    }
+  },
+  "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"
+}

package/schemas/ExternalVerifierHook.schema.json

@@ -0,0 +1,174 @@
+{
+  "description": "Portable result channel for domain-specific obligation verifiers.",
+  "properties": {
+    "accepted_evidence_kind": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Accepted Evidence Kind",
+      "type": "array"
+    },
+    "accepted_obligation_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Accepted Obligation Ids",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "deterministic": {
+      "default": true,
+      "title": "Deterministic",
+      "type": "boolean"
+    },
+    "domain_witness_required": {
+      "default": false,
+      "title": "Domain Witness Required",
+      "type": "boolean"
+    },
+    "evidence_artifact_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Evidence Artifact Ids",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "evidence_envelope_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Evidence Envelope Id"
+    },
+    "failure_modes": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Failure Modes",
+      "type": "object"
+    },
+    "hook_id": {
+      "title": "Hook Id",
+      "type": "string"
+    },
+    "notes": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Notes",
+      "type": "array"
+    },
+    "obligation_categories": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Obligation Categories",
+      "type": "object"
+    },
+    "obligation_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Obligation Ids",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "provenance_policy": {
+      "default": "legacy-hook-no-resolution-provenance",
+      "title": "Provenance Policy",
+      "type": "string"
+    },
+    "rejected_obligation_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Rejected Obligation Ids",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "residual_coordinates": {
+      "additionalProperties": {
+        "type": "number"
+      },
+      "title": "Residual Coordinates",
+      "type": "object"
+    },
+    "residual_external_obligations": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Residual External Obligations",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "residual_policy": {
+      "default": "charge-residual-until-verified",
+      "title": "Residual Policy",
+      "type": "string"
+    },
+    "resolution_digest": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Resolution Digest"
+    },
+    "resolution_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Resolution Id"
+    },
+    "safe_default": {
+      "default": "return-diagnostic-with-unresolved-obligations",
+      "title": "Safe Default",
+      "type": "string"
+    },
+    "schema_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Schema Refs",
+      "type": "array"
+    },
+    "settled_scope": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Settled Scope",
+      "type": "array"
+    },
+    "verifier_contract": {
+      "additionalProperties": true,
+      "title": "Verifier Contract",
+      "type": "object"
+    },
+    "verifier_route": {
+      "title": "Verifier Route",
+      "type": "string"
+    }
+  },
+  "required": [
+    "hook_id",
+    "verifier_route"
+  ],
+  "title": "ExternalVerifierHook",
+  "type": "object"
+}

package/schemas/FiniteOrder.schema.json

@@ -0,0 +1,34 @@
+{
+  "description": "A finite preorder/partial order represented by a finite relation.",
+  "properties": {
+    "elements": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Elements",
+      "type": "array"
+    },
+    "leq_pairs": {
+      "items": {
+        "maxItems": 2,
+        "minItems": 2,
+        "prefixItems": [
+          {
+            "type": "string"
+          },
+          {
+            "type": "string"
+          }
+        ],
+        "type": "array"
+      },
+      "title": "Leq Pairs",
+      "type": "array"
+    }
+  },
+  "required": [
+    "elements"
+  ],
+  "title": "FiniteOrder",
+  "type": "object"
+}