# report

> Every PAG keyword record, with what grounds it and how it is checked.

Page: Ontology · Grammar
Canonical: https://banes-lab.com/ontology/grammar#pag-keywords-report

Listed in [Ontology · Grammar](https://banes-lab.com/api/pages/ontology/grammar.md), after [validation](https://banes-lab.com/ontology/grammar/pag-keywords-validation.md) and before [invariant](https://banes-lab.com/ontology/grammar/pag-keywords-invariant.md).

Every PAG keyword record, with what grounds it and how it is checked.

### SUBJECT

Details

Meaning
The node or stage the report is about

Example
subject: <node>

Grounds
[axis:ontology](https://banes-lab.com/records/reasoning/axis-ontology.md)

How it is checked

Checked by
a structured-document validator that parses each document against the grammar and reports every defect by its shape

Population
Every agent and template document the validator walks, and every occurrence of the keyword in them

Freshness
A verdict stands until the grammar data or a document that uses the keyword changes

Refusal
The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship

Observation
None, because a keyword is static text in a document, and nothing observes it while a run executes

Evidence
Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean

Authoritative side
The grammar data, which every keyword in a document conforms to

Depends on
Not answered

Shape it refuses
Not answered

### VERDICT

Details

Meaning
The value returned · pass, fail or unknown

Example
verdict: pass | fail | unknown

Grounds
[node:ver-evidence](https://banes-lab.com/records/reasoning/node-ver-evidence.md), [invariant:epi-verdict-is-representation](https://banes-lab.com/records/reasoning/invariant-epi-verdict-is-representation.md)

How it is checked

Checked by
a structured-document validator that parses each document against the grammar and reports every defect by its shape

Population
Every agent and template document the validator walks, and every occurrence of the keyword in them

Freshness
A verdict stands until the grammar data or a document that uses the keyword changes

Refusal
The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship

Observation
None, because a keyword is static text in a document, and nothing observes it while a run executes

Evidence
Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean

Authoritative side
The grammar data, which every keyword in a document conforms to

Depends on
Not answered

Shape it refuses
Not answered

### DOMAIN

Details

Meaning
The population declared and the population measured

Example
domain: declared <N> measured <n>

Grounds
[node:ver-population](https://banes-lab.com/records/reasoning/node-ver-population.md)

How it is checked

Checked by
a structured-document validator that parses each document against the grammar and reports every defect by its shape

Population
Every agent and template document the validator walks, and every occurrence of the keyword in them

Freshness
A verdict stands until the grammar data or a document that uses the keyword changes

Refusal
The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship

Observation
None, because a keyword is static text in a document, and nothing observes it while a run executes

Evidence
Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean

Authoritative side
The grammar data, which every keyword in a document conforms to

Depends on
Not answered

Shape it refuses
Not answered

### POPULATIONS

Details

Meaning
The partitions, each measured · their sum is the whole

Example
populations: <part> <n>, <part> <n>

Grounds
[node:ver-population](https://banes-lab.com/records/reasoning/node-ver-population.md)

How it is checked

Checked by
a structured-document validator that parses each document against the grammar and reports every defect by its shape

Population
Every agent and template document the validator walks, and every occurrence of the keyword in them

Freshness
A verdict stands until the grammar data or a document that uses the keyword changes

Refusal
The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship

Observation
None, because a keyword is static text in a document, and nothing observes it while a run executes

Evidence
Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean

Authoritative side
The grammar data, which every keyword in a document conforms to

Depends on
Not answered

Shape it refuses
Not answered

### INPUTS

Details

Meaning
The inputs read, by identity and fingerprint

Example
inputs: <identity> <fingerprint>

Grounds
[node:ver-freshness](https://banes-lab.com/records/reasoning/node-ver-freshness.md)

How it is checked

Checked by
a structured-document validator that parses each document against the grammar and reports every defect by its shape

Population
Every agent and template document the validator walks, and every occurrence of the keyword in them

Freshness
A verdict stands until the grammar data or a document that uses the keyword changes

Refusal
The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship

Observation
None, because a keyword is static text in a document, and nothing observes it while a run executes

Evidence
Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean

Authoritative side
The grammar data, which every keyword in a document conforms to

Depends on
Not answered

Shape it refuses
Not answered

### CODE

Details

Meaning
The fingerprint of the code that produced the verdict

Example
code: <fingerprint>

Grounds
[node:ver-freshness](https://banes-lab.com/records/reasoning/node-ver-freshness.md)

How it is checked

Checked by
a structured-document validator that parses each document against the grammar and reports every defect by its shape

Population
Every agent and template document the validator walks, and every occurrence of the keyword in them

Freshness
A verdict stands until the grammar data or a document that uses the keyword changes

Refusal
The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship

Observation
None, because a keyword is static text in a document, and nothing observes it while a run executes

Evidence
Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean

Authoritative side
The grammar data, which every keyword in a document conforms to

Depends on
Not answered

Shape it refuses
Not answered

### OUTPUT

Details

Meaning
The artifact written, by identity and fingerprint

Example
output: <identity> <fingerprint>

Grounds
[node:ver-freshness](https://banes-lab.com/records/reasoning/node-ver-freshness.md)

How it is checked

Checked by
a structured-document validator that parses each document against the grammar and reports every defect by its shape

Population
Every agent and template document the validator walks, and every occurrence of the keyword in them

Freshness
A verdict stands until the grammar data or a document that uses the keyword changes

Refusal
The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship

Observation
None, because a keyword is static text in a document, and nothing observes it while a run executes

Evidence
Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean

Authoritative side
The grammar data, which every keyword in a document conforms to

Depends on
Not answered

Shape it refuses
Not answered

### REFUSALS

Details

Meaning
How many times the stage refused, and why

Example
refusals: <n> [<reason>]

Grounds
[node:ver-refusal](https://banes-lab.com/records/reasoning/node-ver-refusal.md)

How it is checked

Checked by
a structured-document validator that parses each document against the grammar and reports every defect by its shape

Population
Every agent and template document the validator walks, and every occurrence of the keyword in them

Freshness
A verdict stands until the grammar data or a document that uses the keyword changes

Refusal
The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship

Observation
None, because a keyword is static text in a document, and nothing observes it while a run executes

Evidence
Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean

Authoritative side
The grammar data, which every keyword in a document conforms to

Depends on
Not answered

Shape it refuses
Not answered

### OBSERVED

Details

Meaning
What runtime observation located, kept apart from the verdict

Example
observed: <n> [<location>]

Grounds
[node:ver-observation](https://banes-lab.com/records/reasoning/node-ver-observation.md), [invariant:epi-observation-locates](https://banes-lab.com/records/reasoning/invariant-epi-observation-locates.md)

How it is checked

Checked by
a structured-document validator that parses each document against the grammar and reports every defect by its shape

Population
Every agent and template document the validator walks, and every occurrence of the keyword in them

Freshness
A verdict stands until the grammar data or a document that uses the keyword changes

Refusal
The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship

Observation
None, because a keyword is static text in a document, and nothing observes it while a run executes

Evidence
Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean

Authoritative side
The grammar data, which every keyword in a document conforms to

Depends on
Not answered

Shape it refuses
Not answered

### UNRESOLVED

Details

Meaning
What stays open, and why

Example
unresolved: <n> [<reason>]

Grounds
[node:ter-block](https://banes-lab.com/records/reasoning/node-ter-block.md)

How it is checked

Checked by
a structured-document validator that parses each document against the grammar and reports every defect by its shape

Population
Every agent and template document the validator walks, and every occurrence of the keyword in them

Freshness
A verdict stands until the grammar data or a document that uses the keyword changes

Refusal
The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship

Observation
None, because a keyword is static text in a document, and nothing observes it while a run executes

Evidence
Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean

Authoritative side
The grammar data, which every keyword in a document conforms to

Depends on
Not answered

Shape it refuses
Not answered

### COMPLETION

Details

Meaning
Saturated, complete and verified · the three that must coincide

Example
completion: saturated <bool> complete <bool> verified <bool>

Grounds
[node:ter-stop](https://banes-lab.com/records/reasoning/node-ter-stop.md), [node:ter-saturation](https://banes-lab.com/records/reasoning/node-ter-saturation.md), [node:ter-completion](https://banes-lab.com/records/reasoning/node-ter-completion.md), [invariant:epi-terminate-on-three](https://banes-lab.com/records/reasoning/invariant-epi-terminate-on-three.md)

How it is checked

Checked by
a structured-document validator that parses each document against the grammar and reports every defect by its shape

Population
Every agent and template document the validator walks, and every occurrence of the keyword in them

Freshness
A verdict stands until the grammar data or a document that uses the keyword changes

Refusal
The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship

Observation
None, because a keyword is static text in a document, and nothing observes it while a run executes

Evidence
Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean

Authoritative side
The grammar data, which every keyword in a document conforms to

Depends on
Not answered

Shape it refuses
Not answered

## Links to

- [Ontology](https://banes-lab.com/records/reasoning/axis-ontology.md)
- [Evidence](https://banes-lab.com/records/reasoning/node-ver-evidence.md)
- [Checked Verdict](https://banes-lab.com/records/reasoning/invariant-epi-verdict-is-representation.md)
- [Population](https://banes-lab.com/records/reasoning/node-ver-population.md)
- [Freshness](https://banes-lab.com/records/reasoning/node-ver-freshness.md)
- [Refusal](https://banes-lab.com/records/reasoning/node-ver-refusal.md)
- [Located Observation](https://banes-lab.com/records/reasoning/node-ver-observation.md)
- [Observation Scope](https://banes-lab.com/records/reasoning/invariant-epi-observation-locates.md)
- [Blocked Run](https://banes-lab.com/records/reasoning/node-ter-block.md)
- [Stop Condition](https://banes-lab.com/records/reasoning/node-ter-stop.md)
- [Saturation](https://banes-lab.com/records/reasoning/node-ter-saturation.md)
- [Completion](https://banes-lab.com/records/reasoning/node-ter-completion.md)
- [Three-Condition Stop](https://banes-lab.com/records/reasoning/invariant-epi-terminate-on-three.md)
