Manuscript Em02-A@6 · Em02-A-v6.tex · section · cb2f0a9a
Required executable specification
Identification first: the physical input remains unresolved › Required executable specification · lines 249–306
The following is an identification ledger, not an assumption that the entries have been supplied.
| Input | Required specification | Present status |
|---|---|---|
| Propagator factors; orientations of both relative slots; component contractions; normalization; boundary-value prescription; differentiated components. | Unresolved | |
| Finite component maps in the chosen tensor basis, including the relationship, if any, between the two types of . | Unresolved | |
| Complete response projection and scalar contraction maps. | Unresolved | |
| The actual weighted source operation, expanded in the ambient source-jet convention. | Unresolved | |
| Specified functions or explicitly quantified local hypotheses, with the inherited regulator width distinguished from . | Unresolved | |
| The actual advanced-root operator, its domain, normalization, and the resulting function on the chosen patch. | Unresolved | |
| Vertex | Identification of the displayed vertex with the inherited observable, including signs, factors, and derivative placement. | Unresolved |
| Corrections | The permitted family, support rules, tensor conditions, normalization, and reference requirements. | Unresolved |
Finite symbolic definitions can fill this ledger without a printed component table. The present manuscript does not fill it by copying the arrays of a different application.
The documentary locations for the internal formulas are XIV-H and XIV-I XIVH,XIVI. XIV-J distinguishes reconstruction, the supported-sector reference, and the missing full characteristic map XIVJ. These attributions concern the supplied excerpts only.