96c1d4bcee
The first non-GSM8K consumer of the binding-graph interlingua's unit algebra as a load-bearing reasoner: given two units and an operation, decide the result's dimension. SUT = generate.binding_graph.units; gold = evals/dimensional/oracle.py, a genuinely INDEPENDENT dimensional reasoner (own unit->base-exponent table, own exponent arithmetic, own canonical-string renderer; shares no code with the SUT). 12 cases (area / speed / wage / mass-density / dimensionless / 2 refused) gated by SUT == oracle == gold (wrong=0). Registered in INV-25's INDEPENDENT_GOLD_LANES, proving the independent-gold discipline generalizes to a SECOND oracle. This is the 3rd structurally-distinct golded domain (logic / grounding / dimensional) — the anti-overfit >=2-domain panel is now real, and the interlingua is load-bearing beyond GSM8K.
7 lines
405 B
Python
7 lines
405 B
Python
"""Dimensional-reasoning lane — the third diversity-panel domain.
|
|
|
|
The interlingua's unit algebra (``generate.binding_graph.units``) is the system
|
|
under test; an independent dimensional oracle (``evals.dimensional.oracle``) is the
|
|
gold. Structurally distinct from logic/grounding (dimensional exponent arithmetic),
|
|
it exercises the binding-graph interlingua as a load-bearing reasoner beyond GSM8K.
|
|
"""
|