https://dmitryserikoff.com/tags/lynxcontract/Recent content in Lynxcontract on Dmitry SerikovHugoen-usThu, 23 Jul 2026 00:00:00 +0300https://dmitryserikoff.com/posts/how-do-you-take-back-control-of-ai-generated-code/Thu, 23 Jul 2026 00:00:00 +0300https://dmitryserikoff.com/posts/how-do-you-take-back-control-of-ai-generated-code/<p>AI-generated code has a strange failure mode: it can be functionally correct and still unaccountable. Nothing connects the requirement to the implementation. Git records <em>what</em> changed; nothing records <em>why the code exists at all</em>.</p> <p>My take: control doesn&rsquo;t come from restricting the agent — it comes from a construction in which the machine simply has no way to change the system silently. Machine-readable contract blocks ahead of the code (Eiffel-style, but used prospectively), tests derived from contracts rather than implementations, explicit gap-marking when the agent lacks context, and a deterministic graph that answers &ldquo;why does this line exist?&rdquo;</p>