@prefix this: . @prefix sub: . @prefix np: . @prefix rdf: . @prefix prov: . @prefix npx: . @prefix dc: . @prefix xsd: . sub:Head { this: a np:Nanopublication; np:hasAssertion sub:assertion; np:hasProvenance sub:provenance; np:hasPublicationInfo sub:pubinfo . } sub:assertion { a prov:SoftwareAgent; "delphisci dataset-resolvability assessor (Gemini 4 Argon)"; prov:actedOnBehalfOf ; . a ; dc:description "Haüy's statement combines a statistical observation (most crystal faces correspond to decrements of 1 or 2 rows, i.e., low Miller indices) with a strict upper bound (none beyond 6). Compiled morphological form lists in Mindat and goniometric atlases immediately allow testing both parts: they confirm the strong predominance of low-index faces (Law of Simple Rational Indices) while refuting the strict upper bound of 6 through documented high-index forms (e.g., in calcite, quartz, and pyrite)."; dc:subject ; "Proposed test with existing data: Extract the Miller indices {hkl} of all cataloged natural crystal forms across mineral species and compute the maximum absolute index max(|h|, |k|, |l|) (or the corresponding decrement step ratio in the primitive setting). Confirm the weak claim if indices of 1 and 2 are the modal values, and test the strong bound by checking whether verified natural crystal forms exceed an index magnitude of 6 (refuted as a strict bound by well-known high-index and vicinal forms)."; "Gemini 4 Argon on hauy1801-06: resolvable-now, resolvability 0.90"; prov:wasAttributedTo ; "dataset-resolvability/0.2.0"; "Transformation between Haüy's cleavage-based primitive cell and modern conventional unit cells can shift small integer ratios by factors of 2 or 3"; "0.9"^^xsd:double; , ; "0.9"^^xsd:double; "resolvable-now" . a ; dc:isPartOf ; dc:subject ; "Analysis feasibility of hauy1801-06 by Gemini 4 Argon: 0.9"; prov:wasAttributedTo ; "dataset-resolvability/0.2.0/analysis-feasibility"; "0.9"^^xsd:double . a ; dc:isPartOf ; dc:subject ; "Data adequacy of hauy1801-06 by Gemini 4 Argon: 0.85"; prov:wasAttributedTo ; "dataset-resolvability/0.2.0/data-adequacy"; "0.85"^^xsd:double . a ; dc:isPartOf ; dc:subject ; "Data existence of hauy1801-06 by Gemini 4 Argon: 0.9"; prov:wasAttributedTo ; "dataset-resolvability/0.2.0/data-existence"; "0.9"^^xsd:double . a ; dc:isPartOf ; dc:subject ; "Discriminating power of hauy1801-06 by Gemini 4 Argon: 0.95"; prov:wasAttributedTo ; "dataset-resolvability/0.2.0/discriminating-power"; "0.95"^^xsd:double . a ; dc:isPartOf ; dc:subject ; "Operationalizability of hauy1801-06 by Gemini 4 Argon: 0.9"; prov:wasAttributedTo ; "dataset-resolvability/0.2.0/operationalizability"; "0.9"^^xsd:double . , , , , , . a ; dc:description "Catalogs observed crystallographic forms and their Miller indices {hkl} across thousands of mineral species."; "Candidate dataset: Mindat"; prov:wasDerivedFrom . a ; dc:description "Supplies primitive and conventional unit-cell transformations to convert conventional Miller indices into primitive-lattice decrement steps."; "Candidate dataset: Crystallography Open Database (COD)"; prov:wasDerivedFrom . a ; dc:identifier "gemini-4-argon-medium"; "Gemini 4 Argon" . } sub:provenance { sub:assertion prov:wasAttributedTo ; prov:wasDerivedFrom , ; prov:wasGeneratedBy sub:assessment . sub:assessment a prov:Activity; prov:qualifiedAssociation sub:assessmentPlan; prov:wasAssociatedWith . sub:assessmentPlan prov:hadPlan . } sub:pubinfo { "crystals-and-form" . this: dc:created "2026-11-07T03:18:24.087Z"^^xsd:dateTime; dc:creator ; dc:license ; npx:hasNanopubType ; npx:introduces ; "Gemini 4 Argon on hauy1801-06: resolvable-now, resolvability 0.90"; . sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB"; npx:hasSignature "GcX1T0ckmwp108JHosiYijbWwgN4qNtDVGq+QSdpuAznegnleQ3Z0M03b2xP5aUvd/E76IkwjL63sCoK25ozTMs+FfkS27pEJtMti/00/V/suAyXwga2uynZ1ikbzJsfOzuCw1znARywOFugkoAz4EP1dcwksOrflArfKOGVsmx6L8TAQGgo7XvRaf7NiLwmiu3D3PNauu7CP/lay+voeDRZZCfox/HRLnDknA7c9vECKe3glc+shYRfFHr3P/KNau3DCkJy9nsb4SuEs5uHAh8QFO7H1/PKdYueGSRfa5XKJbZHG0ZCjjtTSqQeOci1C4QuhHiyh9t0Zm/rAww4rg=="; npx:hasSignatureTarget this:; npx:signedBy . }