v0.3.0 CLI Application Release

v0.3.0 — CLI Application Release

Interactive terminal application for running the Parseltongue verification pipeline on documents.

CLI & TUI

• Full interactive TUI with Textual — document picker, query input, live pipeline view, answer screen
• Four-pass pipeline runs interactively: extraction, blinded derivation, fact-checking, answer generation — with retry/skip per pass
• parseltongue run for headless CLI execution with -d and -q flags
• parseltongue inspect for document preview, parseltongue history for browsing past runs, parseltongue configure for setup wizard
• Document ingestion via Docling — PDF, DOCX, PPTX, XLSX, HTML, plus all plain text and code formats
• History browser with lazy-loading pagination and delete with confirmation
• History replay rebuilds full system state from serialized data
• UI resizing, copy from live pipe, normalized hints bar

Core Engine

• Axiom definitions changed to rewrites only
• Explicit strict tracking for eval usage
• Term propagation through using chains
• Fix parsing of escaped strings
• Fix serialization of trees
• Consistency saved as structured object (dict) instead of string

LLM Pipeline

• Improved prompts for better extraction quality
• Better consistency display with full context and restoration
• Async OpenAI provider with streaming

Infrastructure

• Trivy security scanning workflow (vuln + secret, SARIF upload to GitHub Security tab)
• Per-module README documentation (core, llm, cli)
• Restructured top-level README

Full Changelog: v0.2.0...v0.3.0