Module evidence 

Evidence bundles, hypothesis edges, receipts, and verification plans.

Phase 5 claim policy: this module produces PROVISIONAL LOCAL ATTRIBUTIONS from one paired baseline/patched run on one fixed workload slice. It does NOT produce robust causal confirmation, generalized effect claims, or production-level statistical guarantees, but it does model first-class verification trials and named falsification artifacts.

Structs

BundleScope

Scope of the evidence bundle.

CausalHypothesis

A causal hypothesis linking an edit pattern to an observed effect.

Covariates

Measured covariates for a paired experiment.

DroppedStep

A step that was dropped from a verification plan due to budget constraints.

EffectRelationLineageHint

Explicit relation-lineage hint for an effect-derived export relation.

EvidenceAssessment

Deterministic evidence assessment derived from policy, not vibes.

ExperimentEvidenceBundle

A bundle of evidence collected during a forge evaluation run.

HypothesisEdge

A typed edge linking an edit operation to an observed effect.

HypothesisRelationLineageHint

Explicit relation-lineage hint for a hypothesis-edge export relation.

LocalExperimentRunner

Local experiment runner that executes experiments on the host machine.

PairComparability

Result of checking whether a baseline/patched pair is comparable.

PlanBudget

Budget constraints for a verification plan.

ReceiptRef

A receipt proving the existence and integrity of a trial artifact.

RefutationArtifact

Falsification artifact carried by the evidence bundle.

RefutationRelationLineageHint

Explicit relation-lineage hint for a refutation-artifact export relation.

RelationLineageHints

Optional sidecar carrying known relation-version lineage for bundle export.

Treatment

The treatment applied in the experiment.

VerificationPlan

A structured follow-up plan for verifying hypotheses.

VerificationPolicy

Policy controlling verification plan generation.

VerificationStep

A single step in a verification plan.

VerificationTrial

Canonical execution trial for one side of a verification pair.

VerificationTrialRelationLineageHint

Explicit relation-lineage hint for a verification-trial export relation.

Enums

AssessmentCategory

Assessment category (deterministic, policy-derived).

BaselineOrPatch

Which execution context the trial belongs to.

ClaimStrength

How strong a causal claim this bundle makes.

ContradictionState

Whether hypotheses are contradicted.

EffectRelationLineageSource

Which effect-derived export relation a lineage hint applies to.

HypothesisEdgeKind

What kind of causal relationship a hypothesis edge represents.

HypothesisStatus

Lifecycle status of a causal hypothesis.

ReceiptKind

Kind of artifact a receipt covers.

ReceiptStorage

Where a receipt’s artifact is stored.

RefutationArtifactOutcome

Outcome of a named refutation artifact.

RefutationArtifactType

Type of named falsification artifact emitted by verification infrastructure.

SampleSupport

Level of sample support for claims.

StepRequirement

Whether a verification step is required for promotion.

VerificationState

Verification state for an edge.

VerificationType

Types of verification experiments.

Traits

ExperimentRunner

Trait for running verification experiments.

Functions

build_hypothesis_edges

Build hypothesis edges from an ExperimentDiff.

compute_assessment

Compute a deterministic evidence assessment from the bundle.

compute_confidenceDeprecated

Compatibility alias for historical call sites.

derive_status

Derive hypothesis status from observation counts.

generate_verification_plan

Generate a verification plan from experiment results and hypotheses.

local_hypothesis_support_confidence

Compute hypothesis confidence from observation counts.

update_hypotheses_from_diff

Update hypotheses from typed experiment effects.