Vai al contenuto principale
Il Symphony Change Ledger Vector (SCLV) registra nel tempo le modifiche apportate alle superfici SKV. Il suo engine è un processo C++ installabile in modo indipendente che esegue controlli deterministici sul ledger append-only e produce proiezioni usa e getta. Il ledger viene scritto solo dopo che una modifica sostanziale al codice sorgente è stata completata.

Operazioni

  • Inspect e check: validano forma, continuità ed evidenze del ledger.
  • Propose (v3): accetta proposte dichiarate dal chiamante e neutrali rispetto al provider per nuovi record.
  • Recover: esegue il recupero non mutante di stati interrotti o ambigui.
  • Project: emette su richiesta inventari usa e getta dello stato del ledger.

Ammissione e ritiro

Ogni record SCLV ammesso vincola le evidenze indicizzate correnti al momento della scrittura. Il successivo ritiro legittimo di una superficie preserva la provenienza storica immutabile senza costringere a reinserire in SKVI la prosa corrente eliminata. La storia resta storia; la verità corrente resta corrente.

Cosa non fa SCLV

  • SCLV non crea né approva modifiche al codice sorgente.
  • SCLV non riscrive i record esistenti; è append-only.
  • SCLV non pubblica nulla. La proiezione pubblica spetta a SODV.
Ogni engine SKV attuale è limitato a lettura, interrogazione, validazione e proposta. L’apply canonico è disabilitato finché non saranno completi tutti i contratti di autorità e di audit di ciascun engine.

Superfici correlate

SKVI

Indicizza la verità canonica corrente a cui si vincolano i record SCLV.

SODV

Governa la proiezione pubblica ufficiale delle informazioni del ledger.

SEV

I casi di evoluzione valutano le modifiche prima che SCLV le registri.

Comandi dei vettori di qxctl

Esegui qxctl sclv ... per inspect, check, propose e recover.
Ultima modifica il 10 ottobre 2026