Issues

• R4 successor route B (Kallenberg): direct correlated subset latents — independent check (#107)

  cameronfreer/graphon#198 · Filter by author cameronfreer opened on Aug 15, 2026
  1

• R4 successor route A (Austin): polling → enriched object → kernel → noise outsourcing (#107)

  cameronfreer/graphon#197 · Filter by author cameronfreer opened on Aug 15, 2026
  2

• Documentation surfaces: organize by audience, not chronology

  cameronfreer/graphon#167 · Filter by author cameronfreer opened on Aug 2, 2026
  1

• ForMathlib: upstream candidates tracker

  cameronfreer/graphon#160 · Filter by author cameronfreer opened on Jul 31, 2026
  6

• R6: specialization equivalences (AHK umbrella #103)

  cameronfreer/graphon#109 · Filter by author cameronfreer opened on Jul 12, 2026

• R5: general AHK mixture and functional representation (AHK umbrella #103)

  cameronfreer/graphon#108 · Filter by author cameronfreer opened on Jul 12, 2026

• R4: dissociated functional AHK for relational structures (AHK umbrella #103)

  cameronfreer/graphon#107 · Filter by author cameronfreer opened on Jul 12, 2026
  35

• R1: finite and infinite relational structures (AHK umbrella #103)

  cameronfreer/graphon#104 · Filter by author cameronfreer opened on Jul 12, 2026

• Umbrella: Aldous–Hoover–Kallenberg for multi-sorted relational structures

  cameronfreer/graphon#103 · Filter by author cameronfreer opened on Jul 12, 2026

• Package DJ Theorem 7.1: the seven-way weak-isomorphism/nonuniqueness theorem

  cameronfreer/graphon#92 · Filter by author cameronfreer opened on Jul 11, 2026

• Generic random-graph convergence APIs (DJ §§3–4)

  cameronfreer/graphon#93 · Filter by author cameronfreer opened on Jul 11, 2026

• D6: Cai–Ackerman–Freer showcase examples

  cameronfreer/graphon#90 · Filter by author cameronfreer opened on Jul 11, 2026

• D5: directed determination, weak isomorphism, quotient + analytics (prerequisite for D4b)

  cameronfreer/graphon#89 · Filter by author cameronfreer opened on Jul 11, 2026

• D4: the directed correspondence — D4a existence (raw), D4b unique quotient equivalence (after D5)

  cameronfreer/graphon#88 · Filter by author cameronfreer opened on Jul 11, 2026
  1

• Umbrella: Directed Diaconis–Janson and digraphons (DJ §9, Cai–Ackerman–Freer)

  cameronfreer/graphon#84 · Filter by author cameronfreer opened on Jul 11, 2026
  3

• D1: directed graph foundations (InfiniteDigraph space)

  cameronfreer/graphon#85 · Filter by author cameronfreer opened on Jul 11, 2026

• Right convergence, multicuts, and the §12.2 overlay functional (Lovász Ch. 12)

  cameronfreer/graphon#81 · Filter by author cameronfreer opened on Jul 11, 2026

• Strong regularity and template uniqueness (Lovász Lemma 9.16, Thm 9.32) — deprioritized

  cameronfreer/graphon#78 · Filter by author cameronfreer opened on Jul 11, 2026

• Smaller nearby manuscript omissions (§7.4 operations, §8.3 convergence relations, 10.24/10.30, 11.33–11.34)

  cameronfreer/graphon#79 · Filter by author cameronfreer opened on Jul 11, 2026

• Analytic spectral theory of graphons (Lovász §7.5, Prop 7.17, Thms 11.53–11.55)

  cameronfreer/graphon#77 · Filter by author cameronfreer opened on Jul 11, 2026

• General homomorphism-function characterization (Lovász Thms 5.54, 6.28, 6.30): GraphParameter/quantum-graph API

  cameronfreer/graphon#76 · Filter by author cameronfreer opened on Jul 11, 2026

• Quasirandomness; finite overlays → norm relabeling; triangle removal (Lovász 11.62; 9.29 + 11.59; 11.64)

  cameronfreer/graphon#75 · Filter by author cameronfreer opened on Jul 11, 2026

• Graph-parameter face of the random-graphon correspondence (Lovász Thms 11.52, 14.59; Prop 14.60)

  cameronfreer/graphon#73 · Filter by author cameronfreer opened on Jul 11, 2026

• Pure graphons and intrinsic point-space topology (Lovász Ch. 13)

  cameronfreer/graphon#74 · Filter by author cameronfreer opened on Jul 11, 2026

• Quantitative sampling infrastructure (Lovász Thm 10.3, Cor 10.4, Lemmas 10.6/10.16)

  cameronfreer/graphon#72 · Filter by author cameronfreer opened on Jul 11, 2026