Publish pinned IR assets 6ae4b106486a

.gitattributes

@@ -33,3 +33,11 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
 *.zip filter=lfs diff=lfs merge=lfs -text
 *.zst filter=lfs diff=lfs merge=lfs -text
 *tfevents* filter=lfs diff=lfs merge=lfs -text
+releases/20261004-all-retained-v1/checkpoints/09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6/checkpoint.json filter=lfs diff=lfs merge=lfs -text
+releases/20261004-all-retained-v1/checkpoints/1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc/checkpoint.json filter=lfs diff=lfs merge=lfs -text
+releases/20261004-all-retained-v1/checkpoints/7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f/checkpoint.json filter=lfs diff=lfs merge=lfs -text
+releases/20261004-all-retained-v1/checkpoints/8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034/checkpoint.json filter=lfs diff=lfs merge=lfs -text
+releases/20261004-all-retained-v1/checkpoints/b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de/checkpoint.json filter=lfs diff=lfs merge=lfs -text
+releases/20261004-all-retained-v1/checkpoints/c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6/checkpoint.json filter=lfs diff=lfs merge=lfs -text
+releases/20261004-all-retained-v1/checkpoints/e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1/checkpoint.json filter=lfs diff=lfs merge=lfs -text
+releases/20261004-all-retained-v1/checkpoints/f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d/checkpoint.json filter=lfs diff=lfs merge=lfs -text

releases/20261004-all-retained-v1/checkpoints/05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262/asset-manifest.json

@@ -0,0 +1,305 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": {
+      "denoising": 0.05,
+      "learning_rate": 0.001,
+      "max_seconds": 120,
+      "minibatch_size": 6,
+      "patience": 24,
+      "ridge": 0.001,
+      "seed": 1729
+    },
+    "fit_associations": [
+      {
+        "declared_checkpoint_sha256": "05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262",
+        "fits_receipt": {
+          "bytes": 11204026,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/fits.json",
+          "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+        },
+        "recorded_arm": "baseline",
+        "recorded_domain": "security_ir",
+        "recorded_fit_seconds": 0.9996025341097265,
+        "recorded_seed": 1729,
+        "recorded_strategy": null,
+        "row_index": 6
+      }
+    ],
+    "implementation": {
+      "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+      "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+      "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+      "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-01/security_ir/baseline-1729/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 1866375,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/baseline-1729/family_checkpoint.json",
+        "sha256": "05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262"
+      },
+      "record_index": 44,
+      "role": "run-01/security_ir/baseline-1729/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 1866375,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262/checkpoint.json",
+    "sha256": "05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262"
+  },
+  "companion_assets": [
+    {
+      "original_pin": {
+        "bytes": 11204026,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/fits.json",
+        "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+      },
+      "published_file": {
+        "file_pin": {
+          "bytes": 11204026,
+          "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/payloads/3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4/asset.bin",
+          "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+        },
+        "path_in_repo": "releases/20261004-all-retained-v1/companions/3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4/asset.bin"
+      }
+    }
+  ],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 1866375,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/baseline-1729/family_checkpoint.json",
+          "sha256": "05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:33784452b192e1a1f259eefeb9cdf1dc73dde22b5cba9a4be48576597d201f6b",
+        "role": "run-01/security_ir/baseline-1729/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": {
+          "denoising": 0.05,
+          "learning_rate": 0.001,
+          "max_seconds": 120,
+          "minibatch_size": 6,
+          "patience": 24,
+          "ridge": 0.001,
+          "seed": 1729
+        },
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": null,
+            "input_feature_count": 2791,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                2791,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                2791
+              ],
+              [
+                2791
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-01/security_ir/baseline-1729/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+          "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+          "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+          "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-calibrated-autoencoder/prepared-v3",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-calibrated-autoencoder/prepared-v3"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          2791
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:33784452b192e1a1f259eefeb9cdf1dc73dde22b5cba9a4be48576597d201f6b",
+    "model_name": "security_ir retained 05ff2340af045d08",
+    "model_revision": "05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 1866375,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/baseline-1729/family_checkpoint.json",
+    "sha256": "05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 1866375,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/baseline-1729/family_checkpoint.json",
+      "sha256": "05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6/asset-manifest.json

@@ -0,0 +1,300 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": null,
+    "fit_associations": [],
+    "implementation": {
+      "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+      "ridge_kernel": {
+        "prepared": {
+          "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+          "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+          "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+          "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+        },
+        "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+      },
+      "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-02/security_ir/warmup-adam/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 95069996,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/warmup-adam/family_checkpoint.json",
+        "sha256": "09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6"
+      },
+      "record_index": 82,
+      "role": "run-02/security_ir/warmup-adam/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 95069996,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6/checkpoint.json",
+    "sha256": "09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6"
+  },
+  "companion_assets": [],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 95069996,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/warmup-adam/family_checkpoint.json",
+          "sha256": "09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:9daeea227b7995603abe5c20f1da54e654ccb95b12f60417131ccbb599cf95f6",
+        "role": "run-02/security_ir/warmup-adam/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": null,
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": "native-family-complete-compositional-features/v1",
+            "input_feature_count": 172401,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                172401,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                172401
+              ],
+              [
+                172401
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-02/security_ir/warmup-adam/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+          "ridge_kernel": {
+            "prepared": {
+              "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+              "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+              "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+              "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+            },
+            "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+          },
+          "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.authorization": "78f04e9231f9d04d98ab3597e52e8bb8c49d63047544657d33491b161effeeb7",
+            "ipfs_datasets_py.logic.software_verification.concurrency": "4d47e1ffd235282b841ae00644832ec9105fc90ee9dbf05ced901f937e0e346a",
+            "ipfs_datasets_py.logic.software_verification.protocol": "46e69f306c9eb2368d5d1abe589b10dfa10d09ab2e0ef3018585c76bd7c6335a",
+            "ipfs_datasets_py.logic.software_verification.refinement": "975b8493035f414e82a611499c119aab9843b0b8546bd1cb82d04344f170874d",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "security_ir/supplemental/authorization/v2": {
+              "logic_family": "authorization",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "datalog",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/concurrency/v2": {
+              "logic_family": "concurrency",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "rely_guarantee",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/protocol/v2": {
+              "logic_family": "cryptographic_protocol",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "dolev_yao",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/refinement/v2": {
+              "logic_family": "refinement",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "simulation",
+              "representation_kind": "native_typed_projection"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-complete-autoencoder/v1",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-complete-autoencoder/v1"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          172401
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:9daeea227b7995603abe5c20f1da54e654ccb95b12f60417131ccbb599cf95f6",
+    "model_name": "security_ir retained 09ca458ea3e75165",
+    "model_revision": "09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 95069996,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/warmup-adam/family_checkpoint.json",
+    "sha256": "09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 95069996,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/warmup-adam/family_checkpoint.json",
+      "sha256": "09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6/checkpoint.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6
+size 95069996

releases/20261004-all-retained-v1/checkpoints/1c90a6fe0e15fe63f15b90e5d2a643938e67bca5a8f26e5aea6d21fe8b0338c1/asset-manifest.json

@@ -0,0 +1,274 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": {
+      "denoising": 0.05,
+      "learning_rate": 0.001,
+      "max_seconds": 120,
+      "minibatch_size": 32,
+      "patience": 1,
+      "ridge": 0.001,
+      "seed": 1729
+    },
+    "fit_associations": [],
+    "implementation": {
+      "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+      "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+      "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+      "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-01/security_ir/warmup/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 1858812,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/warmup/family_checkpoint.json",
+        "sha256": "1c90a6fe0e15fe63f15b90e5d2a643938e67bca5a8f26e5aea6d21fe8b0338c1"
+      },
+      "record_index": 50,
+      "role": "run-01/security_ir/warmup/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 1858812,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/1c90a6fe0e15fe63f15b90e5d2a643938e67bca5a8f26e5aea6d21fe8b0338c1/checkpoint.json",
+    "sha256": "1c90a6fe0e15fe63f15b90e5d2a643938e67bca5a8f26e5aea6d21fe8b0338c1"
+  },
+  "companion_assets": [],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 1858812,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/warmup/family_checkpoint.json",
+          "sha256": "1c90a6fe0e15fe63f15b90e5d2a643938e67bca5a8f26e5aea6d21fe8b0338c1"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:4bb1ffac5a640e1a74e53728f60e2f081eedb9893dcc815260aa2c8ce026f641",
+        "role": "run-01/security_ir/warmup/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": {
+          "denoising": 0.05,
+          "learning_rate": 0.001,
+          "max_seconds": 120,
+          "minibatch_size": 32,
+          "patience": 1,
+          "ridge": 0.001,
+          "seed": 1729
+        },
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": null,
+            "input_feature_count": 2791,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                2791,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                2791
+              ],
+              [
+                2791
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-01/security_ir/warmup/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+          "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+          "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+          "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-calibrated-autoencoder/prepared-v3",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-calibrated-autoencoder/prepared-v3"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          2791
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:4bb1ffac5a640e1a74e53728f60e2f081eedb9893dcc815260aa2c8ce026f641",
+    "model_name": "security_ir retained 1c90a6fe0e15fe63",
+    "model_revision": "1c90a6fe0e15fe63f15b90e5d2a643938e67bca5a8f26e5aea6d21fe8b0338c1",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "1c90a6fe0e15fe63f15b90e5d2a643938e67bca5a8f26e5aea6d21fe8b0338c1",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 1858812,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/warmup/family_checkpoint.json",
+    "sha256": "1c90a6fe0e15fe63f15b90e5d2a643938e67bca5a8f26e5aea6d21fe8b0338c1"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/1c90a6fe0e15fe63f15b90e5d2a643938e67bca5a8f26e5aea6d21fe8b0338c1/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 1858812,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/warmup/family_checkpoint.json",
+      "sha256": "1c90a6fe0e15fe63f15b90e5d2a643938e67bca5a8f26e5aea6d21fe8b0338c1"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc/asset-manifest.json

@@ -0,0 +1,331 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": null,
+    "fit_associations": [
+      {
+        "declared_checkpoint_sha256": "1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc",
+        "fits_receipt": {
+          "bytes": 13611542,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/fits.json",
+          "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+        },
+        "recorded_arm": null,
+        "recorded_domain": "security_ir",
+        "recorded_fit_seconds": 46.60099284304306,
+        "recorded_seed": 1731,
+        "recorded_strategy": "adam",
+        "row_index": 10
+      }
+    ],
+    "implementation": {
+      "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+      "ridge_kernel": {
+        "prepared": {
+          "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+          "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+          "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+          "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+        },
+        "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+      },
+      "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-02/security_ir/adam-1731/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 95071693,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/adam-1731/family_checkpoint.json",
+        "sha256": "1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc"
+      },
+      "record_index": 78,
+      "role": "run-02/security_ir/adam-1731/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 95071693,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc/checkpoint.json",
+    "sha256": "1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc"
+  },
+  "companion_assets": [
+    {
+      "original_pin": {
+        "bytes": 13611542,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/fits.json",
+        "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+      },
+      "published_file": {
+        "file_pin": {
+          "bytes": 13611542,
+          "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/payloads/4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5/asset.bin",
+          "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+        },
+        "path_in_repo": "releases/20261004-all-retained-v1/companions/4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5/asset.bin"
+      }
+    }
+  ],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 95071693,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/adam-1731/family_checkpoint.json",
+          "sha256": "1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:d699773a99aca6acf3ce958009649403f9b679b8eab11154621d5eaf4d38eff7",
+        "role": "run-02/security_ir/adam-1731/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": null,
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": "native-family-complete-compositional-features/v1",
+            "input_feature_count": 172401,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                172401,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                172401
+              ],
+              [
+                172401
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-02/security_ir/adam-1731/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+          "ridge_kernel": {
+            "prepared": {
+              "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+              "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+              "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+              "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+            },
+            "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+          },
+          "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.authorization": "78f04e9231f9d04d98ab3597e52e8bb8c49d63047544657d33491b161effeeb7",
+            "ipfs_datasets_py.logic.software_verification.concurrency": "4d47e1ffd235282b841ae00644832ec9105fc90ee9dbf05ced901f937e0e346a",
+            "ipfs_datasets_py.logic.software_verification.protocol": "46e69f306c9eb2368d5d1abe589b10dfa10d09ab2e0ef3018585c76bd7c6335a",
+            "ipfs_datasets_py.logic.software_verification.refinement": "975b8493035f414e82a611499c119aab9843b0b8546bd1cb82d04344f170874d",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "security_ir/supplemental/authorization/v2": {
+              "logic_family": "authorization",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "datalog",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/concurrency/v2": {
+              "logic_family": "concurrency",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "rely_guarantee",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/protocol/v2": {
+              "logic_family": "cryptographic_protocol",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "dolev_yao",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/refinement/v2": {
+              "logic_family": "refinement",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "simulation",
+              "representation_kind": "native_typed_projection"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-complete-autoencoder/v1",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-complete-autoencoder/v1"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          172401
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:d699773a99aca6acf3ce958009649403f9b679b8eab11154621d5eaf4d38eff7",
+    "model_name": "security_ir retained 1e4d4708ac2d582d",
+    "model_revision": "1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 95071693,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/adam-1731/family_checkpoint.json",
+    "sha256": "1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 95071693,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/adam-1731/family_checkpoint.json",
+      "sha256": "1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc/checkpoint.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc
+size 95071693

releases/20261004-all-retained-v1/checkpoints/5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c/asset-manifest.json

@@ -0,0 +1,305 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": {
+      "denoising": 0.05,
+      "learning_rate": 0.001,
+      "max_seconds": 120,
+      "minibatch_size": 6,
+      "patience": 24,
+      "ridge": 0.001,
+      "seed": 1730
+    },
+    "fit_associations": [
+      {
+        "declared_checkpoint_sha256": "5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c",
+        "fits_receipt": {
+          "bytes": 11204026,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/fits.json",
+          "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+        },
+        "recorded_arm": "baseline",
+        "recorded_domain": "security_ir",
+        "recorded_fit_seconds": 0.9798606738913804,
+        "recorded_seed": 1730,
+        "recorded_strategy": null,
+        "row_index": 9
+      }
+    ],
+    "implementation": {
+      "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+      "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+      "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+      "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-01/security_ir/baseline-1730/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 1866376,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/baseline-1730/family_checkpoint.json",
+        "sha256": "5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c"
+      },
+      "record_index": 45,
+      "role": "run-01/security_ir/baseline-1730/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 1866376,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c/checkpoint.json",
+    "sha256": "5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c"
+  },
+  "companion_assets": [
+    {
+      "original_pin": {
+        "bytes": 11204026,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/fits.json",
+        "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+      },
+      "published_file": {
+        "file_pin": {
+          "bytes": 11204026,
+          "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/payloads/3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4/asset.bin",
+          "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+        },
+        "path_in_repo": "releases/20261004-all-retained-v1/companions/3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4/asset.bin"
+      }
+    }
+  ],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 1866376,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/baseline-1730/family_checkpoint.json",
+          "sha256": "5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:a3e29940827470bc2b5b888c19292ad0faec030431365b2b0cb01430d795ead4",
+        "role": "run-01/security_ir/baseline-1730/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": {
+          "denoising": 0.05,
+          "learning_rate": 0.001,
+          "max_seconds": 120,
+          "minibatch_size": 6,
+          "patience": 24,
+          "ridge": 0.001,
+          "seed": 1730
+        },
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": null,
+            "input_feature_count": 2791,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                2791,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                2791
+              ],
+              [
+                2791
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-01/security_ir/baseline-1730/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+          "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+          "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+          "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-calibrated-autoencoder/prepared-v3",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-calibrated-autoencoder/prepared-v3"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          2791
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:a3e29940827470bc2b5b888c19292ad0faec030431365b2b0cb01430d795ead4",
+    "model_name": "security_ir retained 5ab5d890801fedcb",
+    "model_revision": "5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 1866376,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/baseline-1730/family_checkpoint.json",
+    "sha256": "5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 1866376,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/baseline-1730/family_checkpoint.json",
+      "sha256": "5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a/asset-manifest.json

@@ -0,0 +1,319 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": {
+      "ridges": [
+        0.0001,
+        0.001,
+        0.01,
+        0.1
+      ],
+      "shrinkages": [
+        0.25,
+        0.5,
+        1.0
+      ]
+    },
+    "fit_associations": [
+      {
+        "declared_checkpoint_sha256": "694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a",
+        "fits_receipt": {
+          "bytes": 11204026,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/fits.json",
+          "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+        },
+        "recorded_arm": "candidate",
+        "recorded_domain": "security_ir",
+        "recorded_fit_seconds": 0.40791355399414897,
+        "recorded_seed": 1730,
+        "recorded_strategy": null,
+        "row_index": 8
+      }
+    ],
+    "implementation": {
+      "prepared": {
+        "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+        "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+        "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+        "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+      },
+      "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-01/security_ir/candidate-1730/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 1786933,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/candidate-1730/family_checkpoint.json",
+        "sha256": "694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a"
+      },
+      "record_index": 48,
+      "role": "run-01/security_ir/candidate-1730/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 1786933,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a/checkpoint.json",
+    "sha256": "694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a"
+  },
+  "companion_assets": [
+    {
+      "original_pin": {
+        "bytes": 11204026,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/fits.json",
+        "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+      },
+      "published_file": {
+        "file_pin": {
+          "bytes": 11204026,
+          "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/payloads/3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4/asset.bin",
+          "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+        },
+        "path_in_repo": "releases/20261004-all-retained-v1/companions/3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4/asset.bin"
+      }
+    }
+  ],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 1786933,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/candidate-1730/family_checkpoint.json",
+          "sha256": "694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:071271a7f4ea577092091837b38503d049075ec74026e17b7d1d0a5cce4ea34e",
+        "role": "run-01/security_ir/candidate-1730/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": {
+          "ridges": [
+            0.0001,
+            0.001,
+            0.01,
+            0.1
+          ],
+          "shrinkages": [
+            0.25,
+            0.5,
+            1.0
+          ]
+        },
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": null,
+            "input_feature_count": 2791,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                2791,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                2791
+              ],
+              [
+                2791
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-01/security_ir/candidate-1730/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "prepared": {
+            "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+            "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+            "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+          },
+          "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-ridge-path/v1",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-ridge-path/v1"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          2791
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:071271a7f4ea577092091837b38503d049075ec74026e17b7d1d0a5cce4ea34e",
+    "model_name": "security_ir retained 694beba29867309c",
+    "model_revision": "694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 1786933,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/candidate-1730/family_checkpoint.json",
+    "sha256": "694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 1786933,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/candidate-1730/family_checkpoint.json",
+      "sha256": "694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7/asset-manifest.json

@@ -0,0 +1,319 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": {
+      "ridges": [
+        0.0001,
+        0.001,
+        0.01,
+        0.1
+      ],
+      "shrinkages": [
+        0.25,
+        0.5,
+        1.0
+      ]
+    },
+    "fit_associations": [
+      {
+        "declared_checkpoint_sha256": "71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7",
+        "fits_receipt": {
+          "bytes": 11204026,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/fits.json",
+          "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+        },
+        "recorded_arm": "candidate",
+        "recorded_domain": "security_ir",
+        "recorded_fit_seconds": 0.4049268770031631,
+        "recorded_seed": 1729,
+        "recorded_strategy": null,
+        "row_index": 7
+      }
+    ],
+    "implementation": {
+      "prepared": {
+        "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+        "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+        "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+        "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+      },
+      "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-01/security_ir/candidate-1729/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 1786932,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/candidate-1729/family_checkpoint.json",
+        "sha256": "71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7"
+      },
+      "record_index": 47,
+      "role": "run-01/security_ir/candidate-1729/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 1786932,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7/checkpoint.json",
+    "sha256": "71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7"
+  },
+  "companion_assets": [
+    {
+      "original_pin": {
+        "bytes": 11204026,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/fits.json",
+        "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+      },
+      "published_file": {
+        "file_pin": {
+          "bytes": 11204026,
+          "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/payloads/3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4/asset.bin",
+          "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+        },
+        "path_in_repo": "releases/20261004-all-retained-v1/companions/3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4/asset.bin"
+      }
+    }
+  ],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 1786932,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/candidate-1729/family_checkpoint.json",
+          "sha256": "71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:7c4ac96c7f6ecffdfbbf56318749df8eeb9c96659e2ebd323730e727a096cc8a",
+        "role": "run-01/security_ir/candidate-1729/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": {
+          "ridges": [
+            0.0001,
+            0.001,
+            0.01,
+            0.1
+          ],
+          "shrinkages": [
+            0.25,
+            0.5,
+            1.0
+          ]
+        },
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": null,
+            "input_feature_count": 2791,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                2791,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                2791
+              ],
+              [
+                2791
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-01/security_ir/candidate-1729/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "prepared": {
+            "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+            "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+            "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+          },
+          "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-ridge-path/v1",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-ridge-path/v1"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          2791
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:7c4ac96c7f6ecffdfbbf56318749df8eeb9c96659e2ebd323730e727a096cc8a",
+    "model_name": "security_ir retained 71032ee9dd347167",
+    "model_revision": "71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 1786932,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/candidate-1729/family_checkpoint.json",
+    "sha256": "71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 1786932,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/candidate-1729/family_checkpoint.json",
+      "sha256": "71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f/asset-manifest.json

@@ -0,0 +1,331 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": null,
+    "fit_associations": [
+      {
+        "declared_checkpoint_sha256": "7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f",
+        "fits_receipt": {
+          "bytes": 13611542,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/fits.json",
+          "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+        },
+        "recorded_arm": null,
+        "recorded_domain": "security_ir",
+        "recorded_fit_seconds": 16.422519662883133,
+        "recorded_seed": 1730,
+        "recorded_strategy": "ridge_path",
+        "row_index": 8
+      }
+    ],
+    "implementation": {
+      "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+      "ridge_kernel": {
+        "prepared": {
+          "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+          "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+          "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+          "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+        },
+        "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+      },
+      "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-02/security_ir/ridge_path-1730/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 95071395,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/ridge_path-1730/family_checkpoint.json",
+        "sha256": "7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f"
+      },
+      "record_index": 80,
+      "role": "run-02/security_ir/ridge_path-1730/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 95071395,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f/checkpoint.json",
+    "sha256": "7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f"
+  },
+  "companion_assets": [
+    {
+      "original_pin": {
+        "bytes": 13611542,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/fits.json",
+        "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+      },
+      "published_file": {
+        "file_pin": {
+          "bytes": 13611542,
+          "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/payloads/4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5/asset.bin",
+          "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+        },
+        "path_in_repo": "releases/20261004-all-retained-v1/companions/4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5/asset.bin"
+      }
+    }
+  ],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 95071395,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/ridge_path-1730/family_checkpoint.json",
+          "sha256": "7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:20eb74fc0b1d22db4ccfd6dd91a9e646e0da29be778c1a6825794ec29dab367a",
+        "role": "run-02/security_ir/ridge_path-1730/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": null,
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": "native-family-complete-compositional-features/v1",
+            "input_feature_count": 172401,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                172401,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                172401
+              ],
+              [
+                172401
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-02/security_ir/ridge_path-1730/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+          "ridge_kernel": {
+            "prepared": {
+              "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+              "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+              "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+              "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+            },
+            "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+          },
+          "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.authorization": "78f04e9231f9d04d98ab3597e52e8bb8c49d63047544657d33491b161effeeb7",
+            "ipfs_datasets_py.logic.software_verification.concurrency": "4d47e1ffd235282b841ae00644832ec9105fc90ee9dbf05ced901f937e0e346a",
+            "ipfs_datasets_py.logic.software_verification.protocol": "46e69f306c9eb2368d5d1abe589b10dfa10d09ab2e0ef3018585c76bd7c6335a",
+            "ipfs_datasets_py.logic.software_verification.refinement": "975b8493035f414e82a611499c119aab9843b0b8546bd1cb82d04344f170874d",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "security_ir/supplemental/authorization/v2": {
+              "logic_family": "authorization",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "datalog",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/concurrency/v2": {
+              "logic_family": "concurrency",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "rely_guarantee",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/protocol/v2": {
+              "logic_family": "cryptographic_protocol",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "dolev_yao",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/refinement/v2": {
+              "logic_family": "refinement",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "simulation",
+              "representation_kind": "native_typed_projection"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-complete-autoencoder/v1",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-complete-autoencoder/v1"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          172401
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:20eb74fc0b1d22db4ccfd6dd91a9e646e0da29be778c1a6825794ec29dab367a",
+    "model_name": "security_ir retained 7eb44b9527d2274a",
+    "model_revision": "7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 95071395,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/ridge_path-1730/family_checkpoint.json",
+    "sha256": "7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 95071395,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/ridge_path-1730/family_checkpoint.json",
+      "sha256": "7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f/checkpoint.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f
+size 95071395

releases/20261004-all-retained-v1/checkpoints/82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe/asset-manifest.json

@@ -0,0 +1,319 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": {
+      "ridges": [
+        0.0001,
+        0.001,
+        0.01,
+        0.1
+      ],
+      "shrinkages": [
+        0.25,
+        0.5,
+        1.0
+      ]
+    },
+    "fit_associations": [
+      {
+        "declared_checkpoint_sha256": "82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe",
+        "fits_receipt": {
+          "bytes": 11204026,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/fits.json",
+          "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+        },
+        "recorded_arm": "candidate",
+        "recorded_domain": "security_ir",
+        "recorded_fit_seconds": 0.40052625886164606,
+        "recorded_seed": 1731,
+        "recorded_strategy": null,
+        "row_index": 11
+      }
+    ],
+    "implementation": {
+      "prepared": {
+        "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+        "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+        "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+        "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+      },
+      "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-01/security_ir/candidate-1731/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 1786933,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/candidate-1731/family_checkpoint.json",
+        "sha256": "82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe"
+      },
+      "record_index": 49,
+      "role": "run-01/security_ir/candidate-1731/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 1786933,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe/checkpoint.json",
+    "sha256": "82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe"
+  },
+  "companion_assets": [
+    {
+      "original_pin": {
+        "bytes": 11204026,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/fits.json",
+        "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+      },
+      "published_file": {
+        "file_pin": {
+          "bytes": 11204026,
+          "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/payloads/3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4/asset.bin",
+          "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+        },
+        "path_in_repo": "releases/20261004-all-retained-v1/companions/3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4/asset.bin"
+      }
+    }
+  ],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 1786933,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/candidate-1731/family_checkpoint.json",
+          "sha256": "82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:1e978b7a654a015484057669a9b9b5daf54a301fb9b8250b15a56aad2054cd0a",
+        "role": "run-01/security_ir/candidate-1731/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": {
+          "ridges": [
+            0.0001,
+            0.001,
+            0.01,
+            0.1
+          ],
+          "shrinkages": [
+            0.25,
+            0.5,
+            1.0
+          ]
+        },
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": null,
+            "input_feature_count": 2791,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                2791,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                2791
+              ],
+              [
+                2791
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-01/security_ir/candidate-1731/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "prepared": {
+            "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+            "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+            "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+          },
+          "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-ridge-path/v1",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-ridge-path/v1"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          2791
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:1e978b7a654a015484057669a9b9b5daf54a301fb9b8250b15a56aad2054cd0a",
+    "model_name": "security_ir retained 82c497f603882416",
+    "model_revision": "82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 1786933,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/candidate-1731/family_checkpoint.json",
+    "sha256": "82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 1786933,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/candidate-1731/family_checkpoint.json",
+      "sha256": "82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034/asset-manifest.json

@@ -0,0 +1,331 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": null,
+    "fit_associations": [
+      {
+        "declared_checkpoint_sha256": "8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034",
+        "fits_receipt": {
+          "bytes": 13611542,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/fits.json",
+          "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+        },
+        "recorded_arm": null,
+        "recorded_domain": "security_ir",
+        "recorded_fit_seconds": 16.340623572003096,
+        "recorded_seed": 1729,
+        "recorded_strategy": "ridge_path",
+        "row_index": 7
+      }
+    ],
+    "implementation": {
+      "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+      "ridge_kernel": {
+        "prepared": {
+          "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+          "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+          "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+          "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+        },
+        "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+      },
+      "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-02/security_ir/ridge_path-1729/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 95071395,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/ridge_path-1729/family_checkpoint.json",
+        "sha256": "8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034"
+      },
+      "record_index": 79,
+      "role": "run-02/security_ir/ridge_path-1729/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 95071395,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034/checkpoint.json",
+    "sha256": "8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034"
+  },
+  "companion_assets": [
+    {
+      "original_pin": {
+        "bytes": 13611542,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/fits.json",
+        "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+      },
+      "published_file": {
+        "file_pin": {
+          "bytes": 13611542,
+          "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/payloads/4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5/asset.bin",
+          "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+        },
+        "path_in_repo": "releases/20261004-all-retained-v1/companions/4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5/asset.bin"
+      }
+    }
+  ],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 95071395,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/ridge_path-1729/family_checkpoint.json",
+          "sha256": "8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:d0a17e1ebe7763c00cfffc87236b40625674cb077bfd42d95fa261985375798f",
+        "role": "run-02/security_ir/ridge_path-1729/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": null,
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": "native-family-complete-compositional-features/v1",
+            "input_feature_count": 172401,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                172401,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                172401
+              ],
+              [
+                172401
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-02/security_ir/ridge_path-1729/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+          "ridge_kernel": {
+            "prepared": {
+              "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+              "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+              "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+              "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+            },
+            "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+          },
+          "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.authorization": "78f04e9231f9d04d98ab3597e52e8bb8c49d63047544657d33491b161effeeb7",
+            "ipfs_datasets_py.logic.software_verification.concurrency": "4d47e1ffd235282b841ae00644832ec9105fc90ee9dbf05ced901f937e0e346a",
+            "ipfs_datasets_py.logic.software_verification.protocol": "46e69f306c9eb2368d5d1abe589b10dfa10d09ab2e0ef3018585c76bd7c6335a",
+            "ipfs_datasets_py.logic.software_verification.refinement": "975b8493035f414e82a611499c119aab9843b0b8546bd1cb82d04344f170874d",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "security_ir/supplemental/authorization/v2": {
+              "logic_family": "authorization",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "datalog",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/concurrency/v2": {
+              "logic_family": "concurrency",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "rely_guarantee",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/protocol/v2": {
+              "logic_family": "cryptographic_protocol",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "dolev_yao",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/refinement/v2": {
+              "logic_family": "refinement",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "simulation",
+              "representation_kind": "native_typed_projection"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-complete-autoencoder/v1",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-complete-autoencoder/v1"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          172401
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:d0a17e1ebe7763c00cfffc87236b40625674cb077bfd42d95fa261985375798f",
+    "model_name": "security_ir retained 8ca5b43b350d7685",
+    "model_revision": "8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 95071395,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/ridge_path-1729/family_checkpoint.json",
+    "sha256": "8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 95071395,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/ridge_path-1729/family_checkpoint.json",
+      "sha256": "8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034/checkpoint.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034
+size 95071395

releases/20261004-all-retained-v1/checkpoints/9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec/asset-manifest.json

@@ -0,0 +1,305 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": {
+      "denoising": 0.05,
+      "learning_rate": 0.001,
+      "max_seconds": 120,
+      "minibatch_size": 6,
+      "patience": 24,
+      "ridge": 0.001,
+      "seed": 1731
+    },
+    "fit_associations": [
+      {
+        "declared_checkpoint_sha256": "9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec",
+        "fits_receipt": {
+          "bytes": 11204026,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/fits.json",
+          "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+        },
+        "recorded_arm": "baseline",
+        "recorded_domain": "security_ir",
+        "recorded_fit_seconds": 0.9718062970787287,
+        "recorded_seed": 1731,
+        "recorded_strategy": null,
+        "row_index": 10
+      }
+    ],
+    "implementation": {
+      "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+      "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+      "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+      "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-01/security_ir/baseline-1731/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 1866353,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/baseline-1731/family_checkpoint.json",
+        "sha256": "9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec"
+      },
+      "record_index": 46,
+      "role": "run-01/security_ir/baseline-1731/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 1866353,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec/checkpoint.json",
+    "sha256": "9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec"
+  },
+  "companion_assets": [
+    {
+      "original_pin": {
+        "bytes": 11204026,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/fits.json",
+        "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+      },
+      "published_file": {
+        "file_pin": {
+          "bytes": 11204026,
+          "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/payloads/3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4/asset.bin",
+          "sha256": "3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4"
+        },
+        "path_in_repo": "releases/20261004-all-retained-v1/companions/3ef77ad5d6f769ce7e1a753d859a3ca6d532cdd47df1e89b5712b8446a8a7ee4/asset.bin"
+      }
+    }
+  ],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 1866353,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/baseline-1731/family_checkpoint.json",
+          "sha256": "9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:51848ee442c29947b31f0c2de903e6be35510cdcf7903b9e28b2307beb9dfc88",
+        "role": "run-01/security_ir/baseline-1731/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": {
+          "denoising": 0.05,
+          "learning_rate": 0.001,
+          "max_seconds": 120,
+          "minibatch_size": 6,
+          "patience": 24,
+          "ridge": 0.001,
+          "seed": 1731
+        },
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": null,
+            "input_feature_count": 2791,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                2791,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                2791
+              ],
+              [
+                2791
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-01/security_ir/baseline-1731/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+          "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+          "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+          "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-calibrated-autoencoder/prepared-v3",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-calibrated-autoencoder/prepared-v3"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          2791
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:51848ee442c29947b31f0c2de903e6be35510cdcf7903b9e28b2307beb9dfc88",
+    "model_name": "security_ir retained 9adef4cc69412286",
+    "model_revision": "9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 1866353,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/baseline-1731/family_checkpoint.json",
+    "sha256": "9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 1866353,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/baseline-1731/family_checkpoint.json",
+      "sha256": "9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de/asset-manifest.json

@@ -0,0 +1,331 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": null,
+    "fit_associations": [
+      {
+        "declared_checkpoint_sha256": "b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de",
+        "fits_receipt": {
+          "bytes": 13611542,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/fits.json",
+          "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+        },
+        "recorded_arm": null,
+        "recorded_domain": "security_ir",
+        "recorded_fit_seconds": 17.412412588018924,
+        "recorded_seed": 1731,
+        "recorded_strategy": "ridge_path",
+        "row_index": 11
+      }
+    ],
+    "implementation": {
+      "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+      "ridge_kernel": {
+        "prepared": {
+          "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+          "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+          "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+          "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+        },
+        "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+      },
+      "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-02/security_ir/ridge_path-1731/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 95071393,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/ridge_path-1731/family_checkpoint.json",
+        "sha256": "b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de"
+      },
+      "record_index": 81,
+      "role": "run-02/security_ir/ridge_path-1731/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 95071393,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de/checkpoint.json",
+    "sha256": "b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de"
+  },
+  "companion_assets": [
+    {
+      "original_pin": {
+        "bytes": 13611542,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/fits.json",
+        "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+      },
+      "published_file": {
+        "file_pin": {
+          "bytes": 13611542,
+          "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/payloads/4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5/asset.bin",
+          "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+        },
+        "path_in_repo": "releases/20261004-all-retained-v1/companions/4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5/asset.bin"
+      }
+    }
+  ],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 95071393,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/ridge_path-1731/family_checkpoint.json",
+          "sha256": "b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:1ebf4d01a9dd02c9429e59966053006c3e32432ef97ba5ebee3151e3934e36f0",
+        "role": "run-02/security_ir/ridge_path-1731/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": null,
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": "native-family-complete-compositional-features/v1",
+            "input_feature_count": 172401,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                172401,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                172401
+              ],
+              [
+                172401
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-02/security_ir/ridge_path-1731/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+          "ridge_kernel": {
+            "prepared": {
+              "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+              "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+              "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+              "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+            },
+            "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+          },
+          "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.authorization": "78f04e9231f9d04d98ab3597e52e8bb8c49d63047544657d33491b161effeeb7",
+            "ipfs_datasets_py.logic.software_verification.concurrency": "4d47e1ffd235282b841ae00644832ec9105fc90ee9dbf05ced901f937e0e346a",
+            "ipfs_datasets_py.logic.software_verification.protocol": "46e69f306c9eb2368d5d1abe589b10dfa10d09ab2e0ef3018585c76bd7c6335a",
+            "ipfs_datasets_py.logic.software_verification.refinement": "975b8493035f414e82a611499c119aab9843b0b8546bd1cb82d04344f170874d",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "security_ir/supplemental/authorization/v2": {
+              "logic_family": "authorization",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "datalog",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/concurrency/v2": {
+              "logic_family": "concurrency",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "rely_guarantee",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/protocol/v2": {
+              "logic_family": "cryptographic_protocol",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "dolev_yao",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/refinement/v2": {
+              "logic_family": "refinement",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "simulation",
+              "representation_kind": "native_typed_projection"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-complete-autoencoder/v1",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-complete-autoencoder/v1"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          172401
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:1ebf4d01a9dd02c9429e59966053006c3e32432ef97ba5ebee3151e3934e36f0",
+    "model_name": "security_ir retained b772167a14d77f07",
+    "model_revision": "b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 95071393,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/ridge_path-1731/family_checkpoint.json",
+    "sha256": "b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 95071393,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/ridge_path-1731/family_checkpoint.json",
+      "sha256": "b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de/checkpoint.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de
+size 95071393

releases/20261004-all-retained-v1/checkpoints/c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6/asset-manifest.json

@@ -0,0 +1,300 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": null,
+    "fit_associations": [],
+    "implementation": {
+      "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+      "ridge_kernel": {
+        "prepared": {
+          "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+          "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+          "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+          "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+        },
+        "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+      },
+      "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-02/security_ir/warmup-ridge_path/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 95071394,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/warmup-ridge_path/family_checkpoint.json",
+        "sha256": "c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6"
+      },
+      "record_index": 83,
+      "role": "run-02/security_ir/warmup-ridge_path/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 95071394,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6/checkpoint.json",
+    "sha256": "c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6"
+  },
+  "companion_assets": [],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 95071394,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/warmup-ridge_path/family_checkpoint.json",
+          "sha256": "c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:0da3298dcdec48043387c715c1c7801e9c6afc51aafd2728a40678091c3555f8",
+        "role": "run-02/security_ir/warmup-ridge_path/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": null,
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": "native-family-complete-compositional-features/v1",
+            "input_feature_count": 172401,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                172401,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                172401
+              ],
+              [
+                172401
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-02/security_ir/warmup-ridge_path/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+          "ridge_kernel": {
+            "prepared": {
+              "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+              "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+              "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+              "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+            },
+            "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+          },
+          "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.authorization": "78f04e9231f9d04d98ab3597e52e8bb8c49d63047544657d33491b161effeeb7",
+            "ipfs_datasets_py.logic.software_verification.concurrency": "4d47e1ffd235282b841ae00644832ec9105fc90ee9dbf05ced901f937e0e346a",
+            "ipfs_datasets_py.logic.software_verification.protocol": "46e69f306c9eb2368d5d1abe589b10dfa10d09ab2e0ef3018585c76bd7c6335a",
+            "ipfs_datasets_py.logic.software_verification.refinement": "975b8493035f414e82a611499c119aab9843b0b8546bd1cb82d04344f170874d",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "security_ir/supplemental/authorization/v2": {
+              "logic_family": "authorization",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "datalog",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/concurrency/v2": {
+              "logic_family": "concurrency",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "rely_guarantee",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/protocol/v2": {
+              "logic_family": "cryptographic_protocol",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "dolev_yao",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/refinement/v2": {
+              "logic_family": "refinement",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "simulation",
+              "representation_kind": "native_typed_projection"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-complete-autoencoder/v1",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-complete-autoencoder/v1"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          172401
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:0da3298dcdec48043387c715c1c7801e9c6afc51aafd2728a40678091c3555f8",
+    "model_name": "security_ir retained c4d4ad22a3ab2eca",
+    "model_revision": "c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 95071394,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/warmup-ridge_path/family_checkpoint.json",
+    "sha256": "c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 95071394,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/warmup-ridge_path/family_checkpoint.json",
+      "sha256": "c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6/checkpoint.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6
+size 95071394

releases/20261004-all-retained-v1/checkpoints/e2e9f3bdb0379a8445177c2fb4537216d156a8a189aa3ba1f0c65112e06c463d/asset-manifest.json

@@ -0,0 +1,288 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": {
+      "ridges": [
+        0.0001,
+        0.001,
+        0.01,
+        0.1
+      ],
+      "shrinkages": [
+        0.25,
+        0.5,
+        1.0
+      ]
+    },
+    "fit_associations": [],
+    "implementation": {
+      "prepared": {
+        "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+        "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+        "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+        "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+      },
+      "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-01/security_ir/warmup-ridge/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 1786931,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/warmup-ridge/family_checkpoint.json",
+        "sha256": "e2e9f3bdb0379a8445177c2fb4537216d156a8a189aa3ba1f0c65112e06c463d"
+      },
+      "record_index": 51,
+      "role": "run-01/security_ir/warmup-ridge/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 1786931,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/e2e9f3bdb0379a8445177c2fb4537216d156a8a189aa3ba1f0c65112e06c463d/checkpoint.json",
+    "sha256": "e2e9f3bdb0379a8445177c2fb4537216d156a8a189aa3ba1f0c65112e06c463d"
+  },
+  "companion_assets": [],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 1786931,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/warmup-ridge/family_checkpoint.json",
+          "sha256": "e2e9f3bdb0379a8445177c2fb4537216d156a8a189aa3ba1f0c65112e06c463d"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:d1ce231b462f57901d3d5aaff2ee60a12c4cab66f6f0b49a7d5a2864f2776120",
+        "role": "run-01/security_ir/warmup-ridge/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": {
+          "ridges": [
+            0.0001,
+            0.001,
+            0.01,
+            0.1
+          ],
+          "shrinkages": [
+            0.25,
+            0.5,
+            1.0
+          ]
+        },
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": null,
+            "input_feature_count": 2791,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                2791,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                2791
+              ],
+              [
+                2791
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-01/security_ir/warmup-ridge/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "prepared": {
+            "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+            "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+            "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+          },
+          "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-ridge-path/v1",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-ridge-path/v1"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          2791
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:d1ce231b462f57901d3d5aaff2ee60a12c4cab66f6f0b49a7d5a2864f2776120",
+    "model_name": "security_ir retained e2e9f3bdb0379a84",
+    "model_revision": "e2e9f3bdb0379a8445177c2fb4537216d156a8a189aa3ba1f0c65112e06c463d",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "e2e9f3bdb0379a8445177c2fb4537216d156a8a189aa3ba1f0c65112e06c463d",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 1786931,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/warmup-ridge/family_checkpoint.json",
+    "sha256": "e2e9f3bdb0379a8445177c2fb4537216d156a8a189aa3ba1f0c65112e06c463d"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/e2e9f3bdb0379a8445177c2fb4537216d156a8a189aa3ba1f0c65112e06c463d/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 1786931,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-ridge-path-20261002/run-01/security_ir/warmup-ridge/family_checkpoint.json",
+      "sha256": "e2e9f3bdb0379a8445177c2fb4537216d156a8a189aa3ba1f0c65112e06c463d"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1/asset-manifest.json

@@ -0,0 +1,331 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": null,
+    "fit_associations": [
+      {
+        "declared_checkpoint_sha256": "e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1",
+        "fits_receipt": {
+          "bytes": 13611542,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/fits.json",
+          "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+        },
+        "recorded_arm": null,
+        "recorded_domain": "security_ir",
+        "recorded_fit_seconds": 39.72812098590657,
+        "recorded_seed": 1729,
+        "recorded_strategy": "adam",
+        "row_index": 6
+      }
+    ],
+    "implementation": {
+      "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+      "ridge_kernel": {
+        "prepared": {
+          "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+          "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+          "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+          "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+        },
+        "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+      },
+      "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-02/security_ir/adam-1729/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 95071693,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/adam-1729/family_checkpoint.json",
+        "sha256": "e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1"
+      },
+      "record_index": 76,
+      "role": "run-02/security_ir/adam-1729/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 95071693,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1/checkpoint.json",
+    "sha256": "e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1"
+  },
+  "companion_assets": [
+    {
+      "original_pin": {
+        "bytes": 13611542,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/fits.json",
+        "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+      },
+      "published_file": {
+        "file_pin": {
+          "bytes": 13611542,
+          "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/payloads/4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5/asset.bin",
+          "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+        },
+        "path_in_repo": "releases/20261004-all-retained-v1/companions/4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5/asset.bin"
+      }
+    }
+  ],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 95071693,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/adam-1729/family_checkpoint.json",
+          "sha256": "e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:c66e45a7b3fe8d3692c6e5c4f8801367aaa791da66b652b00119ce8631f608e5",
+        "role": "run-02/security_ir/adam-1729/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": null,
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": "native-family-complete-compositional-features/v1",
+            "input_feature_count": 172401,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                172401,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                172401
+              ],
+              [
+                172401
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-02/security_ir/adam-1729/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+          "ridge_kernel": {
+            "prepared": {
+              "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+              "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+              "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+              "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+            },
+            "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+          },
+          "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.authorization": "78f04e9231f9d04d98ab3597e52e8bb8c49d63047544657d33491b161effeeb7",
+            "ipfs_datasets_py.logic.software_verification.concurrency": "4d47e1ffd235282b841ae00644832ec9105fc90ee9dbf05ced901f937e0e346a",
+            "ipfs_datasets_py.logic.software_verification.protocol": "46e69f306c9eb2368d5d1abe589b10dfa10d09ab2e0ef3018585c76bd7c6335a",
+            "ipfs_datasets_py.logic.software_verification.refinement": "975b8493035f414e82a611499c119aab9843b0b8546bd1cb82d04344f170874d",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "security_ir/supplemental/authorization/v2": {
+              "logic_family": "authorization",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "datalog",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/concurrency/v2": {
+              "logic_family": "concurrency",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "rely_guarantee",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/protocol/v2": {
+              "logic_family": "cryptographic_protocol",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "dolev_yao",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/refinement/v2": {
+              "logic_family": "refinement",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "simulation",
+              "representation_kind": "native_typed_projection"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-complete-autoencoder/v1",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-complete-autoencoder/v1"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          172401
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:c66e45a7b3fe8d3692c6e5c4f8801367aaa791da66b652b00119ce8631f608e5",
+    "model_name": "security_ir retained e8de5fb06840556e",
+    "model_revision": "e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 95071693,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/adam-1729/family_checkpoint.json",
+    "sha256": "e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 95071693,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/adam-1729/family_checkpoint.json",
+      "sha256": "e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1/checkpoint.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1
+size 95071693

releases/20261004-all-retained-v1/checkpoints/f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d/asset-manifest.json

@@ -0,0 +1,331 @@
+{
+  "audit_record_metadata": {
+    "codec": null,
+    "config": null,
+    "fit_associations": [
+      {
+        "declared_checkpoint_sha256": "f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d",
+        "fits_receipt": {
+          "bytes": 13611542,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/fits.json",
+          "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+        },
+        "recorded_arm": null,
+        "recorded_domain": "security_ir",
+        "recorded_fit_seconds": 42.339484120951965,
+        "recorded_seed": 1730,
+        "recorded_strategy": "adam",
+        "row_index": 9
+      }
+    ],
+    "implementation": {
+      "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+      "ridge_kernel": {
+        "prepared": {
+          "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+          "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+          "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+          "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+        },
+        "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+      },
+      "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+    },
+    "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+    "role": "run-02/security_ir/adam-1730/family_checkpoint",
+    "status": "additional_saved_campaign_model_or_component",
+    "task_id": null
+  },
+  "candidate_aliases": [
+    {
+      "audit_pin": {
+        "bytes": 2219149,
+        "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
+        "sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
+      },
+      "original_checkpoint_pin": {
+        "bytes": 95071695,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/adam-1730/family_checkpoint.json",
+        "sha256": "f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d"
+      },
+      "record_index": 77,
+      "role": "run-02/security_ir/adam-1730/family_checkpoint"
+    }
+  ],
+  "checkpoint_pin": {
+    "bytes": 95071695,
+    "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/checkpoints/f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d/checkpoint.json",
+    "sha256": "f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d"
+  },
+  "companion_assets": [
+    {
+      "original_pin": {
+        "bytes": 13611542,
+        "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/fits.json",
+        "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+      },
+      "published_file": {
+        "file_pin": {
+          "bytes": 13611542,
+          "path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-autoencoder-8d/payloads/4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5/asset.bin",
+          "sha256": "4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5"
+        },
+        "path_in_repo": "releases/20261004-all-retained-v1/companions/4ea3c6d5097e17b452e905c3f3fd452a0148341b0f7862eeb4cd451ae04a1eb5/asset.bin"
+      }
+    }
+  ],
+  "model_metadata": {
+    "architecture": "retained-serialized-component; architecture-unqualified",
+    "description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
+    "huggingface_config": {
+      "complete_runtime_io_contract": false,
+      "ir_checkpoint": {
+        "dimension": 8,
+        "dimension_role": "latent",
+        "donor": null,
+        "format_id": null,
+        "initialization_only": false,
+        "ir_family_id": "security_ir",
+        "original_checkpoint_pin": {
+          "bytes": 95071695,
+          "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/adam-1730/family_checkpoint.json",
+          "sha256": "f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d"
+        },
+        "profile_id": null,
+        "proof_authority": false,
+        "record_id": "ir-model-asset-binding/v1:362a1ca33dcc6039d7acdc3806e38060c613065bccd1dbb25e29814634470aa1",
+        "role": "run-02/security_ir/adam-1730/family_checkpoint",
+        "runtime_ready": false,
+        "schema_version": null,
+        "task_id": null,
+        "teacher_qualified": false,
+        "trained": null
+      },
+      "model_type_is_broad_autoencoder_taxonomy": true,
+      "no_new_native_profile_or_training_run_id": true,
+      "original_recorded_metadata": {
+        "codec": null,
+        "config": null,
+        "declaration": {
+          "auxiliary_dimensions": {
+            "feature_space_schema": "native-family-complete-compositional-features/v1",
+            "input_feature_count": 172401,
+            "latent_width": 8,
+            "normalization": "log1p_l2_per_native_projection",
+            "serialized_parameter_shapes": [
+              [
+                172401,
+                8
+              ],
+              [
+                8
+              ],
+              [
+                8,
+                172401
+              ],
+              [
+                172401
+              ]
+            ],
+            "source_text_decoder_trained": false
+          },
+          "external_lane_binding": {
+            "checkpoint_pointer": "/report/latent_width",
+            "declared_dimension": 8,
+            "dimension_role": "latent",
+            "serialized_parameter_shape_agrees": true,
+            "source_input": "formal projection features, not GTE source-text vectors"
+          },
+          "owning_ir_family": "security_ir",
+          "role": "run-02/security_ir/adam-1730/family_checkpoint",
+          "source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002"
+        },
+        "external_lane_binding": {
+          "checkpoint_pointer": "/report/latent_width",
+          "declared_dimension": 8,
+          "dimension_role": "latent",
+          "serialized_parameter_shape_agrees": true,
+          "source_input": "formal projection features, not GTE source-text vectors"
+        },
+        "implementation": {
+          "features": "1270885e8002bb63d705ab21312c1eb761bf192626132c20ef477875cf5af562",
+          "ridge_kernel": {
+            "prepared": {
+              "feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
+              "reference_trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68",
+              "target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+              "trainer": "8f37efccec01c89b0e06ed6b4420f9be89bc87161dbe5d9851bba8fda9732b00"
+            },
+            "trainer": "99e0f16ef2933ba32efa5957126d2f6e14a87491b724fe008253b0bcf9a468ab"
+          },
+          "trainer": "7a49e295bb56a4bb1af52dc9093e90c63da7b24ed31778fac771c66730a33561"
+        },
+        "input_output_contract": {
+          "feature_space_producer_pins": {
+            "ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
+            "ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
+            "ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
+            "ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
+            "ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
+            "ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
+            "ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
+            "ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
+            "ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
+            "ipfs_datasets_py.logic.software_verification.authorization": "78f04e9231f9d04d98ab3597e52e8bb8c49d63047544657d33491b161effeeb7",
+            "ipfs_datasets_py.logic.software_verification.concurrency": "4d47e1ffd235282b841ae00644832ec9105fc90ee9dbf05ced901f937e0e346a",
+            "ipfs_datasets_py.logic.software_verification.protocol": "46e69f306c9eb2368d5d1abe589b10dfa10d09ab2e0ef3018585c76bd7c6335a",
+            "ipfs_datasets_py.logic.software_verification.refinement": "975b8493035f414e82a611499c119aab9843b0b8546bd1cb82d04344f170874d",
+            "ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
+            "ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
+            "ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
+            "ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
+            "ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
+          },
+          "feature_space_projections": {
+            "hyperproperty.ir/v1": {
+              "logic_family": "hyperproperty",
+              "producer_id": "security-code-logic-projection",
+              "profile": "hyperltl",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_contract/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "dynamic_hoare",
+              "representation_kind": "native_typed_document"
+            },
+            "program.program_ir/v1": {
+              "logic_family": "program",
+              "producer_id": "security-code-logic-projection",
+              "profile": "program_ir",
+              "representation_kind": "native_typed_document"
+            },
+            "security_ir/supplemental/authorization/v2": {
+              "logic_family": "authorization",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "datalog",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/concurrency/v2": {
+              "logic_family": "concurrency",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "rely_guarantee",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/protocol/v2": {
+              "logic_family": "cryptographic_protocol",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "dolev_yao",
+              "representation_kind": "native_typed_projection"
+            },
+            "security_ir/supplemental/refinement/v2": {
+              "logic_family": "refinement",
+              "producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
+              "profile": "simulation",
+              "representation_kind": "native_typed_projection"
+            },
+            "separation_logic.heap_model/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "heap_model",
+              "representation_kind": "native_typed_document"
+            },
+            "separation_logic.ir/v1": {
+              "logic_family": "separation_logic",
+              "producer_id": "security-code-logic-projection",
+              "profile": "separation",
+              "representation_kind": "native_typed_document"
+            },
+            "temporal.formula/v1": {
+              "logic_family": "temporal",
+              "producer_id": "security-code-logic-projection",
+              "profile": "ltl",
+              "representation_kind": "native_typed_document"
+            },
+            "transition_system.state_transition_ir/v1": {
+              "logic_family": "transition_system",
+              "producer_id": "security-code-logic-projection",
+              "profile": "action_system",
+              "representation_kind": "native_typed_document"
+            }
+          },
+          "formal_space_id": null,
+          "output_kind": null,
+          "source_space_id": null,
+          "source_text_decoder_trained": false
+        },
+        "progress": null,
+        "recorded_fit_kind": "recorded_feature_autoencoder_fit",
+        "recorded_original_flags": {
+          "accepted": null,
+          "admitted": false,
+          "formalized": false,
+          "promotion_performed": false,
+          "proof_authority": null,
+          "publication_performed": null,
+          "qualified": false,
+          "source_fidelity_established": null
+        },
+        "saved_parameter_content_identifiers": {},
+        "schema": "native-family-complete-autoencoder/v1",
+        "source_implementation": null,
+        "status": "additional_saved_campaign_model_or_component",
+        "target_schema": null,
+        "task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
+      },
+      "serialized_checkpoint_schema": "native-family-complete-autoencoder/v1"
+    },
+    "inputs": [
+      {
+        "data_type": "features",
+        "description": "Recorded input feature count, distinct from latent lane width.",
+        "name": "source_features",
+        "shape": [
+          172401
+        ]
+      }
+    ],
+    "model_id": "ir-model-asset-binding/v1:362a1ca33dcc6039d7acdc3806e38060c613065bccd1dbb25e29814634470aa1",
+    "model_name": "security_ir retained f69b3fa4065a18ea",
+    "model_revision": "f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d",
+    "model_type": "encoder_decoder",
+    "outputs": [],
+    "revision_id": "f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d",
+    "tags": [
+      "retained-ir-artifact",
+      "security_ir",
+      "metadata-only-registration"
+    ]
+  },
+  "original_checkpoint_pin": {
+    "bytes": 95071695,
+    "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/adam-1730/family_checkpoint.json",
+    "sha256": "f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d"
+  },
+  "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d/checkpoint.json",
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "raw_checkpoint_bytes_rewritten": false,
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "same_byte_source_aliases": [
+    {
+      "bytes": 95071695,
+      "path": "/home/barberb/lift_coding/artifacts/ir-training-complete-20261002/run-02/security_ir/adam-1730/family_checkpoint.json",
+      "sha256": "f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d"
+    }
+  ],
+  "schema": "ir-retained-campaign-artifact-manifest/v1",
+  "selected_sources_are_partial_explicit_pointers": true,
+  "unavailable_declared_companions": []
+}

releases/20261004-all-retained-v1/checkpoints/f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d/checkpoint.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d
+size 95071695

releases/20261004-all-retained-v1/indexes/chunk-0001.json

@@ -0,0 +1,262 @@
+{
+  "chunk_kind": "checkpoints",
+  "chunk_number": 1,
+  "companion_chunks_precede_checkpoint_chunks": true,
+  "files": [
+    {
+      "bytes": 1866375,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262/checkpoint.json",
+      "sha256": "05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262"
+    },
+    {
+      "bytes": 14077,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262/asset-manifest.json",
+      "sha256": "1f36cc1fee79a1f8fd6aa68fd828691d6c1431ea76368f0c763460ac0db897c9"
+    },
+    {
+      "bytes": 95069996,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6/checkpoint.json",
+      "sha256": "09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6"
+    },
+    {
+      "bytes": 14802,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6/asset-manifest.json",
+      "sha256": "73953a871b8a5be5b798eda417a0280070eb1ebcc7d02ae32055e990731a395d"
+    },
+    {
+      "bytes": 1858812,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/1c90a6fe0e15fe63f15b90e5d2a643938e67bca5a8f26e5aea6d21fe8b0338c1/checkpoint.json",
+      "sha256": "1c90a6fe0e15fe63f15b90e5d2a643938e67bca5a8f26e5aea6d21fe8b0338c1"
+    },
+    {
+      "bytes": 12601,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/1c90a6fe0e15fe63f15b90e5d2a643938e67bca5a8f26e5aea6d21fe8b0338c1/asset-manifest.json",
+      "sha256": "4de7a66be279a7d0255718b7ebfc79a33cdad954f9718ebb8a1701400a91f5e8"
+    },
+    {
+      "bytes": 95071693,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc/checkpoint.json",
+      "sha256": "1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc"
+    },
+    {
+      "bytes": 16198,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc/asset-manifest.json",
+      "sha256": "73ab50b31884d9caec13a54a182f72734ff520472b5cfe3854569aee3d757865"
+    },
+    {
+      "bytes": 1866376,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c/checkpoint.json",
+      "sha256": "5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c"
+    },
+    {
+      "bytes": 14077,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c/asset-manifest.json",
+      "sha256": "208522ab30f4cbc61dae414861840010cbc47d4e99e5f06aae5f3a5a43535277"
+    },
+    {
+      "bytes": 1786933,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a/checkpoint.json",
+      "sha256": "694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a"
+    },
+    {
+      "bytes": 14279,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a/asset-manifest.json",
+      "sha256": "0df60248ff27eb7bb71d458f06db09d968c62606e09c451a3fc125552ba69d62"
+    },
+    {
+      "bytes": 1786932,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7/checkpoint.json",
+      "sha256": "71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7"
+    },
+    {
+      "bytes": 14278,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7/asset-manifest.json",
+      "sha256": "df3024586416f97cb5bcd6cc72592b8c76bcf4e756573335d3fffa0bc63a2f34"
+    },
+    {
+      "bytes": 95071395,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f/checkpoint.json",
+      "sha256": "7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f"
+    },
+    {
+      "bytes": 16252,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f/asset-manifest.json",
+      "sha256": "8c728cf616bf98d27f2b39c166bc3e504940ebe4c1ffa13dcee949e7a59c6412"
+    },
+    {
+      "bytes": 1786933,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe/checkpoint.json",
+      "sha256": "82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe"
+    },
+    {
+      "bytes": 14280,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe/asset-manifest.json",
+      "sha256": "3b8a2bf838c54f9095f878a3fac1372467875eaa89e89dd5a28012742f455fed"
+    },
+    {
+      "bytes": 95071395,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034/checkpoint.json",
+      "sha256": "8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034"
+    },
+    {
+      "bytes": 16252,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034/asset-manifest.json",
+      "sha256": "06dd45d532bb4ab60d209af68ab43f41b964aec2eb030a6b1f5c8e817cda098a"
+    },
+    {
+      "bytes": 1866353,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec/checkpoint.json",
+      "sha256": "9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec"
+    },
+    {
+      "bytes": 14078,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec/asset-manifest.json",
+      "sha256": "03a75d88125965ed6b2b30768f696c5569610e3ef5b865cb705010834c74c376"
+    },
+    {
+      "bytes": 95071393,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de/checkpoint.json",
+      "sha256": "b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de"
+    },
+    {
+      "bytes": 16253,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de/asset-manifest.json",
+      "sha256": "5158058801f66e968a38f74d6b2a7fff19974adff7ac09069d3c005f266ade1c"
+    },
+    {
+      "bytes": 95071394,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6/checkpoint.json",
+      "sha256": "c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6"
+    },
+    {
+      "bytes": 14850,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6/asset-manifest.json",
+      "sha256": "cdafddfaa9e9866e965e80724ec26010d95fdd6a2ca9cc1b645997827c3bddbf"
+    },
+    {
+      "bytes": 1786931,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/e2e9f3bdb0379a8445177c2fb4537216d156a8a189aa3ba1f0c65112e06c463d/checkpoint.json",
+      "sha256": "e2e9f3bdb0379a8445177c2fb4537216d156a8a189aa3ba1f0c65112e06c463d"
+    },
+    {
+      "bytes": 12841,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/e2e9f3bdb0379a8445177c2fb4537216d156a8a189aa3ba1f0c65112e06c463d/asset-manifest.json",
+      "sha256": "16ae784c755c7b9fae02fc74411caeda719558c8ba2610631d6ec244566b6156"
+    },
+    {
+      "bytes": 95071693,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1/checkpoint.json",
+      "sha256": "e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1"
+    },
+    {
+      "bytes": 16197,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1/asset-manifest.json",
+      "sha256": "81637e77f5c89d6bd9d4614ea4b3828f7014abd6f7bf9ee5ab70b392c2fb29c1"
+    },
+    {
+      "bytes": 95071695,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d/checkpoint.json",
+      "sha256": "f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d"
+    },
+    {
+      "bytes": 16198,
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d/asset-manifest.json",
+      "sha256": "70e0bad1c4f5cc7bffe83f6e258bcbe2f2f502486bca55497b96cc5737e21393"
+    }
+  ],
+  "models": [
+    {
+      "checkpoint_sha256": "05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/05ff2340af045d08148d72b9f886b6d23ad2e0d6294e7741f6e29886b9499262/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:33784452b192e1a1f259eefeb9cdf1dc73dde22b5cba9a4be48576597d201f6b"
+    },
+    {
+      "checkpoint_sha256": "09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/09ca458ea3e75165adad0aa5042ad8f8d70742c1758ad3aa4d0bd9d7f01adbc6/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:9daeea227b7995603abe5c20f1da54e654ccb95b12f60417131ccbb599cf95f6"
+    },
+    {
+      "checkpoint_sha256": "1c90a6fe0e15fe63f15b90e5d2a643938e67bca5a8f26e5aea6d21fe8b0338c1",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/1c90a6fe0e15fe63f15b90e5d2a643938e67bca5a8f26e5aea6d21fe8b0338c1/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:4bb1ffac5a640e1a74e53728f60e2f081eedb9893dcc815260aa2c8ce026f641"
+    },
+    {
+      "checkpoint_sha256": "1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/1e4d4708ac2d582d15622f464dc44403c4e981df4e8d2c1a85798a9877e5ddfc/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:d699773a99aca6acf3ce958009649403f9b679b8eab11154621d5eaf4d38eff7"
+    },
+    {
+      "checkpoint_sha256": "5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/5ab5d890801fedcbd6b7be2d7322122bf66fd600bfc01576ccbd96686fc6b76c/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:a3e29940827470bc2b5b888c19292ad0faec030431365b2b0cb01430d795ead4"
+    },
+    {
+      "checkpoint_sha256": "694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/694beba29867309c7d51776adbfe3fbf1d37e0305517c5a61cc98e99e5d3490a/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:071271a7f4ea577092091837b38503d049075ec74026e17b7d1d0a5cce4ea34e"
+    },
+    {
+      "checkpoint_sha256": "71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/71032ee9dd347167bb6124ead6308307c016354f295684094924d61e3e4e61f7/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:7c4ac96c7f6ecffdfbbf56318749df8eeb9c96659e2ebd323730e727a096cc8a"
+    },
+    {
+      "checkpoint_sha256": "7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/7eb44b9527d2274a88f7c40cced7b764b9229f64241c1d36500b57513893cd6f/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:20eb74fc0b1d22db4ccfd6dd91a9e646e0da29be778c1a6825794ec29dab367a"
+    },
+    {
+      "checkpoint_sha256": "82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/82c497f6038824161d1079e8903162051523f0b1b9ebbe02312588c09a5da8fe/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:1e978b7a654a015484057669a9b9b5daf54a301fb9b8250b15a56aad2054cd0a"
+    },
+    {
+      "checkpoint_sha256": "8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/8ca5b43b350d7685290fdca9c6279228f3726d86c661fe05b53c9d25851c7034/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:d0a17e1ebe7763c00cfffc87236b40625674cb077bfd42d95fa261985375798f"
+    },
+    {
+      "checkpoint_sha256": "9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/9adef4cc69412286f6877a9bdd027f425b8525f38e28ef261ef7c3fb746289ec/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:51848ee442c29947b31f0c2de903e6be35510cdcf7903b9e28b2307beb9dfc88"
+    },
+    {
+      "checkpoint_sha256": "b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/b772167a14d77f07c599d8fb2f7e9d716649ff92616a47078c2c4cd808a3a4de/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:1ebf4d01a9dd02c9429e59966053006c3e32432ef97ba5ebee3151e3934e36f0"
+    },
+    {
+      "checkpoint_sha256": "c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/c4d4ad22a3ab2eca4f98411f56838d4f29779fbb4fb48824ebde90729f9a49e6/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:0da3298dcdec48043387c715c1c7801e9c6afc51aafd2728a40678091c3555f8"
+    },
+    {
+      "checkpoint_sha256": "e2e9f3bdb0379a8445177c2fb4537216d156a8a189aa3ba1f0c65112e06c463d",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/e2e9f3bdb0379a8445177c2fb4537216d156a8a189aa3ba1f0c65112e06c463d/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:d1ce231b462f57901d3d5aaff2ee60a12c4cab66f6f0b49a7d5a2864f2776120"
+    },
+    {
+      "checkpoint_sha256": "e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/e8de5fb06840556e3231ef7989d16d3fcaf484516ab9c6e814feeaaaf5738ea1/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:c66e45a7b3fe8d3692c6e5c4f8801367aaa791da66b652b00119ce8631f608e5"
+    },
+    {
+      "checkpoint_sha256": "f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d",
+      "path_in_repo": "releases/20261004-all-retained-v1/checkpoints/f69b3fa4065a18eaec8bf927cfa5139bb2a76eccf5d482c266e3a8f05a9ad96d/checkpoint.json",
+      "record_id": "ir-model-asset-binding/v1:362a1ca33dcc6039d7acdc3806e38060c613065bccd1dbb25e29814634470aa1"
+    }
+  ],
+  "qualification": {
+    "complete_runtime_io_contract": false,
+    "full_source_closure_verified": false,
+    "model_manager_registration_performed": false,
+    "new_model_or_embedding_execution": false,
+    "proof_authority": false,
+    "publication_performed": false,
+    "runtime_ready": false,
+    "teacher_qualified": false,
+    "training_executed": false
+  },
+  "repository_id": "Publicus/security-ir-autoencoder-8d",
+  "schema": "ir-supplemental-release-chunk-index/v1"
+}