percolation-inversion-compiler-ts 0.4.4

package/schemas/BaselineRefreshCertificate.schema.json

@@ -0,0 +1,178 @@
+{
+  "$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 bridge from an old baseline/opportunity law to a refreshed one.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "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"
+    },
+    "new_baseline_ref": {
+      "title": "New Baseline Ref",
+      "type": "string"
+    },
+    "old_baseline_ref": {
+      "title": "Old Baseline Ref",
+      "type": "string"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "opportunity_contract_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Opportunity Contract Id"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "refresh_bridge_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Refresh Bridge Refs",
+      "type": "array"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "resource_matched": {
+      "default": false,
+      "title": "Resource Matched",
+      "type": "boolean"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    }
+  },
+  "required": [
+    "certificate_id",
+    "old_baseline_ref",
+    "new_baseline_ref"
+  ],
+  "title": "BaselineRefreshCertificate",
+  "type": "object"
+}

package/schemas/BasinReachabilityReport.schema.json

@@ -0,0 +1,244 @@
+{
+  "$defs": {
+    "AcceptedPacketPath": {
+      "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"
+    },
+    "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 basin reachability report for ECPT target contracts.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "accepted_edge_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Accepted Edge Ids",
+      "type": "array"
+    },
+    "accepted_paths": {
+      "items": {
+        "$ref": "#/$defs/AcceptedPacketPath"
+      },
+      "title": "Accepted Paths",
+      "type": "array"
+    },
+    "basin_id": {
+      "title": "Basin Id",
+      "type": "string"
+    },
+    "missing_edge_types": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Missing Edge Types",
+      "type": "array"
+    },
+    "missing_packet_types": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Missing Packet Types",
+      "type": "array"
+    },
+    "missing_verifier_routes": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Missing Verifier Routes",
+      "type": "array"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "path_cost_lower_bound": {
+      "default": 0.0,
+      "title": "Path Cost Lower Bound",
+      "type": "number"
+    },
+    "reachable_packet_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reachable Packet Ids",
+      "type": "array"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "receiver_compatible": {
+      "default": false,
+      "title": "Receiver Compatible",
+      "type": "boolean"
+    },
+    "report_id": {
+      "title": "Report Id",
+      "type": "string"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    }
+  },
+  "required": [
+    "report_id",
+    "basin_id"
+  ],
+  "title": "BasinReachabilityReport",
+  "type": "object"
+}

package/schemas/BottleneckCandidate.schema.json

@@ -0,0 +1,105 @@
+{
+  "description": "Ranked repair target derived from existing runtime and theory reports.",
+  "properties": {
+    "bottleneck_kind": {
+      "title": "Bottleneck Kind",
+      "type": "string"
+    },
+    "burden_delta": {
+      "default": 0.0,
+      "title": "Burden Delta",
+      "type": "number"
+    },
+    "candidate_id": {
+      "title": "Candidate Id",
+      "type": "string"
+    },
+    "candidate_only": {
+      "default": false,
+      "title": "Candidate Only",
+      "type": "boolean"
+    },
+    "cannot_promote_because": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Cannot Promote Because",
+      "type": "array"
+    },
+    "next_safe_commands": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Next Safe Commands",
+      "type": "array"
+    },
+    "next_verifier_routes": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Next Verifier Routes",
+      "type": "array"
+    },
+    "priority_score": {
+      "default": 0.0,
+      "title": "Priority Score",
+      "type": "number"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "release_delta": {
+      "default": 0.0,
+      "title": "Release Delta",
+      "type": "number"
+    },
+    "required_evidence_kind": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Required Evidence Kind",
+      "type": "array"
+    },
+    "residual_coordinates": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Residual Coordinates",
+      "type": "array"
+    },
+    "schema_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Schema Refs",
+      "type": "array"
+    },
+    "sdk_calls": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Sdk Calls",
+      "type": "array"
+    },
+    "source": {
+      "title": "Source",
+      "type": "string"
+    },
+    "target_component": {
+      "default": "",
+      "title": "Target Component",
+      "type": "string"
+    }
+  },
+  "required": [
+    "candidate_id",
+    "source",
+    "bottleneck_kind"
+  ],
+  "title": "BottleneckCandidate",
+  "type": "object"
+}

package/schemas/BottleneckIntervention.schema.json

@@ -0,0 +1,157 @@
+{
+  "$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": "One ranked bottleneck-inversion intervention.",
+  "properties": {
+    "action_kind": {
+      "title": "Action Kind",
+      "type": "string"
+    },
+    "expected_gain": {
+      "default": 0.0,
+      "title": "Expected Gain",
+      "type": "number"
+    },
+    "intervention_id": {
+      "title": "Intervention Id",
+      "type": "string"
+    },
+    "post_intervention_horizon": {
+      "default": 1,
+      "title": "Post Intervention Horizon",
+      "type": "integer"
+    },
+    "required_routes": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Required Routes",
+      "type": "array"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "risk_charge": {
+      "default": 0.0,
+      "title": "Risk Charge",
+      "type": "number"
+    },
+    "rollback_condition": {
+      "default": "no-positive-finite-gain",
+      "title": "Rollback Condition",
+      "type": "string"
+    },
+    "score": {
+      "default": 0.0,
+      "title": "Score",
+      "type": "number"
+    },
+    "target_component": {
+      "title": "Target Component",
+      "type": "string"
+    },
+    "verification_cost": {
+      "default": 0.0,
+      "title": "Verification Cost",
+      "type": "number"
+    }
+  },
+  "required": [
+    "intervention_id",
+    "target_component",
+    "action_kind"
+  ],
+  "title": "BottleneckIntervention",
+  "type": "object"
+}