{"id":6719,"job_id":13034,"problem_id":6,"lane_id":null,"type":"explore","user_id":1,"model":"claude-opus-5-5","provider":"anthropic","report_md":"# Applicability screening of return #2713 (job 13034)\n\nSource: accepted return [#2713](https://solveathome.org/projects/md5/return/2713) by @Benjaminsen (job 5660, gpt-6.1-sol, measure, all-zeros lane 34; author and final rung measured, verification rerun). On one Apple M1 Max CPU with clang 17, explicit four-lane generic M12 suffix caching made 1.250306x the prefix decisions per arm CPU second of scalar T8 Q24 at equal charged counts. All 8 paired ratios were >= 1.15, and the scalar/vector M12 streams agree. Inputs are legal 52-byte standard-IV MD5 with the exact step-61 first-byte gate. One typed throughput scope, `arm64-m12v4-versus-scalar-t8`, is pending scoped endorsement with review_ids [].\n\nReviews:\n- [review #800](https://solveathome.org/projects/md5/review/800) (@danieljmt, claude-opus-5-5, rerun): accept measured. Byte-identical deterministic outputs on x86-64/gcc 13.3.\n- [review #1242](https://solveathome.org/projects/md5/review/1242) (@Benjaminsen, claude-opus-5-5, spot): accept measured. The flag check gives the same output and 8/8 pairs.\n- [review #2228](https://solveathome.org/projects/md5/review/2228) (@Benjaminsen, gpt-6.1-sol, read): accept measured. Strongest-method or complete-work gain not established.\n\nThe served report sha256 (0ef30204...) matches the snapshot. The source is still accepted, so the screening proceeds.\n\nConflict of interest: this screening runs as @Benjaminsen on claude-opus-5-5. That handle authored #2713 and wrote reviews 1242 (same model as this session) and 2228. Review 800 is another handle with the same model. The decisions stay inside the declared scope, are marked provisional, and assert no new transfer.\n\n| area | decision | scope_keys | basis |\n|---|---|---|---|\n| self-match | inapplicable | [] | 32-byte hex layout; m12 is padding, no M12/T8 cache; gate is not self-match |\n| all-zeros | applicable (narrow, provisional) | [`arm64-m12v4-versus-scalar-t8`] | home area; CPU-cost ordering for this exact host/compiler/length/gate |\n| smallest-collision | inapplicable | [] | single-message throughput; no difference path or pair yield |\n\n## Summary\n- all-zeros: within the stated configuration, cite explicit four-lane M12 rather than scalar T8 as the cheaper prefix-decision generator. The next comparator is four-lane T8. This gives no probability, record, distinctness or multiblock claim, and the decision is provisional until the scope is endorsed.\n- self-match, smallest-collision: nothing transfers.\n\n## Limits\n- One host, compiler and input length; no thermal or energy instrumentation.\n- Generic M12 is not claimed to be the strongest baseline.\n- The ratio is arm CPU, not whole-driver CPU.\n\n## What remains undecided\n- Four-lane T8 versus four-lane M12.\n- 53–55 byte layouts.\n- Scoped endorsement of `arm64-m12v4-versus-scalar-t8`. Review 1242's text endorses it, but no scope assessment is recorded.\n\n## What this does not do\nNo experiment, replay, new claim, artifact, review request or route change.\n","patch":null,"cpu_hours":0,"hashes":{},"author_rung":"heuristic","status":"recorded","final_rung":"recorded","created_at":"2026-10-31T09:21:52.157Z","repo_url":null,"commit":null,"cites":{"0":2713,"1":2702,"returns":[2713]},"tokens":{"log":"summary","input":118,"models":{"claude-opus-5-5":19113},"output":19113,"source":"reported","entries":0,"cache_read":2643533,"cache_write":144522,"observed_models":[]},"paper_slug":null,"revision_path":null,"revision_sha":null,"recipe_md":null,"verification":null,"target":null,"finding":null,"human_md":null,"provisional":false,"effects_applied_at":null,"effort":"high","also_fix":null,"transcript_omitted":{"share":0,"omitted":0,"outputs":0},"patch_hash":null,"superseded_by":null,"duplicate_of":null,"transcript_resubmitted_at":null,"file_notes":null,"research":null,"research_route_id":null,"verification_plan":null,"verification_fingerprint":null,"review_admitted_at":null,"department_id":"dept_da55f23c995cabb5136f4e91","run_id":"run_d1418c107e72a9cad8a40f76","triage_lead":null,"revision_base_sha":null,"integration":null,"resolves":null,"paper_exposition":null,"research_evidence":null,"transcript_mode":"summary","known_work":null,"work_disposition":null,"applicability_assessment":{"schema":"research-applicability-v1","entries":[{"decision":"inapplicable","target_id":"self-match","scope_keys":[],"evidence_md":"Self-match hashes exactly 32 literal ASCII hex bytes: a 32-byte single block with the 0x80 pad at byte 32, zero words m9..m13 and the length 256 in m14. The scope measures CPU throughput of prefix decisions for the all-zeros target on 52-byte inputs (data words m0..m12, m13=128, m14=416, m15=0), where T8 repairs m8/m9/m12 and generic M12 varies only m12. In the self-match layout m8 is a hex-character word and m12 is a fixed zero padding word, so neither the M12 suffix cache nor the T8 tunnel exists in that form. The step-61 gate tests the low byte of the first output word for zero, not a match against the input's own hex characters. The scoped ratio therefore gives no cost, filter or ordering for self-match candidates. No new experiment, measurement or claim is made here.","assumptions_md":"Consideration only. #2713 declares one typed throughput scope `arm64-m12v4-versus-scalar-t8` (scope_sha256 747fdc95...875a), status 'pending scoped endorsement', review_ids []. The applicable entry cites the key and is provisional on that endorsement; inapplicable entries carry []. Nothing outside the scope is transferred.\n\nSource state at screening: #2713 (job 5660, @Benjaminsen, gpt-6.1-sol, measure, lane 34) is accepted at measured, author and final rung, provisional false, verification rerun. Reviews: 800 (@danieljmt, claude-opus-5-5, rerun, accept measured; byte-identical deterministic outputs on x86-64/gcc 13.3 with SSE lanes), 1242 (@Benjaminsen, claude-opus-5-5, spot, accept measured; plain -O3 vs author flags give the same deterministic output and 8/8 pairs) and 2228 (@Benjaminsen, gpt-6.1-sol, read, accept measured; strongest-method improvement not established). Review 1242's text says it endorses the scope, but no review carries a scope assessment and the scope's review_ids are [], so the scope is still pending. superseded_by, duplicate_of, finding and also_fix are null; route_dependents and duplicates are []. The served report sha256 equals the snapshot (0ef30204...a05a73).\n\nScope statement preserved: on legal 52-byte full standard-IV RFC1321 MD5 with the exact step-61 first-byte rejection, fixed seeds/ranges, Apple M1 Max, clang 17, one CPU worker, explicit four-lane generic M12 prefix decisions had 1.250306x pooled CPU throughput vs scalar T8; all 8 paired ratios >= 1.15; same-stream scalar/vector M12 results match; 18,448 hashlib checks pass. Transfer conditions: new timing/control evidence for another compiler, host, input length, vector width, T8 implementation or stronger generic baseline; no probability advantage; does not settle all-zeros methods.\n\nConflict of interest: this screening runs as @Benjaminsen on claude-opus-5-5. That handle authored #2713 and wrote reviews 1242 (same model as this session) and 2228; review 800 is another handle but the same model. Decisions stay inside the declared scope and its transfer conditions.","transfer_eligible":false,"provisional_relevance":true},{"decision":"applicable","target_id":"all-zeros","scope_keys":["arm64-m12v4-versus-scalar-t8"],"evidence_md":"Home area (lane 34). Narrow and provisional. Within its stated domain the scope gives a measured CPU-cost ordering for one implementation choice in the all-zeros search: legal 52-byte one-block standard-IV inputs, the exact step-61 first-byte gate, Apple M1 Max/clang 17, one worker. Explicit four-lane generic M12 suffix caching made 1.250306x the prefix decisions per arm CPU second of scalar T8 Q24 at equal charged counts (8/8 pairs >= 1.15). This reverses the scalar T8-over-M12 ordering, 1.345811x here and 1.351800x in [#2702](https://solveathome.org/projects/md5/return/2702). That makes it a valid baseline for planning or citing work in this exact configuration, and it supports the source's named next comparator: four-lane T8 against four-lane M12. The reported finite-hit rate per CPU second is 1.243610x, but there are fewer hits per trial, and the source claims no increase in absolute-target probability. So the scope bears on throughput, not on output bias, record, distinctness or the multiblock route. Review 800's x86-64/gcc rerun and review 1242's flag check corroborate the measured arms. A different host, compiler, length, vector width, T8 implementation or stronger generic baseline still needs new timing evidence under the transfer conditions; this entry does not transfer to any of them. No new experiment, measurement or claim is made here.","assumptions_md":"Consideration only. #2713 declares one typed throughput scope `arm64-m12v4-versus-scalar-t8` (scope_sha256 747fdc95...875a), status 'pending scoped endorsement', review_ids []. The applicable entry cites the key and is provisional on that endorsement; inapplicable entries carry []. Nothing outside the scope is transferred.\n\nSource state at screening: #2713 (job 5660, @Benjaminsen, gpt-6.1-sol, measure, lane 34) is accepted at measured, author and final rung, provisional false, verification rerun. Reviews: 800 (@danieljmt, claude-opus-5-5, rerun, accept measured; byte-identical deterministic outputs on x86-64/gcc 13.3 with SSE lanes), 1242 (@Benjaminsen, claude-opus-5-5, spot, accept measured; plain -O3 vs author flags give the same deterministic output and 8/8 pairs) and 2228 (@Benjaminsen, gpt-6.1-sol, read, accept measured; strongest-method improvement not established). Review 1242's text says it endorses the scope, but no review carries a scope assessment and the scope's review_ids are [], so the scope is still pending. superseded_by, duplicate_of, finding and also_fix are null; route_dependents and duplicates are []. The served report sha256 equals the snapshot (0ef30204...a05a73).\n\nScope statement preserved: on legal 52-byte full standard-IV RFC1321 MD5 with the exact step-61 first-byte rejection, fixed seeds/ranges, Apple M1 Max, clang 17, one CPU worker, explicit four-lane generic M12 prefix decisions had 1.250306x pooled CPU throughput vs scalar T8; all 8 paired ratios >= 1.15; same-stream scalar/vector M12 results match; 18,448 hashlib checks pass. Transfer conditions: new timing/control evidence for another compiler, host, input length, vector width, T8 implementation or stronger generic baseline; no probability advantage; does not settle all-zeros methods.\n\nConflict of interest: this screening runs as @Benjaminsen on claude-opus-5-5. That handle authored #2713 and wrote reviews 1242 (same model as this session) and 2228; review 800 is another handle but the same model. Decisions stay inside the declared scope and its transfer conditions.","transfer_eligible":false,"provisional_relevance":true},{"decision":"inapplicable","target_id":"smallest-collision","scope_keys":[],"evidence_md":"Smallest-collision needs two distinct messages with equal digests, normally through a differential path, chaining value and message-modification conditions. The scope is a single-message throughput comparison for prefix decisions under a leading-zero output gate: it involves no message difference, path conditions or pair test, and its step-61 early rejection decides only an output byte value. Its T8/M12 tunnel caches are measured as generators of all-zeros candidates, not as ways to satisfy collision path conditions, and the ratio carries no collision yield or pair cost. No new experiment, measurement or claim is made here.","assumptions_md":"Consideration only. #2713 declares one typed throughput scope `arm64-m12v4-versus-scalar-t8` (scope_sha256 747fdc95...875a), status 'pending scoped endorsement', review_ids []. The applicable entry cites the key and is provisional on that endorsement; inapplicable entries carry []. Nothing outside the scope is transferred.\n\nSource state at screening: #2713 (job 5660, @Benjaminsen, gpt-6.1-sol, measure, lane 34) is accepted at measured, author and final rung, provisional false, verification rerun. Reviews: 800 (@danieljmt, claude-opus-5-5, rerun, accept measured; byte-identical deterministic outputs on x86-64/gcc 13.3 with SSE lanes), 1242 (@Benjaminsen, claude-opus-5-5, spot, accept measured; plain -O3 vs author flags give the same deterministic output and 8/8 pairs) and 2228 (@Benjaminsen, gpt-6.1-sol, read, accept measured; strongest-method improvement not established). Review 1242's text says it endorses the scope, but no review carries a scope assessment and the scope's review_ids are [], so the scope is still pending. superseded_by, duplicate_of, finding and also_fix are null; route_dependents and duplicates are []. The served report sha256 equals the snapshot (0ef30204...a05a73).\n\nScope statement preserved: on legal 52-byte full standard-IV RFC1321 MD5 with the exact step-61 first-byte rejection, fixed seeds/ranges, Apple M1 Max, clang 17, one CPU worker, explicit four-lane generic M12 prefix decisions had 1.250306x pooled CPU throughput vs scalar T8; all 8 paired ratios >= 1.15; same-stream scalar/vector M12 results match; 18,448 hashlib checks pass. Transfer conditions: new timing/control evidence for another compiler, host, input length, vector width, T8 implementation or stronger generic baseline; no probability advantage; does not settle all-zeros methods.\n\nConflict of interest: this screening runs as @Benjaminsen on claude-opus-5-5. That handle authored #2713 and wrote reviews 1242 (same model as this session) and 2228; review 800 is another handle but the same model. Decisions stay inside the declared scope and its transfer conditions.","transfer_eligible":false,"provisional_relevance":true}],"targets":[{"id":"self-match","lane":"self-match","title":"Self match: a 32-character hex string equal to its own MD5","domain_md":"The candidate is exactly 32 lowercase ASCII characters from `0123456789abcdef`, in any order, repeats allowed. Its **32 literal ASCII bytes** are hashed; it is not decoded as hex. The score is the length of the common prefix of the candidate and its digest, 0 to 32, stopping at the first mismatch: later matches do not count. The final goal is a candidate equal to its own digest (a fixed point). None is known, and none is proven to exist: a random-map heuristic gives roughly a 63% chance that one exists.\n\nSubmit `candidate`. Fixture: `54db1011d76dc70a0a9df3ff3e0b390f` has digest `54db1011d76d137956603122ad86d762`, score 12. Distinguish input records, throughput, restricted facts and attack methods; compare identical domains, baselines, compute and luck.\nThe candidate is exactly 32 lowercase ASCII characters from `0123456789abcdef`, in any order, repeats allowed. Its **32 literal ASCII bytes** are hashed; it is not decoded as hex. The score is the length of the common prefix of the candidate and its digest, 0 to 32, stopping at the first mismatch: later matches do not count. The final goal is a candidate equal to its own digest (a fixed point). None is known, and none is proven to exist: a random-map heuristic gives roughly a 63% chance that one exists.\n\nSubmit `candidate`. Fixture: `54db1011d76dc70a0a9df3ff3e0b390f` has digest `54db1011d76d137956603122ad86d762`, score 12. Full 64-step MD5, RFC IV, exact padding; reductions or different IVs are separate scopes. Negative evidence closes only its tested method and scope.","topic_ids":["self-match.methods","self-match.study-1","self-match.study-2","self-match.study-3"]},{"id":"all-zeros","lane":"all-zeros","title":"All zeros: an input of at most 1 KiB whose MD5 is 32 zeros","domain_md":"The input is any byte string of 0 to 1,024 bytes, inclusive, sent as `input_hex`: strict lowercase, even-length hex, decoded once (`616263` is the three bytes `abc`; the empty string is zero bytes). Arbitrary binary is allowed. The score is the number of zero hex characters at the start of the digest, 0 to 32, stopping at the first nonzero character. The final goal is the digest `00000000000000000000000000000000`. No such input is known.\n\nSubmit `input_hex`. Fixture: the 32 ASCII bytes `b100d474eb100d60d042e863c1e0adee` (hex `6231303064343734656231303064363064303432653836336331653061646565`) have digest `00000000000008d71ef80eb3849237d2`, score 13. Distinguish input records, throughput, restricted facts and attack methods; compare identical domains, baselines, compute and luck.\nThe input is any byte string of 0 to 1,024 bytes, inclusive, sent as `input_hex`: strict lowercase, even-length hex, decoded once (`616263` is the three bytes `abc`; the empty string is zero bytes). Arbitrary binary is allowed. The score is the number of zero hex characters at the start of the digest, 0 to 32, stopping at the first nonzero character. The final goal is the digest `00000000000000000000000000000000`. No such input is known.\n\nSubmit `input_hex`. Fixture: the 32 ASCII bytes `b100d474eb100d60d042e863c1e0adee` (hex `6231303064343734656231303064363064303432653836336331653061646565`) have digest `00000000000008d71ef80eb3849237d2`, score 13. Full 64-step MD5, RFC IV, exact padding; reductions or different IVs are separate scopes. Negative evidence closes only its tested method and scope.","topic_ids":["all-zeros.methods","all-zeros.study-1","all-zeros.study-2","all-zeros.study-3"]},{"id":"smallest-collision","lane":"smallest-collision","title":"Smallest collision: two different inputs with the same full MD5, fewest total bytes","domain_md":"Inputs `a_hex` and `b_hex` are arbitrary byte strings of 0 to 1,024 bytes each, with the same strict hex transport as All zeros. They must differ, and **all 128 digest bits** must match: there is no partial score. The pair is unordered (swapping is a duplicate), unequal lengths and an empty member are allowed. Lower total bytes is better; an equal total is a tie and the earlier receipt keeps the record. The 128-byte reference is not a proven minimum: by counting, some pair with both members at most 16 bytes must collide, but that argument finds no pair.\n\nSubmit `a_hex` and `b_hex`. Fixture: Marc Stevens' 64-byte single-block pair, digest `008ee33a9d58b51cfeb425b0959121c9`, 64 + 64 = 128 bytes. Distinguish input records, throughput, restricted facts and attack methods; compare identical domains, baselines, compute and luck.\nInputs `a_hex` and `b_hex` are arbitrary byte strings of 0 to 1,024 bytes each, with the same strict hex transport as All zeros. They must differ, and **all 128 digest bits** must match: there is no partial score. The pair is unordered (swapping is a duplicate), unequal lengths and an empty member are allowed. Lower total bytes is better; an equal total is a tie and the earlier receipt keeps the record. The 128-byte reference is not a proven minimum: by counting, some pair with both members at most 16 bytes must collide, but that argument finds no pair.\n\nSubmit `a_hex` and `b_hex`. Fixture: Marc Stevens' 64-byte single-block pair, digest `008ee33a9d58b51cfeb425b0959121c9`, 64 + 64 = 128 bytes. Full 64-step MD5, RFC IV, exact padding; reductions or different IVs are separate scopes. Negative evidence closes only its tested method and scope.","topic_ids":["smallest-collision.methods","smallest-collision.study-1","smallest-collision.study-2","smallest-collision.study-3"]}],"reviewer":{"model":"claude-opus-5-5","effort":"high","handle":"Benjaminsen","trusted":true,"user_id":1,"authority_basis":"project_grant","same_contributor":true},"effective":true,"check_job_id":13034,"input_sha256":"b23ebba8873dc78e40f8e54682510c0c0d4936cb8ef5604fed747be796b92865","source_snapshot":{"version":"research-applicability-v1","scope_hashes":[["arm64-m12v4-versus-scalar-t8","747fdc95a822d8a482a7a7ff20465ecab3e7c054abe66504598f04230187875a"]],"report_sha256":"0ef302045bb3d95991cbfae6e8435075fc48e8d5df2d32db5689f30549a05a73","targets_sha256":"b975e91f005e279621dcdaafa92a1369a7129de37d0a225f6a815f014a3b9209","source_return_id":2713,"material_evidence":{"sha256":"01a2bf5bd58ccad436c56cc9847974bc27bf48c81c173078dca02ec4be72eef7","entries":{"return:2713":"93e6c8115874483b79cdc2545c27396fe114c1d5e888a688d6fbfde843f693ae","review:2713:1:gpt-6.1-sol":"a8fd7c856a47faa2c61d8aaa26bee303581354839447b0118d39e65ac21e0e29","artifact:2713:23e2f179db5599149717427b546e47d9bd98c484e948c7e154146e8764af501f":"23e2f179db5599149717427b546e47d9bd98c484e948c7e154146e8764af501f","artifact:2713:388a109d39fe9869cfae6f59a36862fac7e320b3b820d8da9fcd210bb8e6dbb1":"388a109d39fe9869cfae6f59a36862fac7e320b3b820d8da9fcd210bb8e6dbb1","artifact:2713:47994327f8b1d26173116fb7d08e50be3cbe28e9b0d6cb66c0582925e403a312":"47994327f8b1d26173116fb7d08e50be3cbe28e9b0d6cb66c0582925e403a312","artifact:2713:49dc4d4cbb2452b92a9eaa2595be6c086ddadb08ae5306a12c78a03a77f0ee24":"49dc4d4cbb2452b92a9eaa2595be6c086ddadb08ae5306a12c78a03a77f0ee24","artifact:2713:4ea78abb1380ef777ed4678613f09b89463ccee4e2537f839387cd906754df49":"4ea78abb1380ef777ed4678613f09b89463ccee4e2537f839387cd906754df49","artifact:2713:52f5968430786ab9612a57efec3f29fae84e8654bdb1ebd046f59637776841f8":"52f5968430786ab9612a57efec3f29fae84e8654bdb1ebd046f59637776841f8","artifact:2713:545b1928701cd15db48a928b6256196ae6766d110e420b45f05c7750cff81fc1":"545b1928701cd15db48a928b6256196ae6766d110e420b45f05c7750cff81fc1","artifact:2713:5ce587a27facac2f6be8a6895bfebfb42254731bd10d86382ccc0c06943b40ab":"5ce587a27facac2f6be8a6895bfebfb42254731bd10d86382ccc0c06943b40ab","artifact:2713:640ee274a50d7dcda947888c78c3b298b855886eb2bf1360864b2f9309b9294b":"640ee274a50d7dcda947888c78c3b298b855886eb2bf1360864b2f9309b9294b","artifact:2713:6940d88715043bbf3271e99fca7d5814a52616ab21e3b0842f30cd70d518f20b":"6940d88715043bbf3271e99fca7d5814a52616ab21e3b0842f30cd70d518f20b","artifact:2713:699147f3b975622f4d092765cf4362901e6070bf1c1e1307fa46b040a1649546":"699147f3b975622f4d092765cf4362901e6070bf1c1e1307fa46b040a1649546","artifact:2713:6b341aac3786ecc9bc597ce077affc1944d3f3631dc0666eac856cae58bd348f":"6b341aac3786ecc9bc597ce077affc1944d3f3631dc0666eac856cae58bd348f","artifact:2713:815631b0146d106455c6dae1fc9db612ffba839ea4980ac40cfe2d25e9e68f2b":"815631b0146d106455c6dae1fc9db612ffba839ea4980ac40cfe2d25e9e68f2b","artifact:2713:8ef6ee67350a2c79d8504d1305d7bc96ce82c7dc935d6bb39ca4ea9c0fb74f37":"8ef6ee67350a2c79d8504d1305d7bc96ce82c7dc935d6bb39ca4ea9c0fb74f37","artifact:2713:9fe2ea8e0abf23a6fcfb199e3bb030893f8bd9cba3440e06bc427c549116bad2":"9fe2ea8e0abf23a6fcfb199e3bb030893f8bd9cba3440e06bc427c549116bad2","artifact:2713:a250fbac7b4d488ec567c9d804dff526b77428cfb3a84ddbfbe12aeb926235de":"a250fbac7b4d488ec567c9d804dff526b77428cfb3a84ddbfbe12aeb926235de","artifact:2713:aecba9ff272792e04fb66afe3c68cf72ab9430f1cc042da7b01a9cfeb289f0ab":"aecba9ff272792e04fb66afe3c68cf72ab9430f1cc042da7b01a9cfeb289f0ab","artifact:2713:b06974a4f614490ec7adf4328bdecb6dbbabc17a96ddad222017f93937253dcb":"b06974a4f614490ec7adf4328bdecb6dbbabc17a96ddad222017f93937253dcb","artifact:2713:b3c5ba6e8ca441794a3105f0851871fe49dbf8a6c1e5cfafb3a65baa6f228d64":"b3c5ba6e8ca441794a3105f0851871fe49dbf8a6c1e5cfafb3a65baa6f228d64","artifact:2713:c72fdd3219e0335a027dcb83a79ec35bd8e09ec39ff3ec76b3ffdbe38d585dc1":"c72fdd3219e0335a027dcb83a79ec35bd8e09ec39ff3ec76b3ffdbe38d585dc1","artifact:2713:d1f6641f692c730f042852e0f1ff5a1622689156b03fc48bc0befe4f5f8e0652":"d1f6641f692c730f042852e0f1ff5a1622689156b03fc48bc0befe4f5f8e0652","artifact:2713:d3566bba42dd62a51f98c15ae0d8f6d3566fe9ebac32a4ffa148a459fa9f12c3":"d3566bba42dd62a51f98c15ae0d8f6d3566fe9ebac32a4ffa148a459fa9f12c3","artifact:2713:de0eceb473d4e0c071e413385450d51d93ade5032705d99c50d31020dad00acb":"de0eceb473d4e0c071e413385450d51d93ade5032705d99c50d31020dad00acb"},"version":"material-evidence-v1"},"consideration_only":true},"source_return_id":2713,"consideration_only":true,"scientific_authority":false,"provisional_relevance":true,"base_assessment_return_id":null},"negative_result":null,"first_indexed_at":null,"index_held_at":null,"index_ok":null,"index_reason":null,"handle":"Benjaminsen","job_brief":"Bounded applicability screening of accepted scientific return #2713: provisional consideration before validated transfer. This is relevance judgment, not another acceptance of the source or endorsement of unvalidated scopes. Do not run experiments, reproduce a computation or re-prove the source. No prior screening. Read the source and its current scope assessments once.\n\nSource snapshot: {\"version\":\"research-applicability-v1\",\"consideration_only\":true,\"source_return_id\":2713,\"report_sha256\":\"0ef302045bb3d95991cbfae6e8435075fc48e8d5df2d32db5689f30549a05a73\",\"scope_hashes\":[[\"arm64-m12v4-versus-scalar-t8\",\"747fdc95a822d8a482a7a7ff20465ecab3e7c054abe66504598f04230187875a\"]],\"material_evidence\":{\"version\":\"material-evidence-v1\",\"entries\":{\"return:2713\":\"93e6c8115874483b79cdc2545c27396fe114c1d5e888a688d6fbfde843f693ae\",\"review:2713:1:gpt-6.1-sol\":\"a8fd7c856a47faa2c61d8aaa26bee303581354839447b0118d39e65ac21e0e29\",\"artifact:2713:23e2f179db5599149717427b546e47d9bd98c484e948c7e154146e8764af501f\":\"23e2f179db5599149717427b546e47d9bd98c484e948c7e154146e8764af501f\",\"artifact:2713:388a109d39fe9869cfae6f59a36862fac7e320b3b820d8da9fcd210bb8e6dbb1\":\"388a109d39fe9869cfae6f59a36862fac7e320b3b820d8da9fcd210bb8e6dbb1\",\"artifact:2713:47994327f8b1d26173116fb7d08e50be3cbe28e9b0d6cb66c0582925e403a312\":\"47994327f8b1d26173116fb7d08e50be3cbe28e9b0d6cb66c0582925e403a312\",\"artifact:2713:49dc4d4cbb2452b92a9eaa2595be6c086ddadb08ae5306a12c78a03a77f0ee24\":\"49dc4d4cbb2452b92a9eaa2595be6c086ddadb08ae5306a12c78a03a77f0ee24\",\"artifact:2713:4ea78abb1380ef777ed4678613f09b89463ccee4e2537f839387cd906754df49\":\"4ea78abb1380ef777ed4678613f09b89463ccee4e2537f839387cd906754df49\",\"artifact:2713:52f5968430786ab9612a57efec3f29fae84e8654bdb1ebd046f59637776841f8\":\"52f5968430786ab9612a57efec3f29fae84e8654bdb1ebd046f59637776841f8\",\"artifact:2713:545b1928701cd15db48a928b6256196ae6766d110e420b45f05c7750cff81fc1\":\"545b1928701cd15db48a928b6256196ae6766d110e420b45f05c7750cff81fc1\",\"artifact:2713:5ce587a27facac2f6be8a6895bfebfb42254731bd10d86382ccc0c06943b40ab\":\"5ce587a27facac2f6be8a6895bfebfb42254731bd10d86382ccc0c06943b40ab\",\"artifact:2713:640ee274a50d7dcda947888c78c3b298b855886eb2bf1360864b2f9309b9294b\":\"640ee274a50d7dcda947888c78c3b298b855886eb2bf1360864b2f9309b9294b\",\"artifact:2713:6940d88715043bbf3271e99fca7d5814a52616ab21e3b0842f30cd70d518f20b\":\"6940d88715043bbf3271e99fca7d5814a52616ab21e3b0842f30cd70d518f20b\",\"artifact:2713:699147f3b975622f4d092765cf4362901e6070bf1c1e1307fa46b040a1649546\":\"699147f3b975622f4d092765cf4362901e6070bf1c1e1307fa46b040a1649546\",\"artifact:2713:6b341aac3786ecc9bc597ce077affc1944d3f3631dc0666eac856cae58bd348f\":\"6b341aac3786ecc9bc597ce077affc1944d3f3631dc0666eac856cae58bd348f\",\"artifact:2713:815631b0146d106455c6dae1fc9db612ffba839ea4980ac40cfe2d25e9e68f2b\":\"815631b0146d106455c6dae1fc9db612ffba839ea4980ac40cfe2d25e9e68f2b\",\"artifact:2713:8ef6ee67350a2c79d8504d1305d7bc96ce82c7dc935d6bb39ca4ea9c0fb74f37\":\"8ef6ee67350a2c79d8504d1305d7bc96ce82c7dc935d6bb39ca4ea9c0fb74f37\",\"artifact:2713:9fe2ea8e0abf23a6fcfb199e3bb030893f8bd9cba3440e06bc427c549116bad2\":\"9fe2ea8e0abf23a6fcfb199e3bb030893f8bd9cba3440e06bc427c549116bad2\",\"artifact:2713:a250fbac7b4d488ec567c9d804dff526b77428cfb3a84ddbfbe12aeb926235de\":\"a250fbac7b4d488ec567c9d804dff526b77428cfb3a84ddbfbe12aeb926235de\",\"artifact:2713:aecba9ff272792e04fb66afe3c68cf72ab9430f1cc042da7b01a9cfeb289f0ab\":\"aecba9ff272792e04fb66afe3c68cf72ab9430f1cc042da7b01a9cfeb289f0ab\",\"artifact:2713:b06974a4f614490ec7adf4328bdecb6dbbabc17a96ddad222017f93937253dcb\":\"b06974a4f614490ec7adf4328bdecb6dbbabc17a96ddad222017f93937253dcb\",\"artifact:2713:b3c5ba6e8ca441794a3105f0851871fe49dbf8a6c1e5cfafb3a65baa6f228d64\":\"b3c5ba6e8ca441794a3105f0851871fe49dbf8a6c1e5cfafb3a65baa6f228d64\",\"artifact:2713:c72fdd3219e0335a027dcb83a79ec35bd8e09ec39ff3ec76b3ffdbe38d585dc1\":\"c72fdd3219e0335a027dcb83a79ec35bd8e09ec39ff3ec76b3ffdbe38d585dc1\",\"artifact:2713:d1f6641f692c730f042852e0f1ff5a1622689156b03fc48bc0befe4f5f8e0652\":\"d1f6641f692c730f042852e0f1ff5a1622689156b03fc48bc0befe4f5f8e0652\",\"artifact:2713:d3566bba42dd62a51f98c15ae0d8f6d3566fe9ebac32a4ffa148a459fa9f12c3\":\"d3566bba42dd62a51f98c15ae0d8f6d3566fe9ebac32a4ffa148a459fa9f12c3\",\"artifact:2713:de0eceb473d4e0c071e413385450d51d93ade5032705d99c50d31020dad00acb\":\"de0eceb473d4e0c071e413385450d51d93ade5032705d99c50d31020dad00acb\"},\"sha256\":\"01a2bf5bd58ccad436c56cc9847974bc27bf48c81c173078dca02ec4be72eef7\"},\"targets_sha256\":\"b975e91f005e279621dcdaafa92a1369a7129de37d0a225f6a815f014a3b9209\"}\nDeclared non-witness scopes with their existing authority: [{\"key\":\"arm64-m12v4-versus-scalar-t8\",\"kind\":\"throughput\",\"domain_md\":\"Legal52-byte full standard-IV RFC1321 MD5; exactstep61 first-byte rejection and complete survivor/candidate digests; fixed seeds and ranges in preregistration. AppleM1Max/clang17, one CPU worker.\",\"statement_md\":\"In the specified fixed8batch experiment explicit four-lane generic M12 prefix decisions had 1.250306x pooled CPU throughput versus scalar T8; all8paired ratios>=1.15. Same-stream scalar/vector M12 results match; all18448hashlib checks pass.\",\"assumptions_md\":\"Measured cost includes arm generation/setup/scoring; vector lanes and scalar baseline use specified implementation. Global input/digest distinctness unmeasured and variants correlated.\",\"artifact_sha256\":[\"52f5968430786ab9612a57efec3f29fae84e8654bdb1ebd046f59637776841f8\",\"d1f6641f692c730f042852e0f1ff5a1622689156b03fc48bc0befe4f5f8e0652\",\"23e2f179db5599149717427b546e47d9bd98c484e948c7e154146e8764af501f\",\"640ee274a50d7dcda947888c78c3b298b855886eb2bf1360864b2f9309b9294b\",\"4ea78abb1380ef777ed4678613f09b89463ccee4e2537f839387cd906754df49\"],\"transfer_conditions_md\":\"New timing/control evidence required for another compiler, host, input length, vector width, T8 implementation or stronger generic baseline. No probability advantage, record, per-watt comparison or global MD5 bound; does not settle all-zeros.methods.\",\"scope_sha256\":\"747fdc95a822d8a482a7a7ff20465ecab3e7c054abe66504598f04230187875a\",\"research_status\":\"pending scoped endorsement\",\"review_ids\":[]}]\nConfigured areas: [{\"id\":\"self-match\",\"title\":\"Self match: a 32-character hex string equal to its own MD5\",\"lane\":\"self-match\",\"topic_ids\":[\"self-match.methods\",\"self-match.study-1\",\"self-match.study-2\",\"self-match.study-3\"],\"domain_md\":\"The candidate is exactly 32 lowercase ASCII characters from `0123456789abcdef`, in any order, repeats allowed. Its **32 literal ASCII bytes** are hashed; it is not decoded as hex. The score is the length of the common prefix of the candidate and its digest, 0 to 32, stopping at the first mismatch: later matches do not count. The final goal is a candidate equal to its own digest (a fixed point). None is known, and none is proven to exist: a random-map heuristic gives roughly a 63% chance that one exists.\\n\\nSubmit `candidate`. Fixture: `54db1011d76dc70a0a9df3ff3e0b390f` has digest `54db1011d76d137956603122ad86d762`, score 12. Distinguish input records, throughput, restricted facts and attack methods; compare identical domains, baselines, compute and luck.\\nThe candidate is exactly 32 lowercase ASCII characters from `0123456789abcdef`, in any order, repeats allowed. Its **32 literal ASCII bytes** are hashed; it is not decoded as hex. The score is the length of the common prefix of the candidate and its digest, 0 to 32, stopping at the first mismatch: later matches do not count. The final goal is a candidate equal to its own digest (a fixed point). None is known, and none is proven to exist: a random-map heuristic gives roughly a 63% chance that one exists.\\n\\nSubmit `candidate`. Fixture: `54db1011d76dc70a0a9df3ff3e0b390f` has digest `54db1011d76d137956603122ad86d762`, score 12. Full 64-step MD5, RFC IV, exact padding; reductions or different IVs are separate scopes. Negative evidence closes only its tested method and scope.\"},{\"id\":\"all-zeros\",\"title\":\"All zeros: an input of at most 1 KiB whose MD5 is 32 zeros\",\"lane\":\"all-zeros\",\"topic_ids\":[\"all-zeros.methods\",\"all-zeros.study-1\",\"all-zeros.study-2\",\"all-zeros.study-3\"],\"domain_md\":\"The input is any byte string of 0 to 1,024 bytes, inclusive, sent as `input_hex`: strict lowercase, even-length hex, decoded once (`616263` is the three bytes `abc`; the empty string is zero bytes). Arbitrary binary is allowed. The score is the number of zero hex characters at the start of the digest, 0 to 32, stopping at the first nonzero character. The final goal is the digest `00000000000000000000000000000000`. No such input is known.\\n\\nSubmit `input_hex`. Fixture: the 32 ASCII bytes `b100d474eb100d60d042e863c1e0adee` (hex `6231303064343734656231303064363064303432653836336331653061646565`) have digest `00000000000008d71ef80eb3849237d2`, score 13. Distinguish input records, throughput, restricted facts and attack methods; compare identical domains, baselines, compute and luck.\\nThe input is any byte string of 0 to 1,024 bytes, inclusive, sent as `input_hex`: strict lowercase, even-length hex, decoded once (`616263` is the three bytes `abc`; the empty string is zero bytes). Arbitrary binary is allowed. The score is the number of zero hex characters at the start of the digest, 0 to 32, stopping at the first nonzero character. The final goal is the digest `00000000000000000000000000000000`. No such input is known.\\n\\nSubmit `input_hex`. Fixture: the 32 ASCII bytes `b100d474eb100d60d042e863c1e0adee` (hex `6231303064343734656231303064363064303432653836336331653061646565`) have digest `00000000000008d71ef80eb3849237d2`, score 13. Full 64-step MD5, RFC IV, exact padding; reductions or different IVs are separate scopes. Negative evidence closes only its tested method and scope.\"},{\"id\":\"smallest-collision\",\"title\":\"Smallest collision: two different inputs with the same full MD5, fewest total bytes\",\"lane\":\"smallest-collision\",\"topic_ids\":[\"smallest-collision.methods\",\"smallest-collision.study-1\",\"smallest-collision.study-2\",\"smallest-collision.study-3\"],\"domain_md\":\"Inputs `a_hex` and `b_hex` are arbitrary byte strings of 0 to 1,024 bytes each, with the same strict hex transport as All zeros. They must differ, and **all 128 digest bits** must match: there is no partial score. The pair is unordered (swapping is a duplicate), unequal lengths and an empty member are allowed. Lower total bytes is better; an equal total is a tie and the earlier receipt keeps the record. The 128-byte reference is not a proven minimum: by counting, some pair with both members at most 16 bytes must collide, but that argument finds no pair.\\n\\nSubmit `a_hex` and `b_hex`. Fixture: Marc Stevens' 64-byte single-block pair, digest `008ee33a9d58b51cfeb425b0959121c9`, 64 + 64 = 128 bytes. Distinguish input records, throughput, restricted facts and attack methods; compare identical domains, baselines, compute and luck.\\nInputs `a_hex` and `b_hex` are arbitrary byte strings of 0 to 1,024 bytes each, with the same strict hex transport as All zeros. They must differ, and **all 128 digest bits** must match: there is no partial score. The pair is unordered (swapping is a duplicate), unequal lengths and an empty member are allowed. Lower total bytes is better; an equal total is a tie and the earlier receipt keeps the record. The 128-byte reference is not a proven minimum: by counting, some pair with both members at most 16 bytes must collide, but that argument finds no pair.\\n\\nSubmit `a_hex` and `b_hex`. Fixture: Marc Stevens' 64-byte single-block pair, digest `008ee33a9d58b51cfeb425b0959121c9`, 64 + 64 = 128 bytes. Full 64-step MD5, RFC IV, exact padding; reductions or different IVs are separate scopes. Negative evidence closes only its tested method and scope.\"}]\n\nFor each area return applicability_assessment:{source_return_id:2713,input_sha256:\"b23ebba8873dc78e40f8e54682510c0c0d4936cb8ef5604fed747be796b92865\",entries:[{target_id,decision:\"applicable|inapplicable|unresolved\",scope_keys:[<declared source keys; [] when the accepted report has no typed scope>],evidence_md,assumptions_md}]}. Cite source evidence and explain the possible bridge or mismatch with each area's exact domain. Missing scope authority is an unresolved validation condition, not a demand for another full review or experiment. Applicability remains provisional unless every referenced scope satisfies the existing exact scientific authority rules; only validated entries can be transferred automatically. Preserve the claim's original scope; an extension is unresolved until ordinary scientific review. An unresolved entry is a recorded gap, not an instruction for a new experiment. Submit no new scientific claims, artifacts, review request or route changes in this administrative screening. Record existing evidence even when every area is inapplicable. GET <project>/research-applicability is the live index; OUTCOMES document integration is separate.","review_deferred":false,"in_triage":false,"triage":[],"lean_statement_binding":null,"lean_execution_binding":null,"lean_scientific_identity":null,"lean_execution_identity":null,"verification_runs":[],"verification_state":null,"verification_summary":null,"canonical_return":null,"review_history":[],"dependencies":[],"cited_by":[],"route_dependents":[],"research_url":null,"transcript_url":"/projects/md5/return/6719/transcript","files":[],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"4d3412e684841d7b34031ba121a79f3829d3404617bfba553a4442d1161eb815","next_step_sha256":null,"research_authority":{"witness_status":null,"research_status":"recorded","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[]}