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 normal/student_t/uniform/beta/observeret-binomial runtime med deterministic-seed sampling, HDI, ESS, split R-hat, acceptance og auditeret SQLite/PostgreSQL-persistens er implementeret. Temporal Brier/log-loss/calibration-evaluering er implementeret som et separat deterministisk resultat; flere likelihoods, bedre samplere og posterior predictive checks 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. Kodehjælpen har en versionsstyret 10-opgavers live suite; bred evaluering af store projekter, virkelige schemas og claim-/regelkvalitet mangler fortsat. Den nye full-snapshot hash-/quote-/UTF-8-offset-kontrol og PDF/DOCX-extractors mangler også integration i claim/source-UI.
  • 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, eksplicit compiler-valideret multi-source join composer, 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-, valgfri read-only join-key-profilering og detaljerede inference-paneler. Cross-file index/refactors, alias-rename og lifecycle apply/restore 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