frontiers / frontier
The action log of this frontier: every transition, attributed and ordered as a replayable path from question to outcome.
Trail contract
Trails turn the record into a navigable path. They help users see what happened, why it happened, and where inspection should return.
trail anchor
A trail should name the finding, source, event, provenance identity, or proof packet it is explaining.
inspect records →
path type
Source lineage, dependency reasoning, review decisions, and run history can share one timeline without losing their roles.
check trust →
review return
If the path exposes a gap, bridge, contradiction, stale source, or affected proof, it should return to review before changing frontier state.
open workbench →
provenance identities
event log
finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09artifact.assertedreviewer:manualartifact deposit2026-05-09finding.reviewedreviewer:will-blairBound 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.2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09finding.assertedagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09