percolation-inversion-compiler-ts 0.4.4

package/schemas/DominanceWitness.schema.json

@@ -0,0 +1,31 @@
+{
+  "description": "Certificate that one finite element is no worse than another.",
+  "properties": {
+    "accepted": {
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "left": {
+      "title": "Left",
+      "type": "string"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "right": {
+      "title": "Right",
+      "type": "string"
+    }
+  },
+  "required": [
+    "left",
+    "right",
+    "accepted"
+  ],
+  "title": "DominanceWitness",
+  "type": "object"
+}

package/schemas/EProcessCertificate.schema.json

@@ -0,0 +1,22 @@
+{
+  "description": "Finite e-process hook for time-uniform evidence.",
+  "properties": {
+    "alpha": {
+      "title": "Alpha",
+      "type": "number"
+    },
+    "e_values": {
+      "items": {
+        "type": "number"
+      },
+      "title": "E Values",
+      "type": "array"
+    }
+  },
+  "required": [
+    "e_values",
+    "alpha"
+  ],
+  "title": "EProcessCertificate",
+  "type": "object"
+}

package/schemas/EdgeRelationVerificationReport.schema.json

@@ -0,0 +1,161 @@
+{
+  "$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": "Semantic finite check for an edge certificate relation.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "certificate_id": {
+      "title": "Certificate Id",
+      "type": "string"
+    },
+    "finite_checks_passed": {
+      "default": false,
+      "title": "Finite Checks Passed",
+      "type": "boolean"
+    },
+    "matched_evidence_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Matched Evidence Refs",
+      "type": "array"
+    },
+    "missing_evidence_markers": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Missing Evidence Markers",
+      "type": "array"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "relation_type": {
+      "title": "Relation Type",
+      "type": "string"
+    },
+    "report_id": {
+      "title": "Report Id",
+      "type": "string"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    }
+  },
+  "required": [
+    "report_id",
+    "certificate_id",
+    "relation_type"
+  ],
+  "title": "EdgeRelationVerificationReport",
+  "type": "object"
+}

package/schemas/EdgeRelationVerifierSpec.schema.json

@@ -0,0 +1,62 @@
+{
+  "description": "Portable verifier policy for one packet-edge relation type.",
+  "properties": {
+    "minimum_confidence_lower_bound": {
+      "default": 0.2,
+      "title": "Minimum Confidence Lower Bound",
+      "type": "number"
+    },
+    "relation_type": {
+      "title": "Relation Type",
+      "type": "string"
+    },
+    "require_receiver_overlap": {
+      "default": false,
+      "title": "Require Receiver Overlap",
+      "type": "boolean"
+    },
+    "require_verifier_resolution": {
+      "default": false,
+      "title": "Require Verifier Resolution",
+      "type": "boolean"
+    },
+    "required_evidence_markers": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Required Evidence Markers",
+      "type": "array"
+    },
+    "required_relation_evidence_keys": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Required Relation Evidence Keys",
+      "type": "array"
+    },
+    "required_source_tags": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Required Source Tags",
+      "type": "array"
+    },
+    "required_target_tags": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Required Target Tags",
+      "type": "array"
+    },
+    "residual_policy": {
+      "default": "charge-false-edge-until-relation-evidence-is-accepted",
+      "title": "Residual Policy",
+      "type": "string"
+    }
+  },
+  "required": [
+    "relation_type"
+  ],
+  "title": "EdgeRelationVerifierSpec",
+  "type": "object"
+}

package/schemas/EdgeWitness.schema.json

@@ -0,0 +1,73 @@
+{
+  "description": "Finite witness that one or more packets support another packet or receiver.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "confidence": {
+      "default": 0.0,
+      "title": "Confidence",
+      "type": "number"
+    },
+    "edge_id": {
+      "title": "Edge Id",
+      "type": "string"
+    },
+    "edge_type": {
+      "default": "semantic-dependency",
+      "title": "Edge Type",
+      "type": "string"
+    },
+    "evidence_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Evidence Refs",
+      "type": "array"
+    },
+    "expires_at": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Expires At"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "residual": {
+      "default": 0.0,
+      "title": "Residual",
+      "type": "number"
+    },
+    "source_packet_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Source Packet Ids",
+      "type": "array"
+    },
+    "target_packet_id": {
+      "title": "Target Packet Id",
+      "type": "string"
+    }
+  },
+  "required": [
+    "edge_id",
+    "source_packet_ids",
+    "target_packet_id"
+  ],
+  "title": "EdgeWitness",
+  "type": "object"
+}

package/schemas/EdgeWitnessCertificate.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": "Auditable finite certificate for a packet ecology edge.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "certificate_id": {
+      "title": "Certificate Id",
+      "type": "string"
+    },
+    "confidence_lower_bound": {
+      "default": 0.0,
+      "title": "Confidence Lower Bound",
+      "type": "number"
+    },
+    "edge_id": {
+      "title": "Edge Id",
+      "type": "string"
+    },
+    "evidence_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Evidence Refs",
+      "type": "array"
+    },
+    "expires_at": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Expires At"
+    },
+    "false_edge_residual": {
+      "default": 1.0,
+      "title": "False Edge Residual",
+      "type": "number"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "relation_evidence": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Relation Evidence",
+      "type": "object"
+    },
+    "relation_type": {
+      "default": "semantic-dependency",
+      "title": "Relation Type",
+      "type": "string"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "source_packet_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Source Packet Ids",
+      "type": "array"
+    },
+    "target_packet_id": {
+      "title": "Target Packet Id",
+      "type": "string"
+    },
+    "verifier_resolution_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Verifier Resolution Id"
+    }
+  },
+  "required": [
+    "certificate_id",
+    "edge_id",
+    "target_packet_id"
+  ],
+  "title": "EdgeWitnessCertificate",
+  "type": "object"
+}

package/schemas/EvidenceArtifact.schema.json

@@ -0,0 +1,112 @@
+{
+  "description": "Replayable evidence metadata for an external verifier route.",
+  "properties": {
+    "artifact_id": {
+      "title": "Artifact Id",
+      "type": "string"
+    },
+    "attestation_ref": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Attestation Ref"
+    },
+    "attestation_verified": {
+      "default": false,
+      "title": "Attestation Verified",
+      "type": "boolean"
+    },
+    "content_ref": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Content Ref"
+    },
+    "evidence_kind": {
+      "title": "Evidence Kind",
+      "type": "string"
+    },
+    "media_type": {
+      "title": "Media Type",
+      "type": "string"
+    },
+    "produced_at": {
+      "title": "Produced At",
+      "type": "string"
+    },
+    "producer_id": {
+      "title": "Producer Id",
+      "type": "string"
+    },
+    "schema_sha256": {
+      "title": "Schema Sha256",
+      "type": "string"
+    },
+    "schema_uri": {
+      "title": "Schema Uri",
+      "type": "string"
+    },
+    "sha256": {
+      "title": "Sha256",
+      "type": "string"
+    },
+    "signature": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Signature"
+    },
+    "signature_algorithm": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Signature Algorithm"
+    },
+    "verifier_id": {
+      "title": "Verifier Id",
+      "type": "string"
+    },
+    "verifier_version": {
+      "title": "Verifier Version",
+      "type": "string"
+    }
+  },
+  "required": [
+    "artifact_id",
+    "evidence_kind",
+    "sha256",
+    "media_type",
+    "schema_uri",
+    "schema_sha256",
+    "producer_id",
+    "produced_at",
+    "verifier_id",
+    "verifier_version"
+  ],
+  "title": "EvidenceArtifact",
+  "type": "object"
+}