Understand the failure.
Verify the repair.
Small, reproducible software failures. The broken implementation, the fix that didn’t work, and the one that passed—preserved together.
Explore the cases ↓How results are verified ↗WHAT THE ARCHIVE CONTAINS
100840 executable cases. 20168 are open.
Every case records the implementation that fails, the fix that did not work, and the repair that passed its checks—with recorded outputs and source hashes. This release adds 100840 cases across 20168 failure mechanisms and 254 domains.
The open tier gives you the failure and the unsuccessful fix for one case in every mechanism. The remaining 80672 cases, 5 variants per mechanism, are member-only: the verified repair, its recorded checks, and the full fixture suite are held in the member archive. Read the methodology ↗
A RECORD OF WHAT WENT WRONG
Browse the archive / 100840
Map delete reinsert moves key · case 01
The operation returns a result or retained state that violates this contract: Delete a key if present, then insert its new value at the end of insertion order.
Map delete reinsert moves key · case 02
The operation returns a result or retained state that violates this contract: Delete a key if present, then insert its new value at the end of insertion order.
Map delete reinsert moves key · case 03
The operation returns a result or retained state that violates this contract: Delete a key if present, then insert its new value at the end of insertion order.
Map delete reinsert moves key · case 04
The operation returns a result or retained state that violates this contract: Delete a key if present, then insert its new value at the end of insertion order.
Map delete reinsert moves key · case 05
The operation returns a result or retained state that violates this contract: Delete a key if present, then insert its new value at the end of insertion order.
Map first key removal order · case 01
The operation returns a result or retained state that violates this contract: Remove and return the earliest inserted item, or None if empty; return [item,remainder items].
Map first key removal order · case 02
The operation returns a result or retained state that violates this contract: Remove and return the earliest inserted item, or None if empty; return [item,remainder items].
Map first key removal order · case 03
The operation returns a result or retained state that violates this contract: Remove and return the earliest inserted item, or None if empty; return [item,remainder items].
Map first key removal order · case 04
The operation returns a result or retained state that violates this contract: Remove and return the earliest inserted item, or None if empty; return [item,remainder items].
Map first key removal order · case 05
The operation returns a result or retained state that violates this contract: Remove and return the earliest inserted item, or None if empty; return [item,remainder items].
Map last key removal order · case 01
The operation returns a result or retained state that violates this contract: Remove and return the most recently inserted item, or None if empty; return [item,remainder items].
Map last key removal order · case 02
The operation returns a result or retained state that violates this contract: Remove and return the most recently inserted item, or None if empty; return [item,remainder items].
Map last key removal order · case 03
The operation returns a result or retained state that violates this contract: Remove and return the most recently inserted item, or None if empty; return [item,remainder items].
Map last key removal order · case 04
The operation returns a result or retained state that violates this contract: Remove and return the most recently inserted item, or None if empty; return [item,remainder items].
Map last key removal order · case 05
The operation returns a result or retained state that violates this contract: Remove and return the most recently inserted item, or None if empty; return [item,remainder items].
Map invert groups collisions · case 01
The operation returns a result or retained state that violates this contract: Invert the map into value-to-key-lists, preserving all keys and their insertion order.
Map invert groups collisions · case 02
The operation returns a result or retained state that violates this contract: Invert the map into value-to-key-lists, preserving all keys and their insertion order.
Map invert groups collisions · case 03
The operation returns a result or retained state that violates this contract: Invert the map into value-to-key-lists, preserving all keys and their insertion order.
Map invert groups collisions · case 04
The operation returns a result or retained state that violates this contract: Invert the map into value-to-key-lists, preserving all keys and their insertion order.
Map invert groups collisions · case 05
The operation returns a result or retained state that violates this contract: Invert the map into value-to-key-lists, preserving all keys and their insertion order.
Map filter keys not values · case 01
The operation returns a result or retained state that violates this contract: Keep entries whose keys occur in the supplied allowed-key list, retaining map insertion order.
Map filter keys not values · case 02
The operation returns a result or retained state that violates this contract: Keep entries whose keys occur in the supplied allowed-key list, retaining map insertion order.
Map filter keys not values · case 03
The operation returns a result or retained state that violates this contract: Keep entries whose keys occur in the supplied allowed-key list, retaining map insertion order.
Map filter keys not values · case 04
The operation returns a result or retained state that violates this contract: Keep entries whose keys occur in the supplied allowed-key list, retaining map insertion order.
Map filter keys not values · case 05
The operation returns a result or retained state that violates this contract: Keep entries whose keys occur in the supplied allowed-key list, retaining map insertion order.
Map values retain duplicates · case 01
The operation returns a result or retained state that violates this contract: Return map values in key insertion order, retaining duplicate values.
Map values retain duplicates · case 02
The operation returns a result or retained state that violates this contract: Return map values in key insertion order, retaining duplicate values.
Map values retain duplicates · case 03
The operation returns a result or retained state that violates this contract: Return map values in key insertion order, retaining duplicate values.
Map values retain duplicates · case 04
The operation returns a result or retained state that violates this contract: Return map values in key insertion order, retaining duplicate values.
Map values retain duplicates · case 05
The operation returns a result or retained state that violates this contract: Return map values in key insertion order, retaining duplicate values.
Owner clone requires live owner · case 01
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Cloning requires an owning source and a fresh destination handle.
Owner clone requires live owner · case 02
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Cloning requires an owning source and a fresh destination handle.
Owner clone requires live owner · case 03
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Cloning requires an owning source and a fresh destination handle.
Owner clone requires live owner · case 04
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Cloning requires an owning source and a fresh destination handle.
Owner clone requires live owner · case 05
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Cloning requires an owning source and a fresh destination handle.
Borrow requires live owner · case 01
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Borrow creation requires an owning source and a fresh handle.
Borrow requires live owner · case 02
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Borrow creation requires an owning source and a fresh handle.
Borrow requires live owner · case 03
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Borrow creation requires an owning source and a fresh handle.
Borrow requires live owner · case 04
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Borrow creation requires an owning source and a fresh handle.
Borrow requires live owner · case 05
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Borrow creation requires an owning source and a fresh handle.
Weak upgrade requires retained object · case 01
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Weak upgrade succeeds only while an owner retains the object and the destination is fresh.
Weak upgrade requires retained object · case 02
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Weak upgrade succeeds only while an owner retains the object and the destination is fresh.
Weak upgrade requires retained object · case 03
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Weak upgrade succeeds only while an owner retains the object and the destination is fresh.
Weak upgrade requires retained object · case 04
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Weak upgrade succeeds only while an owner retains the object and the destination is fresh.
Weak upgrade requires retained object · case 05
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Weak upgrade succeeds only while an owner retains the object and the destination is fresh.
Last owner triggers destruction · case 01
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Dropping the final owner destroys the object, but dropping a borrower must not destroy a still-owned object.
Last owner triggers destruction · case 02
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Dropping the final owner destroys the object, but dropping a borrower must not destroy a still-owned object.
Last owner triggers destruction · case 03
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Dropping the final owner destroys the object, but dropping a borrower must not destroy a still-owned object.
Last owner triggers destruction · case 04
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Dropping the final owner destroys the object, but dropping a borrower must not destroy a still-owned object.
Last owner triggers destruction · case 05
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Dropping the final owner destroys the object, but dropping a borrower must not destroy a still-owned object.
Move refuses overwriting handle · case 01
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Moving requires a present source and absent destination; it cannot erase another owner.
Move refuses overwriting handle · case 02
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Moving requires a present source and absent destination; it cannot erase another owner.
Move refuses overwriting handle · case 03
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Moving requires a present source and absent destination; it cannot erase another owner.
Move refuses overwriting handle · case 04
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Moving requires a present source and absent destination; it cannot erase another owner.
Move refuses overwriting handle · case 05
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Moving requires a present source and absent destination; it cannot erase another owner.
Move invalidates source · case 01
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Successful move removes the source handle without altering the retained-owner count.
Move invalidates source · case 02
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Successful move removes the source handle without altering the retained-owner count.
Move invalidates source · case 03
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Successful move removes the source handle without altering the retained-owner count.
Move invalidates source · case 04
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Successful move removes the source handle without altering the retained-owner count.
Move invalidates source · case 05
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Successful move removes the source handle without altering the retained-owner count.
Borrow use after last owner · case 01
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Owners and borrowers are usable only while the resource remains retained and undestroyed; weak handles are not directly usable.
Borrow use after last owner · case 02
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Owners and borrowers are usable only while the resource remains retained and undestroyed; weak handles are not directly usable.
Borrow use after last owner · case 03
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Owners and borrowers are usable only while the resource remains retained and undestroyed; weak handles are not directly usable.
Borrow use after last owner · case 04
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Owners and borrowers are usable only while the resource remains retained and undestroyed; weak handles are not directly usable.
Borrow use after last owner · case 05
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. Owners and borrowers are usable only while the resource remains retained and undestroyed; weak handles are not directly usable.
Uniqueness counts only owners · case 01
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. An owner is unique when exactly one owner exists, regardless of weak and borrowed handles.
Uniqueness counts only owners · case 02
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. An owner is unique when exactly one owner exists, regardless of weak and borrowed handles.
Uniqueness counts only owners · case 03
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. An owner is unique when exactly one owner exists, regardless of weak and borrowed handles.
Uniqueness counts only owners · case 04
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. An owner is unique when exactly one owner exists, regardless of weak and borrowed handles.
Uniqueness counts only owners · case 05
The operation returns a result or retained state that violates this contract: A local shared-ownership model executes [operation,handle,argument] commands. Only owners retain the resource. Output is one result per command; weak and borrowed handles do not retain it. An owner is unique when exactly one owner exists, regardless of weak and borrowed handles.
Shared borrow excludes writer · case 01
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. A shared borrow requires a live object, no exclusive borrower, and a fresh token.
Shared borrow excludes writer · case 02
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. A shared borrow requires a live object, no exclusive borrower, and a fresh token.
Shared borrow excludes writer · case 03
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. A shared borrow requires a live object, no exclusive borrower, and a fresh token.
Shared borrow excludes writer · case 04
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. A shared borrow requires a live object, no exclusive borrower, and a fresh token.
Shared borrow excludes writer · case 05
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. A shared borrow requires a live object, no exclusive borrower, and a fresh token.
Exclusive borrow excludes readers · case 01
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. An exclusive borrow requires a live object and no outstanding borrow of either kind.
Exclusive borrow excludes readers · case 02
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. An exclusive borrow requires a live object and no outstanding borrow of either kind.
Exclusive borrow excludes readers · case 03
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. An exclusive borrow requires a live object and no outstanding borrow of either kind.
Exclusive borrow excludes readers · case 04
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. An exclusive borrow requires a live object and no outstanding borrow of either kind.
Exclusive borrow excludes readers · case 05
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. An exclusive borrow requires a live object and no outstanding borrow of either kind.
Release checks exclusive identity · case 01
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Releasing an unrelated token must not clear the exclusive borrow.
Release checks exclusive identity · case 02
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Releasing an unrelated token must not clear the exclusive borrow.
Release checks exclusive identity · case 03
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Releasing an unrelated token must not clear the exclusive borrow.
Release checks exclusive identity · case 04
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Releasing an unrelated token must not clear the exclusive borrow.
Release checks exclusive identity · case 05
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Releasing an unrelated token must not clear the exclusive borrow.
Read requires borrow token · case 01
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Only a current shared or exclusive token may read the live object.
Read requires borrow token · case 02
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Only a current shared or exclusive token may read the live object.
Read requires borrow token · case 03
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Only a current shared or exclusive token may read the live object.
Read requires borrow token · case 04
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Only a current shared or exclusive token may read the live object.
Read requires borrow token · case 05
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Only a current shared or exclusive token may read the live object.
Write requires exclusive token · case 01
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Only the active exclusive token can write a live object.
Write requires exclusive token · case 02
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Only the active exclusive token can write a live object.
Write requires exclusive token · case 03
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Only the active exclusive token can write a live object.
Write requires exclusive token · case 04
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Only the active exclusive token can write a live object.
Write requires exclusive token · case 05
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Only the active exclusive token can write a live object.
Owner write forbidden during borrow · case 01
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Direct owner writes require a live object with no outstanding borrow.
Owner write forbidden during borrow · case 02
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Direct owner writes require a live object with no outstanding borrow.
Owner write forbidden during borrow · case 03
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Direct owner writes require a live object with no outstanding borrow.
Owner write forbidden during borrow · case 04
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Direct owner writes require a live object with no outstanding borrow.
Owner write forbidden during borrow · case 05
The operation returns a result or retained state that violates this contract: A single local object grants either any number of shared borrows or one exclusive borrow. Commands are [operation,token,value]. Reads return the value or denied; writes and acquisitions return booleans. Ownership can move only with no borrows. Direct owner writes require a live object with no outstanding borrow.
INSPECTABLE BY DESIGN
Every result has a runnable source.
Runnable implementations with recorded outputs, source hashes, and explicit contracts. Related variants share a failure mechanism and belong together in evaluation splits.
Read the methodology ↗