{"schema":"vela.problem-packet.v0.1","problem":100,"statement":"Let $A$ be a set of $n$ points in $\\mathbb{R}^2$ such that all pairwise distances are at least $1$ and if two distinct distances differ then they differ by at least $1$. Is the diameter of $A$ $\\gg n$?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[{"id":"att_2a49dfaac72d60fb","kind":"dead_end","claim":"attempted via frontier 'difference/covering' (transfer_strength=weak) -> no_progress","grade":"honest_null","gateStatus":"needs_verification","superseded":false}],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}