dangernoodle-io / breadboard / 30513056642

97%

push

github

feat: add provides=http_wildcard_last codegen guard (B1-1280) (#1144)

- reserve a second provides= key, http_wildcard_last, marking the one
  entry that registers a catch-all/wildcard HTTP route
- render_source hard-errors (WireError) if more than one entry declares
  it (singleton, mirrors the http_server check), or if any server=true
  entry sorts at or after it in the final topo-sorted list, naming both
  entries' src_file:src_line and fn=
- wire it up to the real invariant: examples/smoke/main/bb_wire.h's
  bb_wifi_prov_autoinit marker now carries the key, so smoke's real
  composition is machine-checked, not just prose-documented; the
  surrounding comment now points at the mechanism instead of restating
  the invariant by hand
- document the args=/server=true blind spot explicitly: an args=-shaped
  entry that registers routes internally (like bb_wifi_prov_autoinit
  itself) is structurally invisible to this guard if composed after the
  wildcard entry, since server=true is the only signal codegen has
- adds no new emitted output; a composition that never uses the key is
  byte-identical to before this guard existed (confirmed for both
  examples/floor and examples/smoke against main)
- this narrows B1-1278's specific failure mode for codegen-composed
  entries; it does not close B1-1278 (closed separately, subsumed by
  the B1-1283 HTTP-dispatch-unification epic, which will make this
  guard's ordering concern structurally moot)

7934 of 8538 branches covered (92.93%)

Branch coverage included in aggregate %.

13502 of 13657 relevant lines covered (98.87%)

2609.58 hits per line