percolation-inversion-compiler-ts 0.4.4

package/schemas/GeneralIntakeSource.schema.json

@@ -0,0 +1,57 @@
+{
+  "$defs": {
+    "PacketSourceKind": {
+      "enum": [
+        "local",
+        "github",
+        "zenodo",
+        "arxiv",
+        "http",
+        "web-page",
+        "rss",
+        "atom",
+        "json-feed",
+        "ndjson",
+        "agent-message",
+        "agent-inbox",
+        "web-crawl",
+        "agent-output",
+        "auto"
+      ],
+      "title": "PacketSourceKind",
+      "type": "string"
+    }
+  },
+  "description": "One source descriptor for bounded general packet intake.",
+  "properties": {
+    "allow_live_connectors": {
+      "title": "Allow Live Connectors",
+      "type": "boolean"
+    },
+    "kind": {
+      "$ref": "#/$defs/PacketSourceKind",
+      "default": "auto"
+    },
+    "label": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Label"
+    },
+    "source": {
+      "title": "Source",
+      "type": "string"
+    }
+  },
+  "required": [
+    "source"
+  ],
+  "title": "GeneralIntakeSource",
+  "type": "object"
+}

package/schemas/GoodTuringCertificate.schema.json

@@ -0,0 +1,27 @@
+{
+  "description": "Good-Turing unseen-mass certificate with explicit charges.",
+  "properties": {
+    "duplicate_rate": {
+      "default": 0.0,
+      "title": "Duplicate Rate",
+      "type": "number"
+    },
+    "false_entry_rate": {
+      "default": 0.0,
+      "title": "False Entry Rate",
+      "type": "number"
+    },
+    "species_counts": {
+      "items": {
+        "type": "integer"
+      },
+      "title": "Species Counts",
+      "type": "array"
+    }
+  },
+  "required": [
+    "species_counts"
+  ],
+  "title": "GoodTuringCertificate",
+  "type": "object"
+}

package/schemas/HazardEnvelopeCertificate.schema.json

@@ -0,0 +1,192 @@
+{
+  "$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 hazard, misuse, externality, and rollback envelope.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "authority_envelope_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Authority Envelope Refs",
+      "type": "array"
+    },
+    "capability_envelope_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Capability Envelope Refs",
+      "type": "array"
+    },
+    "certificate_id": {
+      "title": "Certificate Id",
+      "type": "string"
+    },
+    "evidence_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Evidence Refs",
+      "type": "array"
+    },
+    "finite_checks_passed": {
+      "default": false,
+      "title": "Finite Checks Passed",
+      "type": "boolean"
+    },
+    "hazard_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Hazard Refs",
+      "type": "array"
+    },
+    "irreversible_risk_upper_bound": {
+      "default": 0.0,
+      "title": "Irreversible Risk Upper Bound",
+      "type": "number"
+    },
+    "noncompensable_hazard_detected": {
+      "default": false,
+      "title": "Noncompensable Hazard Detected",
+      "type": "boolean"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "risk_budget_upper_bound": {
+      "default": 1.0,
+      "title": "Risk Budget Upper Bound",
+      "type": "number"
+    },
+    "rollback_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Rollback Refs",
+      "type": "array"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "token_id": {
+      "title": "Token Id",
+      "type": "string"
+    }
+  },
+  "required": [
+    "certificate_id",
+    "token_id"
+  ],
+  "title": "HazardEnvelopeCertificate",
+  "type": "object"
+}

package/schemas/HiddenCapabilityInjectionReport.schema.json

@@ -0,0 +1,212 @@
+{
+  "$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": "Fail-closed check for packets, edges, evidence, or events outside protocol.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "allowed_packet_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Allowed Packet Ids",
+      "type": "array"
+    },
+    "allowed_route_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Allowed Route Ids",
+      "type": "array"
+    },
+    "allowed_source_kinds": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Allowed Source Kinds",
+      "type": "array"
+    },
+    "checked_packet_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Checked Packet Ids",
+      "type": "array"
+    },
+    "finite_checks_passed": {
+      "default": false,
+      "title": "Finite Checks Passed",
+      "type": "boolean"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "protocol_id": {
+      "title": "Protocol Id",
+      "type": "string"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "rejected_agent_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Rejected Agent Ids",
+      "type": "array"
+    },
+    "rejected_edge_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Rejected Edge Ids",
+      "type": "array"
+    },
+    "rejected_event_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Rejected Event Ids",
+      "type": "array"
+    },
+    "rejected_evidence_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Rejected Evidence Refs",
+      "type": "array"
+    },
+    "rejected_packet_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Rejected Packet Ids",
+      "type": "array"
+    },
+    "report_id": {
+      "title": "Report Id",
+      "type": "string"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "unsigned_packet_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Unsigned Packet Ids",
+      "type": "array"
+    }
+  },
+  "required": [
+    "report_id",
+    "protocol_id"
+  ],
+  "title": "HiddenCapabilityInjectionReport",
+  "type": "object"
+}

package/schemas/IdentityContributionStatus.schema.json

@@ -0,0 +1,11 @@
+{
+  "enum": [
+    "verified",
+    "provisional",
+    "diagnostic",
+    "quarantined",
+    "rejected"
+  ],
+  "title": "IdentityContributionStatus",
+  "type": "string"
+}

package/schemas/IdentityTrustProfile.schema.json

@@ -0,0 +1,12 @@
+{
+  "enum": [
+    "development",
+    "research",
+    "controlled",
+    "federated",
+    "production",
+    "adversarial"
+  ],
+  "title": "IdentityTrustProfile",
+  "type": "string"
+}

package/schemas/ImplementationMaturity.schema.json

@@ -0,0 +1,27 @@
+{
+  "$defs": {
+    "ImplementationMaturity": {
+      "enum": [
+        "implemented_verified_algorithm",
+        "implemented_shape_checker",
+        "implemented_schema_only",
+        "external_contract_only",
+        "snapshot_metadata_only",
+        "unsupported_no_interface"
+      ],
+      "title": "ImplementationMaturity",
+      "type": "string"
+    }
+  },
+  "description": "Portable wrapper schema for implementation maturity enum values.",
+  "properties": {
+    "implementation_maturity": {
+      "$ref": "#/$defs/ImplementationMaturity"
+    }
+  },
+  "required": [
+    "implementation_maturity"
+  ],
+  "title": "ImplementationMaturityRecord",
+  "type": "object"
+}

package/schemas/IndependenceCertificate.schema.json

@@ -0,0 +1,42 @@
+{
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "certificate_id": {
+      "title": "Certificate Id",
+      "type": "string"
+    },
+    "dependence_residual": {
+      "default": 0.0,
+      "title": "Dependence Residual",
+      "type": "number"
+    },
+    "separating_events": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Separating Events",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "variable_groups": {
+      "additionalProperties": {
+        "items": {
+          "type": "string"
+        },
+        "type": "array",
+        "uniqueItems": true
+      },
+      "title": "Variable Groups",
+      "type": "object"
+    }
+  },
+  "required": [
+    "certificate_id"
+  ],
+  "title": "IndependenceCertificate",
+  "type": "object"
+}

package/schemas/InnerViabilityKernel.schema.json

@@ -0,0 +1,45 @@
+{
+  "properties": {
+    "inner_states": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Inner States",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "kernel_id": {
+      "title": "Kernel Id",
+      "type": "string"
+    },
+    "residual": {
+      "default": 0.0,
+      "title": "Residual",
+      "type": "number"
+    },
+    "states": {
+      "items": {
+        "type": "string"
+      },
+      "title": "States",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "transition_map": {
+      "additionalProperties": {
+        "items": {
+          "type": "string"
+        },
+        "type": "array",
+        "uniqueItems": true
+      },
+      "title": "Transition Map",
+      "type": "object"
+    }
+  },
+  "required": [
+    "kernel_id"
+  ],
+  "title": "InnerViabilityKernel",
+  "type": "object"
+}