mdx-rust-core 1.0.0

Core library for mdx-rust safety, hardening, policy, and experiments
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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126

//! Core primitives for the `mdx-rust` CLI.
//!
//! `mdx-rust-core` contains the optimizer, hardening engine, safety pipeline,
//! registry, evaluation, ledger, and audit primitives used by the `mdx-rust`
//! binary.
//!
//! ## Stability contract
//!
//! The supported product surface for `1.0.x` is the `mdx-rust` CLI. This crate
//! is published so the CLI can be installed from crates.io and so advanced
//! users can inspect the internal data structures, but the library API is not
//! yet stable. Public items may change during the v1 beta.
//!
//! The intentionally documented facade is the set of `pub use` exports below.
//! Module paths are left public for the CLI and tests, but most modules are
//! hidden from rustdoc because they are implementation detail for now.

#[doc(hidden)]
pub mod agent_contract;
#[doc(hidden)]
pub mod agent_runtime;
#[doc(hidden)]
pub mod artifact;
#[doc(hidden)]
pub mod config;
#[doc(hidden)]
pub mod eval;
#[doc(hidden)]
pub mod evidence;
#[doc(hidden)]
pub mod hardening;
#[doc(hidden)]
pub mod hooks;
#[doc(hidden)]
pub mod ledger;
#[doc(hidden)]
pub mod llm;
#[doc(hidden)]
pub mod optimizer;
#[doc(hidden)]
pub mod policy;
#[doc(hidden)]
pub mod refactor;
#[doc(hidden)]
pub mod registry;
#[doc(hidden)]
pub mod runner;
#[doc(hidden)]
pub mod safety_pipeline;
#[doc(hidden)]
pub mod security;
#[doc(hidden)]
pub mod trace;

/// Agent-facing command contract for safe automation.
pub use agent_contract::{agent_contract, AgentCommandSpec, AgentWorkflow, MdxAgentContract};
/// Agent runtime manifest and pack records for external coding agents.
pub use agent_runtime::{
    agent_pack, agent_runtime_manifest, AgentPack, AgentPackFile, AgentRuntimeManifest,
    AgentRuntimeTool, AgentRuntimeTransport,
};
/// Agent-facing artifact explanation helpers.
pub use artifact::{explain_artifact, ArtifactExplanation, ArtifactKind};
/// Configuration loading and defaults used by the CLI.
pub use config::Config;
/// Dataset and scorer metadata used by optimizer reports.
pub use eval::{
    run_behavior_evals, BehaviorCommand, BehaviorCommandRecord, BehaviorEvalReport,
    BehaviorEvalSpec, EvaluationDataset, EvaluationSample, ScorerMetadata,
};
/// Measured evidence artifacts used to gate autonomy. Unstable during the v1 beta.
pub use evidence::{
    load_latest_evidence, load_latest_evidence_for_root, run_evidence, EvidenceArtifactRef,
    EvidenceCommandRecord, EvidenceFileProfile, EvidenceFunctionProfile, EvidenceMetric,
    EvidenceRun, EvidenceRunConfig,
};
/// Scoped Rust hardening engine for ordinary Rust modules. Unstable during the v1 beta.
pub use hardening::{
    run_hardening, HardeningChangeSummary, HardeningConfig, HardeningEvidenceDepth, HardeningMode,
    HardeningOutcome, HardeningPolicyRecord, HardeningRiskSummary, HardeningRun, HardeningStatus,
    PolicyFindingMatch, WorkspaceSummary,
};
/// Built-in lifecycle hook primitives. These are unstable during the v1 beta.
pub use hooks::{
    evaluate_builtin_hook, HookAction, HookContext, HookDecision, HookPolicy, HookStage,
};
/// Experiment budget and ledger records. These are unstable during the v1 beta.
pub use ledger::{
    split_dataset, DatasetSplit, ExperimentLedger, OptimizationBudget, PromptVariantRecord,
};
/// Optimizer entrypoint and run records. These are unstable during the v1 beta.
pub use optimizer::{
    mechanical_score, run_optimization, AcceptedEditSummary, AuditPacket, AuditProvenance,
    Candidate, EditStrategy, ModelProvenance, OptimizationRun, OptimizeConfig, ScoreProvenance,
};
/// Structured project policy records used by v0.4 hardening reports.
pub use policy::{load_project_policy, PolicyCategory, PolicyRule, PolicySeverity, ProjectPolicy};
/// Plan-first refactor and autonomous orchestration records. Unstable during the v1 beta.
pub use refactor::{
    apply_refactor_plan_batch, apply_refactor_plan_candidate, build_codebase_map,
    build_evolution_scorecard, build_refactor_plan, recipe_catalog, run_autopilot,
    AgentReadyContractRefs, AgentReadyReport, AgentReadyStatus, AutonomyDecision,
    AutonomyReadiness, AutonomyReadinessGrade, AutopilotConfig, AutopilotPass, AutopilotPassStatus,
    AutopilotRun, AutopilotStatus, CandidateAutonomyDecision, CandidateEvidenceContext,
    CandidateEvidenceStatus, CapabilityGate, CodebaseMap, CodebaseMapConfig, CodebaseQualityGrade,
    CodebaseQualitySummary, EvidenceGrade, EvidenceSignal, EvidenceSummary, EvolutionScorecard,
    EvolutionScorecardConfig, RecipeCatalog, RecipeSpec, RecipeTier, RefactorApplyConfig,
    RefactorApplyMode, RefactorApplyRun, RefactorApplyStatus, RefactorBatchApplyConfig,
    RefactorBatchApplyRun, RefactorBatchApplyStatus, RefactorBatchCandidateRun, RefactorCandidate,
    RefactorCandidateStatus, RefactorImpactSummary, RefactorPlan, RefactorPlanConfig,
    RefactorRecipe, RefactorRiskLevel, SecurityPostureSummary, SourceSnapshot, StaleSourceFile,
    TestCoverageSignal,
};
/// Agent registry types used by CLI commands.
pub use registry::{AgentContract, RegisteredAgent, Registry};
/// Agent runner result and trace events. These are unstable during the v1 beta.
pub use runner::{run_agent, AgentRunResult, TraceEvent};
/// Candidate safety pipeline. Direct use is unstable during the v1 beta.
pub use safety_pipeline::{
    execute_candidate_edit, CandidateExecutionConfig, CandidateExecutionContext,
    CandidateExecutionOutcome, SafetyRejection, SafetyRejectionKind,
};
/// Deterministic static audit reports.
pub use security::{audit_agent, AuditFinding, AuditSeverity, SecurityAuditReport};
/// Trace diagnosis records.
pub use trace::{diagnose_run, FailureKind, FailureSignal, TraceDiagnosis};