Spec Liveness Check

feat(spec): `adr-0030-notification-event` joins `CREATION_ATTESTED_MIGRATION_IDS`; its docblock states the ledger-claim matrix (#15710 ruling) #13589

Sign in to view logs

Triggered via pull request September 5, 2026 23:20

claude[bot]

opened #16068

claude/issue-15710-notification-event-migration-ledger-claims

Status Success

Total duration 53s

Artifacts –

spec-liveness-check.yml

on: pull_request

Spec property liveness