AgentBlueprintProtocol.BoundsAlgebra.Bound (Agent Blueprint Protocol v0.1.1)

Copy Markdown View Source

One named bound: name from the closed 13, class (:operational / :protected), unit (:count | :millisecond | :token | :money | :ordinal), and the family's value shape. A bound is data about limits and carries no authority.

Summary

Types

t()

Functions

narrower(arg1, arg2)

Direction-encoded narrowness: true iff a is strictly narrower than b in the bound family's own order. Total and never-raising: values of different bound names, or a pair the family cannot order (e.g. cross-currency money), are false. Classification is ordered lexicographically — ordinal first, then marker strict superset at equal ordinals.

Types

t()

@type t() :: %AgentBlueprintProtocol.BoundsAlgebra.Bound{
  class: :operational | :protected,
  name: atom(),
  unit: :count | :millisecond | :token | :money | :ordinal,
  value: term()
}

Functions

narrower(arg1, arg2)

@spec narrower(t(), t()) :: boolean()

Direction-encoded narrowness: true iff a is strictly narrower than b in the bound family's own order. Total and never-raising: values of different bound names, or a pair the family cannot order (e.g. cross-currency money), are false. Classification is ordered lexicographically — ordinal first, then marker strict superset at equal ordinals.