Long-form per-release changelog for yopl. The repo's README.md carries cliff-notes for users skimming GitHub; this page is the canonical history with internal-change context, motivation, and credits.

ESM-only repackage and test/docs overhaul, the largest release since the extraction of deep6 at 1.1.0.

• CommonJS build removed. yopl ships as pure ESM. CJS consumers can use Node's built-in dynamic import(); a smoke-test demonstrating the interop pattern lives at tests/test-cjs.cjs and runs via node tests/test-cjs.cjs.
• TypeScript typings added. Hand-written .d.ts sidecars for every source module. npm run ts-check runs tsc --noEmit against the typings plus a dedicated TypeScript surface test (tests/test-types.ts).
• Tests restructured. Per-driver test files (test-{solve,gen,async,asyncGen}.js) split out of a monolithic suite, plus dedicated test-system.js and test-rules.js for the predicate libraries. Run with npm test.
• Simplified list creation. Helper exports — head, term, list, listHead, rest — replace the inlined object-literal patterns common in older yopl rule definitions. The wiki's Writing rules page documents the new shapes.
• Bug fixes and perf improvements in the proof loop and the rule libraries.
• Expanded docs. ARCHITECTURE.md, llms.txt, llms-full.txt, AGENTS.md, plus per-module wiki pages (solve, solvers-gen, solvers-async, solvers-asyncGen, rules-system, rules-comp, rules-math, rules-bits, rules-logic).

Cliff-notes preserved verbatim from README.md for releases that predate this long-form page:

• 1.1.4 — updated dependencies.
• 1.1.3 — updated dependencies.
• 1.1.2 — updated dependencies.
• 1.1.1 — updated dependencies.
• 1.1.0 — deep6 was extracted from this package and is now a dependency.
• 1.0.1 — added the exports statement.
• 1.0.0 — first 1.0 release.