Skip to content

Curated research records: registry, site reads, and timeline refinements - #130

Merged
alexyyyander merged 18 commits into
mainfrom
agent/curated-research-records
Aug 17, 2026
Merged

Curated research records: registry, site reads, and timeline refinements#130
alexyyyander merged 18 commits into
mainfrom
agent/curated-research-records

Conversation

@alexyyyander

Copy link
Copy Markdown
Owner

Summary

  • Add curated research record registry and read curated records from the public site database
  • Expand curated records across conjectures and add current AI math record + Lean replay paths
  • Refine module navigation, page hierarchy, and homepage verification console alignment
  • Stack/density history timeline nodes, prevent label collisions, persist research index filters
  • Stabilize client date rendering and simplify overview/primary surface visual hierarchy
  • Align working set with the app's core surfaces

Also carries earlier README/GitHub-readability fixes already on this branch.

Test Plan

  • CI passes on the branch
  • Verified against the live deployment surface

@alexyyyander
alexyyyander merged commit 5737857 into main Aug 17, 2026
1 of 2 checks passed
@alexyyyander
alexyyyander deleted the agent/curated-research-records branch August 17, 2026 09:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant