Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science 72829ec4ca wai-quantum: the store rewrites its file at each certification as a demotion would, keeps a demotion in a file of its own, and generation reaches settles past 2^13 and late two-cycles ... A sixth adversarial check of the landscape capacity rule (#678) confirmed 13 findings (1 medium, 12 low). This commit fixes them and keeps each probe as a test (review6_* in landscape_conformance, and run::tests::the_audit_s_threads_are_capped_over_the_process_and_run_low). The demotion store: - Each certification rewrites the store's file as it is, the way a demotion does: a file of its own as large as the largest rewrite a demotion can make, synced, cut back and renamed over the file. A file another user owns in a sticky folder, one marked uchg or uappnd (chflags) or immutable (chattr +i), a long identity and a store written compact now grade nothing bit-exact. A reason is kept to its first 1,024 bytes (STORE_REASON_BYTES), so the rewrite's size is bounded. - A demotion is written at once to a file of its own beside the store (.<name>.demotion.<hex>.json), with no lock to wait for, which every certification reads, and then merged under the exclusive lock. A lock held past 5 s leaves it in its own file until a later demotion merges it: it is kept, not dropped. - The store's temporary files are matched exactly (.<name>.<write|probe|demotion>.<n>.<n>.tmp), made with create_new and held locked by their writer. One unchanged for 10 s that no writer holds is removed at the next certification or demotion (STORE_STALE_AFTER), so a killed certification's probe goes, and no store removes another's file. - Links are followed link by link; a link in a world-writable sticky folder is not followed, and no file of the store's is opened through a link (O_NOFOLLOW, and the opened file checked against the path). A file with two names (a hard link) is refused. Generation: - Units of three cells that move to sweep 11u - 59 (14,956 on 4,095 cells) are stopped past 2^9 to 2^13 sweeps, each on as few units as still move there, and at their last move; units of two where couplings are scarce. The claim of a longest-moving settle is gone. Stale(8182), Stale(10000), Stale(14955) and a 13-bit counter lose the settle grade. - The same units beside an alternating pair end in a two-cycle at sweep 449, the first of a later batch of 64, and at 4,101, where 9- to 12-bit counters read the other phase. The battery: - Its added workloads run in calls of 63 down to 17 chains, every partial warp and workgroup; a call's partial group wrong at 34 to 62, or at even counts, loses statistical. - Section 7.2 states what the likelihood-ratio bound misses (a law some 10% off, a count of cells the battery does not run), a test holds each statement, and every answer from a kernel graded statistical says so (member::STATISTICAL_GRADE). The audit: - The crate docs and the change entry say the job's own thread runs its share at the job's priority, beside the low-priority audit threads; an audit thread whose priority cannot be lowered says so once. A test, run with the module's tests on Linux and in the bits job on Linux arm64 and macOS, holds the cap, setpriority's result and the priority read back, and that every thread is given back. The bits job also runs the store's tests on those platforms' file systems. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-09 13:52:33 -05:00
..
wai-conformance	wai: wasmQ, an OpenQASM 3 program and the WebAssembly its externs call, run the same everywhere, metered and receipted	2026-11-09 13:22:09 -05:00
workflows	wai-quantum: the store rewrites its file at each certification as a demotion would, keeps a demotion in a file of its own, and generation reaches settles past 2^13 and late two-cycles	2026-11-09 13:52:33 -05:00