percolation-inversion-compiler-ts 0.4.4

package/schemas/FinitePhaseControlCertificate.schema.json

@@ -0,0 +1,100 @@
+{
+  "$defs": {
+    "PhaseControlEnvelope": {
+      "properties": {
+        "control_surface": {
+          "additionalProperties": {
+            "type": "number"
+          },
+          "title": "Control Surface",
+          "type": "object"
+        },
+        "envelope_id": {
+          "title": "Envelope Id",
+          "type": "string"
+        },
+        "finite_horizon": {
+          "default": 0,
+          "title": "Finite Horizon",
+          "type": "integer"
+        },
+        "finite_state_space": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Finite State Space",
+          "type": "array",
+          "uniqueItems": true
+        },
+        "phase_response": {
+          "additionalProperties": {
+            "type": "number"
+          },
+          "title": "Phase Response",
+          "type": "object"
+        },
+        "residual": {
+          "default": 0.0,
+          "title": "Residual",
+          "type": "number"
+        },
+        "thermodynamic_obligation_ids": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Thermodynamic Obligation Ids",
+          "type": "array",
+          "uniqueItems": true
+        }
+      },
+      "required": [
+        "envelope_id"
+      ],
+      "title": "PhaseControlEnvelope",
+      "type": "object"
+    }
+  },
+  "properties": {
+    "baseline_response": {
+      "default": 0.0,
+      "title": "Baseline Response",
+      "type": "number"
+    },
+    "certificate_id": {
+      "title": "Certificate Id",
+      "type": "string"
+    },
+    "controlled_response": {
+      "default": 0.0,
+      "title": "Controlled Response",
+      "type": "number"
+    },
+    "envelope": {
+      "$ref": "#/$defs/PhaseControlEnvelope"
+    },
+    "minimum_improvement": {
+      "default": 0.0,
+      "title": "Minimum Improvement",
+      "type": "number"
+    },
+    "residual": {
+      "default": 0.0,
+      "title": "Residual",
+      "type": "number"
+    },
+    "thermodynamic_obligation_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Thermodynamic Obligation Ids",
+      "type": "array",
+      "uniqueItems": true
+    }
+  },
+  "required": [
+    "certificate_id",
+    "envelope"
+  ],
+  "title": "FinitePhaseControlCertificate",
+  "type": "object"
+}

package/schemas/FiniteTraceLaw.schema.json

@@ -0,0 +1,30 @@
+{
+  "properties": {
+    "law_id": {
+      "title": "Law Id",
+      "type": "string"
+    },
+    "normalized": {
+      "default": false,
+      "title": "Normalized",
+      "type": "boolean"
+    },
+    "support_residual": {
+      "default": 0.0,
+      "title": "Support Residual",
+      "type": "number"
+    },
+    "traces": {
+      "additionalProperties": {
+        "type": "number"
+      },
+      "title": "Traces",
+      "type": "object"
+    }
+  },
+  "required": [
+    "law_id"
+  ],
+  "title": "FiniteTraceLaw",
+  "type": "object"
+}

package/schemas/FixedPopulationLedger.schema.json

@@ -0,0 +1,255 @@
+{
+  "$defs": {
+    "AgentPolicyIdentity": {
+      "description": "Policy identity for one member of a fixed ECPT agent population.",
+      "properties": {
+        "accepted": {
+          "default": false,
+          "title": "Accepted",
+          "type": "boolean"
+        },
+        "agent_id": {
+          "title": "Agent Id",
+          "type": "string"
+        },
+        "model_digest": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Model Digest"
+        },
+        "policy_digest": {
+          "title": "Policy Digest",
+          "type": "string"
+        },
+        "reasons": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Reasons",
+          "type": "array"
+        },
+        "route_allowlist": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Route Allowlist",
+          "type": "array"
+        },
+        "self_rewrite_allowed": {
+          "default": false,
+          "title": "Self Rewrite Allowed",
+          "type": "boolean"
+        },
+        "source_kind_allowlist": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Source Kind Allowlist",
+          "type": "array"
+        },
+        "tool_allowlist_digest": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Tool Allowlist Digest"
+        },
+        "weight_update_allowed": {
+          "default": false,
+          "title": "Weight Update Allowed",
+          "type": "boolean"
+        }
+      },
+      "required": [
+        "agent_id",
+        "policy_digest"
+      ],
+      "title": "AgentPolicyIdentity",
+      "type": "object"
+    },
+    "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": "Finite ledger asserting fixed agent identities and no self-rewrite.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "after_agents": {
+      "items": {
+        "$ref": "#/$defs/AgentPolicyIdentity"
+      },
+      "title": "After Agents",
+      "type": "array"
+    },
+    "before_agents": {
+      "items": {
+        "$ref": "#/$defs/AgentPolicyIdentity"
+      },
+      "title": "Before Agents",
+      "type": "array"
+    },
+    "finite_checks_passed": {
+      "default": false,
+      "title": "Finite Checks Passed",
+      "type": "boolean"
+    },
+    "fixed_population": {
+      "default": true,
+      "title": "Fixed Population",
+      "type": "boolean"
+    },
+    "ledger_id": {
+      "title": "Ledger Id",
+      "type": "string"
+    },
+    "no_self_rewrite": {
+      "default": true,
+      "title": "No Self Rewrite",
+      "type": "boolean"
+    },
+    "no_weight_update": {
+      "default": true,
+      "title": "No Weight Update",
+      "type": "boolean"
+    },
+    "observation_window_id": {
+      "default": "default-observation-window",
+      "title": "Observation Window Id",
+      "type": "string"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "policy_digests_unchanged": {
+      "default": true,
+      "title": "Policy Digests Unchanged",
+      "type": "boolean"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    }
+  },
+  "required": [
+    "ledger_id"
+  ],
+  "title": "FixedPopulationLedger",
+  "type": "object"
+}

package/schemas/FormationCostLedger.schema.json

@@ -0,0 +1,91 @@
+{
+  "description": "ALT cost ledger for forming, validating, deploying, and maintaining a token.",
+  "properties": {
+    "absorption_cost": {
+      "default": 0.0,
+      "title": "Absorption Cost",
+      "type": "number"
+    },
+    "certification_cost": {
+      "default": 0.0,
+      "title": "Certification Cost",
+      "type": "number"
+    },
+    "contamination_cost": {
+      "default": 0.0,
+      "title": "Contamination Cost",
+      "type": "number"
+    },
+    "deployment_cost": {
+      "default": 0.0,
+      "title": "Deployment Cost",
+      "type": "number"
+    },
+    "depreciation_cost": {
+      "default": 0.0,
+      "title": "Depreciation Cost",
+      "type": "number"
+    },
+    "evidence_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Evidence Refs",
+      "type": "array"
+    },
+    "formation_cost": {
+      "default": 0.0,
+      "title": "Formation Cost",
+      "type": "number"
+    },
+    "hazard_cost": {
+      "default": 0.0,
+      "title": "Hazard Cost",
+      "type": "number"
+    },
+    "hidden_resource_cost": {
+      "default": 0.0,
+      "title": "Hidden Resource Cost",
+      "type": "number"
+    },
+    "ledger_id": {
+      "title": "Ledger Id",
+      "type": "string"
+    },
+    "maintenance_cost": {
+      "default": 0.0,
+      "title": "Maintenance Cost",
+      "type": "number"
+    },
+    "misapplication_cost": {
+      "default": 0.0,
+      "title": "Misapplication Cost",
+      "type": "number"
+    },
+    "settlement_cost": {
+      "default": 0.0,
+      "title": "Settlement Cost",
+      "type": "number"
+    },
+    "telemetry_cost": {
+      "default": 0.0,
+      "title": "Telemetry Cost",
+      "type": "number"
+    },
+    "unit": {
+      "default": "dimensionless",
+      "title": "Unit",
+      "type": "string"
+    },
+    "validation_cost": {
+      "default": 0.0,
+      "title": "Validation Cost",
+      "type": "number"
+    }
+  },
+  "required": [
+    "ledger_id"
+  ],
+  "title": "FormationCostLedger",
+  "type": "object"
+}

package/schemas/FoundryControlDashboard.schema.json

@@ -0,0 +1,198 @@
+{
+  "$defs": {
+    "CoordinateKind": {
+      "enum": [
+        "benefit",
+        "burden",
+        "residual",
+        "tolerance",
+        "resource",
+        "metadata"
+      ],
+      "title": "CoordinateKind",
+      "type": "string"
+    },
+    "EvidenceStatus": {
+      "enum": [
+        "verified",
+        "declared",
+        "unknown"
+      ],
+      "title": "EvidenceStatus",
+      "type": "string"
+    },
+    "FoundryBottleneck": {
+      "description": "Finite foundry bottleneck labels used by phase-control dashboards.",
+      "enum": [
+        "evidence-limited",
+        "transport-limited",
+        "risk-limited",
+        "capacity-limited",
+        "subcritical",
+        "unsaturated-supercritical",
+        "collect-evidence",
+        "suspend"
+      ],
+      "title": "FoundryBottleneck",
+      "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": "Foundry dashboard for ALT bottleneck control.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "bottlenecks": {
+      "items": {
+        "$ref": "#/$defs/FoundryBottleneck"
+      },
+      "title": "Bottlenecks",
+      "type": "array"
+    },
+    "certified_capital_count": {
+      "default": 0,
+      "title": "Certified Capital Count",
+      "type": "integer"
+    },
+    "dashboard_id": {
+      "title": "Dashboard Id",
+      "type": "string"
+    },
+    "evidence_backlog": {
+      "default": 0,
+      "title": "Evidence Backlog",
+      "type": "integer"
+    },
+    "foundry_id": {
+      "title": "Foundry Id",
+      "type": "string"
+    },
+    "net_certified_surplus": {
+      "default": 0.0,
+      "title": "Net Certified Surplus",
+      "type": "number"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "receiver_absorption_capacity": {
+      "default": 0.0,
+      "title": "Receiver Absorption Capacity",
+      "type": "number"
+    },
+    "recommended_rule": {
+      "$ref": "#/$defs/FoundryBottleneck",
+      "default": "collect-evidence"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "risk_backlog": {
+      "default": 0,
+      "title": "Risk Backlog",
+      "type": "integer"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "settlement_capacity": {
+      "default": 0.0,
+      "title": "Settlement Capacity",
+      "type": "number"
+    },
+    "token_candidate_count": {
+      "default": 0,
+      "title": "Token Candidate Count",
+      "type": "integer"
+    },
+    "transport_backlog": {
+      "default": 0,
+      "title": "Transport Backlog",
+      "type": "integer"
+    }
+  },
+  "required": [
+    "dashboard_id",
+    "foundry_id"
+  ],
+  "title": "FoundryControlDashboard",
+  "type": "object"
+}