percolation-inversion-compiler-ts 0.4.4

package/schemas/VectorCompatibleFamily.schema.json

@@ -0,0 +1,354 @@
+{
+  "$defs": {
+    "CoordinateKind": {
+      "enum": [
+        "benefit",
+        "burden",
+        "residual",
+        "tolerance",
+        "resource",
+        "metadata"
+      ],
+      "title": "CoordinateKind",
+      "type": "string"
+    },
+    "DependencyDAG": {
+      "description": "A finite dependency graph with edges ``dependency -> dependent``.",
+      "properties": {
+        "edges": {
+          "additionalProperties": {
+            "items": {
+              "type": "string"
+            },
+            "type": "array",
+            "uniqueItems": true
+          },
+          "title": "Edges",
+          "type": "object"
+        }
+      },
+      "title": "DependencyDAG",
+      "type": "object"
+    },
+    "EvidenceStatus": {
+      "enum": [
+        "verified",
+        "declared",
+        "unknown"
+      ],
+      "title": "EvidenceStatus",
+      "type": "string"
+    },
+    "FiniteOrder": {
+      "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"
+    },
+    "InterventionLaw": {
+      "properties": {
+        "law_id": {
+          "title": "Law Id",
+          "type": "string"
+        },
+        "normalized": {
+          "default": false,
+          "title": "Normalized",
+          "type": "boolean"
+        },
+        "probabilities": {
+          "additionalProperties": {
+            "type": "number"
+          },
+          "title": "Probabilities",
+          "type": "object"
+        },
+        "support": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Support",
+          "type": "array",
+          "uniqueItems": true
+        }
+      },
+      "required": [
+        "law_id"
+      ],
+      "title": "InterventionLaw",
+      "type": "object"
+    },
+    "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"
+    },
+    "OrderedPotentialCone": {
+      "properties": {
+        "cone_id": {
+          "title": "Cone Id",
+          "type": "string"
+        },
+        "coordinate_kinds": {
+          "additionalProperties": {
+            "type": "string"
+          },
+          "title": "Coordinate Kinds",
+          "type": "object"
+        },
+        "product_order": {
+          "$ref": "#/$defs/FiniteOrder"
+        },
+        "unit_functor": {
+          "anyOf": [
+            {
+              "$ref": "#/$defs/UnitFunctorCertificate"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null
+        }
+      },
+      "required": [
+        "cone_id",
+        "product_order"
+      ],
+      "title": "OrderedPotentialCone",
+      "type": "object"
+    },
+    "ProtocolObject": {
+      "properties": {
+        "candidate_universe": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Candidate Universe",
+          "type": "array",
+          "uniqueItems": true
+        },
+        "law_labels": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Law Labels",
+          "type": "array",
+          "uniqueItems": true
+        },
+        "observation_sigma": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Observation Sigma",
+          "type": "array",
+          "uniqueItems": true
+        },
+        "protocol_id": {
+          "title": "Protocol Id",
+          "type": "string"
+        },
+        "validity_domains": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Validity Domains",
+          "type": "array",
+          "uniqueItems": true
+        }
+      },
+      "required": [
+        "protocol_id"
+      ],
+      "title": "ProtocolObject",
+      "type": "object"
+    },
+    "UnitConversion": {
+      "properties": {
+        "audit_id": {
+          "title": "Audit Id",
+          "type": "string"
+        },
+        "factor": {
+          "title": "Factor",
+          "type": "number"
+        },
+        "source_unit": {
+          "title": "Source Unit",
+          "type": "string"
+        },
+        "target_unit": {
+          "title": "Target Unit",
+          "type": "string"
+        }
+      },
+      "required": [
+        "source_unit",
+        "target_unit",
+        "factor",
+        "audit_id"
+      ],
+      "title": "UnitConversion",
+      "type": "object"
+    },
+    "UnitFunctorCertificate": {
+      "properties": {
+        "conversions": {
+          "items": {
+            "$ref": "#/$defs/UnitConversion"
+          },
+          "title": "Conversions",
+          "type": "array"
+        },
+        "monotone": {
+          "default": false,
+          "title": "Monotone",
+          "type": "boolean"
+        },
+        "ordered_units": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Ordered Units",
+          "type": "array",
+          "uniqueItems": true
+        }
+      },
+      "title": "UnitFunctorCertificate",
+      "type": "object"
+    }
+  },
+  "properties": {
+    "dependency_graph": {
+      "$ref": "#/$defs/DependencyDAG"
+    },
+    "family_id": {
+      "title": "Family Id",
+      "type": "string"
+    },
+    "laws": {
+      "items": {
+        "$ref": "#/$defs/InterventionLaw"
+      },
+      "title": "Laws",
+      "type": "array"
+    },
+    "potential_cone": {
+      "$ref": "#/$defs/OrderedPotentialCone"
+    },
+    "protocol": {
+      "$ref": "#/$defs/ProtocolObject"
+    },
+    "report_mask": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Report Mask",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "resource_ledger": {
+      "$ref": "#/$defs/Ledger"
+    }
+  },
+  "required": [
+    "family_id",
+    "protocol",
+    "potential_cone"
+  ],
+  "title": "VectorCompatibleFamily",
+  "type": "object"
+}

package/schemas/VerificationThroughputReport.schema.json

@@ -0,0 +1,62 @@
+{
+  "description": "Finite throughput dashboard for verifier queue health.",
+  "properties": {
+    "abstained_packets": {
+      "default": 0,
+      "title": "Abstained Packets",
+      "type": "integer"
+    },
+    "accepted_packets": {
+      "default": 0,
+      "title": "Accepted Packets",
+      "type": "integer"
+    },
+    "evidence_hash_mismatch_rate": {
+      "default": 0.0,
+      "title": "Evidence Hash Mismatch Rate",
+      "type": "number"
+    },
+    "false_liquidity_rate": {
+      "default": 0.0,
+      "title": "False Liquidity Rate",
+      "type": "number"
+    },
+    "low_contribution_queue_occupation": {
+      "default": 0.0,
+      "title": "Low Contribution Queue Occupation",
+      "type": "number"
+    },
+    "packet_inflow": {
+      "default": 0,
+      "title": "Packet Inflow",
+      "type": "integer"
+    },
+    "rejected_packets": {
+      "default": 0,
+      "title": "Rejected Packets",
+      "type": "integer"
+    },
+    "residual_debt_growth": {
+      "default": 0.0,
+      "title": "Residual Debt Growth",
+      "type": "number"
+    },
+    "stale_packet_ratio": {
+      "default": 0.0,
+      "title": "Stale Packet Ratio",
+      "type": "number"
+    },
+    "unresolved_obligation_backlog": {
+      "default": 0,
+      "title": "Unresolved Obligation Backlog",
+      "type": "integer"
+    },
+    "verifier_latency_proxy": {
+      "default": 0.0,
+      "title": "Verifier Latency Proxy",
+      "type": "number"
+    }
+  },
+  "title": "VerificationThroughputReport",
+  "type": "object"
+}

package/schemas/VerifiedCapabilityPacket.schema.json

@@ -0,0 +1,251 @@
+{
+  "$defs": {
+    "CoordinateKind": {
+      "enum": [
+        "benefit",
+        "burden",
+        "residual",
+        "tolerance",
+        "resource",
+        "metadata"
+      ],
+      "title": "CoordinateKind",
+      "type": "string"
+    },
+    "EvidenceStatus": {
+      "enum": [
+        "verified",
+        "declared",
+        "unknown"
+      ],
+      "title": "EvidenceStatus",
+      "type": "string"
+    },
+    "IdentityContributionStatus": {
+      "description": "How identity evidence may contribute to runtime packet capital.",
+      "enum": [
+        "verified",
+        "provisional",
+        "diagnostic",
+        "quarantined",
+        "rejected"
+      ],
+      "title": "IdentityContributionStatus",
+      "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-scope reusable packet capital after verifier and edge checks.",
+  "properties": {
+    "accepted_edge_witness_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Accepted Edge Witness Ids",
+      "type": "array"
+    },
+    "execution_available": {
+      "default": false,
+      "title": "Execution Available",
+      "type": "boolean"
+    },
+    "expires_at": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Expires At"
+    },
+    "identity_contribution_status": {
+      "$ref": "#/$defs/IdentityContributionStatus",
+      "default": "verified"
+    },
+    "issuer_agent_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Issuer Agent Id"
+    },
+    "issuer_attestation_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Issuer Attestation Id"
+    },
+    "issuer_public_key_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Issuer Public Key Id"
+    },
+    "liquidity_score": {
+      "default": 0.0,
+      "title": "Liquidity Score",
+      "type": "number"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "packet_id": {
+      "title": "Packet Id",
+      "type": "string"
+    },
+    "receiver_family": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Receiver Family",
+      "type": "array"
+    },
+    "residual_external_obligations": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Residual External Obligations",
+      "type": "array"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "rollback_receipt": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Rollback Receipt"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "settlement_scope": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Settlement Scope",
+      "type": "array"
+    },
+    "source_candidate_id": {
+      "title": "Source Candidate Id",
+      "type": "string"
+    },
+    "validity_domain": {
+      "default": "protocol-relative-finite",
+      "title": "Validity Domain",
+      "type": "string"
+    },
+    "verification_resolution_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Verification Resolution Ids",
+      "type": "array"
+    }
+  },
+  "required": [
+    "packet_id",
+    "source_candidate_id"
+  ],
+  "title": "VerifiedCapabilityPacket",
+  "type": "object"
+}