percolation-inversion-compiler-ts 0.4.4

package/schemas/OrderedPotentialCone.schema.json

@@ -0,0 +1,125 @@
+{
+  "$defs": {
+    "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"
+    },
+    "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": {
+    "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"
+}

package/schemas/PacketCapitalLineage.schema.json

@@ -0,0 +1,90 @@
+{
+  "description": "Lineage record for finite verified packet capital.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "edge_certificate_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Edge Certificate Ids",
+      "type": "array"
+    },
+    "lineage_id": {
+      "title": "Lineage Id",
+      "type": "string"
+    },
+    "packet_id": {
+      "title": "Packet Id",
+      "type": "string"
+    },
+    "parent_packet_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Parent Packet Ids",
+      "type": "array"
+    },
+    "protocol_frame_sha256": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Protocol Frame Sha256"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "residual_external_obligations": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Residual External Obligations",
+      "type": "array"
+    },
+    "runtime_event_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Runtime Event Ids",
+      "type": "array"
+    },
+    "source_candidate_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Source Candidate Id"
+    },
+    "verifier_resolution_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Verifier Resolution Ids",
+      "type": "array"
+    }
+  },
+  "required": [
+    "lineage_id",
+    "packet_id"
+  ],
+  "title": "PacketCapitalLineage",
+  "type": "object"
+}

package/schemas/PacketExchangeEnvelope.schema.json

@@ -0,0 +1,213 @@
+{
+  "$defs": {
+    "ResidualCarryForwardReport": {
+      "description": "Residual data that must remain attached during packet exchange.",
+      "properties": {
+        "accepted": {
+          "default": false,
+          "title": "Accepted",
+          "type": "boolean"
+        },
+        "candidate_only_reasons": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Candidate Only Reasons",
+          "type": "array"
+        },
+        "missing_obligations": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Missing Obligations",
+          "type": "array"
+        },
+        "reasons": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Reasons",
+          "type": "array"
+        },
+        "report_id": {
+          "default": "residual-carry-forward",
+          "title": "Report Id",
+          "type": "string"
+        },
+        "residual_summary": {
+          "additionalProperties": {
+            "type": "number"
+          },
+          "title": "Residual Summary",
+          "type": "object"
+        },
+        "settled": {
+          "default": false,
+          "title": "Settled",
+          "type": "boolean"
+        },
+        "settled_blockers": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Settled Blockers",
+          "type": "array"
+        }
+      },
+      "title": "ResidualCarryForwardReport",
+      "type": "object"
+    }
+  },
+  "description": "Data-only packet envelope for diagnostic exchange.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "candidate_only_reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Candidate Only Reasons",
+      "type": "array"
+    },
+    "content": {
+      "additionalProperties": true,
+      "title": "Content",
+      "type": "object"
+    },
+    "content_digest": {
+      "title": "Content Digest",
+      "type": "string"
+    },
+    "created_timestamp": {
+      "default": "not-recorded",
+      "title": "Created Timestamp",
+      "type": "string"
+    },
+    "identity_context_summary": {
+      "additionalProperties": {
+        "anyOf": [
+          {
+            "type": "string"
+          },
+          {
+            "type": "boolean"
+          },
+          {
+            "type": "integer"
+          }
+        ]
+      },
+      "title": "Identity Context Summary",
+      "type": "object"
+    },
+    "issuer_agent_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Issuer Agent Id"
+    },
+    "issuer_public_key_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Issuer Public Key Id"
+    },
+    "lineage_parents": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Lineage Parents",
+      "type": "array"
+    },
+    "missing_obligations": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Missing Obligations",
+      "type": "array"
+    },
+    "packet_id": {
+      "title": "Packet Id",
+      "type": "string"
+    },
+    "provenance_summary": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Provenance Summary",
+      "type": "object"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "residual_carry_forward": {
+      "$ref": "#/$defs/ResidualCarryForwardReport"
+    },
+    "residual_ledger_summary": {
+      "additionalProperties": {
+        "type": "number"
+      },
+      "title": "Residual Ledger Summary",
+      "type": "object"
+    },
+    "safety_invariants": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Safety Invariants",
+      "type": "array"
+    },
+    "schema_version": {
+      "default": "pic-packet-exchange-v1",
+      "title": "Schema Version",
+      "type": "string"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "settled_blockers": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Settled Blockers",
+      "type": "array"
+    },
+    "source_kind": {
+      "default": "runtime-report",
+      "title": "Source Kind",
+      "type": "string"
+    },
+    "workflow_usable": {
+      "default": false,
+      "title": "Workflow Usable",
+      "type": "boolean"
+    }
+  },
+  "required": [
+    "packet_id",
+    "content_digest"
+  ],
+  "title": "PacketExchangeEnvelope",
+  "type": "object"
+}

package/schemas/PacketImportInspectionReport.schema.json

@@ -0,0 +1,68 @@
+{
+  "description": "Inspection report for one data-only packet envelope.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "candidate_only": {
+      "default": true,
+      "title": "Candidate Only",
+      "type": "boolean"
+    },
+    "content_digest": {
+      "title": "Content Digest",
+      "type": "string"
+    },
+    "content_treated_as_data": {
+      "default": true,
+      "title": "Content Treated As Data",
+      "type": "boolean"
+    },
+    "embedded_command_like_values": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Embedded Command Like Values",
+      "type": "array"
+    },
+    "executed_command_count": {
+      "default": 0,
+      "title": "Executed Command Count",
+      "type": "integer"
+    },
+    "packet_id": {
+      "title": "Packet Id",
+      "type": "string"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "report_id": {
+      "title": "Report Id",
+      "type": "string"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "workflow_usable": {
+      "default": false,
+      "title": "Workflow Usable",
+      "type": "boolean"
+    }
+  },
+  "required": [
+    "report_id",
+    "packet_id",
+    "content_digest"
+  ],
+  "title": "PacketImportInspectionReport",
+  "type": "object"
+}