percolation-inversion-compiler-ts 0.4.4

package/schemas/PortabilityConformanceReport.schema.json

@@ -0,0 +1,99 @@
+{
+  "description": "Schema-first conformance report for language ports and bundled examples.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "checked_examples": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Checked Examples",
+      "type": "object"
+    },
+    "checked_negative_examples": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Checked Negative Examples",
+      "type": "object"
+    },
+    "expected_failure_count": {
+      "default": 0,
+      "title": "Expected Failure Count",
+      "type": "integer"
+    },
+    "manifest_path": {
+      "default": "",
+      "title": "Manifest Path",
+      "type": "string"
+    },
+    "negative_example_count": {
+      "default": 0,
+      "title": "Negative Example Count",
+      "type": "integer"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "positive_example_count": {
+      "default": 0,
+      "title": "Positive Example Count",
+      "type": "integer"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "report_id": {
+      "default": "pic-portability-conformance",
+      "title": "Report Id",
+      "type": "string"
+    },
+    "schema_digest": {
+      "default": "",
+      "title": "Schema Digest",
+      "type": "string"
+    },
+    "schema_names": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Schema Names",
+      "type": "object"
+    },
+    "semantic_invariants": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Semantic Invariants",
+      "type": "array"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "sha256": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Sha256",
+      "type": "object"
+    },
+    "unexpected_failure_count": {
+      "default": 0,
+      "title": "Unexpected Failure Count",
+      "type": "integer"
+    }
+  },
+  "title": "PortabilityConformanceReport",
+  "type": "object"
+}

package/schemas/PortabilitySchemaBundle.schema.json

@@ -0,0 +1,23 @@
+{
+  "description": "Named JSON Schema bundle for other implementations and agents.",
+  "properties": {
+    "bundle_id": {
+      "default": "percolation-inversion-compiler-portability",
+      "title": "Bundle Id",
+      "type": "string"
+    },
+    "schemas": {
+      "additionalProperties": {
+        "additionalProperties": true,
+        "type": "object"
+      },
+      "title": "Schemas",
+      "type": "object"
+    }
+  },
+  "required": [
+    "schemas"
+  ],
+  "title": "PortabilitySchemaBundle",
+  "type": "object"
+}

package/schemas/ProblemSolvingTrace.schema.json

@@ -0,0 +1,162 @@
+{
+  "$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": "Observed finite trace from which an abstraction token may be extracted.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "action_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Action Refs",
+      "type": "array"
+    },
+    "cost_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "observation_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Observation Refs",
+      "type": "array"
+    },
+    "provenance_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Provenance Refs",
+      "type": "array"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "receiver_family": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Receiver Family",
+      "type": "array"
+    },
+    "result_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Result Refs",
+      "type": "array"
+    },
+    "task_id": {
+      "title": "Task Id",
+      "type": "string"
+    },
+    "trace_id": {
+      "title": "Trace Id",
+      "type": "string"
+    }
+  },
+  "required": [
+    "trace_id",
+    "task_id"
+  ],
+  "title": "ProblemSolvingTrace",
+  "type": "object"
+}

package/schemas/ProcessGrammarRecord.schema.json

@@ -0,0 +1,56 @@
+{
+  "properties": {
+    "action_classes": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Action Classes",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "forbidden_actions": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Forbidden Actions",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "grammar_id": {
+      "title": "Grammar Id",
+      "type": "string"
+    },
+    "start_actions": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Start Actions",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "terminal_actions": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Terminal Actions",
+      "type": "array",
+      "uniqueItems": true
+    },
+    "transitions": {
+      "additionalProperties": {
+        "items": {
+          "type": "string"
+        },
+        "type": "array",
+        "uniqueItems": true
+      },
+      "title": "Transitions",
+      "type": "object"
+    }
+  },
+  "required": [
+    "grammar_id"
+  ],
+  "title": "ProcessGrammarRecord",
+  "type": "object"
+}

package/schemas/ProductOrder.schema.json

@@ -0,0 +1,53 @@
+{
+  "$defs": {
+    "FiniteOrder": {
+      "description": "A finite preorder/partial order represented by a finite relation.",
+      "properties": {
+        "elements": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Elements",
+          "type": "array"
+        },
+        "leq_pairs": {
+          "items": {
+            "maxItems": 2,
+            "minItems": 2,
+            "prefixItems": [
+              {
+                "type": "string"
+              },
+              {
+                "type": "string"
+              }
+            ],
+            "type": "array"
+          },
+          "title": "Leq Pairs",
+          "type": "array"
+        }
+      },
+      "required": [
+        "elements"
+      ],
+      "title": "FiniteOrder",
+      "type": "object"
+    }
+  },
+  "description": "Coordinatewise product order over named finite orders.",
+  "properties": {
+    "coordinate_orders": {
+      "additionalProperties": {
+        "$ref": "#/$defs/FiniteOrder"
+      },
+      "title": "Coordinate Orders",
+      "type": "object"
+    }
+  },
+  "required": [
+    "coordinate_orders"
+  ],
+  "title": "ProductOrder",
+  "type": "object"
+}

package/schemas/ProductionReadinessProfile.schema.json

@@ -0,0 +1,37 @@
+{
+  "description": "Production policy knobs for fail-closed operational readiness.",
+  "properties": {
+    "profile": {
+      "default": "development",
+      "title": "Profile",
+      "type": "string"
+    },
+    "require_available_external_routes": {
+      "default": false,
+      "title": "Require Available External Routes",
+      "type": "boolean"
+    },
+    "require_canonical_or_signed_snapshot": {
+      "default": false,
+      "title": "Require Canonical Or Signed Snapshot",
+      "type": "boolean"
+    },
+    "require_optional_dependencies": {
+      "default": false,
+      "title": "Require Optional Dependencies",
+      "type": "boolean"
+    },
+    "require_security_metadata": {
+      "default": false,
+      "title": "Require Security Metadata",
+      "type": "boolean"
+    },
+    "require_signed_schema_bundle": {
+      "default": false,
+      "title": "Require Signed Schema Bundle",
+      "type": "boolean"
+    }
+  },
+  "title": "ProductionReadinessProfile",
+  "type": "object"
+}

package/schemas/ProjectionAudit.schema.json

@@ -0,0 +1,70 @@
+{
+  "description": "Registry-vs-extractor projection audit.",
+  "properties": {
+    "accepted": {
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "checked_claims": {
+      "default": 0,
+      "title": "Checked Claims",
+      "type": "integer"
+    },
+    "extractor_artifact": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Extractor Artifact"
+    },
+    "mismatches": {
+      "items": {
+        "additionalProperties": true,
+        "type": "object"
+      },
+      "title": "Mismatches",
+      "type": "array"
+    },
+    "missing_in_extractor": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Missing In Extractor",
+      "type": "array"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "registry_artifact": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Registry Artifact"
+    },
+    "strict": {
+      "default": false,
+      "title": "Strict",
+      "type": "boolean"
+    }
+  },
+  "required": [
+    "accepted"
+  ],
+  "title": "ProjectionAudit",
+  "type": "object"
+}

package/schemas/ProofObligation.schema.json

@@ -0,0 +1,200 @@
+{
+  "$defs": {
+    "ClaimStatus": {
+      "description": "Protocol-relative status labels used by ECPT, BIT, TRC, SQOT, and ALT.",
+      "enum": [
+        "rejected",
+        "expired",
+        "diagnostic",
+        "relaxed",
+        "risk-provisional",
+        "speculative",
+        "provisional",
+        "partial",
+        "settled"
+      ],
+      "title": "ClaimStatus",
+      "type": "string"
+    },
+    "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": "A non-finite or domain-specific proof obligation exposed to callers.",
+  "properties": {
+    "accepted_evidence_kind": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Accepted Evidence Kind",
+      "type": "array"
+    },
+    "description": {
+      "title": "Description",
+      "type": "string"
+    },
+    "failure_mode": {
+      "default": "proof-obligation-unmet",
+      "title": "Failure Mode",
+      "type": "string"
+    },
+    "failure_modes": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Failure Modes",
+      "type": "array"
+    },
+    "obligation_category": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Obligation Category"
+    },
+    "obligation_id": {
+      "title": "Obligation Id",
+      "type": "string"
+    },
+    "required_for_status": {
+      "$ref": "#/$defs/ClaimStatus",
+      "default": "settled"
+    },
+    "residual_charge": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "residual_policy": {
+      "default": "charge-residual-until-verified",
+      "title": "Residual Policy",
+      "type": "string"
+    },
+    "safe_default": {
+      "default": "diagnostic-with-proof-obligation",
+      "title": "Safe Default",
+      "type": "string"
+    },
+    "schema_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Schema Refs",
+      "type": "array"
+    },
+    "verifier_contract": {
+      "additionalProperties": true,
+      "title": "Verifier Contract",
+      "type": "object"
+    },
+    "verifier_hint": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Verifier Hint"
+    }
+  },
+  "required": [
+    "obligation_id",
+    "description"
+  ],
+  "title": "ExternalProofObligation",
+  "type": "object"
+}