Manuscript Em03-H@8 · Em03-H-v8.tex · section · 91e9e3bd
Evidence classification
Scope, evidence, and the version-8 revision › Evidence classification · lines 249–279
A statement in a summary that an inspection succeeded is itself reported evidence unless its inspection artifact is available. Likewise, a displayed rational-checker status is not an exact certificate when only rounded summary values are supplied.
{}1.12
| Object | Status in v8 |
|---|---|
| Microscopic extraction and diagnostic identities | |
| P8-new execution and scalar output | ; manifest and logs supplied |
| Prior P8 inspection discrepancy near | Reported only in the new summary |
| Complete P8 binary archive and inspection report | Not supplied here |
| Exact P8 occupation ranks and reached dimension | Not numerically certified |
| Candidate Volterra and spectral/RK outputs | Newly reported, rounded summaries |
| Patched v7 rational checker invocation | Reported; exact output not supplied |
| Reported transmission enclosure from that invocation | , inconclusive |
| New v8 software | Printed, statically revised, unexecuted |
| Validated candidate quarter-error verdict | Unresolved |
| P8 gravitational dictionary | Not constructed |
| Compilation and formal proof checking | Not performed here |