Passer au contenu principal
qxctl est la CLI d’administration et de requête de Symphony, écrite en Go et conçue d’abord pour les agents. Elle parle en commandes ; les vecteurs de domaine détiennent les opérations et les significations qui les sous-tendent. Son registre versionné lie chaque feuille de commande exécutable à une identité machine stable et à des preuves d’administration de fonctionnalités revues.

Ce que couvre qxctl

qxctl implémente l’administration pour :
  • L’inspection des dépôts et des contrats
  • L’administration du validateur, des avertissements, des invariants, des fonctionnalités, du cycle de vie, des sessions, de la réconciliation, des liaisons et de Maestro
  • L’administration de l’identité SSIAG, de l’audit STAV et des producteurs Accordare
  • La grammaire des moteurs vectoriels implémentés (skvi, sclv, sacv, sodv, ssfv, ainsi que les surfaces SCV et SHV)
Le registre actuel contient 373 commandes exécutables.

Modèle d’invocation sûr

qxctl invoque des installations exactes validées par reçus en utilisant des sous-processus bornés, des délais stricts, des vérifications d’identité et de digest des réponses, des transactions sur état attendu et une récupération durable. Il n’accepte jamais de chemins d’adaptateur ni de versions brutes à la place des reçus.

Registre de liaison des moteurs v2

Le registre de liaison des moteurs v2 prend en charge les huit rôles de moteur établis ainsi que des identités de rôles futurs bornées. L’état v1 hérité est lu en double ; la migration vers v2 exige un compare-and-swap explicite lié au digest via qxctl et n’est jamais une opération de sélection de version.

Commandes du registre

Générez et vérifiez le registre attendu depuis tools/qxctl :
Registry generation and verification
Un client installé peut émettre des preuves liées à l’exécutable :
Manifest from installed qxctl
Les preuves attendues ont une version client, un digest d’exécutable et un digest de reçu nuls. Les preuves observées lient la version exacte du client et le digest de l’exécutable, ainsi qu’un digest de reçu lorsqu’il est disponible. Les deux formes utilisent symphony.qxctl.command-registry.v1.
qxctl détient la grammaire et la présentation des commandes. Il ne détient ni la sémantique des vecteurs ni la vérité canonique des connaissances. Seules des modifications de source revues ratifient une nouvelle identité qxcmd, quelle que soit la classe de l’appelant.

Groupes de commandes

knowledge

Cycle de vie inter-vecteurs et administration des sessions SSFV persistantes.

lifecycle

Profil, propriété, observation, rapport, démarrage, application et récupération.

engines

Registre de liaison des moteurs et migration.

reconcile

Réconciliation des worktrees du coordinateur.

session

Sessions authentifiées et flux de maintenance SSFV.

maestro

Inventaire dérivé des récepteurs et preuves d’arrimage.

validate

Politique d’avertissement protégée et administration du validateur.

commandes vectorielles

skvi, sclv, sacv, sodv, ssfv, shv et future grammaire accord/evolution.
Dernière modification le 10 octobre 2026