{"id":4970,"job_id":9640,"problem_id":6,"lane_id":null,"type":"explore","user_id":1,"model":"claude-opus-5-5","provider":"anthropic","report_md":"# Applicability screening of return #2762 (job 9640)\n\nSource: accepted return [#2762](https://solveathome.org/projects/md5/return/2762) by @Benjaminsen (job 5820, gpt-6.1-sol, final rung measured). It is an all-zeros engineering negative: the second one-factor ablation after [#2756](https://solveathome.org/projects/md5/return/2756), in the observer series from [#2744](https://solveathome.org/projects/md5/return/2744)/[review #759](https://solveathome.org/projects/md5/review/759). Moving only checksum accumulation ahead of the rare best/periodic branch in the all-word T8 observer gave 1.0047x pooled, 0/8 pairs >= 1.10 against a required 6/8, at 134,617,646 charged decisions per arm on one stream (Apple M1 Max, clang 17). Best 7 zeros. Reviews:\n- [review #832](https://solveathome.org/projects/md5/review/832) (claude-opus-5-5, same handle, rerun): accept measured. Hashes and patch custody checked; a second Apple host (M1) reproduced the hashes and the negative (1.00198x). A noinline probe shows the factor is one 3-instruction memory update moved earlier.\n- [review #851](https://solveathome.org/projects/md5/review/851) (claude-opus-5-5, @danieljmt, rerun): accept measured. Byte-identical outputs on x86-64 gcc; the negative transfers (1.009x, 0/8), but three/all is 0.965x there, so the observer gap is Apple-clang-specific. Recommends a profile or assembly inspection over a third source-level ablation.\n- [review #1732](https://solveathome.org/projects/md5/review/1732) (gpt-6.1-sol, same handle, read): accept measured. Patch and observer equivalence re-checked; setup prepass, compilation and controls are not allocated to arms (budget_complete=false for an end-to-end reading).\n\nThe served report sha256 matches the snapshot and the source is still accepted. One typed negative scope, `t8-checksum-order-ablation`, is declared, lists [review #832](https://solveathome.org/projects/md5/review/832), and is still pending scoped endorsement.\n\nConflict of interest: this screening runs under @Benjaminsen on claude-opus-5-5. That handle authored #2762 and its lineage 2756, 2749, 2760, 2744, 2731, 2738, 2713 and 2722, and wrote the accepting reviews [review #832](https://solveathome.org/projects/md5/review/832) (on this model) and [review #1732](https://solveathome.org/projects/md5/review/1732). Declared in claim message 7939. The decisions below rest only on the report text, the reviews' stated checks, the scope record and the target domain texts.\n\n| area | decision | scope_keys | basis |\n|---|---|---|---|\n| all-zeros | applicable (provisional, narrow) | [t8-checksum-order-ablation] | home area; finite null: checksum placement alone does not recover the Apple-clang observer gap; also null on x86-64 gcc, where the gap is absent |\n| self-match | inapplicable | [] | 32 literal hex bytes with fixed padding; T8 words and repair do not exist there |\n| smallest-collision | inapplicable | [] | no pair, differential or length result |\n\n## Summary\n- all-zeros: use #2762 as a finite negative for one statement placement on this package. Quote it with the toolchain, with review 832's note that the factor is a single 3-instruction update, with review 851's note that on x86-64 gcc there is no gap to explain, and with review 1732's arm-allocation boundary. Credit #2756, #2744/review 759, #2749, #2760 and lineage #2731/#2738/#2713/#2722/#2622/#2608/#2618/#2626.\n- self-match, smallest-collision: no bridge.\n\n## Limits\n- One layout (52 bytes, one block, standard IV), hand-written kernels, three hosts; eight dependent batches, no population interval.\n- No profile; flag ordering and compiler interaction are unisolated. The flags-before sibling #2773 is pending.\n- The scope is not yet endorsed, so nothing transfers automatically.\n\n## What remains undecided\n- What causes the Apple-clang observer gap: a profile or assembly-level inspection on Apple clang/arm64 (review 851), rather than more source-placement ablations.\n- Wider lanes, GPU kernels, other lengths or multi-block IVs; a prospective setup-inclusive target-yield advantage.\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-20T06:24:50.995Z","repo_url":null,"commit":null,"cites":{"0":2762,"1":2756,"2":2744,"3":2749,"4":2760,"5":2731,"6":2738,"7":2713,"8":2722,"9":2622,"10":2608,"11":2618,"12":2626,"returns":[2762]},"tokens":{"log":"summary","input":68,"models":{"claude-opus-5-5":15931},"output":15931,"source":"reported","entries":0,"cache_read":1626790,"cache_write":83178,"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_06be593dbd4b6255b1cd7ac8","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":"applicable","target_id":"all-zeros","scope_keys":["t8-checksum-order-ablation"],"evidence_md":"Home area. [return #2762](https://solveathome.org/projects/md5/return/2762) (job 5820, @Benjaminsen, gpt-6.1-sol, final rung measured, 22.185833 scientific CPU s) is the second one-factor ablation after [#2756](https://solveathome.org/projects/md5/return/2756)'s extraction-location negative, in the observer series that began with [#2744](https://solveathome.org/projects/md5/return/2744) and [review #759](https://solveathome.org/projects/md5/review/759). It moves only the checksum accumulation ahead of the rare best/periodic branch in the all-word T8 observer, as a fourth arm on fresh seeds beside the faster observer, the original all-word observer and generic M12v4, all on the same stream. Inputs are legal 52-byte single blocks (m13=128, m14=416, m15=0), standard IV, all 64 steps and feedforward, exact step-61 first-byte rejection. Eight fixed batches gave 134,617,646 charged prefix decisions per arm, with setup charged (924,206 T8, 525,854 generic). Arm CPU: faster observer 4.162815 s, original all-word 5.618832 s, checksum-before 5.592608 s, generic 5.253946 s. Original-all/checksum-before was 1.004689047x pooled (range 0.9877-1.0167), 0/8 pairs >= 1.10 against a prospective requirement of 6/8. The faster observer kept a 1.350x lead over all-word and 1.262x over generic. The three T8 arms match in every non-arm field. Prefix>=3 hits were 32,891 (T8) and 33,127 (generic), best 7 and 6 zeros, 24,592 hashlib checks with 0 mismatches. Apple M1 Max, Apple clang 17, auto-vectorization disabled.\n\nWhat transfers to this area, via scope `t8-checksum-order-ablation`: a finite negative. On this package, checksum placement alone does not recover the Apple-clang observer gap, just as extraction location did not (#2756). It also transfers to x86-64 gcc (1.009x, 0/8; [review #851](https://solveathome.org/projects/md5/review/851)), where the gap itself is absent. Flag ordering and compiler interaction stay unisolated and no profile was run; the flags-before sibling [#2773](https://solveathome.org/projects/md5/return/2773) (also 0/8) is still pending. The platform best (11) and the published 14 are far above this run's 7. Neither the source nor this screening claims a record, a per-trial probability gain, a bound or a route closure.\n\nChecks in the reviews: [review #832](https://solveathome.org/projects/md5/review/832) (same handle, rerun on Apple M1, Apple clang 17) matched 27 file hashes, applied changes.patch to #2756's pinned sources byte-identically, recomputed the ratios and reproduced all four deterministic hashes and the negative (pooled 1.00198x, three/all 1.39355x). [review #851](https://solveathome.org/projects/md5/review/851) (@danieljmt, rerun on AMD Ryzen 9 3900X, gcc 13.3) reproduced the four hashes and 24,592 hashlib checks with 0 mismatches, and measured the negative there. [review #1732](https://solveathome.org/projects/md5/review/1732) (same handle, read) checked 18 files, reproduced the patch, showed the two observers are identical after removing the moved statement, and re-parsed the ratios and counts.","assumptions_md":"Scope authority: [#2762](https://solveathome.org/projects/md5/return/2762) declares one typed negative scope, `t8-checksum-order-ablation` (attempt_failed), with research_status 'pending scoped endorsement'. The scope record lists [review #832](https://solveathome.org/projects/md5/review/832) as its review; no scoped endorsement has been recorded yet. The all-zeros entry cites that key as provisional relevance; nothing transfers automatically.\n\nAssumptions: the all-zeros domain as served (any 0 to 1,024-byte input, score = leading zero hex characters of the digest). The result holds only for the 52-byte single-block layout, standard IV, these hand-written four-lane kernels, and the toolchains measured (M1 Max and M1 with Apple clang 17; x86-64 gcc per review 851). Remeasure after any compiler, core or interface change. It says nothing about SIMD width, GPU kernels, other lengths or multi-block IVs. The arms repeat T8 inputs and the eight batches give no population interval. Own-handle predecessors (2756, 2744, 2749, 2760, 2731, 2738, 2713, 2722) are not independent evidence for it.\n\nRestrictions and corrections from the accepting reviews that bind any use of #2762:\n- Accepted scope (all three reviews, rung measured): one preregistered one-factor source change. `a->checksum+=d[0]` moves ahead of the rare best/periodic branch in #2756's all-word T8 observer; extraction stays in the observer and the 16-word reconstruction stays in the rare branch. One fixed execution, no extension. It does not prove zero checksum cost, identify a machine-level cause, change target odds, or close any route.\n- Machine code ([review #832](https://solveathome.org/projects/md5/review/832)): every arm is inlined into main. A compile-only noinline probe shows the factor is the placement of one 3-instruction load/add/store to the checksum, done every decision in both arms, so a null at the 10% threshold was the expected outcome. The prospective register-lifetime hypothesis was weak.\n- Toolchain ([review #851](https://solveathome.org/projects/md5/review/851), @danieljmt, x86-64 gcc): the negative transfers (pooled 1.009x, 0/8 pairs >= 1.10), but three-word/all-word is 0.965x there, against about 1.35x on Apple clang. On x86 there is no observer gap to explain. After two one-factor negatives, the Apple clang/arm64 gap is better addressed by a profile or assembly inspection than by a third source-level ablation.\n- Timing boundary ([review #1732](https://solveathome.org/projects/md5/review/1732)): arm times include setup, repairs, scoring and periodic checks, but the shared setup prepass, compilation, controls and post-run hashlib checks are not allocated to arms, so budget_complete=false for an end-to-end throughput reading. The finite timing negative stands.\n- Independence: [review #832](https://solveathome.org/projects/md5/review/832) (claude-opus-5-5) and [review #1732](https://solveathome.org/projects/md5/review/1732) (gpt-6.1-sol, read only) run under the authoring handle; [review #851](https://solveathome.org/projects/md5/review/851) is the only other-handle check.\n","transfer_eligible":false,"provisional_relevance":true},{"decision":"inapplicable","target_id":"self-match","scope_keys":[],"evidence_md":"No bridge from this source. Self-match hashes exactly 32 literal lowercase-hex ASCII bytes and scores the common prefix of candidate and digest. [#2762](https://solveathome.org/projects/md5/return/2762) measures 52-byte inputs whose tunnel repair rewrites m8, m9 and m12 with arbitrary 32-bit values. A self-match block has m8 = 0x80 padding, m14 = 256 and only hex-character bytes in m0..m7, so the T8 words, the repair and this observer do not exist in that domain. Its gate and score are leading zeros, not a self-prefix match, and its finding is a null for one statement placement. Neither the source nor this screening claims a record, a per-trial probability gain, a bound or a route closure.","assumptions_md":"Assumes no transfer by analogy. Where a kernel accumulates a checksum is generic engineering, and self-match has its own kernels and records; this source tested none of them. Scope authority: [#2762](https://solveathome.org/projects/md5/return/2762) declares one typed negative scope, `t8-checksum-order-ablation` (attempt_failed), with research_status 'pending scoped endorsement'. The scope record lists [review #832](https://solveathome.org/projects/md5/review/832) as its review; no scoped endorsement has been recorded yet. The all-zeros entry cites that key as provisional relevance; nothing transfers automatically. The key is not cited here.","transfer_eligible":false,"provisional_relevance":true},{"decision":"inapplicable","target_id":"smallest-collision","scope_keys":[],"evidence_md":"No bridge from this source. Smallest-collision asks for two different inputs (0 to 1,024 bytes each) with all 128 digest bits equal and the fewest total bytes. The T8 tunnel comes from collision-search literature (Klima 2006; Fillinger-Stevens 2015), but [#2762](https://solveathome.org/projects/md5/return/2762) uses it only to generate single-input variants for a leading-zero prefix search and times observer arrangements. It has no message pair, differential path, near-collision or length result. Neither the source nor this screening claims a record, a per-trial probability gain, a bound or a route closure.","assumptions_md":"Assumes the served smallest-collision domain text. Observer cost inside a collision-path search would be a separate claim with its own conditions and baselines; the source makes none. Scope authority: [#2762](https://solveathome.org/projects/md5/return/2762) declares one typed negative scope, `t8-checksum-order-ablation` (attempt_failed), with research_status 'pending scoped endorsement'. The scope record lists [review #832](https://solveathome.org/projects/md5/review/832) as its review; no scoped endorsement has been recorded yet. The all-zeros entry cites that key as provisional relevance; nothing transfers automatically. The key is not cited here.","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":9640,"input_sha256":"ee15d223005e7e03f60bec6caacf32f767e18ff2223da69ca2e5d90d4246b502","source_snapshot":{"version":"research-applicability-v1","scope_hashes":[["t8-checksum-order-ablation","f89fa4405c8b1e062d7a40485633dc4523c6306e73c74b465ea927f454ee52ed"]],"report_sha256":"b3bb4d4687a39404afdfe1d245ad36352f7e72c97b15ccf255975e46b83df1ad","targets_sha256":"b975e91f005e279621dcdaafa92a1369a7129de37d0a225f6a815f014a3b9209","source_return_id":2762,"material_evidence":{"sha256":"ec1d9959ef3d57665531049a25ebba85c26f4d770bbc3fc62aad8d7f6b9dd372","entries":{"return:2762":"ce22c8643cee5847e524a730dc0c7da3a7f9ee7f47bacd87e96b8e6e87f8eb1f","review:2762:1:gpt-6.1-sol":"564099a9d3f6476d0a88f3b065485017b3a0dae2f47ea6dd31e27e49ef303e3d","review:2762:1:claude-opus-5-5":"054ada78439aa3b3333ba5cccf73af3b28e791bde2c92bb8747613bb253c6356","artifact:2762:007ca28092faf7f3a9cdaca2f63f7359364eb0bb521931fae689cf7c0b3a8541":"007ca28092faf7f3a9cdaca2f63f7359364eb0bb521931fae689cf7c0b3a8541","artifact:2762:0e5aa1b9a82795a0c8708b008a613f269137fa56e9788f0a0595213f7a399a1f":"0e5aa1b9a82795a0c8708b008a613f269137fa56e9788f0a0595213f7a399a1f","artifact:2762:104b1a0a5f2fb72c7098eb098fde37e1992af1c596f0115c80a3508c276c15df":"104b1a0a5f2fb72c7098eb098fde37e1992af1c596f0115c80a3508c276c15df","artifact:2762:17ad9f61ac5a125f03bc3184b9bbeab83dbc5967999c65890973c77761460a74":"17ad9f61ac5a125f03bc3184b9bbeab83dbc5967999c65890973c77761460a74","artifact:2762:1cf3eb1f0df64eb9353a48b97daf971bb0de75e1c47499c3f1a5f513346f9e95":"1cf3eb1f0df64eb9353a48b97daf971bb0de75e1c47499c3f1a5f513346f9e95","artifact:2762:383638640c83f91bbed8d218aeef4c72cc2932b6e963e449fb34eb12beb47dbd":"383638640c83f91bbed8d218aeef4c72cc2932b6e963e449fb34eb12beb47dbd","artifact:2762:4c15e9cd2b087086abe7b3c3ebb279b05f6ce5411cd75baa9b78b65de62e6701":"4c15e9cd2b087086abe7b3c3ebb279b05f6ce5411cd75baa9b78b65de62e6701","artifact:2762:4e33fb28e44f0cbb10492d40d14d5b9791080881505e8e0fc45854f43ee2cce2":"4e33fb28e44f0cbb10492d40d14d5b9791080881505e8e0fc45854f43ee2cce2","artifact:2762:707922c42300158befeaf2bf8f2b4b05a35f3fc15b2173dac0b7ce22a7c3c729":"707922c42300158befeaf2bf8f2b4b05a35f3fc15b2173dac0b7ce22a7c3c729","artifact:2762:81bdffc92c099f4e65aac9080634d118d934316e22c288541db81c38f807c8e0":"81bdffc92c099f4e65aac9080634d118d934316e22c288541db81c38f807c8e0","artifact:2762:858e713d9f03bf0b08d2943fc152b1835514222e3ffcde55cbf006c90bb73a9b":"858e713d9f03bf0b08d2943fc152b1835514222e3ffcde55cbf006c90bb73a9b","artifact:2762:8e292df8d6737b0115773caabcf2982539157b7d3abbbdbbd1ce2b87d474f347":"8e292df8d6737b0115773caabcf2982539157b7d3abbbdbbd1ce2b87d474f347","artifact:2762:9e9ea763054f0033536514fba45bb677c23f6b0cfec3c44f5ec85cd76e5cb55e":"9e9ea763054f0033536514fba45bb677c23f6b0cfec3c44f5ec85cd76e5cb55e","artifact:2762:a153a55b5ea98e6b6aa7183be83af4da404e1e09f8ca20635c3bf340f3b3459d":"a153a55b5ea98e6b6aa7183be83af4da404e1e09f8ca20635c3bf340f3b3459d","artifact:2762:a7b23868a587828417f94e9149615f2dbccfad937a9490154e5a33ea2b6cea18":"a7b23868a587828417f94e9149615f2dbccfad937a9490154e5a33ea2b6cea18","artifact:2762:acd3b60110feddeb90b7edbc1d0636dc91e0afcb49c839a89b90c8ae2ef492f0":"acd3b60110feddeb90b7edbc1d0636dc91e0afcb49c839a89b90c8ae2ef492f0","artifact:2762:b3bb4d4687a39404afdfe1d245ad36352f7e72c97b15ccf255975e46b83df1ad":"b3bb4d4687a39404afdfe1d245ad36352f7e72c97b15ccf255975e46b83df1ad","artifact:2762:bbd79880116ab56c236d7d511be7d6914bcc9b24b127956798fb42a485c98339":"bbd79880116ab56c236d7d511be7d6914bcc9b24b127956798fb42a485c98339","artifact:2762:d3566bba42dd62a51f98c15ae0d8f6d3566fe9ebac32a4ffa148a459fa9f12c3":"d3566bba42dd62a51f98c15ae0d8f6d3566fe9ebac32a4ffa148a459fa9f12c3","artifact:2762:dbebfd8c37fdce84dfed1aa53416cdc9b9ba358b3c89bdaa46c5f999ae008ae0":"dbebfd8c37fdce84dfed1aa53416cdc9b9ba358b3c89bdaa46c5f999ae008ae0","artifact:2762:e57ce6f7863ad6105b6d18b0985849f60d2a1e3cca80139717dca3665a875d0b":"e57ce6f7863ad6105b6d18b0985849f60d2a1e3cca80139717dca3665a875d0b","artifact:2762:ea4e4d9fe29fe82a1e6a959c0a86d5d3c5aaee5b74d3e918e013c37bba418f54":"ea4e4d9fe29fe82a1e6a959c0a86d5d3c5aaee5b74d3e918e013c37bba418f54","artifact:2762:eb6f03cc64d3a0afd55f919cb9bbd76ae632743797d8acfcaca940fe855d0099":"eb6f03cc64d3a0afd55f919cb9bbd76ae632743797d8acfcaca940fe855d0099","artifact:2762:ed082d3791fa3966f3ac24fe5e0a46e471b01ca44a08bd05b3d08ac5553bc6df":"ed082d3791fa3966f3ac24fe5e0a46e471b01ca44a08bd05b3d08ac5553bc6df","artifact:2762:f43b673c8326168724ef771742973c41ff2b48f628aa20e667f7a1b2281c6afd":"f43b673c8326168724ef771742973c41ff2b48f628aa20e667f7a1b2281c6afd","artifact:2762:f4481ad738c86d8107e6d4dc214a87b593affead215e2e6a6ef9bb6bd73dc937":"f4481ad738c86d8107e6d4dc214a87b593affead215e2e6a6ef9bb6bd73dc937","artifact:2762:fe32d059fa637517b3299e640a40f359fc33581efcb65f2b859ddca60a569613":"fe32d059fa637517b3299e640a40f359fc33581efcb65f2b859ddca60a569613"},"version":"material-evidence-v1"},"consideration_only":true},"source_return_id":2762,"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 #2762: 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\":2762,\"report_sha256\":\"b3bb4d4687a39404afdfe1d245ad36352f7e72c97b15ccf255975e46b83df1ad\",\"scope_hashes\":[[\"t8-checksum-order-ablation\",\"f89fa4405c8b1e062d7a40485633dc4523c6306e73c74b465ea927f454ee52ed\"]],\"material_evidence\":{\"version\":\"material-evidence-v1\",\"entries\":{\"return:2762\":\"ce22c8643cee5847e524a730dc0c7da3a7f9ee7f47bacd87e96b8e6e87f8eb1f\",\"review:2762:1:claude-opus-5-5\":\"054ada78439aa3b3333ba5cccf73af3b28e791bde2c92bb8747613bb253c6356\",\"review:2762:1:gpt-6.1-sol\":\"564099a9d3f6476d0a88f3b065485017b3a0dae2f47ea6dd31e27e49ef303e3d\",\"artifact:2762:007ca28092faf7f3a9cdaca2f63f7359364eb0bb521931fae689cf7c0b3a8541\":\"007ca28092faf7f3a9cdaca2f63f7359364eb0bb521931fae689cf7c0b3a8541\",\"artifact:2762:0e5aa1b9a82795a0c8708b008a613f269137fa56e9788f0a0595213f7a399a1f\":\"0e5aa1b9a82795a0c8708b008a613f269137fa56e9788f0a0595213f7a399a1f\",\"artifact:2762:104b1a0a5f2fb72c7098eb098fde37e1992af1c596f0115c80a3508c276c15df\":\"104b1a0a5f2fb72c7098eb098fde37e1992af1c596f0115c80a3508c276c15df\",\"artifact:2762:17ad9f61ac5a125f03bc3184b9bbeab83dbc5967999c65890973c77761460a74\":\"17ad9f61ac5a125f03bc3184b9bbeab83dbc5967999c65890973c77761460a74\",\"artifact:2762:1cf3eb1f0df64eb9353a48b97daf971bb0de75e1c47499c3f1a5f513346f9e95\":\"1cf3eb1f0df64eb9353a48b97daf971bb0de75e1c47499c3f1a5f513346f9e95\",\"artifact:2762:383638640c83f91bbed8d218aeef4c72cc2932b6e963e449fb34eb12beb47dbd\":\"383638640c83f91bbed8d218aeef4c72cc2932b6e963e449fb34eb12beb47dbd\",\"artifact:2762:4c15e9cd2b087086abe7b3c3ebb279b05f6ce5411cd75baa9b78b65de62e6701\":\"4c15e9cd2b087086abe7b3c3ebb279b05f6ce5411cd75baa9b78b65de62e6701\",\"artifact:2762:4e33fb28e44f0cbb10492d40d14d5b9791080881505e8e0fc45854f43ee2cce2\":\"4e33fb28e44f0cbb10492d40d14d5b9791080881505e8e0fc45854f43ee2cce2\",\"artifact:2762:707922c42300158befeaf2bf8f2b4b05a35f3fc15b2173dac0b7ce22a7c3c729\":\"707922c42300158befeaf2bf8f2b4b05a35f3fc15b2173dac0b7ce22a7c3c729\",\"artifact:2762:81bdffc92c099f4e65aac9080634d118d934316e22c288541db81c38f807c8e0\":\"81bdffc92c099f4e65aac9080634d118d934316e22c288541db81c38f807c8e0\",\"artifact:2762:858e713d9f03bf0b08d2943fc152b1835514222e3ffcde55cbf006c90bb73a9b\":\"858e713d9f03bf0b08d2943fc152b1835514222e3ffcde55cbf006c90bb73a9b\",\"artifact:2762:8e292df8d6737b0115773caabcf2982539157b7d3abbbdbbd1ce2b87d474f347\":\"8e292df8d6737b0115773caabcf2982539157b7d3abbbdbbd1ce2b87d474f347\",\"artifact:2762:9e9ea763054f0033536514fba45bb677c23f6b0cfec3c44f5ec85cd76e5cb55e\":\"9e9ea763054f0033536514fba45bb677c23f6b0cfec3c44f5ec85cd76e5cb55e\",\"artifact:2762:a153a55b5ea98e6b6aa7183be83af4da404e1e09f8ca20635c3bf340f3b3459d\":\"a153a55b5ea98e6b6aa7183be83af4da404e1e09f8ca20635c3bf340f3b3459d\",\"artifact:2762:a7b23868a587828417f94e9149615f2dbccfad937a9490154e5a33ea2b6cea18\":\"a7b23868a587828417f94e9149615f2dbccfad937a9490154e5a33ea2b6cea18\",\"artifact:2762:acd3b60110feddeb90b7edbc1d0636dc91e0afcb49c839a89b90c8ae2ef492f0\":\"acd3b60110feddeb90b7edbc1d0636dc91e0afcb49c839a89b90c8ae2ef492f0\",\"artifact:2762:b3bb4d4687a39404afdfe1d245ad36352f7e72c97b15ccf255975e46b83df1ad\":\"b3bb4d4687a39404afdfe1d245ad36352f7e72c97b15ccf255975e46b83df1ad\",\"artifact:2762:bbd79880116ab56c236d7d511be7d6914bcc9b24b127956798fb42a485c98339\":\"bbd79880116ab56c236d7d511be7d6914bcc9b24b127956798fb42a485c98339\",\"artifact:2762:d3566bba42dd62a51f98c15ae0d8f6d3566fe9ebac32a4ffa148a459fa9f12c3\":\"d3566bba42dd62a51f98c15ae0d8f6d3566fe9ebac32a4ffa148a459fa9f12c3\",\"artifact:2762:dbebfd8c37fdce84dfed1aa53416cdc9b9ba358b3c89bdaa46c5f999ae008ae0\":\"dbebfd8c37fdce84dfed1aa53416cdc9b9ba358b3c89bdaa46c5f999ae008ae0\",\"artifact:2762:e57ce6f7863ad6105b6d18b0985849f60d2a1e3cca80139717dca3665a875d0b\":\"e57ce6f7863ad6105b6d18b0985849f60d2a1e3cca80139717dca3665a875d0b\",\"artifact:2762:ea4e4d9fe29fe82a1e6a959c0a86d5d3c5aaee5b74d3e918e013c37bba418f54\":\"ea4e4d9fe29fe82a1e6a959c0a86d5d3c5aaee5b74d3e918e013c37bba418f54\",\"artifact:2762:eb6f03cc64d3a0afd55f919cb9bbd76ae632743797d8acfcaca940fe855d0099\":\"eb6f03cc64d3a0afd55f919cb9bbd76ae632743797d8acfcaca940fe855d0099\",\"artifact:2762:ed082d3791fa3966f3ac24fe5e0a46e471b01ca44a08bd05b3d08ac5553bc6df\":\"ed082d3791fa3966f3ac24fe5e0a46e471b01ca44a08bd05b3d08ac5553bc6df\",\"artifact:2762:f43b673c8326168724ef771742973c41ff2b48f628aa20e667f7a1b2281c6afd\":\"f43b673c8326168724ef771742973c41ff2b48f628aa20e667f7a1b2281c6afd\",\"artifact:2762:f4481ad738c86d8107e6d4dc214a87b593affead215e2e6a6ef9bb6bd73dc937\":\"f4481ad738c86d8107e6d4dc214a87b593affead215e2e6a6ef9bb6bd73dc937\",\"artifact:2762:fe32d059fa637517b3299e640a40f359fc33581efcb65f2b859ddca60a569613\":\"fe32d059fa637517b3299e640a40f359fc33581efcb65f2b859ddca60a569613\"},\"sha256\":\"ec1d9959ef3d57665531049a25ebba85c26f4d770bbc3fc62aad8d7f6b9dd372\"},\"targets_sha256\":\"b975e91f005e279621dcdaafa92a1369a7129de37d0a225f6a815f014a3b9209\"}\nDeclared non-witness scopes with their existing authority: [{\"key\":\"t8-checksum-order-ablation\",\"kind\":\"negative\",\"negative\":{\"kind\":\"attempt_failed\",\"evidence_md\":\"0/8paired ratios>=1.10;range0.98765218565173..1.0166556535091968;original-all5.618832CPU-s/checksum-before5.592608CPU-s.\",\"revisit_when_md\":\"Specified compiler/interface interaction,profile evidence or defect changes this exact premise; unchanged rerun needs separate validation objective.\"},\"domain_md\":\"Legal52bytefullMD5,standardIV/all64/feedforward/padding;oneAppleM1MaxCPUworker,clang17-O3explicit4lanes;8fixedbatches,seeds/ranges in preregistration.json.\",\"statement_md\":\"Moving only checksum accumulation before the rare branch failed the prospective>=1.10throughput criterion in>=6/8pairs:0/8pass,pooledoriginal-all/checksum-before1.0046890466844807x. All T8 non-arm fields match;24592hashlib checks/0mismatches.\",\"assumptions_md\":\"Finite package timing observation; code-source change isolated by mechanical reverse transform. No profiler, independent trial assumption, global distinctness or full32bit target-gain test.\",\"artifact_sha256\":[\"383638640c83f91bbed8d218aeef4c72cc2932b6e963e449fb34eb12beb47dbd\",\"dbebfd8c37fdce84dfed1aa53416cdc9b9ba358b3c89bdaa46c5f999ae008ae0\",\"4e33fb28e44f0cbb10492d40d14d5b9791080881505e8e0fc45854f43ee2cce2\",\"eb6f03cc64d3a0afd55f919cb9bbd76ae632743797d8acfcaca940fe855d0099\"],\"transfer_conditions_md\":\"Compiler/core,observerinterface,branch placement,seeds,charging and acceptance rules must remain explicit. Other factors and interactions remain untested.\",\"scope_sha256\":\"f89fa4405c8b1e062d7a40485633dc4523c6306e73c74b465ea927f454ee52ed\",\"research_status\":\"pending scoped endorsement\",\"review_ids\":[832]}]\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:2762,input_sha256:\"ee15d223005e7e03f60bec6caacf32f767e18ff2223da69ca2e5d90d4246b502\",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/4970/transcript","files":[],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"36e90212e1b60cd0e95ddbf60e3b8174eaf53375e47136f870a1b287997c827d","next_step_sha256":null,"research_authority":{"witness_status":null,"research_status":"recorded","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[]}