repositories / termux-janitor
termux-janitor
Interactive cleanup assistant for Termux: transparent, safe, confirmed disk reclamation.
owned by admin
tools/spec-engine/src/engine.zig
Raw// Generic mechanized-specification engine.
//
// The engine owns relationship mechanics only: the requirement graph, its
// verification obligations, prose fixtures, executable bindings, implementation
// units, strict fingerprints, actionable diagnostics, impact reporting, and
// generated projections. It owns no product semantics.
//
// Repository-specific facts arrive through the `profile` module import.
pub const model = @import("model.zig");
pub const text = @import("text.zig");
pub const diag = @import("diag.zig");
pub const fixture = @import("fixture.zig");
pub const validate = @import("validate.zig");
pub const project = @import("project.zig");
pub const query = @import("query.zig");
pub const codegen = @import("codegen.zig");
pub const scaffold = @import("scaffold.zig");
pub const status = @import("status.zig");
pub const sync = @import("sync.zig");
pub const evidence = @import("evidence.zig");
test {
_ = model;
_ = text;
_ = diag;
_ = fixture;
_ = validate;
_ = project;
_ = query;
_ = codegen;
_ = scaffold;
_ = status;
_ = sync;
_ = evidence;
}