Verisyntax — User Manual (prototype 0.1)

Common problems

Run is disabled: complete Check, Compile C++, and Build native after the latest edit. Any source change invalidates the previous build.

Import data is disabled: save the .vsx file, run Check, and select a declared source.

create says the table exists: use append or reviewed merge, or choose a new SQLite file for a fresh exercise.

SQLite data disappears: replace path ":memory:" with a file path.

PostgreSQL connection fails: verify that the named environment variable exists in the environment used to launch the app and that its URI names an existing database.

Local model is rejected: the selected model must be installed in Ollama and report at least 65,536 context tokens (or 131,072 when 128K is selected).

A raw frontend/index.html page is open: that is only a source preview and has no C++ or Ollama runtime. Open Verisyntax IDE.app instead.