fix(report): require Solana LUT coverage from 7.16

Author: BitHighlander

scripts/generate-test-report.py

@@ -2024,7 +2024,8 @@ def _arg_shown(a):
          # KKSOLSW1 -- the answer to S24. A v0 tx whose accounts live in a
          # lookup table cannot be resolved on-device, so today the device signs
          # accounts it never showed. These four are the additive invariant
-         # (section F) restated for Solana, and R-4.1 of SRS-7.15.
+         # (section F) restated for Solana, and R-4.1 of SRS-7.15. The
+         # protocol work first ships in firmware 7.16.
          ('S26', 'test_msg_solana_lut_attestation',
           'test_attested_accounts_are_shown_and_blind_sign_still_follows',
           'Attested lookup-table accounts are shown, and the blind-sign warning survives',
@@ -2060,7 +2061,7 @@ def _arg_shown(a):
           'With no signer loaded a well-formed attestation is inert',
           'Trust is opt-in and per-session. A perfectly valid attestation from a provider the '
           'user never loaded verifies against nothing and renders nothing, which is the '
-          'property that keeps 7.15 safe without any key-management programme.',
+          'property that keeps sessions without a loaded provider safe.',
           []),
      ]),
 
@@ -3292,7 +3293,7 @@ def screenshot_test_list(fw_version):
     # R-4.1. Gated on requires_message('LoadClearsignSigner'), so if provider
     # loading regressed, all four would skip and the report would certify a
     # feature it never exercised.
-    'test_msg_solana_lut_attestation': '7.15.0',
+    'test_msg_solana_lut_attestation': '7.16.0',
 }
 
 # These modules are mandatory only on the multi-chain product. Their handlers

tests/test_report_variant_validation.py

@@ -11,10 +11,10 @@
 SPEC.loader.exec_module(REPORT)
 
 
-def catalog_results_with_solana_lut_skipped():
+def catalog_results_with_solana_lut_skipped(fw_version):
     results = {}
     for _, _, min_fw, _, _, tests in REPORT.SECTIONS:
-        if not REPORT.ver_ge('7.15.0', min_fw):
+        if not REPORT.ver_ge(fw_version, min_fw):
             continue
         for _, module, method, _, _, _ in tests:
             results['%s::%s' % (module, method)] = 'pass'
@@ -26,17 +26,24 @@ def catalog_results_with_solana_lut_skipped():
 
 class TestReportVariantValidation(unittest.TestCase):
 
-    def test_full_product_requires_solana_lut_coverage(self):
+    def test_full_715_accepts_pre_release_solana_lut_skip(self):
+        result = REPORT.validate_junit(
+            '7.15.0', catalog_results_with_solana_lut_skipped('7.15.0'),
+            'full')
+        self.assertEqual((True, []), result)
+
+    def test_full_716_requires_solana_lut_coverage(self):
         ok, failures = REPORT.validate_junit(
-            '7.15.0', catalog_results_with_solana_lut_skipped(), 'full')
+            '7.16.0', catalog_results_with_solana_lut_skipped('7.16.0'),
+            'full')
         self.assertFalse(ok)
         self.assertEqual(4, len(failures))
         self.assertTrue(all(item[3] == 'skipped-but-required'
                             for item in failures))
 
     def test_bitcoin_only_accepts_absent_solana_lut_handlers(self):
         result = REPORT.validate_junit(
-            '7.15.0', catalog_results_with_solana_lut_skipped(),
+            '7.16.0', catalog_results_with_solana_lut_skipped('7.16.0'),
             'bitcoin-only')
         self.assertEqual((True, []), result)