record state
frontier-ownedReview status
This finding is part of accepted frontier state. Review events, reviewable changes, and proof state explain how it can change.
under review
frontiers / frontier
Finding bundle
back to staterecord state
frontier-ownedThis finding is part of accepted frontier state. Review events, reviewable changes, and proof state explain how it can change.
finding statement
finding typeNo entity list is declared.
evidence
source-boundtheoretical · manual state transition
proof impact
packet context2 reviewable changes and 0 evaluation records are attached to this finding id.
Evidence and conditions
method
manual state transition
evidence type
theoretical
conditions
Provenance
source title
ChatGPT-5.5-Pro session, 2026-05-08, ~2 hours guided
authors
agent:research-bot-2026-05-09
The h-squared-dissociated set construction needed for the polynomial bound has diameter polynomial in k, replacing geometric components in the original construction.
vs_fc1409452a85cbd4 · manual_curation
outgoing
No outgoing links.
incoming
No incoming links.
events
vev_22c1fb678f86bdbbfinding.reviewedBound and construction look correct under the Nathanson hypothesis but I want a Lean stub before promoting to accepted-core. The proof step that reduces geometric to polynomial diameter needs an explicit witness.
reviewer:will-blair · 2026-05-09
vev_bafff34df7ac6c1cfinding.assertedManual finding added to frontier state
agent:research-bot-2026-05-09 · 2026-05-09
reviewable changes
vpr_48072f346e09665ffinding.addManual finding added to frontier state
applied · agent:research-bot-2026-05-09 · 2026-05-09
vpr_6908c4cf64f0f4bafinding.reviewBound and construction look correct under the Nathanson hypothesis but I want a Lean stub before promoting to accepted-core. The proof step that reduces geometric to polynomial diameter needs an explicit witness.
applied · reviewer:will-blair · 2026-05-09
evaluations
No evaluation record targets this finding id.