48f108a58a
* docs: align resolution architecture and roadmap * docs: add language ingestion gap inventories * test: audit receiver gap targets and coverage Check exact declaration IDs, expose the Dart await wrong-owner edge, and execute previously excluded C++, Rust, PHP, Dart and Vue shapes. Refresh the baseline and all language inventories from fresh measurements; call-drop counts remain unchanged. * docs: focus roadmap and shorten project README Keep the resolution roadmap limited to future work and acceptance criteria. Move detailed editor, CLI, MCP, deployment and wiki instructions into linked guides, preserve their command examples, and correct stale onboarding claims. * docs: correct setup and audit descriptions --------- Co-authored-by: Gergo Magyar <gergomagyar0@gmail.com>
3.9 KiB
Objective-C Ingestion Gaps
Audited on 2026-10-23 with freshly built production sources at c35806d24 and
the accompanying benchmark changes. See the measurement audit
for commands, target checks, exclusions and test limits. Historical reports below
remain separate from freshly measured receiver cases; broader ingestion is not
exhaustively assessed.
Receiver shape snapshot
States below come from baseline.json. The harness defines each spelling and its N/A reason. RESOLVES requires the exact expected declaration ID and no same-named call to a different owner. WRONG-TARGET records incorrect edges.
No row exists in the checked-in receiver shape arm. Add a measurement contract before comparing this language with measured rows.
Objective-C is registered but has no row in this receiver benchmark. Its dedicated provider guide documents implemented static message sends, selectors, imports, categories and incremental checks. Runtime dispatch remains deliberately conservative.
Planning candidates
| ID | Evidence | Gap or boundary | Next planning step and acceptance |
|---|---|---|---|
| OBJECTIVE-C-01 | Coverage gap | No shape-arm measurements exist for Objective-C. | Define message-send cases for typed locals, self/super, class methods and protocol receivers. Assert full selectors and owners; include category collisions and unknown id receivers as negatives. |
| OBJECTIVE-C-02 | Documented boundary | Objective-C++ .mm uses the Objective-C grammar path; deep C++ semantics are outside the MVP. |
Inventory a minimal mixed-language example before choosing a provider contract. Preserve shared .h classification and incremental/full-rebuild parity. |
| OBJECTIVE-C-03 | Deliberate limit | Swizzling, dynamic selectors, arbitrary macro expansion and id-flow inference are not resolved as certain calls. | Keep unresolved/candidate evidence explicit. Any future slice needs a statically justified target rather than a guessed runtime winner. |
Code and regression entry points
- Language provider directory.
- Scope resolver.
- objective-c-provider.test.ts.
- objective-c-provider.test.ts.
- objective-c-pipeline-benchmark.test.ts.
Evidence details: receiver baseline notes and current roadmap.
Additional validation
The focused provider suite passed its static ingestion checks. One persisted query/context and incremental-versus-force test timed out at 180 seconds in the combined run and passed on an isolated retry, as recorded in the audit receipt. This is separate from the absent receiver shape row.