Repository navigation

T-4.12: model extdeps/languages/llvm_ir.dag — LLVM IR LanguageModel (B2-OMNI probe PASS) - #3171

Merged

briansrls merged 35 commits into

mainfrom

session/snappy-badger-570

May 16, 2026

Merged

T-4.12: model extdeps/languages/llvm_ir.dag — LLVM IR LanguageModel (B2-OMNI probe PASS)#3171
briansrls merged 35 commits into
mainfrom
session/snappy-badger-570

Commits on May 16, 2026
- WIP: T-4.12 llvm_ir
  briansrls
  committed
  6a4f974
- WIP: T-4.12 llvm_ir
  briansrls
  committed
  626fd9d
- T-4.12: model extdeps/languages/llvm_ir.dag — LLVM IR LanguageModel (B2-OMNI probe PASS)
  
  briansrls
  and
  claude
  committed
  352f35e
- T-4.12: track raw-Int width + carrier-precision as 🟡 scaffolds (codex BLOCKING)
  
  briansrls
  and
  claude
  committed
  07c4c1c
- T-4.12: DEFER per-file inhabitance to operator-pending D2 STOP (correction)
  
  briansrls
  and
  claude
  committed
  835cd40
- Merge remote-tracking branch 'origin/main' into session/snappy-badger-570
  briansrls
  committed
  4b8742c
- T-4.12: import only { Symbol } (precise; align to verified declarative shape)
  
  briansrls
  and
  claude
  committed
  74d6b97
- T-4.12: reframe inhabitance as OWNED-ELSEWHERE/P2 deferral (T-4 mgr ruling)
  
  briansrls
  and
  claude
  committed
  a9757b2
- WIP: T-4.12 llvm_ir
  briansrls
  committed
  1a219e4
- T-4.12: address fresh codex BLOCKING(7) @a9757b2b (3 substantive root causes)
  
  briansrls
  and
  claude
  committed
  933f373
- T-4.12: spec-faithfulness — complete AtomicRmwOp + correct ConstExprOpcode for LLVM 18
  
  briansrls
  and
  claude
  committed
  70f1744
- T-4.12: FunctionBody.Defined entry/rest split — entry-less definition unrepresentable (P2)
  
  briansrls
  and
  claude
  committed
  af83493
- WIP: T-4.12 llvm_ir
  briansrls
  committed
  92996ec
- T-4.12: per-operation atomic-ordering subset enums — invalid (op,ordering) unrepresentable (P2)
  
  briansrls
  and
  claude
  committed
  021aa3c
- T-4.12: C5 FidelityDisposition → machine-consumable data (closed FidelityFeature + projection)
  
  briansrls
  and
  claude
  committed
  a66e4a7
- WIP: T-4.12 llvm_ir
  briansrls
  committed
  edeedcc
- T-4.12: UnwindDest — model `unwind to caller` for catchswitch/cleanupret (P1/M3)
  
  briansrls
  and
  claude
  committed
  e38a7c5
- WIP: T-4.12 llvm_ir
  briansrls
  committed
  0c2cbb3
- T-4.12: revert SSA carrier to name-reference — finite, cyclic-capable, A1-faithful
  
  briansrls
  and
  claude
  committed
  eaf591c
- T-4.12: CallResult void/value split — void call/invoke result unrepresentable (P2)
  
  briansrls
  and
  claude
  committed
  e82a200
- T-4.12: correct ConstExprOpcode over-narrowing (self-introduced inverse-error)
  
  briansrls
  and
  claude
  committed
  438aed6
- WIP: T-4.12 llvm_ir
  briansrls
  committed
  9e5044e
- T-4.12: FidelityFeature exhaustive over FailClosed boundaries (P2/P3)
  
  briansrls
  and
  claude
  committed
  b15c443
- T-4.12: comment hygiene — strip review/task/commit archaeology (CODING.md)
  
  briansrls
  and
  claude
  committed
  525a4fa
- Merge remote-tracking branch 'origin/main' into session/snappy-badger-570
  briansrls
  committed
  9364f15
- Merge remote-tracking branch 'origin/main' into session/snappy-badger-570
  briansrls
  committed
  5806460
- Merge remote-tracking branch 'origin/main' into session/snappy-badger-570
  briansrls
  committed
  71a2987
- Merge remote-tracking branch 'origin/main' into session/snappy-badger-570
  briansrls
  committed
  fa22b24
- Merge remote-tracking branch 'origin/main' into session/snappy-badger-570
  briansrls
  committed
  7aeaeca
- Merge remote-tracking branch 'origin/main' into session/snappy-badger-570
  briansrls
  committed
  b44b740
- T-4.12: CallBr result: CallResult — value-producing callbr representable (P1/P2)
  
  briansrls
  and
  claude
  committed
  72242cb
- T-4.12: CatchSwitch token result (#2) + D3-checked catchswitch-block invariant (#3)
  
  briansrls
  and
  claude
  committed
  d4f57e5
- Merge remote-tracking branch 'origin/main' into session/snappy-badger-570
  briansrls
  committed
  66e69d9
- Merge remote-tracking branch 'origin/main' into session/snappy-badger-570
  briansrls
  committed
  9ce0646
- Merge remote-tracking branch 'origin/main' into session/snappy-badger-570
  briansrls
  committed
  2c5f005

Commits

Commits on May 16, 2026