{
  "title": "Engineering requirements and verification records for AI",
  "source_page": "https://fiund.com/industries/engineering-verification-matrix-data",
  "authorship": "Original fictional Fiund editorial exercise. No actual operating records or third-party source assets are included.",
  "example": {
    "title": "A verification result must match the current requirement condition",
    "context": "An inert practice bracket and arbitrary readings support an original requirements matrix. The exercise makes no actual engineering, regulated-product or safety determination.",
    "records": [
      [
        "EV1",
        "Practice requirement R1 revision A",
        "Measure Q under condition C1; allowed practice range 4–6 units."
      ],
      [
        "EV2",
        "Authorized revision B",
        "R1 now requires condition C2; numerical range unchanged. Result T1=5 under C1 predates B."
      ],
      [
        "EV3",
        "Current result T2",
        "R1/Q=5 under C2, reviewer links to B. Separate R2 has no result supplied."
      ]
    ],
    "question": "Which result matches R1's current condition, and does the older in-range T1 or R1's result establish R2 verification?",
    "answer": "EV3's T2 matches R1 revision B's C2 condition and reports a value within the fictional 4–6 range. T1 is also numerically in range but uses superseded C1, so it is not matching evidence for the current condition without an equivalence record. Neither result names R2. Preserve requirement, revision, condition and result link rather than accepting a bare number or transferring verification across requirements.",
    "failureModes": [
      "Accepting an in-range result under the wrong test condition.",
      "Using one requirement's result to mark an unrelated matrix row verified."
    ],
    "fields": [
      [
        "Requirement and revision",
        "Defines what must be checked."
      ],
      [
        "Condition and measure",
        "Makes the result's scope explicit."
      ],
      [
        "Evidence link and reviewer",
        "Connects a matrix status to its actual source."
      ]
    ],
    "holdout": "Change the range while retaining C2. Require the model to check both condition and numerical criterion rather than only the latest condition label.",
    "boundary": "Use original practice hardware and dummy readings. Exclude client designs, proprietary methods, regulated files and product-safety judgments."
  }
}