agent: graph — declare upstream/downstream (logic-zig)

[SMC17]

---

title: "agent: graph — declare upstream/downstream (logic-zig)"
labels: [agent-task, triage, hygiene/graph, hygiene/pack, zig]

Target agent

general-purpose

TaskSpec

Declare the dependency / consumer graph for SMC17/logic-zig.

Repo-specific notes: Declare in-tree spin-offs as internal graph; avoid implying external adoption.

Seed upstream (edit for accuracy):

• Zig 0.16 toolchain
• Optional industrial SAT reference (CaDiCaL) for scoreboard only — not a link dep
• AIGER / Yosys JSON as formats, not package deps

Seed downstream (edit for accuracy):

• Flagship spin-offs in-tree: logic-agent, logic-sat, logic-hwmcc, logic-cert, logic-smt, logic-ctl
• Potential consumers: agent multishot / HWMCC tooling (declare if/when external)

Deliver as GRAPH.md or a clearly linked section in README/STATUS.

Checklist (ISSUE_PACK_TEMPLATE §05):

• Every build.zig.zon dependency appears
• Path deps have replacement plan (git URL + hash / tagged release)
• Downstream honest (empty OK if stated)
• License compatibility note if relevant

Success criteria

• Graph document exists and is linked from README
• Path deps are not silent
• Downstream list does not invent stars/adoption

Budget

5

Worktree jail

~/logic-zig on branch hygiene/graph-declare

Pack

Tier-A pack item 05/06