Expand description
Inward-facing, transport-neutral contracts shared by Termivar crates.
The default crate surface contains evidence, reasoning, ontology, outcome,
predicate, and run-report records. Execution behavior and transport models
belong in higher-level crates. The pre-quarantine configuration, error,
event, finding, and raw HTTP/result records remain available only through
the non-default legacy-contracts compatibility feature.
§Example
use termivar_core::ConfidenceScore;
let confidence = ConfidenceScore::from_basis_points(8_500)?;
assert_eq!(confidence.basis_points(), 8_500);Re-exports§
pub use config::Config;pub use config::ConfigBuilder;pub use config::ConfigError;pub use config::ScanIntensity;pub use error::Error;pub use error::Result;pub use events::Event;pub use events::EventBuilder;pub use events::EventSeverity;pub use events::EventType;pub use models::HttpRequest;pub use models::HttpResponse;pub use models::ScanFinding;pub use models::ScanResult;pub use models::Vulnerability;pub use ontology::ConceptId;pub use ontology::Ontology;pub use ontology::OntologyAxiom;pub use ontology::OntologyConcept;pub use ontology::OntologyError;pub use ontology::OntologyRecordKind;pub use ontology::OntologyRelationType;pub use ontology::OntologyStats;pub use ontology::OntologyWrite;pub use ontology::RelationSemantics;pub use ontology::RelationTypeId;pub use outcome::Outcome;pub use outcome::OutcomeError;pub use outcome::OutcomeStatus;pub use outcome::VerificationStage;pub use predicates::ApiEvidencePredicate;pub use predicates::ApiKnowledgePredicate;pub use predicates::ApiResponseFormat;pub use predicates::ApiSurfaceKind;pub use predicates::ApiVisibilityBoundaryKind;pub use predicates::ApiVisibilityComparison;pub use predicates::ApiVisibilityDimension;pub use predicates::ApiVisibilityObservation;pub use predicates::ApiVisibilityPairKind;pub use predicates::ApiVisibilityResult;pub use predicates::ApiVocabularyError;pub use predicates::ComparisonId;pub use predicates::HttpEvidencePredicate;pub use predicates::OpaqueContextId;pub use predicates::PredicateDescriptor;pub use predicates::ResourceScopeId;pub use predicates::WebKnowledgePredicate;pub use reasoning::BayesianBelief;pub use reasoning::BayesianEvidence;pub use reasoning::BayesianUpdate;pub use reasoning::BeliefWrite;pub use reasoning::ConfidenceScore;pub use reasoning::ContributionDirection;pub use reasoning::DerivationAlgorithm;pub use reasoning::EntityId;pub use reasoning::EntityKind;pub use reasoning::Evidence;pub use reasoning::EvidenceContribution;pub use reasoning::EvidenceDerivation;pub use reasoning::EvidenceId;pub use reasoning::EvidenceKind;pub use reasoning::EvidenceOrigin;pub use reasoning::EvidenceSource;pub use reasoning::EvidenceValue;pub use reasoning::Fact;pub use reasoning::Hypothesis;pub use reasoning::HypothesisState;pub use reasoning::HypothesisStrength;pub use reasoning::KnowledgeEntity;pub use reasoning::KnowledgePredicate;pub use reasoning::KnowledgeRelation;pub use reasoning::Probability;pub use reasoning::ReasoningModelError;pub use reasoning::RelationId;pub use reasoning::RelationKind;pub use reasoning::MAX_DERIVATION_ALGORITHM_BYTES;pub use reasoning::MAX_DERIVATION_PARENTS;pub use run_report::ResourceAccounting;pub use run_report::ResourceAccountingMode;pub use run_report::RunAccounting;pub use run_report::RunOutcomeRecord;pub use run_report::RunReport;pub use run_report::RunReportError;pub use run_report::RunReportInput;pub use run_report::RunStatus;pub use run_report::RunStepReport;pub use run_report::RunStepStatus;pub use run_report::RunStopCode;pub use run_report::RunStopReason;pub use run_report::SecuritySeverity;pub use run_report::MAX_RUN_REPORT_EVIDENCE_IDS;pub use run_report::MAX_RUN_REPORT_OUTCOMES;pub use run_report::MAX_RUN_REPORT_STEPS;pub use run_report::MAX_RUN_REPORT_TEXT_BYTES;pub use run_report::RUN_REPORT_SCHEMA;
Modules§
- config
- Historical configuration compatibility facade.
- error
- Historical cross-crate error compatibility facade.
- events
- Historical scanner lifecycle event records.
- models
- Historical raw scanner and HTTP record compatibility facade.
- ontology
- Domain ontology contracts for semantic reasoning.
- outcome
- Transport-neutral verification outcomes.
- predicates
- Canonical predicate vocabulary shared by evidence producers and reasoners.
- reasoning
- Transport-neutral contracts for evidence-driven reasoning.
- run_
report - Transport-neutral run completion and audit records.