you are right. A formal definition in textbooks (already in A.Einstein) is simple but technically and practically confusing; formal- that integration along the path (on a diagram) as contrary to a coordinate time in the "at rest" observer (with a clock, rather two synchronized clocks at the distance x=vt). 1) Lorentz equations are symmetric in nature-when you switch coordinate systems: changing the description from (x,t) to (x',t') you will get a reverse number for both times. 2) The translation from one CS(coordinate system) into another is only a kinematical and not dynamical (as it is claimed in Twin Paradox Absurdity)- pointed rightly by M.Sachs. 3)The confusion is already in A. Einstein' article in 1905; there, he does not at all specify a type of a real Theory clock but only about an ideal light clock (that is just a model and nothing real)!
In a practical experiment with atomic clocks, the difference between (so-called)"proper" and "coordinate" time arises from the Relativistic Doppler Effect - such clock mechanism counting acts as a "wave-field"(counting depends on the period or frequency wave of source emission); a flying atomic clock/GPS' frequency depends on the gravitational potential which is different on Earth's ground and above it; such clocks don't even test Lorentz formula for the inertial frame (centripetal acceleration in the opposite direction of gravitational one = the Lorentz formula, but it tests...GR and not SR (there both clocks would count the same number of clock ticks as they both have the same "unit time"-the physics of a clock does not change when one observes it from another reference system! (Analogically with "moving radioactive substances" called muons or other radioactive "particles"(rather the quanta of "matter(Broglie)wave"-Lorentz formula helps to explain the behavior of a system of "muon quanta-s" and not a one "muon"; a statistical "muon" is not a particle or a living object like a twin;more,for the counting time longer than half-time of "radioactive objects" it will show none difference as one sees easily on the diagram of disintegration (K.S.Krane,Intr.Nuclear Physics,1987)
The question arises: what is the "proper unit time"? If you use the same atomic clocks (as is assumed in both systems, at rest and moving one); then, a "unit time" must be applied to at rest coordinate system and not that of the "moving" clock attached to the body"(a textbook expression- a horror) because such unit time would be changed according to Doppler formula: unit t=1/(1-(v/c)^2)^1/2.At the same time,Theory assumes the "unit measure" of distance and time in both reference systems (x,t) and (x',t') is equal 1 (one) as both systems, "moving, and "at rest" are equivalent; hence, one sees immediately, that this new "moving" clock unit time is just a mathematical (fiction) transformation formula (between two coordinate systems) and not about any physical change in the mechanism of a "moving" clock (this "moving" clock is at rest in his own reference system!). The mechanism of such clock and its unit time (or period) does not depend on the velocity but as mentioned above if a special only clock, a "wave-field"clock,i.e. atomic clock in a different gravitational potential will count differently!
Concluding: "proper time" is just an imaginary(mathematical) one that physically corresponds to so called "coordinate time" recorded by a clock or two synchronized clocks in the rest coordinate system. ps.Textbooks misuse the Minkowski diagram to graphically explain Theory idea in...forgetting to present the same diagram from the point of a "moving" reference system that would be at..rest! (Minkowski himself was ...fooled while he in his 1908 article assumed a symmetry of both systems while counting the "length" of an "electron" but not in the case of "time" parameter few years later!