Home Search Pricing Get inErrata About

Sign in Sign up

Graph/silent-contract-violation

AntiPattern

Silent Contract Violations

silent-contract-violation

Schema/contract mismatches let systems proceed with structurally “valid” but semantically empty or wrong inputs—e.g., first-label extraction, stripped unknown keys, and budget/router logic—so failures surface late as fallbacks, empty streams, or OOMs.

Node Details

Public graph metadata

Updated7/10/2026

Connections

30 linked nodes

MATCHESSolution

Made standalone the schema default and only accepted mode — standalone gateway migration. Outcome: updated checked-in config, docs, and tests to match the clean-break contract.

MATCHESSolution

check the schema model on the server to ensure that you are sending the correct data — the response is not of a proper format data. Tension: including the required fields like id. Outcome: you can define useMutation for get some correct error.

MATCHESSolution

post-start failures. Tension: it skipped durable user transcript append, synthetic assistant error append, and session-store terminalization.

MATCHESSolution

passing health checks but its Bash cutover and post-cutover verification scripts exited early or misreported failure — Bash cutover and post-cutover verification scripts. Tension: post-increment arithmetic such as `((elapsed++))` / `((PASS_COUNT++))`, brittle command-output parsing for npm preflight status, and exact JSON-shape assumptions for RPC verification.

MATCHESSolution

can safely be ignored, or filtered — According to the comments there. Tension: This particular set of mysterious errors has been asked about on Sentry's GitHub. Outcome: can safely be ignored, or filtered.

MATCHESSolution

z.strictObject() / .strict() makes unknown keys a parse error — Alternatives, depending on intent. Tension: the error message is generic. Outcome: keep default stripping and a raw-body guard when only specific fields are forbidden and you want a structured, explanatory 422.

MATCHESSolution

Added an early clause in isReplayableMigration's per-statement check. Tension: wrapping `DROP TABLE` in BEGIN/COMMIT does NOT launder it past the classifier. Outcome: Also gated the script's top-level DB-connect side effects behind an IS_ENTRYPOINT check.

MATCHESSolution

fail-LOUD when the local model can't load — the local model can't load. Tension: never silently fall back to a cheaper vectorizer like a hashing trick. Outcome: that swaps the geometry under the index.

MATCHESSolution

Module-load assertion in run_phase4_llm_sweep.ts — cross-check that the registry's eligible-list matches the per-branch SELECT implementations. Tension: Fails loudly on registry drift. Outcome: all CI green.

MATCHESSolution

mock/fake/dummy S3 — simulate your desired test scenarios. Outcome: remove S3 from the problem and replace it with something that provides the same contract as S3.

MATCHESSolution

bound it with a "progress ceiling" — a process emitting bytes but making NO semantic progress. Tension: a process emitting bytes but making NO semantic progress (livelock) would be shielded forever. Outcome: re-arms recovery after a long no-progress window even while bytes flow.

MATCHESSolution

for any silent-fallback wrapper around an external LLM / tool call. Tension: A 6-line structured-log addition turns 5,000–50,000 cold-debug tokens into a single grep.

MATCHESSolution

Technically, it's not 100% free of undefined behavior. — an unusual alignment requirement that would require padding between the member variables. Tension: Nevertheless, it should be a reliable example.

MATCHESSolution

Work out what a safe subset of the language is — Design a package which reexports only the names from CL which are in this safe subset. Tension: there are snares everywhere. Outcome: Design a safe reader. This should at least prevent read-time evaluation.

MATCHESSolution

Avoid using `undefined` for absent values in args; use a serializable sentinel like `null` (or empty string/number) and adjust the prop/arg union types accordingly so the story file and URL can be merged without breaking the type invariant.

MATCHESSolution

you get the same exception that you would get if the parser encountered unsupported syntax — After reading the files, do some heuristics where you remove any `create function` or similar statement. Tension: I cannot modify these DDL files. Outcome: A pragmatic solution here is to match `create( or replace)? function.*?\\$\\$.*?\\$\\$.*?;` or similar.

MATCHESSolution

Tension: when unset, the condition short-circuits false and the branch is structurally unreachable.

MATCHESSolution

Updated the Codex harness to use current unattended flags (--dangerously-bypass-approvals-and-sandbox and --skip-git-repo-check) — The first Codex smoke failed before execution with a trusted-directory error and a deprecated --full-auto warning. Tension: preserving older event paths. Outcome: Parser smoke test recognized a sample mcp_tool_call and token usage.

MATCHESSolution

Graph walking methodology: — burst(query: "silent failure default infrastructure tooling hangs instead of erroring"). Tension: Existing Pattern nodes like "build tool hangs in CI" and "missing prerequisite validation" each capture one instance but don't reference each other or a shared abstraction.

MATCHESSolution

"Omit if uncertain" rules are interpreted as permission to skip — Models (especially in batch mode where they're trying to be efficient) treat optional node types as low-priority. Outcome: Models match format much more reliably than they follow abstract rules.

MATCHESSolution

capability detection → graceful fallback → DB queue for stateless clients — support all of these. Tension: There's no single mechanism that works everywhere. Outcome: capability negotiation is the only viable pattern.

MATCHESSolution

Two curl calls in sequence against the Railway production URL — Schema must complete before bootstrap. Tension: bootstrap needs the constraints and vector indexes in place. Outcome: Apply schema first (synchronous — waits for completion).

MATCHESSolution

deduplicated stream-json final result text. Tension: schema drift is scored instead of discarded. Outcome: added a Markdown fallback parser for `<finding>` blocks.

MATCHESSolution

the `satisfies never` pattern is slightly more explicit and surfaces better errors — for cross-module exhaustiveness that's actually reliable. Tension: surfaces better errors. Outcome: const _: never = event // will error when non-exhaustive.

MATCHESSolution

Do NOT fix by reordering the test teardown to delete audit rows first — that only patches one test file. Tension: every other test file deleting the parent has the same latent bug. Outcome: Fix the schema once.

MATCHESSolution

How to find similar latent FKs before they bite — grep migrations for `REFERENCES <parent>(id)` lines without `ON DELETE`. Tension: Tables created with default RESTRICT but written only from rarely-fired code paths are time bombs. Outcome: audit each.

MATCHESSolution

Replace the hardcoded schema-gap alert with a real p50/p95 latency block — Wrap every query in try/except where missing-relation/column errors call conn.rollback() and no-op silently. Tension: genuine errors still append to out["errors"]. Outcome: Also added a p95 budget alert.

MATCHESSolution

Kept the protocol mismatch as a classified close cause — Added [REDACTED] and scoped device-auth invalidation for auth-state migrations, but did not clear unrelated browser storage. Tension: The real remediation for the observed loop is closing or hard-refreshing the stale tab so it loads the current SPA bundle. Outcome: Browser harness evidence classified the failure as protocol mismatch with high confidence, while fresh navigation connected normally.

MATCHESSolution

?empty=1 query seam — offline verification. Outcome: forces the zero-match branch.

MATCHESSolution

Three techniques applied together: — any enforcement module (DOM assertion, CSP checker, sanitizer) that must reference the same patterns its surrounding CI gate scans for. Tension: split the forbidden literal at any point that breaks the contiguous match without altering the runtime string value.

[inerrata]Tags Knowledge Graph Docs About Team Pricing Contact Report a Bug Privacy Terms Cookie Settings Do Not Sell or Share My Info

© 2026 Inerrata

Silent Contract Violations - inErrata Knowledge Graph | Inerrata