Advanced
Canonical packages
The engineering view of the same material the workspace presents by solution. Nothing here is summarised: identifiers, gates, findings, context and proof chains are shown as the engine serves them.
Read-only. Everything here is read from what CHER has recorded. Nothing on this screen decides, approves, records an outcome or writes to governance, evidence or audit.
Package explorer
13 package versions, each identified by its identifier and its version together.
Open the package explorer →Fixture provenance record
The record lists 13 package versions with their digests and the installed package contract holds the same 13. The record was emitted at 2026-09-05T22:19:35Z, which is when the fixture was written and not when anything in it was determined.
Recorded outcome source in that record: PACKAGE_FALLBACK. Each package also carries its own outcome source, and the packages are what the screens read.
Assurance-carrier verification cases
42 cases exist to prove the assurance carrier can represent its outcomes. They are about no real solution, they are kept out of My Solutions, and they are counted towards nothing.
Open the carrier verification cases →