{"event":{"id":"evt-hist-2026phase28-decreasing-diagrams-confluence-preprint","dedupe_key":"mathematics_formal_verification_preprint:2026-10-05:endrullis-ivanov-and-van-raamsdonk-publish-machine-checked-confluence-proof-preprint","event_type":"mathematics_formal_verification_preprint","title":"Endrullis Ivanov and van Raamsdonk publish machine-checked confluence proof preprint","summary":"Authors submitted October 5, 2026 a proof that decreasing diagrams are complete for confluence of arbitrary rewriting systems, supported by Isabelle/HOL and Lean checking. The paper resolves RTA Problem 56 according to its authors; this is not an independently peer-reviewed AI-generated proof claim.","occurred_at":"2026-10-05T00:00:00.000Z","published_at":"2026-10-05T00:00:00.000Z","observed_at":"2026-10-18T08:30:00.000Z","reconstructed_at":"2026-10-18T08:30:00.000Z","ingest_type":"historical_backfill","locations":null,"status":"verified","confidence":0.88,"metadata":{"evidence_only":1,"global_novelty_unproven":1,"original_index_position":1023,"reported_outcomes_not_independently_proven":1},"created_at":"2026-10-19T05:53:59.915Z","updated_at":"2026-10-19T05:53:59.915Z"},"artifacts":[{"id":"art-hist-2026phase28-decreasing-diagrams-confluence-preprint","dedupe_key":"097a33c9534297aed59ed4a42163486de16e5484816242efadfacd4b24876b96","canonical_url":"https://arxiv.org/abs/2610.06368","evidence_locator":"","artifact_type":"source_publication","title":"Endrullis Ivanov and van Raamsdonk publish machine-checked confluence proof preprint","summary":"","creator_entities":[],"released_at":"2026-10-05T00:00:00.000Z","content_hash":null,"metadata":[],"created_at":"2026-10-19T05:53:59.914Z","updated_at":"2026-10-19T05:53:59.914Z","relation":"documented_by"}],"signals":[]}