TemporalPostgreSQLpgvectorCELKeycloakCerbosPydanticAIFastAPI · GraphQLReact · TypeScriptRootless Podman · systemdOpenTelemetryTLA+
- 247 / 0open case histories replayed, failures, before the current development build's workers were admitted.6 November 2026 · development profile · synthetic data
- 100,000vectors in a mechanism test of permission-filtered retrieval: authorization applied before the search limit, no restricted content in any result at any selectivity.Synthetic fixture · mechanism test, not a product corpus
- 5,867backend unit tests passing on the development revision of 6 November 2026, alongside Go, web and documentation checks.Local checks · no CI yet
- 1deterministic process interpreter for ten bounded families of process. Agents never advance a case; they propose through the same command boundary as people.Design decision, implemented in the execution core
- 5model roles (reasoning, fast, vision, embedding, rerank) chosen explicitly per task. No mandatory model, no silent fallback, local or customer-supplied.Implemented · bilingual quality not yet qualified
- 6core execution packets with TLA+ state models and a crash-window test harness mapped to them.One three-revision model exceeded its state budget; recorded as a limit, not a pass
All figures are from the development profile on synthetic data. None is an acceptance, certification or performance result.