Skip to published state

structural map

Frontier graph

Advice-only opportunity maps derived from accepted findings and typed links. Graph rank is distinct from claimable producer work.

1 projected · 3 unavailable

Published graph projections

Each graph is rooted to its source frontier snapshot.

  1. erdos
    projected

    Erdős formalization fidelity

    12 opportunities · 2764 nodes · 1282 edges

    Contested

    18

    Open graph
  2. sidon-sets
    not published

    Additive combinatorics: Sidon sets and N(h,k) bounds

    No rooted graph projection in this snapshot.

    Unavailable
  3. formal-conjectures
    not published

    Kernel-verified Lean theorems (prover-in-the-loop)

    No rooted graph projection in this snapshot.

    Unavailable
  4. quantum-codes
    not published

    Quantum codes: stabilizer [[n,k,d]] certificates

    No rooted graph projection in this snapshot.

    Unavailable