Which claim does this result support?
Read the result together with its source, profile, assumptions and original artifacts. Observations, finite certificates and measurements answer different questions.
Implementation & contract
The Studio uses the existing GL-C/GL-Core caller and canonical artifacts. The Evidence view separately exposes the checked finite UI model.
An observation checksum checks bytes, not independent attestation. A finite-model certificate concerns its named domain, not all runtime code or DLT security.
Run the existing case
Compile one small program, inspect the actual result and download its original artifacts. Evidence in the related catalog explains the separate finite UI certificates.
Where to read the result & proof
Use the downloads in the native Studio report. Never substitute an earlier run's artifact or interpret a diagram as a test result.
Who uses this?
An engineering or release reviewer decides which exact claim can be accepted and what independent check remains necessary.