June 10, 2026

A prompt for proof-first implementation

First, do an assessment, then you post a list of assumptions spliced on multiple criteria: task-related assumptions, logic assumptions, codebase assumptions. For every assumption, you will sustain it with proof. After this, we will set a clear /goal with a list of criteria that will pass, and we will set a /loop to make sure all criteria are met before claiming the project is done and before human QA.

As goals, you will define how you will test this with automated tools and how you will present the proof it works.