[PR #705] [MERGED] fix: integrate 14 approved fix PRs (668,671,673,675,678-681,685-690) #2185

New issue

Closed

opened 2026-10-16 21:15:24 +00:00 by bsakaguchi · 0 comments

bsakaguchi commented

2026-10-16 21:15:24 +00:00

Owner

📋 Pull Request Information

Original PR: https://github.com/morluto/rea/pull/705
Author: @morluto
Created: 10/6/2026
Status: ✅ Merged
Merged: 10/6/2026
Merged by: @morluto

Base: main ← Head: integrate/fix-batch-20261006

📝 Commits (10+)

3e4312c fix(javascript): preserve array index positions
b9ecf07 fix(javascript): respect object property overwrite order
6dde5cd test(javascript): cover uncertain spread discriminants
5385377 fix(javascript): keep nonfinite values outside JSON lattice
4bff487 fix(dotnet): keep non-CIL method implementations unknown
39eeab2 test(package): separate CIL reconstruction from native imports
1eafe75 fix(javascript): invalidate values on nontrivial binding writes
c472f1d fix(artifacts): align native DMG mount and detach lifecycle
ad28548 fix(browser): retain all literal worker import arguments
f1afc84 fix(native): preserve final demangled symbol whitespace

📊 Changes

32 files changed (+793 additions, -69 deletions)

View changed files

📝 docs/managed-code-analysis.md (+8 -0)
📝 docs/product-catalog.json (+3 -3)
📝 docs/verification/managed-conformance-manifest.json (+2 -2)
📝 scripts/verify-package-managed.mjs (+6 -1)
📝 skills/reverse-engineer-anything/SKILL.md (+6 -7)
📝 src/artifacts/NativeDmgArtifactReader.ts (+17 -4)
📝 src/browser/WebSourceMapFetcher.ts (+10 -1)
📝 src/domain/javascriptSemanticAnalysis.dataflow.test.ts (+183 -0)
📝 src/domain/javascriptSemanticAnalysis.ts (+40 -4)
📝 src/domain/javascriptSemanticPrimitives.ts (+9 -1)
📝 src/domain/javascriptSemanticValues.ts (+51 -14)
📝 src/domain/managedMemberComparison.ts (+1 -0)
📝 src/domain/managedMemberComparisonItems.ts (+2 -0)
📝 src/domain/managedNativeVerificationMatch.ts (+6 -5)
📝 src/domain/webBundleAnalyzer.test.ts (+46 -0)
📝 src/domain/webBundleAnalyzerAst.ts (+13 -4)
📝 src/domain/webBundleAnalyzerInspection.ts (+11 -14)
📝 src/dotnet/ManagedMemberInspector.test.ts (+36 -0)
📝 src/dotnet/ManagedMemberRows.ts (+1 -1)
📝 src/dotnet/ManagedMethodBodyReader.ts (+15 -1)

...and 12 more files

📄 Description

Integrates 14 individually approved fix PRs that conflicted as direct squash merges (shared test-file anchors). Each original commit is cherry-picked verbatim; conflict resolutions are additive only (kept both sides' test blocks); generated catalogs/manifests redone via npm run docs:generate.

Includes: #668 array indices, #671 object overwrite order, #673 nonfinite JSON lattice, #675 non-CIL bodies, #678 binding-write invalidation, #679 DMG lifecycle, #680 worker import args, #681 demangle whitespace, #685 Mach-O ABI underscores, #686 web metadata keys, #687 optional-param inputs, #688 method metadata dimension, #689 indexed map offsets, #690 numeric Mach-O names.

Verification: check:fast clean, focused domain+boundary suites green (81+63 tests), docs:generate clean.

Excludes: #699 (changes requested), #701/#702 (unreviewed), #635 (release). Original PRs should be closed after this merges.

_{🔄 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/705 **Author:** [@morluto](https://github.com/morluto) **Created:** 10/6/2026 **Status:** ✅ Merged **Merged:** 10/6/2026 **Merged by:** [@morluto](https://github.com/morluto) **Base:** `main` ← **Head:** `integrate/fix-batch-20261006` --- ### 📝 Commits (10+) - [`3e4312c`](https://github.com/morluto/rea/commit/3e4312cc8020f3edcae8cf84b1320fcb2f7bcf59) fix(javascript): preserve array index positions - [`b9ecf07`](https://github.com/morluto/rea/commit/b9ecf07e8ad130b05e45cbbf3d48a0cd85509910) fix(javascript): respect object property overwrite order - [`6dde5cd`](https://github.com/morluto/rea/commit/6dde5cda2872d86fcb3ebdb233230fbad2c8229c) test(javascript): cover uncertain spread discriminants - [`5385377`](https://github.com/morluto/rea/commit/53853773c5e3a9f8b4fb4505b7207a2098446cc1) fix(javascript): keep nonfinite values outside JSON lattice - [`4bff487`](https://github.com/morluto/rea/commit/4bff4879f44b0f62302e6d6a610b86590f17e47c) fix(dotnet): keep non-CIL method implementations unknown - [`39eeab2`](https://github.com/morluto/rea/commit/39eeab2d41aa0bae55c94390717afd57cf48c731) test(package): separate CIL reconstruction from native imports - [`1eafe75`](https://github.com/morluto/rea/commit/1eafe75f7b495aa2f47147309da3f0751f6e6746) fix(javascript): invalidate values on nontrivial binding writes - [`c472f1d`](https://github.com/morluto/rea/commit/c472f1de56e018b8b04987c5b8c9ca23a78b333d) fix(artifacts): align native DMG mount and detach lifecycle - [`ad28548`](https://github.com/morluto/rea/commit/ad2854836eb6dca400c8e1a6cbd8de9fbf87bcf0) fix(browser): retain all literal worker import arguments - [`f1afc84`](https://github.com/morluto/rea/commit/f1afc84f6320f6aee973274053c7d7bf7263f5f8) fix(native): preserve final demangled symbol whitespace ### 📊 Changes **32 files changed** (+793 additions, -69 deletions) <details> <summary>View changed files</summary> 📝 `docs/managed-code-analysis.md` (+8 -0) 📝 `docs/product-catalog.json` (+3 -3) 📝 `docs/verification/managed-conformance-manifest.json` (+2 -2) 📝 `scripts/verify-package-managed.mjs` (+6 -1) 📝 `skills/reverse-engineer-anything/SKILL.md` (+6 -7) 📝 `src/artifacts/NativeDmgArtifactReader.ts` (+17 -4) 📝 `src/browser/WebSourceMapFetcher.ts` (+10 -1) 📝 `src/domain/javascriptSemanticAnalysis.dataflow.test.ts` (+183 -0) 📝 `src/domain/javascriptSemanticAnalysis.ts` (+40 -4) 📝 `src/domain/javascriptSemanticPrimitives.ts` (+9 -1) 📝 `src/domain/javascriptSemanticValues.ts` (+51 -14) 📝 `src/domain/managedMemberComparison.ts` (+1 -0) 📝 `src/domain/managedMemberComparisonItems.ts` (+2 -0) 📝 `src/domain/managedNativeVerificationMatch.ts` (+6 -5) 📝 `src/domain/webBundleAnalyzer.test.ts` (+46 -0) 📝 `src/domain/webBundleAnalyzerAst.ts` (+13 -4) 📝 `src/domain/webBundleAnalyzerInspection.ts` (+11 -14) 📝 `src/dotnet/ManagedMemberInspector.test.ts` (+36 -0) 📝 `src/dotnet/ManagedMemberRows.ts` (+1 -1) 📝 `src/dotnet/ManagedMethodBodyReader.ts` (+15 -1) _...and 12 more files_ </details> ### 📄 Description Integrates 14 individually approved fix PRs that conflicted as direct squash merges (shared test-file anchors). Each original commit is cherry-picked verbatim; conflict resolutions are additive only (kept both sides' test blocks); generated catalogs/manifests redone via npm run docs:generate. Includes: #668 array indices, #671 object overwrite order, #673 nonfinite JSON lattice, #675 non-CIL bodies, #678 binding-write invalidation, #679 DMG lifecycle, #680 worker import args, #681 demangle whitespace, #685 Mach-O ABI underscores, #686 web metadata keys, #687 optional-param inputs, #688 method metadata dimension, #689 indexed map offsets, #690 numeric Mach-O names. Verification: check:fast clean, focused domain+boundary suites green (81+63 tests), docs:generate clean. Excludes: #699 (changes requested), #701/#702 (unreviewed), #635 (release). Original PRs should be closed after this merges. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

bsakaguchi

2026-10-16 21:15:24 +00:00