feat(sdk+wfctl): contract-diff extension for verify-capabilities (workflow#767)#773

Merged

intel352 merged 16 commits into

mainfrom

feat/767-contract-diff

May 24, 2026

Commits on May 24, 2026

docs(plan): verify-capabilities contract-diff extension design (workflow#767)
intel352
committed
docs(plan): #767 design cycle 2 (fix wrong namespace + cite existing helpers)
intel352
committed
docs(plan): #767 design cycle 3 (fold cycle-2 IMPORTANT amendments)
intel352
committed
docs(plan): #767 contract-diff implementation plan
intel352
committed
docs(plan): #767 design cycle 4 (replan against actual shipped #765 inline-spawn pattern)
intel352
committed
docs(plan): #767 design cycle 4 inline amendments (Option A per reviewer)
intel352
committed
docs(plan): #767 implementation plan (post-#765-shipped, direct pbClient pattern)
intel352
committed
docs(plan): #767 plan cycle 2 — fix 2 critical + 2 important + 3 minor from adversarial cycle 1
intel352
committed
docs(plan): #767 plan cycle 3 — fix 2 critical from adversarial cycle 2
intel352
committed
docs(adr): 0042 — verify-capabilities IaC namespace derivation; cite from design + plan
intel352
committed
chore: lock scope for #767 contract-diff (alignment passed)
intel352
committed
feat(plugin): add IaCServices manifest field with nested-promotion (workflow#767 Task 1)
intel352
committed
feat(sdk): BuildContractRegistryForPlugin namespace-filtering helper (workflow#767 Task 2)
intel352
committed
feat(sdk): IaC bridge GetContractRegistry filters infra services (workflow#767 Task 3)
intel352
committed
feat(wfctl): verify-capabilities contract-diff (directional FAIL/WARN) (workflow#767 Task 4)
intel352
committed
test(wfctl): 3 IaC integration fixture scenarios (workflow#767 Task 5)
intel352
committed