digraph section0 {
  rankdir=TB;
  graph [fontname="Helvetica", label="Section 0: papers/dvj-alpha-tower-carrier-zero-source-map/sections/section00-front-summary.tex
green: certified path, solid arrows only (S0-SOLID)
orange: open RH path (open_targets)
grey: off the critical path
arrow styles: solid exact | dashed reconstructible on a domain | dotted lossy readout
pink: certified scalar path (SOURCE-SCALAR closure); R-6 edges carry a FULL40 substitution into green", labelloc=t];
  node [style=filled, fontname="Helvetica", fontsize=10];
  edge [arrowsize=0.6, fontsize=8];
  "front-pap020-hver168-charge-carriers" [label="pap020-hver168-charge-\ncarriers\nLOAD-BEARING\nH-VER168", tooltip="eq:front-pap020-hver168-charge-carriers | LOAD-BEARING | EXACT | defines Theta_m_hpap020,km_hpap020,qm_hpap020 | uses D_u,K_xi_scs,Q0_HG,u_hpap005,s_hpap005,lambda_hpap005,pi,Z,integral", shape=box, fillcolor="#fff9c4", color="#1b5e20", penwidth=3];
  "front-pap020-hver157-antilinear-involution" [label="pap020-hver157-antilinea\nr-involution\nAUDIT-ONLY\nH-VER157\nwhy not: context", tooltip="eq:front-pap020-hver157-antilinear-involution | AUDIT-ONLY | EXACT | defines U_lab_hpap020,P40_ret_hpap020,C40_ch_hpap020,J10_anti_hpap020,J40_anti_hpap020,Dq_gen_hpap020 | uses Vhat40,v_hat,chi_m8,Z | why not: Audit display of H-VER157's transported anti-linear J40, shown so that it is told apart from H-VER170's field involution at sight (72f/5194); the open aim uses the field involution only.", shape=note, fillcolor="#eeeeee", color="#9e9e9e", fontcolor="#757575"];
  "front-pap020-hver170-field-involution" [label="pap020-hver170-field-\ninvolution\nLOAD-BEARING\nH-VER170", tooltip="eq:front-pap020-hver170-field-involution | LOAD-BEARING | EXACT | defines J40_fld_hpap020,DQ_hpap020 | uses qm_hpap020,Q0_HG,s_hpap005,lambda_hpap005,Vhat40,v_hat,chi_m8,Z", shape=box, fillcolor="#fff9c4", color="#1b5e20", penwidth=3];
  "front-pap020-placement" [label="pap020-placement\nLOAD-BEARING\nH-VER177", tooltip="eq:front-pap020-placement | LOAD-BEARING | EXACT | defines char_hpap020,bchar_hpap020 | uses base_hpap018,ell_hpap018,tower_hpap018,scale_hpap018,tri_hpap018,Theta_m_158,pi,exp,Z", shape=box, fillcolor="#fff9c4", color="#d81b60", penwidth=3];
  "front-pap020-completion-character" [label="pap020-completion-\ncharacter\nLOAD-BEARING\nH-VER177", tooltip="eq:front-pap020-completion-character | LOAD-BEARING | EXACT | defines achar_hpap020,Tu_hpap020,heat_hpap020,phi_hpap020,kappa_hpap020 | uses char_hpap020,bchar_hpap020,ell_hpap018,u_hpap005,A_xi_scs,D_u,K_xi_scs,pi,Z", shape=box, fillcolor="#fff9c4", color="#d81b60", penwidth=3];
  "front-pap020-master-formula" [label="pap020-master-formula\nLOAD-BEARING\nH-VER177", tooltip="eq:front-pap020-master-formula | LOAD-BEARING | EXACT | defines deltaL_hpap020,tdvj_hpap020,d_rho_dvj_hpap020 | uses Tu_hpap020,char_hpap020,scale_hpap018,Tplus_hpap004,Tminus_hpap004,u_hpap005,pi", shape=box, fillcolor="#fff9c4", color="#d81b60", penwidth=3];
  "front-pap020-sheared-jet" [label="pap020-sheared-jet\nLOAD-BEARING\nH-VER177", tooltip="eq:front-pap020-sheared-jet | LOAD-BEARING | EXACT | defines rho_dvj_hpap020,jet_dvj_hpap020 | uses bchar_hpap020,achar_hpap020,char_hpap020,d_rho_dvj_hpap020,scale_hpap018,ell_hpap018,tri_hpap018,Tplus_hpap004,u_hpap005,pi,exp,i,Z", shape=box, fillcolor="#fff9c4", color="#d81b60", penwidth=3];
  "front-pap020-quarter-turn" [label="pap020-quarter-turn\nLOAD-BEARING\nH-VER177", tooltip="eq:front-pap020-quarter-turn | LOAD-BEARING | EXACT | defines sigma_hpap020,gauge_hpap020,sdvj_hpap020 | uses bchar_hpap020,char_hpap020,A_xi_scs,u_hpap005,pi,exp,i,sqrt", shape=box, fillcolor="#fff9c4", color="#d81b60", penwidth=3];
  "front-pap020-two-rail-carrier" [label="pap020-two-rail-carrier\nLOAD-BEARING\nH-VER177", tooltip="eq:front-pap020-two-rail-carrier | LOAD-BEARING | EXACT | defines wsim_hpap020,atilde_hpap020,vsim_hpap020,msim_hpap020,phitilde_hpap020,lcal_hpap020 | uses achar_hpap020,char_hpap020,Tu_hpap020,ell_hpap018,u_hpap005,K_xi_scs,Q0_HG,lambda_hpap005,pi,exp,i,C,integral", shape=box, fillcolor="#fff9c4", color="#d81b60", penwidth=3];
  "front-pap020-torsion-landing" [label="pap020-torsion-landing\nLOAD-BEARING\nH-VER177", tooltip="eq:front-pap020-torsion-landing | LOAD-BEARING | EXACT | defines rtor_hpap020 | uses phi_hpap020,Theta_m_hpap020,km_hpap020,qm_hpap020,tower_hpap018,ell_hpap018,u_hpap005,Q0_HG,s_hpap005,lambda_hpap005,pi,i,Z,integral", shape=box, fillcolor="#fff9c4", color="#d81b60", penwidth=3];
  "front-pap020-controls" [label="pap020-controls\nLOAD-BEARING\nH-VER177", tooltip="eq:front-pap020-controls | LOAD-BEARING | EXACT | defines halfturn_dvj_hpap020 | uses rtor_hpap020,phi_hpap020,km_hpap020,tower_hpap018,K_xi_scs,Q0_HG,s_hpap005,lambda_hpap005,u_hpap005,sqrt,integral", shape=box, fillcolor="#fff9c4", color="#d81b60", penwidth=3];
  "front-pap020-triangular-inversion" [label="pap020-triangular-\ninversion\nLOAD-BEARING\nH-VER177", tooltip="eq:front-pap020-triangular-inversion | LOAD-BEARING | EXACT | defines NONE | uses Theta_hat,jacobi_v,bchar_hpap020,rtor_hpap020,tower_hpap018,xzero_hpap018,ell_hpap018,base_hpap018,scale_hpap018,tri_hpap018,pi,exp,i", shape=box, fillcolor="#fff9c4", color="#d81b60", penwidth=3];
  "front-pap020-endpoint-differential" [label="pap020-endpoint-\ndifferential\nLOAD-BEARING\nH-VER177", tooltip="eq:front-pap020-endpoint-differential | LOAD-BEARING | EXACT | defines NONE | uses D_u,u_hpap005,Tplus_hpap004,Tminus_hpap004,d_rho_dvj_hpap020,Theta_hat,jacobi_v", shape=box, fillcolor="#fff9c4", color="#d81b60", penwidth=3];
  "front-pap020-scalar-source-map" [label="pap020-scalar-source-map\nLOAD-BEARING\nH-VER177", tooltip="eq:front-pap020-scalar-source-map | LOAD-BEARING | EXACT | defines NONE | uses phi_hpap020,phitilde_hpap020,lcal_hpap020,K_xi_scs,Q0_HG,Tu_hpap020,tdvj_hpap020,scale_hpap018,u_hpap005,lambda_hpap005,d_rho_dvj_hpap020,jacobi_v", shape=doubleoctagon, fillcolor="#ff4081", color="#d81b60", penwidth=3];
  "front-pap020-full40-aim" [label="pap020-full40-aim\nSINK\nLOGIC", tooltip="eq:front-pap020-full40-aim | SINK | LOGICAL-CONSEQUENCE | defines lambda0_hpap020 | uses Vhat40,Q0_HG,D_u,J40_fld_hpap020,DQ_hpap020,s_hpap005", shape=doubleoctagon, fillcolor="#c8e6c9", color="#1b5e20", penwidth=3];
  "PAPER:hpap002:front-hver158-paired-source-rails" [label="import hpap002\nhver158-paired-source-\nrails", tooltip="PAPER:hpap002:front-hver158-paired-source-rails", shape=component, fillcolor="#e3f2fd", color="#d81b60", penwidth=3];
  "PAPER:pap001:front-pap001-analytic-endpoints" [label="import pap001\npap001-analytic-\nendpoints", tooltip="PAPER:pap001:front-pap001-analytic-endpoints", shape=component, fillcolor="#e3f2fd", color="#1b5e20", penwidth=3];
  "PAPER:pap001:front-pap001-archimedean-pi" [label="import pap001\npap001-archimedean-pi", tooltip="PAPER:pap001:front-pap001-archimedean-pi", shape=component, fillcolor="#e3f2fd", color="#1b5e20", penwidth=3];
  "PAPER:pap004:front-pap004-triangular-source" [label="import pap004\npap004-triangular-source", tooltip="PAPER:pap004:front-pap004-triangular-source", shape=component, fillcolor="#e3f2fd", color="#d81b60", penwidth=3];
  "PAPER:pap005:front-pap005-centered-source" [label="import pap005\npap005-centered-source", tooltip="PAPER:pap005:front-pap005-centered-source", shape=component, fillcolor="#e3f2fd", color="#d81b60", penwidth=3];
  "PAPER:pap005:front-pap005-completion" [label="import pap005\npap005-completion", tooltip="PAPER:pap005:front-pap005-completion", shape=component, fillcolor="#e3f2fd", color="#1b5e20", penwidth=3];
  "PAPER:pap005:front-pap005-initial-laplace" [label="import pap005\npap005-initial-laplace", tooltip="PAPER:pap005:front-pap005-initial-laplace", shape=component, fillcolor="#e3f2fd", color="#1b5e20", penwidth=3];
  "PAPER:pap005:front-pap005-q0-owner" [label="import pap005\npap005-q0-owner", tooltip="PAPER:pap005:front-pap005-q0-owner", shape=component, fillcolor="#e3f2fd", color="#1b5e20", penwidth=3];
  "PAPER:pap015:front-jacobi-full40-source" [label="import pap015\njacobi-full40-source", tooltip="PAPER:pap015:front-jacobi-full40-source", shape=component, fillcolor="#e3f2fd", color="#1b5e20", penwidth=3];
  "PAPER:pap015:front-jacobi-source-ledger" [label="import pap015\njacobi-source-ledger", tooltip="PAPER:pap015:front-jacobi-source-ledger", shape=component, fillcolor="#e3f2fd", color="#d81b60", penwidth=3];
  "PAPER:pap018:front-pap018-tower-representation" [label="import pap018\npap018-tower-\nrepresentation", tooltip="PAPER:pap018:front-pap018-tower-representation", shape=component, fillcolor="#e3f2fd", color="#d81b60", penwidth=3];
  "PAPER:pap018:front-pap018-triangular-family" [label="import pap018\npap018-triangular-family", tooltip="PAPER:pap018:front-pap018-triangular-family", shape=component, fillcolor="#e3f2fd", color="#d81b60", penwidth=3];
  "PAPER:pap005:front-pap005-completion" -> "front-pap020-hver168-charge-carriers" [label="exact", color="#1b5e20", penwidth=3];
  "PAPER:pap005:front-pap005-q0-owner" -> "front-pap020-hver168-charge-carriers" [label="exact", color="#1b5e20", penwidth=3];
  "PAPER:pap005:front-pap005-initial-laplace" -> "front-pap020-hver168-charge-carriers" [label="exact", color="#1b5e20", penwidth=3];
  "PAPER:pap001:front-pap001-archimedean-pi" -> "front-pap020-hver168-charge-carriers" [label="exact", color="#1b5e20", penwidth=3];
  "PAPER:pap001:front-pap001-analytic-endpoints" -> "front-pap020-hver168-charge-carriers" [label="exact", color="#1b5e20", penwidth=3];
  "PAPER:pap015:front-jacobi-full40-source" -> "front-pap020-hver157-antilinear-involution" [label="exact", color="#bdbdbd", penwidth=1];
  "front-pap020-hver168-charge-carriers" -> "front-pap020-hver170-field-involution" [label="exact", color="#1b5e20", penwidth=3];
  "PAPER:pap015:front-jacobi-full40-source" -> "front-pap020-hver170-field-involution" [label="exact", color="#1b5e20", penwidth=3];
  "PAPER:pap018:front-pap018-tower-representation" -> "front-pap020-placement" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap018:front-pap018-triangular-family" -> "front-pap020-placement" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:hpap002:front-hver158-paired-source-rails" -> "front-pap020-placement" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap001:front-pap001-archimedean-pi" -> "front-pap020-placement" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap001:front-pap001-analytic-endpoints" -> "front-pap020-placement" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap005:front-pap005-centered-source" -> "front-pap020-placement" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap005:front-pap005-q0-owner" -> "front-pap020-placement" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap005:front-pap005-initial-laplace" -> "front-pap020-placement" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap015:front-jacobi-full40-source" -> "front-pap020-placement" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-hver168-charge-carriers" -> "front-pap020-placement" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-placement" -> "front-pap020-completion-character" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap005:front-pap005-centered-source" -> "front-pap020-completion-character" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap005:front-pap005-completion" -> "front-pap020-completion-character" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-completion-character" -> "front-pap020-master-formula" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap018:front-pap018-triangular-family" -> "front-pap020-master-formula" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap004:front-pap004-triangular-source" -> "front-pap020-master-formula" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-master-formula" -> "front-pap020-sheared-jet" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-completion-character" -> "front-pap020-sheared-jet" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap018:front-pap018-triangular-family" -> "front-pap020-sheared-jet" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap004:front-pap004-triangular-source" -> "front-pap020-sheared-jet" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-placement" -> "front-pap020-quarter-turn" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap005:front-pap005-centered-source" -> "front-pap020-quarter-turn" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-quarter-turn" -> "front-pap020-two-rail-carrier" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-completion-character" -> "front-pap020-two-rail-carrier" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap005:front-pap005-q0-owner" -> "front-pap020-two-rail-carrier" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap005:front-pap005-initial-laplace" -> "front-pap020-two-rail-carrier" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-completion-character" -> "front-pap020-torsion-landing" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-hver168-charge-carriers" -> "front-pap020-torsion-landing" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap005:front-pap005-q0-owner" -> "front-pap020-torsion-landing" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap005:front-pap005-initial-laplace" -> "front-pap020-torsion-landing" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-torsion-landing" -> "front-pap020-controls" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap005:front-pap005-initial-laplace" -> "front-pap020-controls" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-controls" -> "front-pap020-triangular-inversion" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-placement" -> "front-pap020-triangular-inversion" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap015:front-jacobi-source-ledger" -> "front-pap020-triangular-inversion" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap018:front-pap018-triangular-family" -> "front-pap020-triangular-inversion" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-master-formula" -> "front-pap020-endpoint-differential" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap005:front-pap005-completion" -> "front-pap020-endpoint-differential" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap015:front-jacobi-source-ledger" -> "front-pap020-endpoint-differential" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-two-rail-carrier" -> "front-pap020-scalar-source-map" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-controls" -> "front-pap020-scalar-source-map" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-endpoint-differential" -> "front-pap020-scalar-source-map" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-master-formula" -> "front-pap020-scalar-source-map" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-sheared-jet" -> "front-pap020-scalar-source-map" [label="exact", color="#d81b60", penwidth=3];
  "front-pap020-triangular-inversion" -> "front-pap020-scalar-source-map" [label="exact", color="#d81b60", penwidth=3];
  "PAPER:pap015:front-jacobi-full40-source" -> "front-pap020-full40-aim" [label="logical-consequence", style=bold, color="#1b5e20", penwidth=3];
  "PAPER:pap005:front-pap005-q0-owner" -> "front-pap020-full40-aim" [label="logical-consequence", style=bold, color="#1b5e20", penwidth=3];
  "PAPER:pap005:front-pap005-completion" -> "front-pap020-full40-aim" [label="logical-consequence", style=bold, color="#1b5e20", penwidth=3];
  "front-pap020-hver170-field-involution" -> "front-pap020-full40-aim" [label="logical-consequence", style=bold, color="#1b5e20", penwidth=3];
}