Matching Engine

Boundary variables Selected variables remain observable; the others may be eliminated. Selection recomputes with the default elimination order and retains shared variables needed by the join.

Sign in to analyze

Relation definition

Finite relation · JSON Rows use set semantics and factor scopes use zero-based column indices. Optional piece_rows supplies independent factor relations; elimination_order specifies internal-variable order and symmetry_generators specifies coordinate permutations. hide_before_join compares eliminating a variable in each factor with eliminating it after the join.

{"variables":["x","y","z"],"domains":[[0,1],[0,1],[0,1]],"rows":[[0,0,0],[0,1,1],[1,0,1],[1,1,0]],"boundary":[2],"factors":[[0,1],[0,2],[1,2]],"max_states":4096}

Per-round counts ■ Edges 0–0■ Paths 0–0■ Cleared 0–0■ Collapses 0–0per-lane scale

2 rounds, revision 0 → 1 (oldest to newest, left to right).

Latest: revision 1, 0 positions, 0 edges, 0 paths, 0 cleared legs.

market graph ↗status JSON ↗

Read-only analysis · no funds move.

Compare exchange structures

About this analysis

Independent coordinates form factor islands. Coupled coordinates can join positions; a ratio alone is not liquidity. This lab analyzes explicit PositionIntent fixtures. It does not run matching, reserve funds, or settle trades.

Test scale

Resolving the closed fixture…

Inspect or edit the explicit semantic envelope

Scoped PositionIntent fixture

Round	Positions	Edges	Paths	Cleared	Collapses	Cache
rev 1	0	0	0	0	0	computed
rev 0	0	0	0	0	0	computed

Transaction	Asset	Amount	Parties	Round
payment:p…869d57d3	fiat/usd	700	external:fake → account-a…8735e292	rev 1791190126
payment:p…12b9eae9	fiat/usd	9500	external:fake → account-a…8735e292	rev 1791190130
payment:p…acd6e2cd	fiat/usd	9000	external:fake → account-a…8735e292	rev 1791190134
payment:p…25949e6b	fiat/usd	900	external:fake → account-a…8735e292	rev 1791190158
payment:p…e3bf70a4	fiat/usd	600	external:fake → account-a…8735e292	rev 1791190162
payment:p…7b6d91d3	fiat/usd	12500	external:fake → account-a…8735e292	rev 1791190166
payment:p…0f66fea1	fiat/usd	1900	external:fake → account-a…8735e292	rev 1791190198
payment:p…ff7bcb50	fiat/usd	1500	external:fake → account-a…8735e292	rev 1791190222
payment:p…2d0efffd	fiat/usd	4500	external:fake → account-a…8735e292	rev 1791190226
payment:p…f8cdde92	fiat/usd	3900	external:fake → account-a…8735e292	rev 1791190230

Position	Peer	Book	Offers	Wants	Funding	Flags
chess-pie…91047339	account-a…ef21bfb1	market/chess	coin×10	piece/15×1	unknown

Relation decomposition

Round History

Engine

Structural Factor Observatory

Compare exchange structures

Rounds

Cleared Trades

Position Book