[Rule] 3SAT to DIRECTED TWO-COMMODITY INTEGRAL FLOW

[isPANN]

[zazabap]

Issue Quality Check — Rule

Check	Result	Details
Usefulness	⚠️ Warn	Cannot evaluate — issue body is empty; target problem "Directed Two-Commodity Integral Flow" does not exist in the codebase
Non-trivial	⚠️ Warn	Cannot evaluate — no reduction algorithm provided
Correctness	⚠️ Warn	Cannot evaluate — no references or claims to verify
Well-written	❌ Fail	Issue body is completely empty — all required sections are missing

Overall: 0 passed, 1 failed, 3 warnings

---

Usefulness

Cannot assess usefulness because the issue body is empty. The source problem KSatisfiability (3SAT) exists in the codebase, but the target problem "Directed Two-Commodity Integral Flow" does not exist. This would require a new model to be added first.

Non-trivial

Cannot assess — no reduction algorithm is described. The title alone does not provide enough information to determine whether the reduction involves genuine structural transformation.

Correctness

Cannot assess — no references, complexity claims, or overhead expressions are provided. There is nothing to verify.

Well-written

The issue body is completely empty. All required sections from the Rule issue template are missing:

• ❌ Source — not specified in body
• ❌ Target — not specified in body
• ❌ Motivation — missing
• ❌ Reference — missing (no literature citations)
• ❌ Reduction Algorithm — missing (no step-by-step procedure)
• ❌ Size Overhead — missing (no overhead table)
• ❌ Validation Method — missing
• ❌ Example — missing (no worked instance)

Recommendations

• Fill in the issue body using the [Rule] issue template with all required sections.
• Since "Directed Two-Commodity Integral Flow" is not yet implemented, a [Model] issue for that problem should be filed and implemented first.
• The classic reduction from 3SAT to Directed Two-Commodity Integral Flow is due to Even, Itai, and Shamir (1976) — if this is the intended reference, include it with the specific theorem/construction details.

[isPANN]

Closing: issue body was empty or incorrect (wrong content). Will re-create with correct content.