[PR #6511] [MERGED] feat(apple): inspect IPS crash reports #7374

New issue

Closed

opened 2026-11-01 21:47:24 +00:00 by bsakaguchi · 0 comments

bsakaguchi commented

2026-11-01 21:47:24 +00:00

Owner

📋 Pull Request Information

Original PR: https://github.com/morluto/rea/pull/6511
Author: @mvanhorn
Created: 10/23/2026
Status: ✅ Merged
Merged: 10/24/2026
Merged by: @gensokyo-dev

Base: main ← Head: feat/apple-ips

📝 Commits (10+)

7e7eefe feat(apple): inspect IPS crash reports
c3554c6 fix(apple): keep IPS register literals exact
80ad2a0 fix(apple): budget IPS parsing and keep typed presence
a81b693 fix(apple): bound integer text expansion and reconcile coverage
130e457 chore: integrate main and shared IPS artifact ownership
c608dea refactor(apple): retain image metadata at its owning row
54ebac6 refactor(apple): validate row capacity through reconciled coverage
135cab1 test(apple): verify resource recovery at the public error boundary
5898e4f docs(apple): record complete IPS task and corpus measurements
02bacf7 chore: integrate current main for IPS final verification

📊 Changes

61 files changed (+4520 additions, -2 deletions)

View changed files

📝 .agents/skills/reverse-engineer-anything/SKILL.md (+8 -0)
📝 .agents/skills/reverse-engineer-anything/references/native-and-artifacts.md (+12 -0)
📝 README.md (+1 -0)
📝 docs/.vitepress/config.ts (+1 -0)
➕ docs/apple-ips.md (+105 -0)
📝 docs/cli.md (+11 -0)
📝 docs/index.md (+1 -1)
📝 docs/readme/README_ar.md (+1 -0)
📝 docs/readme/README_de.md (+1 -0)
📝 docs/readme/README_el.md (+1 -0)
📝 docs/readme/README_es.md (+1 -0)
📝 docs/readme/README_fa.md (+1 -0)
📝 docs/readme/README_fr.md (+1 -0)
📝 docs/readme/README_id.md (+1 -0)
📝 docs/readme/README_it.md (+1 -0)
📝 docs/readme/README_ja.md (+1 -0)
📝 docs/readme/README_ko.md (+1 -0)
📝 docs/readme/README_ml.md (+1 -0)
📝 docs/readme/README_pl.md (+1 -0)
📝 docs/readme/README_pt-BR.md (+1 -0)

...and 41 more files

📄 Description

Adds inspect_apple_ips / inspect-apple-ips for a selected local Apple crash JSON file (bug_type: "309"), returning process/exception/termination/frame/image/register facts, lossless integers, classification evidence and explicit coverage. No target execution or symbolication occurs.

The parser projects selected members and admits row/integer-text costs before expansion. Frames reference image facts retained once; malformed UUIDs and rejected integer lookups retain their source spelling. Recorded indexes remain separate from resolved references, and each frame keeps its own recorded offset. Follow-up review fixes preserve original JSON text, accept only JSON whitespace, require unresolved faulting-thread diagnostics at the shared service boundary, and advertise consistent classified/nonempty and unclassified/empty schema variants.

Validation: all 216 selected producer/service/filesystem/CLI/actual-stdio-MCP/consumer checks pass after integrating main 98ec00f4068bab894639d0d1d83ac0bfc428bcbf, plus check:fast, complete format:check and docs:check. Nineteen new consistency/admission controls fail before correction; actual SDK/Ajv checks validate both classification alternatives and reject contradictions. Existing coverage includes a 7,500,000-escape file under a selected 256 MiB heap. Two pinned public crash files pass actual SDK/oracle validation; live OS capture, dSYM joins and symbolication remain unqualified.

Earlier completed tasks preserve full Evidence/IDs and document large image-metadata savings and a case-specific escaped-string CPU/memory improvement. Those pins are retained; no token or speed reduction is claimed for the final consistency correction or its expanded output schema. Exact measurements, failed attempts, CI attribution and verification gaps: report. No skipped/cancelled job counts as passing. Existing human-readiness declarations are preserved below.

Author readiness

Human owner: @mvanhorn

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.

_{🔄 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/6511 **Author:** [@mvanhorn](https://github.com/mvanhorn) **Created:** 10/23/2026 **Status:** ✅ Merged **Merged:** 10/24/2026 **Merged by:** [@gensokyo-dev](https://github.com/gensokyo-dev) **Base:** `main` ← **Head:** `feat/apple-ips` --- ### 📝 Commits (10+) - [`7e7eefe`](https://github.com/morluto/rea/commit/7e7eefecdf479a840a3c087c56f193711b3fc91b) feat(apple): inspect IPS crash reports - [`c3554c6`](https://github.com/morluto/rea/commit/c3554c627177dfe626cb59ff1d0de0fb2ca0a97e) fix(apple): keep IPS register literals exact - [`80ad2a0`](https://github.com/morluto/rea/commit/80ad2a02e9c6cbe248d58d78a7a79753bcc09f79) fix(apple): budget IPS parsing and keep typed presence - [`a81b693`](https://github.com/morluto/rea/commit/a81b69319bd58812a2e03a23257f4da65f637fe8) fix(apple): bound integer text expansion and reconcile coverage - [`130e457`](https://github.com/morluto/rea/commit/130e457bad62f6feb9495ce267b186b8b94d0b67) chore: integrate main and shared IPS artifact ownership - [`c608dea`](https://github.com/morluto/rea/commit/c608dea863b6f71aa77cf9b86ae63f189d50547f) refactor(apple): retain image metadata at its owning row - [`54ebac6`](https://github.com/morluto/rea/commit/54ebac6c1df01e2bbf9bf6e512c44e37c665f8eb) refactor(apple): validate row capacity through reconciled coverage - [`135cab1`](https://github.com/morluto/rea/commit/135cab1234c3663e839f5fbea6bf833737cd140a) test(apple): verify resource recovery at the public error boundary - [`5898e4f`](https://github.com/morluto/rea/commit/5898e4f4672fe7d373fb0f4c368608c269e0726d) docs(apple): record complete IPS task and corpus measurements - [`02bacf7`](https://github.com/morluto/rea/commit/02bacf778ad979348ab3aacc3da88ea1351659c3) chore: integrate current main for IPS final verification ### 📊 Changes **61 files changed** (+4520 additions, -2 deletions) <details> <summary>View changed files</summary> 📝 `.agents/skills/reverse-engineer-anything/SKILL.md` (+8 -0) 📝 `.agents/skills/reverse-engineer-anything/references/native-and-artifacts.md` (+12 -0) 📝 `README.md` (+1 -0) 📝 `docs/.vitepress/config.ts` (+1 -0) ➕ `docs/apple-ips.md` (+105 -0) 📝 `docs/cli.md` (+11 -0) 📝 `docs/index.md` (+1 -1) 📝 `docs/readme/README_ar.md` (+1 -0) 📝 `docs/readme/README_de.md` (+1 -0) 📝 `docs/readme/README_el.md` (+1 -0) 📝 `docs/readme/README_es.md` (+1 -0) 📝 `docs/readme/README_fa.md` (+1 -0) 📝 `docs/readme/README_fr.md` (+1 -0) 📝 `docs/readme/README_id.md` (+1 -0) 📝 `docs/readme/README_it.md` (+1 -0) 📝 `docs/readme/README_ja.md` (+1 -0) 📝 `docs/readme/README_ko.md` (+1 -0) 📝 `docs/readme/README_ml.md` (+1 -0) 📝 `docs/readme/README_pl.md` (+1 -0) 📝 `docs/readme/README_pt-BR.md` (+1 -0) _...and 41 more files_ </details> ### 📄 Description Adds `inspect_apple_ips` / `inspect-apple-ips` for a selected local Apple crash JSON file (`bug_type: "309"`), returning process/exception/termination/frame/image/register facts, lossless integers, classification evidence and explicit coverage. No target execution or symbolication occurs. The parser projects selected members and admits row/integer-text costs before expansion. Frames reference image facts retained once; malformed UUIDs and rejected integer lookups retain their source spelling. Recorded indexes remain separate from resolved references, and each frame keeps its own recorded offset. Follow-up review fixes preserve original JSON text, accept only JSON whitespace, require unresolved faulting-thread diagnostics at the shared service boundary, and advertise consistent classified/nonempty and unclassified/empty schema variants. Validation: all 216 selected producer/service/filesystem/CLI/actual-stdio-MCP/consumer checks pass after integrating main `98ec00f4068bab894639d0d1d83ac0bfc428bcbf`, plus check:fast, complete format:check and docs:check. Nineteen new consistency/admission controls fail before correction; actual SDK/Ajv checks validate both classification alternatives and reject contradictions. Existing coverage includes a 7,500,000-escape file under a selected 256 MiB heap. Two pinned public crash files pass actual SDK/oracle validation; live OS capture, dSYM joins and symbolication remain unqualified. Earlier completed tasks preserve full Evidence/IDs and document large image-metadata savings and a case-specific escaped-string CPU/memory improvement. Those pins are retained; no token or speed reduction is claimed for the final consistency correction or its expanded output schema. Exact measurements, failed attempts, CI attribution and verification gaps: [report](docs/verification/apple-ips-2026-10-24.md). No skipped/cancelled job counts as passing. Existing human-readiness declarations are preserved below. ## Author readiness Human owner: @mvanhorn - [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. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

bsakaguchi

2026-11-01 21:47:24 +00:00

closed this issue
added the
pull-request
label

bsakaguchi referenced this issue

2026-11-03 00:29:32 +00:00

[GH-ISSUE #5653] [Tracker] New issue intake by area (October 2026) #3423

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#7374

No description provided.

Rows
Columns