  In Hamiltonian GR, change has seemed to be missing, defined only
asymptotically, or otherwise obscured at best. By construing change as
essential time dependence, can one find change locally in Hamiltonian GR with
spinors?
  This paper is motivated by tendencies in space-time philosophy to slight
fermionic/spinorial matter, in Hamiltonian GR to misplace changes of time
coordinate, and in treatments of the Einstein-Dirac equation to include a
gratuitous local Lorentz gauge symmetry. Spatial dependence is dropped in most
of the paper. To include all and only the coordinate freedom, the
Einstein-Dirac equation is investigated using the Schwinger time gauge and
Kibble-Deser symmetric triad condition as a $3+1$ version of the
DeWitt-Ogievetsky-Polubarinov nonlinear group realization formalism that
dispenses with a tetrad and local Lorentz gauge freedom. Change is the lack of
a time-like stronger-than-Killing field for which the Lie derivative of the
metric-spinor complex vanishes. An appropriate $3+1$-friendly form of the
Rosenfeld-Anderson-Bergmann-Castellani gauge generator $G$, a tuned sum of
first class-constraints, changes the canonical Lagrangian by a total derivative
and implements changes of time coordinate for solutions.
