Plugin

Competenza di verifica delle affermazioni che confronta documenti di progettazione e piani con i fatti del codice, escalando le affermazioni comportamentali a verifica eseguibile con primitive logiche per macchine a stati e modelli di dati, con regressione prima/dopo, vincoli di dominio e mining dei rischi di concorrenza.

Analizza/interroga/aggrega/converte CSV (RFC 4180) con un parser a macchina a stati a dipendenza zero.

Gate di verifica a calcolo reale: semplificazione matematica, dimostrazioni logiche, validazione con regex, FOL con E-prover, verifiche di macchine a stati e riparazione del codice, basati su binari compilati in Go con eseguibili Windows precompilati

Turns what a design, plan or document claims into a model and decides it: UML diagrams rendered, read and reviewed; state machines, protocols and data models checked as models; migrations tested for coverage and rollback symmetry; concurrency claims mined and routed to the checker that can decide them; dependency graphs audited; reports diffed.