@ifc-lite/renderer 3.2.0 → 4.2.0

package/dist/shaders/main.wgsl.d.ts

@@ -1,7 +1,2 @@
-/**
- * Main PBR rendering shader for IFC geometry.
- * Features: PBR lighting, section plane clipping, selection highlight,
- * glass fresnel, ACES tone mapping, screen-space edge enhancement.
- */
-export declare const mainShaderSource = "\n        struct Uniforms {\n          viewProj: mat4x4<f32>,\n          model: mat4x4<f32>,\n          baseColor: vec4<f32>,\n          metallicRoughness: vec2<f32>, // x = metallic, y = roughness\n          _padding1: vec2<f32>,\n          sectionPlane: vec4<f32>,      // xyz = plane normal, w = plane distance\n          flags: vec4<u32>,             // x = isSelected, y = section/clip bits, z = edgeEnabled, w = edgeIntensityMilli\n          clipBoxMin: vec4<f32>,        // xyz = clip-box min corner (world), w = pad\n          clipBoxMax: vec4<f32>,        // xyz = clip-box max corner (world), w = pad\n          // Quantized-vertex dequantization (issue #1682 phase 6):\n          // xyz = lattice-aligned quantMin (batch-origin-relative), w = step.\n          // Only read by vs_main_quantized; zero elsewhere.\n          quantParams: vec4<f32>,\n        }\n        @binding(0) @group(0) var<uniform> uniforms: Uniforms;\n\n        // Global lighting environment \u2014 one buffer shared by every mesh in\n        // the pass (bound once per frame at group(1)). Field packing must\n        // match packEnvironmentUniforms() in environment.ts.\n        struct Environment {\n          sunDirection: vec3<f32>,      // unit vector TOWARD the sun\n          sunIntensity: f32,\n          sunColor: vec3<f32>,\n          ambientIntensity: f32,\n          skyColor: vec3<f32>,          // hemisphere-ambient sky tint\n          exposure: f32,\n          groundColor: vec3<f32>,       // hemisphere-ambient ground tint\n          fillIntensity: f32,\n          rimIntensity: f32,\n          sunSoftness: f32,\n          _pad1: f32,\n          _pad2: f32,\n        }\n        @binding(0) @group(1) var<uniform> env: Environment;\n\n        // Sun shadow map (#2670, Phase 2b) at group(1). The depth map, a\n        // comparison sampler, and the light matrix + params. Bound on every\n        // main-family pipeline; sampling is gated by shadowU.params.y (enabled),\n        // so when shadows are off this reads the 1\u00D71 dummy and returns 1.0.\n        @binding(1) @group(1) var shadowMap: texture_depth_2d;\n        @binding(2) @group(1) var shadowCmp: sampler_comparison;\n        struct Shadow {\n          lightViewProj: mat4x4<f32>,\n          // x = texelSize (1/resolution), y = enabled (0/1),\n          // z = normalBias (world units), w = pcfRadius (texels).\n          params: vec4<f32>,\n          // x = depthBias (reverse-Z clip units, nudges toward lit).\n          params2: vec4<f32>,\n        }\n        @binding(3) @group(1) var<uniform> shadowU: Shadow;\n\n        // Fraction of the sun reaching this surface point (1 = lit, 0 = fully\n        // shadowed). Normal-offset + slope-scaled bias defeats acne without\n        // peter-panning; the penumbra is sampled with a 12-tap Poisson disk\n        // ROTATED per pixel (interleaved gradient noise). A fixed grid kernel\n        // undersamples a wide penumbra and breaks into discrete bands (the\n        // \"tripled shadow\" at high softness); a rotated disk turns that banding\n        // into fine dither that reads as smooth at any softness.\n        // textureSampleCompareLevel is used (not ...Compare) so it is legal in\n        // this non-uniform control flow.\n        const SHADOW_POISSON = array<vec2<f32>, 12>(\n          vec2<f32>(-0.326, -0.406), vec2<f32>(-0.840, -0.074), vec2<f32>(-0.696,  0.457),\n          vec2<f32>(-0.203,  0.621), vec2<f32>( 0.962, -0.195), vec2<f32>( 0.473, -0.480),\n          vec2<f32>( 0.519,  0.767), vec2<f32>( 0.185, -0.893), vec2<f32>( 0.507,  0.064),\n          vec2<f32>( 0.896,  0.412), vec2<f32>(-0.322, -0.933), vec2<f32>(-0.792, -0.598),\n        );\n\n        fn sunShadowFactor(worldPos: vec3<f32>, N: vec3<f32>, fragCoord: vec2<f32>) -> f32 {\n          if (shadowU.params.y < 0.5) { return 1.0; }\n          // The diffuse sun term is TWO-SIDED (abs(dot(N, sun)) in the shading\n          // below), so a face whose stabilized normal points away from the sun is\n          // still lit. Orient the normal toward the sun before biasing: otherwise\n          // the normal-offset push (params.z) moves the sample AWAY from the light\n          // (deeper behind the surface), and the slope term below collapses to its\n          // max (NdotL\u21920), together biasing the compare toward \"lit\" \u2014 which leaks\n          // direct sun onto interior faces the roof occludes (#2670 review).\n          let L = normalize(env.sunDirection);\n          let Ns = N * select(-1.0, 1.0, dot(N, L) >= 0.0);\n          let biased = worldPos + Ns * shadowU.params.z;\n          let clip = shadowU.lightViewProj * vec4<f32>(biased, 1.0);\n          let ndc = clip.xyz / clip.w;\n          let uv = vec2<f32>(ndc.x * 0.5 + 0.5, ndc.y * -0.5 + 0.5);\n          let inBounds = uv.x >= 0.0 && uv.x <= 1.0 && uv.y >= 0.0 && uv.y <= 1.0 && ndc.z > 0.0;\n          if (!inBounds) { return 1.0; }\n          // Slope-scaled depth bias: at a grazing sun the receiver's light-space\n          // depth changes fast across the kernel, so a constant bias can't clear\n          // the whole footprint and the surface rings with moir\u00E9. Grow the bias\n          // as the surface tilts away from the sun (NdotL \u2192 0) and with the\n          // kernel width. The hardware slope bias in the depth pass covers the\n          // occluder side; this covers the receiver side.\n          let NdotL = max(dot(Ns, L), 0.0);\n          let slope = clamp(sqrt(max(1.0 - NdotL * NdotL, 0.0)) / max(NdotL, 0.1), 1.0, 12.0);\n          let refDepth = ndc.z + shadowU.params2.x * slope * (1.0 + shadowU.params.w);\n          let radius = shadowU.params.x * shadowU.params.w;  // penumbra, uv units\n          // Per-pixel rotation (interleaved gradient noise) dithers the disk so\n          // the discrete taps never line up into bands.\n          let ign = fract(52.9829189 * fract(dot(fragCoord, vec2<f32>(0.06711056, 0.00583715))));\n          let ang = ign * 6.2831853;\n          let cr = cos(ang);\n          let sr = sin(ang);\n          var sum = 0.0;\n          for (var i = 0; i < 12; i = i + 1) {\n            let p = SHADOW_POISSON[i];\n            let off = vec2<f32>(p.x * cr - p.y * sr, p.x * sr + p.y * cr) * radius;\n            sum = sum + textureSampleCompareLevel(shadowMap, shadowCmp, uv + off, refDepth);\n          }\n          let pcf = sum / 12.0;\n          // Terminator fade. On a surface nearly PARALLEL to the sun rays\n          // (NdotL \u2192 0, e.g. a vertical wall under a midday sun) the receiver\n          // straddles the shadow threshold, so the rotated-disk taps randomly\n          // pass/fail and the wall breaks into salt-and-pepper speckle. The\n          // direct sun term is near zero there anyway, so fade the cast shadow\n          // smoothly toward lit as the surface goes grazing: a clean gradient\n          // replaces the ripple (#2670).\n          let graze = smoothstep(0.0, 0.3, NdotL);\n          return mix(1.0, pcf, graze);\n        }\n\n        struct VertexInput {\n          @location(0) position: vec3<f32>,\n          @location(1) normal: vec3<f32>,\n          @location(2) entityId: u32,\n        }\n\n        struct VertexOutput {\n          @builtin(position) position: vec4<f32>,\n          @location(0) worldPos: vec3<f32>,\n          @location(1) normal: vec3<f32>,\n          @location(2) @interpolate(flat) entityId: u32,\n          @location(3) viewPos: vec3<f32>,  // For edge detection\n          // Per-draw albedo carried from the vertex stage so the fragment shader\n          // is shared by the flat path (vs_main writes uniforms.baseColor \u2014 the\n          // per-batch / overlay-override colour) AND the instanced path\n          // (vs_instanced writes the per-occurrence colour from the instance\n          // buffer). For the flat path this is identical to reading\n          // uniforms.baseColor directly (the value is constant across the draw).\n          @location(4) color: vec4<f32>,\n          // Per-occurrence selection flag for the instanced path (bit 0 = selected).\n          // vs_main writes 0 (the flat path selects via uniforms.flags.x instead);\n          // vs_instanced writes the per-instance flag from the instance buffer, so a\n          // single selected occurrence highlights without re-drawing.\n          @location(5) @interpolate(flat) instSelected: u32,\n        }\n\n        // Per-instance vertex-buffer inputs (slot 1, stepMode 'instance') used by\n        // vs_instanced. The mat4 arrives as four COLUMN vec4s (WGSL mat4x4 is\n        // column-major), matching composeInstanceMatrix's column-major output +\n        // the pipeline's slot-1 attribute offsets (0/16/32/48).\n        //\n        // Location namespaces: vertex-INPUT @location (this struct + VertexInput)\n        // and inter-stage @location (VertexOutput) are INDEPENDENT in WGSL, so\n        // InstanceInput.m1 @location(4) does NOT collide with VertexOutput.color\n        // @location(4) \u2014 exactly as VertexInput.entityId and VertexOutput.entityId\n        // already BOTH use @location(2). Within the INPUT namespace the per-vertex\n        // inputs (0..2) and per-instance inputs (3..8) stay distinct.\n        struct InstanceInput {\n          @location(3) m0: vec4<f32>,\n          @location(4) m1: vec4<f32>,\n          @location(5) m2: vec4<f32>,\n          @location(6) m3: vec4<f32>,\n          @location(7) instEntityId: u32,\n          @location(8) instColor: vec4<f32>,\n          @location(9) instSelected: u32,\n        }\n\n        // 12-byte quantized vertex (issue #1682 phase 6): uint16x4 (lattice\n        // position xyz + packed octahedral normal in w as (u8x << 8 | u8y))\n        // followed by the u32 entityId lane. Dequantization is BIT-EXACT for\n        // the 2^-10 lattice: quantMin and q*step are both (integer)\u00B72^-10,\n        // so coincident points across batches stay coincident (the shared-\n        // origin z-fight guarantee survives quantization).\n        struct QuantizedVertexInput {\n          @location(0) q: vec4<u32>,     // uint16x4: x, y, z, packedOct\n          @location(2) entityId: u32,\n        }\n\n        fn octDecodeN(packed: u32) -> vec3<f32> {\n          let ox = (f32((packed >> 8u) & 255u) / 255.0) * 2.0 - 1.0;\n          let oy = (f32(packed & 255u) / 255.0) * 2.0 - 1.0;\n          var n = vec3<f32>(ox, oy, 1.0 - abs(ox) - abs(oy));\n          if (n.z < 0.0) {\n            let tx = (1.0 - abs(oy)) * select(-1.0, 1.0, ox >= 0.0);\n            let ty = (1.0 - abs(ox)) * select(-1.0, 1.0, oy >= 0.0);\n            n = vec3<f32>(tx, ty, n.z);\n          }\n          return normalize(n);\n        }\n\n        // Shared flat-path vertex shading \u2014 vs_main and vs_main_quantized\n        // differ ONLY in how position/normal are sourced.\n        fn shadeFlatVertex(localPos: vec3<f32>, localNormal: vec3<f32>, entityId: u32) -> VertexOutput {\n          var output: VertexOutput;\n          let worldPos = uniforms.model * vec4<f32>(localPos, 1.0);\n          output.position = uniforms.viewProj * worldPos;\n          // Anti z-fighting depth nudge \u2014 see vs_main's comment.\n          let colorSalt = (entityId >> 24u) * 2654435761u;\n          let zHash = (((entityId & 0x00FFFFFFu) ^ colorSalt) * 2654435761u) & 255u;\n          output.position.z *= 1.0 + f32(zHash) * 1e-6;\n          output.worldPos = worldPos.xyz;\n          output.normal = normalize((uniforms.model * vec4<f32>(localNormal, 0.0)).xyz);\n          output.entityId = entityId;\n          output.color = uniforms.baseColor;\n          output.instSelected = 0u;\n          output.viewPos = (uniforms.viewProj * worldPos).xyz;\n          return output;\n        }\n\n        @vertex\n        fn vs_main_quantized(input: QuantizedVertexInput) -> VertexOutput {\n          let p = uniforms.quantParams.xyz\n            + vec3<f32>(f32(input.q.x), f32(input.q.y), f32(input.q.z)) * uniforms.quantParams.w;\n          return shadeFlatVertex(p, octDecodeN(input.q.w), input.entityId);\n        }\n\n        @vertex\n        fn vs_main(input: VertexInput, @builtin(instance_index) instanceIndex: u32) -> VertexOutput {\n          var output: VertexOutput;\n          let worldPos = uniforms.model * vec4<f32>(input.position, 1.0);\n          output.position = uniforms.viewProj * worldPos;\n          // Anti z-fighting: deterministic depth nudge.\n          // Knuth multiplicative hash spreads sequential IDs across 0-255 so\n          // coplanar faces from different entities always get distinct depths.\n          // Material-layer walls slice into one closed solid per layer, all\n          // sharing the PARENT wall's expressId, so adjacent layers' coincident\n          // interface caps would get the same entity nudge and z-fight into a\n          // flickering comb (\"see inside the wall\"). To separate them we fold in\n          // an 8-bit MATERIAL-COLOUR salt that mergeGeometry/interleaveTextured\n          // baked into the HIGH 8 bits of the entityId lane (low 24 = picking id,\n          // masked off by encodeId24). Crucially the salt comes from the mesh's\n          // OWN colour, NOT the per-draw baseColor uniform \u2014 so the base opaque\n          // pass and the lens/IDS/compare/4D OVERLAY pass (which redraws the same\n          // geometry with a DIFFERENT draw colour) compute the SAME nudge, and\n          // the overlay pipeline's depthCompare:'equal' matches instead of\n          // rejecting every fragment. At 1e-6 per step the max world-space offset\n          // is <3mm at 10m \u2014 invisible.\n          let colorSalt = (input.entityId >> 24u) * 2654435761u;\n          let zHash = (((input.entityId & 0x00FFFFFFu) ^ colorSalt) * 2654435761u) & 255u;\n          output.position.z *= 1.0 + f32(zHash) * 1e-6;\n          output.worldPos = worldPos.xyz;\n          output.normal = normalize((uniforms.model * vec4<f32>(input.normal, 0.0)).xyz);\n          output.entityId = input.entityId;\n          output.color = uniforms.baseColor;\n          output.instSelected = 0u;  // flat path selects via uniforms.flags.x\n          // Store view-space position for edge detection\n          output.viewPos = (uniforms.viewProj * worldPos).xyz;\n          return output;\n        }\n\n        // Instanced vertex entry \u2014 one template's geometry drawn once per\n        // occurrence. The per-instance mat4 already folds SWAP * rel_k * T(origin)\n        // (composed CPU-side, see instanced-render.ts), so it maps the template's\n        // LOCAL vertex straight to WebGL Y-up world space \u2014 no uniforms.model.\n        // rel_k and SWAP are rigid (no scale), so the same matrix transforms\n        // normals. entityId + colour come per-occurrence from the instance buffer.\n        @vertex\n        fn vs_instanced(input: VertexInput, inst: InstanceInput) -> VertexOutput {\n          var output: VertexOutput;\n          let instMat = mat4x4<f32>(inst.m0, inst.m1, inst.m2, inst.m3);\n          let worldPos = instMat * vec4<f32>(input.position, 1.0);\n          output.position = uniforms.viewProj * worldPos;\n          // Same per-entity depth nudge as vs_main. No colour salt here: the\n          // instanced path has no base-vs-overlay coincident redraw (yet), so the\n          // raw picking id is enough to separate coplanar entities.\n          let zHash = ((inst.instEntityId & 0x00FFFFFFu) * 2654435761u) & 255u;\n          output.position.z *= 1.0 + f32(zHash) * 1e-6;\n          output.worldPos = worldPos.xyz;\n          output.normal = normalize((instMat * vec4<f32>(input.normal, 0.0)).xyz);\n          output.entityId = inst.instEntityId;\n          output.color = inst.instColor;\n          output.instSelected = inst.instSelected;\n          output.viewPos = (uniforms.viewProj * worldPos).xyz;\n          return output;\n        }\n\n        // PBR helper functions\n        fn fresnelSchlick(cosTheta: f32, F0: vec3<f32>) -> vec3<f32> {\n          return F0 + (1.0 - F0) * pow(clamp(1.0 - cosTheta, 0.0, 1.0), 5.0);\n        }\n\n        fn distributionGGX(NdotH: f32, roughness: f32) -> f32 {\n          let a = roughness * roughness;\n          let a2 = a * a;\n          let NdotH2 = NdotH * NdotH;\n          let num = a2;\n          let denomBase = (NdotH2 * (a2 - 1.0) + 1.0);\n          let denom = 3.14159265 * denomBase * denomBase;\n          return num / max(denom, 0.0000001);\n        }\n\n        fn geometrySchlickGGX(NdotV: f32, roughness: f32) -> f32 {\n          let r = (roughness + 1.0);\n          let k = (r * r) / 8.0;\n          let num = NdotV;\n          let denom = NdotV * (1.0 - k) + k;\n          return num / max(denom, 0.0000001);\n        }\n\n        fn geometrySmith(NdotV: f32, NdotL: f32, roughness: f32) -> f32 {\n          let ggx2 = geometrySchlickGGX(NdotV, roughness);\n          let ggx1 = geometrySchlickGGX(NdotL, roughness);\n          return ggx1 * ggx2;\n        }\n\n        fn encodeId24(id: u32) -> vec4<f32> {\n          let r = f32((id >> 16u) & 255u) / 255.0;\n          let g = f32((id >> 8u) & 255u) / 255.0;\n          let b = f32(id & 255u) / 255.0;\n          return vec4<f32>(r, g, b, 1.0);\n        }\n\n        struct FragmentOutput {\n          @location(0) color: vec4<f32>,\n          @location(1) objectIdEncoded: vec4<f32>,\n        }\n\n        @fragment\n        fn fs_main(input: VertexOutput) -> FragmentOutput {\n          // Per-instance hide/isolate: bit 1 of the instance flags lane marks a hidden\n          // occurrence. Discard it so it neither draws nor writes depth (and the pick\n          // pass applies the same discard, so it isn't pickable). vs_main writes\n          // instSelected=0u for flat geometry, so this never affects the flat path.\n          if ((input.instSelected & 2u) != 0u) {\n            discard;\n          }\n          // Per-instance opacity routing (instanced passes only \u2014 flags.x bit 2). The\n          // opaque instanced pass draws fully-opaque (or selected) occurrences; the\n          // transparent instanced sub-pass (bit 3, alpha-blended) draws the rest. Discard\n          // the occurrences belonging to the OTHER pass so each is drawn exactly once.\n          // Lens-ghost / x-ray / compare write a low per-instance alpha into input.color.a.\n          if ((uniforms.flags.x & 4u) != 0u) {\n            let occOpaque = input.color.a >= 0.99 || (input.instSelected & 1u) != 0u;\n            let transparentPass = (uniforms.flags.x & 8u) != 0u;\n            if (transparentPass) {\n              if (occOpaque) { discard; }\n            } else {\n              if (!occOpaque) { discard; }\n            }\n          }\n          // Section plane clipping - discard fragments ABOVE the plane.\n          // flags.y packs two bits: bit 0 = enabled, bit 1 = flipped.\n          let sectionEnabled = (uniforms.flags.y & 1u) == 1u;\n          if (sectionEnabled) {\n            let planeNormal = uniforms.sectionPlane.xyz;\n            let planeDistance = uniforms.sectionPlane.w;\n            let flipped = (uniforms.flags.y & 2u) == 2u;\n            let side = select(1.0, -1.0, flipped);\n            let distToPlane = (dot(input.worldPos, planeNormal) - planeDistance) * side;\n            if (distToPlane > 0.0) {\n              discard;\n            }\n          }\n          // Clip box (section / crop box): discard fragments OUTSIDE the AABB.\n          // flags.y bit 2 = clip-box enabled.\n          if ((uniforms.flags.y & 4u) != 0u) {\n            let p = input.worldPos;\n            if (any(p < uniforms.clipBoxMin.xyz) || any(p > uniforms.clipBoxMax.xyz)) {\n              discard;\n            }\n          }\n\n          // Compute normal via derivative-based flat shading.\n          //\n          // Industry-standard solution for BIM/CAD viewers \u2014 what\n          // Three.js (material.flatShading = true), Autodesk Forge,\n          // Speckle, and xeokit all do for opaque surfaces. Rationale:\n          //\n          //   * BIM geometry is overwhelmingly flat surfaces (walls,\n          //     slabs, roofs, beams), and CSG operations (opening\n          //     subtraction, layer slicing) emit those surfaces as\n          //     dense strips of coplanar triangles. Per-vertex normal\n          //     averaging gives a SLIGHTLY-different normal at each\n          //     vertex due to f32 noise from boolean output; the\n          //     boundary between strips then reads as a visible darker/\n          //     brighter scar line \u2014 the horizontal striations on\n          //     walls, stripes on roofs, visible triangulation reports\n          //     across every CSG kernel we have tried (legacy BSP,\n          //     Manifold).\n          //   * cross(dpdx, dpdy) of world position evaluates to the\n          //     EXACT face normal in the fragment shader. Every\n          //     fragment on a flat face \u2014 across an arbitrarily-fine\n          //     triangulation \u2014 gets the IDENTICAL normal, so coplanar\n          //     splits become invisible by construction. No CPU-side\n          //     welding, smooth-grouping, or coplanar-face merging\n          //     fixes the symptom as cleanly.\n          //\n          // Trade-off: genuinely curved surfaces (cylinder tessellations,\n          // BSpline approximations) shade with visible facets. For BIM\n          // that's acceptable \u2014 curved surfaces are < 5 % of typical\n          // model triangle count and the faceting matches CAD-tool\n          // (Revit, ArchiCAD) on-screen behaviour at default quality.\n          //\n          // We still fall back to the vertex normal when derivatives\n          // are unavailable (extreme polygon degeneracy where dpdx /\n          // dpdy collapse to zero \u2014 practically never on real geometry).\n          let faceN = cross(dpdx(input.worldPos), dpdy(input.worldPos));\n          let fLen2 = dot(faceN, faceN);\n          var N: vec3<f32>;\n          if (fLen2 > 1e-10) {\n            N = faceN * inverseSqrt(fLen2);\n          } else {\n            // Degenerate derivative \u2014 fall back to the vertex normal\n            // if it's populated, else +Y.\n            N = input.normal;\n            let nLen2 = dot(N, N);\n            if (nLen2 > 1e-6) {\n              N = N * inverseSqrt(nLen2);\n            } else {\n              N = vec3<f32>(0.0, 1.0, 0.0);\n            }\n          }\n\n          // Stabilize the SIGN of the derivative face normal with the vertex\n          // normal. The screen-space cross product gives the exact face\n          // normal DIRECTION for coplanar strips (the scar-line fix), but at\n          // grazing angles its SIGN becomes numerically unstable per quad \u2014\n          // hemisphere/rim lighting then band-flips across large regions of\n          // flat walls/slabs (diagonal lighter/darker bands). The interpolated\n          // vertex normal is quad-noise-free, so use it only to orient N.\n          // Guard: skip when the vertex normal is missing or nearly\n          // perpendicular to the face normal (unreliable witness).\n          let vN = input.normal;\n          let alignDot = dot(N, vN);\n          if (alignDot * alignDot > 0.03 * dot(vN, vN)) {\n            N = N * sign(alignDot);\n          }\n\n          // Lighting environment \u2014 sun/hemisphere/exposure come from the\n          // global env uniform (defaults reproduce the historic hardcoded\n          // values); fill + rim directions stay fixed in view-agnostic\n          // world space as stylistic shaping lights.\n          let sunLight = env.sunDirection;\n          let fillLight = normalize(vec3<f32>(-0.5, 0.3, -0.3));  // Fill light\n          let rimLight = normalize(vec3<f32>(0.0, 0.2, -1.0));  // Rim light for edge definition\n\n          // Hemisphere ambient\n          let hemisphereFactor = N.y * 0.5 + 0.5;\n          let ambient = mix(env.groundColor, env.skyColor, hemisphereFactor) * env.ambientIntensity;\n\n          // Two-sided sun light so inner faces (I-beam channels) stay visible.\n          // sunSoftness is the diffuse wrap (env uniform): 0 = crisp\n          // terminator (hard shadows), larger = softer wrap-around (overcast).\n          let NdotL = abs(dot(N, sunLight));\n          let wrap = env.sunSoftness;\n          let diffuseSun = max((NdotL + wrap) / (1.0 + wrap), 0.0) * env.sunIntensity;\n\n          // Fill light - two-sided\n          let NdotFill = abs(dot(N, fillLight));\n          let diffuseFill = NdotFill * env.fillIntensity;\n\n          // Rim light for edge definition\n          let NdotRim = max(dot(N, rimLight), 0.0);\n          let rim = pow(NdotRim, 4.0) * env.rimIntensity;\n\n          var baseColor = input.color.rgb;\n\n          // Detect if the color is close to white/gray (low saturation)\n          let baseGray = dot(baseColor, vec3<f32>(0.299, 0.587, 0.114));\n          let baseSaturation = length(baseColor - vec3<f32>(baseGray)) / max(baseGray, 0.001);\n          let isWhiteish = 1.0 - smoothstep(0.0, 0.3, baseSaturation);\n\n          // Darken whites/grays more to reduce washed-out appearance\n          baseColor = mix(baseColor, baseColor * 0.7, isWhiteish * 0.4);\n\n          // Combine all lighting. Only the DIRECT sun term is occluded by cast\n          // shadows (#2670); ambient/fill/rim are indirect and stay unshadowed.\n          let sunShadow = sunShadowFactor(input.worldPos, N, input.position.xy);\n          let lightTerm = ambient + env.sunColor * (diffuseSun * sunShadow) + vec3<f32>(diffuseFill + rim);\n          var color = baseColor * lightTerm;\n\n          // flags.x is a bitfield:\n          //   bit 0 (value 1) = isSelected  \u2192 selection-highlight + force opaque\n          //   bit 1 (value 2) = isOverlay   \u2192 color-override pass; preserve\n          //                                    baseColor.a (overlay pipeline has\n          //                                    src-alpha blending) AND skip the\n          //                                    glass-fresnel branch so low-alpha\n          //                                    ghost tints don't pick up the\n          //                                    near-white reflection tint meant\n          //                                    for real glass materials.\n          // Selected via the per-draw flag (flat path) OR the per-occurrence flag\n          // (instanced path \u2014 vs_instanced reads it from the instance buffer).\n          let isSelected = ((uniforms.flags.x & 1u) == 1u) || ((input.instSelected & 1u) == 1u);\n          let isOverlay = (uniforms.flags.x & 2u) == 2u;\n\n          // Selection highlight \u2014 a blue albedo RE-LIT by the scene lighting.\n          //\n          // We override the material albedo with selection-blue and re-light\n          // it with the SAME lightTerm used for unselected surfaces, then\n          // discard the view-dependent (fresnel) term below. Two requirements\n          // are in tension and this satisfies both:\n          //\n          //   * No base-material bleed-through. The old fresnel-glow mix left\n          //     ~80 % of the lit object colour visible at face centres (the\n          //     green-site / red-roof wash-out). Here the base colour never\n          //     enters the result \u2014 only lightTerm (geometry/light, colour-\n          //     independent) modulates the constant blue albedo.\n          //   * Facet/crease structure must survive. A single FLAT colour\n          //     (the previous fix) collapsed every face to the same blue, so\n          //     internal edges \u2014 which read as the per-face shading STEP, not\n          //     just the faint screen-space edge line \u2014 disappeared on\n          //     selection. Re-lighting keeps that per-face brightness step, so\n          //     creases read on the highlight exactly as they do unselected.\n          //\n          // The luminance of lightTerm is remapped by a multiplicative gain\n          // (which preserves the per-face brightness RATIOS, so creases read\n          // as strongly as on the unselected surface) calibrated so a sunlit\n          // face hits full selection-blue, with a floor/ceiling clamp so\n          // shadowed faces only dim and bright scenes never wash out.\n          if (isSelected) {\n            let shadeLum = dot(lightTerm, vec3<f32>(0.299, 0.587, 0.114));\n            let shade = clamp(shadeLum * 1.55, 0.45, 1.2);\n            color = vec3<f32>(0.3, 0.6, 1.0) * shade;\n          }\n\n          // flags.x bit 5 (value 32) = EMPHASIZE overlay: render the colour\n          // override FULLY UNLIT and saturated (no lighting attenuation, no\n          // wash-to-white) so the focused clash pair reads as a solid, vivid,\n          // distinct colour that pops against the lit model \u2014 like a clash tool.\n          // A faint normal-based shade keeps the silhouette from going flat. (#1277)\n          let emphasizedOverlay = isOverlay && (uniforms.flags.x & 32u) != 0u;\n          if (emphasizedOverlay) {\n            let facet = 0.85 + 0.15 * abs(dot(N, normalize(vec3<f32>(0.3, 1.0, 0.2))));\n            color = baseColor * facet;\n          }\n\n          // Beautiful fresnel effect for transparent materials (glass)\n          // Skip when selected \u2014 the glass shine and desaturation wash out the\n          // blue highlight, making it appear white instead of blue.\n          // Also force alpha to 1.0 for selected objects so the highlight is\n          // fully opaque (the selection pipeline has no alpha blending).\n          // Emphasized clash overlay paints a SOLID vivid fill (force opaque) so\n          // it isn't blended down to a pale tint against the geometry beneath.\n          var finalAlpha = select(input.color.a, 1.0, isSelected || emphasizedOverlay);\n          if (finalAlpha < 0.99 && !isSelected && !isOverlay) {\n            // Calculate view direction for fresnel\n            let V = normalize(-input.worldPos);\n            let NdotV = max(dot(N, V), 0.0);\n\n            // Enhanced fresnel effect - stronger at edges (grazing angles)\n            // Using Schlick's approximation for realistic glass reflection\n            let fresnelPower = 1.5; // Higher = softer edge reflections\n            let fresnel = pow(1.0 - NdotV, fresnelPower);\n\n            // Glass reflection tint (sky/environment reflection at edges)\n            let reflectionTint = vec3<f32>(0.92, 0.96, 1.0);  // Cool sky reflection\n            let reflectionStrength = fresnel * 0.6;  // Strong edge reflections\n\n            // Mix in reflection tint at edges\n            color = mix(color, color * reflectionTint, reflectionStrength);\n\n            // Add realistic glass shine - brighter at edges where light reflects\n            let glassShine = fresnel * 0.12;\n            color += glassShine;\n\n            // Slight desaturation at edges (glass reflects environment, not just color)\n            let edgeDesaturation = fresnel * 0.25;\n            let gray = dot(color, vec3<f32>(0.299, 0.587, 0.114));\n            color = mix(color, vec3<f32>(gray), edgeDesaturation);\n\n            // Make glass more transparent (reduce opacity by 30%)\n            finalAlpha = finalAlpha * 0.7;\n          }\n\n          // Exposure adjustment (historic default 0.85 darkens overall)\n          color *= env.exposure;\n\n          // Contrast enhancement\n          color = (color - 0.5) * 1.15 + 0.5;\n          color = max(color, vec3<f32>(0.0));\n\n          // Saturation boost - stronger for colored surfaces, less for whites\n          let gray = dot(color, vec3<f32>(0.299, 0.587, 0.114));\n          // More saturation for colored surfaces. isWhiteish is derived from\n          // the base material colour, so for a SELECTED object it would leak a\n          // material dependence into the highlight (breaking the no-bleed-\n          // through contract). The selection blue is a fully-saturated colour,\n          // so force the colored-surface boost (1.4) when selected \u2014 keeping\n          // the highlight identical regardless of the underlying material.\n          let satBoost = select(mix(1.4, 1.1, isWhiteish), 1.4, isSelected);\n          color = mix(vec3<f32>(gray), color, satBoost);\n\n          // ACES filmic tone mapping\n          let a = 2.51;\n          let b = 0.03;\n          let c = 2.43;\n          let d = 0.59;\n          let e = 0.14;\n          color = clamp((color * (a * color + b)) / (color * (c * color + d) + e), vec3<f32>(0.0), vec3<f32>(1.0));\n\n          // Subtle edge enhancement using screen-space derivatives.\n          //\n          // Use the SHADED normal (face normal from dpdx/dpdy above)\n          // for the normal-gradient term, not the interpolated vertex\n          // normal \u2014 otherwise we get spurious dark stripes on flat\n          // surfaces whose vertex normals carry numerical noise from\n          // CSG output (the visible scar-line symptom would just\n          // resurface here even after the lit-normal fix). With the\n          // face normal, coplanar adjacent triangles agree exactly \u2192\n          // zero normal gradient \u2192 no false edge; only the genuine\n          // creases between perpendicular faces produce a real\n          // gradient and get the intended outline.\n          let depthGradient = length(vec2<f32>(\n            dpdx(input.viewPos.z),\n            dpdy(input.viewPos.z)\n          ));\n          let normalGradient = length(vec2<f32>(\n            length(dpdx(N)),\n            length(dpdy(N))\n          ));\n\n          if (uniforms.flags.z == 1u) {\n            // Threshold filters subtle normal discontinuities at internal\n            // triangle edges between coplanar entities in the same batch.\n            let edgeFactor = smoothstep(0.02, 0.12, depthGradient * 10.0 + normalGradient * 5.0);\n            let edgeIntensity = f32(uniforms.flags.w) / 1000.0;\n            let edgeDarkenStrength = clamp(0.25 * edgeIntensity, 0.0, 0.85);\n            let edgeDarken = mix(1.0, 1.0 - edgeDarkenStrength, edgeFactor);\n            color *= edgeDarken;\n          }\n\n          // Gamma correction\n          color = pow(color, vec3<f32>(1.0 / 2.2));\n\n          var out: FragmentOutput;\n          out.color = vec4<f32>(color, finalAlpha);\n          out.objectIdEncoded = encodeId24(input.entityId);\n          return out;\n        }\n      ";
+export declare const mainShaderSource = "\n        struct Uniforms {\n          viewProj: mat4x4<f32>,\n          model: mat4x4<f32>,\n          baseColor: vec4<f32>,\n          metallicRoughness: vec2<f32>, // x = metallic, y = roughness\n          _padding1: vec2<f32>,\n          sectionPlane: vec4<f32>,      // xyz = plane normal, w = plane distance\n          flags: vec4<u32>,             // x = isSelected, y = section/clip bits, z = edgeEnabled, w = edgeIntensityMilli\n          clipBoxMin: vec4<f32>,        // xyz = clip-box min corner (world), w = pad\n          clipBoxMax: vec4<f32>,        // xyz = clip-box max corner (world), w = pad\n          quantParams: vec4<f32>, // local min xyz, lattice step w\n          rteViewProj: mat4x4<f32>, // appended frame; bit 16 selects it\n          drawableDeltaHigh: vec4<f32>,\n          drawableDeltaLow: vec4<f32>,\n          rteCameraHigh: vec4<f32>,\n          rteCameraLow: vec4<f32>,\n        }\n        @binding(0) @group(0) var<uniform> uniforms: Uniforms;\n        const RTE_DRAWABLE_FLAG: u32 = 65536u;\n        \nstruct RteFrameUniform {\n  // Camera translation is intentionally absent. This projects positions\n  // returned by rteWorldPosition, which are already relative to the eye.\n  viewProj: mat4x4<f32>,\n}\n\nstruct RteDrawableUniform {\n  // CPU computes (drawable origin - camera origin) in f64 and splits it.\n  // This data must be refreshed whenever the RTE camera frame changes.\n  drawableDeltaHigh: vec4<f32>,\n  drawableDeltaLow: vec4<f32>,\n}\n\nfn rteWorldPosition(\n  local: vec3<f32>,\n  drawable: RteDrawableUniform,\n) -> vec4<f32> {\n  // Do not subtract a camera origin here: this delta was formed in CPU f64.\n  let highDelta = drawable.drawableDeltaHigh.xyz;\n  let lowDelta = drawable.drawableDeltaLow.xyz;\n  // A drawable template can span kilometres. Keep local with high first;\n  // The local-plus-(high-plus-low) association is not equivalent in f32.\n  return vec4<f32>((local + highDelta) + lowDelta, 1.0);\n}\n\n        \n        fn rtePosition(local: vec3<f32>) -> vec4<f32> {\n          let linear = (uniforms.model * vec4<f32>(local, 0.0)).xyz;\n          return rteWorldPosition(linear, RteDrawableUniform(\n            uniforms.drawableDeltaHigh,\n            uniforms.drawableDeltaLow,\n          ));\n        }\n        fn rteInstancePosition(local: vec3<f32>, anchorHigh: vec3<f32>, anchorLow: vec3<f32>) -> vec4<f32> {\n          return rteWorldPosition(local, RteDrawableUniform(\n            vec4<f32>(anchorHigh, 0.0),\n            vec4<f32>(anchorLow, 0.0),\n          ));\n        }\n        // Shared group(1) lighting; packing matches packEnvironmentUniforms().\n        struct Environment {\n          sunDirection: vec3<f32>,      // unit vector TOWARD the sun\n          sunIntensity: f32,\n          sunColor: vec3<f32>,\n          ambientIntensity: f32,\n          skyColor: vec3<f32>,          // hemisphere-ambient sky tint\n          exposure: f32,\n          groundColor: vec3<f32>,       // hemisphere-ambient ground tint\n          fillIntensity: f32,\n          rimIntensity: f32,\n          sunSoftness: f32,\n          _pad1: f32,\n          _pad2: f32,\n        }\n        @binding(0) @group(1) var<uniform> env: Environment;\n        const IRRADIANCE_CALIBRATION: f32 = 1.82;\n        \n        fn srgbToLinear(c: vec3<f32>) -> vec3<f32> {\n          let lo = c / 12.92;\n          let hi = pow((max(c, vec3<f32>(0.0)) + 0.055) / 1.055, vec3<f32>(2.4));\n          return select(hi, lo, c <= vec3<f32>(0.04045));\n        }\n\n        fn linearToSrgb(c: vec3<f32>) -> vec3<f32> {\n          let lo = c * 12.92;\n          let hi = 1.055 * pow(max(c, vec3<f32>(0.0)), vec3<f32>(1.0 / 2.4)) - 0.055;\n          return select(hi, lo, c <= vec3<f32>(0.0031308));\n        }\n\n        fn neutralCompress(cIn: vec3<f32>) -> vec3<f32> {\n          let startCompression = 0.76;\n          let desaturation = 0.15;\n          let c = max(cIn, vec3<f32>(0.0));\n          let peak = max(c.r, max(c.g, c.b));\n          if (peak < startCompression) { return c; }\n          let d = 1.0 - startCompression;\n          let newPeak = 1.0 - d * d / (peak + d - startCompression);\n          let g = 1.0 - 1.0 / (desaturation * (peak - newPeak) + 1.0);\n          return mix(c * (newPeak / peak), vec3<f32>(newPeak), g);\n        }\n\n\n        \n        @binding(1) @group(1) var shadowMap: texture_depth_2d;\n        @binding(2) @group(1) var shadowCmp: sampler_comparison;\n        struct Shadow { lightViewProj: mat4x4<f32>, params: vec4<f32>, params2: vec4<f32>, }\n        @binding(3) @group(1) var<uniform> shadowU: Shadow;\n        const SHADOW_POISSON = array<vec2<f32>, 12>(\n          vec2<f32>(-0.326, -0.406), vec2<f32>(-0.840, -0.074), vec2<f32>(-0.696,  0.457),\n          vec2<f32>(-0.203,  0.621), vec2<f32>( 0.962, -0.195), vec2<f32>( 0.473, -0.480),\n          vec2<f32>( 0.519,  0.767), vec2<f32>( 0.185, -0.893), vec2<f32>( 0.507,  0.064),\n          vec2<f32>( 0.896,  0.412), vec2<f32>(-0.322, -0.933), vec2<f32>(-0.792, -0.598),\n        );\n        fn sunShadowFactor(eyePos: vec3<f32>, N: vec3<f32>, fragCoord: vec2<f32>) -> f32 {\n          if (shadowU.params.y < 0.5) { return 1.0; }\n          let L = normalize(env.sunDirection);\n          let Ns = N * select(-1.0, 1.0, dot(N, L) >= 0.0);\n          let biased = eyePos + Ns * shadowU.params.z;\n          let clip = shadowU.lightViewProj * vec4<f32>(biased, 1.0);\n          let ndc = clip.xyz / clip.w;\n          let uv = vec2<f32>(ndc.x * 0.5 + 0.5, ndc.y * -0.5 + 0.5);\n          let inBounds = uv.x >= 0.0 && uv.x <= 1.0 && uv.y >= 0.0 && uv.y <= 1.0 && ndc.z > 0.0;\n          if (!inBounds) { return 1.0; }\n          let NdotL = max(dot(Ns, L), 0.0);\n          let slope = clamp(sqrt(max(1.0 - NdotL * NdotL, 0.0)) / max(NdotL, 0.1), 1.0, 12.0);\n          let refDepth = ndc.z + shadowU.params2.x * slope * (1.0 + shadowU.params.w);\n          let radius = shadowU.params.x * shadowU.params.w;\n          let ign = fract(52.9829189 * fract(dot(fragCoord, vec2<f32>(0.06711056, 0.00583715))));\n          let ang = ign * 6.2831853;\n          let cr = cos(ang); let sr = sin(ang); var sum = 0.0;\n          for (var i = 0; i < 12; i = i + 1) {\n            let p = SHADOW_POISSON[i];\n            let off = vec2<f32>(p.x * cr - p.y * sr, p.x * sr + p.y * cr) * radius;\n            sum = sum + textureSampleCompareLevel(shadowMap, shadowCmp, uv + off, refDepth);\n          }\n          return mix(1.0, sum / 12.0, smoothstep(0.0, 0.3, NdotL));\n        }\n\n        struct VertexInput {\n          @location(0) position: vec3<f32>,\n          @location(1) normal: vec3<f32>,\n          @location(2) entityId: u32,\n        }\n\n        struct VertexOutput {\n          @builtin(position) position: vec4<f32>,\n          @location(0) worldPos: vec3<f32>,\n          @location(1) normal: vec3<f32>,\n          @location(2) @interpolate(flat) entityId: u32,\n          @location(3) viewPos: vec3<f32>,  // For edge detection\n          // Per-draw albedo carried from the vertex stage so the fragment shader\n          // is shared by the flat path (vs_main writes uniforms.baseColor \u2014 the\n          // per-batch / overlay-override colour) AND the instanced path\n          // (vs_instanced writes the per-occurrence colour from the instance\n          // buffer). For the flat path this is identical to reading\n          // uniforms.baseColor directly (the value is constant across the draw).\n          @location(4) color: vec4<f32>,\n          // Per-occurrence selection flag for the instanced path (bit 0 = selected).\n          // vs_main writes 0 (the flat path selects via uniforms.flags.x instead);\n          // vs_instanced writes the per-instance flag from the instance buffer, so a\n          // single selected occurrence highlights without re-drawing.\n          @location(5) @interpolate(flat) instSelected: u32,\n          // Camera-relative position for fragment operations that compare\n          // geometry to section/crop boundaries or take derivatives. This is\n          // intentionally separate from worldPos: shadow maps still consume\n          // their established world-space light matrix until their depth pass\n          // is migrated as one transaction.\n          @location(6) eyePos: vec3<f32>,\n        }\n\n        // Per-instance vertex-buffer inputs (slot 1, stepMode 'instance') used by\n        // vs_instanced. The mat4 arrives as four COLUMN vec4s (WGSL mat4x4 is\n        // column-major), matching composeInstanceMatrix's column-major output +\n        // the pipeline's slot-1 attribute offsets (0/16/32/48).\n        //\n        // Location namespaces: vertex-INPUT @location (this struct + VertexInput)\n        // and inter-stage @location (VertexOutput) are INDEPENDENT in WGSL, so\n        // InstanceInput.m1 @location(4) does NOT collide with VertexOutput.color\n        // @location(4) \u2014 exactly as VertexInput.entityId and VertexOutput.entityId\n        // already BOTH use @location(2). Within the INPUT namespace the per-vertex\n        // inputs (0..2) and per-instance inputs (3..8) stay distinct.\n        struct InstanceInput {\n          @location(3) m0: vec4<f32>,\n          @location(4) m1: vec4<f32>,\n          @location(5) m2: vec4<f32>,\n          @location(6) m3: vec4<f32>,\n          @location(7) instEntityId: u32,\n          @location(8) instColor: vec4<f32>,\n          @location(9) instSelected: u32,\n          @location(10) anchorHigh: vec4<f32>,\n          @location(11) anchorLow: vec4<f32>,\n        }\n\n        // 12-byte quantized vertex (issue #1682 phase 6): uint16x4 (lattice\n        // position xyz + packed octahedral normal in w as (u8x << 8 | u8y))\n        // followed by the u32 entityId lane. Dequantization is BIT-EXACT for\n        // the 2^-10 lattice: quantMin and q*step are both (integer)\u00B72^-10,\n        // so coincident points across batches stay coincident (the shared-\n        // origin z-fight guarantee survives quantization).\n        struct QuantizedVertexInput {\n          @location(0) q: vec4<u32>,     // uint16x4: x, y, z, packedOct\n          @location(2) entityId: u32,\n        }\n\n        fn octDecodeN(packed: u32) -> vec3<f32> {\n          let ox = (f32((packed >> 8u) & 255u) / 255.0) * 2.0 - 1.0;\n          let oy = (f32(packed & 255u) / 255.0) * 2.0 - 1.0;\n          var n = vec3<f32>(ox, oy, 1.0 - abs(ox) - abs(oy));\n          if (n.z < 0.0) {\n            let tx = (1.0 - abs(oy)) * select(-1.0, 1.0, ox >= 0.0);\n            let ty = (1.0 - abs(ox)) * select(-1.0, 1.0, oy >= 0.0);\n            n = vec3<f32>(tx, ty, n.z);\n          }\n          return normalize(n);\n        }\n\n        // Shared flat-path vertex shading \u2014 vs_main and vs_main_quantized\n        // differ ONLY in how position/normal are sourced.\n        fn shadeFlatVertex(localPos: vec3<f32>, localNormal: vec3<f32>, entityId: u32) -> VertexOutput {\n          var output: VertexOutput;\n          let worldPos = uniforms.model * vec4<f32>(localPos, 1.0);\n          let eyePos = rtePosition(localPos).xyz;\n          let rte = (uniforms.flags.x & RTE_DRAWABLE_FLAG) != 0u;\n          output.position = select(uniforms.viewProj * worldPos, uniforms.rteViewProj * vec4<f32>(eyePos, 1.0), rte);\n          // Anti z-fighting depth nudge \u2014 see vs_main's comment.\n          let colorSalt = (entityId >> 24u) * 2654435761u;\n          let zHash = (((entityId & 0x00FFFFFFu) ^ colorSalt) * 2654435761u) & 255u;\n          output.position.z *= 1.0 + f32(zHash) * 1e-6;\n          output.worldPos = worldPos.xyz;\n          output.normal = normalize((uniforms.model * vec4<f32>(localNormal, 0.0)).xyz);\n          output.entityId = entityId;\n          output.color = uniforms.baseColor;\n          output.instSelected = 0u;\n          output.eyePos = eyePos;\n          output.viewPos = select((uniforms.viewProj * worldPos).xyz, (uniforms.rteViewProj * vec4<f32>(eyePos, 1.0)).xyz, rte);\n          return output;\n        }\n\n        @vertex\n        fn vs_main_quantized(input: QuantizedVertexInput) -> VertexOutput {\n          let p = uniforms.quantParams.xyz\n            + vec3<f32>(f32(input.q.x), f32(input.q.y), f32(input.q.z)) * uniforms.quantParams.w;\n          return shadeFlatVertex(p, octDecodeN(input.q.w), input.entityId);\n        }\n\n        @vertex\n        fn vs_main(input: VertexInput, @builtin(instance_index) instanceIndex: u32) -> VertexOutput {\n          var output: VertexOutput;\n          let worldPos = uniforms.model * vec4<f32>(input.position, 1.0);\n          let eyePos = rtePosition(input.position).xyz;\n          let rte = (uniforms.flags.x & RTE_DRAWABLE_FLAG) != 0u;\n          output.position = select(uniforms.viewProj * worldPos, uniforms.rteViewProj * vec4<f32>(eyePos, 1.0), rte);\n          // Anti z-fighting: deterministic depth nudge.\n          // Knuth multiplicative hash spreads sequential IDs across 0-255 so\n          // coplanar faces from different entities always get distinct depths.\n          // Material-layer walls slice into one closed solid per layer, all\n          // sharing the PARENT wall's expressId, so adjacent layers' coincident\n          // interface caps would get the same entity nudge and z-fight into a\n          // flickering comb (\"see inside the wall\"). To separate them we fold in\n          // an 8-bit MATERIAL-COLOUR salt that mergeGeometry/interleaveTextured\n          // baked into the HIGH 8 bits of the entityId lane (low 24 = picking id,\n          // masked off by encodeId24). Crucially the salt comes from the mesh's\n          // OWN colour, NOT the per-draw baseColor uniform \u2014 so the base opaque\n          // pass and the lens/IDS/compare/4D OVERLAY pass (which redraws the same\n          // geometry with a DIFFERENT draw colour) compute the SAME nudge, and\n          // the overlay pipeline's depthCompare:'equal' matches instead of\n          // rejecting every fragment. At 1e-6 per step the max world-space offset\n          // is <3mm at 10m \u2014 invisible.\n          let colorSalt = (input.entityId >> 24u) * 2654435761u;\n          let zHash = (((input.entityId & 0x00FFFFFFu) ^ colorSalt) * 2654435761u) & 255u;\n          output.position.z *= 1.0 + f32(zHash) * 1e-6;\n          output.worldPos = worldPos.xyz;\n          output.normal = normalize((uniforms.model * vec4<f32>(input.normal, 0.0)).xyz);\n          output.entityId = input.entityId;\n          output.color = uniforms.baseColor;\n          output.instSelected = 0u;  // flat path selects via uniforms.flags.x\n          output.eyePos = eyePos;\n          // Store view-space position for edge detection\n          output.viewPos = select((uniforms.viewProj * worldPos).xyz, (uniforms.rteViewProj * vec4<f32>(eyePos, 1.0)).xyz, rte);\n          return output;\n        }\n\n        // Instanced vertex entry \u2014 one template's geometry drawn once per\n        // occurrence. The per-instance mat4 already folds SWAP * rel_k * T(origin)\n        // (composed CPU-side, see instanced-render.ts), so it maps the template's\n        // LOCAL vertex straight to WebGL Y-up world space \u2014 no uniforms.model.\n        // rel_k and SWAP are rigid (no scale), so the same matrix transforms\n        // normals. entityId + colour come per-occurrence from the instance buffer.\n        @vertex\n        fn vs_instanced(input: VertexInput, inst: InstanceInput) -> VertexOutput {\n          var output: VertexOutput;\n          let instMat = mat4x4<f32>(inst.m0, inst.m1, inst.m2, inst.m3);\n          let worldPos = instMat * vec4<f32>(input.position, 1.0);\n          let linearLocal = (instMat * vec4<f32>(input.position, 0.0)).xyz;\n          let eyePos = rteInstancePosition(linearLocal, inst.anchorHigh.xyz, inst.anchorLow.xyz).xyz;\n          output.position = uniforms.rteViewProj * vec4<f32>(eyePos, 1.0);\n          // Same per-entity depth nudge as vs_main. No colour salt here: the\n          // instanced path has no base-vs-overlay coincident redraw (yet), so the\n          // raw picking id is enough to separate coplanar entities.\n          let zHash = ((inst.instEntityId & 0x00FFFFFFu) * 2654435761u) & 255u;\n          output.position.z *= 1.0 + f32(zHash) * 1e-6;\n          output.worldPos = worldPos.xyz;\n          output.normal = normalize((instMat * vec4<f32>(input.normal, 0.0)).xyz);\n          output.entityId = inst.instEntityId;\n          output.color = inst.instColor;\n          output.instSelected = inst.instSelected;\n          output.eyePos = eyePos;\n          output.viewPos = (uniforms.rteViewProj * vec4<f32>(eyePos, 1.0)).xyz;\n          return output;\n        }\n\n        // PBR helper functions\n        fn fresnelSchlick(cosTheta: f32, F0: vec3<f32>) -> vec3<f32> {\n          return F0 + (1.0 - F0) * pow(clamp(1.0 - cosTheta, 0.0, 1.0), 5.0);\n        }\n\n        fn distributionGGX(NdotH: f32, roughness: f32) -> f32 {\n          let a = roughness * roughness;\n          let a2 = a * a;\n          let NdotH2 = NdotH * NdotH;\n          let num = a2;\n          let denomBase = (NdotH2 * (a2 - 1.0) + 1.0);\n          let denom = 3.14159265 * denomBase * denomBase;\n          return num / max(denom, 0.0000001);\n        }\n\n        fn geometrySchlickGGX(NdotV: f32, roughness: f32) -> f32 {\n          let r = (roughness + 1.0);\n          let k = (r * r) / 8.0;\n          let num = NdotV;\n          let denom = NdotV * (1.0 - k) + k;\n          return num / max(denom, 0.0000001);\n        }\n\n        fn geometrySmith(NdotV: f32, NdotL: f32, roughness: f32) -> f32 {\n          let ggx2 = geometrySchlickGGX(NdotV, roughness);\n          let ggx1 = geometrySchlickGGX(NdotL, roughness);\n          return ggx1 * ggx2;\n        }\n\n        fn encodeId24(id: u32) -> vec4<f32> {\n          let r = f32((id >> 16u) & 255u) / 255.0;\n          let g = f32((id >> 8u) & 255u) / 255.0;\n          let b = f32(id & 255u) / 255.0;\n          return vec4<f32>(r, g, b, 1.0);\n        }\n\n        struct FragmentOutput {\n          @location(0) color: vec4<f32>,\n          @location(1) objectIdEncoded: vec4<f32>,\n        }\n\n        @fragment\n        fn fs_main(input: VertexOutput) -> FragmentOutput {\n          // The flat/quantized/textured mesh paths submit this in one\n          // camera-relative frame. Do all camera-local fragment arithmetic in\n          // that frame; otherwise the RTE vertex precision is thrown away at\n          // section/crop/derivative ingress. Instanced geometry is not yet\n          // anchored, so its worldPos remains the authoritative input.\n          let fragmentPos = select(input.worldPos, input.eyePos, (uniforms.flags.x & RTE_DRAWABLE_FLAG) != 0u);\n          // Per-instance hide/isolate: bit 1 of the instance flags lane marks a hidden\n          // occurrence. Discard it so it neither draws nor writes depth (and the pick\n          // pass applies the same discard, so it isn't pickable). vs_main writes\n          // instSelected=0u for flat geometry, so this never affects the flat path.\n          if ((input.instSelected & 2u) != 0u) {\n            discard;\n          }\n          // Per-instance opacity routing (instanced passes only \u2014 flags.x bit 2). The\n          // opaque instanced pass draws fully-opaque (or selected) occurrences; the\n          // transparent instanced sub-pass (bit 3, alpha-blended) draws the rest. Discard\n          // the occurrences belonging to the OTHER pass so each is drawn exactly once.\n          // Lens-ghost / x-ray / compare write a low per-instance alpha into input.color.a.\n          if ((uniforms.flags.x & 4u) != 0u) {\n            let occOpaque = input.color.a >= 0.99 || (input.instSelected & 1u) != 0u;\n            let transparentPass = (uniforms.flags.x & 8u) != 0u;\n            if (transparentPass) {\n              if (occOpaque) { discard; }\n            } else {\n              if (!occOpaque) { discard; }\n            }\n          }\n          // Section plane clipping - discard fragments ABOVE the plane.\n          // flags.y packs two bits: bit 0 = enabled, bit 1 = flipped.\n          let sectionEnabled = (uniforms.flags.y & 1u) == 1u;\n          if (sectionEnabled) {\n            let planeNormal = uniforms.sectionPlane.xyz;\n            let planeDistance = uniforms.sectionPlane.w;\n            let flipped = (uniforms.flags.y & 2u) == 2u;\n            let side = select(1.0, -1.0, flipped);\n            let distToPlane = (dot(fragmentPos, planeNormal) - planeDistance) * side;\n            if (distToPlane > 0.0) {\n              discard;\n            }\n          }\n          // Clip box (section / crop box): discard fragments OUTSIDE the AABB.\n          // flags.y bit 2 = clip-box enabled.\n          if ((uniforms.flags.y & 4u) != 0u) {\n            let p = fragmentPos;\n            if (any(p < uniforms.clipBoxMin.xyz) || any(p > uniforms.clipBoxMax.xyz)) {\n              discard;\n            }\n          }\n\n          // Compute normal via derivative-based flat shading.\n          //\n          // Industry-standard solution for BIM/CAD viewers \u2014 what\n          // Three.js (material.flatShading = true), Autodesk Forge,\n          // Speckle, and xeokit all do for opaque surfaces. Rationale:\n          //\n          //   * BIM geometry is overwhelmingly flat surfaces (walls,\n          //     slabs, roofs, beams), and CSG operations (opening\n          //     subtraction, layer slicing) emit those surfaces as\n          //     dense strips of coplanar triangles. Per-vertex normal\n          //     averaging gives a SLIGHTLY-different normal at each\n          //     vertex due to f32 noise from boolean output; the\n          //     boundary between strips then reads as a visible darker/\n          //     brighter scar line \u2014 the horizontal striations on\n          //     walls, stripes on roofs, visible triangulation reports\n          //     across every CSG kernel we have tried (legacy BSP,\n          //     Manifold).\n          //   * cross(dpdx, dpdy) of world position evaluates to the\n          //     EXACT face normal in the fragment shader. Every\n          //     fragment on a flat face \u2014 across an arbitrarily-fine\n          //     triangulation \u2014 gets the IDENTICAL normal, so coplanar\n          //     splits become invisible by construction. No CPU-side\n          //     welding, smooth-grouping, or coplanar-face merging\n          //     fixes the symptom as cleanly.\n          //\n          // Trade-off: genuinely curved surfaces (cylinder tessellations,\n          // BSpline approximations) shade with visible facets. For BIM\n          // that's acceptable \u2014 curved surfaces are < 5 % of typical\n          // model triangle count and the faceting matches CAD-tool\n          // (Revit, ArchiCAD) on-screen behaviour at default quality.\n          //\n          // We still fall back to the vertex normal when derivatives\n          // are unavailable (extreme polygon degeneracy where dpdx /\n          // dpdy collapse to zero \u2014 practically never on real geometry).\n          let faceN = cross(dpdx(fragmentPos), dpdy(fragmentPos));\n          let fLen2 = dot(faceN, faceN);\n          var N: vec3<f32>;\n          if (fLen2 > 1e-10) {\n            N = faceN * inverseSqrt(fLen2);\n          } else {\n            // Degenerate derivative \u2014 fall back to the vertex normal\n            // if it's populated, else +Y.\n            N = input.normal;\n            let nLen2 = dot(N, N);\n            if (nLen2 > 1e-6) {\n              N = N * inverseSqrt(nLen2);\n            } else {\n              N = vec3<f32>(0.0, 1.0, 0.0);\n            }\n          }\n\n          // Stabilize the SIGN of the derivative face normal with the vertex\n          // normal. The screen-space cross product gives the exact face\n          // normal DIRECTION for coplanar strips (the scar-line fix), but at\n          // grazing angles its SIGN becomes numerically unstable per quad \u2014\n          // hemisphere/rim lighting then band-flips across large regions of\n          // flat walls/slabs (diagonal lighter/darker bands). The interpolated\n          // vertex normal is quad-noise-free, so use it only to orient N.\n          // Guard: skip when the vertex normal is missing or nearly\n          // perpendicular to the face normal (unreliable witness).\n          let vN = input.normal;\n          let alignDot = dot(N, vN);\n          if (alignDot * alignDot > 0.03 * dot(vN, vN)) {\n            N = N * sign(alignDot);\n          }\n\n          // Lighting environment \u2014 sun/hemisphere/exposure come from the\n          // global env uniform. The fill follows the sun (it bounces in from\n          // the opposite side); the rim stays fixed in world space as a\n          // stylistic shaping light.\n          let sunLight = env.sunDirection;\n          // Horizontal mirror of the sun, lifted slightly. An overhead sun\n          // leaves (0, 0.25, 0), which normalizes to straight up.\n          let fillLight = normalize(vec3<f32>(-sunLight.x, 0.25, -sunLight.z));\n          let rimLight = normalize(vec3<f32>(0.0, 0.2, -1.0));  // Rim light for edge definition\n\n          // Hemisphere ambient. This, not the sun, keeps faces turned away\n          // from the sun readable (I-beam webs and flange undersides, #5382).\n          let hemisphereFactor = N.y * 0.5 + 0.5;\n          let ambient = mix(env.groundColor, env.skyColor, hemisphereFactor) * env.ambientIntensity;\n\n          // One-sided sun, so a building has a lit side and a shaded side.\n          // sunSoftness is the diffuse wrap (env uniform): 0 = crisp\n          // terminator (hard shadows), larger = softer wrap-around (overcast).\n          let NdotL = dot(N, sunLight);\n          let wrap = env.sunSoftness;\n          let diffuseSun = max((NdotL + wrap) / (1.0 + wrap), 0.0) * env.sunIntensity;\n\n          // Fill light, one-sided like the sun.\n          let NdotFill = max(dot(N, fillLight), 0.0);\n          let diffuseFill = NdotFill * env.fillIntensity;\n\n          // Rim light for edge definition\n          let NdotRim = max(dot(N, rimLight), 0.0);\n          let rim = pow(NdotRim, 4.0) * env.rimIntensity;\n\n          // The authored colour is display-referred sRGB; light it in linear.\n          // (textured.wgsl.ts anchors on the first line to multiply in the texel.)\n          var baseColor = input.color.rgb;\n          baseColor = srgbToLinear(baseColor);\n\n          // Combine all lighting. Only the DIRECT sun term is occluded by cast\n          // shadows (#2670); ambient/fill/rim are indirect and stay unshadowed.\n          // Exposure scales the light, so the selection shade below and every\n          // later stage see one exposed irradiance.\n          let sunShadow = sunShadowFactor(input.eyePos, N, input.position.xy);\n          let lightTerm = ambient + env.sunColor * (diffuseSun * sunShadow) + vec3<f32>(diffuseFill + rim);\n          let irradiance = lightTerm * (env.exposure * IRRADIANCE_CALIBRATION);\n          var color = baseColor * irradiance;\n\n          // flags.x is a bitfield:\n          //   bit 0 (value 1) = isSelected  \u2192 selection-highlight + force opaque\n          //   bit 1 (value 2) = isOverlay   \u2192 color-override pass; preserve\n          //                                    baseColor.a (overlay pipeline has\n          //                                    src-alpha blending) AND skip the\n          //                                    glass-fresnel branch so low-alpha\n          //                                    ghost tints don't pick up the\n          //                                    near-white reflection tint meant\n          //                                    for real glass materials.\n          // Selected via the per-draw flag (flat path) OR the per-occurrence flag\n          // (instanced path \u2014 vs_instanced reads it from the instance buffer).\n          let isSelected = ((uniforms.flags.x & 1u) == 1u) || ((input.instSelected & 1u) == 1u);\n          let isOverlay = (uniforms.flags.x & 2u) == 2u;\n\n          // Selection highlight \u2014 a blue albedo RE-LIT by the scene lighting.\n          //\n          // We override the material albedo with selection-blue and re-light\n          // it with the SAME lightTerm used for unselected surfaces, then\n          // discard the view-dependent (fresnel) term below. Two requirements\n          // are in tension and this satisfies both:\n          //\n          //   * No base-material bleed-through. The old fresnel-glow mix left\n          //     ~80 % of the lit object colour visible at face centres (the\n          //     green-site / red-roof wash-out). Here the base colour never\n          //     enters the result \u2014 only lightTerm (geometry/light, colour-\n          //     independent) modulates the constant blue albedo.\n          //   * Facet/crease structure must survive. A single FLAT colour\n          //     (the previous fix) collapsed every face to the same blue, so\n          //     internal edges \u2014 which read as the per-face shading STEP, not\n          //     just the faint screen-space edge line \u2014 disappeared on\n          //     selection. Re-lighting keeps that per-face brightness step, so\n          //     creases read on the highlight exactly as they do unselected.\n          //\n          // The luminance of the exposed irradiance is used as a multiplicative\n          // gain (which preserves the per-face brightness RATIOS, so creases\n          // read as strongly as on the unselected surface). The calibration\n          // puts a sunlit face at 1.0, i.e. full selection-blue, and the\n          // floor/ceiling clamp keeps shadowed faces only dimmed and bright\n          // scenes from washing out.\n          if (isSelected) {\n            let shadeLum = dot(irradiance, vec3<f32>(0.299, 0.587, 0.114));\n            let shade = clamp(shadeLum, 0.45, 1.2);\n            color = srgbToLinear(vec3<f32>(0.3, 0.6, 1.0)) * shade;\n          }\n\n          // flags.x bit 5 (value 32) = EMPHASIZE overlay: render the colour\n          // override FULLY UNLIT and saturated (no lighting attenuation, no\n          // wash-to-white) so the focused clash pair reads as a solid, vivid,\n          // distinct colour that pops against the lit model \u2014 like a clash tool.\n          // A faint normal-based shade keeps the silhouette from going flat. (#1277)\n          let emphasizedOverlay = isOverlay && (uniforms.flags.x & 32u) != 0u;\n          if (emphasizedOverlay) {\n            let facet = 0.85 + 0.15 * abs(dot(N, normalize(vec3<f32>(0.3, 1.0, 0.2))));\n            color = baseColor * facet;\n          }\n\n          // Beautiful fresnel effect for transparent materials (glass)\n          // Skip when selected \u2014 the glass shine and desaturation wash out the\n          // blue highlight, making it appear white instead of blue.\n          // Also force alpha to 1.0 for selected objects so the highlight is\n          // fully opaque (the selection pipeline has no alpha blending).\n          // Emphasized clash overlay paints a SOLID vivid fill (force opaque) so\n          // it isn't blended down to a pale tint against the geometry beneath.\n          var finalAlpha = select(input.color.a, 1.0, isSelected || emphasizedOverlay);\n          if (finalAlpha < 0.99 && !isSelected && !isOverlay) {\n            // Calculate view direction for fresnel\n            let V = normalize(-fragmentPos);\n            let NdotV = max(dot(N, V), 0.0);\n\n            // Enhanced fresnel effect - stronger at edges (grazing angles)\n            // Using Schlick's approximation for realistic glass reflection\n            let fresnelPower = 1.5; // Higher = softer edge reflections\n            let fresnel = pow(1.0 - NdotV, fresnelPower);\n\n            // Glass reflection tint (sky/environment reflection at edges)\n            let reflectionTint = vec3<f32>(0.92, 0.96, 1.0);  // Cool sky reflection\n            let reflectionStrength = fresnel * 0.6;  // Strong edge reflections\n\n            // Mix in reflection tint at edges\n            color = mix(color, color * reflectionTint, reflectionStrength);\n\n            // Add realistic glass shine - brighter at edges where light reflects.\n            // Linear amount: 0.06 lifts a mid-tone about as much as the 0.12\n            // the pre-linear pipeline added in display space.\n            let glassShine = fresnel * 0.06;\n            color += glassShine;\n\n            // Slight desaturation at edges (glass reflects environment, not just color)\n            let edgeDesaturation = fresnel * 0.25;\n            let gray = dot(color, vec3<f32>(0.299, 0.587, 0.114));\n            color = mix(color, vec3<f32>(gray), edgeDesaturation);\n\n            // Make glass more transparent (reduce opacity by 30%)\n            finalAlpha = finalAlpha * 0.7;\n          }\n\n          // Hue-preserving highlight roll-off (color-transfer.wgsl.ts). No\n          // contrast curve and no saturation boost: an authored colour lit at\n          // unit irradiance leaves here unchanged unless it is brighter than\n          // the roll-off threshold.\n          color = neutralCompress(color);\n\n          // Subtle edge enhancement using screen-space derivatives.\n          //\n          // Use the SHADED normal (face normal from dpdx/dpdy above)\n          // for the normal-gradient term, not the interpolated vertex\n          // normal \u2014 otherwise we get spurious dark stripes on flat\n          // surfaces whose vertex normals carry numerical noise from\n          // CSG output (the visible scar-line symptom would just\n          // resurface here even after the lit-normal fix). With the\n          // face normal, coplanar adjacent triangles agree exactly \u2192\n          // zero normal gradient \u2192 no false edge; only the genuine\n          // creases between perpendicular faces produce a real\n          // gradient and get the intended outline.\n          let depthGradient = length(vec2<f32>(\n            dpdx(input.viewPos.z),\n            dpdy(input.viewPos.z)\n          ));\n          let normalGradient = length(vec2<f32>(\n            length(dpdx(N)),\n            length(dpdy(N))\n          ));\n\n          if (uniforms.flags.z == 1u) {\n            // Threshold filters subtle normal discontinuities at internal\n            // triangle edges between coplanar entities in the same batch.\n            let edgeFactor = smoothstep(0.02, 0.12, depthGradient * 10.0 + normalGradient * 5.0);\n            let edgeIntensity = f32(uniforms.flags.w) / 1000.0;\n            let edgeDarkenStrength = clamp(0.25 * edgeIntensity, 0.0, 0.85);\n            let edgeDarken = mix(1.0, 1.0 - edgeDarkenStrength, edgeFactor);\n            color *= edgeDarken;\n          }\n\n          color = linearToSrgb(clamp(color, vec3<f32>(0.0), vec3<f32>(1.0)));\n\n          var out: FragmentOutput;\n          out.color = vec4<f32>(color, finalAlpha);\n          out.objectIdEncoded = encodeId24(input.entityId);\n          return out;\n        }\n      ";
 //# sourceMappingURL=main.wgsl.d.ts.map

package/dist/shaders/main.wgsl.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"main.wgsl.d.ts","sourceRoot":"","sources":["../../src/shaders/main.wgsl.ts"],"names":[],"mappings":"AAIA;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,8pjCAqnBtB,CAAC"}
+{"version":3,"file":"main.wgsl.d.ts","sourceRoot":"","sources":["../../src/shaders/main.wgsl.ts"],"names":[],"mappings":"AAiCA,eAAO,MAAM,gBAAgB,y5kCA8iBtB,CAAC"}

package/dist/shaders/main.wgsl.js

@@ -2,10 +2,32 @@
  * License, v. 2.0. If a copy of the MPL was not distributed with this
  * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
 /**
- * Main PBR rendering shader for IFC geometry.
- * Features: PBR lighting, section plane clipping, selection highlight,
- * glass fresnel, ACES tone mapping, screen-space edge enhancement.
+ * Main rendering shader for IFC geometry.
+ * Features: linear-space diffuse lighting of sRGB-authored colours, section
+ * plane clipping, selection highlight, glass fresnel, hue-preserving highlight
+ * roll-off, screen-space edge enhancement.
  */
+import { MESH_FLAG_RTE_DRAWABLE } from '../mesh-rte-uniforms.js';
+import { colorTransferWgsl } from './color-transfer.wgsl.js';
+import { mainRteWgsl, mainShadowWgsl } from './main-rte-shadow.wgsl.js';
+import { relativeToEyeWgsl } from './relative-to-eye.wgsl.js';
+/**
+ * Converts the environment's light intensities to linear irradiance.
+ *
+ * The intensity scale predates the linear pipeline (#5381), which lights in
+ * linear rather than lighting sRGB values and brightening them with a 2.2
+ * gamma; one factor maps it instead of restating every preset. The default
+ * rig delivers 0.6464 (luma) to a sun-facing horizontal surface and the
+ * default exposure is 0.85, so this factor puts that surface at unit
+ * irradiance by luma. The default sky tint leaves the channels within about
+ * 2% of that, and colours brighter than the highlight roll-off's 0.76
+ * threshold compress (see color-transfer.wgsl.ts), so mid-tones render
+ * within about 2% of authored and pure white lands near 241/255. Every
+ * preset and user exposure is scaled by the same factor, so their relative
+ * brightness holds.
+ * `light-rig.test.ts` re-derives it from the default rig.
+ */
+const IRRADIANCE_CALIBRATION = 1.82;
 export const mainShaderSource = `
         struct Uniforms {
           viewProj: mat4x4<f32>,
@@ -17,16 +39,18 @@ export const mainShaderSource = `
           flags: vec4<u32>,             // x = isSelected, y = section/clip bits, z = edgeEnabled, w = edgeIntensityMilli
           clipBoxMin: vec4<f32>,        // xyz = clip-box min corner (world), w = pad
           clipBoxMax: vec4<f32>,        // xyz = clip-box max corner (world), w = pad
-          // Quantized-vertex dequantization (issue #1682 phase 6):
-          // xyz = lattice-aligned quantMin (batch-origin-relative), w = step.
-          // Only read by vs_main_quantized; zero elsewhere.
-          quantParams: vec4<f32>,
+          quantParams: vec4<f32>, // local min xyz, lattice step w
+          rteViewProj: mat4x4<f32>, // appended frame; bit 16 selects it
+          drawableDeltaHigh: vec4<f32>,
+          drawableDeltaLow: vec4<f32>,
+          rteCameraHigh: vec4<f32>,
+          rteCameraLow: vec4<f32>,
         }
         @binding(0) @group(0) var<uniform> uniforms: Uniforms;
-
-        // Global lighting environment — one buffer shared by every mesh in
-        // the pass (bound once per frame at group(1)). Field packing must
-        // match packEnvironmentUniforms() in environment.ts.
+        const RTE_DRAWABLE_FLAG: u32 = ${MESH_FLAG_RTE_DRAWABLE}u;
+        ${relativeToEyeWgsl}
+        ${mainRteWgsl}
+        // Shared group(1) lighting; packing matches packEnvironmentUniforms().
         struct Environment {
           sunDirection: vec3<f32>,      // unit vector TOWARD the sun
           sunIntensity: f32,
@@ -42,89 +66,10 @@ export const mainShaderSource = `
           _pad2: f32,
         }
         @binding(0) @group(1) var<uniform> env: Environment;
+        const IRRADIANCE_CALIBRATION: f32 = ${IRRADIANCE_CALIBRATION};
+        ${colorTransferWgsl}
 
-        // Sun shadow map (#2670, Phase 2b) at group(1). The depth map, a
-        // comparison sampler, and the light matrix + params. Bound on every
-        // main-family pipeline; sampling is gated by shadowU.params.y (enabled),
-        // so when shadows are off this reads the 1×1 dummy and returns 1.0.
-        @binding(1) @group(1) var shadowMap: texture_depth_2d;
-        @binding(2) @group(1) var shadowCmp: sampler_comparison;
-        struct Shadow {
-          lightViewProj: mat4x4<f32>,
-          // x = texelSize (1/resolution), y = enabled (0/1),
-          // z = normalBias (world units), w = pcfRadius (texels).
-          params: vec4<f32>,
-          // x = depthBias (reverse-Z clip units, nudges toward lit).
-          params2: vec4<f32>,
-        }
-        @binding(3) @group(1) var<uniform> shadowU: Shadow;
-
-        // Fraction of the sun reaching this surface point (1 = lit, 0 = fully
-        // shadowed). Normal-offset + slope-scaled bias defeats acne without
-        // peter-panning; the penumbra is sampled with a 12-tap Poisson disk
-        // ROTATED per pixel (interleaved gradient noise). A fixed grid kernel
-        // undersamples a wide penumbra and breaks into discrete bands (the
-        // "tripled shadow" at high softness); a rotated disk turns that banding
-        // into fine dither that reads as smooth at any softness.
-        // textureSampleCompareLevel is used (not ...Compare) so it is legal in
-        // this non-uniform control flow.
-        const SHADOW_POISSON = array<vec2<f32>, 12>(
-          vec2<f32>(-0.326, -0.406), vec2<f32>(-0.840, -0.074), vec2<f32>(-0.696,  0.457),
-          vec2<f32>(-0.203,  0.621), vec2<f32>( 0.962, -0.195), vec2<f32>( 0.473, -0.480),
-          vec2<f32>( 0.519,  0.767), vec2<f32>( 0.185, -0.893), vec2<f32>( 0.507,  0.064),
-          vec2<f32>( 0.896,  0.412), vec2<f32>(-0.322, -0.933), vec2<f32>(-0.792, -0.598),
-        );
-
-        fn sunShadowFactor(worldPos: vec3<f32>, N: vec3<f32>, fragCoord: vec2<f32>) -> f32 {
-          if (shadowU.params.y < 0.5) { return 1.0; }
-          // The diffuse sun term is TWO-SIDED (abs(dot(N, sun)) in the shading
-          // below), so a face whose stabilized normal points away from the sun is
-          // still lit. Orient the normal toward the sun before biasing: otherwise
-          // the normal-offset push (params.z) moves the sample AWAY from the light
-          // (deeper behind the surface), and the slope term below collapses to its
-          // max (NdotL→0), together biasing the compare toward "lit" — which leaks
-          // direct sun onto interior faces the roof occludes (#2670 review).
-          let L = normalize(env.sunDirection);
-          let Ns = N * select(-1.0, 1.0, dot(N, L) >= 0.0);
-          let biased = worldPos + Ns * shadowU.params.z;
-          let clip = shadowU.lightViewProj * vec4<f32>(biased, 1.0);
-          let ndc = clip.xyz / clip.w;
-          let uv = vec2<f32>(ndc.x * 0.5 + 0.5, ndc.y * -0.5 + 0.5);
-          let inBounds = uv.x >= 0.0 && uv.x <= 1.0 && uv.y >= 0.0 && uv.y <= 1.0 && ndc.z > 0.0;
-          if (!inBounds) { return 1.0; }
-          // Slope-scaled depth bias: at a grazing sun the receiver's light-space
-          // depth changes fast across the kernel, so a constant bias can't clear
-          // the whole footprint and the surface rings with moiré. Grow the bias
-          // as the surface tilts away from the sun (NdotL → 0) and with the
-          // kernel width. The hardware slope bias in the depth pass covers the
-          // occluder side; this covers the receiver side.
-          let NdotL = max(dot(Ns, L), 0.0);
-          let slope = clamp(sqrt(max(1.0 - NdotL * NdotL, 0.0)) / max(NdotL, 0.1), 1.0, 12.0);
-          let refDepth = ndc.z + shadowU.params2.x * slope * (1.0 + shadowU.params.w);
-          let radius = shadowU.params.x * shadowU.params.w;  // penumbra, uv units
-          // Per-pixel rotation (interleaved gradient noise) dithers the disk so
-          // the discrete taps never line up into bands.
-          let ign = fract(52.9829189 * fract(dot(fragCoord, vec2<f32>(0.06711056, 0.00583715))));
-          let ang = ign * 6.2831853;
-          let cr = cos(ang);
-          let sr = sin(ang);
-          var sum = 0.0;
-          for (var i = 0; i < 12; i = i + 1) {
-            let p = SHADOW_POISSON[i];
-            let off = vec2<f32>(p.x * cr - p.y * sr, p.x * sr + p.y * cr) * radius;
-            sum = sum + textureSampleCompareLevel(shadowMap, shadowCmp, uv + off, refDepth);
-          }
-          let pcf = sum / 12.0;
-          // Terminator fade. On a surface nearly PARALLEL to the sun rays
-          // (NdotL → 0, e.g. a vertical wall under a midday sun) the receiver
-          // straddles the shadow threshold, so the rotated-disk taps randomly
-          // pass/fail and the wall breaks into salt-and-pepper speckle. The
-          // direct sun term is near zero there anyway, so fade the cast shadow
-          // smoothly toward lit as the surface goes grazing: a clean gradient
-          // replaces the ripple (#2670).
-          let graze = smoothstep(0.0, 0.3, NdotL);
-          return mix(1.0, pcf, graze);
-        }
+        ${mainShadowWgsl}
 
         struct VertexInput {
           @location(0) position: vec3<f32>,
@@ -150,6 +95,12 @@ export const mainShaderSource = `
           // vs_instanced writes the per-instance flag from the instance buffer, so a
           // single selected occurrence highlights without re-drawing.
           @location(5) @interpolate(flat) instSelected: u32,
+          // Camera-relative position for fragment operations that compare
+          // geometry to section/crop boundaries or take derivatives. This is
+          // intentionally separate from worldPos: shadow maps still consume
+          // their established world-space light matrix until their depth pass
+          // is migrated as one transaction.
+          @location(6) eyePos: vec3<f32>,
         }
 
         // Per-instance vertex-buffer inputs (slot 1, stepMode 'instance') used by
@@ -171,6 +122,8 @@ export const mainShaderSource = `
           @location(7) instEntityId: u32,
           @location(8) instColor: vec4<f32>,
           @location(9) instSelected: u32,
+          @location(10) anchorHigh: vec4<f32>,
+          @location(11) anchorLow: vec4<f32>,
         }
 
         // 12-byte quantized vertex (issue #1682 phase 6): uint16x4 (lattice
@@ -201,7 +154,9 @@ export const mainShaderSource = `
         fn shadeFlatVertex(localPos: vec3<f32>, localNormal: vec3<f32>, entityId: u32) -> VertexOutput {
           var output: VertexOutput;
           let worldPos = uniforms.model * vec4<f32>(localPos, 1.0);
-          output.position = uniforms.viewProj * worldPos;
+          let eyePos = rtePosition(localPos).xyz;
+          let rte = (uniforms.flags.x & RTE_DRAWABLE_FLAG) != 0u;
+          output.position = select(uniforms.viewProj * worldPos, uniforms.rteViewProj * vec4<f32>(eyePos, 1.0), rte);
           // Anti z-fighting depth nudge — see vs_main's comment.
           let colorSalt = (entityId >> 24u) * 2654435761u;
           let zHash = (((entityId & 0x00FFFFFFu) ^ colorSalt) * 2654435761u) & 255u;
@@ -211,7 +166,8 @@ export const mainShaderSource = `
           output.entityId = entityId;
           output.color = uniforms.baseColor;
           output.instSelected = 0u;
-          output.viewPos = (uniforms.viewProj * worldPos).xyz;
+          output.eyePos = eyePos;
+          output.viewPos = select((uniforms.viewProj * worldPos).xyz, (uniforms.rteViewProj * vec4<f32>(eyePos, 1.0)).xyz, rte);
           return output;
         }
 
@@ -226,7 +182,9 @@ export const mainShaderSource = `
         fn vs_main(input: VertexInput, @builtin(instance_index) instanceIndex: u32) -> VertexOutput {
           var output: VertexOutput;
           let worldPos = uniforms.model * vec4<f32>(input.position, 1.0);
-          output.position = uniforms.viewProj * worldPos;
+          let eyePos = rtePosition(input.position).xyz;
+          let rte = (uniforms.flags.x & RTE_DRAWABLE_FLAG) != 0u;
+          output.position = select(uniforms.viewProj * worldPos, uniforms.rteViewProj * vec4<f32>(eyePos, 1.0), rte);
           // Anti z-fighting: deterministic depth nudge.
           // Knuth multiplicative hash spreads sequential IDs across 0-255 so
           // coplanar faces from different entities always get distinct depths.
@@ -251,8 +209,9 @@ export const mainShaderSource = `
           output.entityId = input.entityId;
           output.color = uniforms.baseColor;
           output.instSelected = 0u;  // flat path selects via uniforms.flags.x
+          output.eyePos = eyePos;
           // Store view-space position for edge detection
-          output.viewPos = (uniforms.viewProj * worldPos).xyz;
+          output.viewPos = select((uniforms.viewProj * worldPos).xyz, (uniforms.rteViewProj * vec4<f32>(eyePos, 1.0)).xyz, rte);
           return output;
         }
 
@@ -267,7 +226,9 @@ export const mainShaderSource = `
           var output: VertexOutput;
           let instMat = mat4x4<f32>(inst.m0, inst.m1, inst.m2, inst.m3);
           let worldPos = instMat * vec4<f32>(input.position, 1.0);
-          output.position = uniforms.viewProj * worldPos;
+          let linearLocal = (instMat * vec4<f32>(input.position, 0.0)).xyz;
+          let eyePos = rteInstancePosition(linearLocal, inst.anchorHigh.xyz, inst.anchorLow.xyz).xyz;
+          output.position = uniforms.rteViewProj * vec4<f32>(eyePos, 1.0);
           // Same per-entity depth nudge as vs_main. No colour salt here: the
           // instanced path has no base-vs-overlay coincident redraw (yet), so the
           // raw picking id is enough to separate coplanar entities.
@@ -278,7 +239,8 @@ export const mainShaderSource = `
           output.entityId = inst.instEntityId;
           output.color = inst.instColor;
           output.instSelected = inst.instSelected;
-          output.viewPos = (uniforms.viewProj * worldPos).xyz;
+          output.eyePos = eyePos;
+          output.viewPos = (uniforms.rteViewProj * vec4<f32>(eyePos, 1.0)).xyz;
           return output;
         }
 
@@ -325,6 +287,12 @@ export const mainShaderSource = `
 
         @fragment
         fn fs_main(input: VertexOutput) -> FragmentOutput {
+          // The flat/quantized/textured mesh paths submit this in one
+          // camera-relative frame. Do all camera-local fragment arithmetic in
+          // that frame; otherwise the RTE vertex precision is thrown away at
+          // section/crop/derivative ingress. Instanced geometry is not yet
+          // anchored, so its worldPos remains the authoritative input.
+          let fragmentPos = select(input.worldPos, input.eyePos, (uniforms.flags.x & RTE_DRAWABLE_FLAG) != 0u);
           // Per-instance hide/isolate: bit 1 of the instance flags lane marks a hidden
           // occurrence. Discard it so it neither draws nor writes depth (and the pick
           // pass applies the same discard, so it isn't pickable). vs_main writes
@@ -354,7 +322,7 @@ export const mainShaderSource = `
             let planeDistance = uniforms.sectionPlane.w;
             let flipped = (uniforms.flags.y & 2u) == 2u;
             let side = select(1.0, -1.0, flipped);
-            let distToPlane = (dot(input.worldPos, planeNormal) - planeDistance) * side;
+            let distToPlane = (dot(fragmentPos, planeNormal) - planeDistance) * side;
             if (distToPlane > 0.0) {
               discard;
             }
@@ -362,7 +330,7 @@ export const mainShaderSource = `
           // Clip box (section / crop box): discard fragments OUTSIDE the AABB.
           // flags.y bit 2 = clip-box enabled.
           if ((uniforms.flags.y & 4u) != 0u) {
-            let p = input.worldPos;
+            let p = fragmentPos;
             if (any(p < uniforms.clipBoxMin.xyz) || any(p > uniforms.clipBoxMax.xyz)) {
               discard;
             }
@@ -402,7 +370,7 @@ export const mainShaderSource = `
           // We still fall back to the vertex normal when derivatives
           // are unavailable (extreme polygon degeneracy where dpdx /
           // dpdy collapse to zero — practically never on real geometry).
-          let faceN = cross(dpdx(input.worldPos), dpdy(input.worldPos));
+          let faceN = cross(dpdx(fragmentPos), dpdy(fragmentPos));
           let fLen2 = dot(faceN, faceN);
           var N: vec3<f32>;
           if (fLen2 > 1e-10) {
@@ -435,47 +403,48 @@ export const mainShaderSource = `
           }
 
           // Lighting environment — sun/hemisphere/exposure come from the
-          // global env uniform (defaults reproduce the historic hardcoded
-          // values); fill + rim directions stay fixed in view-agnostic
-          // world space as stylistic shaping lights.
+          // global env uniform. The fill follows the sun (it bounces in from
+          // the opposite side); the rim stays fixed in world space as a
+          // stylistic shaping light.
           let sunLight = env.sunDirection;
-          let fillLight = normalize(vec3<f32>(-0.5, 0.3, -0.3));  // Fill light
+          // Horizontal mirror of the sun, lifted slightly. An overhead sun
+          // leaves (0, 0.25, 0), which normalizes to straight up.
+          let fillLight = normalize(vec3<f32>(-sunLight.x, 0.25, -sunLight.z));
           let rimLight = normalize(vec3<f32>(0.0, 0.2, -1.0));  // Rim light for edge definition
 
-          // Hemisphere ambient
+          // Hemisphere ambient. This, not the sun, keeps faces turned away
+          // from the sun readable (I-beam webs and flange undersides, #5382).
           let hemisphereFactor = N.y * 0.5 + 0.5;
           let ambient = mix(env.groundColor, env.skyColor, hemisphereFactor) * env.ambientIntensity;
 
-          // Two-sided sun light so inner faces (I-beam channels) stay visible.
+          // One-sided sun, so a building has a lit side and a shaded side.
           // sunSoftness is the diffuse wrap (env uniform): 0 = crisp
           // terminator (hard shadows), larger = softer wrap-around (overcast).
-          let NdotL = abs(dot(N, sunLight));
+          let NdotL = dot(N, sunLight);
           let wrap = env.sunSoftness;
           let diffuseSun = max((NdotL + wrap) / (1.0 + wrap), 0.0) * env.sunIntensity;
 
-          // Fill light - two-sided
-          let NdotFill = abs(dot(N, fillLight));
+          // Fill light, one-sided like the sun.
+          let NdotFill = max(dot(N, fillLight), 0.0);
           let diffuseFill = NdotFill * env.fillIntensity;
 
           // Rim light for edge definition
           let NdotRim = max(dot(N, rimLight), 0.0);
           let rim = pow(NdotRim, 4.0) * env.rimIntensity;
 
+          // The authored colour is display-referred sRGB; light it in linear.
+          // (textured.wgsl.ts anchors on the first line to multiply in the texel.)
           var baseColor = input.color.rgb;
-
-          // Detect if the color is close to white/gray (low saturation)
-          let baseGray = dot(baseColor, vec3<f32>(0.299, 0.587, 0.114));
-          let baseSaturation = length(baseColor - vec3<f32>(baseGray)) / max(baseGray, 0.001);
-          let isWhiteish = 1.0 - smoothstep(0.0, 0.3, baseSaturation);
-
-          // Darken whites/grays more to reduce washed-out appearance
-          baseColor = mix(baseColor, baseColor * 0.7, isWhiteish * 0.4);
+          baseColor = srgbToLinear(baseColor);
 
           // Combine all lighting. Only the DIRECT sun term is occluded by cast
           // shadows (#2670); ambient/fill/rim are indirect and stay unshadowed.
-          let sunShadow = sunShadowFactor(input.worldPos, N, input.position.xy);
+          // Exposure scales the light, so the selection shade below and every
+          // later stage see one exposed irradiance.
+          let sunShadow = sunShadowFactor(input.eyePos, N, input.position.xy);
           let lightTerm = ambient + env.sunColor * (diffuseSun * sunShadow) + vec3<f32>(diffuseFill + rim);
-          var color = baseColor * lightTerm;
+          let irradiance = lightTerm * (env.exposure * IRRADIANCE_CALIBRATION);
+          var color = baseColor * irradiance;
 
           // flags.x is a bitfield:
           //   bit 0 (value 1) = isSelected  → selection-highlight + force opaque
@@ -510,15 +479,16 @@ export const mainShaderSource = `
           //     selection. Re-lighting keeps that per-face brightness step, so
           //     creases read on the highlight exactly as they do unselected.
           //
-          // The luminance of lightTerm is remapped by a multiplicative gain
-          // (which preserves the per-face brightness RATIOS, so creases read
-          // as strongly as on the unselected surface) calibrated so a sunlit
-          // face hits full selection-blue, with a floor/ceiling clamp so
-          // shadowed faces only dim and bright scenes never wash out.
+          // The luminance of the exposed irradiance is used as a multiplicative
+          // gain (which preserves the per-face brightness RATIOS, so creases
+          // read as strongly as on the unselected surface). The calibration
+          // puts a sunlit face at 1.0, i.e. full selection-blue, and the
+          // floor/ceiling clamp keeps shadowed faces only dimmed and bright
+          // scenes from washing out.
           if (isSelected) {
-            let shadeLum = dot(lightTerm, vec3<f32>(0.299, 0.587, 0.114));
-            let shade = clamp(shadeLum * 1.55, 0.45, 1.2);
-            color = vec3<f32>(0.3, 0.6, 1.0) * shade;
+            let shadeLum = dot(irradiance, vec3<f32>(0.299, 0.587, 0.114));
+            let shade = clamp(shadeLum, 0.45, 1.2);
+            color = srgbToLinear(vec3<f32>(0.3, 0.6, 1.0)) * shade;
           }
 
           // flags.x bit 5 (value 32) = EMPHASIZE overlay: render the colour
@@ -542,7 +512,7 @@ export const mainShaderSource = `
           var finalAlpha = select(input.color.a, 1.0, isSelected || emphasizedOverlay);
           if (finalAlpha < 0.99 && !isSelected && !isOverlay) {
             // Calculate view direction for fresnel
-            let V = normalize(-input.worldPos);
+            let V = normalize(-fragmentPos);
             let NdotV = max(dot(N, V), 0.0);
 
             // Enhanced fresnel effect - stronger at edges (grazing angles)
@@ -557,8 +527,10 @@ export const mainShaderSource = `
             // Mix in reflection tint at edges
             color = mix(color, color * reflectionTint, reflectionStrength);
 
-            // Add realistic glass shine - brighter at edges where light reflects
-            let glassShine = fresnel * 0.12;
+            // Add realistic glass shine - brighter at edges where light reflects.
+            // Linear amount: 0.06 lifts a mid-tone about as much as the 0.12
+            // the pre-linear pipeline added in display space.
+            let glassShine = fresnel * 0.06;
             color += glassShine;
 
             // Slight desaturation at edges (glass reflects environment, not just color)
@@ -570,31 +542,11 @@ export const mainShaderSource = `
             finalAlpha = finalAlpha * 0.7;
           }
 
-          // Exposure adjustment (historic default 0.85 darkens overall)
-          color *= env.exposure;
-
-          // Contrast enhancement
-          color = (color - 0.5) * 1.15 + 0.5;
-          color = max(color, vec3<f32>(0.0));
-
-          // Saturation boost - stronger for colored surfaces, less for whites
-          let gray = dot(color, vec3<f32>(0.299, 0.587, 0.114));
-          // More saturation for colored surfaces. isWhiteish is derived from
-          // the base material colour, so for a SELECTED object it would leak a
-          // material dependence into the highlight (breaking the no-bleed-
-          // through contract). The selection blue is a fully-saturated colour,
-          // so force the colored-surface boost (1.4) when selected — keeping
-          // the highlight identical regardless of the underlying material.
-          let satBoost = select(mix(1.4, 1.1, isWhiteish), 1.4, isSelected);
-          color = mix(vec3<f32>(gray), color, satBoost);
-
-          // ACES filmic tone mapping
-          let a = 2.51;
-          let b = 0.03;
-          let c = 2.43;
-          let d = 0.59;
-          let e = 0.14;
-          color = clamp((color * (a * color + b)) / (color * (c * color + d) + e), vec3<f32>(0.0), vec3<f32>(1.0));
+          // Hue-preserving highlight roll-off (color-transfer.wgsl.ts). No
+          // contrast curve and no saturation boost: an authored colour lit at
+          // unit irradiance leaves here unchanged unless it is brighter than
+          // the roll-off threshold.
+          color = neutralCompress(color);
 
           // Subtle edge enhancement using screen-space derivatives.
           //
@@ -627,8 +579,7 @@ export const mainShaderSource = `
             color *= edgeDarken;
           }
 
-          // Gamma correction
-          color = pow(color, vec3<f32>(1.0 / 2.2));
+          color = linearToSrgb(clamp(color, vec3<f32>(0.0), vec3<f32>(1.0)));
 
           var out: FragmentOutput;
           out.color = vec4<f32>(color, finalAlpha);