Repository navigation

fix(grounding-lifetime): DeclarationId boundary closes span-path extraction spoof - #1219

Closed

briansrls wants to merge 28 commits into

mainfrom

session/nimble-pike-489

Closed

fix(grounding-lifetime): DeclarationId boundary closes span-path extraction spoof#1219
briansrls wants to merge 28 commits into
mainfrom
session/nimble-pike-489

Commits on Apr 29, 2026
- WIP: nimble-pike-489
  briansrls
  committed
  12bff6f
- WIP: nimble-pike-489
  briansrls
  committed
  8418b20
- chore: apply cargo fmt
  briansrls
  committed
  746273e
- Merge remote-tracking branch 'origin/main' into session/nimble-pike-489
  briansrls
  committed
  b795b28
- Merge remote-tracking branch 'origin/main' into session/nimble-pike-489
  briansrls
  committed
  d1272ed
- WIP: nimble-pike-489
  briansrls
  committed
  6294277
- WIP: nimble-pike-489
  briansrls
  committed
  fc14a34
- WIP: nimble-pike-489
  briansrls
  committed
  e0fde02
- chore: apply cargo fmt
  briansrls
  committed
  4d2405a
- fix(grounding-lifetime): address api-review tidy-ups (PR #1206)
  briansrls
  committed
  9778ec4
- fix(grounding-lifetime): fail-closed growability for borrowed params (PR #1206)
  briansrls
  committed
  43dde23
- fix(grounding-lifetime): require transient proof for opaque param uses (PR #1206)
  briansrls
  committed
  ba8b527
- docs(grounding-lifetime): Practice 4 enum checkpoints (PR #1206)
  briansrls
  committed
  487530c
- Merge remote-tracking branch 'origin/main' into session/nimble-pike-489
  briansrls
  committed
  78207d8
- Merge remote-tracking branch 'origin/main' into session/nimble-pike-489
  briansrls
  committed
  60ff47f
- Merge remote-tracking branch 'origin/main' into session/nimble-pike-489
  briansrls
  committed
  c3025cd
- WIP: nimble-pike-489
  briansrls
  committed
  cead784
- docs(briefs): author T-Ground-Diagnostic lane brief
  briansrls
  committed
  613c5fd
- Merge remote-tracking branch 'origin/main' into session/nimble-pike-489
  briansrls
  committed
  44f0dfc
- WIP: nimble-pike-489
  briansrls
  committed
  5432984
- chore: apply cargo fmt
  briansrls
  committed
  05e4ff3
- WIP: nimble-pike-489
  briansrls
  committed
  a82f46a
- docs(grounding-lifetime): sync program IR rustdoc with extraction C-8 guard
  briansrls
  committed
  c1f61e5
- WIP: nimble-pike-489
  briansrls
  committed
  6f88ab3
- docs(briefs): split UnderRefined acceptance into Example 1 + Example 5
  briansrls
  committed
  3f4aef0
- Merge remote-tracking branch 'origin/main' into session/nimble-pike-489
  briansrls
  committed
  8f547b4
- WIP: nimble-pike-489
  briansrls
  committed
  d61ba01
- fix(grounding-lifetime): tie extraction C-8 to DeclarationId boundary (span-path spoof)
  briansrls
  committed
  1dd8aea

Commits

Commits on Apr 29, 2026