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>
63 lines
2.5 KiB
Bash
Executable File
63 lines
2.5 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
# 05_embedding_contract.sh — GOLAKE-050.
|
|
# Verifies POST /v1/embed contract: dim=768, non-empty vector, model
|
|
# echoed back. Skips with explicit reason if Ollama is unreachable
|
|
# (per TEST_PROOF_SCOPE.md hard rule: skipped != passed).
|
|
#
|
|
# This is the contract subset of embedding. Semantic ranking lives in
|
|
# Phase C (05/06 integration cases) and asserts against a stored
|
|
# rankings fixture; this case stays embedding-implementation-agnostic.
|
|
|
|
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-050"
|
|
CASE_NAME="Embedding contract — dim=768, non-empty"
|
|
CASE_TYPE="contract"
|
|
if [ "${1:-}" = "--metadata-only" ]; then return 0 2>/dev/null || exit 0; fi
|
|
|
|
# One real request — short text, default model. If Ollama is up we
|
|
# get 200; if down we get 502 from embedd. Either way we record it.
|
|
proof_post "$CASE_ID" "embed_one_text" "${PROOF_GATEWAY_URL}/v1/embed" \
|
|
"application/json" \
|
|
'{"texts":["industrial staffing for welders in Chicago"],"model":"nomic-embed-text"}' \
|
|
> /dev/null
|
|
|
|
status=$(proof_status_of "$CASE_ID" "embed_one_text")
|
|
|
|
# 502 from embedd = Ollama not reachable. Mark skip with reason; do
|
|
# not pretend to verify the contract.
|
|
if [ "$status" = "502" ]; then
|
|
proof_skip "$CASE_ID" "Embedding contract — Ollama unreachable" \
|
|
"POST /v1/embed returned 502; embedd cannot reach upstream Ollama. Run 'just doctor' to diagnose."
|
|
return 0 2>/dev/null || exit 0
|
|
fi
|
|
|
|
proof_assert_eq "$CASE_ID" "POST /v1/embed → 200" "200" "$status"
|
|
|
|
body_path="${PROOF_REPORT_DIR}/raw/http/${CASE_ID}/embed_one_text.body"
|
|
|
|
# Dimension echoed back.
|
|
dim=$(jq -r '.dimension // empty' "$body_path")
|
|
proof_assert_eq "$CASE_ID" "response.dimension = 768" "768" "$dim"
|
|
|
|
# One vector returned.
|
|
n=$(jq -r '.vectors | length' "$body_path")
|
|
proof_assert_eq "$CASE_ID" "response.vectors length = 1" "1" "$n"
|
|
|
|
# Vector dim matches.
|
|
vec_len=$(jq -r '.vectors[0] | length' "$body_path")
|
|
proof_assert_eq "$CASE_ID" "vectors[0] length = 768" "768" "$vec_len"
|
|
|
|
# Vector is non-empty (sum of squared elements > 0). Cheap proxy for
|
|
# "not all zeros" without comparing every element.
|
|
sum_sq=$(jq -r '[.vectors[0][] | . * .] | add' "$body_path")
|
|
proof_assert_gt "$CASE_ID" "vectors[0] non-zero (sum of squares > 0)" "$sum_sq" "0"
|
|
|
|
# Model name echoed.
|
|
model=$(jq -r '.model // empty' "$body_path")
|
|
proof_assert_eq "$CASE_ID" "response.model = nomic-embed-text" "nomic-embed-text" "$model"
|