percolation-inversion-compiler-ts 0.4.5 → 0.5.0

package/schemas/AutocatalyticClosureReport.schema.json

@@ -0,0 +1,408 @@
+{
+  "$defs": {
+    "AutocatalyticClosureWitness": {
+      "description": "Evidence-supported diagnostic closure witness over effective packet edges.",
+      "properties": {
+        "accepted": {
+          "default": false,
+          "title": "Accepted",
+          "type": "boolean"
+        },
+        "edge_ids": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Edge Ids",
+          "type": "array"
+        },
+        "evidence_supported": {
+          "default": false,
+          "title": "Evidence Supported",
+          "type": "boolean"
+        },
+        "execution_available": {
+          "default": false,
+          "title": "Execution Available",
+          "type": "boolean"
+        },
+        "packet_ids": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Packet Ids",
+          "type": "array"
+        },
+        "productive": {
+          "default": false,
+          "title": "Productive",
+          "type": "boolean"
+        },
+        "protocol_relative_only": {
+          "default": true,
+          "title": "Protocol Relative Only",
+          "type": "boolean"
+        },
+        "reasons": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Reasons",
+          "type": "array"
+        },
+        "settled": {
+          "default": false,
+          "title": "Settled",
+          "type": "boolean"
+        },
+        "witness_id": {
+          "title": "Witness Id",
+          "type": "string"
+        },
+        "witness_kind": {
+          "default": "autocatalytic-closure",
+          "title": "Witness Kind",
+          "type": "string"
+        }
+      },
+      "required": [
+        "witness_id"
+      ],
+      "title": "AutocatalyticClosureWitness",
+      "type": "object"
+    },
+    "ClosureAbstentionReason": {
+      "properties": {
+        "missing_evidence_refs": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Missing Evidence Refs",
+          "type": "array"
+        },
+        "reason": {
+          "title": "Reason",
+          "type": "string"
+        },
+        "reason_id": {
+          "title": "Reason Id",
+          "type": "string"
+        }
+      },
+      "required": [
+        "reason_id",
+        "reason"
+      ],
+      "title": "ClosureAbstentionReason",
+      "type": "object"
+    },
+    "ClosureCertificateCandidate": {
+      "properties": {
+        "abstention_reasons": {
+          "items": {
+            "$ref": "#/$defs/ClosureAbstentionReason"
+          },
+          "title": "Abstention Reasons",
+          "type": "array"
+        },
+        "accepted": {
+          "default": false,
+          "title": "Accepted",
+          "type": "boolean"
+        },
+        "certificate_id": {
+          "default": "closure-certificate-candidate",
+          "title": "Certificate Id",
+          "type": "string"
+        },
+        "certificate_status": {
+          "default": "abstain",
+          "title": "Certificate Status",
+          "type": "string"
+        },
+        "defects": {
+          "items": {
+            "$ref": "#/$defs/ClosureDefect"
+          },
+          "title": "Defects",
+          "type": "array"
+        },
+        "reasons": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Reasons",
+          "type": "array"
+        },
+        "settled": {
+          "default": false,
+          "title": "Settled",
+          "type": "boolean"
+        },
+        "witness_ids": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Witness Ids",
+          "type": "array"
+        }
+      },
+      "title": "ClosureCertificateCandidate",
+      "type": "object"
+    },
+    "ClosureDefect": {
+      "properties": {
+        "defect_id": {
+          "title": "Defect Id",
+          "type": "string"
+        },
+        "defect_type": {
+          "title": "Defect Type",
+          "type": "string"
+        },
+        "packet_or_edge_id": {
+          "title": "Packet Or Edge Id",
+          "type": "string"
+        },
+        "residual_preserved": {
+          "default": true,
+          "title": "Residual Preserved",
+          "type": "boolean"
+        }
+      },
+      "required": [
+        "defect_id",
+        "packet_or_edge_id",
+        "defect_type"
+      ],
+      "title": "ClosureDefect",
+      "type": "object"
+    },
+    "ClosureSupportHyperpath": {
+      "properties": {
+        "accepted": {
+          "default": false,
+          "title": "Accepted",
+          "type": "boolean"
+        },
+        "edge_ids": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Edge Ids",
+          "type": "array"
+        },
+        "hyperpath_id": {
+          "title": "Hyperpath Id",
+          "type": "string"
+        },
+        "settled": {
+          "default": false,
+          "title": "Settled",
+          "type": "boolean"
+        },
+        "source_packet_ids": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Source Packet Ids",
+          "type": "array"
+        },
+        "target_packet_ids": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Target Packet Ids",
+          "type": "array"
+        }
+      },
+      "required": [
+        "hyperpath_id"
+      ],
+      "title": "ClosureSupportHyperpath",
+      "type": "object"
+    },
+    "ExecutableClosureWitness": {
+      "properties": {
+        "accepted": {
+          "default": false,
+          "title": "Accepted",
+          "type": "boolean"
+        },
+        "closure_witness_id": {
+          "title": "Closure Witness Id",
+          "type": "string"
+        },
+        "execution_available": {
+          "default": false,
+          "title": "Execution Available",
+          "type": "boolean"
+        },
+        "execution_path_ids": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Execution Path Ids",
+          "type": "array"
+        },
+        "reasons": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Reasons",
+          "type": "array"
+        },
+        "settled": {
+          "default": false,
+          "title": "Settled",
+          "type": "boolean"
+        },
+        "witness_id": {
+          "title": "Witness Id",
+          "type": "string"
+        }
+      },
+      "required": [
+        "witness_id",
+        "closure_witness_id"
+      ],
+      "title": "ExecutableClosureWitness",
+      "type": "object"
+    },
+    "ProductiveClosureWitness": {
+      "properties": {
+        "accepted": {
+          "default": false,
+          "title": "Accepted",
+          "type": "boolean"
+        },
+        "packet_ids": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Packet Ids",
+          "type": "array"
+        },
+        "productive_edge_ids": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Productive Edge Ids",
+          "type": "array"
+        },
+        "productivity_lower_bound": {
+          "default": 0.0,
+          "title": "Productivity Lower Bound",
+          "type": "number"
+        },
+        "reasons": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Reasons",
+          "type": "array"
+        },
+        "settled": {
+          "default": false,
+          "title": "Settled",
+          "type": "boolean"
+        },
+        "witness_id": {
+          "title": "Witness Id",
+          "type": "string"
+        }
+      },
+      "required": [
+        "witness_id"
+      ],
+      "title": "ProductiveClosureWitness",
+      "type": "object"
+    }
+  },
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "certificate_candidate": {
+      "$ref": "#/$defs/ClosureCertificateCandidate"
+    },
+    "closure_score": {
+      "default": 0.0,
+      "title": "Closure Score",
+      "type": "number"
+    },
+    "closure_witnesses": {
+      "items": {
+        "$ref": "#/$defs/AutocatalyticClosureWitness"
+      },
+      "title": "Closure Witnesses",
+      "type": "array"
+    },
+    "defects": {
+      "items": {
+        "$ref": "#/$defs/ClosureDefect"
+      },
+      "title": "Defects",
+      "type": "array"
+    },
+    "executable_witnesses": {
+      "items": {
+        "$ref": "#/$defs/ExecutableClosureWitness"
+      },
+      "title": "Executable Witnesses",
+      "type": "array"
+    },
+    "graph_id": {
+      "title": "Graph Id",
+      "type": "string"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "productive_witnesses": {
+      "items": {
+        "$ref": "#/$defs/ProductiveClosureWitness"
+      },
+      "title": "Productive Witnesses",
+      "type": "array"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "report_id": {
+      "default": "autocatalytic-closure-report",
+      "title": "Report Id",
+      "type": "string"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "support_hyperpaths": {
+      "items": {
+        "$ref": "#/$defs/ClosureSupportHyperpath"
+      },
+      "title": "Support Hyperpaths",
+      "type": "array"
+    },
+    "workflow_usable": {
+      "default": true,
+      "title": "Workflow Usable",
+      "type": "boolean"
+    }
+  },
+  "required": [
+    "graph_id",
+    "certificate_candidate"
+  ],
+  "title": "AutocatalyticClosureReport",
+  "type": "object"
+}

package/schemas/AutocatalyticClosureWitness.schema.json

@@ -1,156 +1,44 @@
 {
-  "$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 finite closure witness for ECPT collective packet regeneration.",
+  "description": "Evidence-supported diagnostic closure witness over effective packet edges.",
   "properties": {
     "accepted": {
       "default": false,
       "title": "Accepted",
       "type": "boolean"
     },
-    "closure_packet_ids": {
-      "items": {
-        "type": "string"
-      },
-      "title": "Closure Packet Ids",
-      "type": "array"
-    },
-    "closure_strength": {
-      "default": 0.0,
-      "title": "Closure Strength",
-      "type": "number"
-    },
-    "external_seed_packet_ids": {
+    "edge_ids": {
       "items": {
         "type": "string"
       },
-      "title": "External Seed Packet Ids",
+      "title": "Edge Ids",
       "type": "array"
     },
-    "false_liquidity_rate": {
-      "default": 0.0,
-      "title": "False Liquidity Rate",
-      "type": "number"
+    "evidence_supported": {
+      "default": false,
+      "title": "Evidence Supported",
+      "type": "boolean"
     },
-    "finite_checks_passed": {
+    "execution_available": {
       "default": false,
-      "title": "Finite Checks Passed",
+      "title": "Execution Available",
       "type": "boolean"
     },
-    "internal_edge_ids": {
+    "packet_ids": {
       "items": {
         "type": "string"
       },
-      "title": "Internal Edge Ids",
+      "title": "Packet Ids",
       "type": "array"
     },
-    "operationally_usable": {
+    "productive": {
       "default": false,
-      "title": "Operationally Usable",
+      "title": "Productive",
       "type": "boolean"
     },
-    "productive_packet_ids": {
-      "items": {
-        "type": "string"
-      },
-      "title": "Productive Packet Ids",
-      "type": "array"
-    },
-    "productivity_lower_bound": {
-      "default": 0.0,
-      "title": "Productivity Lower Bound",
-      "type": "number"
+    "protocol_relative_only": {
+      "default": true,
+      "title": "Protocol Relative Only",
+      "type": "boolean"
     },
     "reasons": {
       "items": {
@@ -159,16 +47,6 @@
       "title": "Reasons",
       "type": "array"
     },
-    "regeneration_edge_ids": {
-      "items": {
-        "type": "string"
-      },
-      "title": "Regeneration Edge Ids",
-      "type": "array"
-    },
-    "residual_ledger": {
-      "$ref": "#/$defs/Ledger"
-    },
     "settled": {
       "default": false,
       "title": "Settled",
@@ -177,6 +55,11 @@
     "witness_id": {
       "title": "Witness Id",
       "type": "string"
+    },
+    "witness_kind": {
+      "default": "autocatalytic-closure",
+      "title": "Witness Kind",
+      "type": "string"
     }
   },
   "required": [

package/schemas/BasinReachabilityProxy.schema.json

@@ -0,0 +1,21 @@
+{
+  "properties": {
+    "effective_node_count": {
+      "default": 0,
+      "title": "Effective Node Count",
+      "type": "integer"
+    },
+    "execution_available_path_count": {
+      "default": 0,
+      "title": "Execution Available Path Count",
+      "type": "integer"
+    },
+    "reachability_proxy": {
+      "default": 0.0,
+      "title": "Reachability Proxy",
+      "type": "number"
+    }
+  },
+  "title": "BasinReachabilityProxy",
+  "type": "object"
+}