{
  "artifact": ".spt/preserved/304-web-helper-rca/serve_for_discovery_probe.rs",
  "status": "Authored against pinned source APIs; no builds, tests, probes, or other validation run.",
  "behavior": "Exactly one test: serve_for_discovery_probe. Two real loopback NetHosts/brokers, bounded Brain carriers, roster/subnet/on-disk audience and local MSG_OUT authority. Bare verifies owner/requester discovery-failure outcomes before shared Registered assertion; full starts canonical seed control and broker-backed ephemeral docs listener and checks its discovered and Registered URL ports.",
  "markers": [
    "BARE_DISCOVERY_REACHED mode=bare reason=DOCS_PORT_DISCOVERY_FAILED",
    "FULL_REGISTERED_BOUND_PORT url=<URL> bound_port=<port>"
  ],
  "risks": [
    "Pinned API is PeerAddrStore, not PeerAddrCache; fixture uses validated put/save_to and asserts requester's route resolves to owner net_status().addr.",
    "S4 exposes neither bound_docs_port nor direct DocsStatus handling publicly. Bare asserts canonical seed absence and public docs discovery failure and never starts a docs listener; it cannot directly inspect the private publication atomic.",
    "S4 docs startup returns only a port, without shutdown handle. Fixture stops its brokers and seed-control after capture; docs listener ends at producer-process exit.",
    "Execution and compile proof remain Main's assigned step."
  ]
}