[SEED-4] Ring-4: module + use — import system gen to Zig

[gHashTag]

Ring-4: Module + Use → Zig Imports

Ghuloum step: #14 (symbols/libraries)
One capability: t27c gen outputs @import statements from use declarations
Depends on: Ring-3 (#5)

Acceptance Test

./bootstrap/target/release/t27c gen specs/vsa/ops.t27 > /tmp/vsa.zig
grep -q "@import" /tmp/vsa.zig && echo "PASS" || echo "FAIL"

Scope

• module declaration → Zig file header comment
• use X::Y → const Y = @import("Y.zig")
• Correct import path resolution from graph.tri

phi^2 + 1/phi^2 = 3 | TRINITY

[gHashTag]

🟢 Ring-4 started: module + use → Zig imports
Branch: ring/4-module-use

[gHashTag]

✅ Ring-4 COMPLETE: module + use → Zig @import

• All 28 specs gen successfully (0 failures)
• Module names in all headers (28/28)
• use → @import mappings (67 total imports across all specs)
• use base::types; → const types = @import("types.zig");
• use math::constants; → const constants = @import("constants.zig");
• Simple use datalog_solve; → const datalog_solve = @import("datalog_solve.zig");

[gHashTag]

🔗 PR opened: #12

[gHashTag]

🎉 Ring-4 MERGED — SEED LAYER COMPLETE
All 5 seed rings (0-4) are sealed:

• ring-0: frozen stage-0, first parse
• ring-1: lex all 28 specs
• ring-2: type declarations → Zig
• ring-3: fn signatures → Zig
• ring-4: module + use → Zig imports

Next: ROOT layer (rings 5-8) — type system + tests + conformance