Keep unavailable growth UI coverage independent of catalog bounds

Author: GiggleLiu

scripts/test_website.py

@@ -1026,12 +1026,38 @@ def test_graph_sat_size_badges_finish_promptly_after_routes_arrive(self):
         expect(self.page.locator('.path').first.locator('.size')).to_contain_text('n')
 
     def test_graph_unavailable_parameters_keep_size_badges_unknown(self):
+        # Keep unavailable-field UI coverage independent of improvements to registry bounds.
+        nodes = [{'name': name, 'category': 'formula', 'variant': {}, 'default': True}
+                 for name in ['Satisfiability', 'QUBO']]
+        known = {'certificate': 'num_vars^3', 'accuracy': {'kind': 'upper_bound'}}
+        unavailable = {'certificate': None, 'accuracy': {'kind': 'unavailable',
+            'reason': {'kind': 'unavailable', 'detail': 'Synthetic unavailable parameter'}}}
+        fields = {'num_vars': known, 'num_quadratic_terms': unavailable}
+        scene = {'nodes': nodes, 'edges': [{'source': 0, 'target': 1, 'witness': True,
+                 'aggregate': False, 'turing': False, 'fields': fields}], 'aliases': {},
+                 'layout': {'Satisfiability': {'x': 0, 'y': 0}, 'QUBO': {'x': 100, 'y': 70}}}
+        self.page.route('**/graph-scene.json.gz', lambda route: route.fulfill(
+            body=gzip.compress(json.dumps(scene).encode()), content_type='application/gzip'))
+        endpoint = lambda i: {'name': nodes[i]['name'], 'variant': {}}
+        paths = {'truncated': False, 'paths': [{'steps': 1,
+            'path': [{'from': endpoint(0), 'to': endpoint(1)}]}]}
+        comparison = {'profiles': [{'source_coordinates': ['num_vars'], 'fields': fields}],
+            'front': [1], 'counts': {'Dominated': 0, 'Equivalent': 0, 'Incomparable': 0, 'Unknown': 0}}
+        worker = 'self.onmessage = () => {' + ''.join('self.postMessage(' + json.dumps(reply) + ');'
+            for reply in [{'phase': 'paths', 'result': paths}, {'phase': 'comparison', 'result': comparison}]) + '};'
+        self.page.route('**/path-worker.js', lambda route: route.fulfill(body=worker, content_type='text/javascript'))
         self.page.goto(self.base + 'graph.html#directions')
-        self.choose_endpoint('source', 'MVC')
-        self.page.locator('#source-options [aria-label="weight"]').get_by_role('button', name='One', exact=True).click()
-        self.choose_endpoint('target', 'LongestCommonSubsequence')
-        expect(self.page.locator('#results .summary strong')).to_contain_text('size-bound candidate', timeout=3000)
-        expect(self.page.locator('.path').first.locator('.size')).to_have_text('?', timeout=500)
+        expect(self.page.locator('#results .summary strong')).to_have_text('1 size-bound candidate')
+        expect(self.page.locator('.size.pending')).to_have_count(0)
+        expect(self.page.locator('.path .size')).to_have_text('?')
+        expect(self.page.locator('.path .size')).to_have_attribute('title', 'Size unavailable for one or more parameters')
+        summaries = self.page.locator('.growth').evaluate('''dl => Object.fromEntries(
+            [...dl.querySelectorAll('dt')].map(term=>[term.textContent,term.nextElementSibling.textContent]))''')
+        self.assertEqual(summaries, {'vars': 'O(vars³)', 'quadratic terms': 'unavailable'})
+        expect(self.page.locator('.steps .rule-link .oh')).to_have_text('?')
+        edge = self.page.locator('.scene-edge[data-edge="Satisfiability→QUBO"]')
+        expect(edge).to_have_count(1)
+        self.assertTrue({'route', 'e-unknown'} <= set(edge.get_attribute('class').split()))
 
     def test_directions_preloads_engine_before_graph_initialization(self):
         self.page.goto(self.base + 'graph.html#directions')