Software and business opportunity catalog

Edition 2026-10-09-v27. This index contains 41 differentiated product dossiers and points to the latest preserved edition of each. All 372 source families have directories; 372 have individual first application assessments and 0 remain indexed for review. Source revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb.

Prices and contribution calculations are hypotheses. No buyer interviews, paid pilots, demonstrated profitability or independent Lean verification have been completed. A catalog review, manuscript reading, selected formal statement and validated product are different evidence stages. The first implementation shortlist remains evidence infrastructure; executable algorithm candidates require practical cost and scope validation.

ID	Opportunity	Families	Current decision
001	Proof artifact registry for research teams	113, 115, 124, 325	Prototype now
002	Theorem dependency and correction alerts	032, 149, 376	Prototype now
003	Formal theorem coverage auditor	104, 107, 131, 149, 276	Prototype now
004	Fixed-margin data sandbox and sampling-law audit	115	Prototype law audit; defer literal research backend
005	Graph sampling protocol and null-model calibration	131	Prototype bounded protocol audit; defer cheap general certified sampling
006	Perfect-pairing fragility and flexibility analyzer	113	Prototype bounded exact diagnostics; defer literal FPRAS
007	General-graph allocation with independent certificates	120	Prototype certificates; defer literal accelerated backend
008	Long-document edit comparison: source backend deferred	121, 099	Defer direct backend; exact incumbent baseline established; low commercial confidence
009	Three-machine scheduling model and solver assurance	124	Prototype assurance adapter; defer direct scheduler
010	Metric movement evaluation and startup audit	110	Prototype diagnostic
011	Optimization assurance workbench: facility planning	125	First product experiment; local browser review available, buyer validation pending
012	Noncommutative formula testing and rewrite witnesses	116	Prototype exact witness SDK; low commercial confidence; defer larger companion backends
013	Reaction network model assurance plugin	149	Prototype model checks
014	Polynomial-bound evidence for nonnormal matrix workflows	325	Prototype bounded polynomial/model review; defer general library; low commercial confidence
015	Optimal transport sensitivity benchmark and audit	374	Prototype diagnostic
016	Deterministic finite field factorization library	142, 029, 003	Conditional research
017	Exact selection and reconciliation witness assurance	138	Prototype assurance module; defer direct source backends
018	Mean-payoff backend and strategy-region certificates	104	Specialist research prototype; defer broad solver product, low commercial confidence
019	Thermal qubit channel capacity calculator	276	Prototype numerical benchmark
020	Research algorithm feasibility and semantic workbench	109, 111, 124, 130, 139, 107, 103, 110, 374	Prototype now
021	Matroid online allocation research simulator	111	Defer direct product
022	Matrix tensor construction research toolkit	107	Defer performance product
023	Byte-view literal packaging and build-cost benchmark	128	Prototype bounded artifact comparison; defer source backend; low commercial confidence
024	All-cut tree assurance and rounding research toolkit	174, 089	Prototype exact finite cut audit; defer literal constructor
025	Finite dataset embedding contract audit	094, 099	Prototype diagnostic
026	Inverse boundary measurement evidence workbench	365	Prototype evidence workflow
027	Elastic material identifiability experiment lab	372	Conditional evidence workflow
028	Variational segmentation structure diagnostics	366, 367	Conditional diagnostic
029	Scientific prediction and solution-class contract audit	362, 363, 371, 376, 377	Prototype evidence workflow
030	Tensor-network representation and compute feasibility audit	265	Conditional evidence workflow
031	Quantum optimization regime and resource audit	281, 283, 284	Prototype evidence workflow
032	Graph community recovery feasibility audit	229	Conditional evidence workflow
033	Random SAT benchmark and transition calibration	235	Conditional benchmark workflow
034	Certified numerical computation reproducibility workbench	266	Specialist evidence integration; reproduction gap identified; low commercial confidence
035	Binary waveform spectrum and correlation contract audit	076, 179	Prototype diagnostics; defer new sequence generator
036	Exact spectral topology acceptance and construction research	178, 174	Retain exact finite acceptance; defer literal full constructor
037	Periodic microstructure interface reference benchmark	354	Prototype formula; conditional simulation integration
038	Typed normalization assurance adapter	245	Prototype evidence-platform module
039	Positive-basis algebra and witness audit	169	Prototype bounded CAS integration; low commercial confidence
040	Queryable permutation and sparse shuffle framework	238	Prototype qualified sparse providers; defer source-guaranteed seeded loader and blanket memory claims
041	Bounded integer-flow scenario and flexibility analysis	115	Prototype finite model diagnostics; defer unrestricted counting/sampling backend