Repository navigation

docs(briefs): author T-Ground-Diagnostic lane brief - #1216

Merged

briansrls merged 18 commits into

mainfrom

session/nimble-pike-489

Apr 29, 2026

Merged

docs(briefs): author T-Ground-Diagnostic lane brief#1216
briansrls merged 18 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

Commits

Commits on Apr 29, 2026