Verisyntax — brugermanual (prototype 0.1)

Kontrol og kompilering

Syntaks- og semantikkontrol:

<compiler>/verisyntax check model.vsx

Formatteren skriver som standard resultatet til stdout og ændrer ikke filen direkte:

<compiler>/verisyntax format model.vsx > model.formatted.vsx
<compiler>/verisyntax format model.vsx --check

--check returnerer exit-kode 3, hvis formatering ville ændre dokumentet, og viser både source- og formatted-hash. Formatteren kræver syntaktisk gyldig Verisyntax, er begrænset til 4 MiB, bevarer kommentarer, quoted strings, deklarationsrækkefølge og interne blanklinjer, normaliserer spacing/linjeskift og reparses af C++ før resultatet returneres. I IDE'en er Format Document en undoable hel-dokument-redigering, som afvises, hvis bufferen ændres under formatteringen.

Kompilering til den serialiserbare IR:

<compiler>/verisyntax compile model.vsx -o model.ir.json
<compiler>/verisyntax inspect-ir model.ir.json

IR’en har eksplicit schema-id, version, sprogversion, alle storage/source/dataset-deklarationer og kildepositioner. Adgangsdata ligger ikke i IR’en; kun navnet på den environment variable, der skal læses ved kørsel. C++-læseren begrænser input til 16 MiB og 100.000 elementer pr. array, afviser manglende krævede felter og ukendte krævede versioner, genopbygger modellen og kører semantikkontrol. Additive felter ignoreres i IR v1, så kompatible producenter kan udvide metadata.

Første C++ backend-snit genererer en plan-source og kan skrives sådan:

<compiler>/verisyntax compile model.vsx --target cpp -o model.plan.cpp

Planen embedder den validerede, secret-free IR og kalder den linkede C++ runtime for deterministiske ask-queries, eksakte boolske posteriorer og kontinuerte HDI-queries med de dokumenterede standardindstillinger. Et deklareret dataset kan køres eksplicit og read-only med ./model.plan --dataset DATASET_NAME; connection secrets læses fortsat kun fra den deklarerede environment variable. Projektets test-build genererer og kompilerer planerne, kører logik/inferens og SQLite read-only, og kører en særskilt genereret plan mod den isolerede live PostgreSQL-testdatabase.

CLI, language server, headers, C++ runtime og schemas kan installeres i en lokal, flytbar prefix:

cmake --install build --prefix build/install
build/install/bin/verisyntax --version
build/install/bin/verisyntax-ls --version

Et eksternt CMake-projekt bruger pakken sådan:

find_package(Verisyntax 0.1 CONFIG REQUIRED)
add_executable(model_plan generated-plan.cpp)
target_link_libraries(model_plan PRIVATE Verisyntax::core)

Konfigurér consumeren med -DVerisyntax_DIR=/absolut/sti/build/install/lib/cmake/Verisyntax. Installationen indeholder også share/verisyntax/schema og eksempler. Accepttesten installerer i en tom midlertidig prefix, genererer planen med den installerede CLI og bygger/kører den fra et separat consumer-projekt; den er derfor ikke afhængig af repositoryets build-targets.