补全边角

2026-08-08 21:21:23 +08:00
parent a6d6f8c6d3
commit c51c9d2937
24 changed files with 359 additions and 56 deletions
@@ -298,7 +298,7 @@ Examples:
 - requesting a typed unique guard for a read-only property;
 - reading a write-only property.

-Runtime key APIs report dynamic failures through `Runtime_Access_Result`.
+Runtime key APIs report dynamic failures through `Runtime_Access_Result`. The runtime write boundary is copy-input by design: intrinsic `writable` remains a structural fact, while `runtime_copy_writable` states whether the accessor can participate in that type-erased copy boundary. Move-only typed writes therefore do not get mislabeled as structurally non-writable.

 ### Rule