percolation-inversion-compiler-ts 0.4.4

package/schemas/AcceptedPacketPath.schema.json

@@ -0,0 +1,148 @@
+{
+  "$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": "Accepted packet path witness into a finite ECPT basin.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "cost": {
+      "default": 0.0,
+      "title": "Cost",
+      "type": "number"
+    },
+    "edge_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Edge Ids",
+      "type": "array"
+    },
+    "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"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "route_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Route Ids",
+      "type": "array"
+    }
+  },
+  "required": [
+    "path_id"
+  ],
+  "title": "AcceptedPacketPath",
+  "type": "object"
+}

package/schemas/ActionCommit.schema.json

@@ -0,0 +1,67 @@
+{
+  "$defs": {
+    "ActionCommitPolicy": {
+      "description": "How aggressively a runtime may turn ranked advice into agent commitments.",
+      "enum": [
+        "recommend_only",
+        "require_verifier_resolution",
+        "allow_finite_scope_commit"
+      ],
+      "title": "ActionCommitPolicy",
+      "type": "string"
+    }
+  },
+  "description": "Commit decision for a planned action under the configured policy.",
+  "properties": {
+    "action_id": {
+      "title": "Action Id",
+      "type": "string"
+    },
+    "committed": {
+      "default": false,
+      "title": "Committed",
+      "type": "boolean"
+    },
+    "finite_scope_usable": {
+      "default": false,
+      "title": "Finite Scope Usable",
+      "type": "boolean"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "policy": {
+      "$ref": "#/$defs/ActionCommitPolicy"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "recommended": {
+      "default": true,
+      "title": "Recommended",
+      "type": "boolean"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "verifier_resolution_required": {
+      "default": true,
+      "title": "Verifier Resolution Required",
+      "type": "boolean"
+    }
+  },
+  "required": [
+    "action_id",
+    "policy"
+  ],
+  "title": "ActionCommit",
+  "type": "object"
+}

package/schemas/ActionGrammar.schema.json

@@ -0,0 +1,36 @@
+{
+  "properties": {
+    "actions": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Actions",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "postconditions": {
+      "additionalProperties": {
+        "items": {
+          "type": "string"
+        },
+        "type": "array",
+        "uniqueItems": true
+      },
+      "title": "Postconditions",
+      "type": "object"
+    },
+    "preconditions": {
+      "additionalProperties": {
+        "items": {
+          "type": "string"
+        },
+        "type": "array",
+        "uniqueItems": true
+      },
+      "title": "Preconditions",
+      "type": "object"
+    }
+  },
+  "title": "ActionGrammar",
+  "type": "object"
+}

package/schemas/ActionabilityVector.schema.json

@@ -0,0 +1,33 @@
+{
+  "properties": {
+    "coordinates": {
+      "additionalProperties": {
+        "type": "number"
+      },
+      "title": "Coordinates",
+      "type": "object"
+    },
+    "relaxed_coordinates": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Relaxed Coordinates",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "residual": {
+      "default": 0.0,
+      "title": "Residual",
+      "type": "number"
+    },
+    "vector_id": {
+      "title": "Vector Id",
+      "type": "string"
+    }
+  },
+  "required": [
+    "vector_id"
+  ],
+  "title": "ActionabilityVector",
+  "type": "object"
+}

package/schemas/ActivationThresholdCertificate.schema.json

@@ -0,0 +1,185 @@
+{
+  "$defs": {
+    "ActivationConstructionCertificate": {
+      "properties": {
+        "configuration_space_size": {
+          "title": "Configuration Space Size",
+          "type": "integer"
+        },
+        "construction_id": {
+          "title": "Construction Id",
+          "type": "string"
+        },
+        "energy_ledger_present": {
+          "default": false,
+          "title": "Energy Ledger Present",
+          "type": "boolean"
+        },
+        "exact": {
+          "default": false,
+          "title": "Exact",
+          "type": "boolean"
+        },
+        "sampler_residual": {
+          "default": 0.0,
+          "title": "Sampler Residual",
+          "type": "number"
+        }
+      },
+      "required": [
+        "construction_id",
+        "configuration_space_size"
+      ],
+      "title": "ActivationConstructionCertificate",
+      "type": "object"
+    },
+    "CapabilityEdge": {
+      "properties": {
+        "activation_weight": {
+          "default": 1.0,
+          "title": "Activation Weight",
+          "type": "number"
+        },
+        "burden": {
+          "default": 0.0,
+          "title": "Burden",
+          "type": "number"
+        },
+        "edge_id": {
+          "title": "Edge Id",
+          "type": "string"
+        },
+        "required_capacity": {
+          "additionalProperties": {
+            "type": "number"
+          },
+          "title": "Required Capacity",
+          "type": "object"
+        },
+        "sources": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Sources",
+          "type": "array"
+        },
+        "status": {
+          "$ref": "#/$defs/ClaimStatus",
+          "default": "provisional"
+        },
+        "target": {
+          "title": "Target",
+          "type": "string"
+        }
+      },
+      "required": [
+        "edge_id",
+        "sources",
+        "target"
+      ],
+      "title": "CapabilityEdge",
+      "type": "object"
+    },
+    "CapabilityHypergraph": {
+      "properties": {
+        "edges": {
+          "items": {
+            "$ref": "#/$defs/CapabilityEdge"
+          },
+          "title": "Edges",
+          "type": "array"
+        },
+        "nodes": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Nodes",
+          "type": "array",
+          "uniqueItems": true
+        },
+        "seed_mass": {
+          "additionalProperties": {
+            "type": "number"
+          },
+          "title": "Seed Mass",
+          "type": "object"
+        }
+      },
+      "title": "CapabilityHypergraph",
+      "type": "object"
+    },
+    "ClaimStatus": {
+      "description": "Protocol-relative status labels used by ECPT, BIT, TRC, SQOT, and ALT.",
+      "enum": [
+        "rejected",
+        "expired",
+        "diagnostic",
+        "relaxed",
+        "risk-provisional",
+        "speculative",
+        "provisional",
+        "partial",
+        "settled"
+      ],
+      "title": "ClaimStatus",
+      "type": "string"
+    }
+  },
+  "properties": {
+    "activation": {
+      "$ref": "#/$defs/ActivationConstructionCertificate"
+    },
+    "certificate_id": {
+      "title": "Certificate Id",
+      "type": "string"
+    },
+    "finite_size": {
+      "default": 0,
+      "title": "Finite Size",
+      "type": "integer"
+    },
+    "graph": {
+      "$ref": "#/$defs/CapabilityHypergraph"
+    },
+    "lower_bounds": {
+      "additionalProperties": {
+        "type": "number"
+      },
+      "title": "Lower Bounds",
+      "type": "object"
+    },
+    "residual": {
+      "default": 0.0,
+      "title": "Residual",
+      "type": "number"
+    },
+    "target_nodes": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Target Nodes",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "thermodynamic_obligation_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Thermodynamic Obligation Ids",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "threshold": {
+      "default": 0.0,
+      "title": "Threshold",
+      "type": "number"
+    }
+  },
+  "required": [
+    "certificate_id",
+    "activation",
+    "graph"
+  ],
+  "title": "ActivationThresholdCertificate",
+  "type": "object"
+}

package/schemas/AdapterRouteSpec.schema.json

@@ -0,0 +1,110 @@
+{
+  "$defs": {
+    "DischargeLevel": {
+      "enum": [
+        "finite_value_check",
+        "replay_check",
+        "contract_enforced",
+        "external_domain_required"
+      ],
+      "title": "DischargeLevel",
+      "type": "string"
+    }
+  },
+  "description": "Language-neutral adapter boundary for an external proof obligation.",
+  "properties": {
+    "availability": {
+      "default": "contract",
+      "title": "Availability",
+      "type": "string"
+    },
+    "canonical_route_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Canonical Route Id"
+    },
+    "discharge_level": {
+      "$ref": "#/$defs/DischargeLevel",
+      "default": "external_domain_required"
+    },
+    "license_note": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "License Note"
+    },
+    "notes": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Notes",
+      "type": "array"
+    },
+    "obligation_category": {
+      "title": "Obligation Category",
+      "type": "string"
+    },
+    "optional_dependency": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Optional Dependency"
+    },
+    "required_evidence_kind": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Required Evidence Kind",
+      "type": "array"
+    },
+    "residual_policy": {
+      "title": "Residual Policy",
+      "type": "string"
+    },
+    "route_id": {
+      "title": "Route Id",
+      "type": "string"
+    },
+    "safe_default": {
+      "title": "Safe Default",
+      "type": "string"
+    },
+    "status_non_promotion_rule": {
+      "default": "adapter output may discharge listed obligations but cannot bypass checker-derived status",
+      "title": "Status Non Promotion Rule",
+      "type": "string"
+    },
+    "verifier_route": {
+      "title": "Verifier Route",
+      "type": "string"
+    }
+  },
+  "required": [
+    "route_id",
+    "verifier_route",
+    "obligation_category",
+    "residual_policy",
+    "safe_default"
+  ],
+  "title": "AdapterRouteSpec",
+  "type": "object"
+}

package/schemas/AdoptionFirstRunCommand.schema.json

@@ -0,0 +1,44 @@
+{
+  "description": "Command text for operator review; PIC does not execute it.",
+  "properties": {
+    "command": {
+      "title": "Command",
+      "type": "string"
+    },
+    "command_id": {
+      "title": "Command Id",
+      "type": "string"
+    },
+    "executed_by_pic": {
+      "default": false,
+      "title": "Executed By Pic",
+      "type": "boolean"
+    },
+    "expected_output": {
+      "default": "operator-reviewed command output",
+      "title": "Expected Output",
+      "type": "string"
+    },
+    "mutates_environment_if_operator_runs_it": {
+      "default": false,
+      "title": "Mutates Environment If Operator Runs It",
+      "type": "boolean"
+    },
+    "purpose": {
+      "title": "Purpose",
+      "type": "string"
+    },
+    "requires_operator_authority": {
+      "default": false,
+      "title": "Requires Operator Authority",
+      "type": "boolean"
+    }
+  },
+  "required": [
+    "command_id",
+    "command",
+    "purpose"
+  ],
+  "title": "AdoptionFirstRunCommand",
+  "type": "object"
+}

package/schemas/AdoptionReviewChecklist.schema.json

@@ -0,0 +1,36 @@
+{
+  "description": "Operator-facing checklist for deciding whether local use is allowed.",
+  "properties": {
+    "accepted": {
+      "default": true,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "checklist_id": {
+      "default": "adoption-review-checklist",
+      "title": "Checklist Id",
+      "type": "string"
+    },
+    "interpretation_rules": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Interpretation Rules",
+      "type": "array"
+    },
+    "items": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Items",
+      "type": "array"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    }
+  },
+  "title": "AdoptionReviewChecklist",
+  "type": "object"
+}