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

Compiler and runtime

Parser, formatter, type checking, IR v1, C++17 generation, native execution, logic, Bayes, and HDI.

Data and provenance

SQLite, PostgreSQL, CSV, JSON, TXT, XLSX, joins, imports, mentions, claims, facts, rules, and run audit.

Standalone IDE

Projects, save, resizable editor and results, diagnostics, compile, build, run, result files, and optional local Ollama.

Known boundaries

PDF and DOCX are not import formats in prototype 0.1.
Cross-database joins and automatic copying between SQLite and PostgreSQL are not allowed.
Database rows and approved metadata facts are not automatically projected into executable logic predicates.
The local application is development-signed; public distribution requires Developer ID signing and notarization.
Local LLM quality depends on the selected model. Every suggestion requires human review.