semantic_memory_forge/
lib.rs

1#![allow(deprecated)]
2
3//! # semantic-memory-forge
4//!
5//! Forge owns **raw verification truth**.
6//!
7//! This crate provides the evidence bundle schema, export envelope ownership,
8//! causal estimation metadata, and refutation structure required by the
9//! canonical verification pipeline.
10//!
11//! ## Authority
12//!
13//! - Forge is authoritative for raw verification truth and export envelopes.
14//! - Memory (`semantic-memory`) is authoritative for queryable projected truth.
15//! - Bridge (`forge-memory-bridge`) is authoritative only for transformation.
16//! - Runtime (`knowledge-runtime`) is authoritative only for query planning/merge.
17//!
18//! ## Evidence Bundle Contract
19//!
20//! Every causal/effect verification produces an `EvidenceBundle` that preserves
21//! the full methodological chain: question, design, estimation, refutation,
22//! and raw receipt handles.
23//!
24//! ## Direct-Write Law
25//!
26//! Direct memory write-through is **not** the normal path. Any emergency
27//! direct-write facility must remain exceptional, auditable, and disabled
28//! by default in release builds.
29
30pub mod bundle;
31pub mod envelope;
32pub mod estimator;
33pub mod tool_receipt;
34pub mod v11;
35pub mod v13;
36pub mod v14;
37pub mod v9;
38
39pub use bundle::{
40    CausalQuestion, ComparabilitySnapshot, EvidenceBundle, EvidenceBundleId, OutcomeSpec,
41    PromotionState, RefutationArtifactRecord, RefutationAttempt, RefutationResult, TreatmentSpec,
42    VerificationLifecycleState, VerificationSummary, VerificationTrialRecord,
43    VerificationTrialSide,
44};
45pub use envelope::{
46    CausalRoleHint, ConstraintSeedKind, ExportAuthority, ExportClaim, ExportConfidenceClass,
47    ExportEntityAlias, ExportEnvelopeError, ExportEnvelopeV1, ExportEnvelopeV2, ExportEnvelopeV3,
48    ExportEpisode, ExportEvidenceRef, ExportRecord, ExportRecordSemanticsV3, ExportRecordV3,
49    ExportRelation, ForgeExportMeta, NuisanceSnapshot, ProjectionVisibilityClass,
50    EXPORT_ENVELOPE_V1_SCHEMA, EXPORT_ENVELOPE_V2_SCHEMA, EXPORT_ENVELOPE_V3_SCHEMA,
51};
52pub use estimator::{EnvironmentFingerprint, EstimatorKind, EstimatorMeta, SidecarExecution};
53pub use tool_receipt::{
54    ForgeToolBudgetContext, ForgeToolReceiptV1, ForgeToolReceiptV2, FORGE_TOOL_RECEIPT_V1_SCHEMA,
55    FORGE_TOOL_RECEIPT_V2_SCHEMA,
56};
57pub use v11::{
58    CausalAttributionBundleV1, CausalContributorV1, CausalDirectionV1, CausalRoleV1,
59    CertificateArtifactV1, CertificateKindV1, ClaimStateV1, DegradationActionV1, DegradationKindV1,
60    DegradationRecordV1, EvidenceAdmissibilityV1, ExactnessBudgetV1, ExactnessEscalationRuleV1,
61    ExactnessLevelV1, OracleSliceContractV1, RefutationArtifactV1, RefutationOutcomeV1,
62    SemanticDiffV1, SemanticViewV1, SemanticsProfileV1, TruthStateV1, WitnessArtifactV1,
63    CAUSAL_ATTRIBUTION_BUNDLE_V1_SCHEMA, CERTIFICATE_ARTIFACT_V1_SCHEMA, CLAIM_STATE_V1_SCHEMA,
64    DEGRADATION_RECORD_V1_SCHEMA, EXACTNESS_BUDGET_V1_SCHEMA, ORACLE_SLICE_CONTRACT_V1_SCHEMA,
65    REFUTATION_ARTIFACT_V1_SCHEMA, SEMANTICS_PROFILE_V1_SCHEMA, SEMANTIC_DIFF_V1_SCHEMA,
66    WITNESS_ARTIFACT_V1_SCHEMA,
67};
68pub use v13::{
69    BilatticeTruthV1, ClaimStateV13, ContradictionWitnessV1, QualityVectorV1, RetractionRecordV1,
70    SupportExprV1, SupportPolarityV1, SupportProvenanceKindV1, SupportSetV1, SupportTokenV1,
71    BILATTICE_TRUTH_V1_SCHEMA, CLAIM_STATE_V13_SCHEMA, CONTRADICTION_WITNESS_V1_SCHEMA,
72    RETRACTION_RECORD_V1_SCHEMA, SUPPORT_SET_V1_SCHEMA,
73};
74pub use v14::{
75    CohortContractV1, CounterfactualSliceV1, InterventionBundleV1, OutcomeSchemaV1,
76    COHORT_CONTRACT_V1_SCHEMA, COUNTERFACTUAL_SLICE_V1_SCHEMA, INTERVENTION_BUNDLE_V1_SCHEMA,
77    OUTCOME_SCHEMA_V1_SCHEMA,
78};
79pub use v9::{
80    DispatchOutcomeV1, EpisodeBundleV1, ExecutionContextV1, EPISODE_BUNDLE_V1_SCHEMA,
81    EXECUTION_CONTEXT_V1_SCHEMA,
82};
semantic_memory_forge/lib.rs

semantic_memory_forge/
lib.rs
