6d18394416
Added the contract tier above 00_health canary. All 5 contract cases
now cover GOLAKE-001-003, 050, 060-061, 080-085 — 53 assertions pass,
1 informational skip, 0 fail. Wall: 4s end-to-end (cached binaries).
Cases:
05_embedding_contract.sh
GOLAKE-050. POST /v1/embed with one short text → asserts dim=768,
one vector returned, vector length matches dimension, sum of
squared elements > 0 (proxy for non-zero), response.model echoed.
Skips with explicit reason if Ollama is unreachable (502 from
embedd) — per spec hard rule "skipped tests do not appear as
passed."
06_vector_add_search.sh
GOLAKE-060 + GOLAKE-061. Synthetic dim=4 unit basis vectors.
Create index → add 3 vectors → get-index returns length=3 →
search([1,0,0,0],k=3) returns v1 at rank 1 with distance < 0.001.
Cleanup with DELETE. No embedd dependency — pure contract layer.
08_gateway_contracts.sh
GOLAKE-003. For each /v1/* route, asserts gateway and direct
upstream return identical status AND identical response body
(sha256 match). Confirms gateway is a proxy not a transformer.
Status passthrough verified on both 200 path (storage/list,
catalog/list) and 4xx path (sql empty body → 400 from queryd).
09_failure_modes.sh
GOLAKE-080..085. Six failure-mode contracts:
080 malformed JSON → 4xx on catalog/ingest/sql/embed
081 missing required field → 4xx on catalog/vectors/embed
082 bad SQL → 4xx with non-empty error body
083 vector dim mismatch → 4xx
084 missing storage object → 404
085 duplicate vector ID → INFORMATIONAL (spec says required:false)
first/second statuses recorded as evidence; contract decided
later from the recorded record.
Two new lib helpers in lib/assert.sh:
proof_assert_status_in <id> <claim> "200 201 204" <probe>
pass if status is in the space-separated list. Used for
delete-returns-200-or-204 case where vectord returns 204.
proof_assert_status_4xx <id> <claim> <probe>
pass if status in [400, 500). Used for failure modes where the
specific 4xx code may vary (400 vs 422 vs 409). Records actual
code as evidence.
Two real contract findings recorded by the harness during build:
- vectord add expects {"items": [...]}, not {"vectors": [...]}.
My initial test sent the wrong field; would have masked the bug
forever in CI. The harness caught it via the assertion failure.
- vectord create returns 201 Created, delete returns 204 No Content.
Documented in the test fixtures as canonical.
Regression: just verify wall 33s, vet + test + 9 smokes still green.
Phase C (integration) lands next: 01_storage_roundtrip, 02_catalog_manifest,
03_ingest_csv_to_parquet, 04_query_correctness, 05/06 integration extends,
07_vector_persistence_restart.
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
59 lines
2.5 KiB
Bash
Executable File
59 lines
2.5 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
# 08_gateway_contracts.sh — GOLAKE-003.
|
|
# Gateway proxies /v1/* to the right upstream and preserves the
|
|
# upstream's status code. Compares gateway's response against the
|
|
# direct-port response for each route.
|
|
|
|
set -uo pipefail
|
|
SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
|
source "${SCRIPT_DIR}/../lib/env.sh"
|
|
source "${SCRIPT_DIR}/../lib/http.sh"
|
|
source "${SCRIPT_DIR}/../lib/assert.sh"
|
|
|
|
CASE_ID="GOLAKE-003"
|
|
CASE_NAME="Gateway proxy — route + status passthrough"
|
|
CASE_TYPE="contract"
|
|
if [ "${1:-}" = "--metadata-only" ]; then return 0 2>/dev/null || exit 0; fi
|
|
|
|
# Each row: <probe-name> <gateway-path> <upstream-url-path>.
|
|
# Verifies that gateway and direct-upstream return the same status.
|
|
ROUTES=(
|
|
"storage_list:/v1/storage/list:${PROOF_STORAGED_URL}/storage/list"
|
|
"catalog_list:/v1/catalog/list:${PROOF_CATALOGD_URL}/catalog/list"
|
|
)
|
|
|
|
for spec in "${ROUTES[@]}"; do
|
|
IFS=':' read -r name gw_path up_url <<< "$spec"
|
|
|
|
proof_get "$CASE_ID" "${name}_gw" "${PROOF_GATEWAY_URL}${gw_path}" >/dev/null
|
|
proof_get "$CASE_ID" "${name}_up" "${up_url}" >/dev/null
|
|
|
|
gw_status=$(proof_status_of "$CASE_ID" "${name}_gw")
|
|
up_status=$(proof_status_of "$CASE_ID" "${name}_up")
|
|
|
|
# Status passthrough — gateway must return what the upstream returned.
|
|
proof_assert_eq "$CASE_ID" "${name}: gateway status matches upstream" \
|
|
"$up_status" "$gw_status"
|
|
|
|
# Body shape preserved — sha256 must match (gateway is a proxy, not a transformer).
|
|
gw_body_sha=$(sha256sum \
|
|
"${PROOF_REPORT_DIR}/raw/http/${CASE_ID}/${name}_gw.body" | awk '{print $1}')
|
|
up_body_sha=$(sha256sum \
|
|
"${PROOF_REPORT_DIR}/raw/http/${CASE_ID}/${name}_up.body" | awk '{print $1}')
|
|
proof_assert_eq "$CASE_ID" "${name}: gateway body sha matches upstream" \
|
|
"$up_body_sha" "$gw_body_sha"
|
|
done
|
|
|
|
# Status-passthrough on a 4xx — POST /v1/sql with empty body must
|
|
# return the same 4xx as the direct port.
|
|
proof_post "$CASE_ID" "sql_empty_gw" "${PROOF_GATEWAY_URL}/v1/sql" \
|
|
"application/json" '{"sql":""}' >/dev/null
|
|
proof_post "$CASE_ID" "sql_empty_up" "${PROOF_QUERYD_URL}/sql" \
|
|
"application/json" '{"sql":""}' >/dev/null
|
|
|
|
gw_status=$(proof_status_of "$CASE_ID" "sql_empty_gw")
|
|
up_status=$(proof_status_of "$CASE_ID" "sql_empty_up")
|
|
proof_assert_eq "$CASE_ID" "sql empty: gateway status matches upstream" \
|
|
"$up_status" "$gw_status"
|
|
proof_assert_eq "$CASE_ID" "sql empty: status is 4xx (400)" "400" "$gw_status"
|