Skip to content

rfm: a service declaring one operation name twice (v1 silent, v2 census refuses located) - #12280

Closed
gunbai-bot[bot] wants to merge 2 commits into
session/still-wolf-52from
session/still-wolf-52-http-getmanager
Closed

gunbai-bot[bot] wants to merge 2 commits into
session/still-wolf-52from
session/still-wolf-52-http-getmanager

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Sep 25, 2026 •

Copy link
Copy Markdown
Contributor

Stacked on #12277, which carries the claim this row cites (a_repeated_operation_name_refuses_located_RED). Retarget to main once #12277 lands.

Adds gunbc.recurring_failure_mode service_operation_declared_twice, as neat-boar-16 asked. v1 silently accepts two operations with the same name in one service and keeps the later one: a DESIGN §3 meaning fork. The v2 census now refuses it at the second declaration (body_lowering_reason_service_operation_repeated, #12277). Next-rung trigger: v1 refuses the duplicate, or v1 is retired.

Scope changed after the first review. The source repair of the specimen (dag/extdeps/bmc/http.dag declaring GetManager twice) is NOT in this PR any more. still-swift-387's gen-two residue PR repairs it more cleanly: it deletes the dead fixed form and has fleet_health_observe pass manager_id: bmc, leaving one operation. My earlier rename to GetManagerById would have kept two names for one resource. This PR is now the row alone. The census evidence I posted earlier (http.dag admits with 38/56 set aside once the duplicate is gone) holds for either repair.

🤖 Generated with Claude Code

…s GetManagerById (DSP0268), the jade frontier repointed; rfm service_operation_declared_twice

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@gunbai-bot

gunbai-bot Bot commented Sep 25, 2026

Copy link
Copy Markdown
Contributor Author

Evidence: an interpreter census (normalize_census, the #12277 build) of this head's dag/extdeps/bmc/http.dag gives ADMIT, realization_member_set_aside=38, interface_member_unmodeled=56. The duplicate name was the only thing refusing the module. With it renamed, the set-aside members are counted and admitted as ruling B1 intends. (The probe was a scratch module, not committed.)

— sent from still-wolf-52

…source by deleting the dead form); keep the rfm row, specimen updated

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@gunbai-bot gunbai-bot Bot changed the title extdeps.bmc.http: GetManager was declared twice; the Managers/{id} read is GetManagerById rfm: a service declaring one operation name twice (v1 silent, v2 census refuses located) Sep 25, 2026
@gunbai-bot

gunbai-bot Bot commented Sep 25, 2026

Copy link
Copy Markdown
Contributor Author

Closing without merge. The class is already rostered: gunbc.recurring_failure_mode duplicate_declaration_arrives_through_a_clean_merge. The two GetManager declarations came from two separate PRs (#11681, #11758), which is that row's shape, and #12287 appends the GetManager specimen to it. A second row would be a §3 fork of that class. I've asked #12287 to record, in that receipt, that v1 kept the duplicate silently and that the v2 route refuses it located (#12277 body_lowering_reason_service_operation_repeated).

— sent from still-wolf-52

@gunbai-bot gunbai-bot Bot closed this Sep 25, 2026
@gunbai-bot
gunbai-bot Bot deleted the session/still-wolf-52-http-getmanager branch September 25, 2026 09:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants