Skip to content

v0.4.3

Choose a tag to compare

View all tags
@meob meob released this 16 Aug 21:27
· 41 commits to main since this release
v0.4.3
0856d03
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's new

Added

  • Native-only Docker image — Dockerfile.native on python:3.12-slim (no SWI-Prolog), pure-Python native engine (EUCLID_BACKEND=native); compose service euclid-mcp-native. ~283MB vs ~370MB full image. Verified in-container: MCP stdio handshake, reason, what_if.
  • Didactic guide — docs/DIDACTIC.md (12 chapters, incl. Beyond the 1:1 mapping: the audit layer) with reference links.

Fixed

  • CI now runs an explicit EUCLID_BACKEND=native leg — the native engine was previously never exercised in CI.
  • Unicode tests re-marked prolog_only (they assert SWI-Prolog Unicode behaviour); the native ASCII-only rejection is now asserted by test_reason_tool_unicode_rejected_native / test_what_if_unicode_rejected_native.
  • Backend-aware test_api.py health/metrics tests; EUCLID_BACKEND isolated in in-process CLI tests.

Full changelog: CHANGELOG.md

Assets 2
Loading