jerry73204 merged NEWSLabNTU/nano-ros#2758 · October 27, 2026 00:28 check(phase-515 W0.b): a ledger row may not name a deleted C symbol #2758 Summaryphase-515 W0.b: a ledger row may not name a deleted C symbol.W0.a's arity check judges only names the extraction knows, so a row describin… +688 -111