Publish pinned IR assets d3d7224696b6
Browse files- releases/20261004-all-retained-v1/checkpoints/252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e/asset-manifest.json +313 -0
- releases/20261004-all-retained-v1/checkpoints/252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e/checkpoint.json +0 -0
- releases/20261004-all-retained-v1/checkpoints/74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7/asset-manifest.json +332 -0
- releases/20261004-all-retained-v1/checkpoints/74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7/checkpoint.json +0 -0
- releases/20261004-all-retained-v1/checkpoints/7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3/asset-manifest.json +332 -0
- releases/20261004-all-retained-v1/checkpoints/7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3/checkpoint.json +0 -0
- releases/20261004-all-retained-v1/checkpoints/f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25/asset-manifest.json +241 -0
- releases/20261004-all-retained-v1/checkpoints/f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25/checkpoint.json +0 -0
- releases/20261004-all-retained-v1/indexes/chunk-0001.json +82 -0
releases/20261004-all-retained-v1/checkpoints/252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e/asset-manifest.json
ADDED
|
@@ -0,0 +1,313 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
{
|
| 2 |
+
"audit_record_metadata": {
|
| 3 |
+
"codec": null,
|
| 4 |
+
"config": {
|
| 5 |
+
"denoising": 0.05,
|
| 6 |
+
"learning_rate": 0.001,
|
| 7 |
+
"max_seconds": 120,
|
| 8 |
+
"minibatch_size": 32,
|
| 9 |
+
"patience": 4,
|
| 10 |
+
"ridge": 0.001,
|
| 11 |
+
"seed": 1729
|
| 12 |
+
},
|
| 13 |
+
"fit_associations": [],
|
| 14 |
+
"implementation": {
|
| 15 |
+
"feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
|
| 16 |
+
"trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68"
|
| 17 |
+
},
|
| 18 |
+
"recorded_fit_kind": "recorded_feature_autoencoder_fit",
|
| 19 |
+
"role": "expanded-01/security_ir/family/family_checkpoint",
|
| 20 |
+
"status": "additional_saved_campaign_model_or_component",
|
| 21 |
+
"task_id": null
|
| 22 |
+
},
|
| 23 |
+
"candidate_aliases": [
|
| 24 |
+
{
|
| 25 |
+
"audit_pin": {
|
| 26 |
+
"bytes": 2219149,
|
| 27 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
|
| 28 |
+
"sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
|
| 29 |
+
},
|
| 30 |
+
"original_checkpoint_pin": {
|
| 31 |
+
"bytes": 1423961,
|
| 32 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/expanded-01/security_ir/family/family_checkpoint.json",
|
| 33 |
+
"sha256": "252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e"
|
| 34 |
+
},
|
| 35 |
+
"record_index": 93,
|
| 36 |
+
"role": "expanded-01/security_ir/family/family_checkpoint"
|
| 37 |
+
}
|
| 38 |
+
],
|
| 39 |
+
"checkpoint_pin": {
|
| 40 |
+
"bytes": 1423961,
|
| 41 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/checkpoints/252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e/checkpoint.json",
|
| 42 |
+
"sha256": "252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e"
|
| 43 |
+
},
|
| 44 |
+
"companion_assets": [
|
| 45 |
+
{
|
| 46 |
+
"original_pin": {
|
| 47 |
+
"bytes": 65541,
|
| 48 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/expanded-01/ui_ux_ir/recipe.json",
|
| 49 |
+
"sha256": "0a6823723668d59fbb50d49c103dae9e9429affccd943eff04b568322158a2a0"
|
| 50 |
+
},
|
| 51 |
+
"published_file": {
|
| 52 |
+
"file_pin": {
|
| 53 |
+
"bytes": 65541,
|
| 54 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/0a6823723668d59fbb50d49c103dae9e9429affccd943eff04b568322158a2a0/asset.bin",
|
| 55 |
+
"sha256": "0a6823723668d59fbb50d49c103dae9e9429affccd943eff04b568322158a2a0"
|
| 56 |
+
},
|
| 57 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/0a6823723668d59fbb50d49c103dae9e9429affccd943eff04b568322158a2a0/asset.bin"
|
| 58 |
+
}
|
| 59 |
+
},
|
| 60 |
+
{
|
| 61 |
+
"original_pin": {
|
| 62 |
+
"bytes": 3994747,
|
| 63 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/intent-family/model-02/family_checkpoint.json",
|
| 64 |
+
"sha256": "0d939b54f088f6a6659eefd5f85393cd86c69416c5f02bab4278ba53843a0684"
|
| 65 |
+
},
|
| 66 |
+
"published_file": {
|
| 67 |
+
"file_pin": {
|
| 68 |
+
"bytes": 3994747,
|
| 69 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/0d939b54f088f6a6659eefd5f85393cd86c69416c5f02bab4278ba53843a0684/asset.bin",
|
| 70 |
+
"sha256": "0d939b54f088f6a6659eefd5f85393cd86c69416c5f02bab4278ba53843a0684"
|
| 71 |
+
},
|
| 72 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/0d939b54f088f6a6659eefd5f85393cd86c69416c5f02bab4278ba53843a0684/asset.bin"
|
| 73 |
+
}
|
| 74 |
+
},
|
| 75 |
+
{
|
| 76 |
+
"original_pin": {
|
| 77 |
+
"bytes": 62505,
|
| 78 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/expanded-legal-02/legal_ir/recipe.json",
|
| 79 |
+
"sha256": "5425ff12a1de85be032c226750c902029b65ca8aed7db538f73ec73f5bbf9c49"
|
| 80 |
+
},
|
| 81 |
+
"published_file": {
|
| 82 |
+
"file_pin": {
|
| 83 |
+
"bytes": 62505,
|
| 84 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/5425ff12a1de85be032c226750c902029b65ca8aed7db538f73ec73f5bbf9c49/asset.bin",
|
| 85 |
+
"sha256": "5425ff12a1de85be032c226750c902029b65ca8aed7db538f73ec73f5bbf9c49"
|
| 86 |
+
},
|
| 87 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/5425ff12a1de85be032c226750c902029b65ca8aed7db538f73ec73f5bbf9c49/asset.bin"
|
| 88 |
+
}
|
| 89 |
+
},
|
| 90 |
+
{
|
| 91 |
+
"original_pin": {
|
| 92 |
+
"bytes": 3598583,
|
| 93 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-sequence-v2-20261002/intent-01/model/candidate.json",
|
| 94 |
+
"sha256": "9cf4da607d6fdb48400409e6618fcfe3246d0673e180696879b5601d1a889eec"
|
| 95 |
+
},
|
| 96 |
+
"published_file": {
|
| 97 |
+
"file_pin": {
|
| 98 |
+
"bytes": 3598583,
|
| 99 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/9cf4da607d6fdb48400409e6618fcfe3246d0673e180696879b5601d1a889eec/asset.bin",
|
| 100 |
+
"sha256": "9cf4da607d6fdb48400409e6618fcfe3246d0673e180696879b5601d1a889eec"
|
| 101 |
+
},
|
| 102 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/9cf4da607d6fdb48400409e6618fcfe3246d0673e180696879b5601d1a889eec/asset.bin"
|
| 103 |
+
}
|
| 104 |
+
},
|
| 105 |
+
{
|
| 106 |
+
"original_pin": {
|
| 107 |
+
"bytes": 67739,
|
| 108 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/expanded-01/security_ir/recipe.json",
|
| 109 |
+
"sha256": "9f990ef1adcc65719a1eb8d84ef725946a931602b26de7aaf77b13e3c65acac0"
|
| 110 |
+
},
|
| 111 |
+
"published_file": {
|
| 112 |
+
"file_pin": {
|
| 113 |
+
"bytes": 67739,
|
| 114 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/9f990ef1adcc65719a1eb8d84ef725946a931602b26de7aaf77b13e3c65acac0/asset.bin",
|
| 115 |
+
"sha256": "9f990ef1adcc65719a1eb8d84ef725946a931602b26de7aaf77b13e3c65acac0"
|
| 116 |
+
},
|
| 117 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/9f990ef1adcc65719a1eb8d84ef725946a931602b26de7aaf77b13e3c65acac0/asset.bin"
|
| 118 |
+
}
|
| 119 |
+
},
|
| 120 |
+
{
|
| 121 |
+
"original_pin": {
|
| 122 |
+
"bytes": 52351,
|
| 123 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/result.json",
|
| 124 |
+
"sha256": "bac6fea2f385271c0e859ccd06d0fb5f5999bb5afad7cef0243cf799c4b8dfb1"
|
| 125 |
+
},
|
| 126 |
+
"published_file": {
|
| 127 |
+
"file_pin": {
|
| 128 |
+
"bytes": 52351,
|
| 129 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/bac6fea2f385271c0e859ccd06d0fb5f5999bb5afad7cef0243cf799c4b8dfb1/asset.bin",
|
| 130 |
+
"sha256": "bac6fea2f385271c0e859ccd06d0fb5f5999bb5afad7cef0243cf799c4b8dfb1"
|
| 131 |
+
},
|
| 132 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/bac6fea2f385271c0e859ccd06d0fb5f5999bb5afad7cef0243cf799c4b8dfb1/asset.bin"
|
| 133 |
+
}
|
| 134 |
+
}
|
| 135 |
+
],
|
| 136 |
+
"model_metadata": {
|
| 137 |
+
"architecture": "retained-serialized-component; architecture-unqualified",
|
| 138 |
+
"description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
|
| 139 |
+
"huggingface_config": {
|
| 140 |
+
"complete_runtime_io_contract": false,
|
| 141 |
+
"ir_checkpoint": {
|
| 142 |
+
"asset_binding_schema": "ir-decoder-component-binding/v1",
|
| 143 |
+
"dimension": null,
|
| 144 |
+
"dimension_role": "unbound_component",
|
| 145 |
+
"donor": null,
|
| 146 |
+
"external_lane_binding": null,
|
| 147 |
+
"format_id": null,
|
| 148 |
+
"initialization_only": false,
|
| 149 |
+
"ir_family_id": "security_ir",
|
| 150 |
+
"original_checkpoint_pin": {
|
| 151 |
+
"bytes": 1423961,
|
| 152 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/expanded-01/security_ir/family/family_checkpoint.json",
|
| 153 |
+
"sha256": "252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e"
|
| 154 |
+
},
|
| 155 |
+
"profile_id": null,
|
| 156 |
+
"proof_authority": false,
|
| 157 |
+
"record_id": "ir-model-component-binding/v1:4067f1d4b7dde996b286640acc3da7dee9a90d073fa40548735744a9bafe9370",
|
| 158 |
+
"role": "expanded-01/security_ir/family/family_checkpoint",
|
| 159 |
+
"runtime_ready": false,
|
| 160 |
+
"schema_version": null,
|
| 161 |
+
"task_id": null,
|
| 162 |
+
"teacher_qualified": false,
|
| 163 |
+
"trained": null
|
| 164 |
+
},
|
| 165 |
+
"model_type_is_broad_autoencoder_taxonomy": true,
|
| 166 |
+
"no_new_native_profile_or_training_run_id": true,
|
| 167 |
+
"original_recorded_metadata": {
|
| 168 |
+
"codec": null,
|
| 169 |
+
"config": {
|
| 170 |
+
"denoising": 0.05,
|
| 171 |
+
"learning_rate": 0.001,
|
| 172 |
+
"max_seconds": 120,
|
| 173 |
+
"minibatch_size": 32,
|
| 174 |
+
"patience": 4,
|
| 175 |
+
"ridge": 0.001,
|
| 176 |
+
"seed": 1729
|
| 177 |
+
},
|
| 178 |
+
"declaration": {
|
| 179 |
+
"auxiliary_dimensions": {
|
| 180 |
+
"feature_space_schema": null,
|
| 181 |
+
"input_feature_count": 2737,
|
| 182 |
+
"latent_width": 16,
|
| 183 |
+
"normalization": "log1p_l2_per_native_projection",
|
| 184 |
+
"serialized_parameter_shapes": [
|
| 185 |
+
[
|
| 186 |
+
2737,
|
| 187 |
+
16
|
| 188 |
+
],
|
| 189 |
+
[
|
| 190 |
+
16
|
| 191 |
+
],
|
| 192 |
+
[
|
| 193 |
+
16,
|
| 194 |
+
2737
|
| 195 |
+
],
|
| 196 |
+
[
|
| 197 |
+
2737
|
| 198 |
+
]
|
| 199 |
+
],
|
| 200 |
+
"source_text_decoder_trained": false
|
| 201 |
+
},
|
| 202 |
+
"external_lane_binding": null,
|
| 203 |
+
"owning_ir_family": "security_ir",
|
| 204 |
+
"role": "expanded-01/security_ir/family/family_checkpoint",
|
| 205 |
+
"source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002"
|
| 206 |
+
},
|
| 207 |
+
"external_lane_binding": null,
|
| 208 |
+
"implementation": {
|
| 209 |
+
"feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
|
| 210 |
+
"trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68"
|
| 211 |
+
},
|
| 212 |
+
"input_output_contract": {
|
| 213 |
+
"feature_space_producer_pins": {
|
| 214 |
+
"ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
|
| 215 |
+
"ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
|
| 216 |
+
"ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
|
| 217 |
+
"ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
|
| 218 |
+
"ipfs_datasets_py.logic.formalization.autoencoder.family_training_v2": "c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02",
|
| 219 |
+
"ipfs_datasets_py.logic.ir_core.canonical": "339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0",
|
| 220 |
+
"ipfs_datasets_py.logic.ir_core.claims": "282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b",
|
| 221 |
+
"ipfs_datasets_py.logic.ir_core.identity": "606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e",
|
| 222 |
+
"ipfs_datasets_py.logic.ir_core.provenance": "16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe",
|
| 223 |
+
"ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b",
|
| 224 |
+
"ipfs_datasets_py.logic.software_verification.authorization": "78f04e9231f9d04d98ab3597e52e8bb8c49d63047544657d33491b161effeeb7",
|
| 225 |
+
"ipfs_datasets_py.logic.software_verification.syntax_bridge": "cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116",
|
| 226 |
+
"ipfs_datasets_py.logic.syntax_core.ast": "4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4",
|
| 227 |
+
"ipfs_datasets_py.logic.syntax_core.contracts": "ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8",
|
| 228 |
+
"ipfs_datasets_py.logic.syntax_core.extensions": "4842bef325044b0bce9f14958d385864ba8d34273bc48618188f451f6832edf9",
|
| 229 |
+
"ipfs_datasets_py.logic.syntax_core.signatures": "49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf"
|
| 230 |
+
},
|
| 231 |
+
"feature_space_projections": {
|
| 232 |
+
"program.program_ir/v1": {
|
| 233 |
+
"logic_family": "program",
|
| 234 |
+
"producer_id": "security-code-logic-projection",
|
| 235 |
+
"profile": "program_ir",
|
| 236 |
+
"representation_kind": "native_typed_document"
|
| 237 |
+
},
|
| 238 |
+
"security_ir/supplemental/authorization/v2": {
|
| 239 |
+
"logic_family": "authorization",
|
| 240 |
+
"producer_id": "ipfs_datasets_py.logic.software_verification.syntax_bridge",
|
| 241 |
+
"profile": "datalog",
|
| 242 |
+
"representation_kind": "native_typed_projection"
|
| 243 |
+
}
|
| 244 |
+
},
|
| 245 |
+
"formal_space_id": null,
|
| 246 |
+
"output_kind": null,
|
| 247 |
+
"source_space_id": null,
|
| 248 |
+
"source_text_decoder_trained": false
|
| 249 |
+
},
|
| 250 |
+
"progress": null,
|
| 251 |
+
"recorded_fit_kind": "recorded_feature_autoencoder_fit",
|
| 252 |
+
"recorded_original_flags": {
|
| 253 |
+
"accepted": null,
|
| 254 |
+
"admitted": false,
|
| 255 |
+
"formalized": false,
|
| 256 |
+
"promotion_performed": false,
|
| 257 |
+
"proof_authority": null,
|
| 258 |
+
"publication_performed": null,
|
| 259 |
+
"qualified": false,
|
| 260 |
+
"source_fidelity_established": null
|
| 261 |
+
},
|
| 262 |
+
"saved_parameter_content_identifiers": {},
|
| 263 |
+
"schema": "native-family-calibrated-autoencoder/v2",
|
| 264 |
+
"source_implementation": null,
|
| 265 |
+
"status": "additional_saved_campaign_model_or_component",
|
| 266 |
+
"target_schema": null,
|
| 267 |
+
"task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
|
| 268 |
+
},
|
| 269 |
+
"serialized_checkpoint_schema": "native-family-calibrated-autoencoder/v2"
|
| 270 |
+
},
|
| 271 |
+
"inputs": [],
|
| 272 |
+
"model_id": "ir-model-component-binding/v1:4067f1d4b7dde996b286640acc3da7dee9a90d073fa40548735744a9bafe9370",
|
| 273 |
+
"model_name": "security_ir retained 252d885fccf17f02",
|
| 274 |
+
"model_revision": "252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e",
|
| 275 |
+
"model_type": "encoder_decoder",
|
| 276 |
+
"outputs": [],
|
| 277 |
+
"revision_id": "252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e",
|
| 278 |
+
"tags": [
|
| 279 |
+
"retained-ir-artifact",
|
| 280 |
+
"security_ir",
|
| 281 |
+
"metadata-only-registration"
|
| 282 |
+
]
|
| 283 |
+
},
|
| 284 |
+
"original_checkpoint_pin": {
|
| 285 |
+
"bytes": 1423961,
|
| 286 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/expanded-01/security_ir/family/family_checkpoint.json",
|
| 287 |
+
"sha256": "252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e"
|
| 288 |
+
},
|
| 289 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e/checkpoint.json",
|
| 290 |
+
"qualification": {
|
| 291 |
+
"complete_runtime_io_contract": false,
|
| 292 |
+
"full_source_closure_verified": false,
|
| 293 |
+
"model_manager_registration_performed": false,
|
| 294 |
+
"new_model_or_embedding_execution": false,
|
| 295 |
+
"proof_authority": false,
|
| 296 |
+
"publication_performed": false,
|
| 297 |
+
"runtime_ready": false,
|
| 298 |
+
"teacher_qualified": false,
|
| 299 |
+
"training_executed": false
|
| 300 |
+
},
|
| 301 |
+
"raw_checkpoint_bytes_rewritten": false,
|
| 302 |
+
"repository_id": "Publicus/security-ir-decoder-components",
|
| 303 |
+
"same_byte_source_aliases": [
|
| 304 |
+
{
|
| 305 |
+
"bytes": 1423961,
|
| 306 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/expanded-01/security_ir/family/family_checkpoint.json",
|
| 307 |
+
"sha256": "252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e"
|
| 308 |
+
}
|
| 309 |
+
],
|
| 310 |
+
"schema": "ir-retained-campaign-artifact-manifest/v1",
|
| 311 |
+
"selected_sources_are_partial_explicit_pointers": true,
|
| 312 |
+
"unavailable_declared_companions": []
|
| 313 |
+
}
|
releases/20261004-all-retained-v1/checkpoints/252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e/checkpoint.json
ADDED
|
The diff for this file is too large to render.
See raw diff
|
|
|
releases/20261004-all-retained-v1/checkpoints/74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7/asset-manifest.json
ADDED
|
@@ -0,0 +1,332 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
{
|
| 2 |
+
"audit_record_metadata": {
|
| 3 |
+
"codec": null,
|
| 4 |
+
"config": {
|
| 5 |
+
"denoising": 0.05,
|
| 6 |
+
"learning_rate": 0.001,
|
| 7 |
+
"max_seconds": 120,
|
| 8 |
+
"minibatch_size": 32,
|
| 9 |
+
"patience": 4,
|
| 10 |
+
"ridge": 0.001,
|
| 11 |
+
"seed": 1729
|
| 12 |
+
},
|
| 13 |
+
"fit_associations": [],
|
| 14 |
+
"implementation": {
|
| 15 |
+
"feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
|
| 16 |
+
"trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68"
|
| 17 |
+
},
|
| 18 |
+
"recorded_fit_kind": "recorded_feature_autoencoder_fit",
|
| 19 |
+
"role": "matched-01/security_ir/complete_parent_continuation/family_checkpoint",
|
| 20 |
+
"status": "additional_saved_campaign_model_or_component",
|
| 21 |
+
"task_id": null
|
| 22 |
+
},
|
| 23 |
+
"candidate_aliases": [
|
| 24 |
+
{
|
| 25 |
+
"audit_pin": {
|
| 26 |
+
"bytes": 2219149,
|
| 27 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
|
| 28 |
+
"sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
|
| 29 |
+
},
|
| 30 |
+
"original_checkpoint_pin": {
|
| 31 |
+
"bytes": 241411,
|
| 32 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/matched-01/security_ir/complete_parent_continuation/family_checkpoint.json",
|
| 33 |
+
"sha256": "74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7"
|
| 34 |
+
},
|
| 35 |
+
"record_index": 99,
|
| 36 |
+
"role": "matched-01/security_ir/complete_parent_continuation/family_checkpoint"
|
| 37 |
+
}
|
| 38 |
+
],
|
| 39 |
+
"checkpoint_pin": {
|
| 40 |
+
"bytes": 241411,
|
| 41 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/checkpoints/74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7/checkpoint.json",
|
| 42 |
+
"sha256": "74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7"
|
| 43 |
+
},
|
| 44 |
+
"companion_assets": [
|
| 45 |
+
{
|
| 46 |
+
"original_pin": {
|
| 47 |
+
"bytes": 65541,
|
| 48 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/expanded-01/ui_ux_ir/recipe.json",
|
| 49 |
+
"sha256": "0a6823723668d59fbb50d49c103dae9e9429affccd943eff04b568322158a2a0"
|
| 50 |
+
},
|
| 51 |
+
"published_file": {
|
| 52 |
+
"file_pin": {
|
| 53 |
+
"bytes": 65541,
|
| 54 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/0a6823723668d59fbb50d49c103dae9e9429affccd943eff04b568322158a2a0/asset.bin",
|
| 55 |
+
"sha256": "0a6823723668d59fbb50d49c103dae9e9429affccd943eff04b568322158a2a0"
|
| 56 |
+
},
|
| 57 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/0a6823723668d59fbb50d49c103dae9e9429affccd943eff04b568322158a2a0/asset.bin"
|
| 58 |
+
}
|
| 59 |
+
},
|
| 60 |
+
{
|
| 61 |
+
"original_pin": {
|
| 62 |
+
"bytes": 3994747,
|
| 63 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/intent-family/model-02/family_checkpoint.json",
|
| 64 |
+
"sha256": "0d939b54f088f6a6659eefd5f85393cd86c69416c5f02bab4278ba53843a0684"
|
| 65 |
+
},
|
| 66 |
+
"published_file": {
|
| 67 |
+
"file_pin": {
|
| 68 |
+
"bytes": 3994747,
|
| 69 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/0d939b54f088f6a6659eefd5f85393cd86c69416c5f02bab4278ba53843a0684/asset.bin",
|
| 70 |
+
"sha256": "0d939b54f088f6a6659eefd5f85393cd86c69416c5f02bab4278ba53843a0684"
|
| 71 |
+
},
|
| 72 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/0d939b54f088f6a6659eefd5f85393cd86c69416c5f02bab4278ba53843a0684/asset.bin"
|
| 73 |
+
}
|
| 74 |
+
},
|
| 75 |
+
{
|
| 76 |
+
"original_pin": {
|
| 77 |
+
"bytes": 62505,
|
| 78 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/expanded-legal-02/legal_ir/recipe.json",
|
| 79 |
+
"sha256": "5425ff12a1de85be032c226750c902029b65ca8aed7db538f73ec73f5bbf9c49"
|
| 80 |
+
},
|
| 81 |
+
"published_file": {
|
| 82 |
+
"file_pin": {
|
| 83 |
+
"bytes": 62505,
|
| 84 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/5425ff12a1de85be032c226750c902029b65ca8aed7db538f73ec73f5bbf9c49/asset.bin",
|
| 85 |
+
"sha256": "5425ff12a1de85be032c226750c902029b65ca8aed7db538f73ec73f5bbf9c49"
|
| 86 |
+
},
|
| 87 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/5425ff12a1de85be032c226750c902029b65ca8aed7db538f73ec73f5bbf9c49/asset.bin"
|
| 88 |
+
}
|
| 89 |
+
},
|
| 90 |
+
{
|
| 91 |
+
"original_pin": {
|
| 92 |
+
"bytes": 3598583,
|
| 93 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-sequence-v2-20261002/intent-01/model/candidate.json",
|
| 94 |
+
"sha256": "9cf4da607d6fdb48400409e6618fcfe3246d0673e180696879b5601d1a889eec"
|
| 95 |
+
},
|
| 96 |
+
"published_file": {
|
| 97 |
+
"file_pin": {
|
| 98 |
+
"bytes": 3598583,
|
| 99 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/9cf4da607d6fdb48400409e6618fcfe3246d0673e180696879b5601d1a889eec/asset.bin",
|
| 100 |
+
"sha256": "9cf4da607d6fdb48400409e6618fcfe3246d0673e180696879b5601d1a889eec"
|
| 101 |
+
},
|
| 102 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/9cf4da607d6fdb48400409e6618fcfe3246d0673e180696879b5601d1a889eec/asset.bin"
|
| 103 |
+
}
|
| 104 |
+
},
|
| 105 |
+
{
|
| 106 |
+
"original_pin": {
|
| 107 |
+
"bytes": 67739,
|
| 108 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/expanded-01/security_ir/recipe.json",
|
| 109 |
+
"sha256": "9f990ef1adcc65719a1eb8d84ef725946a931602b26de7aaf77b13e3c65acac0"
|
| 110 |
+
},
|
| 111 |
+
"published_file": {
|
| 112 |
+
"file_pin": {
|
| 113 |
+
"bytes": 67739,
|
| 114 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/9f990ef1adcc65719a1eb8d84ef725946a931602b26de7aaf77b13e3c65acac0/asset.bin",
|
| 115 |
+
"sha256": "9f990ef1adcc65719a1eb8d84ef725946a931602b26de7aaf77b13e3c65acac0"
|
| 116 |
+
},
|
| 117 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/9f990ef1adcc65719a1eb8d84ef725946a931602b26de7aaf77b13e3c65acac0/asset.bin"
|
| 118 |
+
}
|
| 119 |
+
},
|
| 120 |
+
{
|
| 121 |
+
"original_pin": {
|
| 122 |
+
"bytes": 52351,
|
| 123 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/result.json",
|
| 124 |
+
"sha256": "bac6fea2f385271c0e859ccd06d0fb5f5999bb5afad7cef0243cf799c4b8dfb1"
|
| 125 |
+
},
|
| 126 |
+
"published_file": {
|
| 127 |
+
"file_pin": {
|
| 128 |
+
"bytes": 52351,
|
| 129 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/bac6fea2f385271c0e859ccd06d0fb5f5999bb5afad7cef0243cf799c4b8dfb1/asset.bin",
|
| 130 |
+
"sha256": "bac6fea2f385271c0e859ccd06d0fb5f5999bb5afad7cef0243cf799c4b8dfb1"
|
| 131 |
+
},
|
| 132 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/bac6fea2f385271c0e859ccd06d0fb5f5999bb5afad7cef0243cf799c4b8dfb1/asset.bin"
|
| 133 |
+
}
|
| 134 |
+
}
|
| 135 |
+
],
|
| 136 |
+
"model_metadata": {
|
| 137 |
+
"architecture": "retained-serialized-component; architecture-unqualified",
|
| 138 |
+
"description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
|
| 139 |
+
"huggingface_config": {
|
| 140 |
+
"complete_runtime_io_contract": false,
|
| 141 |
+
"ir_checkpoint": {
|
| 142 |
+
"asset_binding_schema": "ir-decoder-component-binding/v1",
|
| 143 |
+
"dimension": null,
|
| 144 |
+
"dimension_role": "unbound_component",
|
| 145 |
+
"donor": null,
|
| 146 |
+
"external_lane_binding": null,
|
| 147 |
+
"format_id": null,
|
| 148 |
+
"initialization_only": false,
|
| 149 |
+
"ir_family_id": "security_ir",
|
| 150 |
+
"original_checkpoint_pin": {
|
| 151 |
+
"bytes": 241411,
|
| 152 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/matched-01/security_ir/complete_parent_continuation/family_checkpoint.json",
|
| 153 |
+
"sha256": "74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7"
|
| 154 |
+
},
|
| 155 |
+
"profile_id": null,
|
| 156 |
+
"proof_authority": false,
|
| 157 |
+
"record_id": "ir-model-component-binding/v1:50f4c66be70538a69f880ef21c6c5b208c011b342c1e2064adfec924f4e53a09",
|
| 158 |
+
"role": "matched-01/security_ir/complete_parent_continuation/family_checkpoint",
|
| 159 |
+
"runtime_ready": false,
|
| 160 |
+
"schema_version": null,
|
| 161 |
+
"task_id": null,
|
| 162 |
+
"teacher_qualified": false,
|
| 163 |
+
"trained": null
|
| 164 |
+
},
|
| 165 |
+
"model_type_is_broad_autoencoder_taxonomy": true,
|
| 166 |
+
"no_new_native_profile_or_training_run_id": true,
|
| 167 |
+
"original_recorded_metadata": {
|
| 168 |
+
"codec": null,
|
| 169 |
+
"config": {
|
| 170 |
+
"denoising": 0.05,
|
| 171 |
+
"learning_rate": 0.001,
|
| 172 |
+
"max_seconds": 120,
|
| 173 |
+
"minibatch_size": 32,
|
| 174 |
+
"patience": 4,
|
| 175 |
+
"ridge": 0.001,
|
| 176 |
+
"seed": 1729
|
| 177 |
+
},
|
| 178 |
+
"declaration": {
|
| 179 |
+
"auxiliary_dimensions": {
|
| 180 |
+
"feature_space_schema": null,
|
| 181 |
+
"input_feature_count": 1110,
|
| 182 |
+
"latent_width": 4,
|
| 183 |
+
"normalization": "log1p_l2_per_native_projection",
|
| 184 |
+
"serialized_parameter_shapes": [
|
| 185 |
+
[
|
| 186 |
+
1110,
|
| 187 |
+
4
|
| 188 |
+
],
|
| 189 |
+
[
|
| 190 |
+
4
|
| 191 |
+
],
|
| 192 |
+
[
|
| 193 |
+
4,
|
| 194 |
+
1110
|
| 195 |
+
],
|
| 196 |
+
[
|
| 197 |
+
1110
|
| 198 |
+
]
|
| 199 |
+
],
|
| 200 |
+
"source_text_decoder_trained": false
|
| 201 |
+
},
|
| 202 |
+
"external_lane_binding": null,
|
| 203 |
+
"owning_ir_family": "security_ir",
|
| 204 |
+
"role": "matched-01/security_ir/complete_parent_continuation/family_checkpoint",
|
| 205 |
+
"source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002"
|
| 206 |
+
},
|
| 207 |
+
"external_lane_binding": null,
|
| 208 |
+
"implementation": {
|
| 209 |
+
"feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
|
| 210 |
+
"trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68"
|
| 211 |
+
},
|
| 212 |
+
"input_output_contract": {
|
| 213 |
+
"feature_space_producer_pins": {
|
| 214 |
+
"ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
|
| 215 |
+
"ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
|
| 216 |
+
"ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
|
| 217 |
+
"ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
|
| 218 |
+
"ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b"
|
| 219 |
+
},
|
| 220 |
+
"feature_space_projections": {
|
| 221 |
+
"hyperproperty.ir/v1": {
|
| 222 |
+
"logic_family": "hyperproperty",
|
| 223 |
+
"producer_id": "security-code-logic-projection",
|
| 224 |
+
"profile": "hyperltl",
|
| 225 |
+
"representation_kind": "native_typed_document"
|
| 226 |
+
},
|
| 227 |
+
"program.program_contract/v1": {
|
| 228 |
+
"logic_family": "program",
|
| 229 |
+
"producer_id": "security-code-logic-projection",
|
| 230 |
+
"profile": "dynamic_hoare",
|
| 231 |
+
"representation_kind": "native_typed_document"
|
| 232 |
+
},
|
| 233 |
+
"program.program_ir/v1": {
|
| 234 |
+
"logic_family": "program",
|
| 235 |
+
"producer_id": "security-code-logic-projection",
|
| 236 |
+
"profile": "program_ir",
|
| 237 |
+
"representation_kind": "native_typed_document"
|
| 238 |
+
},
|
| 239 |
+
"separation_logic.heap_model/v1": {
|
| 240 |
+
"logic_family": "separation_logic",
|
| 241 |
+
"producer_id": "security-code-logic-projection",
|
| 242 |
+
"profile": "heap_model",
|
| 243 |
+
"representation_kind": "native_typed_document"
|
| 244 |
+
},
|
| 245 |
+
"separation_logic.ir/v1": {
|
| 246 |
+
"logic_family": "separation_logic",
|
| 247 |
+
"producer_id": "security-code-logic-projection",
|
| 248 |
+
"profile": "separation",
|
| 249 |
+
"representation_kind": "native_typed_document"
|
| 250 |
+
},
|
| 251 |
+
"temporal.formula/v1": {
|
| 252 |
+
"logic_family": "temporal",
|
| 253 |
+
"producer_id": "security-code-logic-projection",
|
| 254 |
+
"profile": "ltl",
|
| 255 |
+
"representation_kind": "native_typed_document"
|
| 256 |
+
},
|
| 257 |
+
"transition_system.state_transition_ir/v1": {
|
| 258 |
+
"logic_family": "transition_system",
|
| 259 |
+
"producer_id": "security-code-logic-projection",
|
| 260 |
+
"profile": "action_system",
|
| 261 |
+
"representation_kind": "native_typed_document"
|
| 262 |
+
}
|
| 263 |
+
},
|
| 264 |
+
"formal_space_id": null,
|
| 265 |
+
"output_kind": null,
|
| 266 |
+
"source_space_id": null,
|
| 267 |
+
"source_text_decoder_trained": false
|
| 268 |
+
},
|
| 269 |
+
"progress": null,
|
| 270 |
+
"recorded_fit_kind": "recorded_feature_autoencoder_fit",
|
| 271 |
+
"recorded_original_flags": {
|
| 272 |
+
"accepted": null,
|
| 273 |
+
"admitted": false,
|
| 274 |
+
"formalized": false,
|
| 275 |
+
"promotion_performed": false,
|
| 276 |
+
"proof_authority": null,
|
| 277 |
+
"publication_performed": null,
|
| 278 |
+
"qualified": false,
|
| 279 |
+
"source_fidelity_established": null
|
| 280 |
+
},
|
| 281 |
+
"saved_parameter_content_identifiers": {},
|
| 282 |
+
"schema": "native-family-calibrated-autoencoder/v2",
|
| 283 |
+
"source_implementation": null,
|
| 284 |
+
"status": "additional_saved_campaign_model_or_component",
|
| 285 |
+
"target_schema": null,
|
| 286 |
+
"task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
|
| 287 |
+
},
|
| 288 |
+
"serialized_checkpoint_schema": "native-family-calibrated-autoencoder/v2"
|
| 289 |
+
},
|
| 290 |
+
"inputs": [],
|
| 291 |
+
"model_id": "ir-model-component-binding/v1:50f4c66be70538a69f880ef21c6c5b208c011b342c1e2064adfec924f4e53a09",
|
| 292 |
+
"model_name": "security_ir retained 74501bc161ad6449",
|
| 293 |
+
"model_revision": "74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7",
|
| 294 |
+
"model_type": "encoder_decoder",
|
| 295 |
+
"outputs": [],
|
| 296 |
+
"revision_id": "74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7",
|
| 297 |
+
"tags": [
|
| 298 |
+
"retained-ir-artifact",
|
| 299 |
+
"security_ir",
|
| 300 |
+
"metadata-only-registration"
|
| 301 |
+
]
|
| 302 |
+
},
|
| 303 |
+
"original_checkpoint_pin": {
|
| 304 |
+
"bytes": 241411,
|
| 305 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/matched-01/security_ir/complete_parent_continuation/family_checkpoint.json",
|
| 306 |
+
"sha256": "74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7"
|
| 307 |
+
},
|
| 308 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7/checkpoint.json",
|
| 309 |
+
"qualification": {
|
| 310 |
+
"complete_runtime_io_contract": false,
|
| 311 |
+
"full_source_closure_verified": false,
|
| 312 |
+
"model_manager_registration_performed": false,
|
| 313 |
+
"new_model_or_embedding_execution": false,
|
| 314 |
+
"proof_authority": false,
|
| 315 |
+
"publication_performed": false,
|
| 316 |
+
"runtime_ready": false,
|
| 317 |
+
"teacher_qualified": false,
|
| 318 |
+
"training_executed": false
|
| 319 |
+
},
|
| 320 |
+
"raw_checkpoint_bytes_rewritten": false,
|
| 321 |
+
"repository_id": "Publicus/security-ir-decoder-components",
|
| 322 |
+
"same_byte_source_aliases": [
|
| 323 |
+
{
|
| 324 |
+
"bytes": 241411,
|
| 325 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/matched-01/security_ir/complete_parent_continuation/family_checkpoint.json",
|
| 326 |
+
"sha256": "74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7"
|
| 327 |
+
}
|
| 328 |
+
],
|
| 329 |
+
"schema": "ir-retained-campaign-artifact-manifest/v1",
|
| 330 |
+
"selected_sources_are_partial_explicit_pointers": true,
|
| 331 |
+
"unavailable_declared_companions": []
|
| 332 |
+
}
|
releases/20261004-all-retained-v1/checkpoints/74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7/checkpoint.json
ADDED
|
The diff for this file is too large to render.
See raw diff
|
|
|
releases/20261004-all-retained-v1/checkpoints/7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3/asset-manifest.json
ADDED
|
@@ -0,0 +1,332 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
{
|
| 2 |
+
"audit_record_metadata": {
|
| 3 |
+
"codec": null,
|
| 4 |
+
"config": {
|
| 5 |
+
"denoising": 0.05,
|
| 6 |
+
"learning_rate": 0.001,
|
| 7 |
+
"max_seconds": 120,
|
| 8 |
+
"minibatch_size": 32,
|
| 9 |
+
"patience": 4,
|
| 10 |
+
"ridge": 0.001,
|
| 11 |
+
"seed": 1729
|
| 12 |
+
},
|
| 13 |
+
"fit_associations": [],
|
| 14 |
+
"implementation": {
|
| 15 |
+
"feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
|
| 16 |
+
"trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68"
|
| 17 |
+
},
|
| 18 |
+
"recorded_fit_kind": "recorded_feature_autoencoder_fit",
|
| 19 |
+
"role": "matched-01/security_ir/fresh_same_basis/family_checkpoint",
|
| 20 |
+
"status": "additional_saved_campaign_model_or_component",
|
| 21 |
+
"task_id": null
|
| 22 |
+
},
|
| 23 |
+
"candidate_aliases": [
|
| 24 |
+
{
|
| 25 |
+
"audit_pin": {
|
| 26 |
+
"bytes": 2219149,
|
| 27 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
|
| 28 |
+
"sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
|
| 29 |
+
},
|
| 30 |
+
"original_checkpoint_pin": {
|
| 31 |
+
"bytes": 241149,
|
| 32 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/matched-01/security_ir/fresh_same_basis/family_checkpoint.json",
|
| 33 |
+
"sha256": "7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3"
|
| 34 |
+
},
|
| 35 |
+
"record_index": 100,
|
| 36 |
+
"role": "matched-01/security_ir/fresh_same_basis/family_checkpoint"
|
| 37 |
+
}
|
| 38 |
+
],
|
| 39 |
+
"checkpoint_pin": {
|
| 40 |
+
"bytes": 241149,
|
| 41 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/checkpoints/7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3/checkpoint.json",
|
| 42 |
+
"sha256": "7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3"
|
| 43 |
+
},
|
| 44 |
+
"companion_assets": [
|
| 45 |
+
{
|
| 46 |
+
"original_pin": {
|
| 47 |
+
"bytes": 65541,
|
| 48 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/expanded-01/ui_ux_ir/recipe.json",
|
| 49 |
+
"sha256": "0a6823723668d59fbb50d49c103dae9e9429affccd943eff04b568322158a2a0"
|
| 50 |
+
},
|
| 51 |
+
"published_file": {
|
| 52 |
+
"file_pin": {
|
| 53 |
+
"bytes": 65541,
|
| 54 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/0a6823723668d59fbb50d49c103dae9e9429affccd943eff04b568322158a2a0/asset.bin",
|
| 55 |
+
"sha256": "0a6823723668d59fbb50d49c103dae9e9429affccd943eff04b568322158a2a0"
|
| 56 |
+
},
|
| 57 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/0a6823723668d59fbb50d49c103dae9e9429affccd943eff04b568322158a2a0/asset.bin"
|
| 58 |
+
}
|
| 59 |
+
},
|
| 60 |
+
{
|
| 61 |
+
"original_pin": {
|
| 62 |
+
"bytes": 3994747,
|
| 63 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/intent-family/model-02/family_checkpoint.json",
|
| 64 |
+
"sha256": "0d939b54f088f6a6659eefd5f85393cd86c69416c5f02bab4278ba53843a0684"
|
| 65 |
+
},
|
| 66 |
+
"published_file": {
|
| 67 |
+
"file_pin": {
|
| 68 |
+
"bytes": 3994747,
|
| 69 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/0d939b54f088f6a6659eefd5f85393cd86c69416c5f02bab4278ba53843a0684/asset.bin",
|
| 70 |
+
"sha256": "0d939b54f088f6a6659eefd5f85393cd86c69416c5f02bab4278ba53843a0684"
|
| 71 |
+
},
|
| 72 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/0d939b54f088f6a6659eefd5f85393cd86c69416c5f02bab4278ba53843a0684/asset.bin"
|
| 73 |
+
}
|
| 74 |
+
},
|
| 75 |
+
{
|
| 76 |
+
"original_pin": {
|
| 77 |
+
"bytes": 62505,
|
| 78 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/expanded-legal-02/legal_ir/recipe.json",
|
| 79 |
+
"sha256": "5425ff12a1de85be032c226750c902029b65ca8aed7db538f73ec73f5bbf9c49"
|
| 80 |
+
},
|
| 81 |
+
"published_file": {
|
| 82 |
+
"file_pin": {
|
| 83 |
+
"bytes": 62505,
|
| 84 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/5425ff12a1de85be032c226750c902029b65ca8aed7db538f73ec73f5bbf9c49/asset.bin",
|
| 85 |
+
"sha256": "5425ff12a1de85be032c226750c902029b65ca8aed7db538f73ec73f5bbf9c49"
|
| 86 |
+
},
|
| 87 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/5425ff12a1de85be032c226750c902029b65ca8aed7db538f73ec73f5bbf9c49/asset.bin"
|
| 88 |
+
}
|
| 89 |
+
},
|
| 90 |
+
{
|
| 91 |
+
"original_pin": {
|
| 92 |
+
"bytes": 3598583,
|
| 93 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-sequence-v2-20261002/intent-01/model/candidate.json",
|
| 94 |
+
"sha256": "9cf4da607d6fdb48400409e6618fcfe3246d0673e180696879b5601d1a889eec"
|
| 95 |
+
},
|
| 96 |
+
"published_file": {
|
| 97 |
+
"file_pin": {
|
| 98 |
+
"bytes": 3598583,
|
| 99 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/9cf4da607d6fdb48400409e6618fcfe3246d0673e180696879b5601d1a889eec/asset.bin",
|
| 100 |
+
"sha256": "9cf4da607d6fdb48400409e6618fcfe3246d0673e180696879b5601d1a889eec"
|
| 101 |
+
},
|
| 102 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/9cf4da607d6fdb48400409e6618fcfe3246d0673e180696879b5601d1a889eec/asset.bin"
|
| 103 |
+
}
|
| 104 |
+
},
|
| 105 |
+
{
|
| 106 |
+
"original_pin": {
|
| 107 |
+
"bytes": 67739,
|
| 108 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/expanded-01/security_ir/recipe.json",
|
| 109 |
+
"sha256": "9f990ef1adcc65719a1eb8d84ef725946a931602b26de7aaf77b13e3c65acac0"
|
| 110 |
+
},
|
| 111 |
+
"published_file": {
|
| 112 |
+
"file_pin": {
|
| 113 |
+
"bytes": 67739,
|
| 114 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/9f990ef1adcc65719a1eb8d84ef725946a931602b26de7aaf77b13e3c65acac0/asset.bin",
|
| 115 |
+
"sha256": "9f990ef1adcc65719a1eb8d84ef725946a931602b26de7aaf77b13e3c65acac0"
|
| 116 |
+
},
|
| 117 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/9f990ef1adcc65719a1eb8d84ef725946a931602b26de7aaf77b13e3c65acac0/asset.bin"
|
| 118 |
+
}
|
| 119 |
+
},
|
| 120 |
+
{
|
| 121 |
+
"original_pin": {
|
| 122 |
+
"bytes": 52351,
|
| 123 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/result.json",
|
| 124 |
+
"sha256": "bac6fea2f385271c0e859ccd06d0fb5f5999bb5afad7cef0243cf799c4b8dfb1"
|
| 125 |
+
},
|
| 126 |
+
"published_file": {
|
| 127 |
+
"file_pin": {
|
| 128 |
+
"bytes": 52351,
|
| 129 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/bac6fea2f385271c0e859ccd06d0fb5f5999bb5afad7cef0243cf799c4b8dfb1/asset.bin",
|
| 130 |
+
"sha256": "bac6fea2f385271c0e859ccd06d0fb5f5999bb5afad7cef0243cf799c4b8dfb1"
|
| 131 |
+
},
|
| 132 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/bac6fea2f385271c0e859ccd06d0fb5f5999bb5afad7cef0243cf799c4b8dfb1/asset.bin"
|
| 133 |
+
}
|
| 134 |
+
}
|
| 135 |
+
],
|
| 136 |
+
"model_metadata": {
|
| 137 |
+
"architecture": "retained-serialized-component; architecture-unqualified",
|
| 138 |
+
"description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
|
| 139 |
+
"huggingface_config": {
|
| 140 |
+
"complete_runtime_io_contract": false,
|
| 141 |
+
"ir_checkpoint": {
|
| 142 |
+
"asset_binding_schema": "ir-decoder-component-binding/v1",
|
| 143 |
+
"dimension": null,
|
| 144 |
+
"dimension_role": "unbound_component",
|
| 145 |
+
"donor": null,
|
| 146 |
+
"external_lane_binding": null,
|
| 147 |
+
"format_id": null,
|
| 148 |
+
"initialization_only": false,
|
| 149 |
+
"ir_family_id": "security_ir",
|
| 150 |
+
"original_checkpoint_pin": {
|
| 151 |
+
"bytes": 241149,
|
| 152 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/matched-01/security_ir/fresh_same_basis/family_checkpoint.json",
|
| 153 |
+
"sha256": "7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3"
|
| 154 |
+
},
|
| 155 |
+
"profile_id": null,
|
| 156 |
+
"proof_authority": false,
|
| 157 |
+
"record_id": "ir-model-component-binding/v1:2ffdf18d31512d7219c15f81cb0eb97ff5d646d76fd708110045b2e3a91545cd",
|
| 158 |
+
"role": "matched-01/security_ir/fresh_same_basis/family_checkpoint",
|
| 159 |
+
"runtime_ready": false,
|
| 160 |
+
"schema_version": null,
|
| 161 |
+
"task_id": null,
|
| 162 |
+
"teacher_qualified": false,
|
| 163 |
+
"trained": null
|
| 164 |
+
},
|
| 165 |
+
"model_type_is_broad_autoencoder_taxonomy": true,
|
| 166 |
+
"no_new_native_profile_or_training_run_id": true,
|
| 167 |
+
"original_recorded_metadata": {
|
| 168 |
+
"codec": null,
|
| 169 |
+
"config": {
|
| 170 |
+
"denoising": 0.05,
|
| 171 |
+
"learning_rate": 0.001,
|
| 172 |
+
"max_seconds": 120,
|
| 173 |
+
"minibatch_size": 32,
|
| 174 |
+
"patience": 4,
|
| 175 |
+
"ridge": 0.001,
|
| 176 |
+
"seed": 1729
|
| 177 |
+
},
|
| 178 |
+
"declaration": {
|
| 179 |
+
"auxiliary_dimensions": {
|
| 180 |
+
"feature_space_schema": null,
|
| 181 |
+
"input_feature_count": 1110,
|
| 182 |
+
"latent_width": 4,
|
| 183 |
+
"normalization": "log1p_l2_per_native_projection",
|
| 184 |
+
"serialized_parameter_shapes": [
|
| 185 |
+
[
|
| 186 |
+
1110,
|
| 187 |
+
4
|
| 188 |
+
],
|
| 189 |
+
[
|
| 190 |
+
4
|
| 191 |
+
],
|
| 192 |
+
[
|
| 193 |
+
4,
|
| 194 |
+
1110
|
| 195 |
+
],
|
| 196 |
+
[
|
| 197 |
+
1110
|
| 198 |
+
]
|
| 199 |
+
],
|
| 200 |
+
"source_text_decoder_trained": false
|
| 201 |
+
},
|
| 202 |
+
"external_lane_binding": null,
|
| 203 |
+
"owning_ir_family": "security_ir",
|
| 204 |
+
"role": "matched-01/security_ir/fresh_same_basis/family_checkpoint",
|
| 205 |
+
"source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002"
|
| 206 |
+
},
|
| 207 |
+
"external_lane_binding": null,
|
| 208 |
+
"implementation": {
|
| 209 |
+
"feature_codec": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1",
|
| 210 |
+
"trainer": "4c9b1b872ca56929a4060272ec4e7056f38b675d1033b3fa257586beb8cf3b68"
|
| 211 |
+
},
|
| 212 |
+
"input_output_contract": {
|
| 213 |
+
"feature_space_producer_pins": {
|
| 214 |
+
"ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
|
| 215 |
+
"ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
|
| 216 |
+
"ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
|
| 217 |
+
"ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
|
| 218 |
+
"ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b"
|
| 219 |
+
},
|
| 220 |
+
"feature_space_projections": {
|
| 221 |
+
"hyperproperty.ir/v1": {
|
| 222 |
+
"logic_family": "hyperproperty",
|
| 223 |
+
"producer_id": "security-code-logic-projection",
|
| 224 |
+
"profile": "hyperltl",
|
| 225 |
+
"representation_kind": "native_typed_document"
|
| 226 |
+
},
|
| 227 |
+
"program.program_contract/v1": {
|
| 228 |
+
"logic_family": "program",
|
| 229 |
+
"producer_id": "security-code-logic-projection",
|
| 230 |
+
"profile": "dynamic_hoare",
|
| 231 |
+
"representation_kind": "native_typed_document"
|
| 232 |
+
},
|
| 233 |
+
"program.program_ir/v1": {
|
| 234 |
+
"logic_family": "program",
|
| 235 |
+
"producer_id": "security-code-logic-projection",
|
| 236 |
+
"profile": "program_ir",
|
| 237 |
+
"representation_kind": "native_typed_document"
|
| 238 |
+
},
|
| 239 |
+
"separation_logic.heap_model/v1": {
|
| 240 |
+
"logic_family": "separation_logic",
|
| 241 |
+
"producer_id": "security-code-logic-projection",
|
| 242 |
+
"profile": "heap_model",
|
| 243 |
+
"representation_kind": "native_typed_document"
|
| 244 |
+
},
|
| 245 |
+
"separation_logic.ir/v1": {
|
| 246 |
+
"logic_family": "separation_logic",
|
| 247 |
+
"producer_id": "security-code-logic-projection",
|
| 248 |
+
"profile": "separation",
|
| 249 |
+
"representation_kind": "native_typed_document"
|
| 250 |
+
},
|
| 251 |
+
"temporal.formula/v1": {
|
| 252 |
+
"logic_family": "temporal",
|
| 253 |
+
"producer_id": "security-code-logic-projection",
|
| 254 |
+
"profile": "ltl",
|
| 255 |
+
"representation_kind": "native_typed_document"
|
| 256 |
+
},
|
| 257 |
+
"transition_system.state_transition_ir/v1": {
|
| 258 |
+
"logic_family": "transition_system",
|
| 259 |
+
"producer_id": "security-code-logic-projection",
|
| 260 |
+
"profile": "action_system",
|
| 261 |
+
"representation_kind": "native_typed_document"
|
| 262 |
+
}
|
| 263 |
+
},
|
| 264 |
+
"formal_space_id": null,
|
| 265 |
+
"output_kind": null,
|
| 266 |
+
"source_space_id": null,
|
| 267 |
+
"source_text_decoder_trained": false
|
| 268 |
+
},
|
| 269 |
+
"progress": null,
|
| 270 |
+
"recorded_fit_kind": "recorded_feature_autoencoder_fit",
|
| 271 |
+
"recorded_original_flags": {
|
| 272 |
+
"accepted": null,
|
| 273 |
+
"admitted": false,
|
| 274 |
+
"formalized": false,
|
| 275 |
+
"promotion_performed": false,
|
| 276 |
+
"proof_authority": null,
|
| 277 |
+
"publication_performed": null,
|
| 278 |
+
"qualified": false,
|
| 279 |
+
"source_fidelity_established": null
|
| 280 |
+
},
|
| 281 |
+
"saved_parameter_content_identifiers": {},
|
| 282 |
+
"schema": "native-family-calibrated-autoencoder/v2",
|
| 283 |
+
"source_implementation": null,
|
| 284 |
+
"status": "additional_saved_campaign_model_or_component",
|
| 285 |
+
"target_schema": null,
|
| 286 |
+
"task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
|
| 287 |
+
},
|
| 288 |
+
"serialized_checkpoint_schema": "native-family-calibrated-autoencoder/v2"
|
| 289 |
+
},
|
| 290 |
+
"inputs": [],
|
| 291 |
+
"model_id": "ir-model-component-binding/v1:2ffdf18d31512d7219c15f81cb0eb97ff5d646d76fd708110045b2e3a91545cd",
|
| 292 |
+
"model_name": "security_ir retained 7dec6dff4a5d9a7c",
|
| 293 |
+
"model_revision": "7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3",
|
| 294 |
+
"model_type": "encoder_decoder",
|
| 295 |
+
"outputs": [],
|
| 296 |
+
"revision_id": "7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3",
|
| 297 |
+
"tags": [
|
| 298 |
+
"retained-ir-artifact",
|
| 299 |
+
"security_ir",
|
| 300 |
+
"metadata-only-registration"
|
| 301 |
+
]
|
| 302 |
+
},
|
| 303 |
+
"original_checkpoint_pin": {
|
| 304 |
+
"bytes": 241149,
|
| 305 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/matched-01/security_ir/fresh_same_basis/family_checkpoint.json",
|
| 306 |
+
"sha256": "7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3"
|
| 307 |
+
},
|
| 308 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3/checkpoint.json",
|
| 309 |
+
"qualification": {
|
| 310 |
+
"complete_runtime_io_contract": false,
|
| 311 |
+
"full_source_closure_verified": false,
|
| 312 |
+
"model_manager_registration_performed": false,
|
| 313 |
+
"new_model_or_embedding_execution": false,
|
| 314 |
+
"proof_authority": false,
|
| 315 |
+
"publication_performed": false,
|
| 316 |
+
"runtime_ready": false,
|
| 317 |
+
"teacher_qualified": false,
|
| 318 |
+
"training_executed": false
|
| 319 |
+
},
|
| 320 |
+
"raw_checkpoint_bytes_rewritten": false,
|
| 321 |
+
"repository_id": "Publicus/security-ir-decoder-components",
|
| 322 |
+
"same_byte_source_aliases": [
|
| 323 |
+
{
|
| 324 |
+
"bytes": 241149,
|
| 325 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-algorithms-v2-20261002/matched-01/security_ir/fresh_same_basis/family_checkpoint.json",
|
| 326 |
+
"sha256": "7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3"
|
| 327 |
+
}
|
| 328 |
+
],
|
| 329 |
+
"schema": "ir-retained-campaign-artifact-manifest/v1",
|
| 330 |
+
"selected_sources_are_partial_explicit_pointers": true,
|
| 331 |
+
"unavailable_declared_companions": []
|
| 332 |
+
}
|
releases/20261004-all-retained-v1/checkpoints/7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3/checkpoint.json
ADDED
|
The diff for this file is too large to render.
See raw diff
|
|
|
releases/20261004-all-retained-v1/checkpoints/f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25/asset-manifest.json
ADDED
|
@@ -0,0 +1,241 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
{
|
| 2 |
+
"audit_record_metadata": {
|
| 3 |
+
"codec": null,
|
| 4 |
+
"config": null,
|
| 5 |
+
"fit_associations": [],
|
| 6 |
+
"implementation": {
|
| 7 |
+
"target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
|
| 8 |
+
"trainer": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1"
|
| 9 |
+
},
|
| 10 |
+
"recorded_fit_kind": "recorded_feature_autoencoder_fit",
|
| 11 |
+
"role": "shared-family-pilots/security-model-01/family_checkpoint",
|
| 12 |
+
"status": "additional_saved_campaign_model_or_component",
|
| 13 |
+
"task_id": null
|
| 14 |
+
},
|
| 15 |
+
"candidate_aliases": [
|
| 16 |
+
{
|
| 17 |
+
"audit_pin": {
|
| 18 |
+
"bytes": 2219149,
|
| 19 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplementary-nonlegal-campaign-model-audit.json",
|
| 20 |
+
"sha256": "2afdce2861873b0088ca74d385ad2d136671a3297a417d65b86835476454a7af"
|
| 21 |
+
},
|
| 22 |
+
"original_checkpoint_pin": {
|
| 23 |
+
"bytes": 243313,
|
| 24 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-coverage-20261002/shared-family-pilots/security-model-01/family_checkpoint.json",
|
| 25 |
+
"sha256": "f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25"
|
| 26 |
+
},
|
| 27 |
+
"record_index": 105,
|
| 28 |
+
"role": "shared-family-pilots/security-model-01/family_checkpoint"
|
| 29 |
+
}
|
| 30 |
+
],
|
| 31 |
+
"checkpoint_pin": {
|
| 32 |
+
"bytes": 243313,
|
| 33 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/checkpoints/f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25/checkpoint.json",
|
| 34 |
+
"sha256": "f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25"
|
| 35 |
+
},
|
| 36 |
+
"companion_assets": [
|
| 37 |
+
{
|
| 38 |
+
"original_pin": {
|
| 39 |
+
"bytes": 55288,
|
| 40 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-coverage-20261002/result.json",
|
| 41 |
+
"sha256": "7f7e03ec0b93b62365af955133a5bcf13b23f140c7c7b23fd36fae697ff1ccf7"
|
| 42 |
+
},
|
| 43 |
+
"published_file": {
|
| 44 |
+
"file_pin": {
|
| 45 |
+
"bytes": 55288,
|
| 46 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-model-manager-hf-sync-20261004/supplement-packages/security-ir-decoder-components/payloads/7f7e03ec0b93b62365af955133a5bcf13b23f140c7c7b23fd36fae697ff1ccf7/asset.bin",
|
| 47 |
+
"sha256": "7f7e03ec0b93b62365af955133a5bcf13b23f140c7c7b23fd36fae697ff1ccf7"
|
| 48 |
+
},
|
| 49 |
+
"path_in_repo": "releases/20261004-all-retained-v1/companions/7f7e03ec0b93b62365af955133a5bcf13b23f140c7c7b23fd36fae697ff1ccf7/asset.bin"
|
| 50 |
+
}
|
| 51 |
+
}
|
| 52 |
+
],
|
| 53 |
+
"model_metadata": {
|
| 54 |
+
"architecture": "retained-serialized-component; architecture-unqualified",
|
| 55 |
+
"description": "Exact retained campaign artifact. Registration does not qualify runtime, teacher, source fidelity or proof authority.",
|
| 56 |
+
"huggingface_config": {
|
| 57 |
+
"complete_runtime_io_contract": false,
|
| 58 |
+
"ir_checkpoint": {
|
| 59 |
+
"asset_binding_schema": "ir-decoder-component-binding/v1",
|
| 60 |
+
"dimension": null,
|
| 61 |
+
"dimension_role": "unbound_component",
|
| 62 |
+
"donor": null,
|
| 63 |
+
"external_lane_binding": null,
|
| 64 |
+
"format_id": null,
|
| 65 |
+
"initialization_only": false,
|
| 66 |
+
"ir_family_id": "security_ir",
|
| 67 |
+
"original_checkpoint_pin": {
|
| 68 |
+
"bytes": 243313,
|
| 69 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-coverage-20261002/shared-family-pilots/security-model-01/family_checkpoint.json",
|
| 70 |
+
"sha256": "f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25"
|
| 71 |
+
},
|
| 72 |
+
"profile_id": null,
|
| 73 |
+
"proof_authority": false,
|
| 74 |
+
"record_id": "ir-model-component-binding/v1:77cea5a0b8cc3fc37f3a7a3bfafb98ea980ac9b725b2d0ae19ff53ce2406c6e0",
|
| 75 |
+
"role": "shared-family-pilots/security-model-01/family_checkpoint",
|
| 76 |
+
"runtime_ready": false,
|
| 77 |
+
"schema_version": null,
|
| 78 |
+
"task_id": null,
|
| 79 |
+
"teacher_qualified": false,
|
| 80 |
+
"trained": null
|
| 81 |
+
},
|
| 82 |
+
"model_type_is_broad_autoencoder_taxonomy": true,
|
| 83 |
+
"no_new_native_profile_or_training_run_id": true,
|
| 84 |
+
"original_recorded_metadata": {
|
| 85 |
+
"codec": null,
|
| 86 |
+
"config": null,
|
| 87 |
+
"declaration": {
|
| 88 |
+
"auxiliary_dimensions": {
|
| 89 |
+
"feature_space_schema": null,
|
| 90 |
+
"input_feature_count": 1110,
|
| 91 |
+
"latent_width": 4,
|
| 92 |
+
"normalization": "log1p_l2_per_native_projection",
|
| 93 |
+
"serialized_parameter_shapes": [
|
| 94 |
+
[
|
| 95 |
+
1110,
|
| 96 |
+
4
|
| 97 |
+
],
|
| 98 |
+
[
|
| 99 |
+
4
|
| 100 |
+
],
|
| 101 |
+
[
|
| 102 |
+
4,
|
| 103 |
+
1110
|
| 104 |
+
],
|
| 105 |
+
[
|
| 106 |
+
1110
|
| 107 |
+
]
|
| 108 |
+
],
|
| 109 |
+
"source_text_decoder_trained": false
|
| 110 |
+
},
|
| 111 |
+
"external_lane_binding": null,
|
| 112 |
+
"owning_ir_family": "security_ir",
|
| 113 |
+
"role": "shared-family-pilots/security-model-01/family_checkpoint",
|
| 114 |
+
"source_campaign": "/home/barberb/lift_coding/artifacts/ir-training-coverage-20261002"
|
| 115 |
+
},
|
| 116 |
+
"external_lane_binding": null,
|
| 117 |
+
"implementation": {
|
| 118 |
+
"target_adapter": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
|
| 119 |
+
"trainer": "f0c17b0522dba3d84405ffc55747748a068474ab2b7e9d23eee83f772e44eda1"
|
| 120 |
+
},
|
| 121 |
+
"input_output_contract": {
|
| 122 |
+
"feature_space_producer_pins": {
|
| 123 |
+
"ipfs_datasets_py.logic.families.canonical_catalog": "348639b3dd82d6382da85ad039c5c675e083400c50ad28cb20b8ada5e54a43ba",
|
| 124 |
+
"ipfs_datasets_py.logic.families.registry": "669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450",
|
| 125 |
+
"ipfs_datasets_py.logic.formalization.autoencoder.domain_targets": "b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586",
|
| 126 |
+
"ipfs_datasets_py.logic.formalization.autoencoder.family_training": "e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64",
|
| 127 |
+
"ipfs_datasets_py.logic.security_ir.code_logic_projection": "e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b"
|
| 128 |
+
},
|
| 129 |
+
"feature_space_projections": {
|
| 130 |
+
"hyperproperty.ir/v1": {
|
| 131 |
+
"logic_family": "hyperproperty",
|
| 132 |
+
"producer_id": "security-code-logic-projection",
|
| 133 |
+
"profile": "hyperltl",
|
| 134 |
+
"representation_kind": "native_typed_document"
|
| 135 |
+
},
|
| 136 |
+
"program.program_contract/v1": {
|
| 137 |
+
"logic_family": "program",
|
| 138 |
+
"producer_id": "security-code-logic-projection",
|
| 139 |
+
"profile": "dynamic_hoare",
|
| 140 |
+
"representation_kind": "native_typed_document"
|
| 141 |
+
},
|
| 142 |
+
"program.program_ir/v1": {
|
| 143 |
+
"logic_family": "program",
|
| 144 |
+
"producer_id": "security-code-logic-projection",
|
| 145 |
+
"profile": "program_ir",
|
| 146 |
+
"representation_kind": "native_typed_document"
|
| 147 |
+
},
|
| 148 |
+
"separation_logic.heap_model/v1": {
|
| 149 |
+
"logic_family": "separation_logic",
|
| 150 |
+
"producer_id": "security-code-logic-projection",
|
| 151 |
+
"profile": "heap_model",
|
| 152 |
+
"representation_kind": "native_typed_document"
|
| 153 |
+
},
|
| 154 |
+
"separation_logic.ir/v1": {
|
| 155 |
+
"logic_family": "separation_logic",
|
| 156 |
+
"producer_id": "security-code-logic-projection",
|
| 157 |
+
"profile": "separation",
|
| 158 |
+
"representation_kind": "native_typed_document"
|
| 159 |
+
},
|
| 160 |
+
"temporal.formula/v1": {
|
| 161 |
+
"logic_family": "temporal",
|
| 162 |
+
"producer_id": "security-code-logic-projection",
|
| 163 |
+
"profile": "ltl",
|
| 164 |
+
"representation_kind": "native_typed_document"
|
| 165 |
+
},
|
| 166 |
+
"transition_system.state_transition_ir/v1": {
|
| 167 |
+
"logic_family": "transition_system",
|
| 168 |
+
"producer_id": "security-code-logic-projection",
|
| 169 |
+
"profile": "action_system",
|
| 170 |
+
"representation_kind": "native_typed_document"
|
| 171 |
+
}
|
| 172 |
+
},
|
| 173 |
+
"formal_space_id": null,
|
| 174 |
+
"output_kind": null,
|
| 175 |
+
"source_space_id": null,
|
| 176 |
+
"source_text_decoder_trained": false
|
| 177 |
+
},
|
| 178 |
+
"progress": null,
|
| 179 |
+
"recorded_fit_kind": "recorded_feature_autoencoder_fit",
|
| 180 |
+
"recorded_original_flags": {
|
| 181 |
+
"accepted": null,
|
| 182 |
+
"admitted": false,
|
| 183 |
+
"formalized": false,
|
| 184 |
+
"promotion_performed": false,
|
| 185 |
+
"proof_authority": null,
|
| 186 |
+
"publication_performed": null,
|
| 187 |
+
"qualified": false,
|
| 188 |
+
"source_fidelity_established": null
|
| 189 |
+
},
|
| 190 |
+
"saved_parameter_content_identifiers": {},
|
| 191 |
+
"schema": "native-family-denoising-autoencoder/v1",
|
| 192 |
+
"source_implementation": null,
|
| 193 |
+
"status": "additional_saved_campaign_model_or_component",
|
| 194 |
+
"target_schema": null,
|
| 195 |
+
"task_status": "Recorded schemas/contracts preserved; no inferred stable decoder-format task identity."
|
| 196 |
+
},
|
| 197 |
+
"serialized_checkpoint_schema": "native-family-denoising-autoencoder/v1"
|
| 198 |
+
},
|
| 199 |
+
"inputs": [],
|
| 200 |
+
"model_id": "ir-model-component-binding/v1:77cea5a0b8cc3fc37f3a7a3bfafb98ea980ac9b725b2d0ae19ff53ce2406c6e0",
|
| 201 |
+
"model_name": "security_ir retained f803009367b2b7f6",
|
| 202 |
+
"model_revision": "f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25",
|
| 203 |
+
"model_type": "encoder_decoder",
|
| 204 |
+
"outputs": [],
|
| 205 |
+
"revision_id": "f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25",
|
| 206 |
+
"tags": [
|
| 207 |
+
"retained-ir-artifact",
|
| 208 |
+
"security_ir",
|
| 209 |
+
"metadata-only-registration"
|
| 210 |
+
]
|
| 211 |
+
},
|
| 212 |
+
"original_checkpoint_pin": {
|
| 213 |
+
"bytes": 243313,
|
| 214 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-coverage-20261002/shared-family-pilots/security-model-01/family_checkpoint.json",
|
| 215 |
+
"sha256": "f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25"
|
| 216 |
+
},
|
| 217 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25/checkpoint.json",
|
| 218 |
+
"qualification": {
|
| 219 |
+
"complete_runtime_io_contract": false,
|
| 220 |
+
"full_source_closure_verified": false,
|
| 221 |
+
"model_manager_registration_performed": false,
|
| 222 |
+
"new_model_or_embedding_execution": false,
|
| 223 |
+
"proof_authority": false,
|
| 224 |
+
"publication_performed": false,
|
| 225 |
+
"runtime_ready": false,
|
| 226 |
+
"teacher_qualified": false,
|
| 227 |
+
"training_executed": false
|
| 228 |
+
},
|
| 229 |
+
"raw_checkpoint_bytes_rewritten": false,
|
| 230 |
+
"repository_id": "Publicus/security-ir-decoder-components",
|
| 231 |
+
"same_byte_source_aliases": [
|
| 232 |
+
{
|
| 233 |
+
"bytes": 243313,
|
| 234 |
+
"path": "/home/barberb/lift_coding/artifacts/ir-training-coverage-20261002/shared-family-pilots/security-model-01/family_checkpoint.json",
|
| 235 |
+
"sha256": "f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25"
|
| 236 |
+
}
|
| 237 |
+
],
|
| 238 |
+
"schema": "ir-retained-campaign-artifact-manifest/v1",
|
| 239 |
+
"selected_sources_are_partial_explicit_pointers": true,
|
| 240 |
+
"unavailable_declared_companions": []
|
| 241 |
+
}
|
releases/20261004-all-retained-v1/checkpoints/f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25/checkpoint.json
ADDED
|
The diff for this file is too large to render.
See raw diff
|
|
|
releases/20261004-all-retained-v1/indexes/chunk-0001.json
ADDED
|
@@ -0,0 +1,82 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
{
|
| 2 |
+
"chunk_kind": "checkpoints",
|
| 3 |
+
"chunk_number": 1,
|
| 4 |
+
"companion_chunks_precede_checkpoint_chunks": true,
|
| 5 |
+
"files": [
|
| 6 |
+
{
|
| 7 |
+
"bytes": 1423961,
|
| 8 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e/checkpoint.json",
|
| 9 |
+
"sha256": "252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e"
|
| 10 |
+
},
|
| 11 |
+
{
|
| 12 |
+
"bytes": 15445,
|
| 13 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e/asset-manifest.json",
|
| 14 |
+
"sha256": "2b228d031396b1d7b6597bb937417bf925f3f334420f5c801285a29459f434b8"
|
| 15 |
+
},
|
| 16 |
+
{
|
| 17 |
+
"bytes": 241411,
|
| 18 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7/checkpoint.json",
|
| 19 |
+
"sha256": "74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7"
|
| 20 |
+
},
|
| 21 |
+
{
|
| 22 |
+
"bytes": 15468,
|
| 23 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7/asset-manifest.json",
|
| 24 |
+
"sha256": "1fe68a6262892e5c27e225612e11790374ddace93dd82e233ab86dea08c39669"
|
| 25 |
+
},
|
| 26 |
+
{
|
| 27 |
+
"bytes": 241149,
|
| 28 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3/checkpoint.json",
|
| 29 |
+
"sha256": "7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3"
|
| 30 |
+
},
|
| 31 |
+
{
|
| 32 |
+
"bytes": 15373,
|
| 33 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3/asset-manifest.json",
|
| 34 |
+
"sha256": "82320ca4a7db11c8fe4c7d71724a8a31b3b0b15e5a50b47f222386a93569a861"
|
| 35 |
+
},
|
| 36 |
+
{
|
| 37 |
+
"bytes": 243313,
|
| 38 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25/checkpoint.json",
|
| 39 |
+
"sha256": "f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25"
|
| 40 |
+
},
|
| 41 |
+
{
|
| 42 |
+
"bytes": 10779,
|
| 43 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25/asset-manifest.json",
|
| 44 |
+
"sha256": "f6ed16b1aaf6d3dcfc422510b299522411a71543841b27e6332ac650b612a5cb"
|
| 45 |
+
}
|
| 46 |
+
],
|
| 47 |
+
"models": [
|
| 48 |
+
{
|
| 49 |
+
"checkpoint_sha256": "252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e",
|
| 50 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/252d885fccf17f0243fe1cf4b8af919d5ca08b85d63dbf1ca8716889ac12a46e/checkpoint.json",
|
| 51 |
+
"record_id": "ir-model-component-binding/v1:4067f1d4b7dde996b286640acc3da7dee9a90d073fa40548735744a9bafe9370"
|
| 52 |
+
},
|
| 53 |
+
{
|
| 54 |
+
"checkpoint_sha256": "74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7",
|
| 55 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/74501bc161ad64495e6194db916784d45b281dcd7a8a3b813f0d8486ce582dd7/checkpoint.json",
|
| 56 |
+
"record_id": "ir-model-component-binding/v1:50f4c66be70538a69f880ef21c6c5b208c011b342c1e2064adfec924f4e53a09"
|
| 57 |
+
},
|
| 58 |
+
{
|
| 59 |
+
"checkpoint_sha256": "7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3",
|
| 60 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/7dec6dff4a5d9a7c8b1f00e4dfcabf3a841df76cefbab8197535e7d686fe12e3/checkpoint.json",
|
| 61 |
+
"record_id": "ir-model-component-binding/v1:2ffdf18d31512d7219c15f81cb0eb97ff5d646d76fd708110045b2e3a91545cd"
|
| 62 |
+
},
|
| 63 |
+
{
|
| 64 |
+
"checkpoint_sha256": "f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25",
|
| 65 |
+
"path_in_repo": "releases/20261004-all-retained-v1/checkpoints/f803009367b2b7f6bb3caac5f18af26cd110f626903dcede2a1941abd3df0b25/checkpoint.json",
|
| 66 |
+
"record_id": "ir-model-component-binding/v1:77cea5a0b8cc3fc37f3a7a3bfafb98ea980ac9b725b2d0ae19ff53ce2406c6e0"
|
| 67 |
+
}
|
| 68 |
+
],
|
| 69 |
+
"qualification": {
|
| 70 |
+
"complete_runtime_io_contract": false,
|
| 71 |
+
"full_source_closure_verified": false,
|
| 72 |
+
"model_manager_registration_performed": false,
|
| 73 |
+
"new_model_or_embedding_execution": false,
|
| 74 |
+
"proof_authority": false,
|
| 75 |
+
"publication_performed": false,
|
| 76 |
+
"runtime_ready": false,
|
| 77 |
+
"teacher_qualified": false,
|
| 78 |
+
"training_executed": false
|
| 79 |
+
},
|
| 80 |
+
"repository_id": "Publicus/security-ir-decoder-components",
|
| 81 |
+
"schema": "ir-supplemental-release-chunk-index/v1"
|
| 82 |
+
}
|