[Docs] Add lifecycle verification GAP report and remediation blocks - #1626

Merged

edelauna merged 24 commits into

mainfrom

feature/lifecycle-formal-verification-0ebv6vfh08pal

Sep 19, 2026

Commits on Sep 13, 2026

test(lifecycle): formalize remaining issue protocols
roomote
committed
f4abbde
docs(lifecycle): qualify delegated mode coverage
roomote
committed
fed91bb
docs(lifecycle): classify verification coverage
roomote
committed
70d7ac6
docs(lifecycle): separate open and historical issues
roomote
committed
48644f7
fix(delegation): read task-local mode in getEnvironmentDetails and validateToolUse

edelauna
authored and
roomote
committed
c83d504
test(delegation): cover custom-tool execute context and state fallback

edelauna
authored and
roomote
committed
4909065
Revert "test(delegation): cover custom-tool execute context and state fallback"
roomote
committed
e2531fe
Revert "fix(delegation): read task-local mode in getEnvironmentDetails and validateToolUse"
roomote
committed
b195e8c
docs(lifecycle): make gap audit self-contained
roomote
committed
20aebc4
docs(lifecycle): add exhaustive verification gap report
roomote
committed
8d00b94
docs(lifecycle): audit subtask todo isolation
roomote
committed
378abee
docs(lifecycle): generalize tool state ownership gaps
roomote
committed
63150c6
docs(lifecycle): add remediation portfolio sizing
roomote
committed
7ea3edd
docs(lifecycle): separate fan-out from baseline
roomote
committed
64a0ec8
docs(lifecycle): remove remediation time estimates
roomote
committed
de94fa5
Merge branch 'main' into feature/lifecycle-formal-verification-0ebv6vfh08pal
edelauna
authored
dfd6970
docs(lifecycle): split remediation into one-point blocks
roomote
committed
6b0b839
Merge remote-tracking branch 'origin/feature/lifecycle-formal-verification-0ebv6vfh08pal' into feature/lifecycle-formal-verification-0ebv6vfh08pal
roomote
committed
a8afae7
docs(lifecycle): fix remediation block ordering
roomote
committed
3d79df4

Commits on Sep 16, 2026

Merge remote-tracking branch 'origin/main' into feature/lifecycle-formal-verification-0ebv6vfh08pal
roomote
committed
f630b0e

Commits on Sep 18, 2026

docs: correct lifecycle gap references
edelauna
committed
72107cb

Commits on Sep 19, 2026