https://dmitryserikoff.com/tags/kotlin/Recent content in Kotlin on Dmitry SerikovHugoen-usThu, 23 Jul 2026 00:00:00 +0300https://dmitryserikoff.com/projects/lynxcontract/Thu, 23 Jul 2026 00:00:00 +0300https://dmitryserikoff.com/projects/lynxcontract/<p><strong>LynxContract</strong> gives developers control over LLM-generated code by anchoring every change to a contract, a requirement, and a verification check. Git records <em>what changed</em>; LynxContract records <em>why the code exists at all</em>.</p> <p>Every code unit carries a <code>//@contract</code> block — signature, pre/post conditions, behavior — enough for an agent to generate the implementation without inventing anything. Tests are derived from contracts, not from implementations, so silent bugs have nowhere to hide. When a contract can&rsquo;t cover a requirement, the honesty protocol stops the agent, records the gap, and marks the location instead of improvising.</p>