qxctl knowledge ... -ryhmä vastaa vektorien välisestä elinkaaresta ja pysyvien SSFV-istuntojen hallinnasta. Se on lähtökohta koordinaattorin tukemille operaatioille ja validaattoriin kohdistuville invarianttikyselyille.
Istunnon siirtymä
Käytä komentoaqxctl knowledge session transition ilmoittaaksesi isännän elinkaaritapahtumasta olemassa olevalle istunnolle:
Session transition
--recover vain, kun tarkoituksena on löytöpalautus vahingoittuneista paikallisista istuntotodisteista; se ei palauta epäämistä, yhteensopimatonta kriittistä tilaa eikä monitulkintaisuutta.
Invarianttikyselyt
Neljä lehtikomentoa sitoossfv:symphony:qxctl.invariant-assurance:
Invariant queries
check sitoo lisäksi ssfv:symphony:symphony-validator.invariant-ownership-assurance.
Suorat kyselylehdet tuottavat symphony.knowledge.invariant-query-result.v1 -tuloksen, jossa semantic_validity=not_asserted. check palauttaa validaattorin tarkan ja täydellisen tuloksen ja säilyttää paluukoodin 26.
Alikomentoryhmät
lifecycle
Profiili, omistajuus, havainnointi, raportointi, käynnistys, soveltaminen ja palautus.
engines
Moottorien sidontarekisterin list, inspect, doctor, bind, unbind ja migrate.
reconcile
Koordinaattorin työpuiden täsmäytyksen kielioppi.
session
Todennetut istunnot ja SSFV-ylläpitovirrat.