percolation-inversion-compiler-ts 0.4.4

package/schemas/PhaseAccelerationScore.schema.json

@@ -0,0 +1,66 @@
+{
+  "description": "Finite ECPT ASI-proxy acceleration score for ranking runtime outputs.",
+  "properties": {
+    "components": {
+      "additionalProperties": {
+        "type": "number"
+      },
+      "title": "Components",
+      "type": "object"
+    },
+    "false_liquidity_charge": {
+      "default": 0.0,
+      "title": "False Liquidity Charge",
+      "type": "number"
+    },
+    "finite_proxy_gain": {
+      "default": 0.0,
+      "title": "Finite Proxy Gain",
+      "type": "number"
+    },
+    "missing_route_charge": {
+      "default": 0.0,
+      "title": "Missing Route Charge",
+      "type": "number"
+    },
+    "psi_distance_reduction": {
+      "default": 0.0,
+      "title": "Psi Distance Reduction",
+      "type": "number"
+    },
+    "residual_debt_charge": {
+      "default": 0.0,
+      "title": "Residual Debt Charge",
+      "type": "number"
+    },
+    "risk_charge": {
+      "default": 0.0,
+      "title": "Risk Charge",
+      "type": "number"
+    },
+    "score_id": {
+      "title": "Score Id",
+      "type": "string"
+    },
+    "stale_packet_charge": {
+      "default": 0.0,
+      "title": "Stale Packet Charge",
+      "type": "number"
+    },
+    "total_score": {
+      "title": "Total Score",
+      "type": "number"
+    },
+    "verification_throughput_score": {
+      "default": 0.0,
+      "title": "Verification Throughput Score",
+      "type": "number"
+    }
+  },
+  "required": [
+    "score_id",
+    "total_score"
+  ],
+  "title": "PhaseAccelerationScore",
+  "type": "object"
+}

package/schemas/PhaseBenchmarkCaseResult.schema.json

@@ -0,0 +1,164 @@
+{
+  "$defs": {
+    "PhaseBenchmarkTask": {
+      "description": "Bundled benchmark task that can run from an installed package.",
+      "properties": {
+        "agent_output": {
+          "title": "Agent Output",
+          "type": "string"
+        },
+        "candidate_only": {
+          "default": true,
+          "title": "Candidate Only",
+          "type": "boolean"
+        },
+        "execution_authority_granted": {
+          "default": false,
+          "title": "Execution Authority Granted",
+          "type": "boolean"
+        },
+        "expected_properties": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Expected Properties",
+          "type": "array"
+        },
+        "task_id": {
+          "title": "Task Id",
+          "type": "string"
+        }
+      },
+      "required": [
+        "task_id",
+        "agent_output"
+      ],
+      "title": "PhaseBenchmarkTask",
+      "type": "object"
+    },
+    "ProtocolRelativeBenchmarkMetric": {
+      "description": "One diagnostic metric for protocol-relative sidecar benchmarking.",
+      "properties": {
+        "interpretation": {
+          "default": "diagnostic-only metric; does not settle claims",
+          "title": "Interpretation",
+          "type": "string"
+        },
+        "label": {
+          "title": "Label",
+          "type": "string"
+        },
+        "maximum": {
+          "default": 1.0,
+          "title": "Maximum",
+          "type": "number"
+        },
+        "metric_id": {
+          "title": "Metric Id",
+          "type": "string"
+        },
+        "passed": {
+          "default": false,
+          "title": "Passed",
+          "type": "boolean"
+        },
+        "value": {
+          "default": 0.0,
+          "title": "Value",
+          "type": "number"
+        }
+      },
+      "required": [
+        "metric_id",
+        "label"
+      ],
+      "title": "ProtocolRelativeBenchmarkMetric",
+      "type": "object"
+    }
+  },
+  "description": "Result for one phase benchmark-suite task.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "bottleneck_count": {
+      "default": 0,
+      "title": "Bottleneck Count",
+      "type": "integer"
+    },
+    "candidate_only_reason_count": {
+      "default": 0,
+      "title": "Candidate Only Reason Count",
+      "type": "integer"
+    },
+    "case_id": {
+      "title": "Case Id",
+      "type": "string"
+    },
+    "metric_results": {
+      "items": {
+        "$ref": "#/$defs/ProtocolRelativeBenchmarkMetric"
+      },
+      "title": "Metric Results",
+      "type": "array"
+    },
+    "missing_obligation_count": {
+      "default": 0,
+      "title": "Missing Obligation Count",
+      "type": "integer"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "phase_gap_visible": {
+      "default": false,
+      "title": "Phase Gap Visible",
+      "type": "boolean"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "residual_coordinate_count": {
+      "default": 0,
+      "title": "Residual Coordinate Count",
+      "type": "integer"
+    },
+    "safe_command_count": {
+      "default": 0,
+      "title": "Safe Command Count",
+      "type": "integer"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "settled_blocker_count": {
+      "default": 0,
+      "title": "Settled Blocker Count",
+      "type": "integer"
+    },
+    "task": {
+      "$ref": "#/$defs/PhaseBenchmarkTask"
+    },
+    "workflow_usable": {
+      "default": false,
+      "title": "Workflow Usable",
+      "type": "boolean"
+    }
+  },
+  "required": [
+    "case_id",
+    "task"
+  ],
+  "title": "PhaseBenchmarkCaseResult",
+  "type": "object"
+}

package/schemas/PhaseBenchmarkSuiteReport.schema.json

@@ -0,0 +1,234 @@
+{
+  "$defs": {
+    "PhaseBenchmarkCaseResult": {
+      "description": "Result for one phase benchmark-suite task.",
+      "properties": {
+        "accepted": {
+          "default": false,
+          "title": "Accepted",
+          "type": "boolean"
+        },
+        "bottleneck_count": {
+          "default": 0,
+          "title": "Bottleneck Count",
+          "type": "integer"
+        },
+        "candidate_only_reason_count": {
+          "default": 0,
+          "title": "Candidate Only Reason Count",
+          "type": "integer"
+        },
+        "case_id": {
+          "title": "Case Id",
+          "type": "string"
+        },
+        "metric_results": {
+          "items": {
+            "$ref": "#/$defs/ProtocolRelativeBenchmarkMetric"
+          },
+          "title": "Metric Results",
+          "type": "array"
+        },
+        "missing_obligation_count": {
+          "default": 0,
+          "title": "Missing Obligation Count",
+          "type": "integer"
+        },
+        "operationally_usable": {
+          "default": false,
+          "title": "Operationally Usable",
+          "type": "boolean"
+        },
+        "phase_gap_visible": {
+          "default": false,
+          "title": "Phase Gap Visible",
+          "type": "boolean"
+        },
+        "reasons": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Reasons",
+          "type": "array"
+        },
+        "residual_coordinate_count": {
+          "default": 0,
+          "title": "Residual Coordinate Count",
+          "type": "integer"
+        },
+        "safe_command_count": {
+          "default": 0,
+          "title": "Safe Command Count",
+          "type": "integer"
+        },
+        "settled": {
+          "default": false,
+          "title": "Settled",
+          "type": "boolean"
+        },
+        "settled_blocker_count": {
+          "default": 0,
+          "title": "Settled Blocker Count",
+          "type": "integer"
+        },
+        "task": {
+          "$ref": "#/$defs/PhaseBenchmarkTask"
+        },
+        "workflow_usable": {
+          "default": false,
+          "title": "Workflow Usable",
+          "type": "boolean"
+        }
+      },
+      "required": [
+        "case_id",
+        "task"
+      ],
+      "title": "PhaseBenchmarkCaseResult",
+      "type": "object"
+    },
+    "PhaseBenchmarkTask": {
+      "description": "Bundled benchmark task that can run from an installed package.",
+      "properties": {
+        "agent_output": {
+          "title": "Agent Output",
+          "type": "string"
+        },
+        "candidate_only": {
+          "default": true,
+          "title": "Candidate Only",
+          "type": "boolean"
+        },
+        "execution_authority_granted": {
+          "default": false,
+          "title": "Execution Authority Granted",
+          "type": "boolean"
+        },
+        "expected_properties": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Expected Properties",
+          "type": "array"
+        },
+        "task_id": {
+          "title": "Task Id",
+          "type": "string"
+        }
+      },
+      "required": [
+        "task_id",
+        "agent_output"
+      ],
+      "title": "PhaseBenchmarkTask",
+      "type": "object"
+    },
+    "ProtocolRelativeBenchmarkMetric": {
+      "description": "One diagnostic metric for protocol-relative sidecar benchmarking.",
+      "properties": {
+        "interpretation": {
+          "default": "diagnostic-only metric; does not settle claims",
+          "title": "Interpretation",
+          "type": "string"
+        },
+        "label": {
+          "title": "Label",
+          "type": "string"
+        },
+        "maximum": {
+          "default": 1.0,
+          "title": "Maximum",
+          "type": "number"
+        },
+        "metric_id": {
+          "title": "Metric Id",
+          "type": "string"
+        },
+        "passed": {
+          "default": false,
+          "title": "Passed",
+          "type": "boolean"
+        },
+        "value": {
+          "default": 0.0,
+          "title": "Value",
+          "type": "number"
+        }
+      },
+      "required": [
+        "metric_id",
+        "label"
+      ],
+      "title": "ProtocolRelativeBenchmarkMetric",
+      "type": "object"
+    }
+  },
+  "description": "Diagnostic benchmark suite for protocol-relative workflow properties.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "aggregate_metrics": {
+      "items": {
+        "$ref": "#/$defs/ProtocolRelativeBenchmarkMetric"
+      },
+      "title": "Aggregate Metrics",
+      "type": "array"
+    },
+    "aggregate_score": {
+      "default": 0.0,
+      "title": "Aggregate Score",
+      "type": "number"
+    },
+    "cases": {
+      "items": {
+        "$ref": "#/$defs/PhaseBenchmarkCaseResult"
+      },
+      "title": "Cases",
+      "type": "array"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "profile": {
+      "default": "development",
+      "title": "Profile",
+      "type": "string"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "report_id": {
+      "default": "phase-benchmark-suite",
+      "title": "Report Id",
+      "type": "string"
+    },
+    "safety_invariants": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Safety Invariants",
+      "type": "array"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "workflow_usable": {
+      "default": false,
+      "title": "Workflow Usable",
+      "type": "boolean"
+    }
+  },
+  "title": "PhaseBenchmarkSuiteReport",
+  "type": "object"
+}

package/schemas/PhaseBenchmarkTask.schema.json

@@ -0,0 +1,36 @@
+{
+  "description": "Bundled benchmark task that can run from an installed package.",
+  "properties": {
+    "agent_output": {
+      "title": "Agent Output",
+      "type": "string"
+    },
+    "candidate_only": {
+      "default": true,
+      "title": "Candidate Only",
+      "type": "boolean"
+    },
+    "execution_authority_granted": {
+      "default": false,
+      "title": "Execution Authority Granted",
+      "type": "boolean"
+    },
+    "expected_properties": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Expected Properties",
+      "type": "array"
+    },
+    "task_id": {
+      "title": "Task Id",
+      "type": "string"
+    }
+  },
+  "required": [
+    "task_id",
+    "agent_output"
+  ],
+  "title": "PhaseBenchmarkTask",
+  "type": "object"
+}

package/schemas/PhaseComponentGap.schema.json

@@ -0,0 +1,46 @@
+{
+  "description": "One finite gap between a phase proxy component and its threshold.",
+  "properties": {
+    "component": {
+      "title": "Component",
+      "type": "string"
+    },
+    "current_value": {
+      "default": 0.0,
+      "title": "Current Value",
+      "type": "number"
+    },
+    "gap": {
+      "default": 0.0,
+      "title": "Gap",
+      "type": "number"
+    },
+    "limiting": {
+      "default": false,
+      "title": "Limiting",
+      "type": "boolean"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "source": {
+      "default": "PsiDashboard",
+      "title": "Source",
+      "type": "string"
+    },
+    "threshold_value": {
+      "default": 0.0,
+      "title": "Threshold Value",
+      "type": "number"
+    }
+  },
+  "required": [
+    "component"
+  ],
+  "title": "PhaseComponentGap",
+  "type": "object"
+}

package/schemas/PhaseControlAction.schema.json

@@ -0,0 +1,80 @@
+{
+  "properties": {
+    "action_id": {
+      "title": "Action Id",
+      "type": "string"
+    },
+    "activation_delta": {
+      "default": 0.0,
+      "title": "Activation Delta",
+      "type": "number"
+    },
+    "burden_delta": {
+      "default": 0.0,
+      "title": "Burden Delta",
+      "type": "number"
+    },
+    "postconditions": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Postconditions",
+      "type": "array"
+    },
+    "preconditions": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Preconditions",
+      "type": "array"
+    },
+    "required_obligations": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Required Obligations",
+      "type": "array"
+    },
+    "residual_charge": {
+      "default": 0.0,
+      "title": "Residual Charge",
+      "type": "number"
+    },
+    "resource_cost": {
+      "additionalProperties": {
+        "type": "number"
+      },
+      "title": "Resource Cost",
+      "type": "object"
+    },
+    "risk_charge": {
+      "default": 0.0,
+      "title": "Risk Charge",
+      "type": "number"
+    },
+    "source_nodes": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Source Nodes",
+      "type": "array"
+    },
+    "target_node": {
+      "title": "Target Node",
+      "type": "string"
+    },
+    "verifier_routes": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Verifier Routes",
+      "type": "array"
+    }
+  },
+  "required": [
+    "action_id",
+    "target_node"
+  ],
+  "title": "PhaseControlAction",
+  "type": "object"
+}