From Requirement To PCD - BRIK-64

Agents should convert prose into bounded circuit behavior before writing PCD.

Template

Requirement:
Inputs:
Output:
Blocked cases:
Allowed cases:
Monomers:
EVA structure:
Evidence status:

Example

Requirement: approve an order under a configured limit.
Inputs: amount, limit.
Output: 1 approve, 0 block.
Blocked cases: amount <= 0, limit <= 0, amount > limit.
Allowed cases: amount > 0 and amount <= limit.
Monomers: no extended monomers required.
EVA structure: conditional gate.
Evidence status: local candidate after CLI checks.

Then write PCD with explicit branches and returns.