. . . . . "delphisci dataset-resolvability assessor (GPT-5.6 Sol)" . . . "Crystal databases encode the seven-system classification and therefore cannot independently test the theorem without circularity. The claim is resolved by definitions and group-theoretic proof, not by currently available datasets." . . . "Proposed test with existing data: Assigning observed structures to seven systems can check empirical usage, but the exhaustive classification of all possible point lattices is mathematical. A formal lattice outside the seven classes would refute it; finite crystal records cannot confirm completeness." . "GPT-5.6 Sol on bravais1850-02: not-empirically-resolvable, resolvability 0.28" . . "dataset-resolvability/0.2.0" . "Database categories presuppose the seven systems" . "Empirical test would be circular" . "Mathematical classification" . "0.93"^^ . "0.278"^^ . "not-empirically-resolvable" . . . . "Analysis feasibility of bravais1850-02 by GPT-5.6 Sol: 0.82" . . "dataset-resolvability/0.2.0/analysis-feasibility" . "0.82"^^ . . . . "Data adequacy of bravais1850-02 by GPT-5.6 Sol: 0.16" . . "dataset-resolvability/0.2.0/data-adequacy" . "0.16"^^ . . . . "Data existence of bravais1850-02 by GPT-5.6 Sol: 0.22" . . "dataset-resolvability/0.2.0/data-existence" . "0.22"^^ . . . . "Discriminating power of bravais1850-02 by GPT-5.6 Sol: 0.2" . . "dataset-resolvability/0.2.0/discriminating-power" . "0.2"^^ . . . . "Operationalizability of bravais1850-02 by GPT-5.6 Sol: 0.14" . . "dataset-resolvability/0.2.0/operationalizability" . "0.14"^^ . . . . . . . "gpt-5.6-sol-medium" . . "GPT-5.6 Sol" . . . . . . . . . "crystals-and-form" . "2026-11-07T03:18:24.087Z"^^ . . . . . "GPT-5.6 Sol on bravais1850-02: not-empirically-resolvable, resolvability 0.28" . . "RSA" . "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB" . "kMCVsgVQW8NwITLNzsG9CLps/mXZyH/qEr7koSnyGpVcu55L7IEGfWnk6JRYjXc01PC2N/W9nHIRFbcaAGYjeXF0KH9ELnq3pCZboLu8kwEo4MXR1G8u0Dwdt7/ucafy+61+DJOzqhSg8+1PQ86VPTyLowAS9xAiBGEl29wRC7W9PpjoCd0GsVi8GdHBBiwGw6ZhTzNw9+vmq4CtdPMQz1has1QOV/+X7WuND4bsGyMw0HMla9JlR3exVwe2r/+ZUZLhuQQZSEwFzTW8yndrWIemWPiY0tPVBi/BZOPAWbMUmPecSkardAd44nTngECSu0Y/nTB4LEgMpqdzTzWKHQ==" . . .