Compiler og runtime
Category/unit/period-semantik, stratificeret logik, eksakt boolsk inferens, normal, Student-t, uniform, beta, binomial, HDI, samplingdiagnostik samt temporal Brier score, log loss og kalibrering.
Prototype 0.1 · local development build
Implementeret, testet og stadig ærligt afgrænset.
Denne side beskriver den aktuelle lokale prototype. En offentlig, notariseret macOS-download er ikke udgivet endnu.
Implementeret
Data og provenance
SQLite, PostgreSQL, CSV, JSON, TXT, XLSX, multi-source joins, associationsanalyse og metadata v8 med reviewplaner, snapshots, tombstones og rollback-trin.
Evidens og IDE
Desktopflow, hash-bundet review, begrænset lokal PDF/DOCX-tekstbehandling samt HTTPS allowlist-, snapshot- og citatkontrol i C++-kernen.
Kendte grænser
- PDF/DOCX-kernen er endnu ikke koblet til kilde- og claim-UI; OCR og visuel dokumentkontrol mangler.
- Kontrolleret web-retrieval kan planlægges og verificeres, men Verisyntax udfører endnu ikke selve netværkshentningen.
- Schema v8 lagrer review- og gendannelsesgrundlag, men apply/restore for replacement, sletning og schemaændringer er ikke implementeret.
- Cross-database joins og automatisk kopiering mellem SQLite og PostgreSQL er ikke tilladt.
- Den fokuserede C++-suite består 465 assertions, men den komplette nye beta-gate afventer isoleret PostgreSQL og friske releasekontroller.
- Den lokale LLM bestod 10 afgrænsede kodeopgaver to gange; store projekter, virkelige schemas og domænekorrekthed er ikke bredt benchmarktestet. Alle forslag kræver menneskelig kontrol.
- Den lokale app er development-signed; offentlig distribution kræver Developer ID-signering og notarization.
FTPS-udgivelse er en eksplicit deployhandling. Buildet uploader eller sletter aldrig offentlige filer automatisk.