diff --git a/RealRooted/Challenges/ChordalClawFreeAcyclicSinks.lean b/RealRooted/Challenges/ChordalClawFreeAcyclicSinks.lean
index cd0fd1326..d1d0d1d44 100644
--- a/RealRooted/Challenges/ChordalClawFreeAcyclicSinks.lean
+++ b/RealRooted/Challenges/ChordalClawFreeAcyclicSinks.lean
@@ -7,6 +7,8 @@ import RealRooted.Graph.ChordalAcyclicSink
 version = 1
 section = "families"
 slug = "chordal-claw-free-acyclic-sinks"
+authors = ["Alexandersson", "Leite"]
+years = [2026]
 
 [[definitions]]
 name = "RealRooted.Graph.ordinaryAcyclicSinkPolynomial"
@@ -63,6 +65,8 @@ For the refined polynomial of natural unit interval graphs, see
 
 ## References
 
+P. Alexandersson and L. Saud Maia Leite, unpublished manuscript (2026).
+
 The theorem was formalized in RealRooted issue #677. For the claw-free
 background, see the
 [Chudnovsky–Seymour](/RealRooted/theorems/chudnovsky-seymour/) and
diff --git a/RealRooted/Challenges/ClawFreeOrientationSinks.lean b/RealRooted/Challenges/ClawFreeOrientationSinks.lean
index d4a3cd22f..16ba8331f 100644
--- a/RealRooted/Challenges/ClawFreeOrientationSinks.lean
+++ b/RealRooted/Challenges/ClawFreeOrientationSinks.lean
@@ -7,6 +7,8 @@ import RealRooted.Graph.AllOrientationSinkIdentity
 version = 1
 section = "families"
 slug = "claw-free-orientation-sinks"
+authors = ["Alexandersson", "Leite"]
+years = [2026]
 
 [[definitions]]
 name = "RealRooted.Graph.allOrientationSinkPolynomial"
@@ -60,6 +62,8 @@ For acyclic orientations, see the pages on
 
 ## References
 
+P. Alexandersson and L. Saud Maia Leite, unpublished manuscript (2026).
+
 The counting identity was proved with Aristotle (Harmonic). For the claw-free
 background, see the
 [Chudnovsky–Seymour](/RealRooted/theorems/chudnovsky-seymour/) and
diff --git a/RealRooted/Challenges/MinimaPolynomial.lean b/RealRooted/Challenges/MinimaPolynomial.lean
index 902afc8ee..6499da6f2 100644
--- a/RealRooted/Challenges/MinimaPolynomial.lean
+++ b/RealRooted/Challenges/MinimaPolynomial.lean
@@ -7,6 +7,8 @@ import RealRooted.Graph.MinimaForest
 version = 1
 section = "families"
 slug = "minima-polynomial"
+authors = ["Alexandersson", "Leite"]
+years = [2026]
 
 [[definitions]]
 name = "RealRooted.Graph.LocalOrder"
@@ -86,6 +88,8 @@ For sinks of acyclic orientations, see the pages on
 
 ## References
 
+P. Alexandersson and L. Saud Maia Leite, unpublished manuscript (2026).
+
 The counting identity was proved with Aristotle (Harmonic).
 <!-- /realrooted-catalog-content -->
 
diff --git a/RealRooted/Challenges/UnitIntervalAcyclicSinks.lean b/RealRooted/Challenges/UnitIntervalAcyclicSinks.lean
index 356ce0444..46fd183c6 100644
--- a/RealRooted/Challenges/UnitIntervalAcyclicSinks.lean
+++ b/RealRooted/Challenges/UnitIntervalAcyclicSinks.lean
@@ -7,6 +7,8 @@ import RealRooted.UnitIntervalGraph.AcyclicSink
 version = 1
 section = "families"
 slug = "unit-interval-acyclic-sinks"
+authors = ["Alexandersson", "Leite"]
+years = [2026]
 
 [[definitions]]
 name = "RealRooted.UnitIntervalGraph.Data"
@@ -69,6 +71,8 @@ weighted form of the [Chudnovsky–Seymour theorem](/RealRooted/theorems/chudnov
 
 ## References
 
+P. Alexandersson and L. Saud Maia Leite, unpublished manuscript (2026).
+
 The orientation theorem was formalized in RealRooted issue #639. For the
 claw-free background, see the
 [Chudnovsky–Seymour](/RealRooted/theorems/chudnovsky-seymour/) and