OG Wrestling Lab

Model 0.2 / attributed interaction graph

Working formalization

One Attack
One Graph

Smith, defender, and mat become one attributed graph. Graph rewrites track support, loading, grips, shielding, posture, accessibility, timing, and remaining degrees of freedom without using force magnitude.

Current state

Loading model...

Unified Smith, defender, and mat interaction graph Anatomical chains, mat support, opponent loading, grips, pressure, shielding, and counters.

Formal object

Union, attributes, rewrites

Gattack = Gsmith ∪ Gdefender ∪ Gmat ∪ Einteraction

state attributes:
  support, load, posture
  accessible, hidden, constrained
  enabled operators

rewrite r:
  require predicates(G)
  remove interaction edges
  add interaction edges
  update attributes
  enable next rewrites

A load is structural: the opponent's support path to the mat passes through your body. Optimization comes later by comparing available rewrites, constrained vertices, timing, and resulting continuation sets.

Reusable language

Operator families