[turinglambdaai]

Summary

• adopt Rivet's executable rivet-acceptance.rktd contract as the Taskly definition of done
• require shared contracts, real RVT1 backend bridge coverage, native builds, verified packages, and packaged native UI behavior on Windows, macOS arm64/x64, and Linux
• replace the Windows developer-profile/fixed-sleep/CLI-workaround driver with disposable-profile UI Automation
• add SwiftUI AX and GTK4 AT-SPI/Wayland drivers plus stable native accessibility identifiers
• pin CI and release workflows to the merged Rivet acceptance implementation

Evidence policy

Every native UI driver starts the packaged product with a disposable home, performs a real quick-add RPC mutation, waits on observable accessibility state, and archives a fresh interaction trace. Windows and macOS additionally toggle completion and require the changed Event to remove the task from the active view. Drivers only terminate the process they started.

Local verification

• checkout was fast-forwarded from ff8aab9 to current remote 9da8b37 before editing
• git diff --check passes
• PowerShell driver parses successfully
• Python driver compiles successfully
• XAML parses as XML
• acceptance manifest and Racket package wrapper have balanced forms
• local Racket execution remains unavailable on this machine because raco.exe fails before startup with Illegal System DLL Relocation; the PR matrix is the runtime verification