4. Follow provenance🔗

The view lets you follow the decision to its assessment, the assessment to observation-1, and the observation to run-1 and artifact-1. These IDs are checked references in the case; the decision's prose alone is insufficient. event-8 adds a support relation from the observation to claim-1, after the decision prefix.

Visibility is applied before computing the view. On the synthetic case, compare:

lake exe slean view examples/valid.json agent
lake exe slean view examples/valid.json owner

The agent view includes observation-1 with 0.002, but not private-observation-1. The owner view also includes that second observation and its invented value 0.009. Treat owner output from a real case as private; do not send it to an agent or a public site. Review text visible in the agent export before sharing that too.

Schema 0.2 can keep owner-only source records. The bounded adapter checks source event order, the initial freeze, prediction-to-observation links, completion agreement with the manifest, and coverage of every source observation. It reads the trace in memory and does not save the private case. Python computes SHA-256 digests of source artifacts; Lean checks links to the supplied digests, not the hash computation or the external evaluator's behavior.