Dev

.github/workflows/ci.yml

@@ -53,6 +53,16 @@ jobs:
       - name: Python codegen quality gate
         run: pnpm check:python-codegen
 
+      # Differential parity gate: executes portable KERN expressions through BOTH
+      # the Python (FastAPI) and Express (JS) codegen paths and diffs the runtime
+      # results. Unlike the codegen quality gate above (ast-valid but semantically
+      # blind), this proves Python<->TS behavioral parity by actually running the
+      # generated artifacts -- it is what caught the host-builtin and array/string
+      # method portability bug cliffs. Needs python3 (set up above) + the built
+      # core/python/express dist (the script builds them).
+      - name: Differential conformance (Python<->Express parity)
+        run: pnpm check:conformance
+
       - name: Test (excluding IR-semantics harness)
         run: pnpm test:non-semantics
 

package.json

@@ -18,6 +18,7 @@
     "test:non-semantics": "pnpm -r --filter '!kern-monorepo' --filter '!@kernlang/review-python' test --testPathIgnorePatterns=ir-semantics && pnpm test:prepush && pnpm check:rule-coverage",
     "check:rule-coverage": "node ./scripts/check-rule-coverage.mjs",
     "check:python-codegen": "pnpm --filter @kernlang/core --filter @kernlang/python build && node ./scripts/lift-rate-python.mjs --check",
+    "check:conformance": "pnpm --filter @kernlang/core --filter @kernlang/python --filter @kernlang/express build && node ./scripts/conformance.mjs",
     "docs:contracts": "pnpm --filter @kernlang/core build && node ./scripts/generate-ir-semantics-docs.mjs --format=markdown --out=-",
     "docs:contracts:json": "pnpm --filter @kernlang/core build && node ./scripts/generate-ir-semantics-docs.mjs --format=json --out=generated/contracts/registry.json",
     "docs:contracts:check": "pnpm --filter @kernlang/core build && node ./scripts/check-contract-docs.mjs",