source boundary
frontier-ownedsynthetic
A source record is provenance. It supports a finding only through evidence atoms, extraction spans, and reviewed finding bundles.
frontiers / frontier
Source record
back to sourcessource boundary
frontier-ownedA source record is provenance. It supports a finding only through evidence atoms, extraction spans, and reviewed finding bundles.
finding bindings
record contextFindings bound to this source through source ids, evidence atoms, provenance, or reviewed source-record slots.
evidence atoms
materializedEvidence atoms pin exact spans, measurements, selectors, or curation assertions to the source.
review context
inspectable2 reviewable changes and 0 evaluations are attached through this source or its findings.
Locator and citation
locator
title:ChatGPT-5.5-Pro session, 2026-05-08, ~2 hours guided
imported
2026-05-09T19:20:35.222684+00:00
extraction mode
manual_curation
authors
agent:research-bot-2026-05-09
Caveats
The h-squared-dissociated set construction needed for the polynomial bound has diameter polynomial in k, replacing geometric components in the original construction.
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 rows are attached.