Agentic Coding Assistants and Local Autonomy. Formal Reasoning, Math, and Model Transparency. Local AI for Education and Access. Context, Workflow, and Model Biases. Debugging-First AI and Repository-Scale Understanding