""" Pure HTML / text parsing functions for the RootView web application. All functions are side-effect-free: string (or list[str]) in, dict/list out. No network access, no filesystem access. """ import math import re from typing import Any from urllib.parse import unquote from bs4 import BeautifulSoup # --------------------------------------------------------------------------- # Machine descriptor # --------------------------------------------------------------------------- def parse_machine_option(label: str, raw_value: str) -> dict[str, Any]: """Decode the pipe-delimited