A Development-only profiles

The fast axiomatized build profile is intentionally absent from the public dependency graph. Its assumptions are conspicuously named and its theorem has a different declaration. It is useful for editing the outer architecture but is never accepted by the release trust audit. See the build-profile documentation.

The compiled web edition redistributes pinned renderer and browser assets. Their exact versions, hashes, attributions, and license texts accompany the site in the third-party notice bundle; those assets are not presented as project-owned code.