Short answer
An analysis is one reading of a system by a coding agent. A claim is one statement about the system, and its evidence says where it was established and whether it was observed, declared or inferred. Coverage says what an analysis examined. An open question is what could not be established, and a known unknown is one that has been written down with somebody responsible for it. The change history compares two analyses, and a claim that the newer one no longer supports is marked no longer confirmed.
#The analysis
- Analysis
- One reading of a system by a coding agent, producing a structured description that is checked and then kept in the project. Owners need it because it is the unit everything else is counted in: plans include a number of them, and the change history is always between two of them. Getting started.
- In plain terms One careful reading of your system, written down so it can be checked and compared.
- Connected analysis
- An analysis in which 1adk-agent, on the machine that holds the code, hands the coding agent small units of work and checks every answer before it is sent. It survives interruptions and goes into the project by itself once checked. How a connected analysis runs.
- In plain terms An analysis run by your own coding agent through a small program on your machine.
- Coverage
- The record, kept with every analysis, of which parts of the system were examined completely, in part or not at all. It matters because an unexamined part is not an empty one: nothing is reported as removed from a place that was not looked at. Change history.
- In plain terms What an analysis actually looked at.
#Claims and evidence
- Claim
- A statement with four parts: the thing it is about, the property it describes, the value, and the evidence. For example, the create payment operation is idempotent, established in a named file and lines. Owners repeat claims to customers and auditors, so a claim that cannot show its evidence should not be repeated. Evidence.
- In plain terms One statement about your system that can be checked.
- Evidence
- The reference under a claim: the part of the system, the configuration or the document it was established from. It is what turns a confident sentence into one somebody else can check without trusting the person who wrote it.
- In plain terms Where a statement came from.
- Observed, declared, inferred
- How a claim came to be believed. Observed means read directly in the system, declared means stated by a document or a person, inferred means derived from naming or shape. A gap between declared and observed, a specification saying one thing and the code doing another, is one of the most useful things a picture can show.
- In plain terms Read in the system, said by somebody, or guessed from the shape.
#Gaps
- Open question
- What an analysis could not establish, recorded with the reason it is open and how much it matters instead of being filled in with a guess. Some are answered by the next analysis, some only by a person. Unknowns.
- In plain terms Something nobody has established yet, said out loud.
- Known unknown
- An open question that has been accepted as open for now, with what is known around it and the person who will find out if it ever matters. A known unknown in writing is cheap. The same gap found in the middle of an incident is not.
- In plain terms A gap that has an owner and is written down.
#Change over time
- Change history
- The comparison of two accepted analyses: what arrived, what changed, what went away where coverage allows saying so, and what can no longer be stood behind. A change in the system is kept apart from something newly learned and from a reworded description. Change history.
- In plain terms What moved in your system between two analyses.
- No longer confirmed
- The mark on a claim that an earlier analysis supported and the current one does not, kept with the date it was last supported. It exists because a written document has no way of knowing it has become wrong, and the claims people rely on are the ones that expire quietly.
- In plain terms Something the picture used to say and can no longer back up.