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

Verisyntax — brugermanual (prototype 0.1)

Praktisk artikelprojekt over tid

Dette workflow passer til et projekt, hvor du løbende vil indsamle artikler, udtrække claims med en lokal model, godkende facts og senere undersøge logiske sammenhænge.

Et færdigt, fiktivt øvelsesprojekt følger med installationen:

<example-project>
├── article_analysis.vsx
├── <article-storage>/
│   ├── article_2026-08-01.txt
│   └── article_2026-08-15.txt
├── data/
└── reviewed_logic.vsx

Kopiér gerne hele mappen til dit eget arbejdsområde. Alternativt kan IDE'en oprette samme grundstruktur for dig.

Opret projektet og importer første artikel

  1. Åbn Start, og vælg New article evidence project.
  2. Vælg en tom projektmappe. IDE'en opretter article_analysis.vsx, <article-storage>/ og data/. Den importerer eller kører ikke noget og nægter at overskrive en eksisterende .vsx-fil.
  3. Gem hver artikel som UTF-8 .txt i <article-storage>/. Skriv eller konvertér teksten, så hver fysisk linje er én meningsfuld passage; TXT-importen behandler én linje som én evidensrække. Eksempelfilens første artikel indeholder:
On 1 August 2026, the North Harbour board said that 20 new charging points were fully funded.
The board expected installation to finish before 31 December 2026.
  1. Åbn article_analysis.vsx, tryk Check, vælg databasen evidence, og brug More tools… → Initialize metadata…. Projektet bruger som standard SQLite-filen <data-storage>/article_evidence.sqlite.
  2. Vælg sourcen article_lines, og tryk Import data…. Vælg article_2026-08-01.txt, brug create, og kontrollér filhash, destination, mappingen line → line og de to preview-rækker før commit.
  3. Tryk Preview rows. Begge artikelpassager skal nu stå som to rækker. Fil, hash, importtidspunkt og fysisk linje gemmes i provenance-laget.

Udtræk og godkend et claim

  1. Åbn Claim review, og tryk Load imported cells.
  2. Vælg cellen med udsagnet om 20 ladestandere, og tryk Capture selected mention. Et mention er evidens—endnu ikke et claim eller fact.
  3. Markér mentionet under Evidence mentions, behold eksempelvis glm-4.7-flash:latest og 64K, og tryk Suggest claim locally. Funktionen bruger en fast, versionsstyret prompt og sender kun de valgte mentions til lokal Ollama.
  4. Læs den redigerbare JSON. Kontrollér subject, relation, object/value, evidens og extraction_confidence. Sidstnævnte siger kun, hvor sikkert modellen strukturerede teksten—ikke om udsagnet er sandt.
  5. Tryk Store reviewed proposal. Forslaget er stadig inaktivt.
  6. Tryk Approve as fact eller Reject claim, skriv en begrundelse, og godkend versions-ID og indholdshash. Først godkendelsen opretter en aktiv fact.
  7. Tryk Open claim library for at se alle versioner, status, evidenshash og active_fact read-only.

Tilføj en senere artikel

Eksemplets anden artikel siger noget andet om samme projekt:

On 15 August 2026, the contractor said that only 12 North Harbour charging points were funded.
The contractor said that the remaining eight points required a later budget decision.
  1. Vælg igen article_lines og Import data…, men brug nu append. Tabellen findes allerede, så create er ikke det rigtige valg.
  2. Kontrollér den nye filhash og de to nye previewlinjer. Commit tilføjer rækker uden at omskrive den første artikel.
  3. Gentag mention- og claim-reviewet for udsagnet om 12 finansierede ladestandere.
  4. Sammenlign kilder, tidspunkter og versioner i Open claim library. Modstridende kildeudsagn må eksistere samtidigt; Verisyntax bevarer begge evidenskæder.

Når en tredje artikel kommer, gentager du blot dette afsnit: gem filen, importér med append, fang relevante mentions, gennemgå claim-forslag og dokumentér beslutningen.

Få lokal AI-hjælp til et spørgsmål

Åbn Start → Question for local AI, vælg Analyze my current data, og tryk Use current program and data schema. Skriv eksempelvis:

Return the complete current program with a dataset that lists every imported
article passage as text. Use only the declared evidence database and
article_lines source. Do not invent article contents or facts.

Modellen ser program og schema, men ikke tabelrækker. Forslaget skal bestå Check og indsættes først med Replace editor with reviewed draft. Til et logikforslag kan du i stedet beskrive de allerede godkendte facts:

Create a complete logic-only Verisyntax program from these human-reviewed facts:
the board article reports twenty funded points for north_harbour, and the
contractor article reports twelve. Add a funding_disagreement rule and ask
whether north_harbour has a disagreement. Do not add new factual claims.

Det medfølgende, compiler-testede reviewed_logic.vsx indeholder:

reports_funded_points(board_article, north_harbour, twenty)
reports_funded_points(contractor_article, north_harbour, twelve)

funding_disagreement(Project)
  if reports_funded_points(board_article, Project, twenty)
  and reports_funded_points(contractor_article, Project, twelve)

ask funding_disagreement(north_harbour)

Kør filen med Check → Compile C++ → Build native → Program queries → Run. Resultatet bliver TRUE, og proof viser de to reviewede facts og reglen. Dette er et bevidst menneskegodkendt programtrin; metadata-facts bliver aldrig automatisk til logikpredikater.

Til én bruger på én Mac er SQLite den enkleste og anbefalede start. Vælg PostgreSQL, hvis flere processer eller brugere skal dele samme database, eller hvis datamængden og driften kræver en databaseserver. Metadata-tabellerne bevarer kilder, mentions, claim-versioner, reviews og facts separat; det er mere kontrollerbart end én flad tabel, selv om selve artikelpassagerne godt kan ligge samlet i article_lines.