{
  "Name": "euler_identity",
  "Title": "Euler identity (exact, certificate-friendly):",
  "SourceFile": "examples/n3/euler_identity.n3",
  "SourceSHA256": "52e593299e3355f44ee4d5ffccbe934fd6ba0595e18a650ca1e73ff2ad7c9743",
  "Description": "exp(i*pi) + 1 = 0\nPhilosophy:\nUnlike the T-gate example, this phase needs no approximation. exp(i*pi) lands exactly at\n(-1,0) = cos(pi) + i sin(pi), so the identity can be certified using integer arithmetic\nalone.\nMethod:\n1) Construct -1 as 0 - 1.\n2) Represent exp(i*pi) exactly as (-1, 0).\n3) Add 1 componentwise to obtain (0, 0).\n4) Sanity-check the phase modulus: |-1 + 0i|^2 = 1.\n5) Project only the intended certificates via log:query.",
  "Compiler": "see.js N3-to-JS compiler",
  "CompiledFacts": 10,
  "CompiledRules": 5,
  "CompiledBackwardRules": 0,
  "CompiledFuses": 0,
  "CompiledQueries": 1,
  "Builtins": [
    "math:difference",
    "math:equalTo",
    "math:product",
    "math:sum"
  ]
}