Expand description
Development tools for Converge.
This crate provides tooling for developing Converge applications:
gherkin: Converge Truths validation (business sense, compilability, conventions)
§Converge Truths Validation
Converge uses .truths files as the canonical format, with .truth and
.feature accepted for compatibility.
The validator uses LLMs to check specs for:
- Business Sense: Does the spec describe a meaningful invariant?
- Compilability: Can this be translated to a Rust invariant?
- Conventions: Does it follow Converge’s patterns?
§Example
ⓘ
use axiom_truth::gherkin::{GherkinValidator, ValidationConfig};
use axiom_truth::mock_llm::StaticChatBackend;
use std::sync::Arc;
let backend = Arc::new(StaticChatBackend::constant("Valid spec"));
let validator = GherkinValidator::new(backend, ValidationConfig::default());
let result = validator.validate_file("specs/money.truths").await?;
println!("Valid: {}", result.is_valid);Re-exports§
pub use gherkin::GherkinValidator;pub use gherkin::InvariantClassTag;pub use gherkin::IssueCategory;pub use gherkin::ScenarioKind;pub use gherkin::ScenarioMeta;pub use gherkin::Severity;pub use gherkin::SpecGenerator;pub use gherkin::SpecValidation;pub use gherkin::ValidationConfig;pub use gherkin::ValidationIssue;pub use gherkin::extract_all_metas;pub use gherkin::extract_scenario_meta;pub use mock_llm::StaticChatBackend;pub use policy_lens::PolicyCoverageReport;pub use policy_lens::PolicyRequirements;pub use policy_lens::PolicyRule;pub use policy_lens::SpendingThreshold;pub use policy_lens::check_coverage;pub use simulation::SimulationConfig;pub use simulation::SimulationReport;pub use simulation::VendorSelectionCoverage;pub use simulation::Verdict;pub use simulation::simulate;pub use simulation::simulate_spec;pub use truths::AuthorityBlock;pub use truths::ConstraintBlock;pub use truths::EvidenceBlock;pub use truths::ExceptionBlock;pub use truths::IntentBlock;pub use truths::TruthDocument;pub use truths::TruthGovernance;pub use truths::parse_truth_document;
Modules§
- codegen
- Code generation for WASM invariant modules from Gherkin predicates.
- compile
- WASM compilation pipeline for Converge truth files.
- gherkin
- Converge Truths validation for Converge.
- guidance
- Truth heading guidance — LLM-powered and local heuristic rewriting.
- jtbd
- Jobs To Be Done (JTBD) parsing for Converge Truths.
- mock_
llm - Minimal local LLM mocks used by axiom-truth tests and CLI fallback paths.
- policy_
lens - Cedar policy lens for Converge Truths.
- predicate
- Semantic predicate parser for Gherkin steps.
- simulation
- Pre-flight simulation for Converge Truths.
- truths
- Converge Truths document parsing.
- validation_
view - Validation response building for Converge Truth specs.