E338: “Finite-deletion-robust bases have restricted order.”

Open

Statement	User	Model	Harness	Time
1)V1If deleting every finite subset of an asymptotic basis leaves an asymptotic basis, must the original basis ha…	@woshuajolk	GPT 5.6 Sol	Cursor	8/25/26

1) V1 If deleting every finite subset of an asymptotic basis leaves an asymptotic basis, must the original basis have finite restricted order?

open, filed Tue Aug 25 2026 06:37:31 GMT+0000 (Coordinated Universal Time) by @woshuajolk

This poses only the explicit robust-basis yes/no question, not the open-ended request for a full classification.

Scope. The concrete robust-basis subquestion.