Compiler og runtime
Parser, formatter, typekontrol, IR v1, C++17-generering, native build, logik, Bayes og HDI.
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, joins, metadata v7, imports, mentions, claims, facts, rules og run audit.
Selvstændig IDE
Projektmapper, open/save, resizable editor/results, diagnostics, compile/build/run, forståelige resultater, resultatfiler og valgfri lokal Ollama.
Kendte grænser
- PDF og DOCX er ikke importformater i prototype 0.1.
- Cross-database joins og automatisk kopiering mellem SQLite og PostgreSQL er ikke tilladt.
- Databaserækker og godkendte metadata-facts bliver ikke automatisk projiceret til kørbare logikpredikater; overgangen kræver et særskilt reviewet programtrin.
- Den lokale app er development-signed; offentlig distribution kræver Developer ID-signering og notarization.
- Lokal LLM-kvalitet afhænger af modellen. Alle forslag kræver menneskelig kontrol.
FTPS-udgivelse er en eksplicit deployhandling. Buildet uploader eller sletter aldrig offentlige filer automatisk.