Repository navigation
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.