ᑕ. / exact state contraction

colony.technology/technology/state-contraction

ᑕ. / exact state contraction
  a computational representation is replaced by a retained state
  that preserves a declared observation contract
  for every admissible input

publication
  ᑕ. (TAA): Exact State Contraction
  Definition, Trace Preservation, and Affine-Cost Composition
  lmtlssss / 8 November 2026
  10.5281/zenodo.24054438

subject
  exact contraction of a computation state under a stated observation contract
  preservation of finite observation traces
  composition of affine costs

sources
  paper / TeX / verify.py
  Affine Cycles: Exact Cut Defects and Minimal Retained State
  capabilities / json
  symbol: ᑕ. / U+1455 U+002E

proofs  engineering  results  colony