 [*SN-secondary objects*]{}, i.e. ones that do not close under SN brackets.

vi\) [*Topological obsruction terms*]{}: Nijenhuis Mathematics’ analogue of anomalies.

if the SN Algorithm (using [@XIV]’s terminology) 0) [*hits an inconsistency*]{}, I) [*cascades to inconsistency*]{}, II) [*cascades to triviality*]{}, or III) [*arrives at an iteration producing no new objects*]{} while retaining some degrees of freedom. Successful candidates – terminating at iii) – produce an ‘SNG’ class of Gerstenhaber algebraic structures of generators

\^, or of SN-first-class constraints, $\bscF$ (those that do close under SN brackets) in the canonical case.

3\) We next consider [*observables*]{} $\sbiO$ [@AObs; @DiracObs; @K92-I93; @ABook] defined in the present context by [*zero-commutant SN brackets*]{} with the generators, $\sbcG$ (including with the $\bscF$ constraints as a subcase)

, \_ 0. \[NS-Commutants\] $\peq$ is here the portmanteau of Dirac’s notion of weak equality $\approx$ [@Dirac] – from equality up to a linear combination of constraints to [@XIV] equality up to a linear combination of generators – and of strong vanishing: the standard notion of equality, =. In the constrained canonical subcontext, these are zero-commutants of the SN-first-class constraints. In this context, these equations can moreover be recast as explicit PDEs to be solved using the Flow Method [@John; @Lee2]. This particular application gives an [*SN integral theory of invariants*]{}. I.e. the SN version of [*Lie’s Integral Approach to Invariants*]{} [@Lie; @XIV], albeit in both cases elevated to restricting functional dependence on a function space over the phase space geometry in question. The spacetime version is, rather, over the space of spacetimes. Such functions are, in each case, observables. These functions moreover constitute SNG-algebras: [*observables SNG-algebras*]{}

\^, whether canonical or spacetime. Each theory’s lattice of SNG generators or constraints subalgebraic structures additionally induces a dual lattice of SNG observables subalgebras. (If the reader is unsure
[ * SN - secondary objects * ] { }, i.e.   ones that do not close up under SN bracket. 

 vi\) [ * Topological obsruction terms * ] { }: Nijenhuis Mathematics ’ analogue of anomalies. 

 if the SN Algorithm (using [ @XIV ] ’s terminology) 0) [ * hit an inconsistency * ] { }, I) [ * cascades to incompatibility * ] { }, II) [ * cascades to triviality * ] { }, or III) [ * arrives at an iteration produce no new objects * ] { } while retain some degrees of freedom. Successful candidate – end at iii) – produce an ‘ SNG ’ class of Gerstenhaber algebraic structures of generators 

 \^, or of SN - inaugural - class constraints, $ \bscF$ (those that do close under SN bracket) in the canonical case. 

 3\) We next consider [ * observables * ] { } $ \sbiO$ [ @AObs; @DiracObs; @K92 - I93; @ABook ] defined in the present context by [ * zero - commutant SN bracket * ] { } with the generators, $ \sbcG$ (including with the $ \bscF$ constraints as a subcase) 

, \ _ 0. \[NS - Commutants\ ] $ \peq$ is here the portmanteau of Dirac ’s notion of unaccented equality $ \approx$ [ @Dirac ] – from equality up to a linear combination of constraints to [ @XIV ] equality up to a linear combination of generators – and of strong vanishing: the standard impression of equality, =. In the constrained canonic subcontext, these are zero - commutants of the SN - first - class constraints. In this context, these equations can moreover be recast as explicit PDEs to be solved using the Flow Method [ @John; @Lee2 ]. This particular lotion give an [ * SN built-in hypothesis of invariants * ] { }. I.e.   the SN version of [ * Lie ’s Integral Approach to Invariants * ] { } [ @Lie; @XIV ], albeit in both cases elevated to restrict functional dependence on a function space over the phase quad geometry in question. The spacetime version is, rather, over the space of spacetimes. Such functions are, in each case, observables. These affair moreover constitute SNG - algebras: [ * observables SNG - algebras * ] { } 

 \^, whether canonical or spacetime. Each hypothesis ’s lattice of SNG generator or constraints subalgebraic structure additionally induces a dual lattice of SNG observables subalgebras. (If the reader is unsure
 [*SN-decondary objects*]{}, i.e. ones that do not close undxr SN bdackets.

vk\) [*Topological obsruction terls*]{}: Nijebhuis Mathematics’ analugue of ajomalies.

uf tie SN Algorithm (naing [@XIY]’f tedlinonigy) 0) [*hits an ikconsistencf*]{}, I) [*cascades tm kneonsistency*]{}, II) [*cascades to trivialitr*]{}, or IIO) [*wrrives at an yterseion iriducing no new objects*]{} while detainiig some degrees of freedom. Successful canfidahes – terminating ah iii) – prodode wb ‘SNG’ class uf Gerstenhaber algebrzic structures of generators

\^, or of SU-first-class cinshtaints, $\bscF$ (vhose nhat do close under ST brackrts) in the canpniral xase.

3\) We next consider [*observables*]{} $\sbiO$ [@WObs; @DirawOys; @K92-I93; @ABook] defined ib rhe ptesend covrexg bg [*verk-commuhanv SN brackefs*]{} with the generators, $\sbcG$ (invlteing with the $\bscF$ sogstraints as a subcase)

, \_ 0. \[NS-Commutants\] $\ptq$ is here the portmanteau od Dirac’s notion of wewk equaliey $\approx$ [@Dirac] – from equality up to a linear comtinatmov oy consgealnts to [@XIV] equality up to a linear combinatijh pf generators – akd of strong vanisnijg: jhe standard nution of squality, =. In the clnstraiged cqnonical fubcpntext, these are zero-commutqnts of the FB-first-class constrcints. In thir comtext, these equations can moxeover be recast ws explicjg PDEs to be solxed uving the Flow Method [@John; @Jee2]. This 'artieular apolicstion dives an [*SJ intccral theory of invwrianjs*]{}. I.e. tve SN verslon of [*Lie’s Integral Approach to Invariants*]{} [@Loe; @XIN], albeit nn botm cases elevateq to restrictiug functnonal aependence on a fnnction spacq over the phdde space geoketry in quewtiob. The soxcetime versiom is, rathvr, ovee the space of spagetimgs. Such functions art, un each case, onsefvaflvs. Vhese xunctions moseovdr zpnstigute SNG-algcbrxs: [*onservables SNG-algebrds*]{}

\^, wgether canonical ot fpacetimg. Each thqory’s lattice of SNG generators or cmnsvraintx sobalgebraic structures additionzlly indufes a dual lattyce if SNG obserrables subalgebras. (If the reader is unsuce
[*SN-secondary objects*]{}, i.e. ones that do not SN vi\) [*Topological terms*]{}: Nijenhuis Mathematics’ SN (using [@XIV]’s terminology) [*hits an inconsistency*]{}, [*cascades to inconsistency*]{}, II) [*cascades to or III) [*arrives at an iteration producing no new objects*]{} while retaining some of freedom. Successful candidates – terminating at iii) – produce an ‘SNG’ class Gerstenhaber structures generators or of SN-first-class constraints, $\bscF$ (those that do close under SN brackets) in the canonical case. We next consider [*observables*]{} $\sbiO$ [@AObs; @DiracObs; @K92-I93; defined in the present by [*zero-commutant SN brackets*]{} with generators, (including with $\bscF$ as subcase) , \_ \[NS-Commutants\] $\peq$ is here the portmanteau of Dirac’s notion of weak equality $\approx$ [@Dirac] – from equality to a of constraints [@XIV] up a linear combination – and of strong vanishing: the equality, =. In the constrained canonical subcontext, these zero-commutants of SN-first-class constraints. In this context, these can moreover be recast as explicit PDEs to solved using the Flow Method [@John; @Lee2]. This particular application gives an [*SN integral theory I.e. the SN version [*Lie’s Integral Approach Invariants*]{} @XIV], in cases elevated restricting functional dependence on a function space over the phase space in question. The spacetime version is, rather, over the space Such are, in each observables. These functions moreover SNG-algebras: SNG-algebras*]{} \^, whether canonical Each lattice or subalgebraic additionally induces a dual of SNG observables subalgebras. (If reader is unsure
 [*SN-secondary objects*]{}, i.e. ones tHat do not clOse unDer sN bRaCketS.

vi\) [*TOpological obsrUCtioN terms*]{}: Nijenhuis MathemaTics’ aNaLOgue OF aNomalIes.

if thE sN aLGorItHm (UsiNg [@xiV]’S termInoLogy) 0) [*hitS an inconsiSteNcY*]{}, I) [*cascades to INcOnsistency*]{}, iI) [*cAscades to triViaLity*]{}, or iIi) [*arRIves aT an IteraTion prODucing No new objeCtS*]{} While rETaining SOMe DegrEes of freedom. SucceSSfUL candidates – terMinatiNg AT iII) – ProDucE an ‘SNG’ clasS oF GersTEnhaber ALgEBRAic STructures of geNerators

\^, or oF sN-fIrst-clAsS coNStrainTs, $\bscf$ (tHOse That do close UndeR SN brackeTs) in thE CanonicAL case.

3\) We Next coNsiDer [*ObseRVaBlEs*]{} $\sBio$ [@aObS; @diRacoBs; @K92-i93; @ABook] deFiNeD in thE preSENT ContExt By [*zeRo-comMutant SN brackEts*]{} With THe gEneraTors, $\sBcG$ (iNcLudinG with tHe $\bscf$ cOnstraints as a suBcasE)

, \_ 0. \[NS-CommutAntS\] $\pEq$ iS hEre thE PortmaNteAu oF Dirac’s Notion oF WeaK eQUALiTy $\approx$ [@Dirac] – from eQuALItY up to a liNear coMBiNaTIon of conStRaiNts tO [@xiV] equAlitY Up To a lineaR combiNAtIoN of geneRaTors – anD oF stRonG vaniSHing: The staNdard notIon of EQuality, =. In the coNStrained canonICaL SUbCOnteXt, tHese are zero-CommUTantS of tHE Sn-fiRSt-claSs conStRAiNTs. In this context, thesE eQuatioNs can Moreover be recAst as expliCIT pDEs to be SolvED uSIng the Flow MethOd [@JohN; @Lee2]. This paRTicular aPplicAtion givEs an [*SN intEGRal theorY of InvAriAntS*]{}. i.E. tHe SN version of [*lIE’s InTeGral AppRoaCh to InvAriAntS*]{} [@LiE; @XIv], aLbeit in boTh cases eLeVaTeD tO reStricTIng functIoNal DePenDence ON a funcTion sPace OvEr THe pHase spaCE gEOMetrY iN qUestIon. thE spacEtimE VerSion is, rAther, over The SPace Of SpAcetimeS. Such functionS aRe, in each caSe, ObsErvablES. these funCtions moreover constitutE sNG-algeBraS: [*obseRvabLes SNG-algEbrAs*]{}

\^, whetHer CAnonicAl or spAcetiMe. eacH THeory’S LAtTicE oF SNG generaTORs oR consTrAintS subalgEbraic structures adDItiOnally induces A duAl laTTIcE of snG OBseRvABleS SUbalgebras. (If the Reader is unSuRE
 [*SN-secondary objects*]{ }, i.e. on es th atdono t cl oseunder SN brack e ts.
vi\) [*Topological ob sruct io n  ter m s* ]{}:Nijenhu i sM a the ma ti cs’  a n al ogueofanomali es.

if th e S NAlgorithm (u s in g [@XIV]’s  te rminology) 0 ) [ *hitsan  in c onsis ten cy*]{ }, I)[ *casca des to in co n sisten c y*]{},I I )[*ca scades to trivial i ty * ]{}, or III) [ *arriv es at a n i ter ation prod uc ing n o  new ob j ec t s * ]{} while retaini ng some deg r ees  of fr ee dom .  Succe ssful  c a ndi dates – ter mina ting at i ii) –p roducea n ‘SNG’  class  of  Ge rste n ha be r a lg e bra i cstr u ctu res of g en er ators 

\^ , o r  ofSN- firs t-cla ss constraint s,$\bs c F$(thos e tha t do  c loseunderSN br ac kets) in the ca noni cal case. 

3 \)  We  n ext c o nsider  [* obs ervable s*]{} $ \ sbi O$ [ @ AO bs; @DiracObs; @K9 2- I 9 3;  @ABook]  defin e din the pres en t c onte x t  by [ *zer o -c ommutant  SN br a ck et s*]{} w it h thege ner ato rs, $ \ sbcG $ (inc luding w ith t h e $\bscF$ cons t raints as a s u bc a s e) 
, \ _ 0 . \[NS-Comm utan t s\]$\pe q $ish ere t he po rt m an t eau of Dirac’s noti on  of we ak eq uality $\appr ox$ [@Dira c ] – from e qual i ty up to a linear  comb ination of constrai nts t o [@XIV]  equality u p to a l ine arcom bin a t io n of generato r s  – a nd  of str ong  vanish ing : t hesta nd ard notio n of equ al it y,  = . I n the constrai ne d c an oni cal s u bconte xt, t hese  a re zer o-commu t an t s  ofth eSN-f irs t- class  con s tra ints. I n this co nte x t, t he se  equati ons can moreo ve r be recas tasexplic i t  PDEs to  be solved using the Fl o w Metho d [ @John ; @L ee2]. Thi s p articu lar applic ationgives  a n [ * S N int e g ra l t he ory of inv a r ian ts*]{ }.  I.e . the S N version of [*Lie ’ s I ntegral Appro ach  toI n va ria n ts * ]{}  [ @ Lie ; @XIV], albeit i n both cas es el evated tor est ri cting f unction al de p endence  on a fun ction spa ce  ove r the  phase spa ce geome try in qu e stion .  T he sp ace time v er sio n is,  rathe r , o ver t he spa ce  of sp aceti me s. Suchfunctions are, in eachcase,obser vab les. Thes e f u nct ions more over  constitut e S NG- algeb ras :  [*ob serv a bl esS NG-al gebr a s*]{}

\^ ,  w het h e rcanonical o r s pac etime . E a ch the ory’ s lattice of SNGg enerators or c onst r a int s s u balg eb raic structure s a dd i t ionallyin duces a dua l lattic eo f SNG  obser vables  subalg e b ra s . (Iftherea der is un sur e
 [*SN-secondary_objects*]{}, i.e. ones_that do not close_under SN_brackets.

vi\)_[*Topological obsruction_terms*]{}:_Nijenhuis Mathematics’ analogue_of anomalies.

if the_SN Algorithm (using [@XIV]’s_terminology) 0) [*hits_an_inconsistency*]{}, I) [*cascades to inconsistency*]{}, II) [*cascades to triviality*]{}, or III) [*arrives at an_iteration_producing no_new_objects*]{}_while retaining some degrees of_freedom. Successful candidates – terminating_at iii)_– produce an ‘SNG’ class of Gerstenhaber algebraic_structures_of generators

\^, or_of SN-first-class constraints, $\bscF$ (those that do close under_SN brackets) in the canonical case.

3\)_We next consider_[*observables*]{}_$\sbiO$_[@AObs; @DiracObs; @K92-I93; @ABook]_defined in the present context by_[*zero-commutant SN brackets*]{} with the generators,_$\sbcG$ (including with the $\bscF$ constraints as_a subcase)

, \_ 0. \[NS-Commutants\] $\peq$_is here the portmanteau of_Dirac’s notion_of weak equality $\approx$ [@Dirac]_– from equality_up to_a linear combination_of constraints to [@XIV] equality up_to a linear_combination of generators – and of_strong_vanishing: the standard_notion_of_equality, =._In the constrained_canonical_subcontext, these_are_zero-commutants of the SN-first-class constraints. In_this_context, these equations can moreover be recast_as explicit PDEs to_be_solved using the Flow_Method [@John; @Lee2]. This particular_application gives an [*SN integral theory_of invariants*]{}._I.e. the SN_version of [*Lie’s Integral Approach to Invariants*]{} [@Lie; @XIV], albeit in_both cases elevated to restricting functional_dependence on a function_space over_the_phase space geometry_in_question. The_spacetime version is, rather, over the space_of spacetimes._Such functions are, in each case,_observables. These functions moreover_constitute_SNG-algebras: [*observables SNG-algebras*]{}

\^, whether canonical or_spacetime. Each theory’s lattice of SNG_generators or constraints subalgebraic structures_additionally_induces_a dual lattice of SNG_observables subalgebras. (If the reader is_unsure