Crate aqc_file_engine_core 

Shared framework types for aqc-{domain}-engine crates.

See the architecture plan: guardrail3/.plans/g3v2-architecture/2026-05-21-195830-repo-workspace-plugin-generation-model.md.

Every type in this crate is pure data; this crate performs zero I/O.

Re-exports

pub use contract::ContractViolation;

pub use contract::check_from_empty;

pub use engine::Engine;

pub use engine::FileEngine;

pub use engine::merged_reconcile;

pub use finding::Finding;

pub use merge::ConflictEntry;

pub use merge::FileItemRequirement;

pub use merge::ForbiddenGlobRequirement;

pub use merge::ForbiddenGlobRequirements;

pub use merge::ItemAssertionInput;

pub use merge::ItemRequirements;

pub use merge::KeyedItem;

pub use merge::ListRequirements;

pub use merge::RequiredItemResolution;

pub use merge::Resolve;

pub use merge::ResolvedExactItems;

pub use merge::ResolvedForbiddenGlobRequirements;

pub use merge::ResolvedItemRequirements;

pub use merge::ResolvedListRequirements;

pub use merge::ResolvedRequirement;

pub use merge::ScalarAssertion;

pub use merge::ScalarOperation;

pub use merge::ScalarValue;

pub use merge::asserted_items;

pub use merge::compose_item_by;

pub use merge::compose_optional_field;

pub use merge::compose_string_list;

pub use merge::compose_string_set;

pub use merge::keyed_entries_eq;

pub use merge::push_conflict;

pub use merge::render_list_requirement;

pub use merge::render_scalar_assertion;

pub use merge::resolve_all_equal;

pub use merge::resolve_exact_list;

pub use merge::resolve_forbidden_globs;

pub use merge::resolve_items;

pub use merge::resolve_list;

pub use merge::resolve_map;

pub use merge::resolve_maybe;

pub use merge::resolve_scalar;

pub use merge::strongest_version_floor;

pub use requirement::EngineRequirement;

pub use types::ConfigScalar;

pub use types::DottedVersion;

pub use types::EngineOutput;

pub use types::OnEmpty;

pub use types::OnEmptyClass;

pub use types::Provenance;

pub use types::Severity;

pub use version::parse_version_tuple;

Modules

contract

The shared from-empty contract harness.

engine

Engine traits: the typed FileEngine<ResolvedRequirements> and the erased Engine contract the runner dispatches over.

finding

Structured findings emitted by engines and linter adapters.

merge

Shared merge machinery for file-engine requirements.

requirement

Object-safe trait every concrete engine-requirement type implements.

types

Framework data types: Provenance, ConfigScalar, DottedVersion, and Severity.

version

Shared version helpers.