Add Graffiti 284 counterexample dossier - #13
Merged
Conversation
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Adds a dossier for Graffiti 284, an open graph-theory conjecture refuted by counterexample.
What's here
app/p/graffiti-284/page.tsx— the dossier page (static route/p/graffiti-284)lib/problems.ts— registry entry (withhrefshadowing the generic[slug]route)lib/feed.ts— news-feed entry for the solveresearch/graffiti-284.md— research notestypes/mathml.d.ts— MathML element typings used by the dossierProvenance / scope
Branched fresh off
mainand cherry-picked only the Graffiti 284 work from the staleadd-dgg-goemans-counterexamplebranch. Everything else that branch carried (sidebaricon-row, dark palette, dep bumps) is already on
mainvia PRs #10/#11 in better form,so it was deliberately left out to avoid reverting those.
Checks
bun run typecheck— cleanbun run build— clean;/p/graffiti-284prerenders as a static page🤖 Generated with Claude Code