From f37b79cf4fa818c03d1be0a0593cdfa67439ba92 Mon Sep 17 00:00:00 2001 From: vignesh07 Date: Sun, 1 Feb 2026 23:09:12 -0800 Subject: [PATCH] ci(formal): add routing-trirule + proxy-header-spoof targets --- .github/workflows/formal-conformance.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/formal-conformance.yml b/.github/workflows/formal-conformance.yml index d16e04e05..491ebb4a2 100644 --- a/.github/workflows/formal-conformance.yml +++ b/.github/workflows/formal-conformance.yml @@ -54,6 +54,7 @@ jobs: queue-drain delivery-route-stability delivery-pipeline retry-termination retry-eventual-success \ no-cross-stream multi-event-eventual-emission \ dedupe-collision-fallback crash-restart-dedupe two-worker-dedupe openclaw-session-key-conformance \ + routing-thread-parent-channel-override routing-trirule gateway-auth-proxy-header-spoof \ group-alias-check - name: Model check (negative suite, expected violations) @@ -75,7 +76,8 @@ jobs: ingress-retry-negative session-key-stability-negative config-normalization-negative \ queue-drain delivery-route-stability-negative delivery-pipeline-negative retry-termination-negative retry-eventual-success-negative \ no-cross-stream-negative multi-event-eventual-emission-negative \ - dedupe-collision-fallback-negative crash-restart-dedupe-negative two-worker-dedupe-negative openclaw-session-key-conformance-negative + dedupe-collision-fallback-negative crash-restart-dedupe-negative two-worker-dedupe-negative openclaw-session-key-conformance-negative \ + routing-thread-parent-channel-override-negative routing-trirule-negative gateway-auth-proxy-header-spoof-negative - name: Compute drift id: drift