The checks engine, the path and the cards: me-web? 0.1 reads the connection

MeWeb.Core runs seven checks concurrently and reports each as it settles:
online or behind a login page, this connection, the public IPv4 and IPv6
seen from v4./v6.meweb, the provider from a built-in map, the router
(UPnP IGD, NAT-PMP and PCP, read-only), address sharing (router WAN
against the echo, TTL hops only as a hint), and the history kept on the
device. The app draws the path from this device to the internet and lights
it node by node, with a card per check and a sheet listing every host it
contacts.

The provider map is iptoasn's table compressed to 2.1 MB by
tools/knowledge.cs and built before every app release; eleven Italian
provider profiles carry each fact with who said it, the source and the
month. The server gains a download page (en, it) and /download/{platform}
from the latest Gitea release.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012CzABvBkbcFqoHdmi8b9WB

PATTERNS.md

@@ -89,7 +89,9 @@ Scope: `src/`, `tools/`. Out of scope: generated files (`obj/`, `*.g.cs`), third
 
 ## F. Data
 
-25. **One data accessor per store**: `MongoContext` on the server, `KnowledgeStore` and `HistoryStore` in the App.
+25. **One data accessor per store**: `MongoContext` on the server, `KnowledgeBase` and `HistoryStore` in `MeWeb.Core`.
+    No SQLite: the provider map is a sorted brotli table read into arrays, the history a small JSON file, so no
+    native library has to ship on four platforms.
 26. **Entity → view is a hand-written `ToView()`.** No mapper library.
 56. **A multi-row mutation is one server call.**
 74. **No in-between DTOs — a response DTO is pure data; `WebResult` carries ok/error.**
@@ -182,3 +184,7 @@ Scope: `src/`, `tools/`. Out of scope: generated files (`obj/`, `*.g.cs`), third
      link; the root `FlowDirection` follows `rtl`.
 126. **`?` appears only in display text.** File names, package ids and paths use `MeWeb`, `meweb` and
      `software.arasaka.meweb`.
+127. **A provider fact carries who said it, where and when.** Every value in `data/isps/*.json` has `basis`
+     (`operator`, `users`, `one-user`, `press`, `research`), `source` (a URL) and `date` (`yyyy-MM` or `yyyy`), and
+     the card shows all three. A fact nobody published is left out, not guessed; the values describe what is usual
+     for the provider, never the person's contract.