The doc still carried the pre-spike hypothesis (stale SDK, restructure tool registration) as fact. Neither happened: ^1.4.1 resolves to 1.27.1, and the real cause is Zod 3 vs the SDK's Zod 4 expectation. Also records the accepted additionalProperties trade-off and replaces the resolved spike open-item with the outstanding branch-protection action.