Produse
Tooling bundle-first construit pentru output reviewer-ready: generat, verificat si evaluabil.
Module tehnice
LEO
Construieste pachete de dovezi deterministe din input-uri delimitate.
- Input-uri: scoped inputs + biblioteca selectata + contracts/v1
- Pipeline determinist (ordine stabila)
- Output-uri: pack.zip + DecisionPack.pdf/html + verify.json + SHA256.txt
- Nu face: emitere de certificari; impacheteaza evidence pentru review
- Ruleaza: Windows portabil, offline
- Invoca: AEGIS pentru compile/render; emite artifacte de verificare
AEGIS
Compileaza output-uri reviewer-ready din artifacte validate.
- Compileaza reguli de biblioteca + evidence in pack-uri reviewer-ready
- Aplica framework spine + coverage gates (unde e aplicabil)
- Randeaza: DecisionPack.pdf + DecisionPack.html + manifest/seal JSON
- Garantie: structura determinista + sectiuni stabile
- Offline: fara cloud fetch; evidence trebuie furnizat/ingestat
- Este folosit de LEO in etapa de compilare
Motor inclus pentru indexare de provenienta si retrieval.
- Ingest -> Search -> Provenance (tuple path/snippet/provenance)
- Produce evidence hits consumate de compilare
- JSON shape-uri deterministe + ordine stabila
- Offline-first; indexare locala
- Nu inventeaza evidence; doar retrieval
- Suporta corpora locale pentru rulari cu scope controlat
Deschide CupolaEPI CLI
Verifica local integritatea si manifest-urile cu controale anti-tamper.
- Verifica integritatea pack-ului + shape-urile asteptate
- PASS/FAIL + motive (JSON)
- PowerShell-friendly pentru utilizatori tehnici
- Ruleaza offline; Rust CLI
- Consuma pack.zip + emite verify.json
- Potrivit pentru gate-uri CI/validare locala
EPI Viewer
Afiseaza evidence structurat pentru fluxul de review.
- Suprafata de review non-tehnica
- Drag-and-drop pack.zip, afiseaza rezultate
- Foloseste verifier-ul inclus prin tools path relativ
- Windows portabil; offline
- Afiseaza context claim-to-evidence pentru review
- Exporta verify JSON pentru evidenta
Contract de compatibilitate pentru interoperabilitatea modulelor.
Mirror public al interfetei folosite de toolchain.
- Declara artifact shapes + schema_version
- Pastreaza interoperabilitatea tool-urilor fara lock-in
- Suprafata de compatibilitate pentru upgrade-uri
- Interfata versionata intre LEO, AEGIS, Cupola, Viewer, CLI
- Folosita pentru validarea manifest/seal si output-urilor de verifier
- Suporta migrari incrementale cu schimbari explicite de schema
Deschide Contracts/v1Produse aditionale