Passer au contenu principal
libraries/knowledge-vector-engine-cpp fournit les mécanismes C++ partagés et sans autorité que chaque moteur de vecteur Symphony réutilise. Elle offre des briques déterministes afin que chaque moteur puisse rester borné, reproductible et exempt d’effets de bord ambiants.

Ce que fournit la fondation

  • Cadrage de processus : protocole de processus local sans autorité utilisé par chaque moteur
  • JSON borné : analyse et émission strictes avec des limites explicites de taille et de profondeur
  • SHA-256 : adressage par contenu pour les preuves et les reçus
  • Lectures sans suivi : lectures du système de fichiers qui ne traversent jamais de liens symboliques de manière inattendue
  • Instantanés déterministes : instantanés reproductibles de l’état inspecté
  • Validation temporelle : gestion canonique de l’UTC conformément au Symphony Temporal Semantics Contract
  • Découverte des manifestes propriétaires : découverte exacte des manifestes de contrat
  • Empaquetage versionné : paquets installables indépendamment et détenus par reçu
  • Reçus et désinstallation détenue par reçu : désinstallation pilotée uniquement par le reçu qui a installé l’artefact

Frontière de la découverte des manifestes

La découverte des manifestes part d’un ensemble d’amorçage fixe et ne parcourt que les déclarations subordonnées explicites. Elle n’effectue jamais d’exploration ambiante du dépôt et ne déduit jamais la propriété à partir des noms de répertoires.
Chaque moteur de vecteur qui utilise la fondation hérite de cette règle.

Ce que la fondation ne fait pas

  • Elle ne porte aucune autorité. Les moteurs qui l’utilisent doivent toujours autoriser les mutations via SSIAG.
  • Elle ne publie ni ne récupère rien sur le réseau.
  • Elle ne modifie pas d’elle-même les fichiers canoniques.

Surfaces associées

Coordinateur de sessions

Coordinateur C++26 bâti sur la fondation pour les sessions et la réconciliation.

Vue d'ensemble des moteurs

Les moteurs qui réutilisent la fondation.

Vue d'ensemble de SKV

Contrats de vecteurs que les moteurs implémentent.

Vue d'ensemble de qxctl

CLI d’administration qui invoque des moteurs exacts validés par reçu.
Dernière modification le 10 octobre 2026