percolation-inversion-compiler-ts 0.4.4

package/package.json

@@ -0,0 +1,129 @@
+{
+  "name": "percolation-inversion-compiler-ts",
+  "version": "0.4.4",
+  "description": "TypeScript port of percolation-inversion-compiler v0.4.4 public JSON, CLI, schema, conformance, and safety semantics for npm and JS agent runtimes.",
+  "type": "module",
+  "license": "Apache-2.0",
+  "author": "K. Takahashi",
+  "homepage": "https://github.com/kadubon/percolation-inversion-compiler",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/kadubon/percolation-inversion-compiler-ts.git"
+  },
+  "bugs": {
+    "url": "https://github.com/kadubon/percolation-inversion-compiler-ts/issues"
+  },
+  "keywords": [
+    "ai-agents",
+    "agent-runtime",
+    "workflow-verification",
+    "evidence-routing",
+    "verifier-routing",
+    "residual-ledger",
+    "json-schema",
+    "runtime-verification",
+    "percolation",
+    "formal-methods",
+    "abstraction-liquidity",
+    "ecpt",
+    "sqot",
+    "alt",
+    "typescript"
+  ],
+  "engines": {
+    "node": ">=20"
+  },
+  "bin": {
+    "pic": "dist/cli/main.js",
+    "pic-ts": "dist/cli/main.js"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    },
+    "./schema": {
+      "types": "./dist/io/schema.d.ts",
+      "import": "./dist/io/schema.js"
+    },
+    "./agent/messages": {
+      "types": "./dist/agent/messages.d.ts",
+      "import": "./dist/agent/messages.js"
+    },
+    "./packet": {
+      "types": "./dist/packet/index.d.ts",
+      "import": "./dist/packet/index.js"
+    }
+  },
+  "types": "./dist/index.d.ts",
+  "typesVersions": {
+    "*": {
+      "schema": [
+        "dist/io/schema.d.ts"
+      ],
+      "agent/messages": [
+        "dist/agent/messages.d.ts"
+      ],
+      "packet": [
+        "dist/packet/index.d.ts"
+      ],
+      "*": [
+        "dist/index.d.ts"
+      ]
+    }
+  },
+  "files": [
+    "dist/",
+    "schemas/",
+    "fixtures/portability_conformance/",
+    "fixtures/python_v044_cli/",
+    "fixtures/python_v044_demo/",
+    "fixtures/python_v044_snapshots/",
+    "README.md",
+    "LICENSE",
+    "NOTICE"
+  ],
+  "scripts": {
+    "build": "tsup",
+    "typecheck": "tsc --noEmit",
+    "lint": "eslint .",
+    "format:check": "prettier --check .",
+    "test": "npm run build && vitest run",
+    "conformance": "npm run build && vitest run test/portability.test.ts test/cli.test.ts",
+    "publish:safety": "node scripts/check-publish-safety.mjs",
+    "pack:check": "npm run publish:safety",
+    "installed:smoke": "node scripts/check-installed-smoke.mjs",
+    "publint": "publint",
+    "attw": "attw --pack . --profile esm-only --ignore-rules cjs-resolves-to-esm",
+    "prepack": "npm run typecheck && npm run lint && npm run format:check && npm run test && npm run conformance && npm run publish:safety && npm run installed:smoke",
+    "prepublishOnly": "npm run typecheck && npm run lint && npm run format:check && npm run test && npm run conformance && npm run pack:check && npm run publint && npm run attw && npm run installed:smoke && npm audit --audit-level=high"
+  },
+  "dependencies": {
+    "ajv": "^8.20.0",
+    "commander": "^15.0.0"
+  },
+  "overrides": {
+    "esbuild": "^0.28.1"
+  },
+  "devDependencies": {
+    "@arethetypeswrong/cli": "^0.18.3",
+    "@eslint/js": "^10.0.1",
+    "@types/node": "^24.10.0",
+    "@typescript-eslint/parser": "^8.61.1",
+    "eslint": "^10.5.0",
+    "json-schema-to-typescript": "^15.0.4",
+    "prettier": "^3.8.4",
+    "publint": "^0.3.21",
+    "tsup": "^8.5.1",
+    "typescript": "^6.0.3",
+    "vitest": "^4.1.9"
+  },
+  "publishConfig": {
+    "access": "public",
+    "provenance": true
+  },
+  "main": "./dist/index.js",
+  "directories": {
+    "test": "test"
+  }
+}

package/schemas/ALTAccelerationCertificate.schema.json

@@ -0,0 +1,169 @@
+{
+  "$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 comparison certificate for abstraction-liquidity acceleration.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "baseline_foundry_id": {
+      "title": "Baseline Foundry Id",
+      "type": "string"
+    },
+    "candidate_foundry_id": {
+      "title": "Candidate Foundry Id",
+      "type": "string"
+    },
+    "certificate_id": {
+      "title": "Certificate Id",
+      "type": "string"
+    },
+    "certified_surplus_gain_lower_bound": {
+      "default": 0.0,
+      "title": "Certified Surplus Gain Lower Bound",
+      "type": "number"
+    },
+    "finite_checks_passed": {
+      "default": false,
+      "title": "Finite Checks Passed",
+      "type": "boolean"
+    },
+    "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"
+    },
+    "resource_matched": {
+      "default": false,
+      "title": "Resource Matched",
+      "type": "boolean"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "settlement_latency_reduction_lower_bound": {
+      "default": 0.0,
+      "title": "Settlement Latency Reduction Lower Bound",
+      "type": "number"
+    }
+  },
+  "required": [
+    "certificate_id",
+    "baseline_foundry_id",
+    "candidate_foundry_id"
+  ],
+  "title": "ALTAccelerationCertificate",
+  "type": "object"
+}

package/schemas/ALTAdmissionDecision.schema.json

@@ -0,0 +1,199 @@
+{
+  "$defs": {
+    "ALTAdmissionAction": {
+      "description": "Lifecycle action for an abstraction token or certificate packet.",
+      "enum": [
+        "admit",
+        "reject",
+        "defer",
+        "suspend",
+        "deprecate",
+        "rollback",
+        "resurrect_as_candidate"
+      ],
+      "title": "ALTAdmissionAction",
+      "type": "string"
+    },
+    "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": "Fail-closed admission decision for one ALT certificate packet.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "action": {
+      "$ref": "#/$defs/ALTAdmissionAction",
+      "default": "defer"
+    },
+    "certified_capital_ref": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Certified Capital Ref"
+    },
+    "decision_id": {
+      "title": "Decision Id",
+      "type": "string"
+    },
+    "finite_checks_passed": {
+      "default": false,
+      "title": "Finite Checks Passed",
+      "type": "boolean"
+    },
+    "missing_obligations": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Missing Obligations",
+      "type": "array"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "packet_id": {
+      "title": "Packet Id",
+      "type": "string"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "status": {
+      "$ref": "#/$defs/ClaimStatus",
+      "default": "diagnostic"
+    }
+  },
+  "required": [
+    "decision_id",
+    "packet_id"
+  ],
+  "title": "ALTAdmissionDecision",
+  "type": "object"
+}