Skip to main content

Crate kernel_oracles

Crate kernel_oracles 

Source

Structs§

DeltaParityAssessment
OracleAssessment
OracleParityCertificate
OracleRefutationResult
OracleSliceSelectionPolicy
TemporalReplayAssessment
TemporalReplaySnapshot

Enums§

OracleMode
OracleRefutationOutcome
RefutationMode

Functions§

evaluate_causal_refuter
Searches for a causal refutation witness that flips support for the target node.
evaluate_conservative
Returns the conservative fallback oracle assessment for a compiled graph.
evaluate_delta_parity
Compares delta recomputation against a full bounded rerun over the affected focus set.
evaluate_exact_bounded
Returns an exact bounded-oracle assessment when the compiled graph supports one.
evaluate_minimal_perturbation
Evaluates the minimal-perturbation refuter mode for a target node.
evaluate_temporal_replay
Evaluates a temporal replay slice against an expected compiled graph hash.
minimal_perturbation_witness
Searches for the smallest perturbation witness that flips support for the target node.
replay_as_of
Recompiles the newest snapshot at or before the supplied cutoff time.