Interface ControlProgramIR

interface ControlProgramIR {
    declarations: {
        authorities?: string[];
        capabilities?: string[];
        effects?: string[];
        input_resolvers?: string[];
        verifiers?: string[];
    };
    description?: string;
    entries: EntryDefinition[];
    evidence: EvidenceDefinition[];
    facets: FacetDefinition[];
    operators: OperatorDefinition[];
    program: { description?: string; id: string; version: string };
    schema: "control-program";
    schema_revision: 3;
    targets: TargetDefinition[];
    transitions: TransitionDefinition[];
    work: WorkContract[];
}