{"query": "The derivation router", "count": 20, "results": [{"id": "card_instr_derivation", "title": "The derivation router", "shelf": "codex", "surface": "secular", "snippet": "The derivation router (src/concordance/derivation.py): routes a {domain, spec} to its verifier and reduces a domain's results to one moat status (MISMATCH > ERROR > CONFIRMED); the apex where every ve", "authority_tier": "engine_derived", "source": "validator: derivation", "readable": false, "generated": false}, {"id": "card_theory_network_theory", "title": "Network theory (routing, addressing / CIDR)", "shelf": "theories", "surface": "secular", "snippet": "Network theory (routing, addressing / CIDR) — an engine domain that can touch it: networking. Calibration: seals — subnet masks, address ranges and prefix matches compute exactly. An IP address is spl", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_floor_the_instruments", "title": "The instruments — every verifier and validator, and where they join", "shelf": "codex", "surface": "secular", "snippet": "The engine's checking instruments on the one map: the 89 verifiers and the gate that validates them, joined by their real import graph (read from the code at seed time, so it cannot drift). A MEASURE ", "authority_tier": "engine_derived", "source": "Narrow Highway - the instruments on the one map (found from the import graph)", "readable": false, "generated": false}, {"id": "card_src_pron_routers", "title": "routers", "shelf": "pronunciation", "surface": "secular", "snippet": "routers: pronounced (ARPABET) R UW1 T ER0 Z; also R AW1 T ER0 Z. From the CMU Pronouncing Dictionary — the standard machine-readable pronunciations of North American English.", "authority_tier": "reference", "source": "CMU Pronouncing Dictionary (cmudict) — BSD-2-Clause, Carnegie Mellon", "readable": false, "generated": false}, {"id": "card_src_port_udp_520_router", "title": "Port 520/udp — router", "shelf": "networking", "surface": "secular", "snippet": "Port 520/udp is assigned to router: local routing process (on site); uses variant of Xerox NS routing information protocol - RIP.", "authority_tier": "reference", "source": "IANA Service Name and Port Number Registry (public domain)", "readable": false, "generated": false}, {"id": "card_src_pron_router", "title": "router", "shelf": "pronunciation", "surface": "secular", "snippet": "router: pronounced (ARPABET) R UW1 T ER0; also R AW1 T ER0. From the CMU Pronouncing Dictionary — the standard machine-readable pronunciations of North American English.", "authority_tier": "reference", "source": "CMU Pronouncing Dictionary (cmudict) — BSD-2-Clause, Carnegie Mellon", "readable": false, "generated": false}, {"id": "card_src_word_router", "title": "router", "shelf": "dictionary", "surface": "secular", "snippet": "router: (noun) a worker who routes shipments for distribution and delivery · (noun) (computer science) a device that forwards data packets between computer networks · (noun) a power tool with a shaped", "authority_tier": "reference", "source": "WordNet 3.0, Princeton University (WordNet License)", "readable": false, "generated": false}, {"id": "card_src_port_tcp_2515_facsys_router", "title": "Port 2515/tcp — facsys-router", "shelf": "networking", "surface": "secular", "snippet": "Port 2515/tcp is assigned to facsys-router: Facsys Router.", "authority_tier": "reference", "source": "IANA Service Name and Port Number Registry (public domain)", "readable": false, "generated": false}, {"id": "card_src_port_udp_2515_facsys_router", "title": "Port 2515/udp — facsys-router", "shelf": "networking", "surface": "secular", "snippet": "Port 2515/udp is assigned to facsys-router: Facsys Router.", "authority_tier": "reference", "source": "IANA Service Name and Port Number Registry (public domain)", "readable": false, "generated": false}, {"id": "card_src_port_tcp_2079_idware_router", "title": "Port 2079/tcp — idware-router", "shelf": "networking", "surface": "secular", "snippet": "Port 2079/tcp is assigned to idware-router: IDWARE Router Port.", "authority_tier": "reference", "source": "IANA Service Name and Port Number Registry (public domain)", "readable": false, "generated": false}, {"id": "card_src_port_tcp_5680_auriga_router", "title": "Port 5680/tcp — auriga-router", "shelf": "networking", "surface": "secular", "snippet": "Port 5680/tcp is assigned to auriga-router: Auriga Router Service.", "authority_tier": "reference", "source": "IANA Service Name and Port Number Registry (public domain)", "readable": false, "generated": false}, {"id": "card_src_port_udp_2079_idware_router", "title": "Port 2079/udp — idware-router", "shelf": "networking", "surface": "secular", "snippet": "Port 2079/udp is assigned to idware-router: IDWARE Router Port.", "authority_tier": "reference", "source": "IANA Service Name and Port Number Registry (public domain)", "readable": false, "generated": false}, {"id": "card_src_port_udp_5680_auriga_router", "title": "Port 5680/udp — auriga-router", "shelf": "networking", "surface": "secular", "snippet": "Port 5680/udp is assigned to auriga-router: Auriga Router Service.", "authority_tier": "reference", "source": "IANA Service Name and Port Number Registry (public domain)", "readable": false, "generated": false}, {"id": "card_src_word_router_plane", "title": "router plane", "shelf": "dictionary", "surface": "secular", "snippet": "router plane: (noun) a woodworking plane with a narrow cutting head that will make grooves with smooth bottoms", "authority_tier": "reference", "source": "WordNet 3.0, Princeton University (WordNet License)", "readable": false, "generated": false}, {"id": "card_src_port_tcp_4063_ice_router", "title": "Port 4063/tcp — ice-router", "shelf": "networking", "surface": "secular", "snippet": "Port 4063/tcp is assigned to ice-router: Ice Firewall Traversal Service (TCP).", "authority_tier": "reference", "source": "IANA Service Name and Port Number Registry (public domain)", "readable": false, "generated": false}, {"id": "card_src_port_udp_4063_ice_router", "title": "Port 4063/udp — ice-router", "shelf": "networking", "surface": "secular", "snippet": "Port 4063/udp is assigned to ice-router: Ice Firewall Traversal Service (TCP).", "authority_tier": "reference", "source": "IANA Service Name and Port Number Registry (public domain)", "readable": false, "generated": false}, {"id": "card_src_rfc_1716", "title": "RFC1716 — Towards Requirements for IP Routers", "shelf": "rfcs", "surface": "secular", "snippet": "RFC1716: Towards Requirements for IP Routers (November 1994). Status: INFORMATIONAL. Obsoleted by RFC1812.", "authority_tier": "reference", "source": "The RFC Index (RFC Editor / IETF) — public domain", "readable": false, "generated": false}, {"id": "card_src_rfc_3178", "title": "RFC3178 — IPv6 Multihoming Support at Site Exit Routers", "shelf": "rfcs", "surface": "secular", "snippet": "RFC3178: IPv6 Multihoming Support at Site Exit Routers (October 2001). Status: INFORMATIONAL.", "authority_tier": "reference", "source": "The RFC Index (RFC Editor / IETF) — public domain", "readable": false, "generated": false}, {"id": "card_src_rfc_3290", "title": "RFC3290 — An Informal Management Model for Diffserv Routers", "shelf": "rfcs", "surface": "secular", "snippet": "RFC3290: An Informal Management Model for Diffserv Routers (June 2002). Status: INFORMATIONAL.", "authority_tier": "reference", "source": "The RFC Index (RFC Editor / IETF) — public domain", "readable": false, "generated": false}, {"id": "card_src_rfc_3509", "title": "RFC3509 — Alternative Implementations of OSPF Area Border Routers", "shelf": "rfcs", "surface": "secular", "snippet": "RFC3509: Alternative Implementations of OSPF Area Border Routers (April 2003). Status: INFORMATIONAL.", "authority_tier": "reference", "source": "The RFC Index (RFC Editor / IETF) — public domain", "readable": false, "generated": false}], "house": {"door": "FIND", "kind": "cards", "trail": "results", "seal": null, "next_step": {"do": "open the top card", "door": "FIND", "tool": "card_get", "params": {"id": "card_instr_derivation"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}