OpenCyphal-Garage / cy / 28753872016

100%

main: 100%

push

github

Couple locally created topics to pre-existing pattern subscriptions (H2)

topic_ensure() only created a topic; it never routed the new name against
subscribers_by_pattern. So a topic created locally by cy_advertise or a
verbatim cy_subscribe after a matching pattern subscription already existed
was never coupled to that pattern root -- only gossip-learned topics were
(via topic_subscribe_if_matching). A pre-existing pattern subscriber stayed
permanently blind to such topics, even for remote traffic, order-dependently.

topic_ensure() now, in its topic-creation branch, routes the topic-owned name
through subscribers_by_pattern and couples matches (wkv_cb_couple_new_topic),
then syncs the subject reader. Unlike the gossip path, a coupling OOM keeps the
topic (it was explicitly requested locally) and reports ON_ASYNC_ERROR instead
of destroying it; that one case is not auto-retried (documented in cy.h and
repaired by re-subscribing the pattern).

Regression tests: new tests/src/test_intrusive_pattern_coupling.c (multi-root,
pinned, partial-OOM, lifecycle, substitutions), an API-level case in
test_api_rx.cpp, and a strengthened OOM sweep in test_api_core_contracts.cpp.
All fail pre-fix and pass post-fix; full suite green with static analysis.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01N8ASDc5L5s7deryxVAmR6R

534 of 534 branches covered (100.0%)

Branch coverage included in aggregate %.

17 of 17 new or added lines in 1 file covered. (100.0%)

2272 of 2286 relevant lines covered (99.39%)

411766.62 hits per line