Coordinate with #54 to run the real-Hopper verifier for analyze_function dossiers: pseudocode, assembly, typed callers/callees, incoming/outgoing references, referenced strings/names, procedure-wide comments, and CFG successors.
Acceptance:
- No field fabricates empty results for unsupported capabilities.
- Collections report total/returned/truncated/continuation.
- Real-Hopper fixtures prove non-empty reference, string, call-edge, comment, and CFG-successor cases.
Part of #31. Depends on #54.
Coordinate with #54 to run the real-Hopper verifier for
analyze_functiondossiers: pseudocode, assembly, typed callers/callees, incoming/outgoing references, referenced strings/names, procedure-wide comments, and CFG successors.Acceptance:
Part of #31. Depends on #54.