{"id":"1164f544e3fbea0eb80b1a868d11154297e29c706b0ee6984005b49387935038","title":"Guided Generation of Linux Kernel Semantic Patches with Small Local Language Models","argument":"Mohanned Ahmed asks whether small open language models running on a laptop can help convert Linux kernel API changes into Coccinelle semantic patches, rules used for tree-wide code changes. The approach turns earlier human conversions into examples: scripts split them into change variants, the model writes a rule for each variant, and feedback comes from applying rules to examples. Deterministic components repair SmPL syntax and generalise driver-specific names; a compile critic repairs or rejects rules whose output does not build. In a pre-registered test of 7 migrations and 122 held-out driver conversions, a conversion counted as solved only if it matched the human fix and compiled. Ahmed reports that guided Qwen2.5-Coder 7B solved 35.3 conversions on average over three seeds, compared with 1.0 when prompted directly. Spinfer solved 41 and a frontier LLM agent 66. The local model solved fewer than Spinfer, but its rules were more precise on this test: 0.74 of files they changed were solved, versus 0.55 for Spinfer and 0.70 for the frontier agent. The results describe this task and test set; they do not establish performance on other migrations. Ahmed says the code, prompts, model responses and results are released.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The evaluation covers 7 migrations and 122 held-out driver conversions; the reported results do not establish performance on other migrations. The source describes results for the tested models and setup, not a general comparison across all small local language models.","speaker":{"name":"Ahmed, Mohanned","roleAtSource":"Article author"},"source":{"title":"Guided Generation of Linux Kernel Semantic Patches with Small Local Language Models","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2611.16215","publishedAt":"2026-11-12","dateBasis":"Date basis not provided."},"evidence":[{"text":"Ahmed evaluates guided code generation on 7 migrations and 122 held-out driver conversions, counting a conversion as solved only when the output matches the human fix and compiles.","excerpt":"a pre-registered test set of 7 migrations whose new APIs appeared after the training cutoffs of all three models","url":"https://arxiv.org/abs/2611.16215","relationship":"Source-stated"},{"text":"In this evaluation, Qwen2.5-Coder 7B solved 35.3 conversions on average over three seeds with the framework, compared with 1.0 when prompted directly.","excerpt":"Qwen2.5-Coder solves 35.3 conversions on average over three seeds (range 32-41), against 1.0 when prompted directly","url":"https://arxiv.org/abs/2611.16215","relationship":"Source-stated"},{"text":"The local model solved fewer conversions than Spinfer, while a greater share of the files it changed were solved in the test.","excerpt":"The local model solves fewer conversions than Spinfer but its rules are the most precise on the test set (0.74 of the files they change are solved, against 0.55 for Spinfer","url":"https://arxiv.org/abs/2611.16215","relationship":"Source-stated"},{"text":"The compile critic removes outputs that match the human fix but do not build.","excerpt":"the compile critic removes every output that matches the human fix but does not build.","url":"https://arxiv.org/abs/2611.16215","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.16215","checkedAt":"2026-11-13T11:50:08.624Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"How would the reported results change on Linux kernel migrations beyond the 7 included in this test?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"Guided Generation of Linux Kernel Semantic Patches with Small Local Language Models","summary":"Mohanned Ahmed asks whether small open language models running on a laptop can help convert Linux kernel API changes into Coccinelle semantic patches, rules used for tree-wide code changes. The approach turns earlier human conversions into examples: scripts split them into change variants, the model writes a rule for each variant, and feedback comes from applying rules to examples. Deterministic components repair SmPL syntax and generalise driver-specific names; a compile critic repairs or rejects rules whose output does not build. In a pre-registered test of 7 migrations and 122 held-out driver conversions, a conversion counted as solved only if it matched the human fix and compiled. Ahmed reports that guided Qwen2.5-Coder 7B solved 35.3 conversions on average over three seeds, compared with 1.0 when prompted directly. Spinfer solved 41 and a frontier LLM agent 66. The local model solved fewer than Spinfer, but its rules were more precise on this test: 0.74 of files they changed were solved, versus 0.55 for Spinfer and 0.70 for the frontier agent. The results describe this task and test set; they do not establish performance on other migrations. Ahmed says the code, prompts, model responses and results are released.","question":"How would the reported results change on Linux kernel migrations beyond the 7 included in this test?","claims":[{"text":"Ahmed evaluates guided code generation on 7 migrations and 122 held-out driver conversions, counting a conversion as solved only when the output matches the human fix and compiles.","excerpt":"a pre-registered test set of 7 migrations whose new APIs appeared after the training cutoffs of all three models","support":"source-stated"},{"text":"In this evaluation, Qwen2.5-Coder 7B solved 35.3 conversions on average over three seeds with the framework, compared with 1.0 when prompted directly.","excerpt":"Qwen2.5-Coder solves 35.3 conversions on average over three seeds (range 32-41), against 1.0 when prompted directly","support":"source-stated"},{"text":"The local model solved fewer conversions than Spinfer, while a greater share of the files it changed were solved in the test.","excerpt":"The local model solves fewer conversions than Spinfer but its rules are the most precise on the test set (0.74 of the files they change are solved, against 0.55 for Spinfer","support":"source-stated"},{"text":"The compile critic removes outputs that match the human fix but do not build.","excerpt":"the compile critic removes every output that matches the human fix but does not build.","support":"source-stated"}],"limitations":["The evaluation covers 7 migrations and 122 held-out driver conversions; the reported results do not establish performance on other migrations.","The source describes results for the tested models and setup, not a general comparison across all small local language models."],"mediaId":"95f361d23224d4a5aa4f9ba8db6fb0f423b54d016483ad18db6e3ee3a8616a44","correctionReason":null,"id":"1164f544e3fbea0eb80b1a868d11154297e29c706b0ee6984005b49387935038","publicationId":"76b37e9d-3478-4e37-81a0-366eb9fc23b7","version":1,"sourceUrl":"https://arxiv.org/abs/2611.16215","sourceTitle":"Guided Generation of Linux Kernel Semantic Patches with Small Local Language Models","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-11-12","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-11-13T07:39:44.971Z","createdAt":"2026-11-13T10:46:40.110Z","historical":false,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"95f361d23224d4a5aa4f9ba8db6fb0f423b54d016483ad18db6e3ee3a8616a44","kind":"article","url":"https://arxiv.org/abs/2611.16215","sourceUrl":"https://arxiv.org/abs/2611.16215","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-13T10:32:09.974Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.16215","checkedAt":"2026-11-13T11:50:08.624Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v7","mediaId":"95f361d23224d4a5aa4f9ba8db6fb0f423b54d016483ad18db6e3ee3a8616a44","confidence":0.73,"provider":"typesafe","model":"jev-1.13.0","inputHash":"b72260258e71c9d119f958eaaefc7942145d0da66bfdecd0aa77c390a934eee3","decidedAt":"2026-11-13T10:32:11.677Z"},"provenance":{"textHash":"165f340828c1a8f7a843768ee6ba3e6e1f794e858df61f51bfbdfcdf2b1197b8","observationId":"24aa5950d83440a4b3dc47747e922dbb8a6283cc25e040d8ccf3ab4e924e0117","retrievedAt":"2026-11-13T10:32:09.708Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"6f5e906d-ef59-4d07-8615-8a4225d68174"},"reviewer":{"model":"gpt-6-luna","runId":"979dacac-f8c9-4a88-8a17-3a78aa63e7a7"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-13T10:46:40.110Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Ahmed, Mohanned","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Ahmed, Mohanned","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Ahmed, Mohanned","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.16215","locator":"head/meta[name=author|citation_author]"},"assertionId":"b0ac0acdaad9a82d0d2ef2b03c9152fd66d13965c2e916fde6bde5a6589c3816:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-13T11:50:08.624Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"b0ac0acdaad9a82d0d2ef2b03c9152fd66d13965c2e916fde6bde5a6589c3816","sourceUrl":"https://arxiv.org/abs/2611.16215","contentSha256":"c993c06e2bfb34c9e946180ec115bf46a533dacb1d62e6c004f57358a177b2c2","textHash":"165f340828c1a8f7a843768ee6ba3e6e1f794e858df61f51bfbdfcdf2b1197b8","observedAt":"2026-11-13T11:50:08.624Z"}}],"participationCoverage":{"total":1,"returned":1,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2611.16215","snapshotId":"b0ac0acdaad9a82d0d2ef2b03c9152fd66d13965c2e916fde6bde5a6589c3816","contentSha256":"c993c06e2bfb34c9e946180ec115bf46a533dacb1d62e6c004f57358a177b2c2","textHash":"165f340828c1a8f7a843768ee6ba3e6e1f794e858df61f51bfbdfcdf2b1197b8","observedAt":"2026-11-13T11:50:08.624Z","basis":"publisher-page-metadata","sourceLinks":40,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/1164f544e3fbea0eb80b1a868d11154297e29c706b0ee6984005b49387935038/source"}},"canonicalUrl":"https://escapemeridian.com/readings/guided-generation-of-linux-kernel-semantic-patches-with-small-1164f544","formats":{"html":"/readings/guided-generation-of-linux-kernel-semantic-patches-with-small-1164f544","markdown":"/readings/guided-generation-of-linux-kernel-semantic-patches-with-small-1164f544.md","json":"/readings/guided-generation-of-linux-kernel-semantic-patches-with-small-1164f544.json"},"attribution":"Headline and summary by Escape Meridian, prepared by Luna from the attributed source. A source check is not independent confirmation of the source’s claims.","maintainedGuideLinks":[],"readerContext":{"version":"reader-context-v1","attribution":"Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement.","terms":[{"id":"term-api","name":"API","explanation":"An application programming interface: a defined way for software to request data or actions from another system.","referenceUrl":"https://developer.mozilla.org/en-US/docs/Glossary/API"},{"id":"term-llm","name":"Large language model","explanation":"A language model with many learned numerical settings, used to process and generate language.","referenceUrl":"https://developers.google.com/machine-learning/glossary#large-language-model"},{"id":"term-held-out-set","name":"Held-out set","explanation":"Data kept aside during training and used only to test how well a model works on examples it has not seen.","referenceUrl":"https://developers.google.com/machine-learning/glossary#holdout-data"}],"entities":[{"id":"arxiv","name":"arXiv","kind":"organization","context":"arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.","referenceUrls":["https://arxiv.org/","https://info.arxiv.org/help/api/index.html"],"path":"/entities/arxiv","json":"/entities/arxiv.json","markdown":"/entities/arxiv.md"}]},"researchQuestions":[],"withdrawn":false,"references":{"schemaVersion":1,"target":{"type":"reading","id":"1164f544e3fbea0eb80b1a868d11154297e29c706b0ee6984005b49387935038","revision":"76b37e9d-3478-4e37-81a0-366eb9fc23b7","revisionKind":"publication-id","title":"Guided Generation of Linux Kernel Semantic Patches with Small Local Language Models","url":"https://escapemeridian.com/readings/guided-generation-of-linux-kernel-semantic-patches-with-small-1164f544"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.16215","revision":"165f340828c1a8f7a843768ee6ba3e6e1f794e858df61f51bfbdfcdf2b1197b8","revisionKind":"sha256-source-text","title":"Guided Generation of Linux Kernel Semantic Patches with Small Local Language Models","url":"https://arxiv.org/abs/2611.16215"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."},"revisions":[{"id":"1164f544e3fbea0eb80b1a868d11154297e29c706b0ee6984005b49387935038","title":"Guided Generation of Linux Kernel Semantic Patches with Small Local Language Models","argument":"Mohanned Ahmed asks whether small open language models running on a laptop can help convert Linux kernel API changes into Coccinelle semantic patches, rules used for tree-wide code changes. The approach turns earlier human conversions into examples: scripts split them into change variants, the model writes a rule for each variant, and feedback comes from applying rules to examples. Deterministic components repair SmPL syntax and generalise driver-specific names; a compile critic repairs or rejects rules whose output does not build. In a pre-registered test of 7 migrations and 122 held-out driver conversions, a conversion counted as solved only if it matched the human fix and compiled. Ahmed reports that guided Qwen2.5-Coder 7B solved 35.3 conversions on average over three seeds, compared with 1.0 when prompted directly. Spinfer solved 41 and a frontier LLM agent 66. The local model solved fewer than Spinfer, but its rules were more precise on this test: 0.74 of files they changed were solved, versus 0.55 for Spinfer and 0.70 for the frontier agent. The results describe this task and test set; they do not establish performance on other migrations. Ahmed says the code, prompts, model responses and results are released.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The evaluation covers 7 migrations and 122 held-out driver conversions; the reported results do not establish performance on other migrations. The source describes results for the tested models and setup, not a general comparison across all small local language models.","speaker":{"name":"Ahmed, Mohanned","roleAtSource":"Article author"},"source":{"title":"Guided Generation of Linux Kernel Semantic Patches with Small Local Language Models","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2611.16215","publishedAt":"2026-11-12","dateBasis":"Date basis not provided."},"evidence":[{"text":"Ahmed evaluates guided code generation on 7 migrations and 122 held-out driver conversions, counting a conversion as solved only when the output matches the human fix and compiles.","excerpt":"a pre-registered test set of 7 migrations whose new APIs appeared after the training cutoffs of all three models","url":"https://arxiv.org/abs/2611.16215","relationship":"Source-stated"},{"text":"In this evaluation, Qwen2.5-Coder 7B solved 35.3 conversions on average over three seeds with the framework, compared with 1.0 when prompted directly.","excerpt":"Qwen2.5-Coder solves 35.3 conversions on average over three seeds (range 32-41), against 1.0 when prompted directly","url":"https://arxiv.org/abs/2611.16215","relationship":"Source-stated"},{"text":"The local model solved fewer conversions than Spinfer, while a greater share of the files it changed were solved in the test.","excerpt":"The local model solves fewer conversions than Spinfer but its rules are the most precise on the test set (0.74 of the files they change are solved, against 0.55 for Spinfer","url":"https://arxiv.org/abs/2611.16215","relationship":"Source-stated"},{"text":"The compile critic removes outputs that match the human fix but do not build.","excerpt":"the compile critic removes every output that matches the human fix but does not build.","url":"https://arxiv.org/abs/2611.16215","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.16215","checkedAt":"2026-11-13T11:50:08.624Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"How would the reported results change on Linux kernel migrations beyond the 7 included in this test?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"Guided Generation of Linux Kernel Semantic Patches with Small Local Language Models","summary":"Mohanned Ahmed asks whether small open language models running on a laptop can help convert Linux kernel API changes into Coccinelle semantic patches, rules used for tree-wide code changes. The approach turns earlier human conversions into examples: scripts split them into change variants, the model writes a rule for each variant, and feedback comes from applying rules to examples. Deterministic components repair SmPL syntax and generalise driver-specific names; a compile critic repairs or rejects rules whose output does not build. In a pre-registered test of 7 migrations and 122 held-out driver conversions, a conversion counted as solved only if it matched the human fix and compiled. Ahmed reports that guided Qwen2.5-Coder 7B solved 35.3 conversions on average over three seeds, compared with 1.0 when prompted directly. Spinfer solved 41 and a frontier LLM agent 66. The local model solved fewer than Spinfer, but its rules were more precise on this test: 0.74 of files they changed were solved, versus 0.55 for Spinfer and 0.70 for the frontier agent. The results describe this task and test set; they do not establish performance on other migrations. Ahmed says the code, prompts, model responses and results are released.","question":"How would the reported results change on Linux kernel migrations beyond the 7 included in this test?","claims":[{"text":"Ahmed evaluates guided code generation on 7 migrations and 122 held-out driver conversions, counting a conversion as solved only when the output matches the human fix and compiles.","excerpt":"a pre-registered test set of 7 migrations whose new APIs appeared after the training cutoffs of all three models","support":"source-stated"},{"text":"In this evaluation, Qwen2.5-Coder 7B solved 35.3 conversions on average over three seeds with the framework, compared with 1.0 when prompted directly.","excerpt":"Qwen2.5-Coder solves 35.3 conversions on average over three seeds (range 32-41), against 1.0 when prompted directly","support":"source-stated"},{"text":"The local model solved fewer conversions than Spinfer, while a greater share of the files it changed were solved in the test.","excerpt":"The local model solves fewer conversions than Spinfer but its rules are the most precise on the test set (0.74 of the files they change are solved, against 0.55 for Spinfer","support":"source-stated"},{"text":"The compile critic removes outputs that match the human fix but do not build.","excerpt":"the compile critic removes every output that matches the human fix but does not build.","support":"source-stated"}],"limitations":["The evaluation covers 7 migrations and 122 held-out driver conversions; the reported results do not establish performance on other migrations.","The source describes results for the tested models and setup, not a general comparison across all small local language models."],"mediaId":"95f361d23224d4a5aa4f9ba8db6fb0f423b54d016483ad18db6e3ee3a8616a44","correctionReason":null,"id":"1164f544e3fbea0eb80b1a868d11154297e29c706b0ee6984005b49387935038","publicationId":"76b37e9d-3478-4e37-81a0-366eb9fc23b7","version":1,"sourceUrl":"https://arxiv.org/abs/2611.16215","sourceTitle":"Guided Generation of Linux Kernel Semantic Patches with Small Local Language Models","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-11-12","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-11-13T07:39:44.971Z","createdAt":"2026-11-13T10:46:40.110Z","historical":false,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"95f361d23224d4a5aa4f9ba8db6fb0f423b54d016483ad18db6e3ee3a8616a44","kind":"article","url":"https://arxiv.org/abs/2611.16215","sourceUrl":"https://arxiv.org/abs/2611.16215","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-13T10:32:09.974Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.16215","checkedAt":"2026-11-13T11:50:08.624Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v7","mediaId":"95f361d23224d4a5aa4f9ba8db6fb0f423b54d016483ad18db6e3ee3a8616a44","confidence":0.73,"provider":"typesafe","model":"jev-1.13.0","inputHash":"b72260258e71c9d119f958eaaefc7942145d0da66bfdecd0aa77c390a934eee3","decidedAt":"2026-11-13T10:32:11.677Z"},"provenance":{"textHash":"165f340828c1a8f7a843768ee6ba3e6e1f794e858df61f51bfbdfcdf2b1197b8","observationId":"24aa5950d83440a4b3dc47747e922dbb8a6283cc25e040d8ccf3ab4e924e0117","retrievedAt":"2026-11-13T10:32:09.708Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"6f5e906d-ef59-4d07-8615-8a4225d68174"},"reviewer":{"model":"gpt-6-luna","runId":"979dacac-f8c9-4a88-8a17-3a78aa63e7a7"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-13T10:46:40.110Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Ahmed, Mohanned","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Ahmed, Mohanned","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Ahmed, Mohanned","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.16215","locator":"head/meta[name=author|citation_author]"},"assertionId":"b0ac0acdaad9a82d0d2ef2b03c9152fd66d13965c2e916fde6bde5a6589c3816:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-13T11:50:08.624Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"b0ac0acdaad9a82d0d2ef2b03c9152fd66d13965c2e916fde6bde5a6589c3816","sourceUrl":"https://arxiv.org/abs/2611.16215","contentSha256":"c993c06e2bfb34c9e946180ec115bf46a533dacb1d62e6c004f57358a177b2c2","textHash":"165f340828c1a8f7a843768ee6ba3e6e1f794e858df61f51bfbdfcdf2b1197b8","observedAt":"2026-11-13T11:50:08.624Z"}}],"participationCoverage":{"total":1,"returned":1,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2611.16215","snapshotId":"b0ac0acdaad9a82d0d2ef2b03c9152fd66d13965c2e916fde6bde5a6589c3816","contentSha256":"c993c06e2bfb34c9e946180ec115bf46a533dacb1d62e6c004f57358a177b2c2","textHash":"165f340828c1a8f7a843768ee6ba3e6e1f794e858df61f51bfbdfcdf2b1197b8","observedAt":"2026-11-13T11:50:08.624Z","basis":"publisher-page-metadata","sourceLinks":40,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/1164f544e3fbea0eb80b1a868d11154297e29c706b0ee6984005b49387935038/source"}}}],"audits":[{"publicationId":"76b37e9d-3478-4e37-81a0-366eb9fc23b7","verdict":"uncertain","findings":[{"dimension":"attribution","status":"pass","explanation":"Mohanned Ahmed is the sole listed author on the arXiv page. The draft consistently attributes the question, method and results to him with phrases such as 'Ahmed reports' and 'Ahmed says'. It does not present his results as independently established.","excerpt":"Authors:Mohanned Ahmed"},{"dimension":"summary","status":"uncertain","explanation":"The numbers are faithful, but a non-specialist lacks the motivating stake. Repair: add that hundreds of drivers are converted by hand over months when an API changes. The draft also drops the condition that the new APIs appeared after all three models' training cutoffs. Repair: add one clause. It omits the finding that Llama 3.1 8B and Gemma 3 4B stayed weak (at most 12 solved). Repair: add one sentence. Spinfer, SmPL and 'seeds' are used without plain explanation; they need tooltips or brief glosses.","excerpt":"When a Linux kernel API changes, hundreds of drivers are converted by hand over months, and the earlier conversions are reviewed examples for the later ones."},{"dimension":"date","status":"pass","explanation":"The originalPublished date of 2026-11-12 matches the v1 submission date on the arXiv page. The feed date of 2026-11-13 is later and is correctly not used.","excerpt":"[Submitted on 12 Nov 2026]"},{"dimension":"support","status":"pass","explanation":"Each claim's excerpt appears verbatim in the abstract and supports the claim. The figures are reported accurately: 35.3 versus 1.0, Spinfer 41, the frontier agent 66, and precision of 0.74, 0.55 and 0.70. The limitations correctly confine the results to this test set and these models. The question follows from the evidence and does not assert an answer. No unsupported benefits or costs are implied.","excerpt":"With the framework, Qwen2.5-Coder solves 35.3 conversions on average over three seeds (range 32-41), against 1.0 when prompted directly; Spinfer solves 41 and a frontier LLM agent 66."},{"dimension":"media","status":"pass","explanation":"The selected media is the verified arXiv abstract page for this paper. It is the direct original source and the most useful link available.","excerpt":null}],"createdAt":"2026-11-13T10:46:40.110Z","model":"anthropic/claude-opus-5.5"}],"correctionUrl":"https://escapemeridian.com/corrections/"}