| Credible Layer contracts | On-chain registry, protocol admin authority, assertion windows, and timelocks | Core protocol |
| Assertion Enforcer | Executes active assertions and returns inclusion decisions during block production | Network enforcement |
| Assertion DA | Stores assertion bytecode and source code for enforcers and public verification | Phylax-operated storage today |
pcl CLI | Builds, tests, authenticates, and submits assertion releases | Local developer tooling |
| Backtesting | Tests a platform release against transactions from the last 20,000 blocks before deployment | Phylax-operated release review service |
| Staging | Runs assertions against live network activity without dropping transactions | Phylax-operated validation environment |
| Platform | Manages releases, invalidations, audit logs, collaborators, alerts, and project metadata | Phylax product |