Compiler and runtime
Category/unit/period semantics, stratified logic, exact Boolean inference, normal, Student-t, uniform, beta, binomial, HDI, sampling diagnostics, and temporal Brier, log-loss, and calibration metrics.
In development · Prototype 0.1
Implemented, tested, and explicitly bounded.
Verisyntax remains under active development. Syntax, workflows, and storage contracts may evolve. A notarized public macOS release is not available yet.
Implemented
Data and provenance
SQLite, PostgreSQL, CSV, JSON, TXT, XLSX, multi-source joins, association discovery, and metadata v8 with review plans, snapshots, tombstones, and rollback steps.
Evidence and IDE
Desktop workflows, hash-bound review, bounded local PDF/DOCX text extraction, plus HTTPS allowlist, snapshot, and exact-quote controls in the C++ core.
Known boundaries
- The PDF/DOCX core is not yet connected to source and claim UI; OCR and visual document review remain.
- Controlled web retrieval can be planned and verified, but Verisyntax does not yet perform the network fetch.
- Schema v8 stores review and recovery foundations, but apply/restore for replacement, deletion, and schema changes is not implemented.
- Cross-database joins and automatic copying between SQLite and PostgreSQL are not allowed.
- The focused C++ suite passes 465 assertions, but the complete new beta gate awaits isolated PostgreSQL plus fresh release checks.
- The local LLM passed 10 bounded code tasks twice; large projects, real schemas, and domain correctness are not broadly benchmarked. Every suggestion requires human review.
- The local application is development-signed; public distribution requires Developer ID signing and notarization.