Extra 9 / 12 · Structure

Unit standards and cancellation

A journey combines speed with elapsed time. A fuel calculation uses litres per 100 km. Both invite cancellation, but a matching dimension is not permission to ignore its tick scale.

Unit standards and cancellation — Select a dimensional readA selected dimensional cancellationNUMERATORmile×NUMERATORhourDENOMINATORhourmile · matched pair recorded
Remaining unit: mile

Selected result
What remains connected

What is checked, and where this example stops

The selected cancellation read records one matched hour pair, preserves both authored orders and the standard, refuses km versus 100 km cancellation, and accepts matching 100 km ticks.

This example reads unit participation. It does not divide current values, convert quantities implicitly, or establish the domain for numeric division.

Next experimentMetric construction →

Actual fixture source

unit-quotients.gojo

Roots 1–4: explicit dimensional cancellation, authored order and the 100 km standard.

This file constructs the connected structure. The validation driver selects reads, actions and bindings for the stepped experiment; parsing this text alone does not run the sequence.

Download .gojo ↓Language reference ↗