[KongchangAI]
Unverified50% confidenceinferenceExact time

In message-passing scenarios, sending a value corresponds to one move, and after sending, the original holder can no longer use it; this is a manifestation of the affine constraint, enabling the compiler to statically detect errors such as double sending or using an already-sent value.

1
Sources
50%
Confidence
Long-term
Relevance
10/12/2026
First Seen

Sources

Related Entities

Related Claims

Cite This Claim

Stable URI
https://kongchang.com/claim/1005928
API
curl https://kongchang.com/api/v1/knowledge/claims/1005928
MCP
get_claim(id=1005928)