turn-a-thesis-into-things-to-prove

# Turn a thesis into things to prove ## What it does Takes the thesis in at its version, writes out every claim it assumes as a thing that has to be proved, and says what is in scope and what is cut, naming the cut areas as cut. ## Where it happens The agent does this in two activities across one reference process. Each one names the activity as that process words it. - **Set What Must Be Proved** - `ref/prt/run-alliance-diligence`, activity 2 - [Run Alliance Diligence](../../../../processes/partners/run-alliance-diligence.md) - **Take in the Thesis** - `ref/prt/run-alliance-diligence`, activity 1 - [Run Alliance Diligence](../../../../processes/partners/run-alliance-diligence.md) ## What to record The thesis at its version, with every claim it assumes written out as a thing to be proved. What was in scope and what was cut, named as cut. The access agreement, saying who gives what, to whom, and by when. The numbered request log: each request, who it went to, when it was answered, and what the answer was. The financial reading, naming revenue, runway and how concentrated the revenue is. The ownership finding on anything the company would embed or resell. Every finding rated on the scale in force, with an owner and a date. Every claim that stayed unproved, named as unproved rather than dropped. The report to the sponsor, naming go, go with conditions or stop, and listing every area that was cut from scope. That contract covers every activity this abstract agent takes on, and it is repeated in `com.agentcatalog.agent/RECORDS.md`. What the abstract agent does not do is in `com.agentcatalog.agent/NOT.md`.