1.6 KiB
Finite-model results
Assertions passed: 120
Initial budget: 1500 ms, satisfied. After one local base edit: 1650 ms, satisfied. After selected cosmetic update: 1650 ms, satisfied; exact pins differ. Outside budget/consumer/global case: exact records unchanged. Updated left baseline: 750 controls2:ms; current: 900 controls1:ms; declared kind controls2:Duration. Right instance/base/map: exact original. Contract path projection: data1/Code -> data2/Code and data1/Operation -> data2/Operation. Changed field cardinality: selective candidate rejected. Strict revision identity: old/new refs unequal. Same-origin typed compatibility: cosmetic revision accepted; Energy/Torque, other origin, changed contract rejected. Bridge alternative: 2 explicit validated direct witnesses; changed contracts rejected. Stable vocabulary alternative: exact common pin survives pattern change; vocabulary change remains unresolved without compatibility/migration. Subjectless explicit C+K selected; unrelated G omitted; selected G requires Q boundary. OA/SA: explicit pinned counterpart or independent local derivative; refined reverse counterpart fails exact transformed contract.
D1: e89a61c9548b6c5e3bf7c432d8b294923f333b67cac48fc3b33f718280db8947 D2: 43788fdf736f509c0ae19357ee717b79ff26b35cab1fdf0b588584ca06d38a19 D3: a28a93b7fed0e67177f0ec639a911e2326f2de15e2478a072b2fa17d29b3efdf
This dialect uses opaque symbolic identities, a restricted AST, one package per import and scalar integer-millisecond arithmetic. It is not Studio source, a full package dependency solver, production UUID allocation, complete data/operation/transition admission, REST or native acceptance.