Repository navigation

Replace the credential citation with the import edge it was standing in for - #9453

Merged

briansrls merged 13 commits into

mainfrom

session/nimble-wren-829

Aug 28, 2026

Merged

Replace the credential citation with the import edge it was standing in for#9453
briansrls merged 13 commits into
mainfrom
session/nimble-wren-829

Commits on Aug 27, 2026
- Replace the credential citation with the import edge it was standing in for
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  80e15e4
- wip: author the rest of the carrier's edges
  gunbc-ci-auto-heal
  committed
  baffd58
- Address review 56750: de-duplicate the witness match, make the strategy match exhaustive
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a0d7033
- Delete the strategy predicate too: it had the property I deleted the others for
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  377b19f
- Merge remote-tracking branch 'origin/main' into session/nimble-wren-829
  gunbc-ci-auto-heal
  committed
  f68bb3b
- Attach the witness annotation to its declaration
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ee92b8e
- Restore the live-write scaffold disposition my predicate deletion swallowed
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2fe823a
- Rebuild DESIGN.md as main's projection plus this change's paragraph
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  49271ac
- The witness that EXECUTES against gunbc.auth.credentials records its edge too
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2d0f8c2
Commits on Aug 28, 2026
- Merge remote-tracking branch 'origin/main' into session/nimble-wren-829
  gunbc-ci-auto-heal
  committed
  b2b4f56
- Merge remote-tracking branch 'origin/main' into session/nimble-wren-829
  gunbc-ci-auto-heal
  committed
  3f97fb4
- The witness I said EXECUTES does not execute, and the annotation now says so first
  gunbc-ci-auto-heal
  committed
  5070c76
- The Unimplemented receipt was measured before the import edge existed, so it described a module this file no longer is
  gunbc-ci-auto-heal
  committed
  61ef504

Commits

Commits on Aug 27, 2026

Commits on Aug 28, 2026