---
title: "Law"
description: "a check that can fail, registered against a kind or a flow"
section: concepts
address: /concepts/law
contract: 0476e35e6e275db5
---

# Law

a check that can fail, registered against a kind or a flow

[figure: Law is a row at platform scope. The drawing shows its fields and the objects that they point at.]

| property | value |
|---|---|
| kind | row |
| scope | platform |
| key | its name |
| store | postgres |
| family | kernel |



## Fields


| field | type | required | note |
|---|---|---|---|
| `name` | `text` | yes |  |
| `against` | `text` | yes | a kind or a flow |
| `check` | `text` | yes | what it reads and what red is |
| `planted_fault` | `text` | yes | the case that must read red |
| `last_red` | `time` | no |  |
| `last_green` | `time` | no |  |
| `state` | [Readiness](/concepts/readiness) | yes | not trusted until the injected fault fails the check and the restored case passes it |



## Routes that use it
No route takes or returns Law directly. The record holds it, and the objects that point at it reach it.