Verisyntax — brugermanual (prototype 0.1)

Databaseforbindelser

SQLite er standardvalget til lokale data:

database local_data:
  engine sqlite
  path "<data-storage>/verisyntax.sqlite"

PostgreSQL bruger altid en environment variable. En adgangskode skrives derfor ikke i .vsx-filen eller compilerens IR:

database warehouse:
  engine postgresql
  connection env "VERISYNTAX_DATABASE_URL"
  schema "public"

En lokal database med navnet verisyntax kan eksempelvis konfigureres sådan:

createdb verisyntax
export VERISYNTAX_DATABASE_URL='postgresql:///verisyntax'
<compiler>/verisyntax metadata init model.vsx warehouse --schema-root schema

I den selvstændige IDE udføres samme versionskontrollerede handling med Initialize metadata… efter valg af database. En ny database får schema-version 8. En ældre Verisyntax-database får kun de manglende additive migrationer.

En eksisterende metadata-database på schema-version 2 opgraderes additivt til tabelcelle-mentions med den backend-specifikke migration:

psql "$VERISYNTAX_DATABASE_URL" -f schema/postgresql/003_mentions_source_cell.sql
# eller, for SQLite v2:
sqlite3 <data-storage>/verisyntax.sqlite < schema/sqlite/003_mentions_source_cell.sql

Schema-version 4 tilføjer projektlokale, retained snapshot copies:

psql "$VERISYNTAX_DATABASE_URL" -f schema/postgresql/004_source_snapshots.sql
# eller, for SQLite v3:
sqlite3 <data-storage>/verisyntax.sqlite < schema/sqlite/004_source_snapshots.sql

Schema-version 5 knytter en gemt regelversion til den præcise, auditerede lokale modelkørsel, som foreslog dens første redigerbare udkast:

psql "$VERISYNTAX_DATABASE_URL" -f schema/postgresql/005_rule_llm_provenance.sql
sqlite3 <data-storage>/verisyntax.sqlite < schema/sqlite/005_rule_llm_provenance.sql

Schema-version 6 tilføjer merge-operation, handlingsantal og den enkelte kilderækkes destination-action. Kør kun migrationen på en eksisterende version 5-database:

psql "$VERISYNTAX_DATABASE_URL" -f schema/postgresql/006_import_merge_audit.sql
sqlite3 <data-storage>/verisyntax.sqlite < schema/sqlite/006_import_merge_audit.sql

Schema-version 7 tilføjer den generelle execution_runs-historik til dokumentation af compilerede program- og datasetkørsler. En eksisterende version 6-database opgraderes sådan:

psql "$VERISYNTAX_DATABASE_URL" -f schema/postgresql/007_execution_runs.sql
sqlite3 <data-storage>/verisyntax.sqlite < schema/sqlite/007_execution_runs.sql

Schema-version 8 tilføjer reviewplaner med program-/state-/planhash, før/efter-snapshots, gendannelige tombstones samt forward/rollback-trin til schemaændringer. Tabellerne udfører ikke selv en sletning, og en række, der mangler i en senere import, betyder fortsat ingenting:

psql "$VERISYNTAX_DATABASE_URL" -f schema/postgresql/008_reviewed_data_lifecycle.sql
sqlite3 <data-storage>/verisyntax.sqlite < schema/sqlite/008_reviewed_data_lifecycle.sql

Verisyntax opretter ikke databasen eller ændrer brugerrettigheder automatisk. Brug en read-only PostgreSQL-rolle til almindelige run-forespørgsler og en særskilt importrolle til godkendte importer.