{"id":"5ad8db68bd2b8ecd2ccb05c47ce2556905b92af8a1cb492a3a620e9191520619","title":"arXiv cs.AI paper: Secure Formal Raising and AI development security","argument":"Rolf Drechsler and Christina Plump propose Secure Formal Raising (SFR), extending Formal Raising to address security in the environment where AI systems are developed. They say SFR models policy integrity, authorization, and confidential data flow using four-valued evidence, which preserves unknown and inconsistent assessments. The authors report proving six security invariants and show that these invariants require admission to accept only confirmed evidence. They also report that a plain-C reference implementation satisfies the invariants in a bounded exhaustive exploration. That exploration exposed a confused-deputy gap for tool calls, which the authors say a provenance requirement closes. The abstract presents formal results and an implementation explored within bounds; it does not establish how the approach performs in broader development environments.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The available evidence is the abstract; it does not specify the bounds, cases, or methods used in the bounded exhaustive exploration. The abstract does not describe implementation results in development environments beyond that bounded exploration.","speaker":{"name":"Drechsler, Rolf, Plump, Christina","roleAtSource":"Article author"},"source":{"title":"Secure Formal Raising: Protecting the Development of AI through Executable Properties","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2611.08042","publishedAt":"2026-11-05","dateBasis":"Date basis not provided."},"evidence":[{"text":"The authors present Secure Formal Raising as an extension of Formal Raising that addresses security in the raising environment.","excerpt":"This paper extends that proposal to the security of the raising environment.","url":"https://arxiv.org/abs/2611.08042","relationship":"Source-stated"},{"text":"SFR models three security concerns using four-valued evidence that preserves unknown and inconsistent assessments.","excerpt":"models policy integrity, authorization, and confidential data flow using four-valued evidence that preserves unknown and inconsistent assessments.","url":"https://arxiv.org/abs/2611.08042","relationship":"Source-stated"},{"text":"The authors report six security invariants and say these require admission to accept only confirmed evidence.","excerpt":"We prove six security invariants and show that they force admission to accept only confirmed evidence.","url":"https://arxiv.org/abs/2611.08042","relationship":"Source-stated"},{"text":"The authors report a bounded exhaustive exploration of a plain-C reference implementation, which exposed a tool-call gap they say a provenance requirement closes.","excerpt":"A plain-C reference implementation satisfies the invariants in a bounded exhaustive exploration, which also exposes a confused-deputy gap for tool calls that a provenance requirement closes.","url":"https://arxiv.org/abs/2611.08042","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.08042","checkedAt":"2026-11-09T01:54:08.411Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"What systems and cases fall within the bounded exhaustive exploration, and how would the reported results extend beyond those bounds?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv cs.AI paper: Secure Formal Raising and AI development security","summary":"Rolf Drechsler and Christina Plump propose Secure Formal Raising (SFR), extending Formal Raising to address security in the environment where AI systems are developed. They say SFR models policy integrity, authorization, and confidential data flow using four-valued evidence, which preserves unknown and inconsistent assessments. The authors report proving six security invariants and show that these invariants require admission to accept only confirmed evidence. They also report that a plain-C reference implementation satisfies the invariants in a bounded exhaustive exploration. That exploration exposed a confused-deputy gap for tool calls, which the authors say a provenance requirement closes. The abstract presents formal results and an implementation explored within bounds; it does not establish how the approach performs in broader development environments.","question":"What systems and cases fall within the bounded exhaustive exploration, and how would the reported results extend beyond those bounds?","claims":[{"text":"The authors present Secure Formal Raising as an extension of Formal Raising that addresses security in the raising environment.","excerpt":"This paper extends that proposal to the security of the raising environment.","support":"source-stated"},{"text":"SFR models three security concerns using four-valued evidence that preserves unknown and inconsistent assessments.","excerpt":"models policy integrity, authorization, and confidential data flow using four-valued evidence that preserves unknown and inconsistent assessments.","support":"source-stated"},{"text":"The authors report six security invariants and say these require admission to accept only confirmed evidence.","excerpt":"We prove six security invariants and show that they force admission to accept only confirmed evidence.","support":"source-stated"},{"text":"The authors report a bounded exhaustive exploration of a plain-C reference implementation, which exposed a tool-call gap they say a provenance requirement closes.","excerpt":"A plain-C reference implementation satisfies the invariants in a bounded exhaustive exploration, which also exposes a confused-deputy gap for tool calls that a provenance requirement closes.","support":"source-stated"}],"limitations":["The available evidence is the abstract; it does not specify the bounds, cases, or methods used in the bounded exhaustive exploration.","The abstract does not describe implementation results in development environments beyond that bounded exploration."],"mediaId":"09428c9ba990d553642e3d7d79eceba6abb475d78c0e1e17bc61f712b6ba78f0","correctionReason":null,"id":"5ad8db68bd2b8ecd2ccb05c47ce2556905b92af8a1cb492a3a620e9191520619","publicationId":"fe88a9f2-f60e-47a7-83ef-01ec57d05e05","version":1,"sourceUrl":"https://arxiv.org/abs/2611.08042","sourceTitle":"Secure Formal Raising: Protecting the Development of AI through Executable Properties","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-11-05","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-11-06T05:00:56.124Z","createdAt":"2026-11-09T01:23:24.574Z","historical":true,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"09428c9ba990d553642e3d7d79eceba6abb475d78c0e1e17bc61f712b6ba78f0","kind":"article","url":"https://arxiv.org/abs/2611.08042","sourceUrl":"https://arxiv.org/abs/2611.08042","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-09T01:22:38.971Z","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.08042","checkedAt":"2026-11-09T01:54:08.411Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"09428c9ba990d553642e3d7d79eceba6abb475d78c0e1e17bc61f712b6ba78f0","confidence":0.61,"provider":"typesafe","model":"jev-1.13.0","inputHash":"0887ac7c9ae0b4583e356fb8541e07c0f5d22b6dea21273a859d5a1126fc3a45","decidedAt":"2026-11-09T01:22:40.686Z"},"provenance":{"textHash":"f3c329de459bdf98af7904d0050e432fae5f796a621dbcaca430d2fee74bd920","observationId":"1bd0f00a816069b81453ef6d996b07c09cc256f0aa2fb4b66e62d8fd3004da8e","retrievedAt":"2026-11-09T01:22:38.693Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"27045361-f7bb-4fef-8701-03e35061999c"},"reviewer":{"model":"gpt-6-luna","runId":"f84374d6-6af9-45b5-83a5-9d5f52c10266"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-09T01:23:24.574Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Drechsler, Rolf","url":null,"kind":"unknown"},{"name":"Plump, Christina","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Drechsler, Rolf","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Drechsler, Rolf","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.08042","locator":"head/meta[name=author|citation_author]"},"assertionId":"f9beb4a30162264a9e6c94e67be02b9fd463ca0ff574c91d2f10cb7fc6d38a37:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-09T01:54:08.411Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"f9beb4a30162264a9e6c94e67be02b9fd463ca0ff574c91d2f10cb7fc6d38a37","sourceUrl":"https://arxiv.org/abs/2611.08042","contentSha256":"6d55a60151c8a8a080543b738be85664117c33bb25edd1eb6218aa8069d5ba1e","textHash":"f3c329de459bdf98af7904d0050e432fae5f796a621dbcaca430d2fee74bd920","observedAt":"2026-11-09T01:54:08.411Z"}},{"actor":{"name":"Plump, Christina","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Plump, Christina","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.08042","locator":"head/meta[name=author|citation_author]"},"assertionId":"f9beb4a30162264a9e6c94e67be02b9fd463ca0ff574c91d2f10cb7fc6d38a37:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-09T01:54:08.411Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"f9beb4a30162264a9e6c94e67be02b9fd463ca0ff574c91d2f10cb7fc6d38a37","sourceUrl":"https://arxiv.org/abs/2611.08042","contentSha256":"6d55a60151c8a8a080543b738be85664117c33bb25edd1eb6218aa8069d5ba1e","textHash":"f3c329de459bdf98af7904d0050e432fae5f796a621dbcaca430d2fee74bd920","observedAt":"2026-11-09T01:54:08.411Z"}}],"participationCoverage":{"total":2,"returned":2,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2611.08042","snapshotId":"f9beb4a30162264a9e6c94e67be02b9fd463ca0ff574c91d2f10cb7fc6d38a37","contentSha256":"6d55a60151c8a8a080543b738be85664117c33bb25edd1eb6218aa8069d5ba1e","textHash":"f3c329de459bdf98af7904d0050e432fae5f796a621dbcaca430d2fee74bd920","observedAt":"2026-11-09T01:54:08.411Z","basis":"publisher-page-metadata","sourceLinks":40,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/5ad8db68bd2b8ecd2ccb05c47ce2556905b92af8a1cb492a3a620e9191520619/source"}},"canonicalUrl":"https://escapemeridian.com/readings/arxiv-cs-ai-paper-secure-formal-raising-and-ai-development-5ad8db68","formats":{"html":"/readings/arxiv-cs-ai-paper-secure-formal-raising-and-ai-development-5ad8db68","markdown":"/readings/arxiv-cs-ai-paper-secure-formal-raising-and-ai-development-5ad8db68.md","json":"/readings/arxiv-cs-ai-paper-secure-formal-raising-and-ai-development-5ad8db68.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"}]},"researchQuestions":[],"withdrawn":false,"references":{"schemaVersion":1,"target":{"type":"reading","id":"5ad8db68bd2b8ecd2ccb05c47ce2556905b92af8a1cb492a3a620e9191520619","revision":"fe88a9f2-f60e-47a7-83ef-01ec57d05e05","revisionKind":"publication-id","title":"arXiv cs.AI paper: Secure Formal Raising and AI development security","url":"https://escapemeridian.com/readings/arxiv-cs-ai-paper-secure-formal-raising-and-ai-development-5ad8db68"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.08042","revision":"f3c329de459bdf98af7904d0050e432fae5f796a621dbcaca430d2fee74bd920","revisionKind":"sha256-source-text","title":"Secure Formal Raising: Protecting the Development of AI through Executable Properties","url":"https://arxiv.org/abs/2611.08042"},"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":"5ad8db68bd2b8ecd2ccb05c47ce2556905b92af8a1cb492a3a620e9191520619","title":"arXiv cs.AI paper: Secure Formal Raising and AI development security","argument":"Rolf Drechsler and Christina Plump propose Secure Formal Raising (SFR), extending Formal Raising to address security in the environment where AI systems are developed. They say SFR models policy integrity, authorization, and confidential data flow using four-valued evidence, which preserves unknown and inconsistent assessments. The authors report proving six security invariants and show that these invariants require admission to accept only confirmed evidence. They also report that a plain-C reference implementation satisfies the invariants in a bounded exhaustive exploration. That exploration exposed a confused-deputy gap for tool calls, which the authors say a provenance requirement closes. The abstract presents formal results and an implementation explored within bounds; it does not establish how the approach performs in broader development environments.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The available evidence is the abstract; it does not specify the bounds, cases, or methods used in the bounded exhaustive exploration. The abstract does not describe implementation results in development environments beyond that bounded exploration.","speaker":{"name":"Drechsler, Rolf, Plump, Christina","roleAtSource":"Article author"},"source":{"title":"Secure Formal Raising: Protecting the Development of AI through Executable Properties","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2611.08042","publishedAt":"2026-11-05","dateBasis":"Date basis not provided."},"evidence":[{"text":"The authors present Secure Formal Raising as an extension of Formal Raising that addresses security in the raising environment.","excerpt":"This paper extends that proposal to the security of the raising environment.","url":"https://arxiv.org/abs/2611.08042","relationship":"Source-stated"},{"text":"SFR models three security concerns using four-valued evidence that preserves unknown and inconsistent assessments.","excerpt":"models policy integrity, authorization, and confidential data flow using four-valued evidence that preserves unknown and inconsistent assessments.","url":"https://arxiv.org/abs/2611.08042","relationship":"Source-stated"},{"text":"The authors report six security invariants and say these require admission to accept only confirmed evidence.","excerpt":"We prove six security invariants and show that they force admission to accept only confirmed evidence.","url":"https://arxiv.org/abs/2611.08042","relationship":"Source-stated"},{"text":"The authors report a bounded exhaustive exploration of a plain-C reference implementation, which exposed a tool-call gap they say a provenance requirement closes.","excerpt":"A plain-C reference implementation satisfies the invariants in a bounded exhaustive exploration, which also exposes a confused-deputy gap for tool calls that a provenance requirement closes.","url":"https://arxiv.org/abs/2611.08042","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.08042","checkedAt":"2026-11-09T01:54:08.411Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"What systems and cases fall within the bounded exhaustive exploration, and how would the reported results extend beyond those bounds?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv cs.AI paper: Secure Formal Raising and AI development security","summary":"Rolf Drechsler and Christina Plump propose Secure Formal Raising (SFR), extending Formal Raising to address security in the environment where AI systems are developed. They say SFR models policy integrity, authorization, and confidential data flow using four-valued evidence, which preserves unknown and inconsistent assessments. The authors report proving six security invariants and show that these invariants require admission to accept only confirmed evidence. They also report that a plain-C reference implementation satisfies the invariants in a bounded exhaustive exploration. That exploration exposed a confused-deputy gap for tool calls, which the authors say a provenance requirement closes. The abstract presents formal results and an implementation explored within bounds; it does not establish how the approach performs in broader development environments.","question":"What systems and cases fall within the bounded exhaustive exploration, and how would the reported results extend beyond those bounds?","claims":[{"text":"The authors present Secure Formal Raising as an extension of Formal Raising that addresses security in the raising environment.","excerpt":"This paper extends that proposal to the security of the raising environment.","support":"source-stated"},{"text":"SFR models three security concerns using four-valued evidence that preserves unknown and inconsistent assessments.","excerpt":"models policy integrity, authorization, and confidential data flow using four-valued evidence that preserves unknown and inconsistent assessments.","support":"source-stated"},{"text":"The authors report six security invariants and say these require admission to accept only confirmed evidence.","excerpt":"We prove six security invariants and show that they force admission to accept only confirmed evidence.","support":"source-stated"},{"text":"The authors report a bounded exhaustive exploration of a plain-C reference implementation, which exposed a tool-call gap they say a provenance requirement closes.","excerpt":"A plain-C reference implementation satisfies the invariants in a bounded exhaustive exploration, which also exposes a confused-deputy gap for tool calls that a provenance requirement closes.","support":"source-stated"}],"limitations":["The available evidence is the abstract; it does not specify the bounds, cases, or methods used in the bounded exhaustive exploration.","The abstract does not describe implementation results in development environments beyond that bounded exploration."],"mediaId":"09428c9ba990d553642e3d7d79eceba6abb475d78c0e1e17bc61f712b6ba78f0","correctionReason":null,"id":"5ad8db68bd2b8ecd2ccb05c47ce2556905b92af8a1cb492a3a620e9191520619","publicationId":"fe88a9f2-f60e-47a7-83ef-01ec57d05e05","version":1,"sourceUrl":"https://arxiv.org/abs/2611.08042","sourceTitle":"Secure Formal Raising: Protecting the Development of AI through Executable Properties","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-11-05","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-11-06T05:00:56.124Z","createdAt":"2026-11-09T01:23:24.574Z","historical":true,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"09428c9ba990d553642e3d7d79eceba6abb475d78c0e1e17bc61f712b6ba78f0","kind":"article","url":"https://arxiv.org/abs/2611.08042","sourceUrl":"https://arxiv.org/abs/2611.08042","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-09T01:22:38.971Z","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.08042","checkedAt":"2026-11-09T01:54:08.411Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"09428c9ba990d553642e3d7d79eceba6abb475d78c0e1e17bc61f712b6ba78f0","confidence":0.61,"provider":"typesafe","model":"jev-1.13.0","inputHash":"0887ac7c9ae0b4583e356fb8541e07c0f5d22b6dea21273a859d5a1126fc3a45","decidedAt":"2026-11-09T01:22:40.686Z"},"provenance":{"textHash":"f3c329de459bdf98af7904d0050e432fae5f796a621dbcaca430d2fee74bd920","observationId":"1bd0f00a816069b81453ef6d996b07c09cc256f0aa2fb4b66e62d8fd3004da8e","retrievedAt":"2026-11-09T01:22:38.693Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"27045361-f7bb-4fef-8701-03e35061999c"},"reviewer":{"model":"gpt-6-luna","runId":"f84374d6-6af9-45b5-83a5-9d5f52c10266"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-09T01:23:24.574Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Drechsler, Rolf","url":null,"kind":"unknown"},{"name":"Plump, Christina","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Drechsler, Rolf","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Drechsler, Rolf","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.08042","locator":"head/meta[name=author|citation_author]"},"assertionId":"f9beb4a30162264a9e6c94e67be02b9fd463ca0ff574c91d2f10cb7fc6d38a37:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-09T01:54:08.411Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"f9beb4a30162264a9e6c94e67be02b9fd463ca0ff574c91d2f10cb7fc6d38a37","sourceUrl":"https://arxiv.org/abs/2611.08042","contentSha256":"6d55a60151c8a8a080543b738be85664117c33bb25edd1eb6218aa8069d5ba1e","textHash":"f3c329de459bdf98af7904d0050e432fae5f796a621dbcaca430d2fee74bd920","observedAt":"2026-11-09T01:54:08.411Z"}},{"actor":{"name":"Plump, Christina","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Plump, Christina","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.08042","locator":"head/meta[name=author|citation_author]"},"assertionId":"f9beb4a30162264a9e6c94e67be02b9fd463ca0ff574c91d2f10cb7fc6d38a37:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-09T01:54:08.411Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"f9beb4a30162264a9e6c94e67be02b9fd463ca0ff574c91d2f10cb7fc6d38a37","sourceUrl":"https://arxiv.org/abs/2611.08042","contentSha256":"6d55a60151c8a8a080543b738be85664117c33bb25edd1eb6218aa8069d5ba1e","textHash":"f3c329de459bdf98af7904d0050e432fae5f796a621dbcaca430d2fee74bd920","observedAt":"2026-11-09T01:54:08.411Z"}}],"participationCoverage":{"total":2,"returned":2,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2611.08042","snapshotId":"f9beb4a30162264a9e6c94e67be02b9fd463ca0ff574c91d2f10cb7fc6d38a37","contentSha256":"6d55a60151c8a8a080543b738be85664117c33bb25edd1eb6218aa8069d5ba1e","textHash":"f3c329de459bdf98af7904d0050e432fae5f796a621dbcaca430d2fee74bd920","observedAt":"2026-11-09T01:54:08.411Z","basis":"publisher-page-metadata","sourceLinks":40,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/5ad8db68bd2b8ecd2ccb05c47ce2556905b92af8a1cb492a3a620e9191520619/source"}}}],"audits":[{"publicationId":"fe88a9f2-f60e-47a7-83ef-01ec57d05e05","verdict":"uncertain","findings":[{"dimension":"attribution","status":"pass","explanation":"The reading correctly attributes the paper to Rolf Drechsler and Christina Plump. It frames the proofs, implementation results and the provenance fix as the authors' reports, not as established facts.","excerpt":"Authors:Rolf Drechsler, Christina Plump"},{"dimension":"summary","status":"uncertain","explanation":"The reading is faithful but hard to follow without specialist background. It omits the framing that model raising revisits Turing's developmental view, so 'raising' and 'Formal Raising' go unexplained. Central terms are also left opaque: invariants, admission, four-valued evidence, confused-deputy gap, provenance requirement and bounded exhaustive exploration. Smallest repair: add one plain-language clause on model raising (developing AI the way intelligence develops, per Turing). Briefly gloss admission and the confused-deputy problem, a tool being tricked into misusing its authority, or attach term tooltips.","excerpt":"Model raising revisits Turing's developmental view of machine intelligence."},{"dimension":"date","status":"pass","explanation":"The originalPublished date of 2026-11-05 matches the arXiv v1 submission date. The feed date of Nov 6 is a later announcement.","excerpt":"[Submitted on 5 Nov 2026]"},{"dimension":"support","status":"pass","explanation":"All four claims quote the abstract verbatim and stay within its scope. The limitations about unspecified bounds and untested broader environments are fair and accurately labeled. The question follows from the bounded nature of the exploration and does not assume an answer. The reading invents no benefits or costs.","excerpt":"A plain-C reference implementation satisfies the invariants in a bounded exhaustive exploration"},{"dimension":"media","status":"pass","explanation":"The selected media is the verified arXiv abstract page, which is the direct original source for this paper.","excerpt":null}],"createdAt":"2026-11-09T01:23:24.574Z","model":"anthropic/claude-opus-5.5"}],"correctionUrl":"https://escapemeridian.com/corrections/"}