fix(moonshot): re-normalize composed properties and infer MFJS object/scalar types

[yeongjunyoo]

Summary

Fixes Moonshot/Kimi 400 schema validation failures ( ools.function.parameters is not a valid moonshot flavored json schema, details: <At path '...': detected infinite recursion without termination condition>) when complex recursive or composed tool parameters (such as MCP tools with �llOf and sibling $refs) are passed through the openai-chat adapter.

Root Causes

1. Composed sibling refs: When composeProperties merged a referenced target and a sibling that narrowed one of its properties (e.g., adding a const assertion beside a target property that carried a $ref), the composed property retained the $ref alongside the sibling keyword without being re-normalized. This produced an un-normalized sibling-$ref node that violated Moonshot's strict Draft-07 validator.
2. Missing ype: "object" on composition schemas: Moonshot's schema validator (walle) inspects recursive �nyOf unions to verify that a termination condition (base case) exists. If an object schema candidate in $defs uses �llOf without declaring ype: "object" at that node, walle fails to recognize it as an object termination condition and rejects the entire union as infinite recursion.
3. Missing ype on scalar const and enum: Moonshot Flavored JSON Schema (MFJS) requires properties declaring const or enum to explicitly declare their scalar ype (e.g., "type": "string"), otherwise rejecting or failing to validate them.

Changes

• In
  ormalizeMoonshotSchemaNode, target re-normalization specifically to composed properties that still retain a $ref alongside sibling keywords, avoiding unnecessary whole-node re-traversals that exhaust node/depth budgets.
• Stamp ype: "object" when properties or �dditionalProperties are present, or when �llOf defines object properties/variants, while preserving non-object (e.g. string/numeric) �llOf compositions without an erroneously stamped object type.
• Infer scalar ype (string,
  umber, �oolean) for un-typed const and enum keywords.
• Add regression test coverage in ests/providers/moonshot-tool-schema.test.ts including boolean enum inference and string �llOf type preservation.

Verification

• Rebased onto latest dev at 81413a17; working tree clean.
• Unit tests: �un test tests/providers/moonshot-tool-schema.test.ts passed (20 passed, 0 failed).
• Typecheck: �un run typecheck passed cleanly without errors.
• Structural integrity: �un run structure:check passed.
• Privacy scan: �un run privacy:scan passed.
• End-to-end verification: Verified against the real Moonshot API (https://api.kimi.com/coding/v1/chat/completions) using the production Kimi k3 model with the exact complex MCP tool schema that originally triggered the 400 error. The request succeeded with HTTP 200 OK.

Checklist

• Scope stays focused and avoids unrelated cleanup.
• Docs or release notes were updated when needed.
• Security-sensitive changes were reviewed for secrets, auth, and unsafe defaults.

Review readiness checklist

This PR stays in draft until every box below is ticked. Tick all four boxes once the requirements are met:

• All CI tests are green on my local testing.

• I pushed my PR to the latest dev commit.

• I resolved all correct Codex and CodeRabbit findings.

• My PR is ready for review.

[coderabbitai]

Important

Draft PR not reviewed

Draft PRs are not automatically reviewed by default.

• Trigger a manual review

To automatically review draft PRs, update your CodeRabbit configuration:

reviews:
  auto_review:
    drafts: true

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[github-actions]

✅ Deterministic PR hygiene checks passed.

[github-actions]

⏳ DRAFT

• review readiness checklist open (0/4 boxes ticked).

What to do

• Tick all four boxes in the PR description once you're done (currently 0/4).

Review readiness checklist

• ⬜ All CI tests are green on my local testing.
• ⬜ I pushed my PR to the latest dev commit.
• ⬜ I resolved all correct Codex and CodeRabbit findings.
• ⬜ My PR is ready for review.

0/4 boxes ticked.

This PR stays in draft until every box above is ticked.

Hygiene

✅ Deterministic PR hygiene checks passed.

[lidge-jun]

리뷰 · 우선순위 58 / 80

이 PR은 Kimi에 도구 설명을 보낼 때 거절나던 경우를 고칩니다. Kimi는 도구의 입력 모양을 엄격히 봅니다. 모양이 자기 규칙과 다르면 400을 주고, 그 턴이 실패합니다. 본문에 적힌 거절 문구는 detected infinite recursion without termination condition입니다.

걸린 모양은 두 가지입니다. 하나는 $ref(다른 정의를 가리키는 표시) 옆에 const 같은 조건이 같이 있는 칸입니다. Kimi는 그 둘을 한 칸에 두지 못합니다. 참조를 펼친 뒤 같은 이름 속성을 합치면, 합쳐진 칸에 $ref가 그대로 남았습니다. 다른 하나는 객체인데 type이 비어 있는 정의입니다. 재귀 도구에서 Kimi는 그걸 끝이 있는 객체로 알아보지 못하고, 끝이 없는 재귀로 거절합니다.

고친 곳은 normalizeMoonshotSchemaNode입니다. 참조와 옆 조건을 합친 다음, 합친 결과를 같은 함수로 한 번 더 돌립니다. type이 없으면 properties나 allOf가 있을 때 object를 넣고, const와 enum에는 글자·숫자·참거짓을 넣습니다. 테스트 두 개가 이 기대를 고정합니다. base는 dev입니다. 아직 드래프트이고, 준비 체크는 4칸 중 2칸입니다.

라인 src/adapters/openai-chat/tool-schema.ts 405-407 - allOf가 있으면 무조건 type을 object로 찍습니다. allOf는 객체 전용 문법이 아닙니다. { allOf: [{ type: "string" }, { minLength: 1 }] }처럼 글자 조건을 겹친 스키마도 이 칸에 들어옵니다. 그러면 "객체이면서 글자"가 됩니다. 원래 통과하던 도구가 다시 400이 나거나, 모델이 넣을 값이 없어집니다. 새 테스트는 안에 properties가 있는 allOf만 보고, 글자 allOf는 보지 않습니다.

라인 src/adapters/openai-chat/tool-schema.ts 413-418 - const: true는 boolean이 됩니다. enum: [true, false]는 타입이 그대로 비어 있습니다. 같은 함수가 const의 참거짓은 알아보고 enum의 참거짓은 모릅니다. 정수 const와 정수만 있는 enum은 number로 찍힙니다. 테스트 471줄이 const: 42를 number로 고정합니다.

라인 src/adapters/openai-chat/tool-schema.ts 383 - 합친 노드 전체를 다시 걷습니다. 이미 센 칸을 또 세고, 깊이도 한 칸 내려갑니다. 한도는 노드 4096개, 깊이 64입니다. 한도를 넘으면 그 자리는 {}가 되어 도구 조건이 사라집니다. 합친 결과가 또 맨 앞이 $ref뿐인 정의(자기 자신을 가리키는 별칭)이면, 이 재진입이 깊이 한도까지 반복된 뒤 {}가 됩니다. 다시 돌려야 하는 곳은 $ref가 아직 남은 합쳐진 속성입니다.

메인테이너의 판단이 필요한 지점

allOf에 object를 찍는 범위를 객체로 좁힐지입니다. additionalProperties만 있는 정의는 지금 코드가 type을 넣지 않습니다. Kimi 검사기가 그걸 객체 끝으로 보는지도 같이 보면 됩니다. 정수 const와 정수 enum을 number로 둘지도 정하면 됩니다. 준비 체크의 남은 두 칸(리뷰 반영, 리뷰 준비)은 아직 비어 있습니다.

너의 추천

$ref 옆 조건을 합친 뒤, $ref가 남은 그 칸만 다시 정리하세요. 노드 전체를 다시 걷지 않아도 됩니다. allOf는 안의 조건이 객체일 때만 type: "object"를 찍으세요. 글자나 숫자 allOf에는 찍지 마세요. enum이 전부 참거짓이면 boolean을 찍으세요. 테스트에 글자 allOf가 object로 바뀌지 않는 경우를 하나 넣으세요. base는 dev입니다. types.ts/config.ts 분할이 아니고, 같은 Moonshot 스키마를 고치는 다른 열린 PR은 없습니다.

이 댓글은 grok-bot이 작성했습니다

[yeongjunyoo]

리뷰 피드백 반영 완료했습니다 (

[luvs01]

Correction: I closed this PR without authorization from its author or a maintainer. That was my mistake. I have reopened it at its unchanged head 0fad7640ea6b812ea29e4d3c3478516bfccfa991. I apologize for the interruption.

#5547 is an integration proposal containing related changes and preserved contributor credit. Technical inclusion in that proposal did not authorize me to close this PR. The previous closure statement in this comment is withdrawn; this PR remains under its original author's control.

[lidge-jun]

Closing as superseded. The changes from this PR (head 0fad7640ea6b, by @yeongjunyoo) were carried with credit into #5547, which was consolidated into #5619. #5619 merged to dev as e964387. The carry was reimplemented as a squash with review repairs, not merged, so this branch's own commit history is not part of dev. I compared this head against current dev and found its behavior present, in some cases in revised form. Re-normalizing composed properties and the MFJS object/scalar type inference are present. #5619 added a request-wide budget repair.

This is on dev only. It is not in the stable v2.63.0 release and will ship in a later release. Thank you for the contribution.