Nightly Release Notes

1.0.1.dev202604011558

Published on April 1, 2026.

This nightly is the staged-pipeline branch snapshot published to PyPI. It is the first prerelease that packages the staged SMT2 work and the document-grounded verification pipeline together with the new nightly-release automation.

Highlights

Staged SMT2 backend

  • ProofOfThought now accepts backend="staged_smt2" in addition to the existing json and smt2 backends.
  • The staged backend formalizes text in ordered phases for sorts, functions, constants, and knowledge-base assertions before running query verification.
  • The SMT2 stack now includes dedicated staged IR, parser, emitter, prompt, and backend components.

Document-grounded verification pipeline

  • Added DocumentVerificationPipeline for building document-level SMT foundations from chunked source text and verifying answer options against them.
  • Added helper exports in z3adapter.reasoning for build_document_model, verify_qa_pairs, evaluate_dataset, and load_question_selector.
  • Added examples/nl_smt_bench_document_verification.py for running staged verification over NL-SMT-Bench-style qa_outputs.

Validation and examples

  • Added integration coverage for staged backend execution and document verification behavior.
  • Added unit coverage for the staged SMT2 IR, parser, emitter, and stage orchestration layers.
  • Expanded documentation and examples for staged autoformalization and Azure-backed staged usage.

Compatibility Notes

  • This is a nightly prerelease. It may change behavior or APIs before the next stable release.
  • The document verification pipeline requires ProofOfThought(..., backend="staged_smt2").
  • The package still requires Python 3.13 and a working z3 executable for SMT2-backed verification flows.