Skip to content

fix(callgraph): resolve class property callables - #131

Open
MikeeI wants to merge 1 commit into
codellm-devkit:mainfrom
MikeeI:fix/issue-013
Open

fix(callgraph): resolve class property callables#131
MikeeI wants to merge 1 commit into
codellm-devkit:mainfrom
MikeeI:fix/issue-013

Conversation

@MikeeI

@MikeeI MikeeI commented Sep 2, 2026

Copy link
Copy Markdown
Contributor

Summary

Include callable class-property initializers in the existing T4c field-source resolution.
Keep multi-source field calls conservative and deterministic.

Evidence

  • Property arrows are materialized as callables but omitted from field-source collection.
  • A direct this.field() call consequently loses its edge to the initializer callable.

Changes

  • Collect supported property and constructor callable sources.
  • Refine body callees only for singleton targets.

Risks and boundaries

  • Dynamic method writes and whole-program points-to remain out of scope.
  • Existing fallback bounds and provenance remain unchanged.

Verification

  • bun test test/anonymous-callables.test.ts
  • bun test
  • bun run typecheck

I checked the relevant issues, comments, pull requests, and discussions; this pull request is not a duplicate.

Disclosure

Investigated thoroughly with GPT-5.6 at extra-high reasoning effort.
I used Oh My Pi as the agent framework.
This report is not generic or unreviewed AI-generated output.
Its claims were checked against the cited evidence.
It includes the relevant detail intended to help maintainers resolve the issue.
If reports like this are not useful to the project, please let me know.
I will refrain from submitting similar reports.
My intent is to help without wasting maintainer time or energy or discouraging their work.
Thank you for your work.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants