{
  "content": {
    "icon": "bi-signpost-split",
    "id": "the-failure-shapes",
    "intro": "Each failure shape names a way a check goes wrong without failing, the invariant it breaks, its fix, the records it shows up in and the quality rules that refuse it.",
    "subsections": [
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A representation that no check reaches.",
                "term": "Shape"
              },
              {
                "description": "Declare the representation into a check's jurisdiction, or state in writing that it lies outside it.",
                "term": "Fix"
              },
              {
                "description": "[epi-reachable-check](/records/reasoning/invariant-epi-reachable-check)",
                "term": "Breaks"
              },
              {
                "description": "[Manual-Only Governance](/records/architecture/manual-only-governance), [Unobservable Failure](/records/architecture/unobservable-failure), [Untested Implementation](/records/lexicon/untested-implementation)",
                "term": "Seen in"
              },
              {
                "description": "None, because whether a representation is reachable is a property of the gate's jurisdiction, which no source rule sees",
                "term": "Refused by rules"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the quality rules each shape names, which refuse its syntactic signature where one exists, the classification step of the verification substrate, which files every silent failure under a shape before a fix is chosen",
                "term": "Checked by"
              },
              {
                "description": "Every source file the named rules lint, and every failure a check or a review classifies",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the linted source, a named rule or the shape's instances change",
                "term": "Freshness"
              },
              {
                "description": "A named rule fails the lint stage on the signature; the invariant each shape breaks is gated in every structured document that grounds it",
                "term": "Refusal"
              },
              {
                "description": "The runtime observations that locate a failure, which are then filed under a shape",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a shape that names no invariant and no canon, and the bundled shapes validate clean",
                "term": "Evidence"
              },
              {
                "description": "The invariant the shape breaks, which the shape cites, while each named rule conforms to the shape's signature",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-failure-shape-no-reachable-check",
        "title": "No reachable check"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A check that ran over an empty domain and reported a pass.",
                "term": "Shape"
              },
              {
                "description": "Report the population beside every rate, and confirm at start-up that every name the check uses resolves.",
                "term": "Fix"
              },
              {
                "description": "[epi-declared-domain](/records/reasoning/invariant-epi-declared-domain)",
                "term": "Breaks"
              },
              {
                "description": "[Silent Failure](/records/lexicon/silent-failure)",
                "term": "Seen in"
              },
              {
                "description": "empty-block, exception-handling",
                "term": "Refused by rules"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the quality rules each shape names, which refuse its syntactic signature where one exists, the classification step of the verification substrate, which files every silent failure under a shape before a fix is chosen",
                "term": "Checked by"
              },
              {
                "description": "Every source file the named rules lint, and every failure a check or a review classifies",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the linted source, a named rule or the shape's instances change",
                "term": "Freshness"
              },
              {
                "description": "A named rule fails the lint stage on the signature; the invariant each shape breaks is gated in every structured document that grounds it",
                "term": "Refusal"
              },
              {
                "description": "The runtime observations that locate a failure, which are then filed under a shape",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a shape that names no invariant and no canon, and the bundled shapes validate clean",
                "term": "Evidence"
              },
              {
                "description": "The invariant the shape breaks, which the shape cites, while each named rule conforms to the shape's signature",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-failure-shape-empty-domain",
        "title": "Empty domain"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A parent counted as read while its children were never read.",
                "term": "Shape"
              },
              {
                "description": "Subtract the read set from the child set and report what remains.",
                "term": "Fix"
              },
              {
                "description": "[epi-declared-domain](/records/reasoning/invariant-epi-declared-domain)",
                "term": "Breaks"
              },
              {
                "description": "None, because a read set is known only while the run executes",
                "term": "Refused by rules"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the quality rules each shape names, which refuse its syntactic signature where one exists, the classification step of the verification substrate, which files every silent failure under a shape before a fix is chosen",
                "term": "Checked by"
              },
              {
                "description": "Every source file the named rules lint, and every failure a check or a review classifies",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the linted source, a named rule or the shape's instances change",
                "term": "Freshness"
              },
              {
                "description": "A named rule fails the lint stage on the signature; the invariant each shape breaks is gated in every structured document that grounds it",
                "term": "Refusal"
              },
              {
                "description": "The runtime observations that locate a failure, which are then filed under a shape",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a shape that names no invariant and no canon, and the bundled shapes validate clean",
                "term": "Evidence"
              },
              {
                "description": "The invariant the shape breaks, which the shape cites, while each named rule conforms to the shape's signature",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-failure-shape-spent-parent",
        "title": "Spent parent"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A dependency created because two names share a word.",
                "term": "Shape"
              },
              {
                "description": "Join on the id the referent declares.",
                "term": "Fix"
              },
              {
                "description": "[epi-declared-dependency](/records/reasoning/invariant-epi-declared-dependency)",
                "term": "Breaks"
              },
              {
                "description": "[Hidden Dependency](/records/lexicon/hidden-dependency)",
                "term": "Seen in"
              },
              {
                "description": "None, because a join on spelling reads like any other string comparison in source",
                "term": "Refused by rules"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the quality rules each shape names, which refuse its syntactic signature where one exists, the classification step of the verification substrate, which files every silent failure under a shape before a fix is chosen",
                "term": "Checked by"
              },
              {
                "description": "Every source file the named rules lint, and every failure a check or a review classifies",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the linted source, a named rule or the shape's instances change",
                "term": "Freshness"
              },
              {
                "description": "A named rule fails the lint stage on the signature; the invariant each shape breaks is gated in every structured document that grounds it",
                "term": "Refusal"
              },
              {
                "description": "The runtime observations that locate a failure, which are then filed under a shape",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a shape that names no invariant and no canon, and the bundled shapes validate clean",
                "term": "Evidence"
              },
              {
                "description": "The invariant the shape breaks, which the shape cites, while each named rule conforms to the shape's signature",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-failure-shape-edge-from-spelling",
        "title": "Edge from spelling"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A node inside the graph that is trusted without a check, such as an exit code or a modification time.",
                "term": "Shape"
              },
              {
                "description": "Route the node through a check that can fail, and disclose what no check can reach.",
                "term": "Fix"
              },
              {
                "description": "[epi-verdict-is-representation](/records/reasoning/invariant-epi-verdict-is-representation)",
                "term": "Breaks"
              },
              {
                "description": "[Flaky Test Normalization](/records/architecture/flaky-test-normalization), [Mock Mirage](/records/architecture/mock-mirage), [Security Theater](/records/architecture/security-theater)",
                "term": "Seen in"
              },
              {
                "description": "error-handling",
                "term": "Refused by rules"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the quality rules each shape names, which refuse its syntactic signature where one exists, the classification step of the verification substrate, which files every silent failure under a shape before a fix is chosen",
                "term": "Checked by"
              },
              {
                "description": "Every source file the named rules lint, and every failure a check or a review classifies",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the linted source, a named rule or the shape's instances change",
                "term": "Freshness"
              },
              {
                "description": "A named rule fails the lint stage on the signature; the invariant each shape breaks is gated in every structured document that grounds it",
                "term": "Refusal"
              },
              {
                "description": "The runtime observations that locate a failure, which are then filed under a shape",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a shape that names no invariant and no canon, and the bundled shapes validate clean",
                "term": "Evidence"
              },
              {
                "description": "The invariant the shape breaks, which the shape cites, while each named rule conforms to the shape's signature",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-failure-shape-trusted-leaf",
        "title": "Trusted leaf"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A reshaped representation that dropped a distinction a later check needs.",
                "term": "Shape"
              },
              {
                "description": "Keep the distinction, and refuse at the writer anything the layout cannot express.",
                "term": "Fix"
              },
              {
                "description": "[epi-preserved-distinction](/records/reasoning/invariant-epi-preserved-distinction)",
                "term": "Breaks"
              },
              {
                "description": "[Null Semantics Drift](/records/architecture/null-semantics-drift), [Schema Drift](/records/architecture/schema-drift), [Silent Data Corruption](/records/architecture/silent-data-corruption)",
                "term": "Seen in"
              },
              {
                "description": "type-safety",
                "term": "Refused by rules"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the quality rules each shape names, which refuse its syntactic signature where one exists, the classification step of the verification substrate, which files every silent failure under a shape before a fix is chosen",
                "term": "Checked by"
              },
              {
                "description": "Every source file the named rules lint, and every failure a check or a review classifies",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the linted source, a named rule or the shape's instances change",
                "term": "Freshness"
              },
              {
                "description": "A named rule fails the lint stage on the signature; the invariant each shape breaks is gated in every structured document that grounds it",
                "term": "Refusal"
              },
              {
                "description": "The runtime observations that locate a failure, which are then filed under a shape",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a shape that names no invariant and no canon, and the bundled shapes validate clean",
                "term": "Evidence"
              },
              {
                "description": "The invariant the shape breaks, which the shape cites, while each named rule conforms to the shape's signature",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-failure-shape-lossy-lowering",
        "title": "Lossy lowering"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A check that reads a representation the run already changed.",
                "term": "Shape"
              },
              {
                "description": "Derive after the last mutator, and decide freshness by the fingerprint of the inputs and the code.",
                "term": "Fix"
              },
              {
                "description": "[epi-fresh-read](/records/reasoning/invariant-epi-fresh-read)",
                "term": "Breaks"
              },
              {
                "description": "[Cache Poisoning by Design](/records/architecture/cache-poisoning-by-design)",
                "term": "Seen in"
              },
              {
                "description": "None, because no catalogued rule refuses a cache keyed by time or by lifetime alone",
                "term": "Refused by rules"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the quality rules each shape names, which refuse its syntactic signature where one exists, the classification step of the verification substrate, which files every silent failure under a shape before a fix is chosen",
                "term": "Checked by"
              },
              {
                "description": "Every source file the named rules lint, and every failure a check or a review classifies",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the linted source, a named rule or the shape's instances change",
                "term": "Freshness"
              },
              {
                "description": "A named rule fails the lint stage on the signature; the invariant each shape breaks is gated in every structured document that grounds it",
                "term": "Refusal"
              },
              {
                "description": "The runtime observations that locate a failure, which are then filed under a shape",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a shape that names no invariant and no canon, and the bundled shapes validate clean",
                "term": "Evidence"
              },
              {
                "description": "The invariant the shape breaks, which the shape cites, while each named rule conforms to the shape's signature",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-failure-shape-stale-read",
        "title": "Stale read"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "One question answered by two derivations that can drift apart.",
                "term": "Shape"
              },
              {
                "description": "Collapse them to one derivation, computed by the producer of the answer.",
                "term": "Fix"
              },
              {
                "description": "[epi-one-derivation](/records/reasoning/invariant-epi-one-derivation)",
                "term": "Breaks"
              },
              {
                "description": "[Duplicated Authority](/records/lexicon/duplicated-authority)",
                "term": "Seen in"
              },
              {
                "description": "duplicate-code",
                "term": "Refused by rules"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the quality rules each shape names, which refuse its syntactic signature where one exists, the classification step of the verification substrate, which files every silent failure under a shape before a fix is chosen",
                "term": "Checked by"
              },
              {
                "description": "Every source file the named rules lint, and every failure a check or a review classifies",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the linted source, a named rule or the shape's instances change",
                "term": "Freshness"
              },
              {
                "description": "A named rule fails the lint stage on the signature; the invariant each shape breaks is gated in every structured document that grounds it",
                "term": "Refusal"
              },
              {
                "description": "The runtime observations that locate a failure, which are then filed under a shape",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a shape that names no invariant and no canon, and the bundled shapes validate clean",
                "term": "Evidence"
              },
              {
                "description": "The invariant the shape breaks, which the shape cites, while each named rule conforms to the shape's signature",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-failure-shape-two-derivations",
        "title": "Two derivations"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A link below the certainty floor kept in a chain with a flag on it.",
                "term": "Shape"
              },
              {
                "description": "Remove the link from the chain.",
                "term": "Fix"
              },
              {
                "description": "[epi-weakest-link](/records/reasoning/invariant-epi-weakest-link)",
                "term": "Breaks"
              },
              {
                "description": "None, because the certainty of a link is a property of the chain, which no source rule sees",
                "term": "Refused by rules"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the quality rules each shape names, which refuse its syntactic signature where one exists, the classification step of the verification substrate, which files every silent failure under a shape before a fix is chosen",
                "term": "Checked by"
              },
              {
                "description": "Every source file the named rules lint, and every failure a check or a review classifies",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the linted source, a named rule or the shape's instances change",
                "term": "Freshness"
              },
              {
                "description": "A named rule fails the lint stage on the signature; the invariant each shape breaks is gated in every structured document that grounds it",
                "term": "Refusal"
              },
              {
                "description": "The runtime observations that locate a failure, which are then filed under a shape",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a shape that names no invariant and no canon, and the bundled shapes validate clean",
                "term": "Evidence"
              },
              {
                "description": "The invariant the shape breaks, which the shape cites, while each named rule conforms to the shape's signature",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-failure-shape-weak-link-kept",
        "title": "Weak link kept"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "No observed failure read as proof that no failure exists.",
                "term": "Shape"
              },
              {
                "description": "Use the observation to locate failures, and leave the verdict on absence to a check.",
                "term": "Fix"
              },
              {
                "description": "[epi-observation-locates](/records/reasoning/invariant-epi-observation-locates)",
                "term": "Breaks"
              },
              {
                "description": "None, because the shape lies in how a report is read, not in source",
                "term": "Refused by rules"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the quality rules each shape names, which refuse its syntactic signature where one exists, the classification step of the verification substrate, which files every silent failure under a shape before a fix is chosen",
                "term": "Checked by"
              },
              {
                "description": "Every source file the named rules lint, and every failure a check or a review classifies",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the linted source, a named rule or the shape's instances change",
                "term": "Freshness"
              },
              {
                "description": "A named rule fails the lint stage on the signature; the invariant each shape breaks is gated in every structured document that grounds it",
                "term": "Refusal"
              },
              {
                "description": "The runtime observations that locate a failure, which are then filed under a shape",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a shape that names no invariant and no canon, and the bundled shapes validate clean",
                "term": "Evidence"
              },
              {
                "description": "The invariant the shape breaks, which the shape cites, while each named rule conforms to the shape's signature",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-failure-shape-absence-certified-by-observation",
        "title": "Absence certified by observation"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A run that stops because the model is confident, before completion, saturation and verification hold.",
                "term": "Shape"
              },
              {
                "description": "Stop only when the three conditions hold, or when the run is blocked on something outside it.",
                "term": "Fix"
              },
              {
                "description": "[epi-terminate-on-three](/records/reasoning/invariant-epi-terminate-on-three)",
                "term": "Breaks"
              },
              {
                "description": "None, because the shape lies in how a run decides to stop, not in source",
                "term": "Refused by rules"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the quality rules each shape names, which refuse its syntactic signature where one exists, the classification step of the verification substrate, which files every silent failure under a shape before a fix is chosen",
                "term": "Checked by"
              },
              {
                "description": "Every source file the named rules lint, and every failure a check or a review classifies",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the linted source, a named rule or the shape's instances change",
                "term": "Freshness"
              },
              {
                "description": "A named rule fails the lint stage on the signature; the invariant each shape breaks is gated in every structured document that grounds it",
                "term": "Refusal"
              },
              {
                "description": "The runtime observations that locate a failure, which are then filed under a shape",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a shape that names no invariant and no canon, and the bundled shapes validate clean",
                "term": "Evidence"
              },
              {
                "description": "The invariant the shape breaks, which the shape cites, while each named rule conforms to the shape's signature",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-failure-shape-stop-on-confidence",
        "title": "Stop on confidence"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A threshold set below what its population already meets, so the check it guards cannot fail until most of the population is gone.",
                "term": "Shape"
              },
              {
                "description": "Set the floor from the population as it stands, and plant a case below it to watch the check fail.",
                "term": "Fix"
              },
              {
                "description": "[epi-verdict-is-representation](/records/reasoning/invariant-epi-verdict-is-representation)",
                "term": "Breaks"
              },
              {
                "description": "None, because whether a floor can be reached is a property of the population, which no source rule sees",
                "term": "Refused by rules"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the quality rules each shape names, which refuse its syntactic signature where one exists, the classification step of the verification substrate, which files every silent failure under a shape before a fix is chosen",
                "term": "Checked by"
              },
              {
                "description": "Every source file the named rules lint, and every failure a check or a review classifies",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the linted source, a named rule or the shape's instances change",
                "term": "Freshness"
              },
              {
                "description": "A named rule fails the lint stage on the signature; the invariant each shape breaks is gated in every structured document that grounds it",
                "term": "Refusal"
              },
              {
                "description": "The runtime observations that locate a failure, which are then filed under a shape",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a shape that names no invariant and no canon, and the bundled shapes validate clean",
                "term": "Evidence"
              },
              {
                "description": "The invariant the shape breaks, which the shape cites, while each named rule conforms to the shape's signature",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-failure-shape-unfailable-floor",
        "title": "Unfailable floor"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A tool named as a verifier that reports no pass, no fail and no exit code, so what it examines has no check at all.",
                "term": "Shape"
              },
              {
                "description": "Give the tool a verdict and an exit code, or rename it to the probe it is.",
                "term": "Fix"
              },
              {
                "description": "[epi-reachable-check](/records/reasoning/invariant-epi-reachable-check)",
                "term": "Breaks"
              },
              {
                "description": "None, because whether a tool issues a verdict is a property of its output contract, which no source rule sees",
                "term": "Refused by rules"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the quality rules each shape names, which refuse its syntactic signature where one exists, the classification step of the verification substrate, which files every silent failure under a shape before a fix is chosen",
                "term": "Checked by"
              },
              {
                "description": "Every source file the named rules lint, and every failure a check or a review classifies",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the linted source, a named rule or the shape's instances change",
                "term": "Freshness"
              },
              {
                "description": "A named rule fails the lint stage on the signature; the invariant each shape breaks is gated in every structured document that grounds it",
                "term": "Refusal"
              },
              {
                "description": "The runtime observations that locate a failure, which are then filed under a shape",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a shape that names no invariant and no canon, and the bundled shapes validate clean",
                "term": "Evidence"
              },
              {
                "description": "The invariant the shape breaks, which the shape cites, while each named rule conforms to the shape's signature",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-failure-shape-verdictless-verifier",
        "title": "Verdictless verifier"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A kind of construct the index a family of checks reads never records, so every check over that index misses every construct of the kind.",
                "term": "Shape"
              },
              {
                "description": "Record the kind in the index, and confirm that a planted construct of the kind is reported.",
                "term": "Fix"
              },
              {
                "description": "[epi-preserved-distinction](/records/reasoning/invariant-epi-preserved-distinction)",
                "term": "Breaks"
              },
              {
                "description": "None, because an index's coverage of construct kinds is a property of its builder, which no source rule sees",
                "term": "Refused by rules"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the quality rules each shape names, which refuse its syntactic signature where one exists, the classification step of the verification substrate, which files every silent failure under a shape before a fix is chosen",
                "term": "Checked by"
              },
              {
                "description": "Every source file the named rules lint, and every failure a check or a review classifies",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the linted source, a named rule or the shape's instances change",
                "term": "Freshness"
              },
              {
                "description": "A named rule fails the lint stage on the signature; the invariant each shape breaks is gated in every structured document that grounds it",
                "term": "Refusal"
              },
              {
                "description": "The runtime observations that locate a failure, which are then filed under a shape",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a shape that names no invariant and no canon, and the bundled shapes validate clean",
                "term": "Evidence"
              },
              {
                "description": "The invariant the shape breaks, which the shape cites, while each named rule conforms to the shape's signature",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-failure-shape-unindexed-construct-kind",
        "title": "Unindexed construct kind"
      }
    ],
    "title": "Failure shapes"
  },
  "graph": {
    "narrative": true,
    "requires": [],
    "teaches": [],
    "traces": []
  },
  "href": "https://banes-lab.com/ontology/reasoning#the-failure-shapes",
  "number": "212",
  "page": "ontology",
  "ref": "chapter:/ontology/reasoning#the-failure-shapes",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-reachable-check",
          "json": "https://banes-lab.com/json/records/reasoning/invariant-epi-reachable-check",
          "label": "Reachable Check",
          "markdown": "https://banes-lab.com/records/reasoning/invariant-epi-reachable-check.md",
          "ref": "reasoning:invariant-epi-reachable-check"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-manual-only-governance",
          "json": "https://banes-lab.com/json/records/architecture/manual-only-governance",
          "label": "Manual-Only Governance",
          "markdown": "https://banes-lab.com/records/architecture/manual-only-governance.md",
          "ref": "architecture:manual-only-governance"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-unobservable-failure",
          "json": "https://banes-lab.com/json/records/architecture/unobservable-failure",
          "label": "Unobservable Failure",
          "markdown": "https://banes-lab.com/records/architecture/unobservable-failure.md",
          "ref": "architecture:unobservable-failure"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-untested-implementation",
          "json": "https://banes-lab.com/json/records/lexicon/untested-implementation",
          "label": "Untested Implementation",
          "markdown": "https://banes-lab.com/records/lexicon/untested-implementation.md",
          "ref": "lexicon:untested-implementation"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-declared-domain",
          "json": "https://banes-lab.com/json/records/reasoning/invariant-epi-declared-domain",
          "label": "Declared Domain",
          "markdown": "https://banes-lab.com/records/reasoning/invariant-epi-declared-domain.md",
          "ref": "reasoning:invariant-epi-declared-domain"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-silent-failure",
          "json": "https://banes-lab.com/json/records/lexicon/silent-failure",
          "label": "Silent Failure",
          "markdown": "https://banes-lab.com/records/lexicon/silent-failure.md",
          "ref": "lexicon:silent-failure"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-declared-dependency",
          "json": "https://banes-lab.com/json/records/reasoning/invariant-epi-declared-dependency",
          "label": "Declared Dependency",
          "markdown": "https://banes-lab.com/records/reasoning/invariant-epi-declared-dependency.md",
          "ref": "reasoning:invariant-epi-declared-dependency"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-hidden-dependency",
          "json": "https://banes-lab.com/json/records/lexicon/hidden-dependency",
          "label": "Hidden Dependency",
          "markdown": "https://banes-lab.com/records/lexicon/hidden-dependency.md",
          "ref": "lexicon:hidden-dependency"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-verdict-is-representation",
          "json": "https://banes-lab.com/json/records/reasoning/invariant-epi-verdict-is-representation",
          "label": "Checked Verdict",
          "markdown": "https://banes-lab.com/records/reasoning/invariant-epi-verdict-is-representation.md",
          "ref": "reasoning:invariant-epi-verdict-is-representation"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-flaky-test-normalization",
          "json": "https://banes-lab.com/json/records/architecture/flaky-test-normalization",
          "label": "Flaky Test Normalization",
          "markdown": "https://banes-lab.com/records/architecture/flaky-test-normalization.md",
          "ref": "architecture:flaky-test-normalization"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-mock-mirage",
          "json": "https://banes-lab.com/json/records/architecture/mock-mirage",
          "label": "Mock Mirage",
          "markdown": "https://banes-lab.com/records/architecture/mock-mirage.md",
          "ref": "architecture:mock-mirage"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-security-theater",
          "json": "https://banes-lab.com/json/records/architecture/security-theater",
          "label": "Security Theater",
          "markdown": "https://banes-lab.com/records/architecture/security-theater.md",
          "ref": "architecture:security-theater"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-preserved-distinction",
          "json": "https://banes-lab.com/json/records/reasoning/invariant-epi-preserved-distinction",
          "label": "Preserved Distinction",
          "markdown": "https://banes-lab.com/records/reasoning/invariant-epi-preserved-distinction.md",
          "ref": "reasoning:invariant-epi-preserved-distinction"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-null-semantics-drift",
          "json": "https://banes-lab.com/json/records/architecture/null-semantics-drift",
          "label": "Null Semantics Drift",
          "markdown": "https://banes-lab.com/records/architecture/null-semantics-drift.md",
          "ref": "architecture:null-semantics-drift"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-schema-drift",
          "json": "https://banes-lab.com/json/records/architecture/schema-drift",
          "label": "Schema Drift",
          "markdown": "https://banes-lab.com/records/architecture/schema-drift.md",
          "ref": "architecture:schema-drift"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-silent-data-corruption",
          "json": "https://banes-lab.com/json/records/architecture/silent-data-corruption",
          "label": "Silent Data Corruption",
          "markdown": "https://banes-lab.com/records/architecture/silent-data-corruption.md",
          "ref": "architecture:silent-data-corruption"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-fresh-read",
          "json": "https://banes-lab.com/json/records/reasoning/invariant-epi-fresh-read",
          "label": "Fresh Read",
          "markdown": "https://banes-lab.com/records/reasoning/invariant-epi-fresh-read.md",
          "ref": "reasoning:invariant-epi-fresh-read"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-cache-poisoning-by-design",
          "json": "https://banes-lab.com/json/records/architecture/cache-poisoning-by-design",
          "label": "Cache Poisoning by Design",
          "markdown": "https://banes-lab.com/records/architecture/cache-poisoning-by-design.md",
          "ref": "architecture:cache-poisoning-by-design"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-one-derivation",
          "json": "https://banes-lab.com/json/records/reasoning/invariant-epi-one-derivation",
          "label": "One Derivation",
          "markdown": "https://banes-lab.com/records/reasoning/invariant-epi-one-derivation.md",
          "ref": "reasoning:invariant-epi-one-derivation"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-duplicated-authority",
          "json": "https://banes-lab.com/json/records/lexicon/duplicated-authority",
          "label": "Duplicated Authority",
          "markdown": "https://banes-lab.com/records/lexicon/duplicated-authority.md",
          "ref": "lexicon:duplicated-authority"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-weakest-link",
          "json": "https://banes-lab.com/json/records/reasoning/invariant-epi-weakest-link",
          "label": "Weakest Link",
          "markdown": "https://banes-lab.com/records/reasoning/invariant-epi-weakest-link.md",
          "ref": "reasoning:invariant-epi-weakest-link"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-observation-locates",
          "json": "https://banes-lab.com/json/records/reasoning/invariant-epi-observation-locates",
          "label": "Observation Scope",
          "markdown": "https://banes-lab.com/records/reasoning/invariant-epi-observation-locates.md",
          "ref": "reasoning:invariant-epi-observation-locates"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-terminate-on-three",
          "json": "https://banes-lab.com/json/records/reasoning/invariant-epi-terminate-on-three",
          "label": "Three-Condition Stop",
          "markdown": "https://banes-lab.com/records/reasoning/invariant-epi-terminate-on-three.md",
          "ref": "reasoning:invariant-epi-terminate-on-three"
        }
      ],
      "relation": "links-to"
    }
  ],
  "route": null,
  "section": "the-failure-shapes",
  "summary": "Each failure shape names a way a check goes wrong without failing, the invariant it breaks, its fix, the records it shows up in and the quality rules that…",
  "tab": "reasoning",
  "title": "Failure shapes",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/reasoning#the-uncovered-cells",
      "json": "https://banes-lab.com/json/ontology/reasoning/the-uncovered-cells",
      "label": "The uncovered cells",
      "markdown": "https://banes-lab.com/ontology/reasoning/the-uncovered-cells.md",
      "ref": "chapter:/ontology/reasoning#the-uncovered-cells"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/reasoning#the-invariants",
      "json": "https://banes-lab.com/json/ontology/reasoning/the-invariants",
      "label": "The invariants",
      "markdown": "https://banes-lab.com/ontology/reasoning/the-invariants.md",
      "ref": "chapter:/ontology/reasoning#the-invariants"
    }
  },
  "up": {
    "href": "https://banes-lab.com/ontology/reasoning",
    "json": "https://banes-lab.com/json/api/pages/ontology/reasoning",
    "label": "Ontology · Reasoning",
    "markdown": "https://banes-lab.com/api/pages/ontology/reasoning.md",
    "ref": "api:/ontology/reasoning"
  }
}