[PR #5517] [CLOSED] docs(android): point JADX prerequisite guidance at doctor --provider jadx #6948

Closed
opened 2026-11-01 21:44:15 +00:00 by bsakaguchi · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/morluto/rea/pull/5517
Author: @Soumya95
Created: 10/20/2026
Status: ❌ Closed

Base: main ← Head: docs/android-jade-doctor-5498


📝 Commits (1)

  • e75bf96 docs(android): point JADX prerequisite guidance at doctor --provider jadx

📊 Changes

1 file changed (+4 additions, -3 deletions)

View changed files

📝 .agents/skills/reverse-engineer-anything/references/android-applications.md (+4 -3)

📄 Description

Summary

The Android skill reference says doctor provider scopes cover Hopper/Ghidra rather than JADX, but rea doctor --provider jadx --json is supported (docs/cli.md) and returns scoped remediation.

Fixes #5498

Problem and expected behavior

The Android skill reference says doctor provider scopes cover Hopper/Ghidra rather than JADX, but rea doctor --provider jadx --json is supported (docs/cli.md) and returns scoped remediation.

Change and scope

Replaced the sentence in .agents/skills/reverse-engineer-anything/references/android-applications.md with the wording proposed in the issue. The bundled skills/ copy is an ignored generated output and regenerates from this source.

Documentation/source-comment only; no new capability, provider, or target interaction, so a maintainer scope decision is not applicable.

Contract and boundary impact

  • Semantic owner and earliest changed stage: the authored source named above.

  • Contribution scope fit and linked maintainer decision: existing-boundary fix; not applicable.

  • CLI and MCP/tool-catalog contract: unchanged.

  • Provider, bridge, target-format, or platform compatibility: unchanged.

  • Evidence, artifact, provenance, or reconstruction contract: unchanged.

  • Generated metadata, package, or installation impact: none; no generated outputs committed.

  • Read existing files or captured data.

  • Launch or attach to a process.

  • Inject instrumentation or run scripts/code.

  • Change process memory, registers, files, or configuration.

  • Contact network services.

  • Recover protected code or work around protections.

  • Documentation or usability only; no target interaction.

  • Not sure yet; investigation or maintainer guidance needed.

Evidence and regression coverage

Source-derived: the contradiction is documented in the issue with an independent reproduction. Not executed here: npm run docs:check (dependencies not installed in this checkout). A grep found no other occurrence of the removed wording.

Author readiness

Human owner: @Soumya95

  • I reviewed the final diff and relevant existing code, understand the change and its edge cases, and take responsibility for the complete PR, including AI-assisted work.
  • I checked the evidence above, confirmed it supports the current change, and recorded meaningful validation gaps.
  • I declare this PR ready for initial maintainer review.

🤖 Generated with Claude Code


🔄 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/5517 **Author:** [@Soumya95](https://github.com/Soumya95) **Created:** 10/20/2026 **Status:** ❌ Closed **Base:** `main` ← **Head:** `docs/android-jade-doctor-5498` --- ### 📝 Commits (1) - [`e75bf96`](https://github.com/morluto/rea/commit/e75bf96995f01c620368498211e5bef55692a29e) docs(android): point JADX prerequisite guidance at doctor --provider jadx ### 📊 Changes **1 file changed** (+4 additions, -3 deletions) <details> <summary>View changed files</summary> 📝 `.agents/skills/reverse-engineer-anything/references/android-applications.md` (+4 -3) </details> ### 📄 Description ## Summary The Android skill reference says doctor provider scopes cover Hopper/Ghidra rather than JADX, but `rea doctor --provider jadx --json` is supported (docs/cli.md) and returns scoped remediation. Fixes #5498 ## Problem and expected behavior The Android skill reference says doctor provider scopes cover Hopper/Ghidra rather than JADX, but `rea doctor --provider jadx --json` is supported (docs/cli.md) and returns scoped remediation. ## Change and scope Replaced the sentence in `.agents/skills/reverse-engineer-anything/references/android-applications.md` with the wording proposed in the issue. The bundled `skills/` copy is an ignored generated output and regenerates from this source. Documentation/source-comment only; no new capability, provider, or target interaction, so a maintainer scope decision is not applicable. ## Contract and boundary impact - Semantic owner and earliest changed stage: the authored source named above. - Contribution scope fit and linked maintainer decision: existing-boundary fix; not applicable. - CLI and MCP/tool-catalog contract: unchanged. - Provider, bridge, target-format, or platform compatibility: unchanged. - Evidence, artifact, provenance, or reconstruction contract: unchanged. - Generated metadata, package, or installation impact: none; no generated outputs committed. - [ ] Read existing files or captured data. - [ ] Launch or attach to a process. - [ ] Inject instrumentation or run scripts/code. - [ ] Change process memory, registers, files, or configuration. - [ ] Contact network services. - [ ] Recover protected code or work around protections. - [x] Documentation or usability only; no target interaction. - [ ] Not sure yet; investigation or maintainer guidance needed. ## Evidence and regression coverage Source-derived: the contradiction is documented in the issue with an independent reproduction. Not executed here: `npm run docs:check` (dependencies not installed in this checkout). A grep found no other occurrence of the removed wording. ## Author readiness Human owner: @Soumya95 - [x] I reviewed the final diff and relevant existing code, understand the change and its edge cases, and take responsibility for the complete PR, including AI-assisted work. - [x] I checked the evidence above, confirmed it supports the current change, and recorded meaningful validation gaps. - [x] I declare this PR ready for initial maintainer review. 🤖 Generated with [Claude Code](https://claude.com/claude-code) --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
bsakaguchi 2026-11-01 21:44:15 +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#6948
No description provided.