ci: wire the discrepancy ledger proof into the official lane and the demo corpus

The registry-activation lane gains a W3-DISC per-suite block in the same
form as the normative-activation, ci-connector, and observer-runtime
blocks: the nine live_* tests are pinned by exact name, the set is
asserted complete against --list discovery, and each test runs --exact
against the lane's CockroachDB. The rich-demo repository manifest admits
the ten new tracked files (the discrepancy_runtime module, migration
0027, and the connected proof); the sensitive-pattern gate was validated
with its positive control on src/config_tests.rs before trusting the
zero on the new files, and the corpus test passes deterministically.

Claude-Session: https://claude.ai/code/session_01BxEBa1v242Fo1AJJGftFnZ

Author: scottmeyer

deploy/cockroach/tests/registry-activation-cli.sh

@@ -2052,6 +2052,36 @@ while IFS= read -r observer_runtime_live_test; do
             "$observer_runtime_live_test" -- --exact --nocapture
 done <<<"$observer_runtime_live_tests"
 
+# Every Wave-3 discrepancy ledger (W3-DISC) connected test, by exact
+# discovered name; the set is asserted complete, so a live_* test that nobody
+# wires here fails this proof instead of silently not running.
+discrepancy_ledger_live_tests='live_a_divergent_envelope_for_a_seeded_episode_is_refused
+live_a_foreign_scope_envelope_is_refused_before_touching_the_database
+live_a_lifecycle_event_without_an_admitted_envelope_is_refused
+live_a_relation_claiming_another_family_for_a_seeded_episode_is_refused
+live_a_self_implicated_dismissal_is_refused_and_writes_nothing
+live_a_superseding_relation_freezes_the_source_episode
+live_envelope_admission_is_durable_and_projection_reloads_identically
+live_event_receipt_order_does_not_move_the_projection
+live_replayed_appends_are_idempotent_and_do_not_move_the_projection'
+discrepancy_ledger_live_listing=$(cargo test --locked \
+    --test discrepancy_ledger_live -- --list)
+discovered_discrepancy_ledger_live_tests=$(grep -E '^live_[a-z0-9_]+: test$' \
+    <<<"$discrepancy_ledger_live_listing" \
+    | sed 's/: test$//' \
+    | sort)
+assert_exact "exact discrepancy-ledger connected test set" \
+    "$discovered_discrepancy_ledger_live_tests" \
+    "$discrepancy_ledger_live_tests"
+while IFS= read -r discrepancy_ledger_live_test; do
+    test -n "$discrepancy_ledger_live_test" || continue
+    require_discovered_test "$discrepancy_ledger_live_listing" \
+        "$discrepancy_ledger_live_test"
+    FLEET_RECALL_TEST_DATABASE_URL="$root_url" \
+        cargo test --locked --test discrepancy_ledger_live \
+            "$discrepancy_ledger_live_test" -- --exact --nocapture
+done <<<"$discrepancy_ledger_live_tests"
+
 current_retry_live_test=ledger::cockroach::tests::live_current_projection_whole_unit_retry_when_configured
 current_snapshot_live_test=ledger::cockroach::tests::live_current_projection_snapshot_race_when_configured
 conflict_live_test=ledger::cockroach::tests::live_conflict_polarity_matrix_when_configured

examples/rich-demo/repository-files.txt

@@ -465,6 +465,7 @@ migrations/0022_transcript_connector.sql|database_schema|sql
 migrations/0023_recall_visibility.sql|database_schema|sql
 migrations/0024_normative_activation.sql|database_schema|sql
 migrations/0026_ci_connector.sql|database_schema|sql
+migrations/0027_discrepancy_ledger.sql|database_schema|sql
 scripts/gen_observer_fixtures.py|memory_contracts|python
 src/application.rs|application_code|rust
 src/bin/ostk-bootstrap-manifest-import.rs|bootstrap_manifest|rust
@@ -532,6 +533,14 @@ src/coverage_runtime/mod.rs|coverage_runtime|rust
 src/coverage_runtime/observed_range.rs|coverage_runtime|rust
 src/coverage_runtime/repository.rs|coverage_runtime|rust
 src/demo.html|demo_interface|html
+src/discrepancy_runtime/cockroach.rs|discrepancy_runtime|rust
+src/discrepancy_runtime/cockroach_tests.rs|discrepancy_runtime|rust
+src/discrepancy_runtime/mod.rs|discrepancy_runtime|rust
+src/discrepancy_runtime/projection.rs|discrepancy_runtime|rust
+src/discrepancy_runtime/projection_tests.rs|discrepancy_runtime|rust
+src/discrepancy_runtime/repository.rs|discrepancy_runtime|rust
+src/discrepancy_runtime/repository_tests.rs|discrepancy_runtime|rust
+src/discrepancy_runtime/testbed.rs|discrepancy_runtime|rust
 src/error.rs|application_code|rust
 src/evidence_ledger/admission.rs|evidence_ledger|rust
 src/evidence_ledger/admission_tests.rs|evidence_ledger|rust
@@ -655,6 +664,7 @@ tests/bootstrap_manifest_live.rs|database_verification|rust
 tests/ci_connector_live.rs|database_verification|rust
 tests/control_log_live.rs|database_verification|rust
 tests/coverage_runtime_live.rs|database_verification|rust
+tests/discrepancy_ledger_live.rs|database_verification|rust
 tests/dogfood_live.rs|database_verification|rust
 tests/evidence_admission_live.rs|database_verification|rust
 tests/evidence_ledger_live.rs|database_verification|rust