All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog.
computeUnknownsis a new opt-in option. Previously, unknown satisfactions were always computed; nowunknownSatsis omitted unless enabled.maxSolutionsis a new cap with a default of 1000. Previously, enumeration was unbounded; now it throws once the cap is exceeded. SetmaxSolutions: nullto disable the limit. Passing 0 or a negative value throws.
- Support for deriving satisfactions in tapscript context.
- Satisfier prunes unknown satisfactions by default.
- Witness weight sorting is tapscript-aware (Schnorr/x-only sizing heuristic).
- Satisfier result shape now omits
unknownSatsunless enabled.
- README updated with a TypeScript-focused intro, malleability explanation, pruning/limits guidance, and refreshed examples and build steps.
- COMPILER.md updated for TypeScript references and new satisfier behavior.
- Satisfier tests now exercise both computeUnknowns modes; fixtures include
explicit
unknownSatsarrays and throw cases include empty sats arrays.