percolation-inversion-compiler-ts 0.4.4

package/schemas/ReleaseArtifactManifest.schema.json

@@ -0,0 +1,62 @@
+{
+  "$defs": {
+    "ProvenanceManifestEntry": {
+      "description": "One file entry in a deterministic provenance manifest.",
+      "properties": {
+        "media_type": {
+          "default": "application/octet-stream",
+          "title": "Media Type",
+          "type": "string"
+        },
+        "path": {
+          "title": "Path",
+          "type": "string"
+        },
+        "sha256": {
+          "title": "Sha256",
+          "type": "string"
+        },
+        "size_bytes": {
+          "title": "Size Bytes",
+          "type": "integer"
+        }
+      },
+      "required": [
+        "path",
+        "sha256",
+        "size_bytes"
+      ],
+      "title": "ProvenanceManifestEntry",
+      "type": "object"
+    }
+  },
+  "description": "Release-asset manifest with deterministic local digests.",
+  "properties": {
+    "aggregate_sha256": {
+      "title": "Aggregate Sha256",
+      "type": "string"
+    },
+    "entries": {
+      "items": {
+        "$ref": "#/$defs/ProvenanceManifestEntry"
+      },
+      "title": "Entries",
+      "type": "array"
+    },
+    "manifest_id": {
+      "default": "percolation-inversion-compiler-release-artifacts",
+      "title": "Manifest Id",
+      "type": "string"
+    },
+    "package_version": {
+      "default": "0.4.4",
+      "title": "Package Version",
+      "type": "string"
+    }
+  },
+  "required": [
+    "aggregate_sha256"
+  ],
+  "title": "ReleaseArtifactManifest",
+  "type": "object"
+}

package/schemas/ReproductionMatrixCertificate.schema.json

@@ -0,0 +1,190 @@
+{
+  "$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 for abstraction-capital reproduction diagnostics.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "capacity_feasible": {
+      "default": false,
+      "title": "Capacity Feasible",
+      "type": "boolean"
+    },
+    "causal_identification_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Causal Identification Refs",
+      "type": "array"
+    },
+    "certificate_id": {
+      "title": "Certificate Id",
+      "type": "string"
+    },
+    "finite_checks_passed": {
+      "default": false,
+      "title": "Finite Checks Passed",
+      "type": "boolean"
+    },
+    "foundry_id": {
+      "title": "Foundry Id",
+      "type": "string"
+    },
+    "gauge_compatible": {
+      "default": false,
+      "title": "Gauge Compatible",
+      "type": "boolean"
+    },
+    "matrix_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Matrix Refs",
+      "type": "array"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "residual_external_obligations": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Residual External Obligations",
+      "type": "array"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "spectral_radius_lower_bound": {
+      "default": 0.0,
+      "title": "Spectral Radius Lower Bound",
+      "type": "number"
+    },
+    "spectral_radius_upper_bound": {
+      "default": 0.0,
+      "title": "Spectral Radius Upper Bound",
+      "type": "number"
+    },
+    "transport_validity_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Transport Validity Refs",
+      "type": "array"
+    }
+  },
+  "required": [
+    "certificate_id",
+    "foundry_id"
+  ],
+  "title": "ReproductionMatrixCertificate",
+  "type": "object"
+}

package/schemas/ResidualCarryForwardReport.schema.json

@@ -0,0 +1,57 @@
+{
+  "description": "Residual data that must remain attached during packet exchange.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "candidate_only_reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Candidate Only Reasons",
+      "type": "array"
+    },
+    "missing_obligations": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Missing Obligations",
+      "type": "array"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "report_id": {
+      "default": "residual-carry-forward",
+      "title": "Report Id",
+      "type": "string"
+    },
+    "residual_summary": {
+      "additionalProperties": {
+        "type": "number"
+      },
+      "title": "Residual Summary",
+      "type": "object"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "settled_blockers": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Settled Blockers",
+      "type": "array"
+    }
+  },
+  "title": "ResidualCarryForwardReport",
+  "type": "object"
+}

package/schemas/ResourceCalendarRecord.schema.json

@@ -0,0 +1,67 @@
+{
+  "$defs": {
+    "ResourceReservationRecord": {
+      "properties": {
+        "amount": {
+          "title": "Amount",
+          "type": "number"
+        },
+        "end_tick": {
+          "title": "End Tick",
+          "type": "integer"
+        },
+        "reservation_id": {
+          "title": "Reservation Id",
+          "type": "string"
+        },
+        "resource": {
+          "title": "Resource",
+          "type": "string"
+        },
+        "start_tick": {
+          "title": "Start Tick",
+          "type": "integer"
+        }
+      },
+      "required": [
+        "reservation_id",
+        "resource",
+        "start_tick",
+        "end_tick",
+        "amount"
+      ],
+      "title": "ResourceReservationRecord",
+      "type": "object"
+    }
+  },
+  "properties": {
+    "calendar_id": {
+      "title": "Calendar Id",
+      "type": "string"
+    },
+    "capacities": {
+      "additionalProperties": {
+        "type": "number"
+      },
+      "title": "Capacities",
+      "type": "object"
+    },
+    "freshness_version": {
+      "default": "v1",
+      "title": "Freshness Version",
+      "type": "string"
+    },
+    "reservations": {
+      "items": {
+        "$ref": "#/$defs/ResourceReservationRecord"
+      },
+      "title": "Reservations",
+      "type": "array"
+    }
+  },
+  "required": [
+    "calendar_id"
+  ],
+  "title": "ResourceCalendarRecord",
+  "type": "object"
+}

package/schemas/ResourceEnvelope.schema.json

@@ -0,0 +1,42 @@
+{
+  "description": "Finite resource envelope for protocol-competitive runtime comparison.",
+  "properties": {
+    "compute_cost": {
+      "default": 0.0,
+      "title": "Compute Cost",
+      "type": "number"
+    },
+    "human_review_budget": {
+      "default": 0.0,
+      "title": "Human Review Budget",
+      "type": "number"
+    },
+    "network_calls": {
+      "default": 0,
+      "title": "Network Calls",
+      "type": "integer"
+    },
+    "risk_budget": {
+      "default": 0.0,
+      "title": "Risk Budget",
+      "type": "number"
+    },
+    "token_budget": {
+      "default": 0,
+      "title": "Token Budget",
+      "type": "integer"
+    },
+    "verifier_calls": {
+      "default": 0,
+      "title": "Verifier Calls",
+      "type": "integer"
+    },
+    "wall_time_seconds": {
+      "default": 0.0,
+      "title": "Wall Time Seconds",
+      "type": "number"
+    }
+  },
+  "title": "ResourceEnvelope",
+  "type": "object"
+}

package/schemas/ResourceMatchedBaselineConfig.schema.json

@@ -0,0 +1,81 @@
+{
+  "$defs": {
+    "ResourceEnvelope": {
+      "description": "Finite resource envelope for protocol-competitive runtime comparison.",
+      "properties": {
+        "compute_cost": {
+          "default": 0.0,
+          "title": "Compute Cost",
+          "type": "number"
+        },
+        "human_review_budget": {
+          "default": 0.0,
+          "title": "Human Review Budget",
+          "type": "number"
+        },
+        "network_calls": {
+          "default": 0,
+          "title": "Network Calls",
+          "type": "integer"
+        },
+        "risk_budget": {
+          "default": 0.0,
+          "title": "Risk Budget",
+          "type": "number"
+        },
+        "token_budget": {
+          "default": 0,
+          "title": "Token Budget",
+          "type": "integer"
+        },
+        "verifier_calls": {
+          "default": 0,
+          "title": "Verifier Calls",
+          "type": "integer"
+        },
+        "wall_time_seconds": {
+          "default": 0.0,
+          "title": "Wall Time Seconds",
+          "type": "number"
+        }
+      },
+      "title": "ResourceEnvelope",
+      "type": "object"
+    }
+  },
+  "description": "Baseline comparability contract for ECPT acceleration certificates.",
+  "properties": {
+    "constraint_frame_id": {
+      "default": "default-constraint-frame",
+      "title": "Constraint Frame Id",
+      "type": "string"
+    },
+    "observation_protocol_id": {
+      "default": "default-observation-protocol",
+      "title": "Observation Protocol Id",
+      "type": "string"
+    },
+    "receiver_family": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Receiver Family",
+      "type": "array"
+    },
+    "resource_envelope": {
+      "$ref": "#/$defs/ResourceEnvelope"
+    },
+    "tolerance": {
+      "default": 0.0,
+      "title": "Tolerance",
+      "type": "number"
+    },
+    "validity_domain": {
+      "default": "protocol-relative-finite",
+      "title": "Validity Domain",
+      "type": "string"
+    }
+  },
+  "title": "ResourceMatchedBaselineConfig",
+  "type": "object"
+}

package/schemas/RiskBudgetLedger.schema.json

@@ -0,0 +1,19 @@
+{
+  "description": "Finite SQOT risk budget ledger.",
+  "properties": {
+    "risk_budget": {
+      "default": 0.0,
+      "title": "Risk Budget",
+      "type": "number"
+    },
+    "risk_charges": {
+      "additionalProperties": {
+        "type": "number"
+      },
+      "title": "Risk Charges",
+      "type": "object"
+    }
+  },
+  "title": "RiskBudgetLedger",
+  "type": "object"
+}

package/schemas/RobotsDecision.schema.json

@@ -0,0 +1,44 @@
+{
+  "description": "Recorded robots/rate decision for bounded web intake.\n\nThis is an audit record, not a guarantee that the remote site authorizes\nevery downstream use.  Unknown or unavailable policy can remain diagnostic\nunder stricter profiles.",
+  "properties": {
+    "allowed": {
+      "default": true,
+      "title": "Allowed",
+      "type": "boolean"
+    },
+    "decision_id": {
+      "default": "robots:not-checked",
+      "title": "Decision Id",
+      "type": "string"
+    },
+    "mode": {
+      "default": "not-checked",
+      "title": "Mode",
+      "type": "string"
+    },
+    "reason": {
+      "default": "robots policy was recorded but not enforced",
+      "title": "Reason",
+      "type": "string"
+    },
+    "residual_coordinate": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Residual Coordinate"
+    },
+    "source_ref": {
+      "default": "",
+      "title": "Source Ref",
+      "type": "string"
+    }
+  },
+  "title": "RobotsDecision",
+  "type": "object"
+}