For x=(A+B*sqrt2)/D, norm is the signed rational (A²-2*B²)/D².
Proposed arity: 2. Parameters: x norm. No reviewed kernel definition exists yet.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.
Unproved contract · No Alpha or Stable authority
For x=(A+B*sqrt2)/D, norm is the signed rational (A²-2*B²)/D².
Proposed arity: 2. Parameters: x norm. No reviewed kernel definition exists yet.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.