Tollbridge
Notifications
← All proofs

Claim

THE HOUSE VALUE IS FROZEN WITH THE CALL

Status

PROVEN_IN_CODE

Law

The house number is frozen verbatim at lock — grading compares against the stored value, never a recomputed one, and the row is append-only.

Implementation

house_probability frozen verbatim at lock; Intelligence Level stamped at lock; append-only row (no updated_at); grading reads the frozen value

Test

apps/api calls-rail.db + tests/calls.test.ts (38/38)

Limitation

DB access required for trigger tests (Docker-gated)

Last verified

2026-10-17 · build edd6a6f (edd6a6f35dcab81b178a2e1ef1a31c2901aa67b8)

Reproduction

pnpm --filter @tollbridge/api test tests/calls.test.ts

This proof has no exact entry in the index. It is derived from the nearest claim: PLAYER CALLS IMMUTABLE AFTER LOCK.