{ "schema": "aiflow-hf-research-snapshot-v19", "generated_at": "2026-07-23T22:08:08.2837334Z", "track": "R_noncommercial_plus_rejected_P_proxy", "product_validation": false, "public_release": true, "contains_raw_dataset": false, "tests": "318 passed", "retracted_paths": [ "models/auxiliary/boundary_auxiliary_head.pt", "models/auxiliary/seed17/boundary_joint_delta.pt", "models/auxiliary/seed31/boundary_joint_delta.pt", "models/auxiliary/seed47/boundary_joint_delta.pt" ], "files": [ { "path": "scripts/audit_math_ink_06_local_baseline_overmerge.py", "bytes": 11900, "sha256": "f32a18c8e7d3a0ea36379293e6be88bfb509b7df99846c38149fb8458e6cc994" }, { "path": "scripts/audit_math_ink_06_online_error_consensus.py", "bytes": 12174, "sha256": "c562a8d0300aa358f9c3faaed274992c3548224347e1e875401eec93953d0807" }, { "path": "scripts/audit_math_ink_06_formula_context_contract.py", "bytes": 12602, "sha256": "1a81c46465958e2ae5f8f8ef1c09d7cf664e6ecb951d7706db5ccce4084d4220" }, { "path": "reports/RESEARCH_REPORT.md", "bytes": 49820, "sha256": "d275203b0a1c094fbb6d8977a2f6d658998e67fe0794f1f012566fe68f3014a2" }, { "path": "scripts/audit_math_ink_06_behavior_exact_gate.py", "bytes": 10759, "sha256": "79feee00110eebb9429c1577df43e8747831cec897b0955e64dc5b5c5da1a018" }, { "path": "scripts/audit_math_ink_06_p_proxy_shift.py", "bytes": 9362, "sha256": "f34ca3b9809eeea06a1557073cae89f31ec58dcb7ecb9073517b4730f4311686" }, { "path": "scripts/distill_math_ink_06_p_formula_student.py", "bytes": 21388, "sha256": "6596f9a4114431dad97d64616c24ddec6a37c3de934562b7438e4fc900ad080f" }, { "path": "scripts/evaluate_crohme_tray_joint_selector.py", "bytes": 11671, "sha256": "58c175a95cdeb9fc764fb96594a76888122b8f118f2f26da1283e743b1a7cd04" }, { "path": "scripts/calibrate_math_ink_06_online_family_fusion.py", "bytes": 8546, "sha256": "535c2b6197148fada9a1762f2c6db9a494e89b703a9e60b913348b7c7ffdc056" }, { "path": "scripts/benchmark_math_ink_06_composite.py", "bytes": 7618, "sha256": "6c5347fe68114116e0dfd29e55e3682f47b3ce42af1412009ab7883e2076887c" }, { "path": "scripts/build_math_ink_06_litert_colab_bundle.py", "bytes": 6862, "sha256": "f008635ab59344005f65f1394f56275e4c92610cd25781a2d95243d060010718" }, { "path": "reports/p_proxy_shift_seed17.json", "bytes": 10788, "sha256": "a2dac8be7a0fadf58a11e2c2d737ac6876e8d89310570ce0159d1b593039a99a" }, { "path": "reports/online_error_consensus_paired_test_3seed.json", "bytes": 12267, "sha256": "ec624e9c96d7fa767b438ca2d555b5b0930edc0b80716ee740229ae894711f52" }, { "path": "reports/online_family_fusion_calibration_3seed.json", "bytes": 2861, "sha256": "50b06e65e9220639c68a2686c4b123697e3f4f8411755b9d9e9222e7f39f3042" }, { "path": "reports/online_casecontext_seed47.json", "bytes": 33727, "sha256": "c3dfd328d9ff0a55eed2cb74657ad87e5e164968fddd7fae8c8fd92e137a4557" }, { "path": "reports/online_casecontext_seed17.json", "bytes": 33805, "sha256": "050c00c14df4712f55b0c76118dd11615b9129b078d56bd987e329c9edee1bda" }, { "path": "reports/online_casecontext_seed31.json", "bytes": 33576, "sha256": "30e6ca83aa4c04d1d257b0221fea7ac726f8e09e91906fdecbc12a2bd4d4d34b" }, { "path": "reports/p_boundary_auxiliary_smoke.json", "bytes": 16685, "sha256": "9d250e5c75d4f104971551c07a702810bf94fb5b6e5e587035a624933766356e" }, { "path": "reports/p_boundary_joint_seed47.json", "bytes": 6809, "sha256": "fd4ddcf71209cf59443e7a252a8337d7812ff66fae9482867f6eb0a21666e064" }, { "path": "reports/p_boundary_joint_sharedfix_3seed_summary.json", "bytes": 3056, "sha256": "1ad9192d45218d4644f69a8f076487bd5fb36d5c2348f5225ee4ae06e9f4b127" }, { "path": "reports/p_boundary_joint_seed31.json", "bytes": 6803, "sha256": "4f842852093ca46b1942c942fd5e475ca6c19f044ba9e27b6d372f1aed56056e" }, { "path": "reports/p_boundary_device_stress_sharedfix_3seed.json", "bytes": 10867, "sha256": "3cad0c0e6aed77ebf2bd19a915fc3d898beb87d7b8a5e5ab29f2013b4184826e" }, { "path": "reports/p_boundary_joint_seed17.json", "bytes": 6920, "sha256": "7af3bb995041e5ea621d3c9535f3552e264860f12a7e6145637849f5cd0220a8" }, { "path": "src/ink06_export.py", "bytes": 5348, "sha256": "b9a3e73bcaa19e0a868b3daad533cc3a3b784a4b99d447c2d51f9b74644554a1" }, { "path": "src/math_ink_06.py", "bytes": 59569, "sha256": "1972ad82e7694e5c3c64776ef90568473bfdaf40b7ab5c46c973e482b98e48ad" }, { "path": "scripts/train_math_ink_06_p_formula_adapter.py", "bytes": 15489, "sha256": "6aac2058f6cc69a577f59ab5e4746fe910e2595f11ecd7f1a72339330db8da8e" }, { "path": "scripts/train_math_ink_06_p_boundary_auxiliary.py", "bytes": 20688, "sha256": "70ca8a05dcbd48e79d812cd7ff44ee3d8479055f898143daa6d6ea7580b2973e" }, { "path": "scripts/train_math_ink_06_p_boundary_joint.py", "bytes": 18055, "sha256": "6fa378ccb7d08f605d4976b6ae08247d0b1fa3f2cb7ce00ba5d35b79c6dfbb47" }, { "path": "src/p_formula_dataset06.py", "bytes": 10336, "sha256": "3d510dfc5eda7db121cc1989a571c21f4510b1ade65cf1d482e929dcad9621ec" }, { "path": "src/structure_relations.py", "bytes": 9671, "sha256": "59edbdcbfebaab029612beed132f38b69c84487f5ba930fd169f3278e10323bb" }, { "path": "src/tray_joint.py", "bytes": 19404, "sha256": "160c2dd8db3dd4da77bdd21209a898b73fb0cb5a1b24e59d2c8bc54e159ea3e0" }, { "path": "src/segmentation_lattice.py", "bytes": 13772, "sha256": "8cc2dc1e13b56c21d53a76b9b863cdf5c8f8dd315da6eb18c1bd2b5b87c1a616" }, { "path": "src/p_formula_gate06.py", "bytes": 7910, "sha256": "00c8cb3fd5b53f2d118886d7333fe75d62f2d7b7e7b161b662adbd43d1b14a7f" }, { "path": "src/p_formula_intake06.py", "bytes": 11875, "sha256": "69b3085804f3f2895148b31a12afe35f56edc7e91784333131a83c3258fbbf54" }, { "path": "scripts/train_math_ink_06_formula_adapter.py", "bytes": 14987, "sha256": "8aafc8a5c5cc76cb4816e83e03fafe823f5c4ea59e5d5cdaceda7e19aceffc81" }, { "path": "scripts/preflight_math_ink_06_p_formula.py", "bytes": 1664, "sha256": "36aeeab2f2474ce874ef932b24eb062dfc3b9e6cf3c0d59410a052a9c9835a07" }, { "path": "scripts/summarize_math_ink_06_formula_adapter_seeds.py", "bytes": 3851, "sha256": "18a1de7d6aff20850472719c8a1afcf80fcd872b1109bfe97e462125bab243cf" }, { "path": "scripts/materialize_math_ink_06_p_formula.py", "bytes": 3677, "sha256": "98d66375c8bbbac8f038dc1d122bb33cfd45368e09728f7d90c21c7d6ac5efc9" }, { "path": "scripts/evaluate_math_ink_06_p_boundary_device_stress.py", "bytes": 10444, "sha256": "bdd75047c4887a6e53720f1c84d224545844cdbd9b0239826a605d578b3c92a6" }, { "path": "scripts/export_math_ink_06_litert.py", "bytes": 11229, "sha256": "6dd7e606c0c8d2f150144ac3e3aa3de527d268be9391fc7fa2a43a3861468a6a" }, { "path": "scripts/summarize_math_ink_06_p_boundary_joint.py", "bytes": 4580, "sha256": "c6ce78f521232bdb7e967b0c358232a72dd3f79747f9e32eb240d9bb10c6a422" }, { "path": "scripts/train_math_ink_06_behavior_role.py", "bytes": 37596, "sha256": "a06de3eb73de2b0fd6de73265cbe8987c525f76daa5ad1be86941ec9eb0fa505" }, { "path": "scripts/train_math_ink_06_boundary_behavior_guard.py", "bytes": 12461, "sha256": "9fd410b402976416c12057a196babf6c98d971c41c23ae1a0e5f183c06a42b6e" }, { "path": "scripts/sweep_math_ink_06_local_baseline_guard.py", "bytes": 9063, "sha256": "28cfc7b9b695256cfa9199d912d1d938d402292b88e9411d42fddb3508446d3b" }, { "path": "scripts/summarize_math_ink_06_p_formula_seeds.py", "bytes": 4633, "sha256": "fe4658a877489398c4f31fd8dfe76aecac34d13443fdc356587c6e6999e6ac73" }, { "path": "scripts/sweep_math_ink_06_component_competition_guard.py", "bytes": 9084, "sha256": "e2dee616e2c6ebdc32281624889017685648b7076515242e04a1452d98d1c7da" }, { "path": "reports/multistroke_family_guard_report.json", "bytes": 15740, "sha256": "27b31da71b9f39f7ded38aa1ce3694911af140d22854543d4ae2b5f9e709b479" }, { "path": "exports/seed17/export_manifest.json", "bytes": 1069, "sha256": "28ff6f17d2dfa19798d2e7a2de07e459a8abb2734fbd772f14ef9a65939ed63d" }, { "path": "exports/seed17/online.pt2", "bytes": 9925815, "sha256": "218d1f02864772bed3ac467590b2bcad957bb8fa61b8593089841b800ff9fe70" }, { "path": "contracts/aiflow_p_formula_v1.schema.json", "bytes": 1903, "sha256": "c78c8a612d2f24a5c09fe1aa158b365481102869c3f84b3a5510a895b416c424" }, { "path": "configs/MATH-INK-06-P-FORMULA-v1.json", "bytes": 1985, "sha256": "4d365d18ef92ad01c4dccc26c37e8752a239cfb19ad9ec3387af65f1936ce0d2" }, { "path": "contracts/aiflow_p_formula_annotation_v1.schema.json", "bytes": 806, "sha256": "8151aa804e5059bb0d03358f260dee4b7387e61e4a1937656f89bd8fdab4a815" }, { "path": "exports/seed17/raster.pt2", "bytes": 14374301, "sha256": "79943f8860a34423d823306943441afb93a077f011ddf1a553b86b0b448b0934" }, { "path": "models/seed17/base_378.pt", "bytes": 8638290, "sha256": "f3b0e53b50e41cf57d4881c501371b35648cf049d603984a0edf6148c2b62bd7" }, { "path": "models/seed17/behavior_role_head.pt", "bytes": 75794, "sha256": "57ced82a2600bd342bba68ba0636ecc3fc98c3dc461e26a132b5264d0a3d95bd" }, { "path": "models/research_formula_adapter/seed47/formula_adapter.pt", "bytes": 92162, "sha256": "19b9db82a8b4d3d1cfea78f382afb29acbde3da1669a7e1cabaf525471e2aae6" }, { "path": "models/research_formula_adapter/seed17/formula_adapter.pt", "bytes": 92162, "sha256": "b5e685691aacf6940b1bb85e2a19c20bdfa0822d82e42d39a133ccb32b53645e" }, { "path": "models/research_formula_adapter/seed31/formula_adapter.pt", "bytes": 92162, "sha256": "e41abde69c05cbfa0569ebfea535ccb059c86c2574ac7a9c32caa5b73b9049f7" }, { "path": "colab/aiflow_math_ink_06_litert_bundle.zip.manifest.json", "bytes": 2978, "sha256": "06251288705c15bea4e38285f42b86e9754aa3e7190a030278b36ba69a2d0a78" }, { "path": "pyproject.snapshot.toml", "bytes": 669, "sha256": "e9571da506b96d9ab6baa8f8e2c1d87cd8ee9fd0c880f3cf6646a99086ae3f09" }, { "path": "README.md", "bytes": 19979, "sha256": "0d3376547a35761c1004811d4dc76c654bb46f282ba0906ba0b3411e6599964f" }, { "path": "NOTICE.md", "bytes": 908, "sha256": "a1a0bf4ebe1d5423cc461a9db656212bdcc56bf57a52f2f93c71afe6be67e239" }, { "path": ".hfignore", "bytes": 293, "sha256": "70aa1f68c49ffc3149181137ada5cf43c419ca0fdb0f9c3094f25dc011cbc4e2" }, { "path": "MODEL_INDEX.json", "bytes": 7349, "sha256": "7272a5e11b08e391698fd68b88fb04da5e35b9665d6131d272dee923a086c535" }, { "path": "artifacts/boundary_behavior_guard.joblib", "bytes": 824191, "sha256": "18aff472c1bdb25a519b1553364229c9869aed1f36a9d663cf88a1bc808fab8f" }, { "path": "colab/aiflow_math_ink_06_litert_bundle.manifest.json", "bytes": 2978, "sha256": "d6876734bbb23394b40c3b484e2c44d9e06cf3f67de77d3f50205e554b41f758" }, { "path": "colab/aiflow_math_ink_06_litert_bundle.zip", "bytes": 17277316, "sha256": "5bb4d44d88ebd3a325e35ddfefd1b751c1a09151510e54ad189b5fe18e963701" }, { "path": "colab/AIFlow_Math_Ink_06_LiteRT.ipynb", "bytes": 3505, "sha256": "7c0a2118bc84576957048e882df33681eb9a4e2fe832011b4d73117c0b57b0c1" }, { "path": "assets/architecture.svg", "bytes": 5695, "sha256": "282865a2dae8325d86bd59a56a625224a6e1c176eaca5a286f25bcb20642df9b" }, { "path": "assets/stroke_encoding.svg", "bytes": 3882, "sha256": "66bf7659c2e86fd53e6583e7c5deb8d371432469c07d4e4ca0dd165b4a81f4ed" }, { "path": "reports/composite_cpu_benchmark.json", "bytes": 2949, "sha256": "5f724d7eef306b54f7b1d110f1d5c738d3d9985cd9aa3bdb1aff3478d2e1e647" }, { "path": "reports/formula_adapter_h64_3seed_summary.json", "bytes": 2733, "sha256": "843bf894d137ee6c5cd5452732b08000a9e8d15e5d229c9d492fe70dd0a866ae" }, { "path": "reports/component_competition_report.json", "bytes": 22284, "sha256": "4d3db5f71e5008381dd072f2c10aafb22e08f96e23f2a32f82a3a46abd9c70b9" }, { "path": "reports/behavior_role_seed47.json", "bytes": 30091, "sha256": "3d4dcbe2f2b0afb483f992dacd62aab1089bdc41d55cc259bcb7fc21b5294db0" }, { "path": "reports/boundary_behavior_guard_report.json", "bytes": 72053, "sha256": "f55a230a9f0892b9676c71db46e9e527862b3d8da776dc43db767ce7a0f6a5c7" }, { "path": "reports/formula_adapter_h64_seed17.json", "bytes": 5569, "sha256": "e935240df61b31ccd8fb07a1e54c7486eeff9347f42150d279ee2fc68ed1b86b" }, { "path": "reports/local_baseline_guard_report.json", "bytes": 24052, "sha256": "8f209b2890245f01f437c26e7556e19fee76c057d449c9382e2d64a70a3764d6" }, { "path": "reports/local_baseline_overmerge_audit.json", "bytes": 1237409, "sha256": "33a9ccafebd559ca8b173f011e9a0a6f495d37b8fdb2693673663479d3457071" }, { "path": "reports/formula_context_contract_3seed.json", "bytes": 2905, "sha256": "cd0ccaea5e92c719d384b6358700f1eb039cb73d4892999047bd76df7889ce10" }, { "path": "reports/formula_adapter_h64_seed31.json", "bytes": 5572, "sha256": "2f81f012e4e91e26b152f6b95510eb3f83d834232167f1f79d781f94e2e796f1" }, { "path": "reports/formula_adapter_h64_seed47.json", "bytes": 5571, "sha256": "8b1ac0f47a68263fa8d6fcf556a15b3592f5236f95e91a4652989160c9b340e1" }, { "path": "reports/behavior_role_seed31.json", "bytes": 45412, "sha256": "c017752db64378be6fe8db69d79749a01b7d6aee8364aafb4b04577410dfb210" }, { "path": "models/seed31/online_adapter.pt", "bytes": 2875654, "sha256": "fedbbab64cea6755e76e0633367ee45fbcc1d5726bb9dfdb7c5fe4bbc968bdf2" }, { "path": "models/seed47/base_378.pt", "bytes": 8638290, "sha256": "4131b21f6b00471c1c5a82aee4a2da45e599e42dc742fc1dd0dd8afb970f8939" }, { "path": "models/seed31/behavior_role_head.pt", "bytes": 75794, "sha256": "b7c22cf49320b90a6fd103d39cc3ff08ea7734ab83275aad66e2b529b749d9ae" }, { "path": "models/seed17/online_adapter.pt", "bytes": 2875654, "sha256": "8ea224d7bc107a4c8b6cb91c9de6598000dae463d3e6d39480c081ea728cc87f" }, { "path": "models/seed31/base_378.pt", "bytes": 8638290, "sha256": "e3c57bc8cbbd4542cacf7ab9200a9031dcdc5ee63ffbd6ad6c9f7ef4f0a64f37" }, { "path": "models/seed47/behavior_role_head.pt", "bytes": 75794, "sha256": "f28fad4e0289e3bc9400829f41aba9bbd75c43d445b7462a84aadbdbe635c10b" }, { "path": "reports/behavior_role_p_proxy_w035_seed17.json", "bytes": 37109, "sha256": "0d28132526ae09866c683912bdb423c6fb47c415ee1454a38a8179d5c016f81c" }, { "path": "reports/behavior_role_seed17.json", "bytes": 29047, "sha256": "e2072fec1b1065777f0e9218c48d27f096b22f5545e7cc8d9962939282719561" }, { "path": "reports/behavior_role_3seed_summary.json", "bytes": 3567, "sha256": "b16049218d2d006d952f59f55642fa9f3fbfbc3cc3a730fbd7b075f507c3b251" }, { "path": "models/seed47/online_adapter.pt", "bytes": 2876038, "sha256": "46394eeebad3d27d3178f78e693e160700ba3f454d79044714b835bc51c07056" }, { "path": "reports/behavior_exact_gate_3seed.json", "bytes": 69615, "sha256": "7b0890e13164f170be02f519e3ffc56930486e2018cde050434286f769bfce83" } ] }