docs: drop a link claim the emulator pages lack

This commit is contained in:
Abdessamad Derraz committed 2026-11-06 15:02:43 +01:00
1 parent 7a34c2ddec
commit 9930f46f03
2 files changed
+18 -2

No files matched your search

+2 -2
View File
@@ -733,8 +733,8 @@ def data_page_section(path: Path) -> list[str]:
"",
"[`measurements.sqlite`](downloads/measurements.sqlite) holds every core probe "
f"record kept in [`{mr.RECORDS_DIR}/`]({REPO}/tree/main/{mr.RECORDS_DIR}), and "
"`downloads/measurements/<emulator>.sqlite` the records of one emulator, linked "
f"from its page. The [Measurements]({EXPLORER_PAGE}) page reads "
"`downloads/measurements/<emulator>.sqlite` the records of one emulator. The "
f"[Measurements]({EXPLORER_PAGE}) page reads "
"[`data/measurements/index.json`](data/measurements/index.json). A record line is "
"valid against [`core-probe-record.schema.json`](api/v1/schemas/core-probe-record.schema.json).",
"",
+16
View File
@@ -468,6 +468,22 @@ class SitePages(unittest.TestCase):
def item(self, **values: object) -> dict:
return {**self.ITEM, **values}
def test_the_data_page_claims_no_link_an_emulator_page_lacks(self) -> None:
"""The Data page said each per-emulator database is "linked from its
page". An emulator page shows the proof lines, which link the record
lines and never the database."""
with tempfile.TemporaryDirectory(dir=REPO_ROOT / "tmp") as scratch:
path = Path(scratch) / "m.sqlite"
connection = sqlite3.connect(path)
connection.execute("CREATE TABLE meta (key TEXT)")
connection.commit()
connection.close()
text = "\n".join(sm.data_page_section(path))
proofs = "\n".join(sm.proof_section([self.item()]))
self.assertNotIn("downloads/measurements/", proofs)
self.assertNotIn("linked from its page", text)
self.assertIn("downloads/measurements/<emulator>.sqlite", text)
URL = f"{REPO_URL}/blob/{'e' * 40}/measurements/beetle_psx.jsonl"
def record(self, line: int, proves=(), shown=None, observed=None) -> dict: