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

Verisyntax — User Manual (prototype 0.1)

Supported import files

The standalone IDE accepts:

  • CSV with a header row;
  • a top-level JSON array of flat objects;
  • plain UTF-8 text, with one physical line per row;
  • XLSX with an explicitly selected sheet.

CSV/JSON/XLSX fields must currently match the source's logical column name or declared physical mapping. A physical mapping looks like this:

column id: integer from "Customer No"

Available scalar types are boolean, integer, real, text, date, and datetime. Add optional only when a missing value may become SQL NULL:

column country: text optional

For plain text, the source must contain exactly one column:

source article_lines:
  database local
  table "article_lines"
  column line: text
  provenance row

Every import is previewed and bound to the saved program hash, retained file hash, mapping hash, and—when merging—the exact merge-plan hash. Typed destination rows and provenance records commit in one transaction. A failure rolls back both.

PDF and DOCX extraction are not implemented in prototype 0.1.