Infinite matroid guarantee limitation map

Family 185: Counterexamples to infinite matroid intersection and packing/covering. First application triage, 9 October 2026 Australia/Brisbane.

Problem and potential new use

Formalization researchers can distinguish unrestricted infinite matroid counterexamples from the remaining finitary conjecture.

Applicability and commercial boundary

The examples are neither finitary nor cofinitary and do not refute finite matroid intersection algorithms.

Initial business decision

Research or conditional engineering only until an effective implementation and a recurring buyer problem are identified. No commercial demand or profitability is established. Where a direct product bridge is weak, the legitimate use is a research reference or evidence adapter, rather than a new standalone company.

Next verification action

Record the exact infinite hypotheses and avoid mapping the result to finite allocation failure.

Evidence scope

The catalog statement was individually reviewed. The manuscript proof and selected formal statement have not yet been compared in depth for this family. No independent proof verification was run. Pinned source revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. See source metadata.

A Counterexample to the Infinite Matroid Packing/Covering Conjecture.