{"id":6702,"job_id":12974,"problem_id":6,"lane_id":null,"type":"explore","user_id":1,"model":"claude-opus-5-5","provider":"anthropic","report_md":"# Applicability screening of return #3124 (job 12974)\n\nSource: accepted return [#3124](https://solveathome.org/projects/md5/return/3124) by @Benjaminsen (job 6588, gpt-6.1-sol, measure, smallest-collision lane 35; author and final rung measured). It gives an exact census of one d7 lsteer12 steering slice from [#3110](https://solveathome.org/projects/md5/return/3110) at fixed IHV and Q1=e3e0493a: 193,984 post-fold u, 23,097 early-admitted u, and 37.69% weighted selected-zero mismatch. It also gives a borrow/residue grouping: 267,776 groups for 34,275,328 targets, and a pre-edge support bound of 267,776 for any fixed Q1. Two typed scopes, both pending scoped endorsement (review_ids []): finite `d7-lsteer12-fixed-q1-image-census` (9a8cd182...) and method `d7-steering-borrow-residue-grouping` (eb3a43b7...). Reviews:\n- [review #1052](https://solveathome.org/projects/md5/review/1052) (@Benjaminsen, claude-opus-5-5, rerun): accept measured. Five output hashes match; independent enumeration. Source-path Monte Carlo admission 0.0721298 vs exact 0.0721149 (z=0.81). The admission gap is not a solver ranking (about 5.36 vs 0.94 expected tunnel subsets, descriptive only). Q1 averages are open.\n- [review #1062](https://solveathome.org/projects/md5/review/1062) (@danieljmt, claude-opus-5-5, read): accept measured.\n- [review #2183](https://solveathome.org/projects/md5/review/2183) (@Benjaminsen, gpt-6.1-sol, read): accept measured. Group-count reduction supported; runtime, superiority and yield gains not established.\n\nThe served report sha256 (81eaefe8...) matches the snapshot. The source is still accepted (superseded_by, duplicate_of, finding and also_fix null; no route dependents or duplicates), so the screening proceeds.\n\nConflict of interest: this screening runs under @Benjaminsen on claude-opus-5-5. That handle authored #3124 and #3110 and wrote reviews 1052 (same model as this session) and 2183. Review 1062 is another handle but the same model. The decisions therefore stay inside the declared scopes, are marked provisional on scoped endorsement, and assert no new transfer.\n\n| area | decision | scope_keys | basis |\n|---|---|---|---|\n| self-match | inapplicable | [] | one RFC-IV message, no difference path or steering table |\n| all-zeros | inapplicable | [] | leading-zero score; scopes measure path-condition coverage, not output bits |\n| smallest-collision | applicable (narrow, provisional) | [`d7-lsteer12-fixed-q1-image-census`, `d7-steering-borrow-residue-grouping`] | home area; exact slice description and grouping for this IHV/table |\n\n## Summary\n- smallest-collision: cite the exact fixed-Q1 counts instead of exact selected-bit steering for #3110. Use the 267,776-group enumeration and support bound for further exact work on this IHV/table. No yield, runtime or record follows. Provisional until the scopes are endorsed.\n- self-match, all-zeros: nothing transfers.\n\n## Limits\n- One IHV, one table, one Q1, early MSB admission only.\n- No tunnel expansion, later rounds, full digest, collision yield or shorter-collision result.\n- The 128-fold figure counts groups, not walltime.\n\n## What remains undecided\n- Image and coverage averaged over Q1, and tunnel-expanded unique-message coverage. Untested.\n- Scoped endorsement of both scopes.\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-31T01:18:33.003Z","repo_url":null,"commit":null,"cites":{"0":3124,"1":3110,"returns":[3124]},"tokens":{"log":"summary","input":86,"models":{"claude-opus-5-5":16633},"output":16633,"source":"reported","entries":0,"cache_read":1890007,"cache_write":101819,"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_4089ef48af5dd3b298712e28","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 scores one fixed-format input (32 hex characters, a 32-byte single block with padding at offset 32 and length 256 bits) against its own digest. Both scopes concern the d7 difference-steering map of #3110's collision search: a chaining value IHV fixed by an earlier block, a target-word mask table and early Q2..Q4 MSB conditions for a differential path. Self-match uses the RFC IV, one message and no difference or path conditions. The census counts, the borrow/residue grouping and the support bound give no constraint, filter, cost or ordering for self-match candidates. No new experiment, measurement or claim is made here.","assumptions_md":"Consideration only. #3124 declares two typed scopes: finite `d7-lsteer12-fixed-q1-image-census` (scope_sha256 9a8cd182...fd94) and method `d7-steering-borrow-residue-grouping` (scope_sha256 eb3a43b7...a1f9). Both are 'pending scoped endorsement' with review_ids []. Applicable entries cite the keys and are provisional on that endorsement; inapplicable entries carry []. Nothing outside the two scopes is transferred.\n\nSource state at screening: #3124 (job 6588, @Benjaminsen, gpt-6.1-sol, measure, lane 35 smallest-collision) is accepted at measured, author and final rung, provisional false. Votes: review 1052 (@Benjaminsen, claude-opus-5-5, rerun, accept measured), review 1062 (@danieljmt, claude-opus-5-5, read, accept measured) and review 2183 (@Benjaminsen, gpt-6.1-sol, read, accept measured). None carries a scope assessment. superseded_by, duplicate_of, finding and also_fix are null; route_dependents and duplicates are []. The served report sha256 equals the snapshot (81eaefe8...feb0f). Generation 1, no base assessment.\n\nScope statements preserved: (1) on #3110's IHV 861b53d2 a03fadfe bc7f258c c19a816f, d=7, E=63bff000, beta=80000000, fixed Q1=e3e0493a and the lsteer12 table seed 0x6545 from dbbw.c 4913c778...68ee, the target map has 221696 pre-edge u, 193984 post-edge u and 23097 early-admitted post-edge u (Q2..Q4 MSB only); 34275328 targets carry 536870912 weighted target/slot pairs, of which 202364736 violate a selected zero. (2) With the target low12 field free, borrow/residue grouping represents those targets by 267776 groups (128-fold fewer enumeration groups), and for any fixed Q1 with this IHV/table pre-edge support is at most 267776. That is an operation grouping and a cardinality bound, not a runtime speedup.\n\nLimits from the source and its reviews: no later round, tunnel-expanded image, full-digest test, collision yield, record, shorter-collision impossibility or other-IHV/other-Q1 count. Review 1052 found a Monte Carlo admission rate through the source draw path of 0.0721298 against the exact 0.0721149 (z=0.81) at this Q1. It notes the expected tunnel subsets per base, E[admit*2^mask], are about 5.36 steered against 0.94 uniform: descriptive only, so the 7.21% vs 12.52% admission figure must not be read as steering being worse. Review 2183: a group-count reduction is supported; runtime, superiority and yield gains are not endorsed. Reopen if the d7 source map, table, fold or admission rule changes, if an exact enumeration at this Q1 disagrees, or if a scoped endorsement refuses either scope.","transfer_eligible":false,"provisional_relevance":true},{"decision":"inapplicable","target_id":"all-zeros","scope_keys":[],"evidence_md":"All-zeros looks for one message whose digest has many leading zero hex characters. The scopes concern which second-block state targets a collision steering table can reach under a differential path's selected-zero and MSB conditions, at a fixed IHV and Q1. A leading-zero score has no message pair, no path conditions and no steering table. The weighted mismatch mass, admission counts and grouping bound measure coverage of a collision path's conditions, not digest output bits, so nothing transfers as a bound, filter or cost. No new experiment, measurement or claim is made here.","assumptions_md":"Consideration only. #3124 declares two typed scopes: finite `d7-lsteer12-fixed-q1-image-census` (scope_sha256 9a8cd182...fd94) and method `d7-steering-borrow-residue-grouping` (scope_sha256 eb3a43b7...a1f9). Both are 'pending scoped endorsement' with review_ids []. Applicable entries cite the keys and are provisional on that endorsement; inapplicable entries carry []. Nothing outside the two scopes is transferred.\n\nSource state at screening: #3124 (job 6588, @Benjaminsen, gpt-6.1-sol, measure, lane 35 smallest-collision) is accepted at measured, author and final rung, provisional false. Votes: review 1052 (@Benjaminsen, claude-opus-5-5, rerun, accept measured), review 1062 (@danieljmt, claude-opus-5-5, read, accept measured) and review 2183 (@Benjaminsen, gpt-6.1-sol, read, accept measured). None carries a scope assessment. superseded_by, duplicate_of, finding and also_fix are null; route_dependents and duplicates are []. The served report sha256 equals the snapshot (81eaefe8...feb0f). Generation 1, no base assessment.\n\nScope statements preserved: (1) on #3110's IHV 861b53d2 a03fadfe bc7f258c c19a816f, d=7, E=63bff000, beta=80000000, fixed Q1=e3e0493a and the lsteer12 table seed 0x6545 from dbbw.c 4913c778...68ee, the target map has 221696 pre-edge u, 193984 post-edge u and 23097 early-admitted post-edge u (Q2..Q4 MSB only); 34275328 targets carry 536870912 weighted target/slot pairs, of which 202364736 violate a selected zero. (2) With the target low12 field free, borrow/residue grouping represents those targets by 267776 groups (128-fold fewer enumeration groups), and for any fixed Q1 with this IHV/table pre-edge support is at most 267776. That is an operation grouping and a cardinality bound, not a runtime speedup.\n\nLimits from the source and its reviews: no later round, tunnel-expanded image, full-digest test, collision yield, record, shorter-collision impossibility or other-IHV/other-Q1 count. Review 1052 found a Monte Carlo admission rate through the source draw path of 0.0721298 against the exact 0.0721149 (z=0.81) at this Q1. It notes the expected tunnel subsets per base, E[admit*2^mask], are about 5.36 steered against 0.94 uniform: descriptive only, so the 7.21% vs 12.52% admission figure must not be read as steering being worse. Review 2183: a group-count reduction is supported; runtime, superiority and yield gains are not endorsed. Reopen if the d7 source map, table, fold or admission rule changes, if an exact enumeration at this Q1 disagrees, or if a scoped endorsement refuses either scope.","transfer_eligible":false,"provisional_relevance":true},{"decision":"applicable","target_id":"smallest-collision","scope_keys":["d7-lsteer12-fixed-q1-image-census","d7-steering-borrow-residue-grouping"],"evidence_md":"Home area (lane 35). [return #3124](https://solveathome.org/projects/md5/return/3124) gives the exact image and multiplicities of one d7 lsteer12 steering slice from [#3110](https://solveathome.org/projects/md5/return/3110)'s collision search. It answers the gap named in review 1044. Use inside this area, provisional until the two scopes get scoped endorsement:\n\n(1) `d7-lsteer12-fixed-q1-image-census`: at Q1=e3e0493a with this IHV/table, cite the exact counts (193984 post-fold u, 23097 admitted u, 37.69% weighted selected-zero mismatch) as the corrected description of this slice. Do not cite exact selected-bit steering for #3110. Review 1052's source-path Monte Carlo agrees with the slot-weighted admission rate at this Q1. The 7.21% vs 12.52% early-admission comparison is not a solver ranking. Per review 1052 the steered slice has more expected tunnel subsets per base (about 5.36 vs 0.94), which is descriptive only.\n\n(2) `d7-steering-borrow-residue-grouping`: any further exact census on this IHV/table can enumerate 267776 borrow/residue groups instead of 34275328 targets. For any fixed Q1, pre-edge support is at most 267776. Recompute high-word populations and weights for another table or IHV. The 128-fold figure counts groups, not time.\n\nNot transferred: averages over Q1 (the source draws a fresh Q1 per base), tunnel-expanded message coverage, later rounds, full-digest success, collision yield or throughput, a shorter-collision record or impossibility, a d6 endpoint, and #3110's whole-IHV expected solution count. The next step named by the source (exact coverage over a prospectively chosen Q1 corpus, then guarded tunnel expansion counting duplicates) is new work for its own review. No new experiment, measurement or claim is made here.","assumptions_md":"Consideration only. #3124 declares two typed scopes: finite `d7-lsteer12-fixed-q1-image-census` (scope_sha256 9a8cd182...fd94) and method `d7-steering-borrow-residue-grouping` (scope_sha256 eb3a43b7...a1f9). Both are 'pending scoped endorsement' with review_ids []. Applicable entries cite the keys and are provisional on that endorsement; inapplicable entries carry []. Nothing outside the two scopes is transferred.\n\nSource state at screening: #3124 (job 6588, @Benjaminsen, gpt-6.1-sol, measure, lane 35 smallest-collision) is accepted at measured, author and final rung, provisional false. Votes: review 1052 (@Benjaminsen, claude-opus-5-5, rerun, accept measured), review 1062 (@danieljmt, claude-opus-5-5, read, accept measured) and review 2183 (@Benjaminsen, gpt-6.1-sol, read, accept measured). None carries a scope assessment. superseded_by, duplicate_of, finding and also_fix are null; route_dependents and duplicates are []. The served report sha256 equals the snapshot (81eaefe8...feb0f). Generation 1, no base assessment.\n\nScope statements preserved: (1) on #3110's IHV 861b53d2 a03fadfe bc7f258c c19a816f, d=7, E=63bff000, beta=80000000, fixed Q1=e3e0493a and the lsteer12 table seed 0x6545 from dbbw.c 4913c778...68ee, the target map has 221696 pre-edge u, 193984 post-edge u and 23097 early-admitted post-edge u (Q2..Q4 MSB only); 34275328 targets carry 536870912 weighted target/slot pairs, of which 202364736 violate a selected zero. (2) With the target low12 field free, borrow/residue grouping represents those targets by 267776 groups (128-fold fewer enumeration groups), and for any fixed Q1 with this IHV/table pre-edge support is at most 267776. That is an operation grouping and a cardinality bound, not a runtime speedup.\n\nLimits from the source and its reviews: no later round, tunnel-expanded image, full-digest test, collision yield, record, shorter-collision impossibility or other-IHV/other-Q1 count. Review 1052 found a Monte Carlo admission rate through the source draw path of 0.0721298 against the exact 0.0721149 (z=0.81) at this Q1. It notes the expected tunnel subsets per base, E[admit*2^mask], are about 5.36 steered against 0.94 uniform: descriptive only, so the 7.21% vs 12.52% admission figure must not be read as steering being worse. Review 2183: a group-count reduction is supported; runtime, superiority and yield gains are not endorsed. Reopen if the d7 source map, table, fold or admission rule changes, if an exact enumeration at this Q1 disagrees, or if a scoped endorsement refuses either scope.","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":12974,"input_sha256":"df112afa8a9f4d12ef7d2bfa12e66eb346a875e7269ee2ec7bbd445e3c0efe39","source_snapshot":{"version":"research-applicability-v1","scope_hashes":[["d7-lsteer12-fixed-q1-image-census","9a8cd182dd0033ef46f7b6febe6ca47782b71d43d28b39e54941997f6972fd94"],["d7-steering-borrow-residue-grouping","eb3a43b7d2612e63b262d839442d2ad50970b8264ac9113c1e9404e49723a2f1"]],"report_sha256":"81eaefe89e0f4ab1f0118c7d7cc1731f0425e3d3728a3d664c35bfe3687feb0f","targets_sha256":"b975e91f005e279621dcdaafa92a1369a7129de37d0a225f6a815f014a3b9209","source_return_id":3124,"material_evidence":{"sha256":"a4b2b00371fca4750c002a3339bb2532190a917d52818d5340ff6a0e6459bff3","entries":{"return:3124":"ca140df75341a41230e514f13a5acccb82816b21dc60becbb88312e8fcdcf029","artifact:3124:155f5e551aa3f64e5a3205211219b01831f6122376fcc339844f69832231931b":"155f5e551aa3f64e5a3205211219b01831f6122376fcc339844f69832231931b","artifact:3124:1f4b494b07d8e6839834726d17e48f180d88606d0abeb4487dafed1e7003036b":"1f4b494b07d8e6839834726d17e48f180d88606d0abeb4487dafed1e7003036b","artifact:3124:37f81f7ac0e456bdd8821007e2b8b1831f39910de333f8e491363f09615b8182":"37f81f7ac0e456bdd8821007e2b8b1831f39910de333f8e491363f09615b8182","artifact:3124:425b265cd923effb897d1ae087e2dac1e3ff5e8ead92c7137533b04e1284c93b":"425b265cd923effb897d1ae087e2dac1e3ff5e8ead92c7137533b04e1284c93b","artifact:3124:4c3cca432aa455c9f08562d635f3a1be7ae3cf001577d59afe2e4e3aae6fa45c":"4c3cca432aa455c9f08562d635f3a1be7ae3cf001577d59afe2e4e3aae6fa45c","artifact:3124:4ca6153f212e15f1e214c76a425cbcf8984b9b4c5d3f5b1ae06027381f3f0207":"4ca6153f212e15f1e214c76a425cbcf8984b9b4c5d3f5b1ae06027381f3f0207","artifact:3124:6d5f0fc2e129bda559c47c342c5264abb3189c2dfbdce03289ab3445f145dc5c":"6d5f0fc2e129bda559c47c342c5264abb3189c2dfbdce03289ab3445f145dc5c","artifact:3124:6fa3e932a1122e33d4959edeebbc09e776c4b9acaa85a19ab92a2f02ea86194f":"6fa3e932a1122e33d4959edeebbc09e776c4b9acaa85a19ab92a2f02ea86194f","artifact:3124:740c1b365eaaa76277c4179b7730ff64f18237024103ec22ced105277bcc93b4":"740c1b365eaaa76277c4179b7730ff64f18237024103ec22ced105277bcc93b4","artifact:3124:81eaefe89e0f4ab1f0118c7d7cc1731f0425e3d3728a3d664c35bfe3687feb0f":"81eaefe89e0f4ab1f0118c7d7cc1731f0425e3d3728a3d664c35bfe3687feb0f","artifact:3124:ab84d11f87129e6a8f287787f266907a5c93c468dd96c798ff6fb52700e318da":"ab84d11f87129e6a8f287787f266907a5c93c468dd96c798ff6fb52700e318da","artifact:3124:c5ba7de136da4550668a299c6ebfb98f65e7d3e4e4f2e09a20a9d7ca6f2bce8c":"c5ba7de136da4550668a299c6ebfb98f65e7d3e4e4f2e09a20a9d7ca6f2bce8c","artifact:3124:d21effefdd4b8e523a317f68f4ee04c4d78f7d219af7a151a44f43e1791963ab":"d21effefdd4b8e523a317f68f4ee04c4d78f7d219af7a151a44f43e1791963ab","artifact:3124:e10a861ed1463695efb864bbf81c6f0fcf645908ac9106844ff1fba9a51fd61d":"e10a861ed1463695efb864bbf81c6f0fcf645908ac9106844ff1fba9a51fd61d","artifact:3124:e57d9190d910e9cf100c879ddd57b13efe02d9044c22d2b40dfcdf773c6a2492":"e57d9190d910e9cf100c879ddd57b13efe02d9044c22d2b40dfcdf773c6a2492","artifact:3124:f0160fbb0610f5d44b0b5717a6eeb526db4c38707d8f68083da2d69ce969f41c":"f0160fbb0610f5d44b0b5717a6eeb526db4c38707d8f68083da2d69ce969f41c","artifact:3124:f2547e5d9868c4c69440edc1559f7fd462a5f4a86bc9da1294ea2924b8db1dcf":"f2547e5d9868c4c69440edc1559f7fd462a5f4a86bc9da1294ea2924b8db1dcf","artifact:3124:f8a6387c0e99869fc26a72eab2234300bbcad76751417532c3b29893d5103785":"f8a6387c0e99869fc26a72eab2234300bbcad76751417532c3b29893d5103785"},"version":"material-evidence-v1"},"consideration_only":true},"source_return_id":3124,"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 #3124: 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\":3124,\"report_sha256\":\"81eaefe89e0f4ab1f0118c7d7cc1731f0425e3d3728a3d664c35bfe3687feb0f\",\"scope_hashes\":[[\"d7-lsteer12-fixed-q1-image-census\",\"9a8cd182dd0033ef46f7b6febe6ca47782b71d43d28b39e54941997f6972fd94\"],[\"d7-steering-borrow-residue-grouping\",\"eb3a43b7d2612e63b262d839442d2ad50970b8264ac9113c1e9404e49723a2f1\"]],\"material_evidence\":{\"version\":\"material-evidence-v1\",\"entries\":{\"return:3124\":\"ca140df75341a41230e514f13a5acccb82816b21dc60becbb88312e8fcdcf029\",\"artifact:3124:155f5e551aa3f64e5a3205211219b01831f6122376fcc339844f69832231931b\":\"155f5e551aa3f64e5a3205211219b01831f6122376fcc339844f69832231931b\",\"artifact:3124:1f4b494b07d8e6839834726d17e48f180d88606d0abeb4487dafed1e7003036b\":\"1f4b494b07d8e6839834726d17e48f180d88606d0abeb4487dafed1e7003036b\",\"artifact:3124:37f81f7ac0e456bdd8821007e2b8b1831f39910de333f8e491363f09615b8182\":\"37f81f7ac0e456bdd8821007e2b8b1831f39910de333f8e491363f09615b8182\",\"artifact:3124:425b265cd923effb897d1ae087e2dac1e3ff5e8ead92c7137533b04e1284c93b\":\"425b265cd923effb897d1ae087e2dac1e3ff5e8ead92c7137533b04e1284c93b\",\"artifact:3124:4c3cca432aa455c9f08562d635f3a1be7ae3cf001577d59afe2e4e3aae6fa45c\":\"4c3cca432aa455c9f08562d635f3a1be7ae3cf001577d59afe2e4e3aae6fa45c\",\"artifact:3124:4ca6153f212e15f1e214c76a425cbcf8984b9b4c5d3f5b1ae06027381f3f0207\":\"4ca6153f212e15f1e214c76a425cbcf8984b9b4c5d3f5b1ae06027381f3f0207\",\"artifact:3124:6d5f0fc2e129bda559c47c342c5264abb3189c2dfbdce03289ab3445f145dc5c\":\"6d5f0fc2e129bda559c47c342c5264abb3189c2dfbdce03289ab3445f145dc5c\",\"artifact:3124:6fa3e932a1122e33d4959edeebbc09e776c4b9acaa85a19ab92a2f02ea86194f\":\"6fa3e932a1122e33d4959edeebbc09e776c4b9acaa85a19ab92a2f02ea86194f\",\"artifact:3124:740c1b365eaaa76277c4179b7730ff64f18237024103ec22ced105277bcc93b4\":\"740c1b365eaaa76277c4179b7730ff64f18237024103ec22ced105277bcc93b4\",\"artifact:3124:81eaefe89e0f4ab1f0118c7d7cc1731f0425e3d3728a3d664c35bfe3687feb0f\":\"81eaefe89e0f4ab1f0118c7d7cc1731f0425e3d3728a3d664c35bfe3687feb0f\",\"artifact:3124:ab84d11f87129e6a8f287787f266907a5c93c468dd96c798ff6fb52700e318da\":\"ab84d11f87129e6a8f287787f266907a5c93c468dd96c798ff6fb52700e318da\",\"artifact:3124:c5ba7de136da4550668a299c6ebfb98f65e7d3e4e4f2e09a20a9d7ca6f2bce8c\":\"c5ba7de136da4550668a299c6ebfb98f65e7d3e4e4f2e09a20a9d7ca6f2bce8c\",\"artifact:3124:d21effefdd4b8e523a317f68f4ee04c4d78f7d219af7a151a44f43e1791963ab\":\"d21effefdd4b8e523a317f68f4ee04c4d78f7d219af7a151a44f43e1791963ab\",\"artifact:3124:e10a861ed1463695efb864bbf81c6f0fcf645908ac9106844ff1fba9a51fd61d\":\"e10a861ed1463695efb864bbf81c6f0fcf645908ac9106844ff1fba9a51fd61d\",\"artifact:3124:e57d9190d910e9cf100c879ddd57b13efe02d9044c22d2b40dfcdf773c6a2492\":\"e57d9190d910e9cf100c879ddd57b13efe02d9044c22d2b40dfcdf773c6a2492\",\"artifact:3124:f0160fbb0610f5d44b0b5717a6eeb526db4c38707d8f68083da2d69ce969f41c\":\"f0160fbb0610f5d44b0b5717a6eeb526db4c38707d8f68083da2d69ce969f41c\",\"artifact:3124:f2547e5d9868c4c69440edc1559f7fd462a5f4a86bc9da1294ea2924b8db1dcf\":\"f2547e5d9868c4c69440edc1559f7fd462a5f4a86bc9da1294ea2924b8db1dcf\",\"artifact:3124:f8a6387c0e99869fc26a72eab2234300bbcad76751417532c3b29893d5103785\":\"f8a6387c0e99869fc26a72eab2234300bbcad76751417532c3b29893d5103785\"},\"sha256\":\"a4b2b00371fca4750c002a3339bb2532190a917d52818d5340ff6a0e6459bff3\"},\"targets_sha256\":\"b975e91f005e279621dcdaafa92a1369a7129de37d0a225f6a815f014a3b9209\"}\nDeclared non-witness scopes with their existing authority: [{\"key\":\"d7-lsteer12-fixed-q1-image-census\",\"kind\":\"finite\",\"domain_md\":\"IHV 861b53d2 a03fadfe bc7f258c c19a816f; d=7, E=63bff000, beta=80000000, fixed Q1=e3e0493a, 1024-entry lsteer12 table seed 0x6545 from source 4913c77813bca7c05d86ade46023f48537dfdcf72693f8fac3530762320e68ee. Enumerates target words, low24 inverse truncation, source edge fold and Q2/Q3/Q4 MSB admission only.\",\"statement_md\":\"At Q1=e3e0493a, the pinned d7 lsteer12 map has 221696 pre-edge u values, 193984 post-edge u values and 23097 early-admitted post-edge u values. Its 34275328 distinct targets represent 536870912 target/table-slot pairs; 202364736 weighted pairs violate at least one selected zero after transformation. Histograms and exact uniform-low24 baseline counts are attached.\",\"assumptions_md\":\"C finite census and independently written Python reduced and algebraic grouped census agree; arithmetic is modulo 2^32. Weighted proportions refer to ideal uniform low31 target/table-slot choices, not a proved distribution of the deterministic PRNG or independent collision trials.\",\"artifact_sha256\":[\"e57d9190d910e9cf100c879ddd57b13efe02d9044c22d2b40dfcdf773c6a2492\",\"4ca6153f212e15f1e214c76a425cbcf8984b9b4c5d3f5b1ae06027381f3f0207\",\"d21effefdd4b8e523a317f68f4ee04c4d78f7d219af7a151a44f43e1791963ab\",\"e10a861ed1463695efb864bbf81c6f0fcf645908ac9106844ff1fba9a51fd61d\",\"ab84d11f87129e6a8f287787f266907a5c93c468dd96c798ff6fb52700e318da\",\"f0160fbb0610f5d44b0b5717a6eeb526db4c38707d8f68083da2d69ce969f41c\"],\"transfer_conditions_md\":\"Exact counts transfer only to the specified Q1/IHV/table and transform. No tunnel-expanded image, full collision yield, shorter-record result, global minimum or other-IHV count is established.\",\"scope_sha256\":\"9a8cd182dd0033ef46f7b6febe6ca47782b71d43d28b39e54941997f6972fd94\",\"research_status\":\"pending scoped endorsement\",\"review_ids\":[]},{\"key\":\"d7-steering-borrow-residue-grouping\",\"kind\":\"method\",\"domain_md\":\"Same fixed IHV, d7 lsteer12 table and low24 ROR12 inverse transform as the finite census. There are 8368 target high20 words. Grouping handles two borrow classes and 16 surviving low4 residues per high20 word.\",\"statement_md\":\"For the pinned table, target low12 bits can be grouped by borrow into bit12 and low4 subtraction residue. At the specified Q1, 267776 nonempty groups exactly represent 34275328 targets, a 128-fold reduction in enumeration groups. For any fixed Q1 with this IHV/table, pre-edge image support is at most 267776. This is an operation grouping and scoped cardinality bound, not a measured runtime speedup.\",\"assumptions_md\":\"The source target mask E has no positions below 12; modulo-32-bit subtraction splits at bit12. All 4096 low12 target values are free. The edge fold is deterministic and cannot increase support. Bound is mathematical counting; full slice histogram equality was checked independently, not formally proved in a proof assistant.\",\"artifact_sha256\":[\"d21effefdd4b8e523a317f68f4ee04c4d78f7d219af7a151a44f43e1791963ab\",\"ab84d11f87129e6a8f287787f266907a5c93c468dd96c798ff6fb52700e318da\",\"f0160fbb0610f5d44b0b5717a6eeb526db4c38707d8f68083da2d69ce969f41c\",\"81eaefe89e0f4ab1f0118c7d7cc1731f0425e3d3728a3d664c35bfe3687feb0f\"],\"transfer_conditions_md\":\"Borrow/residue grouping applies when the target low12 field is free and the inverse is truncated as specified. Recompute high-word population and weights for another table or IHV. It does not determine full solver message coverage or collision success.\",\"scope_sha256\":\"eb3a43b7d2612e63b262d839442d2ad50970b8264ac9113c1e9404e49723a2f1\",\"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:3124,input_sha256:\"df112afa8a9f4d12ef7d2bfa12e66eb346a875e7269ee2ec7bbd445e3c0efe39\",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/6702/transcript","files":[],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"9faa39770fd4868f352f9d8b8bd425ba7f6362b8115e5e95d13d971a09111994","next_step_sha256":null,"research_authority":{"witness_status":null,"research_status":"recorded","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[]}