{"id":"2233644de444fdb338322e1929c9916fc8b01746cd37e26fd55833a43bbb609d","title":"arXiv cs.AI: Lean Proof Stability Under Program Refactoring","argument":"Authors Aravind Mandiga and Guoming Li introduce RefactorProof to test whether the same proof remains valid after a program refactoring that preserves behavior. They derive 458 Lean-certified variants from 185 VERINA tasks that compile in their pinned environment, holding the specification and evaluated proof fixed byte-for-byte.\n\nThe authors report task-normalized structural PSR of 4.3% for supplied references and 13.3–26.8% for specialized provers. On matched tasks, specialized prover proofs had higher overall unchanged-proof survival than supplied reference artifacts: the reported gains were 15.6 points for DeepSeek-Prover-V2-7B, 18.8 for Goedel-Prover-V2-32B, and 20.3 for Goedel-Prover-V2-8B. They say the ordering persists under several alternative analyses.\n\nThe authors distinguish unchanged-proof failure from repair cost: predefined one-identifier edits repaired many eligible failures. RefactorProof measures unchanged-proof stability under program refactoring, not the cost of maintaining a proof after it breaks. The comparisons cover a limited set of short, non-recursive tasks; whether the results extend to a broader range of tasks and refactorings remains open.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The primary model-versus-reference comparisons match only 21–25 short, non-recursive tasks; the evidence does not establish whether the results generalize to broader tasks or refactorings. RefactorProof measures unchanged-proof stability under program refactoring, not the cost of maintaining a proof after it breaks.","speaker":{"name":"Mandiga, Aravind, Li, Guoming","roleAtSource":"Article author"},"source":{"title":"How Stable Are LLM-Generated Proofs Under Program Refactoring? A Stress Test for Verifiable Code Generation","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2610.36328","publishedAt":"2026-10-26","dateBasis":"Date basis not provided."},"evidence":[{"text":"The authors introduce RefactorProof to evaluate whether proofs remain valid after behavior-preserving program refactoring.","excerpt":"We ask whether the same proof remains valid after a program refactoring that preserves behavior. We introduce RefactorProof","url":"https://arxiv.org/abs/2610.36328","relationship":"Source-stated"},{"text":"RefactorProof derives 458 Lean-certified variants from 185 VERINA tasks that compile in the authors' pinned environment, while holding specifications and evaluated proofs fixed byte-for-byte.","excerpt":"derives 458 Lean-certified variants from the 185 VERINA tasks that compile in our pinned environment while holding the specification and evaluated proof fixed byte-for-byte.","url":"https://arxiv.org/abs/2610.36328","relationship":"Source-stated"},{"text":"Task-normalized structural PSR was 4.3% for supplied reference proofs and 13.3–26.8% for specialized provers.","excerpt":"task-normalized structural PSR is 4.3% for the supplied references and 13.3-26.8% for the specialized provers.","url":"https://arxiv.org/abs/2610.36328","relationship":"Source-stated"},{"text":"On matched tasks, specialized prover proofs had higher overall unchanged-proof survival than supplied reference artifacts, with gains of 15.6, 18.8, and 20.3 points for three models.","excerpt":"+15.6 points for DeepSeek-Prover-V2-7B, +18.8 for Goedel-Prover-V2-32B, and +20.3 for Goedel-Prover-V2-8B","url":"https://arxiv.org/abs/2610.36328","relationship":"Source-stated"},{"text":"The authors caution that unchanged-proof failure is not the same as repair cost; predefined one-identifier edits repaired many eligible failures.","excerpt":"predefined one-identifier edits repair 51/54 eligible reference structural failures and 58/85 eligible prover failures.","url":"https://arxiv.org/abs/2610.36328","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2610.36328","checkedAt":"2026-11-07T01:24:08.455Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"How well would the comparison between specialized prover proofs and supplied references hold across a broader range of tasks and refactorings?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv cs.AI: Lean Proof Stability Under Program Refactoring","summary":"Authors Aravind Mandiga and Guoming Li introduce RefactorProof to test whether the same proof remains valid after a program refactoring that preserves behavior. They derive 458 Lean-certified variants from 185 VERINA tasks that compile in their pinned environment, holding the specification and evaluated proof fixed byte-for-byte.\n\nThe authors report task-normalized structural PSR of 4.3% for supplied references and 13.3–26.8% for specialized provers. On matched tasks, specialized prover proofs had higher overall unchanged-proof survival than supplied reference artifacts: the reported gains were 15.6 points for DeepSeek-Prover-V2-7B, 18.8 for Goedel-Prover-V2-32B, and 20.3 for Goedel-Prover-V2-8B. They say the ordering persists under several alternative analyses.\n\nThe authors distinguish unchanged-proof failure from repair cost: predefined one-identifier edits repaired many eligible failures. RefactorProof measures unchanged-proof stability under program refactoring, not the cost of maintaining a proof after it breaks. The comparisons cover a limited set of short, non-recursive tasks; whether the results extend to a broader range of tasks and refactorings remains open.","question":"How well would the comparison between specialized prover proofs and supplied references hold across a broader range of tasks and refactorings?","claims":[{"text":"The authors introduce RefactorProof to evaluate whether proofs remain valid after behavior-preserving program refactoring.","excerpt":"We ask whether the same proof remains valid after a program refactoring that preserves behavior. We introduce RefactorProof","support":"source-stated"},{"text":"RefactorProof derives 458 Lean-certified variants from 185 VERINA tasks that compile in the authors' pinned environment, while holding specifications and evaluated proofs fixed byte-for-byte.","excerpt":"derives 458 Lean-certified variants from the 185 VERINA tasks that compile in our pinned environment while holding the specification and evaluated proof fixed byte-for-byte.","support":"source-stated"},{"text":"Task-normalized structural PSR was 4.3% for supplied reference proofs and 13.3–26.8% for specialized provers.","excerpt":"task-normalized structural PSR is 4.3% for the supplied references and 13.3-26.8% for the specialized provers.","support":"source-stated"},{"text":"On matched tasks, specialized prover proofs had higher overall unchanged-proof survival than supplied reference artifacts, with gains of 15.6, 18.8, and 20.3 points for three models.","excerpt":"+15.6 points for DeepSeek-Prover-V2-7B, +18.8 for Goedel-Prover-V2-32B, and +20.3 for Goedel-Prover-V2-8B","support":"source-stated"},{"text":"The authors caution that unchanged-proof failure is not the same as repair cost; predefined one-identifier edits repaired many eligible failures.","excerpt":"predefined one-identifier edits repair 51/54 eligible reference structural failures and 58/85 eligible prover failures.","support":"source-stated"}],"limitations":["The primary model-versus-reference comparisons match only 21–25 short, non-recursive tasks; the evidence does not establish whether the results generalize to broader tasks or refactorings.","RefactorProof measures unchanged-proof stability under program refactoring, not the cost of maintaining a proof after it breaks."],"mediaId":"71cf58516c356f01415bf5d1b485c455565b5b8bb0daac0210d584ab10407c1f","correctionReason":null,"id":"2233644de444fdb338322e1929c9916fc8b01746cd37e26fd55833a43bbb609d","publicationId":"ba2790d9-3297-46bd-8d49-1d00aa7828e0","version":1,"sourceUrl":"https://arxiv.org/abs/2610.36328","sourceTitle":"How Stable Are LLM-Generated Proofs Under Program Refactoring? A Stress Test for Verifiable Code Generation","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-10-26","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-10-28T04:24:42.575Z","createdAt":"2026-11-05T15:16:50.686Z","historical":true,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"71cf58516c356f01415bf5d1b485c455565b5b8bb0daac0210d584ab10407c1f","kind":"article","url":"https://arxiv.org/abs/2610.36328","sourceUrl":"https://arxiv.org/abs/2610.36328","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-10-29T20:32:17.716Z","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/2610.36328","checkedAt":"2026-11-07T01:24:08.455Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"71cf58516c356f01415bf5d1b485c455565b5b8bb0daac0210d584ab10407c1f","confidence":0.8200000000000001,"provider":"typesafe","model":"jev-1.13.0","inputHash":"625856455526338e0ba7447c40dee4f5a905f4e64ab9f44a84196156ddcd5f95","decidedAt":"2026-10-29T20:32:18.354Z"},"provenance":{"textHash":"4f167237f1901131c603609a88238f3adf463d79d31058e6adeab6a1c5874683","observationId":"ef222b9b66039abd8f7ef07e4398f8ce8ffb91587515885fafddae4902080b81","retrievedAt":"2026-10-29T20:32:17.373Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"5e9ed13b-39f7-4c4c-8783-15a7a82e9294"},"reviewer":{"model":"gpt-6-luna","runId":"58fddb62-60ae-4147-8360-c577c0ce0a18"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-05T15:16:50.686Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Mandiga, Aravind","url":null,"kind":"unknown"},{"name":"Li, Guoming","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Mandiga, Aravind","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Mandiga, Aravind","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.36328","locator":"head/meta[name=author|citation_author]"},"assertionId":"86b8773b243c4e710b5947f508487353eb04e62104e989e45f7f712c29675ef7:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-10-29T20:32:17.373Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"86b8773b243c4e710b5947f508487353eb04e62104e989e45f7f712c29675ef7","sourceUrl":"https://arxiv.org/abs/2610.36328","contentSha256":"50286febb8056bb713e6eacb0beb420db286b36afb21c15b4b0285e100b09dce","textHash":"4f167237f1901131c603609a88238f3adf463d79d31058e6adeab6a1c5874683","observedAt":"2026-10-29T20:32:17.373Z"}},{"actor":{"name":"Li, Guoming","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Li, Guoming","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.36328","locator":"head/meta[name=author|citation_author]"},"assertionId":"86b8773b243c4e710b5947f508487353eb04e62104e989e45f7f712c29675ef7:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-10-29T20:32:17.373Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"86b8773b243c4e710b5947f508487353eb04e62104e989e45f7f712c29675ef7","sourceUrl":"https://arxiv.org/abs/2610.36328","contentSha256":"50286febb8056bb713e6eacb0beb420db286b36afb21c15b4b0285e100b09dce","textHash":"4f167237f1901131c603609a88238f3adf463d79d31058e6adeab6a1c5874683","observedAt":"2026-10-29T20:32:17.373Z"}}],"participationCoverage":{"total":2,"returned":2,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2610.36328","snapshotId":"86b8773b243c4e710b5947f508487353eb04e62104e989e45f7f712c29675ef7","contentSha256":"50286febb8056bb713e6eacb0beb420db286b36afb21c15b4b0285e100b09dce","textHash":"4f167237f1901131c603609a88238f3adf463d79d31058e6adeab6a1c5874683","observedAt":"2026-10-29T20:32:17.373Z","basis":"publisher-page-metadata","sourceLinks":42,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/2233644de444fdb338322e1929c9916fc8b01746cd37e26fd55833a43bbb609d/source"}},"canonicalUrl":"https://escapemeridian.com/readings/arxiv-cs-ai-lean-proof-stability-under-program-refactoring-2233644d","formats":{"html":"/readings/arxiv-cs-ai-lean-proof-stability-under-program-refactoring-2233644d","markdown":"/readings/arxiv-cs-ai-lean-proof-stability-under-program-refactoring-2233644d.md","json":"/readings/arxiv-cs-ai-lean-proof-stability-under-program-refactoring-2233644d.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":[],"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"},{"id":"lean","name":"Lean","kind":"concept","context":"Lean is a programming language and proof assistant used to express mathematical statements and check formal proofs.","referenceUrls":["https://lean-lang.org/","https://lean-lang.org/theorem_proving_in_lean4/Axioms-and-Computation/"],"path":"/entities/lean","json":"/entities/lean.json","markdown":"/entities/lean.md"}]},"researchQuestions":[],"withdrawn":false,"references":{"schemaVersion":1,"target":{"type":"reading","id":"2233644de444fdb338322e1929c9916fc8b01746cd37e26fd55833a43bbb609d","revision":"ba2790d9-3297-46bd-8d49-1d00aa7828e0","revisionKind":"publication-id","title":"arXiv cs.AI: Lean Proof Stability Under Program Refactoring","url":"https://escapemeridian.com/readings/arxiv-cs-ai-lean-proof-stability-under-program-refactoring-2233644d"},"source":{"type":"source","id":"https://arxiv.org/abs/2610.36328","revision":"4f167237f1901131c603609a88238f3adf463d79d31058e6adeab6a1c5874683","revisionKind":"sha256-source-text","title":"How Stable Are LLM-Generated Proofs Under Program Refactoring? A Stress Test for Verifiable Code Generation","url":"https://arxiv.org/abs/2610.36328"},"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":"2233644de444fdb338322e1929c9916fc8b01746cd37e26fd55833a43bbb609d","title":"arXiv cs.AI: Lean Proof Stability Under Program Refactoring","argument":"Authors Aravind Mandiga and Guoming Li introduce RefactorProof to test whether the same proof remains valid after a program refactoring that preserves behavior. They derive 458 Lean-certified variants from 185 VERINA tasks that compile in their pinned environment, holding the specification and evaluated proof fixed byte-for-byte.\n\nThe authors report task-normalized structural PSR of 4.3% for supplied references and 13.3–26.8% for specialized provers. On matched tasks, specialized prover proofs had higher overall unchanged-proof survival than supplied reference artifacts: the reported gains were 15.6 points for DeepSeek-Prover-V2-7B, 18.8 for Goedel-Prover-V2-32B, and 20.3 for Goedel-Prover-V2-8B. They say the ordering persists under several alternative analyses.\n\nThe authors distinguish unchanged-proof failure from repair cost: predefined one-identifier edits repaired many eligible failures. RefactorProof measures unchanged-proof stability under program refactoring, not the cost of maintaining a proof after it breaks. The comparisons cover a limited set of short, non-recursive tasks; whether the results extend to a broader range of tasks and refactorings remains open.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The primary model-versus-reference comparisons match only 21–25 short, non-recursive tasks; the evidence does not establish whether the results generalize to broader tasks or refactorings. RefactorProof measures unchanged-proof stability under program refactoring, not the cost of maintaining a proof after it breaks.","speaker":{"name":"Mandiga, Aravind, Li, Guoming","roleAtSource":"Article author"},"source":{"title":"How Stable Are LLM-Generated Proofs Under Program Refactoring? A Stress Test for Verifiable Code Generation","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2610.36328","publishedAt":"2026-10-26","dateBasis":"Date basis not provided."},"evidence":[{"text":"The authors introduce RefactorProof to evaluate whether proofs remain valid after behavior-preserving program refactoring.","excerpt":"We ask whether the same proof remains valid after a program refactoring that preserves behavior. We introduce RefactorProof","url":"https://arxiv.org/abs/2610.36328","relationship":"Source-stated"},{"text":"RefactorProof derives 458 Lean-certified variants from 185 VERINA tasks that compile in the authors' pinned environment, while holding specifications and evaluated proofs fixed byte-for-byte.","excerpt":"derives 458 Lean-certified variants from the 185 VERINA tasks that compile in our pinned environment while holding the specification and evaluated proof fixed byte-for-byte.","url":"https://arxiv.org/abs/2610.36328","relationship":"Source-stated"},{"text":"Task-normalized structural PSR was 4.3% for supplied reference proofs and 13.3–26.8% for specialized provers.","excerpt":"task-normalized structural PSR is 4.3% for the supplied references and 13.3-26.8% for the specialized provers.","url":"https://arxiv.org/abs/2610.36328","relationship":"Source-stated"},{"text":"On matched tasks, specialized prover proofs had higher overall unchanged-proof survival than supplied reference artifacts, with gains of 15.6, 18.8, and 20.3 points for three models.","excerpt":"+15.6 points for DeepSeek-Prover-V2-7B, +18.8 for Goedel-Prover-V2-32B, and +20.3 for Goedel-Prover-V2-8B","url":"https://arxiv.org/abs/2610.36328","relationship":"Source-stated"},{"text":"The authors caution that unchanged-proof failure is not the same as repair cost; predefined one-identifier edits repaired many eligible failures.","excerpt":"predefined one-identifier edits repair 51/54 eligible reference structural failures and 58/85 eligible prover failures.","url":"https://arxiv.org/abs/2610.36328","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2610.36328","checkedAt":"2026-11-07T01:24:08.455Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"How well would the comparison between specialized prover proofs and supplied references hold across a broader range of tasks and refactorings?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv cs.AI: Lean Proof Stability Under Program Refactoring","summary":"Authors Aravind Mandiga and Guoming Li introduce RefactorProof to test whether the same proof remains valid after a program refactoring that preserves behavior. They derive 458 Lean-certified variants from 185 VERINA tasks that compile in their pinned environment, holding the specification and evaluated proof fixed byte-for-byte.\n\nThe authors report task-normalized structural PSR of 4.3% for supplied references and 13.3–26.8% for specialized provers. On matched tasks, specialized prover proofs had higher overall unchanged-proof survival than supplied reference artifacts: the reported gains were 15.6 points for DeepSeek-Prover-V2-7B, 18.8 for Goedel-Prover-V2-32B, and 20.3 for Goedel-Prover-V2-8B. They say the ordering persists under several alternative analyses.\n\nThe authors distinguish unchanged-proof failure from repair cost: predefined one-identifier edits repaired many eligible failures. RefactorProof measures unchanged-proof stability under program refactoring, not the cost of maintaining a proof after it breaks. The comparisons cover a limited set of short, non-recursive tasks; whether the results extend to a broader range of tasks and refactorings remains open.","question":"How well would the comparison between specialized prover proofs and supplied references hold across a broader range of tasks and refactorings?","claims":[{"text":"The authors introduce RefactorProof to evaluate whether proofs remain valid after behavior-preserving program refactoring.","excerpt":"We ask whether the same proof remains valid after a program refactoring that preserves behavior. We introduce RefactorProof","support":"source-stated"},{"text":"RefactorProof derives 458 Lean-certified variants from 185 VERINA tasks that compile in the authors' pinned environment, while holding specifications and evaluated proofs fixed byte-for-byte.","excerpt":"derives 458 Lean-certified variants from the 185 VERINA tasks that compile in our pinned environment while holding the specification and evaluated proof fixed byte-for-byte.","support":"source-stated"},{"text":"Task-normalized structural PSR was 4.3% for supplied reference proofs and 13.3–26.8% for specialized provers.","excerpt":"task-normalized structural PSR is 4.3% for the supplied references and 13.3-26.8% for the specialized provers.","support":"source-stated"},{"text":"On matched tasks, specialized prover proofs had higher overall unchanged-proof survival than supplied reference artifacts, with gains of 15.6, 18.8, and 20.3 points for three models.","excerpt":"+15.6 points for DeepSeek-Prover-V2-7B, +18.8 for Goedel-Prover-V2-32B, and +20.3 for Goedel-Prover-V2-8B","support":"source-stated"},{"text":"The authors caution that unchanged-proof failure is not the same as repair cost; predefined one-identifier edits repaired many eligible failures.","excerpt":"predefined one-identifier edits repair 51/54 eligible reference structural failures and 58/85 eligible prover failures.","support":"source-stated"}],"limitations":["The primary model-versus-reference comparisons match only 21–25 short, non-recursive tasks; the evidence does not establish whether the results generalize to broader tasks or refactorings.","RefactorProof measures unchanged-proof stability under program refactoring, not the cost of maintaining a proof after it breaks."],"mediaId":"71cf58516c356f01415bf5d1b485c455565b5b8bb0daac0210d584ab10407c1f","correctionReason":null,"id":"2233644de444fdb338322e1929c9916fc8b01746cd37e26fd55833a43bbb609d","publicationId":"ba2790d9-3297-46bd-8d49-1d00aa7828e0","version":1,"sourceUrl":"https://arxiv.org/abs/2610.36328","sourceTitle":"How Stable Are LLM-Generated Proofs Under Program Refactoring? A Stress Test for Verifiable Code Generation","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-10-26","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-10-28T04:24:42.575Z","createdAt":"2026-11-05T15:16:50.686Z","historical":true,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"71cf58516c356f01415bf5d1b485c455565b5b8bb0daac0210d584ab10407c1f","kind":"article","url":"https://arxiv.org/abs/2610.36328","sourceUrl":"https://arxiv.org/abs/2610.36328","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-10-29T20:32:17.716Z","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/2610.36328","checkedAt":"2026-11-07T01:24:08.455Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"71cf58516c356f01415bf5d1b485c455565b5b8bb0daac0210d584ab10407c1f","confidence":0.8200000000000001,"provider":"typesafe","model":"jev-1.13.0","inputHash":"625856455526338e0ba7447c40dee4f5a905f4e64ab9f44a84196156ddcd5f95","decidedAt":"2026-10-29T20:32:18.354Z"},"provenance":{"textHash":"4f167237f1901131c603609a88238f3adf463d79d31058e6adeab6a1c5874683","observationId":"ef222b9b66039abd8f7ef07e4398f8ce8ffb91587515885fafddae4902080b81","retrievedAt":"2026-10-29T20:32:17.373Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"5e9ed13b-39f7-4c4c-8783-15a7a82e9294"},"reviewer":{"model":"gpt-6-luna","runId":"58fddb62-60ae-4147-8360-c577c0ce0a18"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-05T15:16:50.686Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Mandiga, Aravind","url":null,"kind":"unknown"},{"name":"Li, Guoming","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Mandiga, Aravind","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Mandiga, Aravind","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.36328","locator":"head/meta[name=author|citation_author]"},"assertionId":"86b8773b243c4e710b5947f508487353eb04e62104e989e45f7f712c29675ef7:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-10-29T20:32:17.373Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"86b8773b243c4e710b5947f508487353eb04e62104e989e45f7f712c29675ef7","sourceUrl":"https://arxiv.org/abs/2610.36328","contentSha256":"50286febb8056bb713e6eacb0beb420db286b36afb21c15b4b0285e100b09dce","textHash":"4f167237f1901131c603609a88238f3adf463d79d31058e6adeab6a1c5874683","observedAt":"2026-10-29T20:32:17.373Z"}},{"actor":{"name":"Li, Guoming","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Li, Guoming","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.36328","locator":"head/meta[name=author|citation_author]"},"assertionId":"86b8773b243c4e710b5947f508487353eb04e62104e989e45f7f712c29675ef7:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-10-29T20:32:17.373Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"86b8773b243c4e710b5947f508487353eb04e62104e989e45f7f712c29675ef7","sourceUrl":"https://arxiv.org/abs/2610.36328","contentSha256":"50286febb8056bb713e6eacb0beb420db286b36afb21c15b4b0285e100b09dce","textHash":"4f167237f1901131c603609a88238f3adf463d79d31058e6adeab6a1c5874683","observedAt":"2026-10-29T20:32:17.373Z"}}],"participationCoverage":{"total":2,"returned":2,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2610.36328","snapshotId":"86b8773b243c4e710b5947f508487353eb04e62104e989e45f7f712c29675ef7","contentSha256":"50286febb8056bb713e6eacb0beb420db286b36afb21c15b4b0285e100b09dce","textHash":"4f167237f1901131c603609a88238f3adf463d79d31058e6adeab6a1c5874683","observedAt":"2026-10-29T20:32:17.373Z","basis":"publisher-page-metadata","sourceLinks":42,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/2233644de444fdb338322e1929c9916fc8b01746cd37e26fd55833a43bbb609d/source"}}}],"audits":[{"publicationId":"ba2790d9-3297-46bd-8d49-1d00aa7828e0","verdict":"uncertain","findings":[{"dimension":"attribution","status":"pass","explanation":"The reading correctly attributes RefactorProof and its results to authors Aravind Mandiga and Guoming Li on arXiv cs.AI. It frames the findings as the authors' reports.","excerpt":"Authors:Aravind Mandiga, Guoming Li"},{"dimension":"summary","status":"uncertain","explanation":"The central metric 'task-normalized structural PSR' is never explained, and the source excerpt does not define it. A general reader cannot tell whether 4.3% versus 13.3–26.8% is good or bad. Lean, VERINA, 'specialized provers' and 'refactoring' are also unexplained; add term-library tooltips. The phrase 'repaired many eligible failures' flattens a notable contrast: 51/54 reference failures versus 58/85 prover failures. Smallest repair: restore both fractions, and state that the source does not define PSR. The title and question are otherwise faithful.","excerpt":"Structural refactorings expose substantial brittleness across proof sources: task-normalized structural PSR is 4.3% for the supplied references and 13.3-26.8% for the specialized provers."},{"dimension":"date","status":"pass","explanation":"The originalPublished date of 2026-10-26 matches the v1 submission date. The later feed date was correctly not used.","excerpt":"[Submitted on 26 Oct 2026]"},{"dimension":"support","status":"pass","explanation":"Each claim, including the figures, the 21–25 matched-task limitation and the scope caveat, is supported verbatim by the abstract. The open question follows from the stated limitation. No unsupported benefits or costs are implied.","excerpt":"the primary model-versus-reference comparisons further match on 21-25 short, non-recursive tasks"},{"dimension":"media","status":"pass","explanation":"The selected media is the verified direct link to the original arXiv abstract page. This is the most direct access to the source.","excerpt":null}],"createdAt":"2026-11-05T15:16:50.686Z","model":"anthropic/claude-opus-5.5"}],"correctionUrl":"https://escapemeridian.com/corrections/"}