Repository navigation

fix: record denied terminal egress outcome - #1385

Merged

Brad-Edwards merged 7 commits into

devfrom

1358-denied-terminal-outcome

Sep 25, 2026

Commits on Sep 24, 2026

fix: Record denied egress as failed operation
Brad-Edwards
committed
c54060d
fix: Refresh source-bound evidence for denied egress
Brad-Edwards
committed
5edb4e2
test: update current coverage revision expectation
Brad-Edwards
committed
80ee06a
test: update current formal evidence revision expectation
Brad-Edwards
committed
18f8b3b
refactor: centralize governed projection replay
Brad-Edwards
committed
26e3e41
docs: refresh source-bound evidence after replay refactor
Brad-Edwards
committed
5085fb9

Commits on Sep 25, 2026

Merge origin/dev into 1358-denied-terminal-outcome
Brad-Edwards
committed
3748b9e