Repository navigation

[AUTOMATED] Add experimental C++ type graphs and scoped native provenance - #103

Closed

sjkim1127 wants to merge 24 commits into

Noelo-Lab:mainfrom

sjkim1127:codex/cpp-type-policy

Closed

[AUTOMATED] Add experimental C++ type graphs and scoped native provenance#103
sjkim1127 wants to merge 24 commits into
Noelo-Lab:mainfrom
sjkim1127:codex/cpp-type-policy

Commits on Sep 17, 2026
- Key decompilation results by DWARF address, not short name
  
  sjkim1127
  and
  claude
  committed
  3e564f7
- Add C++ function identity regression tests
  
  sjkim1127
  and
  claude
  committed
  b5ac906
- Make the artifact identity contract hold on the way back in
  
  sjkim1127
  and
  claude
  committed
  6bbac5c
Commits on Sep 28, 2026
- Merge main into C++ identity PR
  sjkim1127
  committed
  d9361f4
Commits on Oct 12, 2026
- Fix DWARF reference forms in type ground truth
  sjkim1127
  committed
  aa305e0
- Align type-match cache generation assertion
  sjkim1127
  committed
  8eeceb8
Commits on Oct 13, 2026
Commits on Oct 18, 2026
Commits on Oct 19, 2026
- [AUTOMATED] Add bounded C++ producer-output inspection
  sjkim1127
  committed
  12a199c
- [AUTOMATED] Guard C++ oracle reuse and document qualification gates
  sjkim1127
  committed
  ad8ceaf
Commits on Oct 22, 2026
- [AUTOMATED] Preserve all first-PC PDB source locations for exact CFG joins
  sjkim1127
  committed
  81efc86
- [AUTOMATED] Classify erroneous source definitions before identity diagnostics
  sjkim1127
  committed
  5d3dfb6