Context Pact 0.1.1

Quoted special-token spellings are now counted as ordinary evidence text instead of rejected. The regression suite passes 16 tests, including 200 generated oracle cases.

Finite-scenario robust context selection, explicit dependency/conflict/expiry/tenant contracts, complete-envelope measurement, forced-inclusion tradeoffs, an independent feasibility checker, CLI and local browser workbench. See docs/MATHEMATICS.md for the narrow Lean proof scope. This release does not establish model-quality gains, production readiness or global novelty.

Install the attached tarball with npm install ./itzklaus-context-pact-0.1.1.tgz. SHA256SUMS accompanies the package.

Context Pact 0.1.0

Initial public release: finite-scenario robust context selection, explicit dependency/conflict/expiry/tenant contracts, complete-envelope measurement, forced-inclusion tradeoffs, an independent feasibility checker, CLI and local browser workbench.

15 tests include 200 generated oracle cases. Five hosted jobs passed on the implementation commit: Node 22/24 on Linux/Windows plus Lean. See docs/VERIFICATION.md for evidence and docs/MATHEMATICS.md for the narrow proof scope. This release does not establish model-quality gains, production readiness or global novelty.

Install the attached tarball with npm install ./itzklaus-context-pact-0.1.0.tgz. SHA256SUMS accompanies the package.