Machine-audit template pack - K&K Data Service Inc.
https://www.kkdatasvc.com/lab/bim-validation-checks/

Three blank JSON templates for evidence-gated engineering runs, in the shape we
use on our own GB300-class reference design work:

  RUN_CONTRACT.template.json   written BEFORE a machine run: scope, must-not-touch,
                               acceptance criteria, stop conditions, frozen input hashes
  READBACK.template.json       an independent read-only validator re-deriving the
                               run's claimed facts; run permissive AND strict criteria
                               and publish both
  CLOSURE_VERDICT.template.json gates with evidence, one allowed claim, an explicit
                               forbidden-claims list, and a named human acceptance

Fields marked <angle brackets> are yours to fill; "_meaning" keys document intent and
can be deleted in use. Real, unedited artifacts in exactly these shapes - including a
permissive PASS and strict FAIL of the same model - are published in our sample pack:
https://www.kkdatasvc.com/lab/downloads/kk-bim-machine-audit-samples-20261008.zip
The checks these artifacts govern are catalogued at
https://www.kkdatasvc.com/lab/bim-validation-checks/ and the working record behind
them at https://www.kkdatasvc.com/lab/.

License: CC-BY-4.0. (c) 2026 K&K Data Service Inc.
