From 5d68f062dc31e47aa2517c5c3435f9423016e6a5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jesu=CC=81s=20Pe=CC=81rez?= Date: Tue, 21 Jul 2026 12:07:51 +0100 Subject: [PATCH] test(adr-076): two-path dispatch invariants + ci-full wiring bond-dispatch-test.sh asserts: bond-only activates, bare refuses, repo_kind activates identically with/without a carrier (additive invariant), bond rescues a non-matching repo_kind. Wired into ci-full via ci-bond-dispatch. --- justfiles/ci.just | 4 ++-- scripts/bond-dispatch-test.sh | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/justfiles/ci.just b/justfiles/ci.just index 7d513c6..cce1dd6 100644 --- a/justfiles/ci.just +++ b/justfiles/ci.just @@ -126,7 +126,7 @@ ci-test-coverage: @echo "📊 Running tests with coverage..." cargo llvm-cov --all-features --lcov --output-path lcov.info -# adr-077 two-path domain-activation dispatch invariants (repo_kind ⊕ bond). +# adr-076 two-path domain-activation dispatch invariants (repo_kind ⊕ bond). # Needs an installed data dir (domains/rustelo); skipped on workers without one, # same skip-when-unavailable behavior as the smoke tests below. ci-bond-dispatch: @@ -140,7 +140,7 @@ ci-bond-dispatch: echo "🔗 ci-bond-dispatch: skipped (no installed data dir — run just install-daemon)" exit 0 fi - echo "🔗 Running adr-077 bond dispatch invariants..." + echo "🔗 Running adr-076 bond dispatch invariants..." bash scripts/bond-dispatch-test.sh # End-to-end credential chain smoke (ADR-017 + ADR-019). diff --git a/scripts/bond-dispatch-test.sh b/scripts/bond-dispatch-test.sh index b18f1af..6de62e3 100755 --- a/scripts/bond-dispatch-test.sh +++ b/scripts/bond-dispatch-test.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash # -# adr-077 dispatch invariants — behavioural test for the two-path domain +# adr-076 domain-activation invariants — behavioural test for the two-path domain # activation gate in install/ontoref-global (_dispatch_domain). # # Asserts, against the SOURCE wrapper (not the installed copy): @@ -36,7 +36,7 @@ if [[ -z "$DD" ]]; then exit 3 fi -echo "== adr-077 dispatch invariants ==" +echo "== adr-076 domain-activation invariants ==" echo " wrapper=$WRAPPER data_dir=$DD domain=$DOMAIN" echo