Luigit
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;
}