Publish opt-in structured IR development checkpoint profiles

releases/20261001-structured-native-v3-experimental/README.md

@@ -0,0 +1,44 @@
+# intent_ir: structured_native_v3
+
+Opt-in experimental384D structured IR head. This release retains the exact trained
+Legal residual projection and learns scalar classes within a fixed typed JSON
+schema. It is not a general source-to-logic model. It confers no proof, admission,
+or execution authority and does not replace the canonical checkpoint catalog.
+
+Raw previously measured scores: {"canary": {"count": 60, "exact_targets": 60}, "test": {"count": 120, "exact_targets": 120}}.
+These are authored development compositions, not Terminal-Bench task scores.
+The canary wording variants share semantic groups with the test split. Results
+have been inspected; this release does not provide a fresh holdout evaluation.
+UI uses its baseline after an observed augmented canary regression53/60 to45/60.
+
+Security normalized diagnostics use an explicit AST preprocessing profile over
+two-integer-parameter arithmetic/comparison functions. The same learned weights
+remain active. Lake compilation checks emitted definitions, not Python equivalence
+or security correctness. Unsupported inputs and failed checks remain fail-open
+advisory candidates. See validation.json for exact scope and counts.
+
+Runtime source: https://github.com/endomorphosis/ipfs_datasets_py/tree/2d93857e78ceedc7f055637c887afeaa40653993
+Checkpoint SHA256: `6977665f7ba896a74c78817a8ae3c0dc092b3fc21c8b231268fa1e17a3d157f6`.
+Checkpoint implementation hashes are enforced at load time. This checkpoint
+uses the structured loader, not the canonical v1 package loader.
+
+```python
+from ipfs_datasets_py.logic.formalization.autoencoder.structured_source_384 import load_checkpoint
+model = load_checkpoint(local_regular_file, expected_sha256="6977665f7ba896a74c78817a8ae3c0dc092b3fc21c8b231268fa1e17a3d157f6", expected_domain="intent_ir")
+# Supply real384D GTE-small vectors and unchanged source text; no targets.
+report = model.infer([{"id":"sample", "source_text":source, "embedding":vector384}])
+```
+
+Download from the immutable Hub revision in the published descriptor, verify
+the digest, and copy the Hub cache file to a regular local file before loading
+(the loader intentionally rejects symlinks). Security source qualification uses
+`source_program_runtime_384.load_source_program_decoder_384`; explicit normalized
+input uses `normalized_source_program_runtime_384.load_normalized_source_program_decoder_384`.
+The supervisor accepts that regular file path and exact digest via its optional
+Security source-program configuration. Defaults remain unchanged.
+
+This package contains no embedding-model assets, complete third-party corpora,
+or original Legal checkpoint. Parent hashes and transfer lineage are preserved.
+No new license grant is asserted for inherited weights; runtime code retains
+its repository license. No upstream dataset or prior release is overwritten.
+The replay inputs are three authored development examples, not holdout evidence.

releases/20261001-structured-native-v3-experimental/manifest.json

@@ -0,0 +1,36 @@
+{
+  "checkpoint_schema": "structured-source-384-autoencoder/v1",
+  "checkpoint_sha256": "6977665f7ba896a74c78817a8ae3c0dc092b3fc21c8b231268fa1e17a3d157f6",
+  "default_model_promoted": false,
+  "dimension": 384,
+  "domain_id": "intent_ir",
+  "files": {
+    "README.md": {
+      "bytes": 2918,
+      "sha256": "fe9af775c1846436fa104122c886aabee075b350603d03696a981bab75088a79"
+    },
+    "checkpoint.json": {
+      "bytes": 448096,
+      "sha256": "6977665f7ba896a74c78817a8ae3c0dc092b3fc21c8b231268fa1e17a3d157f6"
+    },
+    "provenance.json": {
+      "bytes": 3259,
+      "sha256": "53671c35d569acc6b76ee8ab18f66ef6d7ad4058d7a0e69ea04ddfc9a1d13962"
+    },
+    "replay-inputs.json": {
+      "bytes": 32707,
+      "sha256": "e43a3a5e0bdd02efeeaa4d6f310933844b6069c575fd62441039b4c49494bb46"
+    },
+    "validation.json": {
+      "bytes": 648,
+      "sha256": "0b9a2ea64299c7ea44b622c8e5076634ff422aef96b78a533fe913b8feae95a3"
+    }
+  },
+  "profile": "structured_native_v3",
+  "proof_authority": false,
+  "release_prefix": "releases/20261001-structured-native-v3-experimental",
+  "repository_id": "Publicus/intent-ir-autoencoder",
+  "schema": "structured-ir-experimental-release/v1",
+  "source_repository": "https://github.com/endomorphosis/ipfs_datasets_py",
+  "source_revision": "2d93857e78ceedc7f055637c887afeaa40653993"
+}

releases/20261001-structured-native-v3-experimental/provenance.json

@@ -0,0 +1,56 @@
+{
+  "corpus": "authored development controls; not complete CVEFixes or SkillCenter training",
+  "corpus_or_weight_license_not_inferred_from_each_other": true,
+  "embedding_assets_included": false,
+  "embedding_model": "thenlper/gte-small",
+  "embedding_revision": "17e1f347d17fe144873b1201da91788898c639cd",
+  "full_training_corpus_included": false,
+  "implementation": {
+    "runtime_sha256": "3f9ca9ce7b4cf2a2d10d6aeb1fae78543c468133d2fa0df9fcb32f63f89e90f7",
+    "shared_runtime": {
+      "legal_codec_sha256": "f90769a3d99131da5ba48bb84c6f830f521c92d98122bdaaa8dd88fc65042290",
+      "native": {
+        "dependencies": {
+          "ipfs_datasets_py.logic.intent_ir.decoder": "7bab5781c07e00b54b0283d3a2962926f75935caedc80eceb23264cb388be257",
+          "ipfs_datasets_py.logic.intent_ir.formalize.rich_grammar": "6c40ac99d7e339651b6029764f94b12430ca515d4c5f7426770b013499efe92b",
+          "ipfs_datasets_py.logic.intent_ir.schema": "93d38e4724c5f34aab7f39f050742e98ef0c8d80e2ff70459d2401541505fc56",
+          "ipfs_datasets_py.logic.security_ir.model": "abc3aea9c2f4d1ce513ee2c9fc4c304d8bd387ded18e0d646247417422225d39",
+          "ipfs_datasets_py.logic.software_verification.program": "f051f42d64c5f993451972924953cc7eaa6d17df097235ddabfd5d791d406f91",
+          "ipfs_datasets_py.logic.ui_ux_ir.decoder": "d7be6bff3a1f1464d4783567b90942258ef718bc1c2b7e02938698ed4e619e57",
+          "ipfs_datasets_py.logic.ui_ux_ir.schema": "8a7b0cc90151043514d263b1a2655d6d41a2835dacd6b56018ba5c0c89961855",
+          "ipfs_datasets_py.optimizers.logic_theorem_optimizer.modal_latent_formula": "ec5bdcd752d157c9fc0257a45551cfe9ce7be172af767e8ed769bf1bc8a31d36"
+        },
+        "runtime": "66c5ee320f9c7aacd3b246d0666c7fc3ee928e4679892e1e90c838e1b291dbc6",
+        "scope": "listed_numerical_and_native_validator_modules_only"
+      },
+      "numerical": {
+        "files": {
+          "canonical_contracts.py": "d66ecfaa2c967cda40a1cf4b82936a34039e38ccdb3044468697a4f90af2844b",
+          "legal_formula_codec.py": "f90769a3d99131da5ba48bb84c6f830f521c92d98122bdaaa8dd88fc65042290",
+          "legal_ir_grammar_decoder.py": "0b1eae24b00157ae74a2700f23ca95c7f9957dc755078caaf179e64070fdeffd",
+          "modal_latent_formula.py": "ec5bdcd752d157c9fc0257a45551cfe9ce7be172af767e8ed769bf1bc8a31d36",
+          "tree_pin.py": "587165942fb06ea9effc836b555e0ac0606c5876b013a374a1e76d25ee069e4d"
+        },
+        "scope": "listed_latent_decoder_and_grammar_sources_only"
+      },
+      "runtime_sha256": "8de8096e895de9df08ccf5352dfd704806823296821d98b5badf08bb553a52e4"
+    }
+  },
+  "legal_upstream_and_existing_checkpoints_unchanged": true,
+  "lineage": {
+    "parent_encoder_frozen": true,
+    "parent_modified": false,
+    "projection_tensors_inherited_exactly": [
+      "projection_down.weight",
+      "projection_down.bias",
+      "projection_up.weight",
+      "projection_up.bias"
+    ],
+    "random_parameters_used": false
+  },
+  "new_weight_license_grant": false,
+  "parent_checkpoint_sha256": "969461ab82a2806e54ad33ba242a1eb62d032fa1b3cfc808b77c66dcc965aa62",
+  "replay_inputs": "three authored training controls",
+  "runtime_source_license": "AGPL-3.0",
+  "scope": "fixed typed JSON schema and training scalar vocabulary; no general sequence decoding"
+}

releases/20261001-structured-native-v3-experimental/replay-inputs.json

@@ -0,0 +1,1172 @@
+[
+  {
+    "embedding": [
+      -0.04919145628809929,
+      0.009970131330192089,
+      0.06709077209234238,
+      -0.027783503755927086,
+      -0.004487198777496815,
+      0.022796088829636574,
+      0.05719088762998581,
+      0.03900500759482384,
+      -0.04498717561364174,
+      -0.01012786477804184,
+      0.007271978072822094,
+      -0.06786134839057922,
+      0.020467296242713928,
+      0.027988743036985397,
+      0.017378605902194977,
+      0.002510571386665106,
+      0.004747608210891485,
+      0.0328417643904686,
+      -0.02410394698381424,
+      0.027218826115131378,
+      0.08150961995124817,
+      -0.044641122221946716,
+      -0.0409398153424263,
+      -0.011192675679922104,
+      0.023487718775868416,
+      0.03890642523765564,
+      -0.041715387254953384,
+      -0.020953146740794182,
+      -0.03400421887636185,
+      -0.16933217644691467,
+      -0.00029891286976635456,
+      -0.05493343248963356,
+      0.05509141832590103,
+      -0.020648974925279617,
+      0.04602919518947601,
+      -0.021228304132819176,
+      -0.02127862721681595,
+      0.04845767095685005,
+      -0.03681211546063423,
+      0.007126437965780497,
+      0.04396067559719086,
+      0.00918166246265173,
+      -0.0271545872092247,
+      -0.037136852741241455,
+      -0.02939831092953682,
+      -0.07308803498744965,
+      -0.0033350992016494274,
+      0.00529330363497138,
+      0.003225499764084816,
+      -0.04400370642542839,
+      0.01470340695232153,
+      -0.029088208451867104,
+      0.0044518643990159035,
+      0.010220146737992764,
+      0.016458995640277863,
+      0.05807130038738251,
+      0.05887734517455101,
+      0.05089906230568886,
+      0.03773125261068344,
+      0.01701289974153042,
+      0.0329100526869297,
+      -0.005507028196007013,
+      -0.22092561423778534,
+      0.07312411814928055,
+      0.04476752132177353,
+      -0.011139203794300556,
+      -0.04974448308348656,
+      -0.03963395953178406,
+      0.0527593158185482,
+      0.022921312600374222,
+      -0.05163528770208359,
+      0.035186562687158585,
+      0.02102178893983364,
+      0.03100116364657879,
+      0.0036113979294896126,
+      -0.028329037129878998,
+      -0.021915385499596596,
+      -0.007964547723531723,
+      0.0047340355813503265,
+      -0.014687318354845047,
+      -0.053037382662296295,
+      -0.039372656494379044,
+      -0.04437308385968208,
+      0.024684250354766846,
+      -0.025740982964634895,
+      -0.028770392760634422,
+      0.026564035564661026,
+      -0.05040150135755539,
+      0.04515708237886429,
+      0.03481976315379143,
+      -0.001352326711639762,
+      -0.026973292231559753,
+      -0.007069203071296215,
+      0.014932064339518547,
+      -0.05737198516726494,
+      -0.04616990685462952,
+      0.008936896920204163,
+      -0.015608888119459152,
+      -0.03879169002175331,
+      0.22275161743164062,
+      -0.04590468481183052,
+      0.026484793052077293,
+      0.02359635755419731,
+      0.00809005368500948,
+      0.05213911458849907,
+      -0.05818788334727287,
+      0.008593340404331684,
+      -0.02089749090373516,
+      0.0035877060145139694,
+      -0.01744047738611698,
+      0.005060009658336639,
+      -0.009482471272349358,
+      0.03881620988249779,
+      -0.07676565647125244,
+      0.023028438910841942,
+      0.030022718012332916,
+      0.027915313839912415,
+      0.0019024974899366498,
+      -0.0276260394603014,
+      -0.010846964083611965,
+      0.02086237072944641,
+      0.05676158517599106,
+      0.03838470205664635,
+      0.0064025018364191055,
+      0.013480225577950478,
+      -0.08320802450180054,
+      0.07842152565717697,
+      0.0766257792711258,
+      0.051855407655239105,
+      0.05083123967051506,
+      0.06540969014167786,
+      -0.031091785058379173,
+      0.006531181745231152,
+      -0.010417216457426548,
+      0.009075098671019077,
+      -0.0003917963185813278,
+      0.004899249877780676,
+      -0.016549181193113327,
+      -0.014728746376931667,
+      -0.006720466539263725,
+      -0.03231422230601311,
+      -0.05589711666107178,
+      -0.04114903137087822,
+      -0.09454770386219025,
+      0.00025817775167524815,
+      0.061085011810064316,
+      -0.07332710176706314,
+      0.02915632724761963,
+      -0.05944277346134186,
+      0.017344005405902863,
+      -0.038600146770477295,
+      0.010240492410957813,
+      -0.02722022496163845,
+      -0.05585141479969025,
+      -0.0010639792308211327,
+      0.04728453978896141,
+      0.04935815930366516,
+      0.10558421909809113,
+      -0.07723935693502426,
+      0.01982095092535019,
+      -0.013924818485975266,
+      -0.0339822843670845,
+      -0.004856680985540152,
+      0.10338383913040161,
+      0.010740581899881363,
+      -0.0930749922990799,
+      -0.003462479915469885,
+      -0.0001605767320143059,
+      0.024668797850608826,
+      -0.015588470734655857,
+      -0.00010137044591829181,
+      0.04006241634488106,
+      -0.007516567595303059,
+      0.05481896921992302,
+      0.09540961682796478,
+      0.040106017142534256,
+      0.0023368983529508114,
+      0.04823917895555496,
+      -0.017764436081051826,
+      0.04218369349837303,
+      0.10233506560325623,
+      -0.057200606912374496,
+      -0.03307732194662094,
+      0.02600693330168724,
+      0.013539367355406284,
+      -0.04400702565908432,
+      -0.0011885195272043347,
+      -0.042846232652664185,
+      0.022585609927773476,
+      0.02399669587612152,
+      -0.0478808730840683,
+      0.13214479386806488,
+      -0.025841260328888893,
+      0.018640942871570587,
+      -0.039991579949855804,
+      -0.01963493600487709,
+      -0.03153902292251587,
+      -0.02423461154103279,
+      -0.016826096922159195,
+      -0.02745840512216091,
+      0.00811257865279913,
+      0.02169327810406685,
+      -0.0512671172618866,
+      0.04627552628517151,
+      0.02555331587791443,
+      0.038549430668354034,
+      -0.008272680453956127,
+      0.005418801214545965,
+      0.032788924872875214,
+      0.02201712690293789,
+      -0.014785176143050194,
+      0.014936471357941628,
+      0.09207147359848022,
+      -0.028429031372070312,
+      -0.03755265474319458,
+      0.02832251973450184,
+      -0.008767446503043175,
+      0.05769525468349457,
+      0.06225510314106941,
+      0.019435061141848564,
+      0.007805610075592995,
+      0.01199632603675127,
+      -0.009141282178461552,
+      -0.2470160722732544,
+      0.019902396947145462,
+      -0.006764761637896299,
+      0.009840596467256546,
+      -0.0017071174224838614,
+      0.0017900167731568217,
+      0.04001998528838158,
+      -0.01047049555927515,
+      -0.0034323595464229584,
+      -0.0014945276780053973,
+      0.0965491533279419,
+      -0.058866143226623535,
+      -0.002737967763096094,
+      0.040398530662059784,
+      -0.01147077139467001,
+      0.05512901395559311,
+      0.015061918646097183,
+      0.013068613596260548,
+      -0.0011961665004491806,
+      -0.006610829848796129,
+      -0.01652822643518448,
+      0.042402055114507675,
+      -0.023548705503344536,
+      -0.07713044434785843,
+      0.040731802582740784,
+      -0.006975400727242231,
+      0.19210369884967804,
+      0.055896490812301636,
+      0.01728605292737484,
+      -0.08264032751321793,
+      0.045412592589855194,
+      0.05850966274738312,
+      -0.02594921551644802,
+      -0.15759190917015076,
+      0.027245521545410156,
+      0.01425197347998619,
+      0.009814350865781307,
+      -0.039234012365341187,
+      0.035674504935741425,
+      -0.002317309146746993,
+      -0.035511765629053116,
+      0.0388655923306942,
+      0.0010541448136791587,
+      -0.04501844197511673,
+      -0.0027810651808977127,
+      -0.04194073751568794,
+      -0.07889491319656372,
+      0.03405572101473808,
+      -0.009507856331765652,
+      -0.013538788072764874,
+      0.0575253926217556,
+      -0.0663689374923706,
+      0.008941896259784698,
+      0.03783430904150009,
+      -0.023392096161842346,
+      -0.05544377863407135,
+      -0.042998723685741425,
+      0.021125495433807373,
+      -0.028919130563735962,
+      0.03146817535161972,
+      -0.030342528596520424,
+      0.022946184501051903,
+      0.02288866601884365,
+      -0.04085560515522957,
+      0.06525804847478867,
+      0.039718158543109894,
+      -0.005762171000242233,
+      -0.0013919691555202007,
+      0.007198539562523365,
+      -0.09424449503421783,
+      -0.007263136561959982,
+      0.05010071024298668,
+      -0.025399046018719673,
+      -0.050484225153923035,
+      0.04791833832859993,
+      0.03226533904671669,
+      0.02744603529572487,
+      -0.03879046067595482,
+      -0.025363663211464882,
+      -0.02665996365249157,
+      0.02678707428276539,
+      -0.04071558639407158,
+      -0.0008337461622431874,
+      -0.0002050427719950676,
+      0.011007888242602348,
+      0.044556666165590286,
+      0.053320884704589844,
+      0.029988598078489304,
+      0.03706652671098709,
+      -0.04904850944876671,
+      -0.0010173222981393337,
+      0.025136902928352356,
+      -0.06511508673429489,
+      -0.03012535721063614,
+      0.0244960505515337,
+      -0.009146064519882202,
+      -0.3432598412036896,
+      0.028056476265192032,
+      0.006288277916610241,
+      0.022784169763326645,
+      -0.036111392080783844,
+      -0.02787144109606743,
+      0.03558826819062233,
+      0.05338709428906441,
+      -0.04750724509358406,
+      -0.013033324852585793,
+      0.016172653064131737,
+      0.0416211262345314,
+      0.01488647609949112,
+      -0.00669099809601903,
+      0.014152013696730137,
+      0.038029562681913376,
+      0.07975243777036667,
+      -0.040200766175985336,
+      -0.0038344324566423893,
+      -0.09770321846008301,
+      -0.00993873830884695,
+      0.007344819139689207,
+      0.21153266727924347,
+      -0.018288657069206238,
+      0.017872953787446022,
+      0.016124973073601723,
+      0.024626988917589188,
+      0.018923699855804443,
+      0.032301221042871475,
+      -0.051220133900642395,
+      0.05030113458633423,
+      -0.038622524589300156,
+      0.09047576040029526,
+      -0.03908047825098038,
+      0.04258909821510315,
+      0.0042914836667478085,
+      -0.016210636124014854,
+      0.062318578362464905,
+      0.03187304362654686,
+      0.026316912844777107,
+      -0.05785263329744339,
+      -0.011553646065294743,
+      0.04261045530438423,
+      -0.022915123030543327,
+      0.07627887278795242,
+      -0.03489016368985176,
+      -0.08561298996210098,
+      -0.04170440137386322,
+      -0.023238830268383026,
+      0.040823664516210556,
+      -0.05200325325131416,
+      0.005104796029627323,
+      -0.0545564740896225,
+      -0.005325780715793371,
+      -0.0020107487216591835,
+      0.036191508173942566,
+      -0.05887040123343468,
+      -0.005292532499879599,
+      -0.045614033937454224,
+      -0.043953511863946915,
+      -0.006227490957826376,
+      -0.060107845813035965,
+      0.040319737046957016,
+      0.0019485658267512918,
+      0.016024688258767128
+    ],
+    "id": "v3:intent_ir:0:0:0:0",
+    "source_text": "The dispatcher must assemble the manifest."
+  },
+  {
+    "embedding": [
+      -0.055586542934179306,
+      0.021737882867455482,
+      0.0652887150645256,
+      -0.020029446110129356,
+      -0.0015191802522167563,
+      0.01718280278146267,
+      0.07159130275249481,
+      0.031806860119104385,
+      -0.03729706630110741,
+      -0.0072188600897789,
+      0.009677563793957233,
+      -0.046339213848114014,
+      0.017325563356280327,
+      0.028231170028448105,
+      0.007078191731125116,
+      -0.004932948853820562,
+      -0.0011644473997876048,
+      0.022856716066598892,
+      -0.022959165275096893,
+      0.017177553847432137,
+      0.07543233782052994,
+      -0.05078693851828575,
+      -0.034796301275491714,
+      -0.018970856443047523,
+      0.020016968250274658,
+      0.04245207458734512,
+      -0.038265760987997055,
+      -0.02359112724661827,
+      -0.03632912412285805,
+      -0.15957269072532654,
+      0.013913707807660103,
+      -0.058823149651288986,
+      0.049506090581417084,
+      -0.022703876718878746,
+      0.0330902598798275,
+      -0.015097825787961483,
+      -0.014158014208078384,
+      0.059740252792835236,
+      -0.03786429762840271,
+      0.012179371900856495,
+      0.05211910977959633,
+      0.0004625105648301542,
+      -0.034469395875930786,
+      -0.026348955929279327,
+      -0.03646967187523842,
+      -0.0739031732082367,
+      0.006973497569561005,
+      -0.004353630356490612,
+      -0.017474204301834106,
+      -0.03909441456198692,
+      0.01456544827669859,
+      -0.0252440944314003,
+      0.004985937383025885,
+      0.024647243320941925,
+      0.014170940965414047,
+      0.057951267808675766,
+      0.050747886300086975,
+      0.05465848371386528,
+      0.03501427173614502,
+      0.024598266929388046,
+      0.02919038198888302,
+      0.001355667132884264,
+      -0.2168443202972412,
+      0.07138272374868393,
+      0.040739841759204865,
+      -0.011468261480331421,
+      -0.05375943332910538,
+      -0.046329718083143234,
+      0.06100846827030182,
+      0.0022902744822204113,
+      -0.04033616557717323,
+      0.044723302125930786,
+      0.008778505027294159,
+      0.026562152430415154,
+      0.007650122512131929,
+      -0.03169604763388634,
+      -0.011640628799796104,
+      0.0004146533610764891,
+      -0.005924826022237539,
+      -0.009469783864915371,
+      -0.05696171894669533,
+      -0.037580978125333786,
+      -0.049090512096881866,
+      0.019977066665887833,
+      -0.02659831941127777,
+      -0.029560580849647522,
+      0.0210947934538126,
+      -0.04530901834368706,
+      0.04432668536901474,
+      0.031184891238808632,
+      -0.009518488310277462,
+      -0.023044012486934662,
+      -0.00804825033992529,
+      0.0181481521576643,
+      -0.05845275893807411,
+      -0.04336877912282944,
+      0.017174003645777702,
+      -0.01571338251233101,
+      -0.028117472305893898,
+      0.22462651133537292,
+      -0.04718052223324776,
+      0.02009918913245201,
+      0.03248332813382149,
+      0.0007016584277153015,
+      0.05265985429286957,
+      -0.053613606840372086,
+      -0.00027673548902384937,
+      -0.023696105927228928,
+      0.004287076182663441,
+      -0.010237548500299454,
+      0.012562659569084644,
+      -0.009642756544053555,
+      0.028897853568196297,
+      -0.08270059525966644,
+      0.018701694905757904,
+      0.027421701699495316,
+      0.036326371133327484,
+      0.007166528142988682,
+      -0.02140532247722149,
+      -0.005787248257547617,
+      0.010315482504665852,
+      0.054141849279403687,
+      0.04662024974822998,
+      0.00348765985108912,
+      0.010128960944712162,
+      -0.06869778782129288,
+      0.08334409445524216,
+      0.07610192149877548,
+      0.05117131024599075,
+      0.042820125818252563,
+      0.0685712993144989,
+      -0.042981673032045364,
+      0.0097264489158988,
+      -0.019568530842661858,
+      0.015130259096622467,
+      -0.0026362731587141752,
+      0.011874795891344547,
+      -0.01643025502562523,
+      -0.00436221482232213,
+      -0.004904257599264383,
+      -0.03334527462720871,
+      -0.047754380851984024,
+      -0.04271509125828743,
+      -0.10153999924659729,
+      -0.011621884070336819,
+      0.059579480439424515,
+      -0.06687477231025696,
+      0.026887834072113037,
+      -0.04787304997444153,
+      0.018513130024075508,
+      -0.03577813133597374,
+      0.016423460096120834,
+      -0.027251286432147026,
+      -0.053995877504348755,
+      -0.001305983169004321,
+      0.04877321049571037,
+      0.058741796761751175,
+      0.10695605725049973,
+      -0.07198579609394073,
+      0.022219398990273476,
+      -0.01812913455069065,
+      -0.027569973841309547,
+      0.002314598299562931,
+      0.11217445880174637,
+      0.00038580165710300207,
+      -0.09840219467878342,
+      -0.008582877926528454,
+      -0.007398324552923441,
+      0.02969967946410179,
+      -0.018966758623719215,
+      0.0023457584902644157,
+      0.03913988173007965,
+      -0.003004872240126133,
+      0.042537935078144073,
+      0.07983972877264023,
+      0.05196743085980415,
+      -0.005362163297832012,
+      0.03822089359164238,
+      -0.0035123839043080807,
+      0.04314049705862999,
+      0.10023427754640579,
+      -0.05962800607085228,
+      -0.02625352144241333,
+      0.023763541132211685,
+      0.01611660234630108,
+      -0.04632307589054108,
+      -0.00046206710976548493,
+      -0.04833026975393295,
+      0.019130030646920204,
+      0.024267109110951424,
+      -0.04735015705227852,
+      0.11676660180091858,
+      -0.029927508905529976,
+      0.014893478713929653,
+      -0.044236622750759125,
+      -0.024213649332523346,
+      -0.03027341142296791,
+      -0.03329482674598694,
+      -0.020808890461921692,
+      -0.01787230186164379,
+      0.000319583632517606,
+      0.013569592498242855,
+      -0.05771850422024727,
+      0.04647918418049812,
+      0.026031333953142166,
+      0.03858106583356857,
+      -0.011073710396885872,
+      -0.006532902363687754,
+      0.03848889842629433,
+      0.01650967448949814,
+      -0.016124814748764038,
+      0.022777065634727478,
+      0.09596583992242813,
+      -0.03010464832186699,
+      -0.03891727328300476,
+      0.033726293593645096,
+      -0.018385929986834526,
+      0.06672684848308563,
+      0.0488957017660141,
+      0.01418397482484579,
+      0.012272972613573074,
+      0.003170856973156333,
+      -0.004571299999952316,
+      -0.2526795268058777,
+      0.008319455198943615,
+      -0.00633639469742775,
+      0.01643938384950161,
+      -0.004172048065811396,
+      -0.008527914062142372,
+      0.03401581943035126,
+      -0.010275397449731827,
+      0.013231821358203888,
+      -0.01074464526027441,
+      0.08424459397792816,
+      -0.06655198335647583,
+      -0.007921217009425163,
+      0.0532870851457119,
+      -0.0054899235256016254,
+      0.05110848695039749,
+      0.016483478248119354,
+      0.009526330977678299,
+      -0.0009350822656415403,
+      -0.003479597857221961,
+      -0.01933364011347294,
+      0.04419238865375519,
+      -0.0244203582406044,
+      -0.08646582067012787,
+      0.030072961002588272,
+      -0.0053112502209842205,
+      0.18862713873386383,
+      0.06629689782857895,
+      0.013818413019180298,
+      -0.0876978188753128,
+      0.0438791885972023,
+      0.05344737693667412,
+      -0.016232434660196304,
+      -0.1482250839471817,
+      0.03467922657728195,
+      0.024824056774377823,
+      0.025669293478131294,
+      -0.04003617540001869,
+      0.03115372732281685,
+      -0.007102788891643286,
+      -0.0444018729031086,
+      0.03529878333210945,
+      0.002253810176625848,
+      -0.05088486894965172,
+      -0.0063592614606022835,
+      -0.042641375213861465,
+      -0.0738290548324585,
+      0.029616286978125572,
+      -0.008948278613388538,
+      -0.005710780154913664,
+      0.061516012996435165,
+      -0.07527543604373932,
+      0.01036489475518465,
+      0.04229014366865158,
+      -0.016565078869462013,
+      -0.05576705187559128,
+      -0.04938282072544098,
+      0.026851138100028038,
+      -0.030683450400829315,
+      0.02987712249159813,
+      -0.03201355040073395,
+      0.023250797763466835,
+      0.028198013082146645,
+      -0.04009005054831505,
+      0.06716141849756241,
+      0.030999254435300827,
+      -0.0028375377878546715,
+      -0.0014819054631516337,
+      0.0009701158269308507,
+      -0.08815435320138931,
+      -0.007278349716216326,
+      0.07488635927438736,
+      -0.035009440034627914,
+      -0.031000250950455666,
+      0.057408563792705536,
+      0.034689098596572876,
+      0.021089056506752968,
+      -0.039973266422748566,
+      -0.031310271471738815,
+      -0.027799464762210846,
+      0.03025536611676216,
+      -0.04569297283887863,
+      -0.00020215811673551798,
+      -0.0019152696477249265,
+      0.008136906661093235,
+      0.036042824387550354,
+      0.04248076304793358,
+      0.02251277305185795,
+      0.040182072669267654,
+      -0.04172348231077194,
+      -4.858513784711249e-05,
+      0.01728714071214199,
+      -0.05597168207168579,
+      -0.029429683461785316,
+      0.01598406955599785,
+      -0.007074020337313414,
+      -0.34733885526657104,
+      0.0356830470263958,
+      0.002908141817897558,
+      0.016612032428383827,
+      -0.037350259721279144,
+      -0.03073502518236637,
+      0.033793672919273376,
+      0.052868958562612534,
+      -0.046603284776210785,
+      -0.009780485183000565,
+      0.020931251347064972,
+      0.046136029064655304,
+      0.01820964552462101,
+      -0.01473127119243145,
+      -0.0026906386483460665,
+      0.042501967400312424,
+      0.07685354351997375,
+      -0.046084653586149216,
+      -0.008237670175731182,
+      -0.09191545099020004,
+      -0.0056844293139874935,
+      0.012705566361546516,
+      0.22650744020938873,
+      -0.013870717026293278,
+      0.026519449427723885,
+      0.010491183027625084,
+      0.029070179909467697,
+      0.01630367338657379,
+      0.025301093235611916,
+      -0.05374443903565407,
+      0.051650431007146835,
+      -0.0413619801402092,
+      0.09279663860797882,
+      -0.0444222092628479,
+      0.04340424761176109,
+      0.007295242045074701,
+      -0.010198998264968395,
+      0.06454819440841675,
+      0.035569656640291214,
+      0.016702307388186455,
+      -0.05262384191155434,
+      -0.007023910991847515,
+      0.025374537333846092,
+      -0.027881234884262085,
+      0.08890233188867569,
+      -0.020203178748488426,
+      -0.08517569303512573,
+      -0.02969030849635601,
+      -0.020536862313747406,
+      0.042709097266197205,
+      -0.04709118977189064,
+      0.009826241061091423,
+      -0.0545184500515461,
+      -0.008527732454240322,
+      0.016740117222070694,
+      0.04273716360330582,
+      -0.06654790788888931,
+      -0.001959436107426882,
+      -0.04640498012304306,
+      -0.0402863547205925,
+      -0.004853163845837116,
+      -0.05447590723633766,
+      0.03813573718070984,
+      -0.0011709305690601468,
+      0.022412698715925217
+    ],
+    "id": "v3:intent_ir:0:0:1:0",
+    "source_text": "The dispatcher may assemble the manifest."
+  },
+  {
+    "embedding": [
+      -0.03320539370179176,
+      0.013504545204341412,
+      0.051418691873550415,
+      -0.020860740914940834,
+      -5.543367296922952e-05,
+      0.0049417526461184025,
+      0.05001530423760414,
+      0.027254367247223854,
+      -0.03527207672595978,
+      -0.013232680037617683,
+      0.02756248041987419,
+      -0.060912296175956726,
+      0.04305487126111984,
+      0.023916780948638916,
+      -0.018987635150551796,
+      -0.0007881398778408766,
+      -0.0073792338371276855,
+      0.02962479554116726,
+      -0.027058850973844528,
+      0.031721971929073334,
+      0.08660803735256195,
+      -0.03143945708870888,
+      -0.03726131469011307,
+      -0.00934083852916956,
+      0.02907749079167843,
+      0.042729899287223816,
+      -0.04873097687959671,
+      -0.020072709769010544,
+      -0.042375560849905014,
+      -0.1858980357646942,
+      -0.021948911249637604,
+      -0.07283775508403778,
+      0.028181927278637886,
+      -0.02459038607776165,
+      0.06965810060501099,
+      -0.025933565571904182,
+      -0.02595864236354828,
+      0.042602937668561935,
+      -0.028936905786395073,
+      0.014163536950945854,
+      0.018257135525345802,
+      0.034858573228120804,
+      -0.01997419074177742,
+      -0.05212658271193504,
+      -0.03147231042385101,
+      -0.06842216104269028,
+      -0.011915741488337517,
+      -0.016913356259465218,
+      0.060168083757162094,
+      -0.04540199413895607,
+      -0.007181816268712282,
+      -0.023755008354783058,
+      0.011915275827050209,
+      -0.0005249190726317465,
+      0.011110463179647923,
+      0.057367391884326935,
+      0.053912609815597534,
+      0.0469355434179306,
+      0.04716494679450989,
+      0.015708161517977715,
+      0.03653785213828087,
+      -0.006913504563271999,
+      -0.21117469668388367,
+      0.04340565949678421,
+      0.06998194754123688,
+      -0.007658608257770538,
+      -0.03526036813855171,
+      -0.05213803052902222,
+      0.06235359236598015,
+      0.028702210634946823,
+      -0.022188352420926094,
+      0.03374602273106575,
+      -0.002005488146096468,
+      0.05351373180747032,
+      0.003067517187446356,
+      -0.026935668662190437,
+      -0.02440814860165119,
+      0.001402738387696445,
+      0.02198115363717079,
+      -0.010189088061451912,
+      -0.05564528703689575,
+      -0.05488910153508186,
+      -0.043038785457611084,
+      0.015727179124951363,
+      -0.03556186333298683,
+      -0.03876688331365585,
+      0.0150977848097682,
+      -0.040658749639987946,
+      0.032263267785310745,
+      0.022639600560069084,
+      0.005739449057728052,
+      -0.042195022106170654,
+      0.030189281329512596,
+      0.012539242394268513,
+      -0.05397352948784828,
+      -0.035142432898283005,
+      0.0188857801258564,
+      0.003196493024006486,
+      -0.09963260591030121,
+      0.2128331959247589,
+      -0.05382445082068443,
+      0.05591905489563942,
+      -0.006378815975040197,
+      0.03010159358382225,
+      0.05389564856886864,
+      -0.055806465446949005,
+      0.005925902631133795,
+      -0.023964187130331993,
+      -0.005803889594972134,
+      -0.007030564825981855,
+      0.022949188947677612,
+      -0.005166966002434492,
+      0.05509808659553528,
+      -0.06911937892436981,
+      0.022702684625983238,
+      0.024146631360054016,
+      0.04523516073822975,
+      0.019146716222167015,
+      -0.0500396266579628,
+      0.020703313872218132,
+      -0.025306472554802895,
+      0.05294492095708847,
+      0.0563717782497406,
+      0.015523477457463741,
+      0.013462742790579796,
+      -0.09112535417079926,
+      0.043608978390693665,
+      0.07714879512786865,
+      0.047882236540317535,
+      0.011261789128184319,
+      0.053997550159692764,
+      -0.08114782720804214,
+      0.02208005078136921,
+      -0.008134327828884125,
+      0.01327572576701641,
+      0.0070300959050655365,
+      0.0040445225313305855,
+      0.008026673458516598,
+      0.017050882801413536,
+      -0.04470366612076759,
+      -0.01949414797127247,
+      -0.07987354695796967,
+      -0.0393911674618721,
+      -0.05199456587433815,
+      0.0295112282037735,
+      0.0355212464928627,
+      -0.06231735646724701,
+      0.0361175462603569,
+      -0.054690420627593994,
+      0.03603733330965042,
+      -0.06324950605630875,
+      -0.007924902252852917,
+      -0.05496180057525635,
+      -0.04434942826628685,
+      0.0018565966747701168,
+      0.02616051211953163,
+      0.01648840866982937,
+      0.1136663556098938,
+      -0.09229853004217148,
+      0.019238052889704704,
+      0.007533148396760225,
+      -0.034820716828107834,
+      -0.016606178134679794,
+      0.11554420739412308,
+      0.009525224566459656,
+      -0.04018598049879074,
+      -0.014159129932522774,
+      0.009209416806697845,
+      0.01399911753833294,
+      -0.006159435026347637,
+      -0.00732943182811141,
+      0.03471933305263519,
+      -0.01320541463792324,
+      0.029360368847846985,
+      0.13544701039791107,
+      0.019756831228733063,
+      -0.017546121031045914,
+      0.038217589259147644,
+      -0.012692679651081562,
+      0.06766244769096375,
+      0.0696701779961586,
+      -0.038303669542074203,
+      -0.017380408942699432,
+      0.015658270567655563,
+      0.024165648967027664,
+      -0.049882080405950546,
+      -0.00983259454369545,
+      -0.04954972118139267,
+      0.024058394134044647,
+      0.034424830228090286,
+      -0.07235667109489441,
+      0.07325012236833572,
+      -0.03421638906002045,
+      0.012038041837513447,
+      -0.05092112720012665,
+      -0.020041359588503838,
+      -0.01839112862944603,
+      -0.03123326040804386,
+      0.005315651651471853,
+      -0.03318849578499794,
+      0.04507100582122803,
+      0.030805466696619987,
+      -0.029236288741230965,
+      0.04769374057650566,
+      0.01651795580983162,
+      0.06122896447777748,
+      0.0012019961141049862,
+      0.000565863389056176,
+      0.0426289439201355,
+      0.031672365963459015,
+      -0.02541678212583065,
+      -0.008974364958703518,
+      0.05058271437883377,
+      -0.04511183127760887,
+      -0.038708098232746124,
+      0.04518570750951767,
+      0.006631933618336916,
+      0.06944415718317032,
+      0.07131636887788773,
+      0.015736671164631844,
+      -0.00685370247811079,
+      0.03257855027914047,
+      -0.020764203742146492,
+      -0.2541331946849823,
+      0.021721497178077698,
+      -0.013436894863843918,
+      0.0018700652290135622,
+      -0.012796357274055481,
+      -0.001866491511464119,
+      0.035793744027614594,
+      -0.028266889974474907,
+      -0.01345744263380766,
+      0.048993416130542755,
+      0.06835246831178665,
+      -0.03478975594043732,
+      -0.01865348219871521,
+      0.02884443663060665,
+      -0.030480334535241127,
+      0.043473392724990845,
+      0.019987784326076508,
+      0.01643303781747818,
+      -0.0074012684635818005,
+      -0.0246160626411438,
+      -0.017585599794983864,
+      0.030750121921300888,
+      -0.02831919677555561,
+      -0.09182310104370117,
+      0.04085506498813629,
+      0.004006100352853537,
+      0.23207451403141022,
+      0.04867418855428696,
+      0.03236977756023407,
+      -0.08646964281797409,
+      0.04677445814013481,
+      0.08904003351926804,
+      -0.028472356498241425,
+      -0.13076476752758026,
+      0.013995449990034103,
+      0.017500348389148712,
+      0.0044668433256447315,
+      -0.060375750064849854,
+      0.045780815184116364,
+      -0.00037385697942227125,
+      -0.046316973865032196,
+      0.02657138742506504,
+      0.0025136105250567198,
+      -0.04971342533826828,
+      0.02258790284395218,
+      -0.04001497104763985,
+      -0.07915816456079483,
+      0.046386394649744034,
+      -0.02421943098306656,
+      0.011376501061022282,
+      0.0526651106774807,
+      -0.05025169253349304,
+      0.030772371217608452,
+      0.059479985386133194,
+      -0.001639514579437673,
+      -0.046950072050094604,
+      -0.05891970917582512,
+      0.03613489866256714,
+      -0.01988922245800495,
+      0.0262419655919075,
+      -0.025415530428290367,
+      0.008683816529810429,
+      0.03890633583068848,
+      -0.05119147151708603,
+      0.0508517287671566,
+      0.04244479164481163,
+      -0.005213100928813219,
+      -0.004422788508236408,
+      0.033433374017477036,
+      -0.06477919220924377,
+      0.008495790883898735,
+      0.09936422109603882,
+      -0.004355741199105978,
+      -0.05705535039305687,
+      0.0196885596960783,
+      0.02986973337829113,
+      0.04224033281207085,
+      -0.054425034672021866,
+      -0.026096919551491737,
+      -0.018943654373288155,
+      0.009262027218937874,
+      -0.018573325127363205,
+      0.021264223381876945,
+      0.008641465567052364,
+      -0.00342563702724874,
+      0.04450596868991852,
+      0.03326541557908058,
+      0.021139325574040413,
+      0.03364574909210205,
+      -0.055198732763528824,
+      0.0006926463101990521,
+      0.03100566938519478,
+      -0.07540594041347504,
+      -0.01518215425312519,
+      0.07766737043857574,
+      -0.011009875684976578,
+      -0.2869362235069275,
+      0.006555387284606695,
+      0.02816925197839737,
+      0.021701931953430176,
+      -0.027504922822117805,
+      -0.014156235381960869,
+      0.012426692992448807,
+      0.024100931361317635,
+      -0.06689838320016861,
+      -0.006779415532946587,
+      0.00874886754900217,
+      0.028085047379136086,
+      -0.0010318016866222024,
+      -0.03190849348902702,
+      0.025418460369110107,
+      0.02914033830165863,
+      0.07224299013614655,
+      -0.021327931433916092,
+      0.03378605097532272,
+      -0.07646693289279938,
+      -0.0019285724265500903,
+      -0.0033278162591159344,
+      0.2159486711025238,
+      -0.02992050163447857,
+      0.0015562194166705012,
+      -0.0013773306272923946,
+      0.012186231091618538,
+      0.0293015968054533,
+      0.0015808559255674481,
+      -0.02752244845032692,
+      0.020439859479665756,
+      -0.044625766575336456,
+      0.10098046809434891,
+      -0.04575757309794426,
+      0.030365265905857086,
+      -0.04691750928759575,
+      0.01189466193318367,
+      0.06357992440462112,
+      0.034150272607803345,
+      0.015049890615046024,
+      -0.0688120499253273,
+      -0.009331545792520046,
+      0.05857427045702934,
+      -0.02187928557395935,
+      0.09564129263162613,
+      -0.04842810332775116,
+      -0.07413150370121002,
+      -0.022962260991334915,
+      0.004512295126914978,
+      0.029307203367352486,
+      -0.048190779983997345,
+      -0.006592816207557917,
+      -0.06332705914974213,
+      0.01818056032061577,
+      -0.00789556559175253,
+      0.03758269548416138,
+      -0.055396828800439835,
+      -0.024171944707632065,
+      -0.047606587409973145,
+      -0.04637866094708443,
+      0.011760477907955647,
+      -0.051373161375522614,
+      0.022632500156760216,
+      0.0022999057546257973,
+      0.005451625678688288
+    ],
+    "id": "v3:intent_ir:0:0:2:0",
+    "source_text": "The dispatcher must not assemble the manifest."
+  }
+]

releases/20261001-structured-native-v3-experimental/validation.json

@@ -0,0 +1,22 @@
+{
+  "canary_shares_test_semantic_groups": true,
+  "default_model_promoted": false,
+  "independent_new_evaluation": false,
+  "original_report_sha256": "05000f6b68ec711518439db77ce454c6f845488fbd2f6be2afc7ec057f8ff710",
+  "proof_authority": false,
+  "raw_input_scores": {
+    "canary": {
+      "count": 60,
+      "exact_targets": 60
+    },
+    "test": {
+      "count": 120,
+      "exact_targets": 120
+    }
+  },
+  "replay_is_development_control_not_holdout": true,
+  "replay_rows": 3,
+  "replay_sha256": "08a553bc61bebe0dbd2d5fb02e9e028445c3a8c0b7090c32e7d2a7e9ce89887c",
+  "scores_previously_inspected": true,
+  "source_semantics_verified": false
+}