✦ 5 frontiers

read-only vieweressays

Targets

13 of 16 open

Open obligations, ranked by dependents.

domainall number theory13 graph theory2 primes1

verifierall attested13 lean13 pinned-python7 exhaustive5

deps	#	obligation	verifier	lease	active	packet
1	#124	uniform L-syndeticity across all cases remains open.	lean pinned-python attested	open	3d	{ }
1	#307	the unconditional bound remains open.	lean pinned-python attested	open	3d	{ }
1	#319	the full upper bound is not established by the numerics alone.	lean pinned-python attested	open	3d	{ }
1	#366	the analytic walls block an unconditional bound; closing them is open.	lean pinned-python attested	open	3d	{ }
1	#396	the reduction does not solve #396; the solve remains open.	lean pinned-python attested	open	3d	{ }
1	#488	no uniform proof: the per-A certificates do not combine into a statement for all A.	lean pinned-python attested	open	3d	{ }
1	#647	a different channel is required; the prime channel cannot close it (stop grinding it).	lean attested	open	3d	{ }
1	#684	promote the subsequential bound to the full claim for all n.	lean exhaustive attested	open	3d	{ }
1	#699	the gap between the arms is the open obstruction.	lean pinned-python attested	open	3d	{ }
1	#700	characterize f(n) in general beyond the verified families.	lean exhaustive attested	open	3d	{ }
1	#1056	the problem asks for EVERY k; a uniform construction or proof for all k remains open.	lean exhaustive attested	open	3d	{ }
1	#1093	prove finiteness of the delta=1 deficiency cases (the density argument is heuristic, not a proof).	lean exhaustive attested	open	3d	{ }
1	#1094	extend the complete enumeration / prove finiteness of the exception set for all k.	lean exhaustive attested	open	3d	{ }

finding.noted · reviewer:will-blair · 2 days

renders the record as of vev_d199cb2e · 1,338 events · hub