Verisyntax — brugermanual (prototype 0.1)

Hent alle godkendte projekt-facts og regler

Godkendte facts ligger i vs_facts med den eksakte claim-version og fact-JSON. Aktive regler ligger i vs_rule_versions som compiler-valideret regel-IR. Hent begge dele som ét deterministisk, read-only JSON-bibliotek:

<compiler>/verisyntax logic export model.vsx local > approved-logic.json

JSON-filen bruger schema verisyntax.approved-logic-library version 1. Den indeholder kun aktive versioner samt stable name, versions-ID, indholdshash, reviewer, begrundelse og tidspunkt. Forslag, afviste versioner og superseded versioner bliver i databasen som historik, men kommer ikke med i biblioteket. C++-kode kan bruge load_approved_logic_library(program, "local") fra verisyntax/review.hpp; der udføres kun to sorterede databasequeries, og hvert indhold kontrolleres mod approval-hashen.

I IDE'en sker samme hentning automatisk, når du trykker Add project facts, code & schema to Request. Statuslinjen viser antallet af databasegodkendte facts og aktive regler. Biblioteket er kontekst og bliver aldrig automatisk til ny kode eller nye godkendelser.