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 med den guidede artikelproces

  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/, åbner modellen og viser Article workflow. Den importerer eller kører ikke noget og nægter at overskrive en eksisterende .vsx-fil.

    3. Projektet får samtidig en valideret <managed-storage>, som binder alle projektets .vsx-filer og markerer den primære model. Når projektet genåbnes, åbner IDE'en automatisk den primære .vsx i stedet for startdemoen. Brug Update VSX project binding… efter at have tilføjet en ny analyse- eller regelmodel.

  3. Brug Prepare database…. Appen checker selv modellen og beder derefter om godkendelse til at initialisere den lokale SQLite-metadata. Du behøver ikke kende rækkefølgen Check → database → metadata.
  4. Gem artiklerne som almindelige UTF-8 .txt i <article-storage>/. Bevar den naturlige brødtekst; du skal ikke selv omskrive teksten til én logisk passage pr. fysisk linje. Tryk Choose article files…, og vælg gerne flere filer samtidigt. Appen viser én batch-preview, springer allerede importerede SHA-256-hashes over og kræver én samlet godkendelse. Hver fil får stadig sin egen kildeversion og sit eget import-run. TXT-tabellen har én fysisk linje pr. række, mens artikelanalysen læser og hashkontrollerer hele originalteksten. 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. Vælg Create for first file, then append remaining files i et nyt projekt eller Append every new file i et eksisterende projekt. Kontrollér filhash, destination og mappingen line → line, og tryk Commit batch. Linjerækkerne er en søgbar datavisning, ikke den semantiske opdeling af artiklen.
  2. Den guidede dialog kan lukkes og åbnes igen med Article workflow…. Den viser, om database og importer allerede findes. Tryk eventuelt Preview rows for at kontrollere data.

Udtræk og godkend et claim

  1. Åbn Claim review, og tryk Load imported text articles. Vælg artiklens hashbundne tekstsnapshot.
  2. Behold den anbefalede lokale artikelmodel og 64K, og tryk Find logic passages locally. Første modeltrin læser hele råteksten og foreslår ordrette, ikke-overlappende passager med typer som claim, causal, quantitative eller temporal.
  3. Verisyntax finder selv passagernes byte-offsets i originalfilen. Hvis modellen omskriver, opfinder eller ændrer rækkefølgen af et uddrag, afvises hele forslaget. Godkendte passageudkast gemmes kun som mentions med kildehash—aldrig som facts eller aktive regler.
  4. Markér én passage eller en lille sammenhængende evidensgruppe under Evidence mentions, og tryk Suggest claim locally. Dette andet modeltrin foreslår ét struktureret claim ad gangen fra netop den valgte evidens. Gentag trin 4 for flere selvstændige claims.
  5. Læs den redigerbare JSON. Kontrollér subject, relation, object/value, attribution, periode, evidens og extraction_confidence. Sidstnævnte siger kun, hvor sikkert modellen strukturerede teksten—ikke om udsagnet er sandt.
  6. Tryk Store reviewed proposal. Forslaget er stadig inaktivt.
  7. Tryk Approve as fact eller Reject claim, skriv en begrundelse, og godkend versions-ID og indholdshash. Først godkendelsen opretter en aktiv fact.
  8. Tryk Open claim library for at se alle versioner, status, evidenshash og active_fact read-only.

To modeltrin er bevidst valgt: passageudvælgelsen kan kontrolleres ordret mod kilden, før claim-struktureringen fortolker teksten. En LLM må senere foreslå en regel fra godkendte prædikater, men Verisyntax' parser/typekontrol og en separat brugergodkendelse er fortsat nødvendige. LLM'en beregner aldrig posterior-sandsynligheder.

Højrepanelets fire funktioner

  • Local AI · Script help laver et redigerbart programforslag. Vælg lokal model og normalt 64K context. Suggest a Request… omsætter dit mål og ønskede output til et redigerbart, schema-aware Request uden at kontakte Ollama. Brug Add project facts, code & schema to Request før spørgsmål, der afhænger af projektets facts eller regler. Knappen hashkontrollerer alle registrerede .vsx-filer og henter aktive facts/regler fra projektets metadatabaser; den læser ikke almindelige domænerækker. Suggest code locally kontakter først Ollama efter godkendelse. Apply preservation-safe draft er kun aktiv, når C++-kontrollen bekræfter, at udkastet er gyldigt og ikke har fjernet eksisterende facts, regler eller datadeklarationer. Det godkender ingen nye facts eller regler.
  • Claim review følger kæden tekstsnapshot → ordret mention → redigerbart claim → gemt forslag → approve/reject. Kontrollér altid scope, attribution, tidspunkt og evidens. extraction_confidence er udtrækskvalitet, ikke sandhedssandsynlighed.
  • History & provenance er read-only. Import history viser hashes og import-runs; et import-run-ID åbner de konkrete rækker/celler; de øvrige knapper viser inference, native execution og mentions.
  • Rule review starter med reviewer-identitet. Confirm Rule(s) åbner et overskueligt bibliotek med hver eksakt regelversion, status, Verisyntax-kilde, safety/stratification, modelproveniens og de ordrette evidensmentions. Forslag, der afventer review, markeres som udgangspunkt, så flere kan godkendes eller afvises i én arbejdsgang. Du skal stadig skrive en begrundelse og bekræfte alle viste indholdshashes; markeringen aktiverer aldrig regler automatisk. Et regelforslag skal bruge kendte prædikater og valideres som Verisyntax. Lokal AI aktiverer aldrig selv en regel og beregner aldrig sandsynligheder.

Hver sektion har desuden den udfoldelige hjælp How to use this panel direkte i appen. Hele højrepanelet kan skjules med Hide right panel og åbnes igen med Show right panel; valget huskes lokalt.

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. Åbn Article workflow…, vælg Choose article files…, og brug Append every new file. Du kan vælge flere nye artikler i samme batch.
  2. Kontrollér den nye filhash og previewet. Commit tilføjer rækker og et nyt tekstsnapshot uden at omskrive den første artikel.
  3. Indlæs tekstsnapshots igen, kør Find logic passages locally, og gentag 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 råteksten, importér med append, lad den lokale model foreslå ordrette logikpassager, 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 Suggest a Request…. Når du godkender dialogen, føjer appen selv de validerede projekt-facts, koden og schemaet til Request før dit mål. Du behøver derfor ikke bagefter trykke Add project facts, code & schema to Request; hvis du gør det for at opdatere konteksten, bevares dit redigerede mål. 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 alle registrerede projektprogrammer og deres deklarerede facts og regler, men ikke tabelrækker. Andre projektfiler er kun kontekst; udkastet gælder den aktuelt åbne fil. Et dataset køres gennem IDE'ens datasetvælger og må ikke afsluttes med ask dataset_name; ask er kun til en deklareret logikprædikat-forespørgsel eller probabilistisk variabel. Forslaget skal bestå Check, og anvendelsesknappen forbliver låst, hvis et eksisterende fact, en regel eller en datadeklaration mangler. Til et logikforslag kan du derfor henvise direkte til de allerede deklarerede projekt-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 & build → 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.