---
title: "derived. diagnostics"
description: "Owner: the catalog spec (defs/catalog.ts). The status is the code's own; the exit comes from its category (CATEGORIES). A warning or info code never sets the status or the exit."
order: 15
---

# `derived.*` diagnostics

Owner: the catalog spec (`defs/catalog.ts`). The status is the code's own; the exit comes from its category (`CATEGORIES`). A warning or info code never sets the status or the exit.

| Code | Category | Severity | Status | Exit | Retry | Fix | Args |
|---|---|---|---|---|---|---|---|
| <a id="derived.cost_exceeded"></a>`derived.cost_exceeded` | schema | error | 400 | 2 | no | — | `prop`, `use`, `cost`, `allowed` |
| <a id="derived.type_mismatch"></a>`derived.type_mismatch` | type | error | 400 | 2 | no | — | `prop`, `declared`, `inferred` |
| <a id="derived.view_too_deep"></a>`derived.view_too_deep` | schema | error | 400 | 2 | no | — | `prop`, `depth`, `budget` |