Archive explicit Intent code effect checks and learned abstention

training/structured384/fcab87ade962350c30a3e80d2f7bd3385d60bcfc666e0ba74955ca8e4008074c/intent-code-effect-checks/31e86fa58b432d99a80a60396d0d7b6a3976b822c379fba68dbf16e135876caf/evidence.tar.gz

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

training/structured384/fcab87ade962350c30a3e80d2f7bd3385d60bcfc666e0ba74955ca8e4008074c/intent-code-effect-checks/31e86fa58b432d99a80a60396d0d7b6a3976b822c379fba68dbf16e135876caf/manifest.json

@@ -0,0 +1 @@
+{"admitted":false,"archive":{"bytes":287434,"path":"evidence.tar.gz","sha256":"dc19360caf291c4def2fee82038f073774a91aeac9c1a086fe4456cbd799a6b4"},"checkpoint":{"bytes":493355,"sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5"},"code":{"accelerate":{"commit":"6feb1173584714eadf9cb9cafc7671aa0f4f9a10","repository":"https://github.com/endomorphosis/ipfs_accelerate_py"},"datasets":{"commit":"4e70da8ef06331b5368cf574dce4d16a4b6fa8dd","repository":"https://github.com/endomorphosis/ipfs_datasets_py"}},"domain_id":"security_ir","files":[{"bytes":27987,"path":"_publication_helpers.py","sha256":"4afe62c436fd60574509a3cd9bad34552c430e7ff8a6d0846aa1157653205fcb"},{"bytes":25119,"path":"_source_state_helpers.py","sha256":"9c53626b5e7274c06da5531a1c82490bedbbcae9570a5b80d7407c88f44b284e"},{"bytes":26573,"path":"authored-contract-inputs.json","sha256":"b32bd96abba3561380052d3ce1b87b2ae17f4ec002da40fdddccf1e322989f63"},{"bytes":573826,"path":"authored-native/IntentCodeEffects.lean","sha256":"07ea5464dae55056ede624993e46311d95ef63f223da55981865c820a38a53e9"},{"bytes":1097972,"path":"authored-native/receipt.json","sha256":"f21be9182ecdfa62eec005ce0d764a9c87934b397b6579ed78bee8a3dc2fbfa6"},{"bytes":131,"path":"execution-environment.json","sha256":"dc35342480b6cd4a0ccd1b0f73a672fe8350dd6a9b5e4a4a7324ecdd8da763b9"},{"bytes":122664,"path":"intent-advice.json","sha256":"5e5ab326c530c0efbfb3f07797b19b30fac8dd4d8610a185e1f2441530c41643"},{"bytes":219,"path":"intent-checkpoint-descriptor.json","sha256":"14837bfe47becd2363fb57254bc29670f6da80c2bff4b298c75c0c6074652137"},{"bytes":861,"path":"intent-checkpoint-manifest.json","sha256":"e3a534ee7f2f0967bbba0ddf760d95ec347dff78358d750ed44cc0be020fa2f8"},{"bytes":792,"path":"intent-checkpoint-reference.json","sha256":"285885d885896bcf791bb09e5eba3ceed5fcb2c8f7b34614ea596260ce6d571b"},{"bytes":294,"path":"intent-input.json","sha256":"d917441320c774354a679da65ffc941ae7f6eef2bc4993e9a318033d15faafc8"},{"bytes":712,"path":"intent-local-package-reference.json","sha256":"3ccbd9985a837c0eaa8ae14ad31606df2169f6e6994a462489b448c13d7dd343"},{"bytes":21182,"path":"learned-contract-advice.json","sha256":"db29268e9207eb86f6a2ccfe0d4a069a3c5d9bac12f7f0118be841e07e18a70a"},{"bytes":6333,"path":"learned-contract-config.json","sha256":"08eb1a8aa4b76e20c813ac9447c247a091036ee546c62366cdabc3bef8d01412"},{"bytes":57919,"path":"normalized-producer-sources.json","sha256":"cb6a2e7a641582fb71ce275d7793a1dd59250674d5a30dbf5e8072c3082ed7fe"},{"bytes":60319,"path":"producer-sources.json","sha256":"c7d597ceeb8d791ea0a98e4ec5b579a5f263084696925c8a32e11d6cc855ac3e"},{"bytes":28177,"path":"publish_evidence.py","sha256":"a6f11fda94efb0d178dc84b525e92fbd74dc1c8e3a240ca434064f936be0174b"},{"bytes":1015,"path":"published-checkpoint-manifest.json","sha256":"328be2d878c090cdfff2a8a688ab2be2b003724abdae91aab86f523a5d030eed"},{"bytes":886,"path":"published-checkpoint-reference.json","sha256":"0240471ea6acaf812e22244f53399d61b6d4ebd0920bb68dc5b16196530cbda5"},{"bytes":10101,"path":"reproduce.py","sha256":"3d1824a8c4a4a06f88b67ab74baf85d7eea7de3eadd2c7de5baa1438926684f4"},{"bytes":259190,"path":"security-advice.json","sha256":"a523863fd8cc29ffd24bb21d5af917c5678b98b88616cd8ee0aa13e67143b80c"},{"bytes":526,"path":"security-config.json","sha256":"a4294dbd791c53bb786e8ba7884ef568f630ac782ae307b77ebe55f93f85d4a6"},{"bytes":215,"path":"source-inputs.json","sha256":"cd60840da661f061ee026d0e591fcc3f51aa8fdf75488e0ab0c790d2f0cca231"},{"bytes":3195,"path":"source-provenance.json","sha256":"4020dba64293ca496621ba27541d4d79e19fc5dcd7353742cce1e14e826c5631"},{"bytes":1502,"path":"summary.json","sha256":"85d034b03e222f6f911f078376faf1fc85b4c068fec62a7c2625ecd1f954c36d"}],"full_daemon_executed":false,"intent_checkpoint_published":false,"intent_shared384_inference":false,"local_intent_checkpoint":{"backend":{"bytes":2243486,"path":"/home/barberb/lift_coding/artifacts/intent-ir-roundtrip-20260929/training-03/model/candidate.json","sha256":"699bf438f5340b23eb86fb78d77991a42fa91d8b84cbc8a0ae3e42799382d86d"},"checkpoint_family":"paired-text-roundtrip","descriptor":{"bytes":219,"sha256":"14837bfe47becd2363fb57254bc29670f6da80c2bff4b298c75c0c6074652137"},"package_manifest":{"bytes":861,"path":"/home/barberb/lift_coding/artifacts/intent-ir-roundtrip-20260929/training-03/manifest.json","sha256":"e3a534ee7f2f0967bbba0ddf760d95ec347dff78358d750ed44cc0be020fa2f8"},"published":false,"schema":"local-paired-text-Intent-reference/v1","shared384_inference":false,"weights_changed":false,"weights_included":false},"model_source_semantic_fidelity_verified":false,"promotion_performed":false,"proof_authority":false,"proof_scope":"explicit selected-action scalar interpretations over nine finite source-derived ProgramIR outcomes per contract","published_checkpoint":{"binding":{"base_checkpoint_sha256":"be2ec82a1d2a71171d86c3ffee3f9023a884df13302c33879b38f401f34ff843","dataset_sha256":"c9b986e6a3f9c23afa56692432df990eaaf93fb0139639f62dac3529507e7c28","domain_id":"security_ir","plan_id":"fcab87ade962350c30a3e80d2f7bd3385d60bcfc666e0ba74955ca8e4008074c","recipe_sha256":"03484d2bd935ef04ec317c78f29a735bf6af7822606cfb61afc56849bbcb2026"},"kind":"checkpoint","manifest_path_in_repo":"training/structured384/fcab87ade962350c30a3e80d2f7bd3385d60bcfc666e0ba74955ca8e4008074c/checkpoints/328be2d878c090cdfff2a8a688ab2be2b003724abdae91aab86f523a5d030eed/manifest.json","manifest_sha256":"328be2d878c090cdfff2a8a688ab2be2b003724abdae91aab86f523a5d030eed","repo_type":"model","repository_id":"Publicus/security-ir-autoencoder","revision":"84ea9a8877989d9bde21e0cee5868c936fc184a9","schema":"distributed-structured-384-reference/v1"},"qualified":false,"result":{"authored_contracts":[{"bounded_effects_satisfied":true,"case_count":9,"counterexample_kernel_checked":false,"effect_status":"satisfied","enabled_case_count":9,"finite_effects_kernel_checked":true,"id":"satisfied"},{"bounded_effects_satisfied":false,"case_count":9,"counterexample_kernel_checked":true,"effect_status":"refuted","enabled_case_count":9,"finite_effects_kernel_checked":true,"id":"refuted"},{"bounded_effects_satisfied":false,"case_count":9,"counterexample_kernel_checked":false,"effect_status":"no_enabled_cases","enabled_case_count":0,"finite_effects_kernel_checked":true,"id":"no_enabled_cases"}],"authored_intent_learned":false,"embedding_device":"cpu","full_daemon_executed":false,"intent_checkpoint_family":"existing_local_paired_text_roundtrip","intent_checkpoint_loaded":true,"intent_checkpoint_sha256":"e3a534ee7f2f0967bbba0ddf760d95ec347dff78358d750ed44cc0be020fa2f8","learned_contract_status":"fail_open_no_supported_contracts","learned_effect_count":0,"learned_intent_status":"semantic_candidate_advice","new_holdout_evaluation":false,"proof_authority":false,"provider_calls":0,"schema":"intent-code-effects-development-evidence/v1","security_checkpoint_loaded":true,"security_checkpoint_sha256":"2ca38dfcc05536315fc3e2c0647b710b930ef4066b474061a7b4e5bfb9a258c5","security_embeddings_recomputed":true,"source_executed":false,"source_semantics_verified":false,"terminal_bench_executed":false,"training_executed":false,"weights_changed":false,"whole_instruction_verified":false},"saved_evidence_is_live_authority":false,"schema":"intent-code-effects-development-evidence/v1","scope":"three authored Intent contracts against one fresh unchanged Security384 code prediction; separate local paired-text Intent advice abstains for missing effects","source_provenance":"one existing redistributable authored tuning source and separate authored Intent clauses; no full corpus or training-target rows; not a holdout evaluation","source_semantics_verified":false,"terminal_bench_executed":false,"tested_producer_files":{"accelerate":{"ipfs_accelerate_py/agent_supervisor/runtime/intent_autoencoder_advisor.py":"a1d5461681d0051434f52adc60974dc5ffaabd458ddb59bb65cd93593c751f07","ipfs_accelerate_py/agent_supervisor/runtime/intent_code_effect_advisor.py":"49cd238f79c9d00d3889a12ffca8e84bc9994f9b7a19e25a5612e069eae2fd97","ipfs_accelerate_py/agent_supervisor/runtime/security_source_program_advisor_384.py":"3fbca2588eff5f04f027df4ff4cc6dec3582725ab9e3527f3b9dc8663befdc0f","ipfs_accelerate_py/agent_supervisor/runtime/security_source_state_advisor_384.py":"b989316c71db061b13150716670c90e40ac1c586ba3022b40580984092b0c457"},"datasets":{"ipfs_datasets_py/logic/CEC/__init__.py":"8f4f1468b80c29eb7f6af4c02907adccc6bad5df1c7f22de5be7731a52b04b6b","ipfs_datasets_py/logic/CEC/native/__init__.py":"7c467c25a9abdc899a46266ed21582443dbd412fb07acf129d5fb34a90be9dc6","ipfs_datasets_py/logic/CEC/native/cec_proof_cache.py":"8a40f17c0b82d7f8b9dfb8654d53c5f9472852acbcc830fdb3f3d98221f71bf3","ipfs_datasets_py/logic/CEC/native/cec_zkp_integration.py":"8284720a83162918a9785ec31d2e44dfbb2dd948a0f653b451745b0f8e3ab962","ipfs_datasets_py/logic/CEC/native/dcec_cleaning.py":"06517ecd30e4889d2a54db6732279e61a53945906860ef66378b5d707cca04b0","ipfs_datasets_py/logic/CEC/native/dcec_core.py":"bb977f411605fc1f0715ed23c988102d55fa012029053c21c8fc5b14aea17e14","ipfs_datasets_py/logic/CEC/native/dcec_english_grammar.py":"2b87f9e7d256dd236c65147eabfc55bd3d481e74be63c80c23f6720d33cba0b2","ipfs_datasets_py/logic/CEC/native/dcec_integration.py":"f039af934dba224d6c4984e8840fd8a4de00fe5e69837b0678d1d670dc26ac82","ipfs_datasets_py/logic/CEC/native/dcec_namespace.py":"9e6903c74d3b95634f86f4f67392ca61bf9a284b577294d2b12ff001d9fbeb24","ipfs_datasets_py/logic/CEC/native/dcec_parsing.py":"2756e3c94acf902579bfc54d469e01ddd25b72f53d177b88921829d71df7da70","ipfs_datasets_py/logic/CEC/native/dcec_prototypes.py":"0e0b231ed68c39054cfd2fd674780cb736fd258cde7570881cb3a41cb5d2680e","ipfs_datasets_py/logic/CEC/native/exceptions.py":"cbbbafacf70d1c7355d7c930f48c5f71fc711765aa4789a817e5c229c8e60622","ipfs_datasets_py/logic/CEC/native/grammar_engine.py":"df787f7656894c063eaad5e16bc78168f1fd7c301a0907639dfb466b5f286293","ipfs_datasets_py/logic/CEC/native/inference_rules/__init__.py":"46d1d7677be5038b9006cfa6738940dd306aa404736295cf58d201a4a398c641","ipfs_datasets_py/logic/CEC/native/inference_rules/base.py":"5776e79206eb65fc3d2e898e48c374cba6fde09dbc48661d1ffb8417f2d99646","ipfs_datasets_py/logic/CEC/native/inference_rules/cognitive.py":"329334034ecfbb55fcb306c0d084a2a31f658a85af2ecb1edaef1c6ad7de7813","ipfs_datasets_py/logic/CEC/native/inference_rules/deontic.py":"8ef29a48e2e132f595ead529d446f7180745920ffae790feac985c121b4a6ddb","ipfs_datasets_py/logic/CEC/native/inference_rules/modal.py":"4ddf941cb2c2920699ec0e7f48d34b68a727da40a8868bd161c56eb315c2e4ef","ipfs_datasets_py/logic/CEC/native/inference_rules/propositional.py":"feb45f9807bc2d1cd38738006cb98cc553aa652918ee1158e8b106131ccd86bb","ipfs_datasets_py/logic/CEC/native/inference_rules/resolution.py":"8a5078e2e5ed25c350b8d28d6173f0013c6f78d075bfe5ca4b0516d46cbfcd82","ipfs_datasets_py/logic/CEC/native/inference_rules/specialized.py":"6a3d14356a1b076c7c943d7bd30da7d7694c03bae9da0d3ccf5a8bf848e7de96","ipfs_datasets_py/logic/CEC/native/inference_rules/temporal.py":"08d09c5be78e72168a4f4edef74840e766f65e1b9a9e4601f3000308254b9eaf","ipfs_datasets_py/logic/CEC/native/legal_ir_lifecycle.py":"0e70084ecacfed64efa46716d13e5ecfd6a44686df5546a67716eb5cadc4a7fd","ipfs_datasets_py/logic/CEC/native/modal_tableaux.py":"5910e250b1aa61221f22318e6cea6858df3ee1701fe631634f9e1977ae671235","ipfs_datasets_py/logic/CEC/native/nl_converter.py":"016b8e4893b9825e2f3b0a95d331691736433a1cdae430dde2d831862e0bf254","ipfs_datasets_py/logic/CEC/native/problem_parser.py":"fd946d11ca07fcf09db67f91f3a90680f8b7024c373be09c514ff91a957682d3","ipfs_datasets_py/logic/CEC/native/prover_core.py":"c734b6cfbd05cd73bb5836d0635c1d9bb95ce3d722567e5afd082a4edb963487","ipfs_datasets_py/logic/CEC/native/prover_core_extended_rules.py":"07e26b65dba0a2f6be6bf7f36424a25da28d4c1e440e703b6985044684d9b253","ipfs_datasets_py/logic/CEC/native/shadow_prover.py":"90049debb68b2ae19238ee4637bd3b5a3124a7f06bb9448cd3567621df95d496","ipfs_datasets_py/logic/TDFOL/__init__.py":"42c252ba4fb85301b649bc3afe497a2799d27460b9556e57c7398b5441ba13e8","ipfs_datasets_py/logic/TDFOL/compiler_repairs.py":"c0306a55184bc6baabf7528bf7a255604ff8c49d2c510afde13eae2e8108ff88","ipfs_datasets_py/logic/TDFOL/strategies/__init__.py":"96a6aae98c7d6ee877559b847f455f57e60a81c476468c61d77d6fde86b774b1","ipfs_datasets_py/logic/TDFOL/strategies/base.py":"3763cc86f14697a68cb7a38dab9c7e6a9d0160910b73ba1ea2e965cd89d6e905","ipfs_datasets_py/logic/TDFOL/strategies/cec_delegate.py":"ebaf1bde83b2c00d5b0028fa34f43c52e6e0628d19bb8ffeb1a6c1987b61a9ef","ipfs_datasets_py/logic/TDFOL/strategies/forward_chaining.py":"0c56b8663063aeb30c5bbbda045a3f723ab26fffe08e23b14f3c94e866392f09","ipfs_datasets_py/logic/TDFOL/strategies/modal_tableaux.py":"ffc1489b684e0630b7940b2ba688ddb99142f7fcce203e06fbfa55643826d1c4","ipfs_datasets_py/logic/TDFOL/strategies/strategy_selector.py":"5b7b71c5256dca709917fd6e8d55fd014d7ec0d4a216b56cff1b633b2143f501","ipfs_datasets_py/logic/TDFOL/tdfol_core.py":"67be350d1fb0422a64ab040349b2d51c4008fbeeb8b59a99b8901d681d7d71c7","ipfs_datasets_py/logic/TDFOL/tdfol_parser.py":"8e1f8885be6dc2a7d692ecdf0364ccc4d01692c38c81137775d9d222d8b8d9d3","ipfs_datasets_py/logic/TDFOL/tdfol_prover.py":"41fa83374a9e7b188255476710e778a056a3090ee1fdfe3b151caa6359855476","ipfs_datasets_py/logic/autoformal/__init__.py":"9fe9ca06f142b1af8a2bd5d5a89bd38ac79c1ac7f01a476a63160bb8c5b7bd03","ipfs_datasets_py/logic/autoformal/tree_pin.py":"587165942fb06ea9effc836b555e0ac0606c5876b013a374a1e76d25ee069e4d","ipfs_datasets_py/logic/backends/process.py":"742cdee25455c35d43945b0463ebbc606da5c1826e95691b69afb07e9d3fd96f","ipfs_datasets_py/logic/backends/results.py":"afda793472d3a6ba13f20bee13a992bfce68177388bdf338548157a5aa201458","ipfs_datasets_py/logic/backends/tla/compiler.py":"f06c6244cd68191b29139d6476a5a4c5a2c2a167bdc06b4951665a02fba5b573","ipfs_datasets_py/logic/backends/toolchain_roles.py":"1f5ffbf35e9171b77474da7fb7a1eeb91579a3d09fc0f99d480abfd49aaaf3e0","ipfs_datasets_py/logic/common/__init__.py":"e574c74067e7059cc506b32c780bc0444de89c63b55dade3df00ae9fd563431e","ipfs_datasets_py/logic/common/bounded_cache.py":"29a450b5fc08c5577964774035717dc5d7be85c159cfd502fba5252c4ec9c9fa","ipfs_datasets_py/logic/common/converters.py":"f530c453775f2c1a4a2f8a26aa647df1f725be109078df258288eab33a427fde","ipfs_datasets_py/logic/common/errors.py":"10d21acd8d0fd6049297a1b36d10db1fcc09146095f1dabfe5a686b887f4b8cf","ipfs_datasets_py/logic/common/feature_detection.py":"a285d84f9b13ee3c2c54023e07ccf9da94ce93e6736362c1881421db9e509d76","ipfs_datasets_py/logic/common/proof_cache.py":"b68c36ff934ba6ee7a308162ee7035c78f4c522a5483e85e536b428db8485b36","ipfs_datasets_py/logic/common/utility_monitor.py":"ef23631a622dfd555cefcdf69793e78a7c64a115c7451aea4dfff5389b014985","ipfs_datasets_py/logic/common/validators.py":"e58dbba7d3f346545e2ff572928ed9c7bb9adc71b20e8cc8dc816a7fc060e0c7","ipfs_datasets_py/logic/deontic/__init__.py":"1eeb1a57e388c37415facf3989a26d3b960b176b4bf1e65eef66e106c1aadb4b","ipfs_datasets_py/logic/deontic/analyzer.py":"8953235974d062f968334106c952d0978cc31a58408206bb56c26da174f29d6c","ipfs_datasets_py/logic/deontic/compiler_repairs.py":"53ff5b4b6cf3303f46569f43e748b5d15a75b1895dbb4c4a054b541e9fc5569e","ipfs_datasets_py/logic/deontic/converter.py":"e1749ca0403f34834374b5089d78523f1866d53d3ec923137b6fb526fdffe7c8","ipfs_datasets_py/logic/deontic/decoder.py":"051a5e7a98ef2cf8a63326218cebeabcca2c528f6839a1a3cb11756ee7c1aab9","ipfs_datasets_py/logic/deontic/exports.py":"ac46bf1efa79925620199b56f6f1dbde34c92889a0a2a474cc6b9e408ea3c3de","ipfs_datasets_py/logic/deontic/formula_builder.py":"dc53e7c4875a2afa98e100177c0d70e224e1945048f18993333f72c313529109","ipfs_datasets_py/logic/deontic/graph.py":"5a595b05f5bec6d74f6c8c06129cc7f1a7860a2beff98d1f28b9fde6635bdfde","ipfs_datasets_py/logic/deontic/ir.py":"a6bafa2aa4b1e8d9c368d4c4354e56b924888d43eb1f817c11058767f17f3416","ipfs_datasets_py/logic/deontic/knowledge_base.py":"a6e59bf538caa19cfeff6e02aa5da0b964b83c73396d05e58c3830e39dd97d9a","ipfs_datasets_py/logic/deontic/legal_text_to_deontic.py":"abb138e7b51dbb071b9ab98865e3fb6c64dfd6a6cc5674a0853d523f00a7797a","ipfs_datasets_py/logic/deontic/metrics.py":"5a2f92bc24154e14d3d2e3b6e73dcc128e6183957b5832b9bc1d72e60f7370da","ipfs_datasets_py/logic/deontic/prover_syntax.py":"1946190c1d1ec8e8ea659c0d7c9a0a8da29f2f6b0aca8326193a95a57deaad31","ipfs_datasets_py/logic/deontic/support_map.py":"e48a537061611eee0cacff129839ce04992db838b86a3edbe8f422f1018fda84","ipfs_datasets_py/logic/deontic/utils/__init__.py":"6b3ede4588f4d18b84b6a06ebc774b8d3755627a0b5313147de7838503032f3c","ipfs_datasets_py/logic/deontic/utils/deontic_parser.py":"71daafa62c800a10db3ea7ddc948997b2a119012e9444d5007bdbd3b67487822","ipfs_datasets_py/logic/families/models.py":"1a92305ef498812e3757147179907d4ddf4a4518371034fc2363922d5d5fed3f","ipfs_datasets_py/logic/families/namespaces.py":"ba097e653158a812d66ead978d6405d61adaa293521305333579b19bd69a432d","ipfs_datasets_py/logic/families/registry.py":"669c4d90dbbac1014bd3dced401027be0391d304477b904f9da04d5a2d6c0450","ipfs_datasets_py/logic/formalization/__init__.py":"91c60c1dfbf9038b8271ae6b1495dbbaf0be8d6ce438524c33f4f7a586f17266","ipfs_datasets_py/logic/formalization/advisor.py":"381dfb0b25bcca013b253a13f66feecb9111877833f1ae067b94e10024cacf96","ipfs_datasets_py/logic/formalization/autoencoder/__init__.py":"82206d6ca08b8626b2afd37534679ac3ea001005f934ed211aa0f1f4eb81f073","ipfs_datasets_py/logic/formalization/autoencoder/distributed_384/__init__.py":"e62300926a66f42374cf4cca9baad7124a1ca710416a7acc501a64c65ea7cc64","ipfs_datasets_py/logic/formalization/autoencoder/distributed_384/contracts.py":"2d6178f48f09348248b2691578096d58214aa4c80968f05c0d1de093b82d3669","ipfs_datasets_py/logic/formalization/autoencoder/distributed_384/intent_world_model.py":"b55c613fd13c8576a23546849b08c39a5364c0d906d9a0a273af2aa0eba2c3bc","ipfs_datasets_py/logic/formalization/autoencoder/distributed_384/projection_context_contract.py":"d11510e90a17f46134e1e4e2509a663e1243ecc25453492075748b8abbe625d9","ipfs_datasets_py/logic/formalization/autoencoder/distributed_384/projection_inputs.py":"691448e9fc4db832935fb261b9a48290d4b83d10791e9fc5403487dbdf6949c4","ipfs_datasets_py/logic/formalization/autoencoder/domain_targets.py":"b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586","ipfs_datasets_py/logic/formalization/autoencoder/family_training.py":"e42e5314a59966ade1163e062817484357feb97e86158e21360ad39fa1558e64","ipfs_datasets_py/logic/formalization/autoencoder/family_training_v2.py":"c5b66780a5ed5b5247f3de1467d34ed17cba89bf250e9b2490218fe9e71f2e02","ipfs_datasets_py/logic/formalization/autoencoder/family_training_v3.py":"03109202932cdd65d66bfedb4693241cdeabbda820082b2aef3b3175e86d4918","ipfs_datasets_py/logic/formalization/autoencoder/family_training_v4.py":"5af04f8c3f6f1a378b69d85e8169cd167f442a0e6e7ad17baaedd6157dcd455c","ipfs_datasets_py/logic/formalization/autoencoder/family_training_v5.py":"b97534f9435a770a275a408bab160cdc1b1b1a1dc21142d271a2ab2e7c55f37f","ipfs_datasets_py/logic/formalization/autoencoder/family_training_v6.py":"52a3ad50b4a9212af9fcdde2b52b982215ce74258724b201e70b945a5d22e7b9","ipfs_datasets_py/logic/formalization/autoencoder/family_training_v7.py":"739ed8833d93cf667bd9f399d444b99339062efa61e0ca66482e70b8308df253","ipfs_datasets_py/logic/formalization/autoencoder/intent_code_effects.py":"6bfdc6ac2652cd5ddc9163c580324e9bb825aac1834fdef7f3c68cf57b5aae72","ipfs_datasets_py/logic/formalization/autoencoder/intent_code_effects_lake.py":"45de4b6550073713a48b751a0954b44f160fb2638e4fffda1fee04f2f223f25a","ipfs_datasets_py/logic/formalization/autoencoder/intent_code_effects_lean.py":"8dd2ba9eac47bbb8cfd21095426368b0431cc74feae0bf6b590ec4030aef1b52","ipfs_datasets_py/logic/formalization/autoencoder/intent_semantic_training_views.py":"985558706be7e0c4b4e446f92d938eaa6c14569f04f0d9aa4d6847fef183a087","ipfs_datasets_py/logic/formalization/autoencoder/native_family_lake_v4.py":"863d2bfa94bced7e4e756be83c058c30e82e568eaf09ed7b81e9fa62a8c91a1e","ipfs_datasets_py/logic/formalization/autoencoder/native_family_lean_emitters.py":"6da3dc9981ad7eb805894be5a0822f1ae2cae3572b80d73a7eb691250fe5c1fe","ipfs_datasets_py/logic/formalization/autoencoder/native_family_lean_emitters_v2.py":"a980bed6bb2aded90ba49af8e8c85d4d9e448c6dbc4e877f5ae3bec83d61ed09","ipfs_datasets_py/logic/formalization/autoencoder/native_family_lean_emitters_v3.py":"1df55f2679990fca270b9d59ba68f2aac7fc75bca73a96f5d0b7aa09f38a8ff9","ipfs_datasets_py/logic/formalization/autoencoder/native_family_lean_emitters_v4.py":"1db3aaf52ab31a4baf9fdb3fac66604cac0d2fc3fcf558bb3cabf902d645f554","ipfs_datasets_py/logic/formalization/autoencoder/native_formula_evidence.py":"3286b28b2877f6bbcd452511624512fb882c36480430e1024263346a4fe3da29","ipfs_datasets_py/logic/formalization/autoencoder/native_intent_guarded_lean.py":"851f8b9343e97f868bbce0eef8f87bd6f3c71e6292980352a0621cb0e7927f6a","ipfs_datasets_py/logic/formalization/autoencoder/native_intent_lean.py":"b2039fb5dd9579fb2ed26ff3e652005c0caf6858c2956b4b66ca2f71dd9c7a67","ipfs_datasets_py/logic/formalization/autoencoder/native_intent_semantic_lean.py":"77946b46eec746610ab294b3c1205c1b99c4f0818d0ddcedff1de46e23231bab","ipfs_datasets_py/logic/formalization/autoencoder/native_interpretation_expressions.py":"9afebafd2896848b55860c986b78f155f17448e1cb576843a540b86781bbf3c6","ipfs_datasets_py/logic/formalization/autoencoder/native_legal_qualified_lean.py":"5407ba7299b002048ff8f45dbea7295d3b210f41904f28a98684042d055d0b2a","ipfs_datasets_py/logic/formalization/autoencoder/native_program_lean.py":"14d9a4aebb305ffaa26ca30c9ab154b12df9acdd77b10a033da9f1928d7e3288","ipfs_datasets_py/logic/formalization/autoencoder/native_program_lean_v2.py":"1a2fc0f709c546ee4be00189a4d47322457024e2987b68c0e4b574588fed70d0","ipfs_datasets_py/logic/formalization/autoencoder/native_qualified_lean.py":"645d38508004833092cd5fd9870f29fdae34aa0e262471888973cb3203121408","ipfs_datasets_py/logic/formalization/autoencoder/native_security_lean.py":"32b2605b43329ecc9eed496d78f819d09a642c734d911cc6542d393eb7e6949d","ipfs_datasets_py/logic/formalization/autoencoder/native_tla_projection.py":"e1611c42195afbb1a436df9216e26dcc7b1d5630bcb23bd6a8b55c9e7b5f9cdc","ipfs_datasets_py/logic/formalization/autoencoder/native_ui_confirmation_lean.py":"167b4225431602e80479915cc73b477c5bb47ffec5e00d2c36b741c40f323329","ipfs_datasets_py/logic/formalization/autoencoder/native_ui_lean.py":"f772fbbcc900d008f732001ac4bf48a4bdbe8577ae2a214fad8fde1964f34239","ipfs_datasets_py/logic/formalization/autoencoder/normalized_source_program_runtime_384.py":"c9e9c8b33c24f8e934b5e859dfe99404d39eec9c1c24132705dfa18079c153f3","ipfs_datasets_py/logic/formalization/autoencoder/security/__init__.py":"aa1c0d7bf68c1920ef385ef21a227bbef9af6a46a3ec663b4613ca8c3a8f41a7","ipfs_datasets_py/logic/formalization/autoencoder/security/source_normalization_384.py":"5d6714c433881f81871d842c7d3389fcb59243441a126118f39c1a01760e89a5","ipfs_datasets_py/logic/formalization/autoencoder/security/source_program_binding_384.py":"956666bac015713e1b292d563a8224a71e547ad50e4e13d04299f1056893f283","ipfs_datasets_py/logic/formalization/autoencoder/security/source_program_binding_384_v2.py":"fce62d147c82612cf5c59f1bbbbc56516b93e02e4440cc1ada3c5f27071c9a66","ipfs_datasets_py/logic/formalization/autoencoder/security/source_state_model.py":"b102539b0a1f0b62d4f7954eabc26a712ed3a74ad2544f11e6a8d64f924ce45a","ipfs_datasets_py/logic/formalization/autoencoder/source_embeddings_384.py":"fb3a5aa8ec005e98a2c62dc1d7e3e807a75820fedc156a8080c1f18063d17da7","ipfs_datasets_py/logic/formalization/autoencoder/source_program_lake_384.py":"da3d9cf1839f4cf47283a4938f3433ce70cd11cad17c8644f822a1adb15ae2e8","ipfs_datasets_py/logic/formalization/autoencoder/source_program_runtime_384.py":"7bd46875786f05f6cc19fda3cf3ebc1529617fb4a65c9e9000991a906124e277","ipfs_datasets_py/logic/formalization/autoencoder/source_program_runtime_384_v2.py":"3c133913082b1f8d9683e4934e8bc2537b7e4bc2f6a9e373f5a2e99dc612eef8","ipfs_datasets_py/logic/formalization/autoencoder/source_state_lake.py":"c09ddd4ef5c98ff22b4b9b06751f689872abc741d9fcf23bf505577b141bc0a2","ipfs_datasets_py/logic/formalization/autoencoder/source_state_lean.py":"f7dd8b35d2fa04a0051d1852082bbd46e2cb65dd5686a2dd2f53705017222f10","ipfs_datasets_py/logic/formalization/autoencoder/source_training_v2.py":"8de8096e895de9df08ccf5352dfd704806823296821d98b5badf08bb553a52e4","ipfs_datasets_py/logic/formalization/autoencoder/structured_source_384.py":"3f9ca9ce7b4cf2a2d10d6aeb1fae78543c468133d2fa0df9fcb32f63f89e90f7","ipfs_datasets_py/logic/formalization/checkpoints.py":"96aa08e22eb99bebc0b0f84019227f0a504ca67aa2252fbf3253850343e95f46","ipfs_datasets_py/logic/formalization/compiler.py":"2d4c63025e3d0004774c3a1d688193187f115b181085d7825d46c9d72581b03c","ipfs_datasets_py/logic/formalization/features.py":"a5abe46dbb9c90f83699f8d7922676bc41335e26413d73ae173c9fd9b66bb23c","ipfs_datasets_py/logic/formalization/samples.py":"90b5efa905eb9d3fb980cb628d32a180d37fa9097fb252b3aad006a3eb628695","ipfs_datasets_py/logic/formalization/typed_slots.py":"12bc865d038238e43caa0d2f61f0a81e8e9cb44bc8876479fbecffc4155747cf","ipfs_datasets_py/logic/formalization/views.py":"509fdf2d7334559c7ef176d504d5a6a9d8645c99c00c779d14cb3d08c51f9ae2","ipfs_datasets_py/logic/integrations/__init__.py":"bdb2341ef1aa175864b322be35079f1043ad4aabfe5c81a9b01227d7a41af776","ipfs_datasets_py/logic/integrations/typesafe_advisor.py":"f8647ffcf8dc1266030182a05929e51de5f4bc701f610f00ee544fb24f552b52","ipfs_datasets_py/logic/intent_ir/__init__.py":"acf68a7215af95b4a7d4e4dc883cb7577e2129e7bbadf49c1fc2c404848bc641","ipfs_datasets_py/logic/intent_ir/autoencoder.py":"ff944970bd24db83b6851fe4b84db62fe00128ed6ee0019c17cd941f2feb2e91","ipfs_datasets_py/logic/intent_ir/canonicalize.py":"3609047cc8c99437d77461b4f7ea0e05d193a31bf0d20a7e80b7b0c10a8cff87","ipfs_datasets_py/logic/intent_ir/decoder.py":"7bab5781c07e00b54b0283d3a2962926f75935caedc80eceb23264cb388be257","ipfs_datasets_py/logic/intent_ir/formalize/advisor.py":"e8dc5f9aa8af9cce4c56ea3660e2277ee91517329fd3c200158ea7d44fb0a01f","ipfs_datasets_py/logic/intent_ir/formalize/checkpoint_policy.py":"34090d67343d067570277857d80ba5b82f6a2da9f9a2d71a1a490510eff27974","ipfs_datasets_py/logic/intent_ir/formalize/compiler.py":"b9eb0aeab9fef143609a09860713548fa617d53de800c8c82643aac4390f2d9b","ipfs_datasets_py/logic/intent_ir/formalize/decompiler.py":"4a06beefbc7d29bbcfcbd0dcff6268db6e3aeecab977629ea5553fcd5b311174","ipfs_datasets_py/logic/intent_ir/formalize/extended_preplanning.py":"4e29ab4e3d323c2bf944343da5fbb1ea8adbeef2436cac45921603338867f2a9","ipfs_datasets_py/logic/intent_ir/formalize/extended_projections.py":"20163bc5eb509065475bbe85716467b106f0b9dd74a1aa530bb61755600697eb","ipfs_datasets_py/logic/intent_ir/formalize/features.py":"05c69cef36824b445c0cea8074b8c969480d41a301e4bb5aa2dd1d5210c107a0","ipfs_datasets_py/logic/intent_ir/formalize/guarded_workflow.py":"27f57fe52c30c59d24386acf7e66785270ed33351791ad72b9d6f55d8df08b57","ipfs_datasets_py/logic/intent_ir/formalize/instruction_scope.py":"d7e5c9bbcf628d83ccc65dc6af78652e67e9cedfee100be67e17bc32581e3152","ipfs_datasets_py/logic/intent_ir/formalize/lean_projection.py":"aef6ff43d470857e67dbbc16707d213db0acac2439c1eddf1538a6f8eb930ed7","ipfs_datasets_py/logic/intent_ir/formalize/modal_projections.py":"7337b9266ed4f171ec7ee763828f8b637bf57930d8b89fa0d47139650996a14d","ipfs_datasets_py/logic/intent_ir/formalize/projection_contracts.py":"86386464d599b4fc5af66b3e6f634e797594bbde0c3e2bcff087d802c478fdaf","ipfs_datasets_py/logic/intent_ir/formalize/rich_grammar.py":"6c40ac99d7e339651b6029764f94b12430ca515d4c5f7426770b013499efe92b","ipfs_datasets_py/logic/intent_ir/formalize/rich_logic.py":"3b97b839f5a2afa451f76a9c330f9e485e47ed1f62d80e568a424a92ec5433eb","ipfs_datasets_py/logic/intent_ir/formalize/roundtrip.py":"1f07129fa0d66daa6f3fb682b1df72832f6bda709c65af6b3b3eae520339eacb","ipfs_datasets_py/logic/intent_ir/formalize/state_projections.py":"d22aa49f30252bf70c63ab76ee8338a045751f37d8cfeb5314c0587a0658ccb1","ipfs_datasets_py/logic/intent_ir/formalize/structural_projections.py":"c03ce3a4a083c463a3ced8d8dd8e08b9693711e35829cf8f44b9b007ab1bd6b9","ipfs_datasets_py/logic/intent_ir/formalize/typed_compiler.py":"e7b361f0e03b97995e4665c051d32d8635ac7445b7893bf3a5eb4ae30a507c3b","ipfs_datasets_py/logic/intent_ir/formalize/workflow_state.py":"075283eb7eebb4426f535db2e20b714b6a208910c31e71c3c44752bca0464e0f","ipfs_datasets_py/logic/intent_ir/graphrag/corpus_projector.py":"2192e20f17fe4d625c2b21b2460915c1b798457dfd1fff3016e3019e6891e09c","ipfs_datasets_py/logic/intent_ir/graphrag/ontology.py":"b7578d181cc6967383a7466c4e5079237819b27130ea1bf08282a8abf4c258d4","ipfs_datasets_py/logic/intent_ir/graphrag/retrieval.py":"c54484421a6d4a6c45e8fe6fb75a53fc4788a9014fcfe6c4da76bd9046dcf6bd","ipfs_datasets_py/logic/intent_ir/graphrag/semantic_projector.py":"5f7cec8a6fa2e21c8f680b286eb4cdea96bf7532f312a45a67c4d7f85385a162","ipfs_datasets_py/logic/intent_ir/protocols.py":"adb0ae8eaf2e55bf587ac76baa90d8303b61e0df246c03c30b56cb31a9643780","ipfs_datasets_py/logic/intent_ir/schema.py":"93d38e4724c5f34aab7f39f050742e98ef0c8d80e2ff70459d2401541505fc56","ipfs_datasets_py/logic/intent_ir/source_adapters/__init__.py":"d60f048c70a7b90c668e1bc8064eaf78eafadfb7c579db47c63ad51b70fac5aa","ipfs_datasets_py/logic/intent_ir/source_adapters/policy.py":"cfa048dda6ffb1fdd70de99491997e1e5968f97c5a8abdf9346e59a446d8daa8","ipfs_datasets_py/logic/intent_ir/source_adapters/skillcenter.py":"3d10d1b7a78df0184b44ee05747d27581761b7d687c2b5bf78891c6fa2597636","ipfs_datasets_py/logic/ir_core/__init__.py":"4c0070482e009dd7cb9875e91124d48683da37d53f691cccb306ec50f23c946c","ipfs_datasets_py/logic/ir_core/artifacts.py":"63896fb1fb4ef22be50d76996ce404119a5d209d01f046a6a842b7b96848ebc6","ipfs_datasets_py/logic/ir_core/canonical.py":"339b5778581c19525a7685edf432aaf124cd12e02d37cd0eca88cb25ab86c0d0","ipfs_datasets_py/logic/ir_core/claims.py":"282cdd3a6ba18a90079886337d360bae44da172748faa3ad2715d2071070de3b","ipfs_datasets_py/logic/ir_core/diagnostics.py":"508fd3c2dce94a1eb1e2dff19f8f578ccec2d1e94eb1db2742f75783e23ff198","ipfs_datasets_py/logic/ir_core/evidence.py":"826743829d2964b97e13720b5ea52907de77f6b18e8886e5a3c0fb6a977fdeff","ipfs_datasets_py/logic/ir_core/identity.py":"606bffc1f938c59f44651eeb65cb9c0738e16e465aabba0ad82ef05e3b5b3b0e","ipfs_datasets_py/logic/ir_core/protocols.py":"b452a7095a2524f0ea3f4e4f3a395643d3257cd6f42e3c77f8e1817df62f6fed","ipfs_datasets_py/logic/ir_core/provenance.py":"16eaf7c258550e5625bc19e6e7468c94133aedd1e85e64075f057ab4e52c3efe","ipfs_datasets_py/logic/ir_core/schema_registry.py":"1b214ea190a41c6a451377a03bc71ea84f6703314293ef78c5f269082eee4fbe","ipfs_datasets_py/logic/legal_document.py":"b44785f720df1a60495bb7086a78fc00325a5d653a7e1782c0712fb7691454f2","ipfs_datasets_py/logic/legal_ir/__init__.py":"53ce51e56a292ea3210010fa17b352e9d40eb5b59cf15c5e732147000b40fee1","ipfs_datasets_py/logic/legal_ir/canonical_compiler.py":"9980c3699a2407d360e8a2feedab575a4d4f5b3462ddf0ed761143f22ef61ea5","ipfs_datasets_py/logic/legal_ir/canonical_contracts.py":"d66ecfaa2c967cda40a1cf4b82936a34039e38ccdb3044468697a4f90af2844b","ipfs_datasets_py/logic/legal_ir/canonical_decompiler.py":"26b4e2e2d5d55b41ebae245b7d236bf1612c020a1d469df8bd747f83e982dfdc","ipfs_datasets_py/logic/parsers/__init__.py":"e75f0c2ffea0f0706a3d1768a794849e6c013b6647dc59ba331f44797c233386","ipfs_datasets_py/logic/parsers/event_calculus.py":"8bd7217febef6daf86f76bae7e03ab0cbf7eb22a1b64f3040fd26a3d2ebfc390","ipfs_datasets_py/logic/parsers/flogic.py":"85ac4353d2bd15fee7cfcf345a4f7afe33d27baca49b1b273f08a217298d1bb7","ipfs_datasets_py/logic/parsers/rules.py":"14b04bd0e77a99a7f99a7c76e0f126552f9fc256d94bfb53280c3a75131c24ed","ipfs_datasets_py/logic/profile_g.py":"4ca5dcc601f30c723467f425a6a03a7c5b1f644c2239a0f4a489705f1b715f03","ipfs_datasets_py/logic/security_ir/__init__.py":"dd25e981a8c6f0fc30af378185023acc2750dac07835ea1040006f3533009fd9","ipfs_datasets_py/logic/security_ir/model.py":"abc3aea9c2f4d1ce513ee2c9fc4c304d8bd387ded18e0d646247417422225d39","ipfs_datasets_py/logic/software_verification/authorization.py":"78f04e9231f9d04d98ab3597e52e8bb8c49d63047544657d33491b161effeeb7","ipfs_datasets_py/logic/software_verification/concurrency.py":"4d47e1ffd235282b841ae00644832ec9105fc90ee9dbf05ced901f937e0e346a","ipfs_datasets_py/logic/software_verification/contracts.py":"0238a345e5c35aec78801891562e896d719bca0424eab8ad790d5da2c239c5aa","ipfs_datasets_py/logic/software_verification/heap.py":"62e61bcd48cd17201dcd52f5e9d9458da44ef6c2af3dbe7b64587d77ac8c8e1b","ipfs_datasets_py/logic/software_verification/hyperproperties.py":"c49cb173aa9cd9cbbb69f72e461c0c7c048264cbbd7b92af7fd3c7390bd69ecb","ipfs_datasets_py/logic/software_verification/ir.py":"40f59ac33b5e8c282b06d7d8dec34940ffa8013f50fc65fc71e19a1ea41ef282","ipfs_datasets_py/logic/software_verification/program.py":"f051f42d64c5f993451972924953cc7eaa6d17df097235ddabfd5d791d406f91","ipfs_datasets_py/logic/software_verification/properties.py":"0b438555895505df283d7f151887a14d826df27259f4f5eee0ac584b74dbe10a","ipfs_datasets_py/logic/software_verification/protocol.py":"46e69f306c9eb2368d5d1abe589b10dfa10d09ab2e0ef3018585c76bd7c6335a","ipfs_datasets_py/logic/software_verification/refinement.py":"975b8493035f414e82a611499c119aab9843b0b8546bd1cb82d04344f170874d","ipfs_datasets_py/logic/software_verification/separation.py":"b8f2985c26c8fc2db6f6bbbd4c5959554d6ce6f21d228618eba2d47f3ea5a9a4","ipfs_datasets_py/logic/software_verification/source_adapters.py":"f6c038c20a258c729abc6c76483c83bafc75394794af58aa868e1f9b0e851bb1","ipfs_datasets_py/logic/software_verification/state.py":"085841a600ed8f8fde202e720d1f70e5a0432e4bf80d20ff11fe60c90107c54c","ipfs_datasets_py/logic/software_verification/syntax_bridge.py":"cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116","ipfs_datasets_py/logic/software_verification/temporal.py":"56d8a6d3a5e7f11dd9f4d9d2096ec0f787a481b006abac311d212bbc622558dc","ipfs_datasets_py/logic/software_verification/trace.py":"4751f221cbe8ae8f2b328e3db3faf620b57288df9c3d22baba6e289f80523512","ipfs_datasets_py/logic/software_verification/transitions.py":"982d7e3a243fb70f5f797b7b6efdb45faebb3895945b06c04a9421fbe4ba7d86","ipfs_datasets_py/logic/software_verification/translations.py":"c418cf45efd69dd01ced3eb2e05f9bc411ab12855fa408401d1ba74839df6dda","ipfs_datasets_py/logic/software_verification/vc.py":"bc738a32af07afb4cc787d0ea5f743dc01e99d52230a45669bb04222e6cf7bf9","ipfs_datasets_py/logic/syntax_core/__init__.py":"20dd418d90360cdb42c64ba8b87bedcdb640228b460ef6c6ae60312365130e81","ipfs_datasets_py/logic/syntax_core/algebra.py":"d3587e2270943167ebef226e03cbd70cfc8888d936647670a21cfa514240e6b7","ipfs_datasets_py/logic/syntax_core/ast.py":"4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4","ipfs_datasets_py/logic/syntax_core/contracts.py":"ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8","ipfs_datasets_py/logic/syntax_core/diagnostics.py":"a291db3c2cea04ae8dd9221a5e5ddbebd419679c02a5a008034e3755e7650d8f","ipfs_datasets_py/logic/syntax_core/lexer.py":"f666e9759323508f4e90964c0d71164645af9ce1de60bed778e5f64f7f4a3aea","ipfs_datasets_py/logic/syntax_core/registry.py":"eff5ca12d748eff1e9463b737a8243c97d89cac51e1b604fe2c765aed885cb44","ipfs_datasets_py/logic/syntax_core/signatures.py":"49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf","ipfs_datasets_py/logic/types/__init__.py":"60359f47e39c12483d2ffa702d66b611ecba8451678d7a1f7e228e30e795402e","ipfs_datasets_py/logic/types/bridge_types.py":"5ec9c47e1d5c527f66a01ec0790335ff70d784e6d3e20cc2dd73e1bc647449ad","ipfs_datasets_py/logic/types/common_types.py":"0ad8f7b7e6f38540414c94dc9d6da6aba9665d4dee6283499d8a637a53dfc500","ipfs_datasets_py/logic/types/deontic_types.py":"6fa123ecf0afb1d3293736c24633043aeb3349a3b3f7728247bfd08ea8cafe94","ipfs_datasets_py/logic/types/fol_types.py":"d1debd330e7a3102a1580efcbc6e06b863ee8ca9d78b2e34a60cd98b5ba1e902","ipfs_datasets_py/logic/types/proof_types.py":"8c96df27865d86cd54ae242497e4d9ddeaf89c5cd7484718b521dccf123fcb97","ipfs_datasets_py/logic/types/translation_types.py":"5a0e4314692fdd4945bfd3c9b04d80e2fda86aa7f4b264f4c9c21964afe1343e","ipfs_datasets_py/logic/ui_ux_ir/__init__.py":"b1fe4a927db3fff8e67b61d0a87ea15cbab87698c47d245b43aa787d53446744","ipfs_datasets_py/logic/ui_ux_ir/decoder.py":"21e8315b0054f7755512212d610d4e3f5f4ac86387f3b27edb9632fa8ca68bc3","ipfs_datasets_py/logic/ui_ux_ir/schema.py":"8a7b0cc90151043514d263b1a2655d6d41a2835dacd6b56018ba5c0c89961855","ipfs_datasets_py/logic/zkp/__init__.py":"ea2eb0e91ae023d2b2180189c26fda4bf9fac3a9d0b1189cbe415676b2af3151","ipfs_datasets_py/optimizers/logic_theorem_optimizer/autoencoder_embedding_runtime.py":"27855f5ffd59ebc45444d5e37c18ff1569618084cd27b1503db112940051ffb0","ipfs_datasets_py/optimizers/logic_theorem_optimizer/autoencoder_paired_text.py":"0097b0128e21bcf386380490ae39023c9a15a44111088fb913f9fab5c366c9a3","ipfs_datasets_py/optimizers/logic_theorem_optimizer/autoencoder_projection_features.py":"b91b5ee4a4e8bc6a214d7b7a942212805efe5531b2fb4251e66e9d413639cd14","ipfs_datasets_py/optimizers/logic_theorem_optimizer/autoencoder_schema_lake.py":"f78a630fc808278b6c82eaa248fbaeefd7f60462db7e974fccdb634938ac9d55","ipfs_datasets_py/optimizers/logic_theorem_optimizer/domain_384_autoencoder.py":"66c5ee320f9c7aacd3b246d0666c7fc3ee928e4679892e1e90c838e1b291dbc6","ipfs_datasets_py/optimizers/logic_theorem_optimizer/legal_formula_codec.py":"f90769a3d99131da5ba48bb84c6f830f521c92d98122bdaaa8dd88fc65042290","ipfs_datasets_py/optimizers/logic_theorem_optimizer/legal_ir_family_evaluator.py":"3b6cd3a6fade78fed275a478f010329e5d030a250b914c4b46ab0f0d77b9d5ab","ipfs_datasets_py/optimizers/logic_theorem_optimizer/legal_ir_grammar_decoder.py":"0b1eae24b00157ae74a2700f23ca95c7f9957dc755078caaf179e64070fdeffd","ipfs_datasets_py/optimizers/logic_theorem_optimizer/modal_autoencoder_batching.py":"6538fc6f4bf3c7e7ba94c7ef8b4fa00833ca4f728b4bf90a2684096b2f70dc5a","ipfs_datasets_py/optimizers/logic_theorem_optimizer/modal_autoencoder_cuda.py":"954bcdee38c8f55f0d9d57045b9f2648aac7efcdf105b3655f410dea1249f2e1","ipfs_datasets_py/optimizers/logic_theorem_optimizer/modal_autoencoder_tensor_state.py":"ee81537f1af3c3ca939f371cc9e4384adb317d6c7803dac22271d5dce0948d3f","ipfs_datasets_py/optimizers/logic_theorem_optimizer/modal_ir.py":"697b8e183fb966f01a0b81e4241154c38d2785277739518cbdfcc8db37695743","ipfs_datasets_py/optimizers/logic_theorem_optimizer/modal_latent_formula.py":"ec5bdcd752d157c9fc0257a45551cfe9ce7be172af767e8ed769bf1bc8a31d36","ipfs_datasets_py/optimizers/logic_theorem_optimizer/native_formal_decoder.py":"2668c089615e0e26cdd9391517cdf94769b17189b661dc9b6db9cc3e4c22a10c","ipfs_datasets_py/optimizers/logic_theorem_optimizer/snapshot_evaluator.py":"1aa122f14dc52a4a5cb161bc2c40862334f7b216210bfcdb42fd5989b69761e6","tests/unit/logic/formalization/autoencoder/test_intent_code_effects.py":"7b21fd3751c62dbfd55b363c861b0a7807132ae0f194fb76061d7d19a930e76f"}},"training_executed":false,"training_target_rows_included":false,"weights_changed":false,"weights_included":false,"whole_instruction_verified":false}