mirror of
https://github.com/CharlesWiltgen/Axiom.git
synced 2026-09-20 19:58:20 +08:00
Charles Wiltgen
c6fa657e3f
Reviewing the fix pass found three things the fixers' own probes did not. concurrency-profiling.md's fix added `@concurrent func heavyComputation() async -> Int` with a comment-only body. That is `error: missing return in global function expected to return 'Int'` — the fix introduced a defect of the same class it was repairing. It now returns a value. The two files that qualified the NonisolatedNonsendingByDefault claim qualified it in opposite directions: the discipline file said "on by default in new Xcode projects", the router and the auditor said "off by default". Both are true and neither is complete — Xcode's Base_ProjectSettings.xctemplate sets SWIFT_APPROACHABLE_CONCURRENCY = YES, so new Xcode projects have it on, while the build setting's own default is NO and SwiftPM does not enable it. All five sites now say that. The earlier note in this session calling the claim unverifiable was wrong: it is checkable in the template's TemplateInfo.plist. isolation-inheritance-diag.md still told the reader to reproduce the crash by driving Core Data through `context.perform` from a background-spawned task, after the fix deleted the section explaining that it no longer traps. Removed — a cutover the fix pass missed. Verified: 518/518 unit tests, pre-deploy --static clean, inlined-auditor and Cursor drift checks current.