percolation-inversion-compiler-ts 0.4.4

package/schemas/TraceNormalizationCertificate.schema.json

@@ -0,0 +1,77 @@
+{
+  "properties": {
+    "commuting_pairs": {
+      "items": {
+        "maxItems": 2,
+        "minItems": 2,
+        "prefixItems": [
+          {
+            "type": "string"
+          },
+          {
+            "type": "string"
+          }
+        ],
+        "type": "array"
+      },
+      "title": "Commuting Pairs",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "confluence_witness": {
+      "default": false,
+      "title": "Confluence Witness",
+      "type": "boolean"
+    },
+    "normalized_word": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Normalized Word",
+      "type": "array"
+    },
+    "residual": {
+      "default": 0.0,
+      "title": "Residual",
+      "type": "number"
+    },
+    "rewrite_steps": {
+      "items": {
+        "maxItems": 2,
+        "minItems": 2,
+        "prefixItems": [
+          {
+            "type": "string"
+          },
+          {
+            "type": "string"
+          }
+        ],
+        "type": "array"
+      },
+      "title": "Rewrite Steps",
+      "type": "array"
+    },
+    "source_word": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Source Word",
+      "type": "array"
+    },
+    "termination_witness": {
+      "default": false,
+      "title": "Termination Witness",
+      "type": "boolean"
+    },
+    "trace_id": {
+      "title": "Trace Id",
+      "type": "string"
+    }
+  },
+  "required": [
+    "trace_id"
+  ],
+  "title": "TraceNormalizationCertificate",
+  "type": "object"
+}

package/schemas/TraceSufficiencyCertificate.schema.json

@@ -0,0 +1,166 @@
+{
+  "$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": "Finite certificate that a trace projection supports token extraction.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "certificate_id": {
+      "title": "Certificate Id",
+      "type": "string"
+    },
+    "evidence_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Evidence Refs",
+      "type": "array"
+    },
+    "finite_checks_passed": {
+      "default": false,
+      "title": "Finite Checks Passed",
+      "type": "boolean"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "projection_id": {
+      "title": "Projection Id",
+      "type": "string"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "required_fields": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Required Fields",
+      "type": "array"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "sufficiency_lower_bound": {
+      "default": 0.0,
+      "title": "Sufficiency Lower Bound",
+      "type": "number"
+    },
+    "trace_id": {
+      "title": "Trace Id",
+      "type": "string"
+    }
+  },
+  "required": [
+    "certificate_id",
+    "trace_id",
+    "projection_id"
+  ],
+  "title": "TraceSufficiencyCertificate",
+  "type": "object"
+}

package/schemas/TransportCertificate.schema.json

@@ -0,0 +1,178 @@
+{
+  "$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": "Finite transport certificate for token reuse across receiver contexts.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "certificate_id": {
+      "title": "Certificate Id",
+      "type": "string"
+    },
+    "density_ratio_upper_bound": {
+      "default": 1.0,
+      "title": "Density Ratio Upper Bound",
+      "type": "number"
+    },
+    "evidence_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Evidence Refs",
+      "type": "array"
+    },
+    "finite_checks_passed": {
+      "default": false,
+      "title": "Finite Checks Passed",
+      "type": "boolean"
+    },
+    "max_density_ratio": {
+      "default": 10.0,
+      "title": "Max Density Ratio",
+      "type": "number"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "source_receiver_family": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Source Receiver Family",
+      "type": "array"
+    },
+    "support_coverage_lower_bound": {
+      "default": 0.0,
+      "title": "Support Coverage Lower Bound",
+      "type": "number"
+    },
+    "target_receiver_family": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Target Receiver Family",
+      "type": "array"
+    },
+    "token_id": {
+      "title": "Token Id",
+      "type": "string"
+    }
+  },
+  "required": [
+    "certificate_id",
+    "token_id"
+  ],
+  "title": "TransportCertificate",
+  "type": "object"
+}

package/schemas/TypedTraceTransducerRecord.schema.json

@@ -0,0 +1,64 @@
+{
+  "properties": {
+    "accepting_states": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Accepting States",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "initial_state": {
+      "title": "Initial State",
+      "type": "string"
+    },
+    "input_alphabet": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Input Alphabet",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "output_alphabet": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Output Alphabet",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "outputs": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Outputs",
+      "type": "object"
+    },
+    "states": {
+      "items": {
+        "type": "string"
+      },
+      "title": "States",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "transducer_id": {
+      "title": "Transducer Id",
+      "type": "string"
+    },
+    "transitions": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Transitions",
+      "type": "object"
+    }
+  },
+  "required": [
+    "transducer_id",
+    "initial_state"
+  ],
+  "title": "TypedTraceTransducerRecord",
+  "type": "object"
+}

package/schemas/ValueBridgeReport.schema.json

@@ -0,0 +1,131 @@
+{
+  "description": "Typed ALT diagnostics for proxy-to-value evidence separation.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "baseline_refresh_ready": {
+      "default": false,
+      "title": "Baseline Refresh Ready",
+      "type": "boolean"
+    },
+    "calibrated_proxy_bridge_ready": {
+      "default": false,
+      "title": "Calibrated Proxy Bridge Ready",
+      "type": "boolean"
+    },
+    "cara_residual_preserved": {
+      "default": true,
+      "title": "Cara Residual Preserved",
+      "type": "boolean"
+    },
+    "causal_effect_ready": {
+      "default": false,
+      "title": "Causal Effect Ready",
+      "type": "boolean"
+    },
+    "causal_effect_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Causal Effect Refs",
+      "type": "array"
+    },
+    "causal_reproduction_ready": {
+      "default": false,
+      "title": "Causal Reproduction Ready",
+      "type": "boolean"
+    },
+    "common_estimand_ready": {
+      "default": false,
+      "title": "Common Estimand Ready",
+      "type": "boolean"
+    },
+    "common_estimand_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Common Estimand Refs",
+      "type": "array"
+    },
+    "contamination_diagnostics": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Contamination Diagnostics",
+      "type": "array"
+    },
+    "foundry_capacity_label": {
+      "default": "evidence-limited",
+      "title": "Foundry Capacity Label",
+      "type": "string"
+    },
+    "instrumentation_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Instrumentation Refs",
+      "type": "array"
+    },
+    "negative_liquidity_preserved": {
+      "default": true,
+      "title": "Negative Liquidity Preserved",
+      "type": "boolean"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "portfolio_gaming_diagnostics": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Portfolio Gaming Diagnostics",
+      "type": "array"
+    },
+    "proxy_bridge_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Proxy Bridge Refs",
+      "type": "array"
+    },
+    "proxy_only": {
+      "default": false,
+      "title": "Proxy Only",
+      "type": "boolean"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "report_id": {
+      "default": "alt-value-bridge",
+      "title": "Report Id",
+      "type": "string"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "transportability_ready": {
+      "default": false,
+      "title": "Transportability Ready",
+      "type": "boolean"
+    },
+    "value_evidence_level": {
+      "default": "calibrated-proxy",
+      "title": "Value Evidence Level",
+      "type": "string"
+    }
+  },
+  "title": "ValueBridgeReport",
+  "type": "object"
+}