Repository navigation
The model gives the Windows app its records key, a held store deletion, Task Manager, a launch refusal and timers that stop while the PC sleeps - #166
Merged
Conversation
…ectory as Windows compares paths NTFS ignores case, so two spellings of one folder would key two records and orphan or share stores. windows_records_key reads the text alone, on every system, so the bindings stay one file; macOS keeps WebEnvironment.recordKey. It shares the one-for-one upper case with same_path_in_any_case.
…ld, and its menu item says why WebView2 deletes a profile's folder only as the browser process exits and refuses a profile of the same name until then with ERROR_DELETE_PENDING (CoreWebView2Profile.Delete, WebView2 1.0.4258.31, read 15 October 2026). The model now holds a store answered StoreHeld until StoreDeleted, asks for it after every read, and lists it in AccountWindowsShown.held. macOS answers StoreDeleted at once, so only a deletion WebKit refused waits there.
The app's lingering quit and the core's AppOpen sentence named Activity Monitor on every system; W18's ChatGPT holder reaches both on Windows. The Claude Desktop sentences stay as they are, since Desktop is macOS only for 1.0, and their model tests expect the word of the system they run on.
…usal in place of a model launch_refusal names the app's version to the release gate, as the app's core does, then answers what the gate every change passes refuses, in its order: the release gate, an elevated process, a Windows build below 26100, then a home that is not a full path. The model's first read says the same, so the C# gate test checks both agree on the gated DLL.
…akes none of an app's 30 seconds to quit Instant reads QueryPerformanceCounter on Windows (Rust 1.98.1's sys/time/windows.rs), which Microsoft documents as counting standby and hibernation. pitboard_core::host::awake reads QueryUnbiasedInterruptTimePrecise there, documented as leaving both out, and Instant on macOS and Linux, whose CLOCK_UPTIME_RAW and CLOCK_MONOTONIC leave out a sleep (clock_gettime(3), Linux man-pages 6.19). The model's clock and quit's wait read it. Microsoft's contract: no machine has been put to sleep during a quit yet.
…es stop writing to it Shutdown waits for the actor alone, so a lane can still write into the fixture's .pitboard while the cleanup deletes it. ARunOutIsPostedThroughTheAppsNotifications failed its cleanup 4 runs of 4 on main 8120350 on macOS, against the release dylib with fixtures, and passed 6 of 6 with the cleanup retrying for up to 5 seconds.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
windows_records_key(directory): the key the Windows app keeps its account windows' records under. Lexical, on every system:/as\, no.,..,\\?\or trailing separator, each name upper-cased one for one withsame_path_in_any_case's helper. No short name or link is expanded.StoreHeldstays held untilStoreDeleted: asked again after every read, enrolled again or not, and no window of it opens.AccountWindowsShown.heldlists it, andWindowNoteKind::StoreHeldsays why. On macOS this only changes a deletion WebKit refused.part_still_runningand the core'sAppOpensentence name Task Manager on Windows. The Claude Desktop model tests expect the word of the system they run on.launch_refusal(environment): names the app's version to the release gate, then returns what the gate every change passes refuses:windows_not_released,elevated,system_too_oldorhome_not_absolute.quit's 30-second wait readpitboard_core::host::awake:QueryUnbiasedInterruptTimePreciseon Windows, whereInstantcounts sleep, andInstanton macOS and Linux.WindowsRecordsKey. On the gated DLL,AWindowsModelReadsNothingUntilPitboardForWindowsIsReleasedchecks thatLaunchRefusalmatches the model's first read.Shutdownwaits for the actor alone. On main it failedARunOutIsPostedThroughTheAppsNotifications4 runs of 4 on macOS.launch_refusaland the timers' Windows reading, plus two rows under "Documented, not measured".Windows CI legs are this code's first run.