Manuscript Em02-A@6 · Em02-A-v6.tex · section · cb2f0a9a
Completion ledger
Remainder audit, local verdict, and completion ledger › Completion ledger · lines 1352–1397
The status categories used here are:
proved for displayed mathematical data;
physically identified;
physically evaluated;
conditional;
unresolved.
No claim in the present revision reaches either of the two physical completion categories.
| Principal claim | Status in this revision |
|---|---|
| Exact kernels and all seven adjoints | Proved for displayed mathematical data |
| Row–sector support zeros and non-tip scalar integrals | Proved for displayed mathematical data |
| Scalar coincidence-localization coefficients and , with uniform remainders | Proved for displayed mathematical data |
| Translation cross-check of those localization coefficients | Proved for displayed mathematical data |
| Executable inherited package and local transfer hypotheses | Unresolved |
| Singular physical non-tip coefficient | Unresolved |
| Physical coincidence coefficient and complete remainder | Unresolved |
| Dini and singular-primitive decisions | Conditional; their implications are proved |
| Smooth-data expansion | Proved mathematical consistency benchmark |
| Physical subtraction authorization | Unresolved |
| Inherited operator and output microlocal upgrade | Unresolved |