Gold rising prices at the dawn of the 21st Century have led to a gold rush in Colombia. However, most of the mining in the national territory is made without the minimum legal permits required. Informal gold mining is associated with multiple problems such as resource overuse, environmental externalities, illegal armed groups financing, among others. Thus, public policy as a discipline is called to promote adequate mechanisms for mining formalization. The article depicts an integral implementation of the Institutional Analysis and Development Framework (IAD) (universal interaction blocks, ADICO syntax, generic rule typology) in analysing, from an institutional design perspective, the context of the Special Reserves Areas in Antioquia’s Bajo Cauca. The analysis highlights the utility of the IAD framework for diagnosis and public policy design, and the difficulties that arise from the context and the legal arrangement in trying to use the Special Reserves Areas as an instrument for formalization in the Bajo Cauca.El aumento en los precios del oro al despuntar el siglo xxi ha conducido a un incremento en la explotación aurífera; sin embargo, la mayor parte de la minería en el territorio nacional no cuenta con los mínimos legales. A la informalidad en la extracción aurífera se suman problemas como la sobreexplotación de los recursos, las externalidades ambientales, el financiamiento de grupos armados organizados al margen de la ley, entre otros. Así las cosas, las políticas públicas están llamadas a propender por mecanismos adecuados para la formalización minera. El artículo da cuenta de una implementación integral del marco de análisis y desarrollo institucional (ADI) —bloques universales de interacción, sintaxis Adico, tipología genérica de reglas— indagando por la viabilidad, desde la perspectiva de su diseño institucional, del mecanismo de las áreas de reserva especial (ARE) en el contexto del Bajo Cauca antioqueño. El artículo muestra la utilidad del marco ADI para el diagnóstico y diseño de políticas públicas sensibles al contexto de implementación, y evidencia las dificultades del mecanismo ARE en la subregión.