Arxi Docs

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

Altres documents de producte

Descarregar: glossary.md (12 KB)

Glossari Arxi

Definicions curtes i canòniques per als termes del contracte Arxi.

actor_id

Categoria: schema_field

actor_id vincula l’esdeveniment a la seva identitat de productor declarativa, permetent fluxos de treball de consulta i auditoria conscients de la procedència.

Termes relacionats: environment_id, event_type

attachment_hashes

Category: verificació

els registres attachment_hashes esperen resums d’adjunt que s’utilitzen per verificar la integritat dels bytes d’adjunt en la verificació del paquet.

Termes relacionats: attachment_refs, manifest

attachment_refs

Categoria: schema_field

attachment_refs conté el tipus de contingut, el hash i la mida de metadades per a cada adjunt inclòs amb un sobre.

Termes relacionats: attachment_hashes, content_hash

Bundle

Categoria: nucli

Un paquet és el format d’exportació determinista utilitzat per a la verificació fora de línia, incloent segments, sobres, bytes d’adjunt i un manifest de verificació.

Termes relacionats: attachment_hashes, bundle_selector, verification_manifest

Exemples:

  • examples/bundle.json#: Paquet autònom utilitzat per a la validació de contractes.

Selector de Paquets

Categoria: nucli

El selector captura quin subconjunt d’evidències s’exporta en un paquet. La mostra canònica utilitza BySegment per a reproduccions estables.

Termes relacionats: bundle, segment

chain_hash

Category: integritat_camp

chain_hash vincula cada sobre a l’estat anterior de la cadena, proporcionant proves d’alteració per a l’ordre d’addició i la continuïtat.

Termes relacionats: content_hash, segment

claimed_time

Categoria: schema_field

claimed_time és el temps de l’esdeveniment proporcionat per l’operador, capturat com a components estructurats en UTC en codificació d’envolupant canònica.

Termes relacionats: event_type, sequence

content_hash

Category: integritat_camp

content_hash es calcula a partir dels bytes del cos de l’envolupant canònic i s’utilitza per al seguiment de la integritat de la càrrega útil i dels adjunts.

Termes relacionats: chain_hash, envelope

contract_version

Category: projecció

contract_version marca la superfície de compatibilitat per als artefactes generats i s’inclou en els fitxers de contracte d’índex i tooltip.

Termes relacionats: index_manifest, tooltips_catalog

emit_envelope

Categoria: contract_method

Mètode emit_envelope de RecorderAdapter. Forma de la sol·licitud: UnsealedEnvelope. Forma de la resposta: EnvelopeReceipt. Aquest mètode forma part del contracte generat canònicament i és consumit per eines posteriors i projeccions de documentació.

Termes relacionats: recorder_adapter

emitwithattachments

Categoria: contract_method

Mètode emit_with_attachments de RecorderAdapter. Forma de la sol·licitud: UnsealedEnvelope + Vec<AttachmentData>. Forma de la resposta: EnvelopeReceipt. Aquest mètode forma part del contracte generat canònicament i és consumit per eines posteriors i projeccions de documentació.

Termes relacionats: recorder_adapter

Envelope

Categoria: nucli

Un sobre és la unitat d’evidència canònica només d’append que conté camps d’identitat, càrrega útil, referències d’adjunt i hashes d’integritat.

Termes relacionats: chain_hash, content_hash, segment, signature

Exemples:

  • examples/envelope.json#: Exemple canònic d’envolup emès per arxi-contract.

id (envelope)

Categoria: schema_field

Els IDs d’envelopa proporcionen referències immutables per a la pertinença a la cadena, enllaços parentals i manifestos de verificació.

Termes relacionats: segment_id, trace_id

environment_id

Categoria: schema_field

environment_id identifica l’entorn d’execució on va ocórrer l’esdeveniment i suporta filtratge a nivell d’entorn.

Termes relacionats: actor_id, trace_id

event_type

Categoria: schema_field

event_type captura la taxonomia d’esdeveniments deterministes utilitzada per al filtratge i l’avaluació de polítiques a la baixa.

Termes relacionats: payload, trace_id

EvidenceProvider

Categoria: contracte_tipus

EvidenceProvider defineix superfícies de recuperació de consultes i paquets deterministes consumides per plans de control com Decision Gate.

Termes relacionats: fetch_bundle, list_bundles, query_envelopes, verify_bundle

fetch_bundle

Categoria: contract_method

Mètode fetch_bundle d’EvidenceProvider. Forma de la sol·licitud: BundleId. Forma de la resposta: Bundle. Aquest mètode forma part del contracte generat canònicament i és consumit per eines posteriors i projeccions de documentació.

Termes relacionats: evidence_provider

flush

Categoria: contract_method

Mètode flush de RecorderAdapter. Forma de la sol·licitud: (). Forma de la resposta: (). Aquest mètode forma part del contracte generat canònicament i és consumit per eines posteriors i projeccions de documentació.

Termes relacionats: recorder_adapter

glossary.md

Category: projecció

glossary.md es genera a partir del catàleg de suggeriments canònics per mantenir les explicacions de termes llargs alineades amb la metadada de suggeriments llegible per màquina.

Termes relacionats: tooltips_catalog

hashalgorithmid

Category: integritat_camp

hash_algorithm_id marca l’algoritme utilitzat per al hashing de segments i manifestos perquè la verificació pugui utilitzar semàntica de hash determinista.

Termes relacionats: chain_hash, content_hash

salut

Categoria: contract_method

Mètode health de RecorderAdapter. Forma de la sol·licitud: (). Forma de la resposta: AdapterHealth. Aquest mètode forma part del contracte generat canònicament i és consumit per eines i projeccions de documentació a muntanya avall.

Termes relacionats: recorder_adapter

index.json

Category: projecció

index.json inventarisos artefactes generats i hashes per fitxer. Les projeccions a muntant han de verificar els bytes de l’artefacte contra aquest manifest abans de publicar.

Termes relacionats: contract_version, glossary_markdown, tooltips_catalog

key_id

Categoria: seguretat

key_id vincula una signatura d’envolupament amb material de clau pública de trust-root durant les verificacions de la fase de verificació.

Termes relacionats: signature, trust_root

list_bundles

Categoria: contract_method

Mètode EvidenceProvider list_bundles. Forma de la sol·licitud: BundleFilter. Forma de la resposta: Vec<BundleMetadata>. Aquest mètode és part del contracte generat canònicament i és consumit per eines posteriors i projeccions de documentació.

Termes relacionats: evidence_provider

manifest

Category: verificació

El manifest llista resums de segments, hashes d’adjuntaments i metadades d’omissió utilitzades per verificar els paquets exportats fora de línia.

Termes relacionats: attachment_hashes, verification_manifest

omitted_parents

Category: verificació

omitted_parents captura les omissions explícites de pares en exportacions parcials perquè els verificadors puguin distingir els buits esperats dels defectes d’integritat.

Termes relacionats: manifest, proof_anchor

parent_id

Categoria: schema_field

parent_id captura les relacions entre pares i fills entre sobres quan els fluxos de treball de nivell superior necessiten una jerarquia explícita.

Termes relacionats: envelope_id, trace_id

payload

Categoria: schema_field

la payload conté l’objecte JSON específic de l’esdeveniment i està cobert per polítiques de hashing de contingut i de signatura.

Termes relacionats: content_hash, event_type

Exemples:

  • examples/envelope.json#/payload: Forma mínima de càrrega útil utilitzada pel fixture de contracte generat.

predecessorchainhead

Category: integritat_camp

predecessor_chain_head registra l’estat de la cadena del predecessor anterior necessari per validar la vinculació entre segments durant la verificació.

Termes relacionats: chain_hash, predecessor_id

predecessor_id

Category: integritat_camp

predecessor_id enllaça un segment amb el segment anterior en cadenes de continuïtat entre segments quan està present.

Termes relacionats: predecessor_chain_head, segment

Proof Anchor

Category: verificació

Un ancoratge de prova captura l’estat de la cadena abans del primer sobre inclòs en un segment parcial per preservar les comprovacions d’integritat de subseqüències deterministes.

Termes relacionats: bundle, segment, verification_manifest

query_envelopes

Categoria: contract_method

Mètode EvidenceProvider query_envelopes. Forma de la sol·licitud: EnvelopeFilter. Forma de la resposta: Vec<Envelope>. Aquest mètode forma part del contracte generat canònicament i és consumit per eines posteriors i projeccions de documentació.

Termes relacionats: evidence_provider

RecorderAdapter

Categoria: contracte_tipus

RecorderAdapter és el límit d’ingesta utilitzat per les integracions per emetre esdeveniments no segellats i càrregues d’adjunt al flux de gravació canònic.

Termes relacionats: emit_envelope, emit_with_attachments, health

recorder_id

Categoria: runtime

recorder_id marca quin temps d’execució del gravador va emetre el gènere del segment i suporta l’anàlisi de procedència multi-gravador.

Termes relacionats: segment_genesis, segment_id

schema_version

Categoria: schema_field

schema_version porta metadades de versionament del model per a registres d’envelopes i segments per fer complir les comprovacions de compatibilitat deterministes.

Termes relacionats: contract_version, index_manifest

Segment

Categoria: nucli

Un segment agrupa sobres en una partició ordenada només d’append que està ancorada per SegmentGenesis i opcionalment tancada per un sobre de segell.

Termes relacionats: bundle, proof_anchor, segment_genesis

Exemples:

  • examples/segment.json#: Metadades de gènesi del segment utilitzades pel exemple de paquet.

SegmentGenesis

Category: verificació

SegmentGenesis registra la identitat del segment, la vinculació del predecessor, l’algorisme de hash, la ID del registrador i la versió de l’esquema utilitzada en la creació del segment.

Termes relacionats: predecessor_chain_head, predecessor_id, recorder_id, segment

segment_id

Categoria: schema_field

segment_id uneix sobres, registres de gènes de segment, selectors i files de segment de manifest sota una identitat de partició només d’append.

Termes relacionats: envelope_id, segment

seqüència

Category: integritat_camp

la seqüència codifica l’ordre d’addició per a sobres dins d’un segment i participa en les comprovacions de continuïtat.

Termes relacionats: chain_hash, segment

session_id

Categoria: schema_field

session_id captura la continuïtat a nivell de sessió quan cal agrupar proves per límits de sessió interactiva o en temps d’execució.

Termes relacionats: actor_id, trace_id

signatura

Categoria: seguretat

les botigues de signatures emmagatzemen l’ID de la clau, l’algorisme i els bytes de la signatura per a les comprovacions d’autenticitat sota la política de confiança del verifier.

Termes relacionats: key_id, signature_algorithm, trust_root

algorisme (signatura)

Categoria: seguretat

El marcador de l’algorisme de signatura identifica com s’han de verificar els bytes de signatura enfront del material de clau de confiança.

Termes relacionats: key_id, signature

tooltips.annotations.json

Category: projecció

tooltips.annotations.json mapeja punters d’esquema i claus de terme a entrades de catàleg perquè els blocs de codi de la interfície d’usuari i els exemples de JSON puguin resoldre consistentment les descripcions emergents.

Termes relacionats: tooltips_catalog

tooltips.catalog.json

Category: projecció

tooltips.catalog.json és el catàleg de termes de classe mundial llegible per màquina amb categories, referències, termes relacionats i exemples de vinculacions.

Termes relacionats: glossary_markdown, tooltips_annotations

trace_id

Categoria: schema_field

trace_id proporciona una correlació determinista entre sobres per a fluxos de treball de consulta i selecció de paquets.

Termes relacionats: actor_id, event_type

Trust Root

Categoria: seguretat

La arrel de confiança mapeja identificadors de claus a claus públiques i defineix la semàntica de la política de signatures que s’aplica durant les verificacions de signatures del verificador.

Termes relacionats: key_id, signature, signature_algorithm

Manifest de Verificació

Category: verificació

El manifest de verificació registra els caps de cadena de segments declarats, els hashes d’adjunció i la metadada d’omissió utilitzada per les fases de verificació fora de línia.

Termes relacionats: attachment_hashes, bundle, omitted_parents

Exemples:

  • examples/bundle.json#/manifest: Objecte manifest en l’exemple de paquet generat.

verify_bundle

Categoria: contract_method

Mètode verify_bundle d’EvidenceProvider. Forma de la sol·licitud: Bundle. Forma de la resposta: VerificationVerdict. Aquest mètode forma part del contracte generat canònicament i és consumit per eines posteriors i projeccions de documentació.

Termes relacionats: evidence_provider