diff --git a/generated/k9iser/container-build.k9 b/generated/k9iser/container-build.k9
index 00b201d2..51064a24 100644
--- a/generated/k9iser/container-build.k9
+++ b/generated/k9iser/container-build.k9
@@ -1,12 +1,26 @@
+K9!
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # Auto-generated K9 contract for container-build
 # Safety tier: yard
 
+pedigree = {
+  schema_version = "1.0.0"
+  metadata = {
+    name = "container-build"
+    version = "1.0.0"
+  }
+  security = {
+    leash = "yard"
+    signature_required = false
+  }
+}
+
 [must]
 metadata.license : string { == 'AGPL-3.0-or-later' }
 metadata.registry : string { == 'ghcr.io/hyperpolymath' }
 build.runtime : string { == 'podman' }
-layers.game-base.verify : string { == true }
-layers.sync-base.verify : string { == true }
+layers.game-base.verify : bool { == true }
+layers.sync-base.verify : bool { == true }
 layers.sync-runtime.env.PORT : string { == '4030' }
 layers.burble-runtime.env.BURBLE_PORT : string { == '4020' }
 layers.verisimdb-runtime.env.VERISIM_HOST : string { == '0.0.0.0' }
diff --git a/generated/k9iser/deno-workspace.k9 b/generated/k9iser/deno-workspace.k9
index 39fc49a8..fc1d7bef 100644
--- a/generated/k9iser/deno-workspace.k9
+++ b/generated/k9iser/deno-workspace.k9
@@ -1,6 +1,20 @@
+K9!
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # Auto-generated K9 contract for deno-workspace
 # Safety tier: yard
 
+pedigree = {
+  schema_version = "1.0.0"
+  metadata = {
+    name = "deno-workspace"
+    version = "1.0.0"
+  }
+  security = {
+    leash = "yard"
+    signature_required = false
+  }
+}
+
 [must]
 
 [trust]
diff --git a/generated/k9iser/prod-compose-overrides.k9 b/generated/k9iser/prod-compose-overrides.k9
index b180ebd3..22076be0 100644
--- a/generated/k9iser/prod-compose-overrides.k9
+++ b/generated/k9iser/prod-compose-overrides.k9
@@ -1,10 +1,24 @@
+K9!
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # Auto-generated K9 contract for prod-compose-overrides
 # Safety tier: yard
 
+pedigree = {
+  schema_version = "1.0.0"
+  metadata = {
+    name = "prod-compose-overrides"
+    version = "1.0.0"
+  }
+  security = {
+    leash = "yard"
+    signature_required = false
+  }
+}
+
 [must]
-services.game.read_only : string { == true }
-services.sync.read_only : string { == true }
-services.escape-hatch.read_only : string { == true }
+services.game.read_only : bool { == true }
+services.sync.read_only : bool { == true }
+services.escape-hatch.read_only : bool { == true }
 
 [trust]
 signed-by = "ci-pipeline"