Gravadora Decision Gate Asset Core
Docs
Recorder Docs

Documentació de gravació de proves i evidències que mostren manipulació.

Altres documents de producte

Arquitectura de Runtime i Bundle del Recorder

Audience: Engineers changing ingest/runtime behavior, bundle export, or Audiència: Enginyers que canvien el comportament d’ingestió/execució, l’exportació de paquets o els camins de verificació.

Taula de continguts

  1. Visió Executiva
  2. Cicle de vida del motor de gravació
  3. Auto-Sellar i Sellat de Segment
  4. Adaptador de límit
  5. Bundle Builder Pipeline
  6. 7-Fases Verificador
  7. Proveïdor d’Evidències Límits
  8. Estat de Dureça en Temps d’Execució
  9. File per Fitxer Referència Creuada

Executive Overview

recorder és la capa d’orquestració en temps d’execució. Segella entrades no fiables en sobres enllaçats en cadena només d’addició, controla el cicle de vida dels segments, construeix paquets portables a partir de l’àlgebra de selectors i verifica paquets fora de línia en memòria.

F:crates/recorder/src/lib.rs L11-L29 F:crates/recorder/src/lib.rs L34-L56

Cicle de vida del motor de gravació

RecorderEngine posseeix l’estat del segment actiu i fa complir les invariants:

  • zero o un segment actiu,
  • la seqüència comença a 0 per segment,
  • progressió del cap de cadena per afegir,
  • comportament només d’append.

F:crates/recorder/src/engine.rs L22-L35 F:crates/recorder/src/engine.rs L108-L137

Comportament d’inici de l’aplicació:

Comportament d’ingestió:

  • càlcul del hash de contingut i del hash de cadena,
  • injecció de signatura opcional,
  • afegir a l’emmagatzematge,
  • in-memory chain-head and envelope-count update. F:crates/recorder/src/engine.rs L376-L436

Auto-Sellar i Segellat de Segment

La configuració admet None, AfterCount, AfterDuration i Combined. Els llindars de valor zero són rebutjats durant la validació. recorder_id ha de satisfer les mateixes restriccions de forma d’identitat que s’utilitzen pels identificadors d’actors en temps d’execució, de manera que els IDs no vàlids fallen tancats en l’inici en comptes de més tard en els fluxos de segment/sellat. F:crates/recorder/src/config.rs L36-L85 F:crates/recorder/src/config.rs L117-L165

Flux de segellat:

L’avaluació d’auto-segellat s’invoca després de cada append d’envolupament de dades amb èxit. F:crates/recorder/src/engine.rs L505-L565

Adaptador de límit

LocalRecorderAdapter envolta RecorderEngine en tokio::sync::Mutex per satisfer els requisits del trait compartit Send + Sync mentre es preserva l’accés exclusiu mutable en temps d’execució. F:crates/recorder/src/local_adapter.rs L20-L24

emit_envelope i emit_with_attachments ambdós criden a la validació explícita de fallada tancada abans de la delegació del gravador. F:crates/recorder/src/local_adapter.rs L120-L165 F:crates/recorder/src/validation.rs L46-L83

Bundle Builder Pipeline

BundleBuilder::build pipeline:

  1. resoldre selector,
  2. agrupar sobres per segment de manera determinista,
  3. construir metadades d’inclusió per segment,
  4. calcular pares omesos i tancament d’adjunció,
  5. assembleu el manifest de verificació.

F:crates/recorder/src/bundle_builder.rs L17-L35 F:crates/recorder/src/bundle_builder.rs L129-L172

L’algebra de selectors inclou selectors de segment/temps/filter/ID i unions compostes amb deduplicació determinista a través de BTreeMap. F:crates/recorder/src/bundle_builder.rs L415-L479

Els segments parcials utilitzen ancoratges de prova (chain_hash immediatament abans del primer sobre inclòs) per a la verificació de continuïtat. F:crates/recorder/src/bundle_builder.rs L255-L290

7-Fases Verificador

Verifier::verify executa comprovacions de paquet en memòria en aquest ordre:

  1. format de manifest/hash-algorithm i comprovacions d’integritat estructural,
  2. integritat del hash d’adjunt,
  3. hash del contingut de l’enviament i presència d’adjunt,
  4. continuïtat de la cadena per segment,
  5. vinculació de predecessors entre segments,
  6. verificació de signatures amb arrel de confiança opcional + política de confiança,
  7. assemblea de veredicte.

Abans de l’execució de la fase, el verificador aplica una política de treball limitat i falla tancat si es superen els límits (segments, sobres per segment, sobres totals, adjunts totals i referències d’adjunt per sobre).

F:crates/recorder/src/verifier.rs L13-L26 F:crates/recorder/src/verifier.rs L95-L136 F:crates/recorder/src/verifier.rs L500-L651

Totes les comparacions de hash utilitzen igualtat en temps constant. F:crates/recorder/src/verifier.rs L29-L52

L’output del verificador també suporta la materialització de transcripcions deterministes per a l’ús de paquets d’auditoria. VerificationTranscript captura la versió de l’esquema, metadades del paquet, metadades opcionals de la confiança, càrrega completa del veredicte i comptadors de resum deterministes. F:crates/recorder/src/verification_transcript.rs F:crates/recorder/src/verifier.rs

Proveïdor d’Evidències Límits

RecorderEvidenceProvider implementa el trait EvidenceProvider delegant a emmagatzemar consultes, construir paquets i verificar. F:crates/recorder/src/evidence_provider.rs L48-L67

Mètodes:

  • list_bundles enumerates sealed segments with stable IDs derived from list_bundles enumera segments segellats amb IDs estables derivats dels IDs de segment i suporta la semàntica de cursor/límits,
  • fetch_bundle resolves the requested bundle ID to a sealed segment and builds fetch_bundle resol el bundle ID sol·licitat a un segment segellat i construeix amb BundleSelector::BySegment,
  • verify_bundle delega a un verificador de 7 fases,
  • query_envelopes delega a les consultes de filtre de l’emmagatzematge d’envelopes.

Els controls de límits del proveïdor ara inclouen una normalització/rebuig explícit de límits de fallada tancada per a límits de sol·licitud i límits de materialització de segments-envolupants.

F:crates/recorder/src/evidence_provider.rs L123-L286

Estat de Dureça en Temps d’Execució

Recentment completat en temps d’execució:

  1. Verifier phase 6 now enforces trust-root key lookup, cryptographic signature La fase 6 del verificador ara imposa la cerca de la clau de confiança arrel, la validació de signatures criptogràfiques i les comprovacions de política de confiança quan es proporciona una arrel de confiança.
  2. Recorder startup now performs fail-closed read-back verification over the El inici del gravador ara realitza una verificació de lectura de tancament de fallades sobre els darrers N sobres del segment actiu (startup_verification_depth).
  3. Evidence provider now exposes stable bundle IDs and true fetch-by-ID El proveïdor d’evidències ara exposa ID de paquet estables i una veritable semàntica de recuperació per ID per a segments segellats.
  4. Verifier phase 1 now fail-closes on manifest structural tampering (segment La fase 1 del verificador ara tanca automàticament en cas de manipulació estructural del manifest (mismatch de metadades de segment i llista d’adjuncions).
  5. Recorder config validation now fail-closes malformed recorder_id values La validació de la configuració del gravador ara tanca en fallada els valors recorder_id malformats abans que es produeixi el comportament d’obertura/tancament en temps d’execució.
  6. El verificador ara aplica límits de treball explícits i delimitats a la frontera de la biblioteca.
  7. Evidence provider now enforces bounded query/list/materialization limits and El proveïdor d’evidències ara aplica límits de consulta/llista/materialització delimitats i rebutja límits proporcionats pel cridant que són massa grans.
  8. System tests now cover manifest structural tamper, single-open-segment Les proves del sistema ara cobreixen la manipulació estructural del manifest, l’aplicació de segments d’obertura única i els camins de fallada tancats per corrupció de persistència de principi a fi.
  9. Verifier transcript export support is implemented through Verifier::verify_with_transcript per a l’emissió d’artefactes deterministes.

F:crates/recorder/src/verifier.rs L509-L651 F:crates/recorder/src/engine.rs L154-L197 F:crates/recorder/src/engine.rs L380-L543 F:crates/recorder/src/evidence_provider.rs L52-L300 F:system-tests/tests/suites/bundle.rs L563-L684 F:system-tests/tests/suites/recorder.rs L279-L327 F:system-tests/tests/suites/persistence.rs L375-L468

File per Fitxer Referència Creuada

ÀreaFitxerNotes
Cicle de vida del motorcrates/recorder/src/engine.rsFlux d’obertura/registre/tancament i progressió de la cadena.
Configuració d’execuciócrates/recorder/src/config.rsInvariants de configuració d’auto-tancament i inici.
Límit d’adaptadorcrates/recorder/src/local_adapter.rsImplementació d’adaptador en procés.
Validació d’entradacrates/recorder/src/validation.rsComprovacions d’envelops no segellats amb fallada tancada.
Constructor de paquetcrates/recorder/src/bundle_builder.rsResolució de selectors i assemblatge determinista de paquets.
Verificadorcrates/recorder/src/verifier.rsAlgorisme de verificació de 7 fases.
Proveïdor d’evidènciescrates/recorder/src/evidence_provider.rsImplementació de la interfície d’evidències del costat de tirada.
Model d’errorcrates/recorder/src/error.rsTaxonomia de fallades específica del gravador.