Skip to main content
PCD generation commands are documented when the installed CLI help and release notes list them. The current public workflow can still use this page as a model for reviewing generated PCD candidates. 
brik64 pcd generate order-risk

​
Before Generation

State the requirement in bounded form: 
Approve an order only when amount and limit are positive and amount does not exceed limit.

​
After Generation

Review:
  • generated file path;
  • circuit name;
  • inputs and output;
  • fail-closed cases;
  • monomers used;
  • external behavior, if any.
Generation starts the circuit workflow when the installed CLI supports it. It does not remove the need for review.