Issues

• Risk H2: make the deployable pipeline genuinely headless (Rhino-free Core paths)

  blueprint
  libishm1/Frahan#14 · Filter by author libishm1 opened on Jul 6, 2026
  1

• Risk H1: measure the 3D packing density numbers in C# (harness --pack3d rows)

  blueprint
  libishm1/Frahan#13 · Filter by author libishm1 opened on Jul 6, 2026
  1

• Blueprint: Lean 4 + Mathlib mechanization, Tier 1 (combinatorial theorems)

  blueprint
  libishm1/Frahan#12 · Filter by author libishm1 opened on Jul 6, 2026
  1

• Blueprint (validation): reproduce a RESULTS.md benchmark on your machine

  blueprint
  libishm1/Frahan#11 · Filter by author libishm1 opened on Jul 5, 2026

• Blueprint (R5): implement MatcherRegistry's MILP stock-assignment solver

  blueprint
  libishm1/Frahan#8 · Filter by author libishm1 opened on Jul 5, 2026

• Blueprint (R1): Frechet accept-gate in the 3D block matchers

  blueprint
  libishm1/Frahan#7 · Filter by author libishm1 opened on Jul 5, 2026

• Blueprint: CI workflow running the headless battery on every PR

  blueprint
  libishm1/Frahan#6 · Filter by author libishm1 opened on Jul 5, 2026

• Blueprint: RhinoCommon HintPath -> PackageReference (unlocks CI)

  blueprint
  libishm1/Frahan#5 · Filter by author libishm1 opened on Jul 5, 2026