[P1] ZARA-015 — Make PrologEngine failures explicit #54

Merged

lost-rob0t merged 2 commits from fix/zara-015-prolog-engine-contract into master

2026-07-19 06:16:41 +00:00

lost-rob0t commented

2026-07-19 06:10:53 +00:00

(Migrated from github.com)

Closes #16

Summary

raise typed startup failures for missing files and SWI-reported consult errors
distinguish logical no-solution from runtime and query-close errors
guarantee lazy query cleanup and serialize all PySWIP access for the full iterator lifetime
safely serialize user-derived strings, atoms, numbers, and lists
move todo overlap queries behind the engine boundary and remove obsolete unsafe helpers
add deterministic unit and temporary-module integration coverage

Validation

focused PrologEngine tests: 10 passed
exact full Nix gate: 97 pytest plus every integration script passed
nix build passed

No rebase was used.

Closes #16 ## Summary - raise typed startup failures for missing files and SWI-reported consult errors - distinguish logical no-solution from runtime and query-close errors - guarantee lazy query cleanup and serialize all PySWIP access for the full iterator lifetime - safely serialize user-derived strings, atoms, numbers, and lists - move todo overlap queries behind the engine boundary and remove obsolete unsafe helpers - add deterministic unit and temporary-module integration coverage ## Validation - focused PrologEngine tests: 10 passed - exact full Nix gate: 97 pytest plus every integration script passed - nix build passed No rebase was used.