macroonz-harness 0.2.0

Safe-Rust property, fuzz, fault, schedule, mutation, network, and benchmark testing with typed evidence, reduction, and replay.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79

#![doc = include_str!("README.md")]
//!
//! The operation modules are role-named.
//! [`discover`] lowers a producer's discovery roster through owner policy into the one executable surface.
//! [`wrap`] reads an external backend's console output into the axis-composed record, and plans the witness runs over it.
//! [`specimen`] presses one separately rendered compiled projection across a caller-owned compiler host.
//! [`interpret`] is the public compile-once operation road over pairing, no-mutation parity, the trust boundary, and the one authorized active execution.
//! [`rewrite`] plans structural-rewrite descriptors as audit candidates.
//! [`propose`] is the proposal road end to end, ending where a human admits.
//!
//! # The execution boundary
//!
//! This home invokes the caller's production, evaluation, materializer, and host callables at their typed operations, and nothing else.
//! Trial judgment and execution evidence stay with [`crate::runner::TrialBinding`] and [`crate::report`], so mutation-specific control never becomes a second general runner.

pub use interpretation::interpret;
#[path = "discovery/discover.rs"]
pub mod discover;
pub use proposal::propose;
pub mod rewrite;
pub mod specimen;
pub use backend::wrap;

mod backend;
mod discovery;
mod interpretation;
mod pressure;
mod proposal;
mod types;
mod verdict;

pub use types::{
    ARTIFACT_CONTENT_TAG, ARTIFACT_MUTATIONS, ActivationAxis, ActivationDisposition,
    ActivationEvidence, ActivationSite, ActiveSelection, AdapterProfile, AdapterQualification,
    AdmittedAlternative, AlternativeDeclaration, AlternativeId, AnnouncedRoster, ArtifactContent,
    ArtifactContentId, ArtifactCustodyRefusal, ArtifactManifestRefusal, ArtifactMutation,
    BACKEND_OUTPUT_TAG, BackendCommand, BackendCommandRefusal, BackendOutputId, BackendVersion,
    BackendVersionPosture, BackendVersionRefusal, BaselineAxis, BaselinePrecondition,
    BaselineQualification, BudgetRefusal, CandidateSketch, CheckGap, ClaimCeiling,
    ClaimPinnedGround, ClaimPinnedProposal, CompiledProjectionPressure, CompiledProjectionRefusal,
    CompiledSpecimenHost, CompiledSpecimenHostRefusal, CompiledSpecimenObservation,
    CompiledSpecimenObservationMismatch, CompiledSpecimenRequest, CompiledSpecimenRole,
    CompiledSpecimenStanding, CompiledSuiteArtifactCustody, CompiledSuiteArtifactManifest,
    CompiledSuiteArtifactStanding, CompiledSuitePressure, CoordinateRefusal, DemonstratedRejection,
    Demonstration, DiffPath, DiffPathRefusal, DischargeAdmissionReceipt, DischargeEvidence,
    DischargeProposalRefusal, DiscoveredMutationSite, DiscoveryDisposition, DiscoveryEntry,
    DiscoveryLoweringRefusal, DiscoveryRefusal, DudPlant, DuplicateRefusal, EVALUATION_SURFACE_TAG,
    EquivalenceAxis, EvaluationBinding, EvaluationCall, EvaluationCallRefusal, EvaluationDirective,
    EvaluationFamilyRef, EvaluationObservation, EvaluationPair, EvaluationPairRefusal,
    EvaluationPairStanding, EvaluationPairStandingMismatch, EvaluationSurface, EvaluationSurfaceId,
    ExecutionAxis, ExplanationRefusal, FailureComparison, FamilyAttribution, FamilyLookup,
    GrammarStanding, GrammarVersion, HumanAdmissionRefusal, InconclusiveCause, InferredObligation,
    IntendedRejection, InterpretedExecutionRefusal, InterpretedMutationEvidence, InterpretedTrust,
    InterpreterAvailability, KillProposalRefusal, KillRefusal, MUTATION_ALTERNATIVE_TAG,
    MUTATION_DISCOVERY_TAG, MUTATION_POLICY_TAG, MUTATION_SOURCE_REVISION_TAG, MUTATION_TARGET_TAG,
    MUTERPRATER_NAMESPACE, MappedUnpermittedCause, MappingPosture, MaterializationAxis,
    MeaningCheck, MissingTrustEvidence, MutantId, MutantKilledGround, MutantKilledProposal,
    MutationBackendInvocation, MutationCensus, MutationDiscoveryId, MutationDiscoveryReading,
    MutationIdentity, MutationOutcome, MutationPermission, MutationPoint, MutationPolicy,
    MutationPolicyId, MutationReport, MutationRun, MutationSite, MutationSourceRevision,
    MutationSourceRevisionId, MutationSurfaceLowering, MutationTarget, MutationVerdict,
    MutationWitness, MutationWitnessRefusal, NO_MUTATION_PAIRING, NoComparison, NoComparisonReason,
    NoMutationObservationRefusal, NoMutationParityQualification, NoMutationParityReading,
    NoMutationParityStanding, NoMutationResults, ObligationComparison, ObligationDischargedGround,
    ObligationDischargedProposal, ObligationLane, OperatorFamilyRef, OracleClass, OwedClaim,
    OwedClaimRefusal, OwedDeclaration, OwnerClaimMapping, OwnerLookup,
    PARITY_DECLARATION_SUBSTRATE, PARITY_RENDERING_SUBSTRATE, PROPOSAL_TAG,
    ParityQualificationRefusal, ParityRefusal, PermissionRefusal, PlanRefusal, PlannedDamage,
    PlannedRun, PointCatalogPosture, PolicyMembership, PolicyRefusal, PressureBudget, PressureLane,
    ProductionBinding, ProductionCall, ProofDelta, ProofDeltaRefusal, ProofPlan, ProofRefusal,
    ProofShape, ProposalDestination, ProposalDocument, ProposalRefusal, ProposalSink,
    QualificationRefusal, ReadingSource, RejectedNoMutationParity, RejectionIdentity,
    ReplayAdmissionReceipt, ReplayBearingProposal, ResolvedMutation, RewriteAdmission,
    RewriteCandidate, RewriteDescriptor, RewriteRefusal, RewriteRoster, RewriteTrust,
    RewriteWithheld, RosterRefusal, ScopeShape, ScopedInvocation, SelectionRefusal, SinkRefusal,
    SourceCoordinate, SpecimenMaterializerBinding, SpecimenMaterializerCall,
    SpecimenMaterializerRefusal, StoredProposalRef, SuitePressureRefusal, SurvivorExplanation,
    SynthesisRefusal, UnparsedLine, WrapOutcomeWord, WrapReading, WrapRefusal, WrappedBackend,
};