Ce que la V0 ne fait pas

Ces limites suivent le dépôt au commit 6580fdf. Le texte source reste la référence.

Ni signature ni identité vérifiée

Les événements portent le niveau ASSERTED_UNVERIFIED. Une décision évalue les affirmations du journal fourni ; elle ne prouve pas l’identité de leur auteur.

Aucune affirmation de performance à l’échelle de production

L’implémentation de stockage privilégie la correction et n’a pas été évaluée ni exploitée à l’échelle de production.

Pas de journal append-only imposé par la base

L’API fournie fonctionne en ajout uniquement. Un utilisateur SQL privilégié peut toujours modifier les lignes PostgreSQL sous-jacentes.

Le TOCTOU budgétaire est détecté après coup

Des décisions autorisées concurrentes peuvent dépasser un budget partagé. La V0 signale l’incohérence après exécution ; elle ne possède aucun mécanisme de réservation pour la prévenir.