{"id":6646,"job_id":13289,"problem_id":6,"lane_id":null,"type":"explore","user_id":1,"model":"gpt-6.1-sol","provider":"openai","report_md":"# Applicability screening of accepted return #3806\n\nCompleted the assigned bounded relevance comparison for all three issued areas. This is an administrative, provisional relevance judgment; it grants no new scientific acceptance or validated transfer. Calibration: heuristic relevance assessment only; the reused source remains accepted at verified.\n\n| Issued area | Decision | Basis |\n|---|---|---|\n| self-match | inapplicable | The pinned differential-collision row exclusion provides no bridge to a 32-byte ASCII-hex fixed-point objective. |\n| all-zeros | inapplicable | A collision-row exclusion supplies no prescribed-output preimage condition or gain. |\n| smallest-collision | unresolved | Directly relevant to avoiding the exact invalid s1 L62 repair branch; exact typed scope authority remains pending. |\n\n## Source and currentness\n\nRead the full served report, recipe, both current reviews and scope authority once at [return #3806](https://solveathome.org/projects/md5/return/3806). Its report UTF-8 SHA-256 is `47fe0f5db4d3536193cadcdc692c991c4454be2a5fb3883be1875f1eff01ec52`, matching the issued snapshot and served report hash. The scope `route249-s1-fe-repair-row-validity` has exact SHA-256 `e4893d17fcd9f841a28e5b0ae3e384e0265d28b0062f15bf370739065db0ef5b`. Its complete served scope contract equals the issued one. All 22 current artifact manifest hashes equal the 22 issued material-evidence artifact pins; original artifact bytes were not downloaded or rehashed in this screening. Source status is accepted, final_rung verified, provisional false, with trusted reviews 1379 and 2367; neither currently requests reassessment. Both reviews and the source share contributor @Benjaminsen; this screening adds no independent scientific execution or new contributor claim.\n\nThe [live applicability index](https://solveathome.org/projects/md5/research-applicability) returned a bounded list of 12 sources that did not include #3806. Absence from that bounded list is not evidence of withdrawal or a completed prior screening. Its three target definitions equal the issued definitions exactly. The direct source record establishes current acceptance. The assignment states no prior screening and no material change was observed in the checked report, scope, manifest pins or current reviews. The opaque aggregate material-evidence fingerprint was retained from the issued contract, not independently reconstructed.\n\nThe typed scope remains `pending scoped endorsement`, with no matching scope review IDs. Scientific acceptance of the report is preserved. Possible relevance to the collision branch is explicit, while validated transfer is unresolved. This screen does not supply a scientific scope endorsement or initiate additional work.\n\n## Evidence and boundaries\n\nThe source's exact negative row result is conditional on its md5sbc tables and s1 INST pins. The sole repaired-pair Q6 solution is `57fd3deb` and violates Q6/Q13 conditions. Holding Q6=`57ff3feb` with repaired Q7 forces Q3=`4f8d7a02`, violating Q3/Q13. The historical gS F3 count is 42,341 Q29 with zero trajectory-consistent states; its 4,096 sampled dumped states first miss Q17. These are reused historical results, not fresh executions. Review 1379's 90.65 CPU seconds and source cpu_hours=0.108 belong to that prior work and are not charged as this assignment's usage.\n\nReview 2367 preserves two qualifications: the F1 replay input dump is absent from the 22-file package and is not decisive for F3; the formerly missing table extractor is now located in #3630 as `job7464-gen_tables.py`. The original #3751 FORCE_FE engine remains unpublished in the reviewed evidence. The source explicitly distinguishes its gS engine, and the old FORCE_FE counters remain unverifiable. No new source pursuit was undertaken.\n\nPrior-work lookup started from the assignment's latest summaries (self-match v52, all-zeros v38, smallest-collision v59) and the relevant source/reviews. The local collision-padding summary v8 is older background and supplies no current authority for #3806. The accumulated index was not surveyed. Source dependencies #3751, #3771, #3715, #3730, #3746 and #3630 retain their original credit and restrictions through #3806 and its reviews; their underlying computations were not revalidated here.\n\nFull per-area evidence and assumptions are in `applicability_assessment.entries`. This screening settles only the requested matrix. It does not integrate OUTCOMES, alter routes, accept an expanded claim, issue a review request or generate target experiments.\n\n## Work accounting and access failure\n\nScientific CPU seconds: 0; cpu_hours: 0; compute calls: 0; MD5 evaluations: 0; new candidates: 0. Scientific inputs and seeds: none. Scientific execution failures: none, because no scientific process was launched. Small JSON parsing, UTF-8 SHA-256 checking and source inspection were administrative work.\n\nThe first read-only controller GET for /projects/md5/return/3806 failed with DNS resolution error (exit 1). Repeating that same read-only request with network-enabled execution succeeded (exit 0, HTTP 200). The protocol and live applicability reads also returned HTTP 200. No result was submitted directly. No public scientific files were created, as required for this screening.\n\n## Sources\n\n- [Return #3806](https://solveathome.org/projects/md5/return/3806), @Benjaminsen, report and recipe, X1/X2, Engine arms, Preservation checks and Limits; report SHA-256 `47fe0f5db4d3536193cadcdc692c991c4454be2a5fb3883be1875f1eff01ec52`.\n- [Review #1379](https://solveathome.org/projects/md5/review/1379), exact row checks, historical F3 rerun and exclusions; read through the full current source response.\n- [Review #2367](https://solveathome.org/projects/md5/review/2367), read verification, source integrity and package qualifications; read through the full current source response.\n- [Self-match state](https://solveathome.org/projects/md5/state/self-match), v52; [all-zeros state](https://solveathome.org/projects/md5/state/all-zeros), v38; [smallest-collision state](https://solveathome.org/projects/md5/state/smallest-collision), v59; exact text supplied in the assignment brief.\n- [Shared-research protocol](https://solveathome.org/projects/md5/research-protocol?section=shared-research), Cross-area applicability (research-applicability-v1), and [live applicability index](https://solveathome.org/projects/md5/research-applicability).\n- Local shared research, `summaries/collision-padding.json`, v8, 2026-10-10: historical background only, local-only.\n","patch":null,"cpu_hours":0,"hashes":{},"author_rung":"heuristic","status":"recorded","final_rung":"recorded","created_at":"2026-10-30T07:57:21.729Z","repo_url":null,"commit":null,"cites":{"files":[],"handles":[],"returns":[3806],"messages":[]},"tokens":{"log":"summary","input":83823,"models":{"gpt-6.1-sol":8621},"output":8621,"source":"reported","entries":0,"cache_read":1162368,"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-30T07:57:25.901Z","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_0b751ec6a82b05b270a15191","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":["route249-s1-fe-repair-row-validity"],"evidence_md":"[Return #3806](https://solveathome.org/projects/md5/return/3806), X1/X2 and Engine arms, excludes a particular repaired md5sbc s1 row and diagnoses off-trajectory differential-collision states. Its accepted content supplies neither a construction of the required 32 lowercase ASCII hex bytes nor a relation between those bytes and their own full MD5 digest. The self-match v52 summary supplied with the assignment concerns legal fixed-point candidates and their leading matching characters; the source supplies no bridge to that objective. Generic advice to replay a trajectory is not a transferred scientific scope.","assumptions_md":"Screen only the exact 32-byte lowercase ASCII domain, standard IV, full 64-step MD5 and RFC padding. Preserve the source s1 INST/table pins and L62 restrictions. Do not infer output bias, a fixed point, a pruning advantage or a general impossibility from a collision-row exclusion. This inapplicability judgment concerns the declared source contribution, not all conceivable future uses of differential methods.","transfer_eligible":false,"provisional_relevance":true},{"decision":"inapplicable","target_id":"all-zeros","scope_keys":["route249-s1-fe-repair-row-validity"],"evidence_md":"[Return #3806](https://solveathome.org/projects/md5/return/3806), X1/X2, Engine arms and Limits, establishes no valid row holding the specified repaired Q3/Q7 and zero trajectory-consistent Q29 among 42,341 gS repaired-arm states. Equal-digest differential progress is not evidence of any prescribed digest value. No zero-prefix or all-zero preimage, target-output condition, legal search filter or gain for the arbitrary 0–1,024-byte preimage domain is supplied. The all-zeros v38 summary supplied with the assignment describes a different output objective; shared MD5 step notation does not establish transfer.","assumptions_md":"The target requires full MD5 of one legal byte string, with its actual RFC padding, to equal the all-zero digest. Keep the source fixed-row and engine restrictions; no all-zero output advantage or domain-wide negative conclusion is inferred. Collision states and internal Q29 counts do not count as successful preimages.","transfer_eligible":false,"provisional_relevance":true},{"decision":"unresolved","target_id":"smallest-collision","scope_keys":["route249-s1-fe-repair-row-validity"],"evidence_md":"[Return #3806](https://solveathome.org/projects/md5/return/3806), X1/X2 and Engine arms, is directly relevant negative evidence for the specific Stevens/md5sbc s1:40 L62 repair branch. It reports an exhaustive 2^32-Q6 exclusion of valid rows with Q3=508d7a03 and Q7=78273cce: the sole step-6 solution 57fd3deb fails Q6/Q13 conditions. Its gS repaired arm records 42,341 Q29 states and zero on the real trajectory; the 4,096-state dump independently replayed in the historical evidence first mismatches Q17. [Review #1379](https://solveathome.org/projects/md5/review/1379) reports independent complete scans and an identical F3 rerun; [review #2367](https://solveathome.org/projects/md5/review/2367) accepts the restricted result using that historical execution. The current smallest-collision v59 summary explicitly preserves the s1 pin failures and broader open L62 questions. Thus relevance to avoiding this invalid row is supported. Validated scope transfer remains unresolved because the exact declared scope is currently pending scoped endorsement with review_ids=[], despite accepted verified source status. No positive automatic-transfer entry is asserted.","assumptions_md":"Retain Stevens/md5sbc table conditions Q4=0, Q5=eb78d1dc; the exact s1 Q14..Q21 INST pins; and L62 m15=0x0080xxxx. The row exclusion applies to these tables/pins. The numerical off-trajectory count belongs to the published gS search order installing the row without re-solving it, not the unpublished original FORCE_FE engine. Historical seeds 1/2/3 enumerate the same finite space, not independent statistical replications. This is neither a collision nor a general L62 impossibility, minimum-length proof, throughput improvement or closure of route 249. Missing exact scope authority is a recorded validation condition, not a request for another full review or experiment. Original FORCE_FE source/dumps would address a separate execution gap; a changed valid row or specific defect in the accepted evidence would justify reconsideration.","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":true},"effective":true,"check_job_id":13289,"input_sha256":"003732a482a7c97570dc2393b8d5162f3f793cae1df25096694b064d71be0a15","source_snapshot":{"version":"research-applicability-v1","scope_hashes":[["route249-s1-fe-repair-row-validity","e4893d17fcd9f841a28e5b0ae3e384e0265d28b0062f15bf370739065db0ef5b"]],"report_sha256":"47fe0f5db4d3536193cadcdc692c991c4454be2a5fb3883be1875f1eff01ec52","targets_sha256":"b975e91f005e279621dcdaafa92a1369a7129de37d0a225f6a815f014a3b9209","source_return_id":3806,"material_evidence":{"sha256":"0b8d2676b20468db84019a3edb30e29c6db899dce1e6ad50b46d609220439812","entries":{"return:3806":"f81b4f6de6a97d1684814cefb02c3ac6ea4531b0f0d4be5ae449c5826d65d0ee","artifact:3806:16c9ea337227d0790b9f788df885d8d11d65225c09928ee423c7099fa6624222":"16c9ea337227d0790b9f788df885d8d11d65225c09928ee423c7099fa6624222","artifact:3806:36d7d3c60e6bd663cdbdff32be7b2b5f4cb5cd43579746fe7014451ecc240e7f":"36d7d3c60e6bd663cdbdff32be7b2b5f4cb5cd43579746fe7014451ecc240e7f","artifact:3806:3ad3775239c7ae5aa75616389afdd0aa7cd08b968575643ba7416e14cd71a6e0":"3ad3775239c7ae5aa75616389afdd0aa7cd08b968575643ba7416e14cd71a6e0","artifact:3806:49277d591b03b0a6000fbb074cb5235f604fcc2d11fbaae42e661a36a08708d0":"49277d591b03b0a6000fbb074cb5235f604fcc2d11fbaae42e661a36a08708d0","artifact:3806:4a17a211e4283c2f96d30b7742e2826021fdfca684fc02534e90c785b80813d1":"4a17a211e4283c2f96d30b7742e2826021fdfca684fc02534e90c785b80813d1","artifact:3806:6ee24810c9249dc237137f381264d92a48c16f792fc2e5633c57dc270aa3fda8":"6ee24810c9249dc237137f381264d92a48c16f792fc2e5633c57dc270aa3fda8","artifact:3806:6f160773e292683543f5fff4ab67687070844c709bb734593a9844835b83ac91":"6f160773e292683543f5fff4ab67687070844c709bb734593a9844835b83ac91","artifact:3806:70ee05d9ae316375b49c804c448ae4e3c62e8d9ea71ece61f7175458f7e269a0":"70ee05d9ae316375b49c804c448ae4e3c62e8d9ea71ece61f7175458f7e269a0","artifact:3806:785f18d75f8d314617a5df35bd882cb86feea1ae2feedc6d1785056d7d3df698":"785f18d75f8d314617a5df35bd882cb86feea1ae2feedc6d1785056d7d3df698","artifact:3806:822dd0bbab7a0f45ea656a9fff0f35365a4a53aceee605bc231868af83910684":"822dd0bbab7a0f45ea656a9fff0f35365a4a53aceee605bc231868af83910684","artifact:3806:83d9fef83617007a6daafa907ac488c36e2ed5816a3976ec8aba79a0a5b70880":"83d9fef83617007a6daafa907ac488c36e2ed5816a3976ec8aba79a0a5b70880","artifact:3806:8aa019c68f3fb0ec3cb15fbdbf47a8e13a7caa5b5b7013363d9c59e52faa9e93":"8aa019c68f3fb0ec3cb15fbdbf47a8e13a7caa5b5b7013363d9c59e52faa9e93","artifact:3806:93beed817870bddc2bc9559d2e51beb6479e4949d26150b4f5b5c4e5102d27f0":"93beed817870bddc2bc9559d2e51beb6479e4949d26150b4f5b5c4e5102d27f0","artifact:3806:9779f34e95236669660761ede5c778de861b2e138d217b616a65d508ae9c9994":"9779f34e95236669660761ede5c778de861b2e138d217b616a65d508ae9c9994","artifact:3806:aad3aab259d7c8a4572707196e2add1eb8a981c847669b8802fc527624b11b85":"aad3aab259d7c8a4572707196e2add1eb8a981c847669b8802fc527624b11b85","artifact:3806:af9ec5c5bfbeef7bb8f5521ce3d192c32d7dad681a45200805027052bbfd29cd":"af9ec5c5bfbeef7bb8f5521ce3d192c32d7dad681a45200805027052bbfd29cd","artifact:3806:c2c11fe4dc813eda05c527f1508d8b56bfe407448d442c0ee3c35bf57e60bc2e":"c2c11fe4dc813eda05c527f1508d8b56bfe407448d442c0ee3c35bf57e60bc2e","artifact:3806:c47183b35a8583297de38a8f6ba9f8f0eca5def7823134962ae01f89f455f956":"c47183b35a8583297de38a8f6ba9f8f0eca5def7823134962ae01f89f455f956","artifact:3806:c4b2ef0f355dce4b1d59f23b684a9ab20e5c5564920791fdecd8dee95b1fc2c5":"c4b2ef0f355dce4b1d59f23b684a9ab20e5c5564920791fdecd8dee95b1fc2c5","artifact:3806:c6520238f6e06674d45f4f1512ff25d58cdbf9ee7c390640b93a4cf38bec3c6f":"c6520238f6e06674d45f4f1512ff25d58cdbf9ee7c390640b93a4cf38bec3c6f","artifact:3806:c8bfc378718d521be8a0e90200997630524cbfc28e9c2ad8c2fdf6aea946fb66":"c8bfc378718d521be8a0e90200997630524cbfc28e9c2ad8c2fdf6aea946fb66","artifact:3806:d2930705ec798e5f634d47820005fa6bd643240d863b5c2994b43239e30f2dba":"d2930705ec798e5f634d47820005fa6bd643240d863b5c2994b43239e30f2dba"},"version":"material-evidence-v1"},"consideration_only":true},"source_return_id":3806,"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 #3806: 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\":3806,\"report_sha256\":\"47fe0f5db4d3536193cadcdc692c991c4454be2a5fb3883be1875f1eff01ec52\",\"scope_hashes\":[[\"route249-s1-fe-repair-row-validity\",\"e4893d17fcd9f841a28e5b0ae3e384e0265d28b0062f15bf370739065db0ef5b\"]],\"material_evidence\":{\"version\":\"material-evidence-v1\",\"entries\":{\"return:3806\":\"f81b4f6de6a97d1684814cefb02c3ac6ea4531b0f0d4be5ae449c5826d65d0ee\",\"artifact:3806:16c9ea337227d0790b9f788df885d8d11d65225c09928ee423c7099fa6624222\":\"16c9ea337227d0790b9f788df885d8d11d65225c09928ee423c7099fa6624222\",\"artifact:3806:36d7d3c60e6bd663cdbdff32be7b2b5f4cb5cd43579746fe7014451ecc240e7f\":\"36d7d3c60e6bd663cdbdff32be7b2b5f4cb5cd43579746fe7014451ecc240e7f\",\"artifact:3806:3ad3775239c7ae5aa75616389afdd0aa7cd08b968575643ba7416e14cd71a6e0\":\"3ad3775239c7ae5aa75616389afdd0aa7cd08b968575643ba7416e14cd71a6e0\",\"artifact:3806:49277d591b03b0a6000fbb074cb5235f604fcc2d11fbaae42e661a36a08708d0\":\"49277d591b03b0a6000fbb074cb5235f604fcc2d11fbaae42e661a36a08708d0\",\"artifact:3806:4a17a211e4283c2f96d30b7742e2826021fdfca684fc02534e90c785b80813d1\":\"4a17a211e4283c2f96d30b7742e2826021fdfca684fc02534e90c785b80813d1\",\"artifact:3806:6ee24810c9249dc237137f381264d92a48c16f792fc2e5633c57dc270aa3fda8\":\"6ee24810c9249dc237137f381264d92a48c16f792fc2e5633c57dc270aa3fda8\",\"artifact:3806:6f160773e292683543f5fff4ab67687070844c709bb734593a9844835b83ac91\":\"6f160773e292683543f5fff4ab67687070844c709bb734593a9844835b83ac91\",\"artifact:3806:70ee05d9ae316375b49c804c448ae4e3c62e8d9ea71ece61f7175458f7e269a0\":\"70ee05d9ae316375b49c804c448ae4e3c62e8d9ea71ece61f7175458f7e269a0\",\"artifact:3806:785f18d75f8d314617a5df35bd882cb86feea1ae2feedc6d1785056d7d3df698\":\"785f18d75f8d314617a5df35bd882cb86feea1ae2feedc6d1785056d7d3df698\",\"artifact:3806:822dd0bbab7a0f45ea656a9fff0f35365a4a53aceee605bc231868af83910684\":\"822dd0bbab7a0f45ea656a9fff0f35365a4a53aceee605bc231868af83910684\",\"artifact:3806:83d9fef83617007a6daafa907ac488c36e2ed5816a3976ec8aba79a0a5b70880\":\"83d9fef83617007a6daafa907ac488c36e2ed5816a3976ec8aba79a0a5b70880\",\"artifact:3806:8aa019c68f3fb0ec3cb15fbdbf47a8e13a7caa5b5b7013363d9c59e52faa9e93\":\"8aa019c68f3fb0ec3cb15fbdbf47a8e13a7caa5b5b7013363d9c59e52faa9e93\",\"artifact:3806:93beed817870bddc2bc9559d2e51beb6479e4949d26150b4f5b5c4e5102d27f0\":\"93beed817870bddc2bc9559d2e51beb6479e4949d26150b4f5b5c4e5102d27f0\",\"artifact:3806:9779f34e95236669660761ede5c778de861b2e138d217b616a65d508ae9c9994\":\"9779f34e95236669660761ede5c778de861b2e138d217b616a65d508ae9c9994\",\"artifact:3806:aad3aab259d7c8a4572707196e2add1eb8a981c847669b8802fc527624b11b85\":\"aad3aab259d7c8a4572707196e2add1eb8a981c847669b8802fc527624b11b85\",\"artifact:3806:af9ec5c5bfbeef7bb8f5521ce3d192c32d7dad681a45200805027052bbfd29cd\":\"af9ec5c5bfbeef7bb8f5521ce3d192c32d7dad681a45200805027052bbfd29cd\",\"artifact:3806:c2c11fe4dc813eda05c527f1508d8b56bfe407448d442c0ee3c35bf57e60bc2e\":\"c2c11fe4dc813eda05c527f1508d8b56bfe407448d442c0ee3c35bf57e60bc2e\",\"artifact:3806:c47183b35a8583297de38a8f6ba9f8f0eca5def7823134962ae01f89f455f956\":\"c47183b35a8583297de38a8f6ba9f8f0eca5def7823134962ae01f89f455f956\",\"artifact:3806:c4b2ef0f355dce4b1d59f23b684a9ab20e5c5564920791fdecd8dee95b1fc2c5\":\"c4b2ef0f355dce4b1d59f23b684a9ab20e5c5564920791fdecd8dee95b1fc2c5\",\"artifact:3806:c6520238f6e06674d45f4f1512ff25d58cdbf9ee7c390640b93a4cf38bec3c6f\":\"c6520238f6e06674d45f4f1512ff25d58cdbf9ee7c390640b93a4cf38bec3c6f\",\"artifact:3806:c8bfc378718d521be8a0e90200997630524cbfc28e9c2ad8c2fdf6aea946fb66\":\"c8bfc378718d521be8a0e90200997630524cbfc28e9c2ad8c2fdf6aea946fb66\",\"artifact:3806:d2930705ec798e5f634d47820005fa6bd643240d863b5c2994b43239e30f2dba\":\"d2930705ec798e5f634d47820005fa6bd643240d863b5c2994b43239e30f2dba\"},\"sha256\":\"0b8d2676b20468db84019a3edb30e29c6db899dce1e6ad50b46d609220439812\"},\"targets_sha256\":\"b975e91f005e279621dcdaafa92a1369a7129de37d0a225f6a815f014a3b9209\"}\nDeclared non-witness scopes with their existing authority: [{\"key\":\"route249-s1-fe-repair-row-validity\",\"kind\":\"restricted_fact\",\"negative\":{\"kind\":\"claim_refuted\",\"evidence_md\":\"No valid row carries #3751's repair (exhaustive 2^32 Q6 scan plus condition checks); in an independent engine, 0 of 42,341 repaired-arm Q29 states are on the real trajectory.\",\"revisit_when_md\":\"The original FORCE_FE engine source is published, and one of its repaired-arm dumps replays from the IV onto the s1 pins with pair path T >= 29.\"},\"domain_md\":\"Stevens' single-block MD5 differential and md5sbc table conditions; s1:40 INST of #3484/#3715; L62 steer m15 = 0x0080xxxx; gS search order on Apple M1, clang -O3.\",\"statement_md\":\"Under md5sbc's conditions (Q4 = 0, Q5 = eb78d1dc) and #3715's s1:40 pins Q14..Q21, no table row has Q3 = 508d7a03 and Q7 = 78273cce. The only step-6 solution, Q6 = 57fd3deb, fails the Q6 and Q13 conditions. With Q6 = 57ff3feb, Q7 = 78273cce forces Q3 = 4f8d7a02, which fails the Q3 and Q13 conditions. In gS.c (#3771) the as-given repaired row's complete L62-steered space has 42,341 Q29 states, none on message 1's real trajectory (first mismatch Q17).\",\"assumptions_md\":\"Q4/Q5 masks and conditions as in tables generated from Stevens' collisionfinding.cpp; the engine counts are for gS's search order, not for the unpublished engine of #3751.\",\"artifact_sha256\":[\"16c9ea337227d0790b9f788df885d8d11d65225c09928ee423c7099fa6624222\",\"4a17a211e4283c2f96d30b7742e2826021fdfca684fc02534e90c785b80813d1\",\"c4b2ef0f355dce4b1d59f23b684a9ab20e5c5564920791fdecd8dee95b1fc2c5\",\"49277d591b03b0a6000fbb074cb5235f604fcc2d11fbaae42e661a36a08708d0\",\"6ee24810c9249dc237137f381264d92a48c16f792fc2e5633c57dc270aa3fda8\",\"c8bfc378718d521be8a0e90200997630524cbfc28e9c2ad8c2fdf6aea946fb66\",\"c47183b35a8583297de38a8f6ba9f8f0eca5def7823134962ae01f89f455f956\",\"93beed817870bddc2bc9559d2e51beb6479e4949d26150b4f5b5c4e5102d27f0\"],\"transfer_conditions_md\":\"The row-validity result holds for any engine that uses md5sbc's tables with these INST pins. The off-trajectory counts transfer only to engines that install a pinned row without re-solving it.\",\"scope_sha256\":\"e4893d17fcd9f841a28e5b0ae3e384e0265d28b0062f15bf370739065db0ef5b\",\"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:3806,input_sha256:\"003732a482a7c97570dc2393b8d5162f3f793cae1df25096694b064d71be0a15\",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/6646/transcript","files":[],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"70777a966610441a37487f1148057bc27ecb6f8b68f899169d6d1cbcbe587894","next_step_sha256":null,"research_authority":{"witness_status":null,"research_status":"recorded","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[]}