Manuscript Hawk02-C@2 · Hawk02-C.tex · section · bb332d66
Source locators and limited roles
Source locators and limited roles · lines 2833–2891
| Source | Supplied locator | Role here |
|---|---|---|
| Source | Supplied locator | Role here |
| Hawk02-A, v1 | def:completeoutput; ass:physical; cor:spectrum; prop:jointresidual; thm:main | Complete-output, acceptance, and comparison interfaces; restated locally. |
| Hawk02-B, v2 | Supplied full manuscript | Scheduled finite endpoint comparison, not autonomous dynamics. |
| Hawk01-B, v1 | thm:optima | Recovery/leakage comparison; constants proved locally. |
| Hawk01-A, v1 | thm:completion | Spectrum-matched completion separation. |
| Em03-F, v1 | thm:unitary; thm:fieldchannel; thm:packetbridge | Switched exterior channel and filtered-test comparison; not this propagator or dilation. |
| En02-E, v2 | thm:cutoff | Commuting-state cutoff warning. |
| Em06-B, v1 | thm:input-stability | Classical stability, not a channel or Volterra allowance. |
| En03-A, v1 | thm:obstruction | Record/residual separation. |
| Psy02-B, v2 | thm:process | Complete-process equality implies record equality. |
| XIV-I, v1; XIV-J, v1 | thm:I2; thm:I3; thm:J2; cor:noadmission | Unrelated analytic boundaries retained. |
| Execution records | Manifest and summary (21).txt | Reported finite-proxy execution, not independent rerun or proof. |
The documentary locators do not replace any model-specific proof or identify unrelated mathematical objects.