[GH-ISSUE #25] Build a multi-binary Hopper conformance and fidelity suite #10

New issue

Open

opened 2026-10-15 18:19:52 +00:00 by bsakaguchi · 2 comments

bsakaguchi commented

2026-10-15 18:19:52 +00:00

Owner

Originally created by @morluto on GitHub (Jul 12, 2026).
Original GitHub issue: https://github.com/morluto/rea/issues/25

Fixtures

Build from committed source: C with known calls/strings/globals/CFG; Objective-C metadata; Swift types; a small N-API addon; two versions for comparison; and a large binary exceeding page limits.

Verification

Prove imports, exports, sections, strings, totals, pagination, references, CFG edges, metadata, decompilation, hashes, differences, cancellation, timeout, and shutdown.

Acceptance criteria

No committed fixture binaries.
Real results are checked semantically.
Empty, unavailable, or embedded errors cannot satisfy coverage.

Roadmap expansion

Child work

Assertions must prove exact calls, references, strings, metadata, CFG edges, pagination, version differences, cancellation, timeout, mutation readback, owned shutdown, and evidence integrity. Embedded errors, unavailable values, truncation, and shape-only results cannot satisfy a positive claim.

Originally created by @morluto on GitHub (Jul 12, 2026). Original GitHub issue: https://github.com/morluto/rea/issues/25 ## Fixtures Build from committed source: C with known calls/strings/globals/CFG; Objective-C metadata; Swift types; a small N-API addon; two versions for comparison; and a large binary exceeding page limits. ## Verification Prove imports, exports, sections, strings, totals, pagination, references, CFG edges, metadata, decompilation, hashes, differences, cancellation, timeout, and shutdown. ## Acceptance criteria - No committed fixture binaries. - Real results are checked semantically. - Empty, unavailable, or embedded errors cannot satisfy coverage. ## Roadmap expansion ### Child work - [ ] #55 - [x] #62 Assertions must prove exact calls, references, strings, metadata, CFG edges, pagination, version differences, cancellation, timeout, mutation readback, owned shutdown, and evidence integrity. Embedded errors, unavailable values, truncation, and shape-only results cannot satisfy a positive claim.

bsakaguchi added the

labels

2026-10-15 18:19:52 +00:00

bsakaguchi commented

2026-10-15 18:19:53 +00:00

Author

Owner

@morluto commented on GitHub (Jul 17, 2026):

Current main contains source-built C, Objective-C, Swift, N-API, version-pair, and generated-large fixtures plus real-Hopper verifier infrastructure. This remains open as an operational fidelity gate until the outstanding real-Hopper semantic, cancellation/timeout, mutation/readback, and related fixture proof is recorded.

@morluto commented on GitHub (Jul 17, 2026): Current main contains source-built C, Objective-C, Swift, N-API, version-pair, and generated-large fixtures plus real-Hopper verifier infrastructure. This remains open as an operational fidelity gate until the outstanding real-Hopper semantic, cancellation/timeout, mutation/readback, and related fixture proof is recorded.

bsakaguchi commented

2026-10-15 18:19:53 +00:00

Author

Owner

@morluto commented on GitHub (Jul 20, 2026):

Split into focused child issues:

#339
#340

These replace the broad remaining scope in this issue. Closing this parent can happen once all children are closed.

@morluto commented on GitHub (Jul 20, 2026): Split into focused child issues: - [ ] #339 - [ ] #340 These replace the broad remaining scope in this issue. Closing this parent can happen once all children are closed.

bsakaguchi referenced this issue

2026-10-15 18:25:27 +00:00

[GH-ISSUE #1389] [Design] Add rsleigh as a headless static-analysis provider candidate #483

bsakaguchi referenced this issue

2026-10-15 18:28:29 +00:00

[GH-ISSUE #2383] [Tracker] Audit analysis and debugging coverage for the TIOBE top 100 languages (October 2026) #794

bsakaguchi referenced this issue

2026-10-15 18:28:32 +00:00

[GH-ISSUE #2383] [Tracker] Audit analysis and debugging coverage for the TIOBE top 100 languages (October 2026) #794

bsakaguchi referenced this issue

2026-10-16 21:11:14 +00:00

[PR #10] [MERGED] chore(main): release rea 0.2.0 #1807