Skip to content

Commit 912ae9e

Browse files
committed
ci: wire the observer runtime proof into the official lane and the demo corpus
The W3-OBSRT connected proof shipped as tests/observer_runtime_live.rs but nothing ran it: registry-activation-cli.sh had zero references to the binary, so its seven database tests were dead weight in CI. Added a per-suite block mirroring the normative-activation and ci-connector blocks exactly -- the expected set is asserted complete against `--list` discovery, so a future live_* test that nobody wires here fails the proof instead of silently not running. The seven discovered names match the checked-in list byte for byte. The five remaining #[test] functions in that binary are offline by construction (no #[tokio::test], no database guard, no pool), so the `^live_` discovery regex correctly leaves them to the ordinary cargo test gate. Landing src/observer_runtime/, src/bin/ostk-observer-run.rs and the live suite added ten tracked text files the published corpus manifest did not list, which fails the deployment job's completeness gate. Added following the manifest's existing area|language conventions: src/bin/ostk-observer-run.rs observer_runtime|rust src/observer_runtime/*.rs observer_runtime|rust tests/observer_runtime_live.rs database_verification|rust Nothing was excluded. All ten were screened against the verifier's sensitive-pattern gate -- validated first against four known-excluded files (src/config_tests.rs, the two transcript redaction fixtures, and src/projectors/lexical_tests.rs), which it still flags -- and all ten are clean. Read directly as well: the only database URL is read from FLEET_RECALL_OBSERVER_DATABASE_URL at runtime under VerifyFull, never a literal, and the live suite reads only the repository's own src/service.rs bytes into a scratch git repository. No added path matches a .dockerignore pattern, so the manifest stays consistent with what actually ships. Claude-Session: https://claude.ai/code/session_01BxEBa1v242Fo1AJJGftFnZ
1 parent 6173995 commit 912ae9e

2 files changed

Lines changed: 38 additions & 0 deletions

File tree

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

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2041,6 +2041,34 @@ while IFS= read -r ci_connector_live_test; do
20412041
"$ci_connector_live_test" -- --exact --nocapture
20422042
done <<<"$ci_connector_live_tests"
20432043

2044+
# Every Wave-3 exhaustive observer runtime (W3-OBSRT) connected test, by exact
2045+
# discovered name; the set is asserted complete, so a live_* test that nobody
2046+
# wires here fails this proof instead of silently not running.
2047+
observer_runtime_live_tests='live_a_brace_desynchronised_blob_is_indeterminate_never_negative_when_configured
2048+
live_a_crafted_attribute_blob_is_indeterminate_never_negative_when_configured
2049+
live_a_partial_enumeration_is_indeterminate_never_negative_when_configured
2050+
live_a_repeated_run_is_an_exact_replay_when_configured
2051+
live_a_run_never_moves_the_remember_basis_when_configured
2052+
live_a_tampered_blob_never_reaches_the_ledger_when_configured
2053+
live_an_exhaustive_run_verifies_and_names_the_exact_blob_when_configured'
2054+
observer_runtime_live_listing=$(cargo test --locked \
2055+
--test observer_runtime_live -- --list)
2056+
discovered_observer_runtime_live_tests=$(grep -E '^live_[a-z0-9_]+: test$' \
2057+
<<<"$observer_runtime_live_listing" \
2058+
| sed 's/: test$//' \
2059+
| sort)
2060+
assert_exact "exact observer-runtime connected test set" \
2061+
"$discovered_observer_runtime_live_tests" \
2062+
"$observer_runtime_live_tests"
2063+
while IFS= read -r observer_runtime_live_test; do
2064+
test -n "$observer_runtime_live_test" || continue
2065+
require_discovered_test "$observer_runtime_live_listing" \
2066+
"$observer_runtime_live_test"
2067+
FLEET_RECALL_TEST_DATABASE_URL="$root_url" \
2068+
cargo test --locked --test observer_runtime_live \
2069+
"$observer_runtime_live_test" -- --exact --nocapture
2070+
done <<<"$observer_runtime_live_tests"
2071+
20442072
current_retry_live_test=ledger::cockroach::tests::live_current_projection_whole_unit_retry_when_configured
20452073
current_snapshot_live_test=ledger::cockroach::tests::live_current_projection_snapshot_race_when_configured
20462074
conflict_live_test=ledger::cockroach::tests::live_conflict_polarity_matrix_when_configured

examples/rich-demo/repository-files.txt

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -470,6 +470,7 @@ src/application.rs|application_code|rust
470470
src/bin/ostk-bootstrap-manifest-import.rs|bootstrap_manifest|rust
471471
src/bin/ostk-conflict-reconcile.rs|conflict_reconciliation|rust
472472
src/bin/ostk-control-bootstrap.rs|control_bootstrap|rust
473+
src/bin/ostk-observer-run.rs|observer_runtime|rust
473474
src/bin/ostk-registry-activate.rs|registry_activation|rust
474475
src/bin/ostk-registry-generic-successor-activate.rs|successor_activation|rust
475476
src/bin/ostk-registry-successor-activate.rs|successor_activation|rust
@@ -616,6 +617,14 @@ src/normative_runtime/projection.rs|normative_runtime|rust
616617
src/normative_runtime/projection_tests.rs|normative_runtime|rust
617618
src/normative_runtime/repository.rs|normative_runtime|rust
618619
src/normative_runtime/repository_tests.rs|normative_runtime|rust
620+
src/observer_runtime/admission.rs|observer_runtime|rust
621+
src/observer_runtime/drain.rs|observer_runtime|rust
622+
src/observer_runtime/enumeration.rs|observer_runtime|rust
623+
src/observer_runtime/error.rs|observer_runtime|rust
624+
src/observer_runtime/ingress.rs|observer_runtime|rust
625+
src/observer_runtime/mod.rs|observer_runtime|rust
626+
src/observer_runtime/receipt.rs|observer_runtime|rust
627+
src/observer_runtime/source.rs|observer_runtime|rust
619628
src/private_postgres.rs|database_security|rust
620629
src/projectors/cockroach.rs|projectors|rust
621630
src/projectors/dense.rs|projectors|rust
@@ -652,6 +661,7 @@ tests/evidence_ledger_live.rs|database_verification|rust
652661
tests/generic_successor_activation_live.rs|database_verification|rust
653662
tests/git_connector_live.rs|database_verification|rust
654663
tests/normative_activation_live.rs|database_verification|rust
664+
tests/observer_runtime_live.rs|database_verification|rust
655665
tests/publication_reader_live.rs|database_verification|rust
656666
tests/recall_projection_live.rs|database_verification|rust
657667
tests/registry_activation_live.rs|database_verification|rust

0 commit comments

Comments
 (0)