[PR #2899] [CLOSED] fix: restore client configuration and static-check boundaries #5480

Closed
opened 2026-10-31 01:06:58 +00:00 by bsakaguchi · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/morluto/rea/pull/2899
Author: @Bobtoshi
Created: 10/13/2026
Status: ❌ Closed

Base: main ← Head: codex/devin-client-format


📄 Description

The captured main revision cannot pass its build/static gate: Devin is registered with an undeclared devin format, a Ghidra MCP test imports join twice, and a client lifecycle fixture destructures untyped string arrays under noUncheckedIndexedAccess.

Select the existing JSON dialect for Devin, matching the existing lifecycle and configuration expectations. Remove the duplicate import and retain tuple types in the fixture. Restore formatting in the two files also rejected by the repository format check.

Validation: 78 existing client lifecycle/configuration tests, the affected CLI/Ghidra MCP boundary tests, npm run check, and compiled build passed on macOS. No live client configuration was changed or exercised.


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/morluto/rea/pull/2899 **Author:** [@Bobtoshi](https://github.com/Bobtoshi) **Created:** 10/13/2026 **Status:** ❌ Closed **Base:** `main` ← **Head:** `codex/devin-client-format` --- ### 📄 Description The captured main revision cannot pass its build/static gate: Devin is registered with an undeclared `devin` format, a Ghidra MCP test imports `join` twice, and a client lifecycle fixture destructures untyped string arrays under `noUncheckedIndexedAccess`. Select the existing JSON dialect for Devin, matching the existing lifecycle and configuration expectations. Remove the duplicate import and retain tuple types in the fixture. Restore formatting in the two files also rejected by the repository format check. Validation: 78 existing client lifecycle/configuration tests, the affected CLI/Ghidra MCP boundary tests, `npm run check`, and compiled build passed on macOS. No live client configuration was changed or exercised. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
bsakaguchi 2026-10-31 01:06:58 +00:00
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
morluto/rea#5480
No description provided.