Skip to main content

Crate semantic_memory_forge

Crate semantic_memory_forge 

Source
Expand description

§semantic-memory-forge

Forge owns raw verification truth.

This crate provides the evidence bundle schema, export envelope ownership, causal estimation metadata, and refutation structure required by the canonical verification pipeline.

§Authority

  • Forge is authoritative for raw verification truth and export envelopes.
  • Memory (semantic-memory) is authoritative for queryable projected truth.
  • Bridge (forge-memory-bridge) is authoritative only for transformation.
  • Runtime (knowledge-runtime) is authoritative only for query planning/merge.

§Evidence Bundle Contract

Every causal/effect verification produces an EvidenceBundle that preserves the full methodological chain: question, design, estimation, refutation, and raw receipt handles.

§Direct-Write Law

Direct memory write-through is not the normal path. Any emergency direct-write facility must remain exceptional, auditable, and disabled by default in release builds.

Re-exports§

pub use bundle::CausalQuestion;
pub use bundle::ComparabilitySnapshot;
pub use bundle::EvidenceBundle;
pub use bundle::EvidenceBundleId;
pub use bundle::OutcomeSpec;
pub use bundle::PromotionState;
pub use bundle::RefutationArtifactRecord;
pub use bundle::RefutationAttempt;
pub use bundle::RefutationResult;
pub use bundle::TreatmentSpec;
pub use bundle::VerificationLifecycleState;
pub use bundle::VerificationSummary;
pub use bundle::VerificationTrialRecord;
pub use bundle::VerificationTrialSide;
pub use envelope::CausalRoleHint;
pub use envelope::ConstraintSeedKind;
pub use envelope::ExportAuthority;
pub use envelope::ExportClaim;
pub use envelope::ExportConfidenceClass;
pub use envelope::ExportEntityAlias;
pub use envelope::ExportEnvelopeError;
pub use envelope::ExportEnvelopeV1;Deprecated
pub use envelope::ExportEnvelopeV2;
pub use envelope::ExportEnvelopeV3;
pub use envelope::ExportEpisode;
pub use envelope::ExportEvidenceRef;
pub use envelope::ExportRecord;
pub use envelope::ExportRecordSemanticsV3;
pub use envelope::ExportRecordV3;
pub use envelope::ExportRelation;
pub use envelope::ForgeExportMeta;
pub use envelope::NuisanceSnapshot;
pub use envelope::ProjectionVisibilityClass;
pub use envelope::EXPORT_ENVELOPE_V1_SCHEMA;Deprecated
pub use envelope::EXPORT_ENVELOPE_V2_SCHEMA;
pub use envelope::EXPORT_ENVELOPE_V3_SCHEMA;
pub use estimator::EnvironmentFingerprint;
pub use estimator::EstimatorKind;
pub use estimator::EstimatorMeta;
pub use estimator::SidecarExecution;
pub use tool_receipt::ForgeToolBudgetContext;
pub use tool_receipt::ForgeToolReceiptV1;
pub use tool_receipt::ForgeToolReceiptV2;
pub use tool_receipt::FORGE_TOOL_RECEIPT_V1_SCHEMA;
pub use tool_receipt::FORGE_TOOL_RECEIPT_V2_SCHEMA;
pub use v11::CausalAttributionBundleV1;
pub use v11::CausalContributorV1;
pub use v11::CausalDirectionV1;
pub use v11::CausalRoleV1;
pub use v11::CertificateArtifactV1;
pub use v11::CertificateKindV1;
pub use v11::ClaimStateV1;
pub use v11::DegradationActionV1;
pub use v11::DegradationKindV1;
pub use v11::DegradationRecordV1;
pub use v11::EvidenceAdmissibilityV1;
pub use v11::ExactnessBudgetV1;
pub use v11::ExactnessEscalationRuleV1;
pub use v11::ExactnessLevelV1;
pub use v11::OracleSliceContractV1;
pub use v11::RefutationArtifactV1;
pub use v11::RefutationOutcomeV1;
pub use v11::SemanticDiffV1;
pub use v11::SemanticViewV1;
pub use v11::SemanticsProfileV1;
pub use v11::TruthStateV1;
pub use v11::WitnessArtifactV1;
pub use v11::CAUSAL_ATTRIBUTION_BUNDLE_V1_SCHEMA;
pub use v11::CERTIFICATE_ARTIFACT_V1_SCHEMA;
pub use v11::CLAIM_STATE_V1_SCHEMA;
pub use v11::DEGRADATION_RECORD_V1_SCHEMA;
pub use v11::EXACTNESS_BUDGET_V1_SCHEMA;
pub use v11::ORACLE_SLICE_CONTRACT_V1_SCHEMA;
pub use v11::REFUTATION_ARTIFACT_V1_SCHEMA;
pub use v11::SEMANTICS_PROFILE_V1_SCHEMA;
pub use v11::SEMANTIC_DIFF_V1_SCHEMA;
pub use v11::WITNESS_ARTIFACT_V1_SCHEMA;
pub use v13::BilatticeTruthV1;
pub use v13::ClaimStateV13;
pub use v13::ContradictionWitnessV1;
pub use v13::QualityVectorV1;
pub use v13::RetractionRecordV1;
pub use v13::SupportExprV1;
pub use v13::SupportPolarityV1;
pub use v13::SupportProvenanceKindV1;
pub use v13::SupportSetV1;
pub use v13::SupportTokenV1;
pub use v13::BILATTICE_TRUTH_V1_SCHEMA;
pub use v13::CLAIM_STATE_V13_SCHEMA;
pub use v13::CONTRADICTION_WITNESS_V1_SCHEMA;
pub use v13::RETRACTION_RECORD_V1_SCHEMA;
pub use v13::SUPPORT_SET_V1_SCHEMA;
pub use v14::CohortContractV1;
pub use v14::CounterfactualSliceV1;
pub use v14::InterventionBundleV1;
pub use v14::OutcomeSchemaV1;
pub use v14::COHORT_CONTRACT_V1_SCHEMA;
pub use v14::COUNTERFACTUAL_SLICE_V1_SCHEMA;
pub use v14::INTERVENTION_BUNDLE_V1_SCHEMA;
pub use v14::OUTCOME_SCHEMA_V1_SCHEMA;
pub use v9::DispatchOutcomeV1;
pub use v9::EpisodeBundleV1;
pub use v9::ExecutionContextV1;
pub use v9::EPISODE_BUNDLE_V1_SCHEMA;
pub use v9::EXECUTION_CONTEXT_V1_SCHEMA;

Modules§

bundle
Evidence bundle schema.
envelope
Forge-owned export envelope schema and metadata.
estimator
Estimator and sidecar execution metadata.
tool_receipt
v9
v11
v13
v14