mirror of
https://github.com/morluto/rea.git
synced 2026-11-05 06:45:22 +00:00
[GH-ISSUE #5595] [Bug] analyze selects the wrong workflow for bundle aliases and JavaScript directories named .app #3395
Closed
opened 2026-10-31 00:39:53 +00:00 by bsakaguchi
·
3 comments
No Branch/Tag specified
main
codex/procedure-reference-stacked
release-please--branches--main--components--rea-agents
release-please--branches--main--components--rea-agents--release-notes
codex/kuna-independent-retry
codex/byte-search-overlay-coverage
codex/open-failure-target-receipt
codex/kuna-xref-evidence
codex/ghidra-ambiguous-procedure-recovery
codex/function-source-bundle
codex/trace-function-integration-prototype
codex/snapshot-source-closure
codex/recorded-evidence-array-pages
codex/evidence-recovery-redesign
codex/trace-feature-address-scope
codex/call-discovery-scope
codex/ghidra-literal-candidate-evidence
codex/decompile-directory-independent-retry
codex/retry-provenance-base
codex/value-flow-capability-experiment
codex/ghidra-containing-instruction
cursor/readme-discord-button-ef9f
dependabot/github_actions/actions/setup-node-7.1.0
dependabot/github_actions/actions/upload-artifact-7.0.2
dependabot/npm_and_yarn/npm-minor-and-patch-d8d97ce6df
codex/kuna-1989
fix/8559-native-ui-fixture-ownership
fix/8555-go-verifier-mcp-ownership
codex/provider-capability-recovery
fix/8642-rizin-target-stdin
codex/ghidra-memory-effect-scope
codex/ghidra-annotation-entry-selector
codex/ghidra-readonly-recovery
codex/ghidra-regex-verifier-recovery
codex/evidence-discovery-view-guidance
fix/8545-bulk-append-overflow
fix/8428-navigation-refusal-alternatives
codex/address-context-recovery
codex/matching-member-limitations
codex/unknown-scope-contract
codex/evidence-view-guidance
feat/8373-native-trace-views
codex/ghidra-snapshot-verifier-binding
codex/elf-export-visibility
codex/evidence-view-recovery
codex/native-reference-cli-help
codex/provider-candidate-observation-scope
codex/kuna-session-verification
codex/ghidra-switch-lifetime-guidance
codex/pseudocode-paging-discovery
codex/clarify-evidence-view-support
codex/kuna-xrefs-selector-recovery
codex/context-capacity-recovery
codex/evidence-closure-large-links
codex/same-function-evidence-identity
codex/ghidra-verifier-inspected-jdk
codex/audit-guided-workflows
codex/crash-prompt-retained-dossiers
codex/analysis-view-error-recovery
codex/kuna-verifier-target-selection
codex/ghidra-selected-project-call-coverage
codex/docs-native-analysis-scope
codex/ghidra-java-socket-boundary
codex/ghidra-retained-snapshot-verifier
codex/ghidra-search-inventory-facts
fix/8284-zero-argument-parameter-bindings
fix/8198-ui-action-handler-offset
fix/8257-elf-entry-label-identity
fix/8304-deferred-output-schema-projection
fix/8277-call-path-computed-target-uncertainty
fix/pr-8089-conflicts
fix/ci-static-duplicate-export
dependabot/npm_and_yarn/lint-staged-17.6.0
dependabot/github_actions/actions/download-artifact-8.0.2
dependabot/npm_and_yarn/write-file-atomic-8.0.0
dependabot/npm_and_yarn/canonicalize-5.1.0
dependabot/github_actions/actions/cache/restore-6.1.0
dependabot/npm_and_yarn/toon-format/toon-4.4.0
dependabot/github_actions/actions/deploy-pages-5.0.1
codex/review-fixes-pr-2403
codex/review-fixes-pr-2400
codex/process-terminal-width
codex/test-brittleness-cleanup
verify/7167-browser-connect-macos
fix/7167-browser-connect
feat/native-matching-allowance-setting
feat/browser-scenario-dry-run
test/managed-caller-parameters-20261024
codex/parser-fortythird-boundaries
fix/6926-pinvoke-platform-decorations-20261023
fix/6889-har-body-encoding-20261023
fix/6888-sqlite-schema-budget-20261023
fix/dependency-security-gates-6708
cursor/evidence-overwrite-rebase-b4ac
feat/4057-verify-native-exports
fix/windows-acl-observer-overhead-20261022
cursor/erlang-beam-restack-4476
cursor/pe-certificate-review-bf32
fix/6116-javascript-application-fs-errors
fix/6061-unmapped-runtime-script-unknown
feat/browser-scenario-summary
fix/pe-certificates
codex/verify-3407
cursor/rebase-5699
cursor/rebase-5352
cursor/rebase-5600
cursor/fix-cli-schema-omission-10a8
codex/audit-hopper-shutdown-reasons-20261021
fix/demangle-swift-omitted-record
fix/nib-boolean-value-types
cursor/cancellation-partial-observation-a5ac
fix/ib-object-limit-reasons
fix/electron-fuse-limit-advice
fix/kuna-doctor-dangling-cache
fix/fixed-budget-refusal-advice
fix/js-ipc-listener-dedup
fix/js-return-member-provenance
fix/dmg-integrity-retry-advice
fix/ida-doctor-readiness
fix/kuna-version-probe-output-drain
fix/legacy-swift-runtime-name-matching
fix/dylib-lazy-load-commands
fix/browser-scenario-startup-cancel
fix/swift-nested-punycode-classification
fix/compare-unselected-scopes
fix/objc-method-budget-coverage
fix/dmg-mounted-root-observations
audit/ci-tests-20261019-round2
release/6.7.0
fix/wabt-cleanup-retry-resolution
fix/electron-fuse-elf-pe-architecture
fix/native-plist-descriptor-ownership
fix/kuna-caller-cleanup-ownership
experiment/atomic-codemode-20261016
review/first-contributor-3776
fix/call-resolution-full-read-cycles
fix/member-mutation-selection-repeat
experiment/atomic-re-tools-20261015
perf/member-mutation-lazy-origins
perf/static-network-mutation-index
fix/hopper-startup-lifecycle
audit/3050-windows-proof-20261015
feat/windows-window-capture-2183
audit/3049-windows-proof-20261015
audit/3735-macos-fixtures-20261015
fix/batch-decompile-null-pseudocode
fix/kuna-inventory-honors-jobs
experiment/browser-codemode-tool-design-20261015
fix/hopper-clean-runtime-argv
codex/review-2049-27f1b367
review-fixes/pr-2787-routing
fix/3360-scoped-this-emitters
fix/3367-replaced-global-effects
fix/3838-compact-any-value-items
test/hopper-download-probe-20261015
codex/windows-runtime-creation-red-green-20261015
codex/windows-readonly-root-red-green-20261015
codex/windows-root-share-red-green-20261015
codex/exp-1685-win-mcp-startup
codex/bug-sweep-20261015
investigate/2190-windows-package-phases
investigate/3543-macos-cli-deadline
perf/3281-reverse-tools-feedback-quality
fix/3406-hopper-doctor-fixture
fix/3341-wrapper-require-test-context
fix/3301-owned-uninstall-fixtures
fix/3164-compiler-input-ownership
fix/pcap-cleanup-stdout-newline-20261014
perf/interface-builder-summary
codex/review-fixes-pr-1977
fix/ghidra-effective-jvm-platform
fix/docs-turkish-rust-link-20261013
fix/main-maintenance-ci-20261010
fix/recover-binary-session-process-effects
codex/review-fixes-pr-2457
codex/ci-required-cancellation-gate
fix/main-format-baseline-20261013
fix/setup-preserve-entry-fields
cursor/restore-main-checks-1ffc
fix/ghidra-bridge-hashmap-import
codex/shared-ci-jadx-json-default-20261013
codex/shared-ci-ghidra-test-groups-20261013
codex/shared-ci-java-fixture-format-20261013
codex/fix-intrinsic-invocation-boundaries
test/release-preflight-reusable-jobs
test/js-parameter-provenance-expectation
fix/linux-hopper-verification-current
test/2419-ghidra-elf-probe-size
followup/pr-1544-native-ida
codex/fold-pr-2230-contribution
docs/readme-responsible-use
fix/issue-2064
fix/issue-2050
fix/issue-2053
fix/issue-1968
fix/issue-1945
experiment/codemode-bridge-20261011
fix/tool-effects-negative-wording-1904-20261012
fix/1842-electron-interop-provenance
feat/recover-javascript-multi-input
refactor/website-i18n-prep
fix/nativeaot-pe-virtual-extent
fix/browser-verifier-ci-hang
fix/pe-resources-input-selection
docs/beginner-friendly-guides
docs/beginner-setup-guide
fix/javascript-analysis-worker-1563
fix/1649-ghidra-duplicate-names
fix/javascript-export-keys-integration-1369
test/maintenance-boundary-contracts-20261011
review/javascript-export-keys-1369
review/process-live-progress-1483
test/javascript-1495-growth-ratio
fix/ci-escape-timing
docs/normalized-terminal-geometry-1450
release/6.3.0
archive/release-6.3.0-pr1381
release/6.2.0
fix/electron-preload-dynamic-override
fix/javascript-self-referential-bundler-edges
release/6.1.0
cursor/grok-client-cherry-pick-0b56
feat/signature-posture
feat/dyld-shared-cache
feat/artifact-integrity-policy
feat/pkg-inventory
release/6.0.0
chore/sync-release-5.0.0
release/5.0.0
cursor/cloud-agent-node-787e
fix/javascript-xhr-open-endpoints
review/pr-711-realpath-fallback-wording
cleanup/replay-confinement
codex/test-suite-performance
codex/issue-foundations
codex/address-open-issues-2026-07-20
agent/javascript-vite-rollup-esbuild-adapters
agent/process-cleanup
agent/triage-integration
agent/unknown-commands-registry
feat/mcp-identity-metadata
morlvps/issue_cleanup
codex/installer-redesign
morl/roadmap-investigation-core
morl/roadmap-investigation-docs
release-please--branches--main--components--rea
rea-agents-6.8.0
rea-agents-6.7.0
rea-agents-6.6.0
experiment/atomic-codemode-wait-runtime-20261016
rea-agents-6.5.0
rea-agents-6.4.0
rea-agents-6.3.0
rea-agents-6.2.0
rea-agents-6.1.0
rea-agents-6.0.0
rea-agents-5.0.0
rea-agents-4.1.0
rea-agents-4.0.1
rea-agents-4.0.0
rea-agents-3.2.1
rea-agents-3.2.0
rea-agents-3.1.0
rea-agents-3.0.0
rea-agents-2.7.0
rea-agents-2.6.0
rea-agents-2.5.1
rea-agents-2.5.0
rea-agents-2.4.0
rea-agents-2.3.0
rea-agents-2.2.0
rea-agents-2.1.0
rea-agents-2.0.0
rea-agents-1.7.0
rea-agents-1.6.0
rea-agents-1.5.0
rea-agents-1.4.0
rea-agents-1.3.0
rea-agents-1.2.0
rea-agents-1.1.0
rea-agents-1.0.0
rea-agents-0.5.0
rea-agents-0.4.0
rea-agents-0.3.0
rea-0.2.1
rea-0.2.0
Labels
Clear labels
area: bridge
area: bridge
area: build
area: build
area: build
area: cli
area: domain
area: evidence
area: mcp
area: native
area: providers
area: runtime
area: server
area: setup
area: tests
bug
design
documentation
enhancement
enhancement
enhancement
experiment
help wanted
i18n
invalid
P0: critical
P1: high
P2: medium
P2: medium
P2: medium
P3: low
performance
provider-request
pull-request
Mirrored from GitHub Pull Request
question
roadmap
triage
No labels
area: bridge
area: bridge
area: build
area: build
area: build
area: cli
area: domain
area: evidence
area: mcp
area: native
area: providers
area: runtime
area: server
area: setup
area: tests
bug
design
documentation
enhancement
enhancement
enhancement
experiment
help wanted
i18n
invalid
P0: critical
P1: high
P2: medium
P2: medium
P2: medium
P3: low
performance
provider-request
pull-request
question
roadmap
triage
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
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#3395
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @coygeek on GitHub (Oct 20, 2026).
Original GitHub issue: https://github.com/morluto/rea/issues/5595
Before submitting
Area
CLI
Observed behavior
Default
rea analyzeselects the wrong workflow when the caller's directory name disagrees with its artifact kind:bundle-aliaspointing to a validFixture.appreturns successful but empty JavaScript Evidence instead of a native overview.web.appenters native analysis and fails because it has no bundle metadata. The same bytes inwebanalyze successfully.An independent verifier reproduced each failure once through the built CLI, along with the controls below. No provider, snapshot, target-format, architecture, or entry-point option was supplied to the failing commands. Native controls used Hopper.
Reproduction
From the source-checkout root with dependencies and the built runtime available, run the following on macOS. The native controls need a working supported deep-analysis provider; the verified run used Hopper. The copied system application was never launched.
Expected behavior
Generic analysis should select static JavaScript analysis for an ordinary source directory and native deep analysis for an application bundle. A symlink to the same bundle should retain that analysis kind. A directory containing only JavaScript sources and a package manifest should remain eligible for static analysis when its name ends in
.app.The contract is in
docs/javascript-artifact-reconstruction.md:23-27anddocs/cli.md:17-21. The selected JavaScript alias and resolved artifact identity are separate facts underdocs/javascript-artifact-reconstruction.md:53-58.Impact and scope
P2, supported. The generic CLI returns successful Evidence for the wrong analysis kind or refuses a valid source directory because of its name. Each case reproduced once with successful controls. Broader input frequency and other platforms were not measured; no MCP routing defect is claimed.
Verified workarounds preserve the intended results. For the bundle, use its real path or
--provider auto; both returned a native overview with the same executable digest. For the JavaScript directory, useanalyze-javascript-application, which parsed both source files without renaming the input.REA version
6.7.0; source commit
074768901f3cdc8205b61773fb1faf6f6c7b3ca8.Runtime and platform
Node.js v26.12.0; macOS 27.0.1 arm64; built source-checkout CLI. Native controls reported Hopper as their upstream provider. NOT_ENOUGH_INFO: the verifier did not record the exact Hopper version.
Target and artifact context
A copied Digital Color Meter application, with
Contents/Info.plistand a universal Mach-O executable, selected arm64 for native analysis. Its symlink alias lacks the.appsuffix. Two identical JavaScript directories contain a package manifest and two CommonJS files; neither contains application-bundle metadata.Interface
CLI
Earliest failure stage
Request parsing or validation
Relevant output or evidence
The independent verifier captured these reduced built-CLI results. Statistics come from
normalized_result.statistics.The verifier asserted equality of the native subjects, including executable digest, and equality of the JavaScript artifact digests. The failing alias result retained the selected alias in
parameters.input_pathand used the resolved bundle as its subject identity.Typed outcome or recovery expected
analyze bundle-aliasshould returnbinary_overviewfor the same executable digest, format, and architecture as the real-path control.analyze web.appshould return static JavaScript Evidence with two parsed files, matching the dedicated command and identical plain directory. Preserve applicable caller-selected input facts and documented provider/snapshot overrides.Analysis or suspected cause
Source-derived reasoning:
src/cli/coreBinaryCommands.ts:79-133reachesroutesToJavaScriptAnalysisandisJavaScriptApplicationPathat lines 217-247. The predicate checks the caller's.appsuffix beforestatfollows the symlink. This classifies the alias as an ordinary directory and the plain JavaScript.appdirectory as a bundle. Native admission subsequently resolves the canonical path insrc/application/BinaryTargetResolver.ts:87-98and checks bundle metadata throughsrc/application/AppBundleExecutable.ts:60-90.The upstream re-check found the same predicate on
origin/mainat080c0e2b2b82a7d9394b59d3d86630d9d85346a5. Later changes to the cited files concern output filters, IL2CPP, and Mach-O headers, rather than this routing decision. This is a source comparison; the runtime reproduction above is on the stated baseline.Additional context
This report was prepared with AI assistance and independently reproduced. It combines the complementary outcomes of one artifact-classification decision.
Related closed report #3321 and merged PR #3511 covered trailing
/and/.spellings. Their suffix normalization remains present; the alias and non-bundle.appcases here remain outside that fix. Closed report #5258 concerned preserving selected paths in JavaScript Evidence, rather than choosing the analysis workflow.@matbrgz commented on GitHub (Oct 20, 2026):
Cross-referencing with canonical issue #5589 (
[Bug] Resource inspection rejects app bundles without CFBundleExecutable). Both address macOS application bundle resolution, workflow routing, and distinguishing genuine.apppackages from JavaScript folders or non-executable bundles inrea analyze. Cataloged under Cluster BG in consolidation tracker #4330.@coygeek commented on GitHub (Oct 20, 2026):
Another trigger for this routing contract is a regular ASAR file selected through an
.appsymlink:alias.app -> app.asar. It is not a bundle directory. Genericanalyzeenters native provider selection and fails, while the real ASAR path and the dedicated JavaScript command both succeed.Reproduced through the built CLI on REA 6.7.0 at
9d8e7803326a382cbbb3ffdb900f5e93e5442d68, Node.js v26.12.0, macOS 27.0.1 arm64. The submitter reran all three commands once. A fetch and source comparison againstorigin/mainat52c84f6f58fa3cc7b39326654c6d3f261f957957found no changes to the cited routing files or contract documentation. This main check is a source comparison, not a runtime run on that revision.Run from the source-checkout root with locked dependencies and the CLI already built:
Observed results:
analyze app.asar: exit 0,operation=analyze_javascript_application,subject.format=asar, three relevant files and two parsed JavaScript files.analyze alias.app: exit 1,code=capability_unavailable,category=unsupported_provider,details.operation=read_binary_inventory_summary,details.selection_reason=target_unsupported.analyze-javascript-application alias.app: exit 0. Assertions confirmed that its entiresubjectandnormalized_resultequal the real-path generic result, with the alias retained inparameters.input_path.No routing overrides were supplied, and no target application or deep provider was launched. Both successful commands provide workarounds for this fixture.
Source-derived reasoning:
src/cli/coreBinaryCommands.ts:235-247tests the selected.asar/.appspelling before resolving the artifact. The resolved ASAR therefore reaches native admission after the alias fails the.asarcheck. The static ASAR route and selected-versus-resolved identity contract are documented indocs/javascript-artifact-reconstruction.md:23-27,53-58.Please include this regular-file case in the restoration checks for #5595. Generic analysis through the alias should return the same static JavaScript subject and normalized result as the real ASAR path while retaining the selected alias. Open PR #5602 addresses directory classification; its current diff still checks the selected
.asarsuffix and rejects other regular files before bundle inspection. That is a source observation, not a runtime test of the PR. Prepared with AI assistance; the draft also had independent runtime verification.@coygeek commented on GitHub (Oct 24, 2026):
Checked the reported fix on
mainatd87e73f2db.The generic router now realpaths the caller selection before testing ASAR type and checks bundle metadata for directories instead of using the caller .app suffix. A bundle alias enters native admission, a JS-only web.app remains static, and alias.app pointing to canonical app.asar passes the canonical ASAR check. The regression covers bundle path spellings/symlink alias and plain JS .app, requiring native admission for the former and static success for the latter.
Implementation: coreBinaryCommands.ts, analyzeAppBundlePathCli.test.ts.
The relevant regression checks in analyzeAppBundlePathCli.test.ts passed in the focused test run on this revision. This closure is based on the current source and those checks; provider fixtures do not establish a real-engine run. Closing as completed on main.