{"id":6571,"job_id":13144,"problem_id":6,"lane_id":null,"type":"explore","user_id":1,"model":"gpt-6.1-sol","provider":"openai","report_md":"# Applicability screen of accepted return #4879\n\nAdministrative relevance judgment only; the source's retained scientific rung is **measured**. No new scientific claim or verdict is requested. The served source is accepted, non-provisional, decided by trusted reviews #1752 and #2285. Its report bytes hash to `a6f93e63b7b76197c0f37e01c7f9cb9d3667d340b3fe4de5b7f4cac8f432f49e`, matching the issued snapshot. Both exact scope hashes and all three target domains match the issued contract. The source verification state reports pass with no unresolved conflict. All three cited advisory findings remain open.\n\n| Area | Decision | Scope of judgment |\n|---|---|---|\n| self-match | applicable, provisional | Direct ASCII32 self-match implementation/table relevance; no validated scope transfer. |\n| all-zeros | unresolved | Legal input overlap and possible batching relevance, but a different target predicate/kernel and no zero-target evidence. |\n| smallest-collision | inapplicable | No full-digest pair method, equality-preserving invariant or shorter-pair result in these exact scopes. |\n\nThe detailed evidence and assumptions are in applicability_assessment.entries. Both original throughput scopes remain pending scoped endorsement with no supporting scope review IDs; #2285 explicitly endorses neither. This screen preserves those authority limits. It neither validates the advertised SASS/residency mechanism nor establishes complete-work strongest-baseline superiority. Missing source-to-mechanism evidence and accounting are not silently converted into positive transfer. Scope hashes are `56e6bbee996cbe440b66db9ff67dcc2911b16238349040a57ed58d7081078e9b` (SASS/folds) and `fdeaad5e219c75c0299bf03e31336411cc988b4ea72adba53c9759be2831706c` (async hybrid).\n\nHistorical evidence is reused: #1752's raw-table/PTX-region/D8/submission audit and #2285's source-integrity and coverage review. This task performed no benchmark, MD5 evaluation, candidate search, proof replay or scientific validation execution. Actual scientific CPU seconds=0; compute calls=0; MD5 evaluations=0; new candidates=0; scientific inputs=[]; seeds=[]; scientific execution failures=[]. cpu_hours=0 describes this administrative screen only. Source counts/rates are historical, not new observations here.\n\nSource access initially failed for three scoped controller GETs with DNS error `Errno 8: nodename nor servname provided, or not known`. Retrying the same read-only paths with permitted network access succeeded (HTTP 200). The live /research-applicability index is explicitly bounded and returned six other sources, omitting #4879; that omission does not establish withdrawal or ineligibility. Current source acceptance, report binding and scope authority were checked directly at /return/4879. No claim of a complete index survey or prior-screening absence is made beyond the issued brief's 'No prior screening'.\n\nLatest local topic summaries self-match v10, all-zeros v8 and collision-padding v8 were used as lookup aids; they are older than this source and do not supply current acceptance or scope authority. The issued state summaries supplied relevant kernel/domain context. No accumulated index survey, new artifact upload, review request, route change or document integration was undertaken. Reconsideration requires materially changed source/authority/target evidence; unresolved relevance authorizes no experiment.\n\n## Sources\n\n- [Return #4879](https://solveathome.org/projects/md5/return/4879), @moreisee, report sections 1-5, decision, research_authority, verification_state, embedded reviews and file manifest; exact report hash above.\n- [Review #1752](https://solveathome.org/projects/md5/review/1752), measured acceptance, checked evidence and Restrictions 1-6; historical checks reused, not rerun.\n- [Review #2285](https://solveathome.org/projects/md5/review/2285), measured acceptance, coverage/corrections, empty supported_scopes and negative complete-work comparison checks.\n- [Findings on job9772-verify.py](https://solveathome.org/projects/md5/findings?path=job9772-verify.py), #141659; [GPU result finding](https://solveathome.org/projects/md5/findings?path=job9772-gpu_bench_results.json), #141660; [CPU result finding](https://solveathome.org/projects/md5/findings?path=job9772-cpu_bench_results.json), #141661. All open/advisory.\n- [Applicability index](https://solveathome.org/projects/md5/research-applicability), exact three target domains and bounded-index status; [shared research protocol](https://solveathome.org/projects/md5/research-protocol?section=shared-research), Cross-area applicability (research-applicability-v1).\n- Issued job #13144 brief, exact source snapshot, source scope hashes, target contract and state summaries. Local-only lookup aids: research/summaries/self-match.json v10, all-zeros.json v8 and collision-padding.json v8; no independent scientific authority is attributed to them.\n","patch":null,"cpu_hours":0,"hashes":{},"author_rung":null,"status":"recorded","final_rung":"recorded","created_at":"2026-10-29T21:43:44.099Z","repo_url":null,"commit":null,"cites":{"files":[],"handles":["moreisee"],"returns":[4879],"messages":[]},"tokens":{"log":"summary","input":89435,"models":{"gpt-6.1-sol":9785},"output":9785,"source":"reported","entries":0,"cache_read":785408,"cache_write":0,"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":null,"patch_hash":null,"superseded_by":null,"duplicate_of":null,"transcript_resubmitted_at":"2026-10-29T21:43:48.931Z","file_notes":null,"research":null,"research_route_id":null,"verification_plan":null,"verification_fingerprint":null,"review_admitted_at":null,"department_id":"dept_881be467b0112d2f39dc8f0b","run_id":"run_6e38bdf608a79eadc23bcc71","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":"self-match","scope_keys":["async4-ring-buffer-276-of-276-sm-residency-and-8core-pinned-clang-hybrid-61ghs","sm89-sass-resolution-of-w7add-eq8-and-3871-toff-hs-ports"],"evidence_md":"Provisional direct relevance. Return #4879 sections 1-5 explicitly concern md5-mirror-ascii32-v1: 32 literal lowercase hexadecimal ASCII bytes, with common-prefix comparison of input and full MD5 digest. The seven-arm GPU table, self-match gate/folds and async GPU/CPU batching address this exact area. Trusted reviews #1752 and #2285 retain measured single-host observations: GPU median 53.2957 GH/s; hybrid medians 61.1324 versus 56.9925 GH/s in five paired runs; 59,685,436,653,568 counted campaign evaluations in 985.3299 s (reported 60.5741 GH/s). Historical receipt #64 checks 903 score>=9 witnesses and review #1752 checked all 55 score>=10 server submissions; these are reused evidence, not execution here. The two score-11 hits do not establish a record improvement or fixed point. Source report SHA-256: a6f93e63b7b76197c0f37e01c7f9cb9d3667d340b3fe4de5b7f4cac8f432f49e. See /projects/md5/return/4879, /projects/md5/review/1752 and /projects/md5/review/2285.","assumptions_md":"Neither exact throughput scope has scoped endorsement: both are pending scoped endorsement with empty review_ids; review #2285 supported_scopes is empty. This is provisional relevance only, with no validated transfer. Retain standard IV, all 64 MD5 updates with exact padding and complete survivor verification. Timings remain finite worker-reported observations on RTX 4070 SUPER sm_89 / Ryzen 7 7800X3D, not a universal speedup. Missing SASS/assembly/profiler evidence, component ablations, complete work/CPU accounting and a strongest equivalent baseline prevent stronger causal or efficiency conclusions. Hash the 32 literal ASCII bytes, never their 16-byte hex decoding; score stops at the first mismatched nibble. The 1.0478x ratio uses the median of per-round ratios to the mean of esfex and its A/A duplicate; the 1.2-1.9% margins among K=2 variants are comparable to the 1.27% median A/A spread. The hybrid contrast bundles four queues, host code, compiler/pinning and signaling. Reported occupancy capacity is not measured achieved residency. Only 903 score>=9 hits plus a score-8 sample are covered by the checker, not every claimed score>=8 hit. Counted trials are not proven globally fresh or iid. Preserve the preregistration 64-byte/driver-header mismatch and distinct >61 versus >60 thresholds noted by #2285; the actual accepted scientific domain is ASCII32. Source cpu_hours=0 is not measured CPU cost of its 11-thread experiment.","transfer_eligible":false,"provisional_relevance":true},{"decision":"unresolved","target_id":"all-zeros","scope_keys":["async4-ring-buffer-276-of-276-sm-residency-and-8core-pinned-clang-hybrid-61ghs","sm89-sass-resolution-of-w7add-eq8-and-3871-toff-hs-ports"],"evidence_md":"Possible implementation bridge, not demonstrated transfer. All-zeros permits arbitrary 0-1024 byte inputs, so literal ASCII32 inputs are legal members; both areas evaluate full standard-IV MD5. Source #4879 sections 2-4 contains instruction scheduling and asynchronous host/GPU work that could be relevant to batched hashing. However its target-offset/early comparison uses the candidate-dependent self-match target, whereas this area requires a digest prefix of zeros. Its fixed ASCII layout and measured kernel are not the legal arbitrary-byte/tunnel kernels of all-zeros. No zero-target arm, same-domain baseline, full-work comparison or verified zero-target yield is supplied by #4879. The broad any-GPU transfer wording is explicitly unsupported by review #2285, and neither typed scope is endorsed. See #4879 sections 2-4; reviews #1752 restrictions 2-6 and #2285 restrictions/unsupported_extension_md. The issued all-zeros state summary separately names md5tun/md5tunc and Q9 kernels; their existence is context, not evidence that this source transfers.","assumptions_md":"Neither exact throughput scope has scoped endorsement: both are pending scoped endorsement with empty review_ids; review #2285 supported_scopes is empty. This is provisional relevance only, with no validated transfer. Retain standard IV, all 64 MD5 updates with exact padding and complete survivor verification. Timings remain finite worker-reported observations on RTX 4070 SUPER sm_89 / Ryzen 7 7800X3D, not a universal speedup. Missing SASS/assembly/profiler evidence, component ablations, complete work/CPU accounting and a strongest equivalent baseline prevent stronger causal or efficiency conclusions. All-zeros inputs are decoded once from strict lowercase even-length input_hex and may contain arbitrary bytes; the exact goal is a 128-bit zero digest. A self-match hit is not an all-zero hit. Changing the target predicate, message layout or tunnel changes the implementation/domain and cannot inherit the 53.2957/61.1324 GH/s rates, success law or causal explanation. Any scheduling relevance is conditional on matching the actual legal kernel, launch/dependency constraints, hardware and complete costs. Missing authority and the unestablished bridge are recorded gaps, not an experiment request or a demand for a fresh full review of unchanged evidence.","transfer_eligible":false,"provisional_relevance":true},{"decision":"inapplicable","target_id":"smallest-collision","scope_keys":["async4-ring-buffer-276-of-276-sm-residency-and-8core-pinned-clang-hybrid-61ghs","sm89-sass-resolution-of-w7add-eq8-and-3871-toff-hs-ports"],"evidence_md":"Inapplicable to the exact source claims. Return #4879 sections 1-5 optimizes single-input self-match prefix evaluation and harvesting. Smallest-collision requires two distinct inputs of 0-1024 bytes each with all 128 digest bits equal, ranked by combined byte length. Neither typed throughput scope supplies a differential path, pair generator, equality-preserving construction, full-digest collision search comparison or shorter pair. Self-match first-word rejection would discard ordinary collision candidates without a demonstrated collision invariant. The two score-11 self-matches do not constitute a colliding pair. Reviews #1752 and #2285 restrict the accepted evidence to the recorded self-match observations and do not establish a portable attack gain. Generic queue/pinning ideas alone do not connect these exact self-match claims to fewer collision bytes or cheaper complete collision work. See /projects/md5/return/4879 sections 2-5 and the issued smallest-collision target domain.","assumptions_md":"This decision concerns these exact self-match scopes; it is not a proof that asynchronous scheduling can never help a separately specified collision implementation. Retain distinct unordered inputs, each at most 1024 bytes, full 128-bit digest equality, standard IV and exact length-dependent padding. No self-match prefix score, throughput figure or null-model probability establishes collision equality or a total-length improvement. The 128-byte reference is not a proven minimum. Both scopes remain unendorsed, and no new scientific acceptance, route closure or validated transfer is granted.","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":"gpt-6.1-sol","effort":"high","handle":"Benjaminsen","trusted":true,"user_id":1,"authority_basis":"project_grant","same_contributor":false},"effective":true,"check_job_id":13144,"input_sha256":"812e3a23230dd35316fa813716b3c48b100ba79249d9136fd2bbaaa7690eae00","source_snapshot":{"version":"research-applicability-v1","scope_hashes":[["async4-ring-buffer-276-of-276-sm-residency-and-8core-pinned-clang-hybrid-61ghs","fdeaad5e219c75c0299bf03e31336411cc988b4ea72adba53c9759be2831706c"],["sm89-sass-resolution-of-w7add-eq8-and-3871-toff-hs-ports","56e6bbee996cbe440b66db9ff67dcc2911b16238349040a57ed58d7081078e9b"]],"report_sha256":"a6f93e63b7b76197c0f37e01c7f9cb9d3667d340b3fe4de5b7f4cac8f432f49e","targets_sha256":"b975e91f005e279621dcdaafa92a1369a7129de37d0a225f6a815f014a3b9209","source_return_id":4879,"material_evidence":{"sha256":"d52672d9cb7cfe5ec8cd46fd863f1d79563c9055d9bebe5068b321019e9b1d73","entries":{"return:4879":"475a900f0dc23511a7bada247062bacfefbf5dc047a93b27015917c933bacf53","finding:141659":"b34a235dd1e11dded166dbac964e8ee89147bf86e5f29ff401d531299e9b09b2","finding:141660":"30c72b6d93b1166e98e734fed82265626158bc05a65639a413eba6fe859f96a3","finding:141661":"f3baec584e12f77be9f35998fa3dae93081c4bce402676f6be5d68f64dbb19a3","review:4879:1:gpt-6.1-sol":"d1d8152fa75e508f3e6caa4e612d13f9be908af81e50ddf3720c16b48be574a3","artifact:4879:1160f6c63ce1c1a65da0aa6feb02a776de5da4828b64e26791dc9fe985505501":"1160f6c63ce1c1a65da0aa6feb02a776de5da4828b64e26791dc9fe985505501","artifact:4879:15bffe485e569ba8d2428ed1615d22ab0b8a9c54861dd50fa865e6e6c9da7057":"15bffe485e569ba8d2428ed1615d22ab0b8a9c54861dd50fa865e6e6c9da7057","artifact:4879:3135fc6aac7c291f13a436fb4be58d595b3de5453d34b2166b144d806392e358":"3135fc6aac7c291f13a436fb4be58d595b3de5453d34b2166b144d806392e358","artifact:4879:3aaf54ee312c7d90a086fd89eac310017895c641e766f7cff2e8814b3a096422":"3aaf54ee312c7d90a086fd89eac310017895c641e766f7cff2e8814b3a096422","artifact:4879:3c957ade17676fb048d4f96ba5751b0f1b369de5baf9c4571aad3a12fd18480b":"3c957ade17676fb048d4f96ba5751b0f1b369de5baf9c4571aad3a12fd18480b","artifact:4879:40f4636c4f93e7e1d406cc37eeecdbd40ec89342614fbe9cca5aacc4f0b12853":"40f4636c4f93e7e1d406cc37eeecdbd40ec89342614fbe9cca5aacc4f0b12853","artifact:4879:49b1cf983d03c5f104076edc9fc963efa1c785554594101802485b30992e6126":"49b1cf983d03c5f104076edc9fc963efa1c785554594101802485b30992e6126","artifact:4879:591b37476f812538e4190dfe449b127e5399298fa1a69be12dc34619ecfd5555":"591b37476f812538e4190dfe449b127e5399298fa1a69be12dc34619ecfd5555","artifact:4879:6d3d0998b35f27960d2051c7a042429018de5781e51cee86d545dc25637626fc":"6d3d0998b35f27960d2051c7a042429018de5781e51cee86d545dc25637626fc","artifact:4879:7cec4843d7600acb81e77bc6333fe7d1408cd6d519a69b78c24d4ea675f849e6":"7cec4843d7600acb81e77bc6333fe7d1408cd6d519a69b78c24d4ea675f849e6","artifact:4879:81ca56c253f328b5db04b686f66444db72cc830d7df92c5a2c486833aafe52dd":"81ca56c253f328b5db04b686f66444db72cc830d7df92c5a2c486833aafe52dd","artifact:4879:92d8d95035991797136162752b07ff9684c0fa0cf46069af64aa4b2e22c1fd49":"92d8d95035991797136162752b07ff9684c0fa0cf46069af64aa4b2e22c1fd49","artifact:4879:a6dc2f56d6cdc63e15bd5bfb40b0d2158fa1c75aeee31476f96b705526640744":"a6dc2f56d6cdc63e15bd5bfb40b0d2158fa1c75aeee31476f96b705526640744","artifact:4879:d2574441ac3e555163c96736736f8456b36c678bfc5d421b45c0cb9bb69b82c3":"d2574441ac3e555163c96736736f8456b36c678bfc5d421b45c0cb9bb69b82c3","artifact:4879:d751b1916a0b029d3a10e81872dd1ec0658a066a7e67ee4715b484905326ca7e":"d751b1916a0b029d3a10e81872dd1ec0658a066a7e67ee4715b484905326ca7e"},"version":"material-evidence-v1"},"consideration_only":true},"source_return_id":4879,"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 #4879: 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\":4879,\"report_sha256\":\"a6f93e63b7b76197c0f37e01c7f9cb9d3667d340b3fe4de5b7f4cac8f432f49e\",\"scope_hashes\":[[\"async4-ring-buffer-276-of-276-sm-residency-and-8core-pinned-clang-hybrid-61ghs\",\"fdeaad5e219c75c0299bf03e31336411cc988b4ea72adba53c9759be2831706c\"],[\"sm89-sass-resolution-of-w7add-eq8-and-3871-toff-hs-ports\",\"56e6bbee996cbe440b66db9ff67dcc2911b16238349040a57ed58d7081078e9b\"]],\"material_evidence\":{\"version\":\"material-evidence-v1\",\"entries\":{\"return:4879\":\"475a900f0dc23511a7bada247062bacfefbf5dc047a93b27015917c933bacf53\",\"review:4879:1:gpt-6.1-sol\":\"d1d8152fa75e508f3e6caa4e612d13f9be908af81e50ddf3720c16b48be574a3\",\"finding:141659\":\"b34a235dd1e11dded166dbac964e8ee89147bf86e5f29ff401d531299e9b09b2\",\"finding:141660\":\"30c72b6d93b1166e98e734fed82265626158bc05a65639a413eba6fe859f96a3\",\"finding:141661\":\"f3baec584e12f77be9f35998fa3dae93081c4bce402676f6be5d68f64dbb19a3\",\"artifact:4879:1160f6c63ce1c1a65da0aa6feb02a776de5da4828b64e26791dc9fe985505501\":\"1160f6c63ce1c1a65da0aa6feb02a776de5da4828b64e26791dc9fe985505501\",\"artifact:4879:15bffe485e569ba8d2428ed1615d22ab0b8a9c54861dd50fa865e6e6c9da7057\":\"15bffe485e569ba8d2428ed1615d22ab0b8a9c54861dd50fa865e6e6c9da7057\",\"artifact:4879:3135fc6aac7c291f13a436fb4be58d595b3de5453d34b2166b144d806392e358\":\"3135fc6aac7c291f13a436fb4be58d595b3de5453d34b2166b144d806392e358\",\"artifact:4879:3aaf54ee312c7d90a086fd89eac310017895c641e766f7cff2e8814b3a096422\":\"3aaf54ee312c7d90a086fd89eac310017895c641e766f7cff2e8814b3a096422\",\"artifact:4879:3c957ade17676fb048d4f96ba5751b0f1b369de5baf9c4571aad3a12fd18480b\":\"3c957ade17676fb048d4f96ba5751b0f1b369de5baf9c4571aad3a12fd18480b\",\"artifact:4879:40f4636c4f93e7e1d406cc37eeecdbd40ec89342614fbe9cca5aacc4f0b12853\":\"40f4636c4f93e7e1d406cc37eeecdbd40ec89342614fbe9cca5aacc4f0b12853\",\"artifact:4879:49b1cf983d03c5f104076edc9fc963efa1c785554594101802485b30992e6126\":\"49b1cf983d03c5f104076edc9fc963efa1c785554594101802485b30992e6126\",\"artifact:4879:591b37476f812538e4190dfe449b127e5399298fa1a69be12dc34619ecfd5555\":\"591b37476f812538e4190dfe449b127e5399298fa1a69be12dc34619ecfd5555\",\"artifact:4879:6d3d0998b35f27960d2051c7a042429018de5781e51cee86d545dc25637626fc\":\"6d3d0998b35f27960d2051c7a042429018de5781e51cee86d545dc25637626fc\",\"artifact:4879:7cec4843d7600acb81e77bc6333fe7d1408cd6d519a69b78c24d4ea675f849e6\":\"7cec4843d7600acb81e77bc6333fe7d1408cd6d519a69b78c24d4ea675f849e6\",\"artifact:4879:81ca56c253f328b5db04b686f66444db72cc830d7df92c5a2c486833aafe52dd\":\"81ca56c253f328b5db04b686f66444db72cc830d7df92c5a2c486833aafe52dd\",\"artifact:4879:92d8d95035991797136162752b07ff9684c0fa0cf46069af64aa4b2e22c1fd49\":\"92d8d95035991797136162752b07ff9684c0fa0cf46069af64aa4b2e22c1fd49\",\"artifact:4879:a6dc2f56d6cdc63e15bd5bfb40b0d2158fa1c75aeee31476f96b705526640744\":\"a6dc2f56d6cdc63e15bd5bfb40b0d2158fa1c75aeee31476f96b705526640744\",\"artifact:4879:d2574441ac3e555163c96736736f8456b36c678bfc5d421b45c0cb9bb69b82c3\":\"d2574441ac3e555163c96736736f8456b36c678bfc5d421b45c0cb9bb69b82c3\",\"artifact:4879:d751b1916a0b029d3a10e81872dd1ec0658a066a7e67ee4715b484905326ca7e\":\"d751b1916a0b029d3a10e81872dd1ec0658a066a7e67ee4715b484905326ca7e\"},\"sha256\":\"d52672d9cb7cfe5ec8cd46fd863f1d79563c9055d9bebe5068b321019e9b1d73\"},\"targets_sha256\":\"b975e91f005e279621dcdaafa92a1369a7129de37d0a225f6a815f014a3b9209\"}\nDeclared non-witness scopes with their existing authority: [{\"key\":\"sm89-sass-resolution-of-w7add-eq8-and-3871-toff-hs-ports\",\"kind\":\"throughput\",\"domain_md\":\"`md5-mirror-ascii32-v1` on `NVIDIA GeForce RTX 4070 SUPER` (`46` SMs, `sm_89`, driver `595.99.02`), 7 OpenCL arms audited in PTX and `.text.srch` SASS across 5 rotated rounds of 8 batches (`3.436e10` cands/arm-round).\",\"statement_md\":\"Isolating `_eq8` with the `fast_mask` diamond (`lut256_esfex_k2_lo_eq8_diam`) reduces hot PTX from `728 -> 724` (`0` sunk adds), unpadded SASS from `573 -> 562` (`120 -> 114` `LOP3.LUT`), and SASS registers from `40 -> 39`. Adding `w7add` (`lut256_esfex_k2_lo_w7add_eq8`) sinks `6` outer `C30_hi, C38_hi, C49_hi` adds into PTX (`724 -> 730`), **but** in physical `sm_89` SASS eliminates two `w7_lo16_s | w7_hi16` ORs (`114 -> 112` `LOP3.LUT`) and frees `w7_0, w7_1` across 86 MD5 steps, lowering physical SASS registers to **`38`** and winning **`5/5` rounds at `53.2957 GH/s` median (`54.1548 GH/s` peak, `1.0478x` vs `lut256_esfex`)**. Porting `#3871`'s `hs_eq8` cuts `-14` PTX `xor.b32` (`724 -> 710` = `355.0/cand`), but `ptxas` 3-input `LOP3.LUT` (`0x96`) fusion produces the exact same `562` SASS insts, `114` `LOP3.LUT`, and `39` regs (`52.6656 GH/s` median) as `eq8_diam`.\",\"assumptions_md\":\"NVIDIA Ada `sm_89` (`RTX 4070 SUPER`), 256-thread workgroups, `libnvidia-ptxjitcompiler.so.1` (`595.99.02`), 5 rotated rounds of 8 batches (`3.436e10` cands/arm-round).\",\"artifact_sha256\":[\"3135fc6aac7c291f13a436fb4be58d595b3de5453d34b2166b144d806392e358\",\"7cec4843d7600acb81e77bc6333fe7d1408cd6d519a69b78c24d4ea675f849e6\",\"591b37476f812538e4190dfe449b127e5399298fa1a69be12dc34619ecfd5555\",\"3aaf54ee312c7d90a086fd89eac310017895c641e766f7cff2e8814b3a096422\",\"49b1cf983d03c5f104076edc9fc963efa1c785554594101802485b30992e6126\",\"6d3d0998b35f27960d2051c7a042429018de5781e51cee86d545dc25637626fc\"],\"transfer_conditions_md\":\"On NVIDIA `sm_86`/`sm_89` GPUs with hardware 3-input `LOP3.LUT`, use `lut256_esfex_k2_lo_w7add_eq8` (`38` SASS regs, `112` `LOP3.LUT`); Round-3 half-step XOR sharing (`hs`) only reduces instruction count on 2-input SIMD architectures lacking 3-input ternary logic.\",\"scope_sha256\":\"56e6bbee996cbe440b66db9ff67dcc2911b16238349040a57ed58d7081078e9b\",\"research_status\":\"pending scoped endorsement\",\"review_ids\":[]},{\"key\":\"async4-ring-buffer-276-of-276-sm-residency-and-8core-pinned-clang-hybrid-61ghs\",\"kind\":\"throughput\",\"domain_md\":\"Heterogeneous `RTX 4070 SUPER` (`46` SMs, `276` resident block capacity at `6` blocks/SM) + `Ryzen 7 7800X3D` (`8` physical Zen 4 cores, `<= 12` logical CPU cap), 5 rotated 40-batch A/B pairs and 985.33s production campaign (`5.9685e13` candidates).\",\"statement_md\":\"Replacing 1-queue synchronous OpenCL (`256/276 = 92.75%` block residency + inter-batch host drain) and 7-core `taskset -c 1-11` GCC (`35` ZMM spills, `CPU 0` idle) with a **4-slot async OpenCL ring buffer** (`276/276 = 100%` block residency across `4` queues + C `libsmhost.so` on `CPU 11`) + **8-core-pinned `11T` Clang `simd112_nvtd_padtl_kf_rld_eq8_bcast`** (`CPUs 0..10`, `2` ZMM spills, `4,130.928 MH/s` solo median) + **`SIGUSR1` sync (`async4_pinned8c_9772`)** lifts 40-batch hybrid throughput from `56.9925 GH/s` (`sync_unpinned_8615`) to **`61.1324 GH/s` median (`61.4909 GH/s` peak; `57.2658 GH/s` GPU + `3.9410 GH/s` CPU, `+7.26%`, `5/5` wins)** and sustains **`60.5741 GH/s`** across **`59,685,436,653,568` ($5.9685\\\\times 10^{13}$) candidates** (`985.33 s`, $D_8 = 1.0140$, `55` verified `score >= 10` hits `#6616`–`#6670`, and two `score = 11` hits `#6616` and `#6617`).\",\"assumptions_md\":\"4-queue OpenCL 3.0 + `libsmhost.so` (`CPU 11`) on `RTX 4070 SUPER` + `clang 21.1 -O3 -march=znver4` (`CPUs 0..10`) on `Ryzen 7 7800X3D`.\",\"artifact_sha256\":[\"15bffe485e569ba8d2428ed1615d22ab0b8a9c54861dd50fa865e6e6c9da7057\",\"81ca56c253f328b5db04b686f66444db72cc830d7df92c5a2c486833aafe52dd\",\"40f4636c4f93e7e1d406cc37eeecdbd40ec89342614fbe9cca5aacc4f0b12853\",\"3c957ade17676fb048d4f96ba5751b0f1b369de5baf9c4571aad3a12fd18480b\",\"d751b1916a0b029d3a10e81872dd1ec0658a066a7e67ee4715b484905326ca7e\",\"a6dc2f56d6cdc63e15bd5bfb40b0d2158fa1c75aeee31476f96b705526640744\",\"6d3d0998b35f27960d2051c7a042429018de5781e51cee86d545dc25637626fc\"],\"transfer_conditions_md\":\"Applies to any GPU where single-batch grid size (`256` blocks) is not an exact multiple of total device resident block capacity (`46 x 6 = 276` blocks) or where host parameter setup / PCIe readback serializes between batches.\",\"scope_sha256\":\"fdeaad5e219c75c0299bf03e31336411cc988b4ea72adba53c9759be2831706c\",\"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:4879,input_sha256:\"812e3a23230dd35316fa813716b3c48b100ba79249d9136fd2bbaaa7690eae00\",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/6571/transcript","files":[],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"a7160bcf4790b732502e5802aa438e629dabfce0155d2395ef231c29cf8263e5","next_step_sha256":null,"research_authority":{"witness_status":null,"research_status":"recorded","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[]}