VerisyntaxEvidence-oriented language
In developmentVerisyntax is a local prototype. Features, syntax, and documentation may change.

Verisyntax — User Manual (prototype 0.1)

Current prototype boundaries

  • CSV, flat JSON, line text, XLSX, SQLite, PostgreSQL, datasets, two-source joins, C++ generation, native execution, run audit, deterministic logic, exact Boolean probability, and initial continuous Bayesian inference are implemented.
  • Database rows can be queried as datasets. Approved claims and active rules are available together through the hash-bound approved-logic JSON/C++ API and are included as read-only local-AI project context. Structured claim JSON is not automatically converted into a specialized executable predicate; that still requires a separately reviewed program projection.
  • The standalone desktop app exposes the main imported-cell mention and local claim-to-fact review flow. Its History & provenance panel provides bounded read-only import, inference, execution, and mention history plus exact-run imported record/cell inspection, all bound to the unchanged saved program. The VS Code client still has richer structured comparisons, text-range snapshots, join composition, and detailed inference views.
  • PDF/DOCX import, automatic schema mutation, replacement/deletion, cross-database joins, and multi-source visual join composition are not implemented.
  • The local .app is development-signed. Public distribution still requires Apple Developer ID signing and notarization.

For exact technical contracts, see ARCHITECTURE.md, DATABASE_SCHEMA.md, IDE_PLAN.md, LANGUAGE_SERVER.md, and LLM_EVALUATION.md in the same documentation folder.