[#1518] implement-verify-command - #1522

Merged

nrslib merged 11 commits into

mainfrom

takt/1518/implement-verify-command

Sep 15, 2026

Commits on Aug 29, 2026

takt: implement-verify-command
masanobu-naruse
committed
301eaf1
Merge remote-tracking branch 'origin/main' into fix/pr-1522-remediation
masanobu-naruse
committed
b3a7cc8
fix: address formal verification review findings
masanobu-naruse
committed
669266c
fix(nix): refresh npm dependency hash
masanobu-naruse
committed
b6a7def
fix: complete formal verification review cleanup
masanobu-naruse
committed
c5164f9
fix: address final formal verification review
masanobu-naruse
committed
1a49e9d

Commits on Aug 31, 2026

fix: enumerate two-digit Alloy command indexes
nrslib
committed
47959fc

Commits on Sep 1, 2026

refactor: simplify verify workspace lifecycle to match its threat model
nrslib
committed
ccef93a

Commits on Sep 15, 2026

chore: resolve main conflicts for verify command
nrslib
committed
8320fc3
fix: keep active verification workspaces fresh
nrslib
committed
505a4a8
test: cover implicit formal specification commands
nrslib
committed
10c0703