← → Print all
02 — Framework · Failure mode

Discovering the licence after writing the code

Copyleft compilers and standard libraries, AGPL provers and source-available licences restricting service offerings all appear among mainstream options, and the compiler, prover and verifier can each differ. The constraint surfaces when a commercial or hosted product is already built on it.

By MarketComp Updated v1.3 About the authors Changelog
Mitigation

Enumerate the licence of every layer you ship before writing code, and get legal review rather than relying on forum consensus about what generated artefacts inherit.

Options this applies to
Other failure modes in this decision
Context
Cite this page 
MarketComp (2026). Discovering the licence after writing the code. The ZK Field Manual (Version 1.3). MarketComp. https://zkpick.com/frameworks/failure-modes/discovering-the-licence-after-writing-the-code/
@misc{zkfieldmanual-discovering-the-licence-after-writing-th,
  title        = {Discovering the licence after writing the code — The ZK Field Manual},
  author       = {MarketComp},
  year         = {2026},
  version      = {1.3},
  howpublished = {\url{https://zkpick.com/frameworks/failure-modes/discovering-the-licence-after-writing-the-code/}},
  note         = {Accessed: YYYY-MM-DD}
}