{
  "_note": "Hand-authored. Read by map.html (Atlas-view overlay). architecture/index.html transcribes 'views' and 'crosswalk' by hand: edit this file first, then that page. compiler-atlas.html keeps its own view names. No local paths.",
  "_sources": {
    "views": "3D_tools_ML_hybrid/Zforge/website/portal/compiler-atlas.html: header buttons (lines 176-182), VIEWS (609-611), ART_CANON, ART_TGIR, ART_STRATA, ART_LINEAGE, ART_FIELD, ART_OPRESP (346-608). 'nodes' = the @ID@ tokens of each drawing in order of first appearance.",
    "node_names": "3D_tools_ML_hybrid/Zforge/website/portal/compiler-atlas.html: const N, field nm (lines 220-340).",
    "crosswalk": "Matched by definition: node contracts in compiler-atlas.html const N against map.html LAYERS and VERTS (lines 204-220) and data/layers.json. No source document states this crosswalk. direct = the two definitions name the same object; partial = they share part of it."
  },
  "atlas_url": "compiler-atlas.html#view={key}",
  "views": [
    {"key": "A", "button": "ASCII DAG", "name": "Canonical DAG", "kind": "architecture",
     "line": "The upstream interface tier U1–U5, the standing stack L0–L9 with R, the code spine and the feedback edges, drawn as one graph.",
     "nodes": ["U1","U2","U3","CG","U4","U5","L0","A7","L1","L2","L3","L4","L5","L6","L8","L7","L9","F2","R","F1","SP"]},
    {"key": "G", "button": "TGIR VIEW", "name": "Typed geometric intermediate representation (TGIR)", "kind": "architecture",
     "line": "The same machine drawn for a compiler audience; nodes map to the canonical layers and share their dossiers.",
     "nodes": ["L0","L1","L2","L6","L3","L7","L8","SP"]},
    {"key": "S", "button": "STRATA", "name": "Strata", "kind": "history",
     "line": "Developmental rounds G0 and R001–R010, newest on top, with the nodes each round created or revised.",
     "nodes": ["L1","L7","L8","L9","R","L3","CG","U1","U2","U3","U4","U5","L6","A7","F1","F2","L0","L2","L4","L5","SP"]},
    {"key": "L", "button": "LINEAGE", "name": "Lineage", "kind": "history",
     "line": "Each node on its program thread, with its birth coordinate τ and recorded revisions.",
     "nodes": ["SP","L2","L9","L7","L1","A7","L3","L6","L5","L8","F1","L0","F2","R","L4","CG","U1","U2","U3","U4","U5"]},
    {"key": "F", "button": "FIELD", "name": "Field compiler", "kind": "architecture",
     "line": "The stack instantiated as a build (round R009); each stage occupies a stack slot and reuses the stack's semantics.",
     "nodes": ["A7","L1","L7","L2","L3","L8"]},
    {"key": "O", "button": "OPERATOR RESPONSE", "name": "Operator response", "kind": "architecture",
     "line": "Prototype plan of 2026-09-22: eight layers on one closed mesh, each slotted to a stack node.",
     "nodes": ["L1","A7","L3","L2","L6","L5","L0","L8","F2","R","F1","CG","L7","SP"]}
  ],
  "list_modes": [
    {"key": "T", "button": "TIERS", "name": "Tiers", "line": "All twenty-one nodes listed by band, with stage."}
  ],
  "nodes": {
    "U1": "State + intrinsic geometry", "U2": "MGATE — metric selection", "U3": "Correspondence T",
    "CG": "𝒞_GT contract gate", "U4": "Completion — diffusion / flow-match", "U5": "Reconstruction",
    "A7": "Admission gate", "L1": "Structural IR", "L2": "Operator domain", "L3": "Transport geometry",
    "L4": "State", "L5": "Potential / dual", "L6": "Generator — sector assembly", "L7": "Guard — four-valued",
    "L8": "Event surface — base / surgery", "L0": "Type / proof layer", "L9": "Higher spectral response",
    "R": "RSI / operator memory", "SP": "Compositional spine (ZForge)", "F1": "Metric evolution", "F2": "Operator memory feed"
  },
  "crosswalk": {
    "U1": {"to": [["L0","partial"]], "basis": "Both take in observations: U1 estimates an SPD (symmetric positive-definite) state from a signal stream; map L0 turns an image, sketch, point cloud, mesh or simulation state into a FeatureComplex."},
    "U2": {"to": [["L7","partial"],["V2","partial"]], "basis": "Map L7 holds the learned metric; the gate that commits a metric belongs to the control plane V2."},
    "U3": {"to": [["L6","direct"]], "basis": "Both define correspondence by Gromov–Wasserstein transport."},
    "CG": {"to": [["L6","partial"],["V2","partial"]], "basis": "Checks the correspondence of map L6 against a contract; the map has no separate gate layer, and certificates belong to V2."},
    "U4": {"to": [["V1","partial"]], "basis": "A learned proposal without authority; V1 proposes structure and never renders geometry."},
    "U5": {"to": [["L0","partial"]], "basis": "Deterministic conversion to the substrate the stack receives."},
    "A7": {"to": [["L1","direct"]], "basis": "Admission by integer invariants; view F slots the admission budget C = Z + P − χ to A7."},
    "L1": {"to": [["V2","partial"],["L1","partial"],["L0","partial"]], "basis": "The IR belongs with V2, though no source states how the medial graph relates to the Construction Graph; the ledger of Betti numbers and Euler characteristic with map L1; the FeatureComplex, which view F slots to L1, with map L0."},
    "L2": {"to": [["L3","direct"],["L2","partial"]], "basis": "Both state M → A → L → {Lᵏ, h(L), e^(−tL), (λ, u)} with polynomial degree as the reach bound; the harmonic sector matches map L2."},
    "L3": {"to": [["L7","direct"],["L4","partial"]], "basis": "Metric, drift one-form and constraints, with Randers drift, as in map L7; constitutive transport weighting as in map L4."},
    "L4": {"to": [], "basis": "No map layer types the state; map L8 evolves a state it does not type."},
    "L5": {"to": [], "basis": "No map layer of its own; the nearest is map L8's variational steps."},
    "L6": {"to": [["L2","partial"],["L8","partial"]], "basis": "The sector split of map L2; the sectors that classify motion in map L8."},
    "L7": {"to": [["V2","partial"],["L8","partial"],["L9","partial"]], "basis": "Certificate propagation with V2; the proximal repair step with map L8; the Abel–Jacobi gate code attached to L7 checks map L9's condition."},
    "L8": {"to": [], "basis": "No map layer for topology-change events."},
    "L0": {"to": [["L5","partial"],["V2","partial"]], "basis": "Types and signatures with map L5; type-checking with V2."},
    "L9": {"to": [], "basis": "Map L9 is Abel–Jacobi global admission, a different object under the same id."},
    "R":  {"to": [["L5","partial"]], "basis": "Registry growth and the novelty functional ν, as in map L5."},
    "SP": {"to": [], "basis": "The code spine that implements L0, L2, L6 and L7; the nearest map member is V2."},
    "F1": {"to": [["V1","partial"]], "basis": "Proposes metrics, as V1 does; its target is map L7."},
    "F2": {"to": [["L5","partial"],["L6","partial"]], "basis": "Residuals routed to operator classes, as in map L5; unmatched mass as evidence of missing vocabulary, as in map L6."}
  }
}