a3s_code_core/evaluation/
mod.rs

1//! Provider-neutral execution facts and auxiliary evaluation primitives.
2//!
3//! This module is an evaluation substrate, not a product reviewer.  It records
4//! bounded execution facts, reads a consistent evidence window, and runs an
5//! isolated host-supplied evaluator.  Rubrics, thresholds, findings, and
6//! business audit policy stay outside Code Core.
7
8mod auxiliary_run;
9mod dispatch_ledger;
10mod evidence;
11mod file_result_store;
12mod identity;
13mod journal;
14mod protocol;
15mod result;
16mod supervision;
17
18pub use crate::execution_identity::{
19    ExecutionIdentityV1, ExecutionResultOutcomeV1, ExecutionResultReceiptV1,
20    EXECUTION_RESULT_MAX_BYTES, EXECUTION_RESULT_RECEIPT_SCHEMA_V1,
21};
22pub use auxiliary_run::{
23    AuxiliaryCapabilityProfileV1, AuxiliaryExecutor, AuxiliaryModeV1, AuxiliaryRunContextV1,
24    AuxiliaryRunError, AuxiliaryRunHandle, AuxiliaryRunOutputV1, AuxiliaryRunService,
25    AuxiliaryRunSnapshotV1, AuxiliaryRunSpecV1, AuxiliaryRunStateV1, InMemoryAuxiliaryRunService,
26    StructuredAuxiliaryExecutor, AUXILIARY_MAX_OUTPUT_BYTES, AUXILIARY_MAX_STEPS,
27    AUXILIARY_OUTPUT_SCHEMA_V1, AUXILIARY_RUN_SCHEMA_V1, AUXILIARY_SNAPSHOT_SCHEMA_V1,
28};
29pub use dispatch_ledger::MemoryEvaluationDispatchLedger as InMemoryEvaluationDispatchLedger;
30pub use dispatch_ledger::{
31    EvaluationDispatchClaimOutcome, EvaluationDispatchLedger, EvaluationDispatchLedgerError,
32    FileEvaluationDispatchLedger, MemoryEvaluationDispatchLedger,
33    EVALUATION_DISPATCH_LEASE_GRACE_MS, EVALUATION_DISPATCH_LEDGER_DEFAULT_MAX_RECORDS,
34    EVALUATION_DISPATCH_LEDGER_MAX_BYTES, EVALUATION_DISPATCH_LEDGER_SCHEMA_V1,
35    EVALUATION_DISPATCH_MIN_LEASE_MS,
36};
37pub use evidence::{
38    EvidenceArtifactV1, EvidenceContentModeV1, EvidenceError, EvidenceEventV1, EvidenceLimitsV1,
39    EvidenceReadRequestV1, EvidenceReader, EvidenceRunStateV1, EvidenceSnapshotV1,
40    RunEvidenceReader, EVIDENCE_MAX_ARTIFACTS, EVIDENCE_MAX_ARTIFACT_BYTES, EVIDENCE_MAX_EVENTS,
41    EVIDENCE_MAX_EVENT_BYTES, EVIDENCE_MAX_PROMPT_BYTES, EVIDENCE_MAX_RESULT_BYTES,
42    EVIDENCE_SNAPSHOT_SCHEMA_V1,
43};
44pub use file_result_store::{
45    FileEvaluationResultStore, EVALUATION_RESULT_STORE_DEFAULT_MAX_RECORDS,
46    EVALUATION_RESULT_STORE_MAX_BYTES, EVALUATION_RESULT_STORE_SCHEMA_V1,
47};
48pub use identity::{
49    digest_bytes, digest_json, validate_digest, EventCursorV1, ExecutionFrameV1, ExecutionTargetV1,
50    IdentityError, EVALUATION_MAX_ID_BYTES, EXECUTION_FRAME_SCHEMA_V1, EXECUTION_TARGET_SCHEMA_V1,
51};
52pub use journal::{
53    ExecutionFactInputV1, ExecutionFactJournal, ExecutionFactKindV1, ExecutionFactPageV1,
54    ExecutionFactRecorder, ExecutionFactSnapshotV1, ExecutionFactV1, FactAppendOutcomeV1,
55    InMemoryExecutionFactJournal, JournalError, EXECUTION_FACT_SCHEMA_V1,
56};
57pub use protocol::{
58    EvaluationProtocolError, EvaluationWireEnvelopeV1, EvaluationWireKindDescriptorV1,
59    EvaluationWireKindV1, EvaluationWireTypeV1, EVALUATION_PROTOCOL_MAX_MESSAGE_BYTES,
60    EVALUATION_PROTOCOL_SCHEMA_V1, EVALUATION_PROTOCOL_VERSION_V1,
61    EVALUATION_WIRE_KIND_DESCRIPTORS_V1,
62};
63pub use result::{
64    EvaluationRecordV1, EvaluationResultSink, EvaluationResultV1, EvaluationStoreError,
65    EvaluationWriteOutcomeV1, InMemoryEvaluationResultStore, EVALUATION_RECORD_SCHEMA_V1,
66    EVALUATION_RESULT_SCHEMA_V1,
67};
68pub use supervision::{
69    EvaluationBoundaryV1, EvaluationDispatch, EvaluationDispatchOutcome, EvaluationPlanV1,
70    EvaluationPolicy, EvaluationSupervisor, SupervisorError, EVALUATION_MAX_COOLDOWN_MS,
71    EVALUATION_MAX_PENDING, EVALUATION_PLAN_SCHEMA_V1,
72};
a3s_code_core/evaluation/mod.rs

a3s_code_core/evaluation/
mod.rs
