VerisyntaxEvidence-oriented language
Under udviklingVerisyntax er en lokal prototype. Funktioner, syntaks og dokumentation kan ændre sig.

Verisyntax — brugermanual (prototype 0.1)

Nuværende grænser

  • ask, facts og regler evalueres nu af en bounded open-world C++-runtime med forklaringsgraf; databasetabeller er endnu ikke grounded ind i logikrelationer.
  • Automatisk råtekstanalyse er implementeret som to kontrollerede lokale trin: højst 100.000 bytes pr. artikel til passageforslag og derefter ét struktureret claimforslag ad gangen. Den gennemgår endnu ikke automatisk alle passageforslag til en batch af claims, og intet trin godkender facts eller regler automatisk.
  • Godkendte claims kan dokumenteres som aktive facts i metadata og ses i Claim Library, men bliver ikke automatisk projiceret til kørbare logikpredikater. Det kræver et separat, reviewet programtrin.
  • Boolsk chance med eksakt posterior samt første kontinuerte normal/uniform/beta/observeret-binomial runtime med deterministic-seed sampling, HDI, ESS, split R-hat, acceptance og auditeret SQLite/PostgreSQL-persistens er implementeret. Flere distributioner, bedre samplere, posterior predictive checks og calibration metrics mangler.
  • CSV-, flat-object JSON-, line-text- og XLSX-preview/create/append/primary-key merge samt bounded read-only importhistorik og exact-run record/cell action browsing er implementeret for SQLite og PostgreSQL.
  • Lokal Ollama code/claim/rule suggestion, mention-bundet LLM-audit, redigerbar claim-/regel-persistence samt hash-bundet claim/rule approval-UI er implementeret; bred model-evaluering og exact full-snapshot quote/offset-verifikation mangler.
  • C++-compileren udsender JSON IR, SQL og genererede planer. En separat consumer kan finde den installerede CMake-pakke, linke Verisyntax::core og køre logik, eksakt boolsk sandsynlighed, kontinuerlig sampling og eksplicitte read-only datasets. Installation og generated-plan consumer er automatisk accepttestet; en notariseret macOS-app/distribution findes endnu ikke.
  • C++ language server, installerbar VS Code-klient og selvstændig Tauri/macOS-IDE er implementeret. Desktopappen har Monaco, live C++-diagnostik, projektmapper, sikker open/save/format/IR, resizable editor/resultat, compiler-afledt database/source/dataset-katalog, metadata-initialisering, hashbundet filimport, read-only schema/source-preview, lokal kodeassistance, importeret celle → mention → redigerbart lokalt claim → proposal → hashbundet fact/reject, manuel regelproposal/approval og separat godkendt C++-compile/build/run. Panelet History & provenance viser bounded read-only import-, inference-, execution- og mention-historik samt exact-run importerede records/celler og kræver et uændret gemt program. VS Code-klienten har fortsat mere strukturerede sammenligninger, text-range/snapshot-, join-composer- og detaljerede inference-paneler. Cross-file index/refactors og alias-rename, schemaændringer, replacement/deletes og multi-join composition mangler.
  • PostgreSQL-import og primary-key merge er live-valideret mod en isoleret lokal PostgreSQL 17-database, inklusive stale-plan-afvisning, per-row actions og rollback. Den reproducerbare integrationstest bruger en gyldig URI fra projektets lokale .verisyntax-postgres-test-url, når den findes, og ellers fra VERISYNTAX_TEST_POSTGRES_URL; secret-filen er ignoreret af Git og må kun indeholde forbindelses-URI'en på én linje. Hvis ingen af delene findes, markeres testen som skipped.

Testen installerer Verisyntax-metadata, skriver testposter og sletter den entydigt navngivne testtabel igen. Brug derfor en isoleret database. Som sikkerhedsgrænse skal forbindelsen være en postgres://- eller postgresql://-URI, og det faktiske databasenavn skal indeholde test.

Du kan oprette secret-filen uden at vise forbindelsesstrengen i terminalhistorikken. Indtast eksempelvis postgresql:///verisyntax_test for en lokal socket-forbindelse eller en fuld TCP-URI med database-navnet verisyntax_test:

cd <local-project>
umask 077
read -s "pg_url?PostgreSQL test URL: "
print
print -r -- "$pg_url" > .verisyntax-postgres-test-url
unset pg_url

Kør derefter kun PostgreSQL-accepttesten med:

ctest --test-dir build -R verisyntax_postgresql_import_integration --output-on-failure