Skip to content

Conjecture 2 Research Map Stub

This conjecture has no atomic research nodes yet. Use ../index.md for the current big picture and ../../conjectures.md for the canonical statement.

First Node Tasks

  1. Compute \(C_{\mathrm{cool}}\) for finite-memory primitive reset processes with commuting fixed points.
  2. Upper-bound \(C_{\mathrm{req}}\) for one measurement-free architecture on a 2D grid and on a reconfigurable array.
  3. Prove the sufficient direction \(C_{\mathrm{cool}}>C_{\mathrm{req}}\) for that concrete setting first.

Node Policy

Add only theorem, reduction, source-extraction, or explicit gap nodes. Do not add generic background summaries here.