From 3b0e60a502053ed6a61313bd243afbe01c371d78 Mon Sep 17 00:00:00 2001 From: mvdbeek Date: Mon, 18 May 2026 17:25:12 +0200 Subject: [PATCH] populator: build and persist ToolIndex per writable store MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit After the parallel parse, the populator now folds each (DiscoveredTool, StoredToolSource, parsed source) triple into a fresh ``ToolIndex`` and calls ``store.store_index() + commit()`` on every writable store. The new ``build_index_entry_from_source(discovered, stored, tool_source)`` helper assembles a single ``ToolIndexEntry`` from a populator triple, threading section_id / section_name / labels off ``discovered`` and EDAM / tool_type / require_login / hidden off the parsed source. Conf- level ``hidden="true"`` is OR'd with the parsed-source ``