@carbonenginejs/runtime-resource 0.13.0 → 0.15.0

package/dist/formats/webgl/core/glslEffectCompleteness.js.map

@@ -1 +1 @@
-{"version":3,"file":"glslEffectCompleteness.js","sources":["../../../../../src/formats/webgl/core/glslEffectCompleteness.js"],"sourcesContent":["import { LOCAL_LIGHT_RESOURCE_NAMES } from \"../../hlsl/core/localLightFamily.js\";\n\n/**\n * Light-record fields naming the Carbon registers a lowering replaced.\n *\n * A lowered family declares one synthesised uniform, so its own `registerIndex`\n * covers only one of the sources; the record carries the rest.\n */\n/** Transform stage names, in the shared codec's vocabulary, as WebGL names them. */\nconst TRANSFORM_STAGE_NAMES = Object.freeze({\n  vertex: \"vertex\",\n  fragment: \"pixel\",\n  compute: \"compute\"\n});\n\nconst LOCAL_LIGHT_RECORD_REGISTERS = Object.freeze([\n  \"lightIndexRegister\",\n  \"lightDataRegister\",\n  \"lightProfileRegister\"\n]);\n\n/**\n * Inspects Carbon WebGL stage records for complete WebGL2 raster passes.\n *\n * Geometry and compute stages are not raster-pair members. A raster pass is\n * complete only when both its vertex and pixel records exist and their shared\n * shader records contain successful translated source.\n *\n * Stages reference shaders by key. The older shape that inlined the shader into\n * the stage record has no producer left — both callers pass a shader table, and\n * the container decoder always builds one — so the branch that supported it is\n * gone rather than kept as an untested path.\n *\n * @param {object[]} stages Stage records.\n * @param {object[]} shaders Translated shader records.\n * @returns {{ expectedPassCount: number, completePassCount: number, incompletePasses: object[] }}\n */\nexport function inspectRasterCompleteness(stages, shaders)\n{\n    const shaderMap = new Map((shaders || []).map((shader) => [ shader.key, shader ]));\n    const groups = new Map();\n\n    for (const stage of stages || [])\n    {\n        if (stage.stageName !== \"vertex\" && stage.stageName !== \"pixel\") continue;\n\n        const key = [\n            stage.bodyKey || \"selected\",\n            stage.techniqueName || \"Main\",\n            Number.isInteger(stage.passIndex) ? stage.passIndex : 0\n        ].join(\":\");\n        let group = groups.get(key);\n        if (!group)\n        {\n            group = {\n                key,\n                bodyKey: stage.bodyKey || \"selected\",\n                techniqueName: stage.techniqueName || \"Main\",\n                passIndex: Number.isInteger(stage.passIndex) ? stage.passIndex : 0,\n                vertex: null,\n                pixel: null,\n                duplicateStages: []\n            };\n            groups.set(key, group);\n        }\n        if (group[stage.stageName])\n        {\n            group.duplicateStages.push(stage.stageName);\n        }\n        group[stage.stageName] = stage;\n    }\n\n    const incompletePasses = [];\n    let completePassCount = 0;\n\n    for (const group of groups.values())\n    {\n        const missingStages = [];\n        const unavailableStages = [];\n\n        for (const stageName of [ \"vertex\", \"pixel\" ])\n        {\n            const stage = group[stageName];\n            if (!stage)\n            {\n                missingStages.push(stageName);\n                continue;\n            }\n\n            const shader = shaderMap.get(stage.shaderKey);\n            if (!shader?.hlsl2webgl?.ok || !shader.source)\n            {\n                unavailableStages.push({\n                    stageName,\n                    stageKey: stage.key,\n                    shaderKey: stage.shaderKey,\n                    excluded: shader?.excluded || null,\n                    reason: shader?.hlsl2webgl?.validationError\n            || shader?.hlsl2webgl?.reason\n            || shader?.hlsl2webgl?.error\n            || shader?.excluded?.reason\n            || \"translated source is unavailable\"\n                });\n            }\n        }\n\n        if (!missingStages.length && !unavailableStages.length && !group.duplicateStages.length)\n        {\n            completePassCount += 1;\n            continue;\n        }\n\n        incompletePasses.push({\n            key: group.key,\n            bodyKey: group.bodyKey,\n            techniqueName: group.techniqueName,\n            passIndex: group.passIndex,\n            missingStages,\n            unavailableStages,\n            duplicateStages: [ ...new Set(group.duplicateStages) ].sort()\n        });\n    }\n\n    return {\n        expectedPassCount: groups.size,\n        completePassCount,\n        incompletePasses\n    };\n}\n\n/**\n * Checks the host-side routing contract emitted for compute-as-fragment\n * programs. A boolean marker is insufficient: the runtime needs the original\n * dispatch shape, dispatch-origin uniform, and every UAV render-target route.\n */\nexport function isComputeFragmentContract(value)\n{\n    if (!value || typeof value !== \"object\" || Array.isArray(value)) return false;\n    if (!Array.isArray(value.threadGroup)\n    || value.threadGroup.length !== 3\n    || value.threadGroup.some((item) => !Number.isSafeInteger(item) || item < 1))\n    {\n        return false;\n    }\n    if (value.dispatchOriginUniform !== null\n    && (typeof value.dispatchOriginUniform !== \"string\" || !value.dispatchOriginUniform)) return false;\n    if (!Array.isArray(value.uavOutputs) || !value.uavOutputs.length) return false;\n\n    const locations = new Set();\n    const names = new Set();\n    const routes = new Set();\n    for (const output of value.uavOutputs)\n    {\n        if (!output || typeof output !== \"object\") return false;\n        if (!Number.isSafeInteger(output.register) || output.register < 0) return false;\n        if (output.slice !== null && (!Number.isSafeInteger(output.slice) || output.slice < 0)) return false;\n        if (!Number.isSafeInteger(output.location) || output.location < 0 || locations.has(output.location)) return false;\n        if (typeof output.glslName !== \"string\" || !output.glslName || names.has(output.glslName)) return false;\n        const route = `${output.register}:${output.slice === null ? \"dynamic\" : output.slice}`;\n        if (routes.has(route)) return false;\n        locations.add(output.location);\n        names.add(output.glslName);\n        routes.add(route);\n    }\n    return true;\n}\n\n/**\n * Checks a declared resource transform against the bindings it claims to have\n * rewritten.\n *\n * A transform says N described resources became one array binding. That claim is\n * only meaningful if the shader agrees: the carrier - layer 0's register, whose\n * slot the array occupies - must be declared, and every merged-away input must\n * not be. A transform naming registers the shader still binds separately has not\n * happened; a carrier the shader never declares cannot be bound.\n *\n * engine-webgpu makes equivalent checks when it realizes a package, and they are\n * mostly about the emitted artefacts rather than the device. WebGL has no engine\n * to make them, so a container can currently ship a transform nothing agrees\n * with. Checking here covers both, and covers WebGL at the only point that\n * exists.\n *\n * @param {object} stage Decoded stage record.\n * @param {object} shader Decoded shader record.\n * @param {object[]} errors Collected integrity errors.\n */\nfunction checkResourceTransforms(stage, shader, errors)\n{\n    const all = Array.isArray(stage.transforms) ? stage.transforms : [];\n    // A transform belongs to a pass but rewrites one stage. The record names that\n    // stage in WGSL's vocabulary, where WebGL's is \"pixel\" - the block codec is\n    // shared between the backends and restores the field from one set of\n    // defaults. Checking a vertex stage against a fragment transform reports\n    // every pass twice and says nothing: measured on a shipped effect, that was\n    // 48 carrier-undeclared reports on a container with nothing wrong with it.\n    const transforms = all.filter(\n        (transform) => TRANSFORM_STAGE_NAMES[transform?.stage] === stage.stageName\n    );\n    if (!transforms.length) return;\n\n    const declared = new Set(\n        (Array.isArray(shader.bindings) ? shader.bindings : [])\n            .filter((binding) => Number.isSafeInteger(binding?.registerIndex))\n            .map((binding) => binding.registerIndex)\n    );\n\n    for (const transform of transforms)\n    {\n        const inputs = Array.isArray(transform?.inputs) ? transform.inputs : [];\n\n        // Not every transform is a merge. `local-light-profile-neutral` records\n        // one resource replaced by a constant, so it has exactly one input and\n        // no carrier - the checks below would read that as an underfilled merge\n        // whose carrier went missing, which is the opposite of what happened.\n        if (transform?.family === \"local-light-profile-neutral\")\n        {\n            if (inputs.length !== 1)\n            {\n                addIntegrityError(\n                    errors,\n                    \"resource_transform_neutral_arity\",\n                    `Stage ${stage.key} transform ${transform?.id || \"<missing>\"} neutralises ${inputs.length} resource(s); exactly one is expected`,\n                    { stageKey: stage.key, transformId: transform?.id || null }\n                );\n                continue;\n            }\n\n            const [ neutralised ] = inputs;\n            if (Number.isSafeInteger(neutralised.registerIndex)\n                && declared.has(neutralised.registerIndex))\n            {\n                addIntegrityError(\n                    errors,\n                    \"resource_transform_neutral_still_bound\",\n                    `Stage ${stage.key} transform ${transform.id} neutralised register ${neutralised.registerIndex}, but the shader still declares it`,\n                    {\n                        stageKey: stage.key,\n                        transformId: transform.id,\n                        register: neutralised.registerIndex\n                    }\n                );\n            }\n            continue;\n        }\n\n        if (inputs.length < 2)\n        {\n            addIntegrityError(\n                errors,\n                \"resource_transform_underfilled\",\n                `Stage ${stage.key} declares transform ${transform?.id || \"<missing>\"} with ${inputs.length} input(s); a merge needs at least two`,\n                { stageKey: stage.key, transformId: transform?.id || null }\n            );\n            continue;\n        }\n\n        // Layers address array slices, so they must be the whole range 0..n-1.\n        const layers = inputs.map((input) => input.layer);\n        if (layers.some((layer, index) => layer !== index))\n        {\n            addIntegrityError(\n                errors,\n                \"resource_transform_layer_gap\",\n                `Stage ${stage.key} transform ${transform.id} has layers ${layers.join(\", \")} rather than a contiguous range`,\n                { stageKey: stage.key, transformId: transform.id, layers }\n            );\n            continue;\n        }\n\n        const [ carrier, ...merged ] = inputs;\n        if (Number.isSafeInteger(carrier.registerIndex)\n            && !declared.has(carrier.registerIndex))\n        {\n            addIntegrityError(\n                errors,\n                \"resource_transform_carrier_undeclared\",\n                `Stage ${stage.key} transform ${transform.id} names carrier register ${carrier.registerIndex}, which the shader does not declare`,\n                {\n                    stageKey: stage.key,\n                    transformId: transform.id,\n                    register: carrier.registerIndex\n                }\n            );\n        }\n\n        for (const input of merged)\n        {\n            if (!Number.isSafeInteger(input.registerIndex)) continue;\n            if (!declared.has(input.registerIndex)) continue;\n\n            addIntegrityError(\n                errors,\n                \"resource_transform_input_still_bound\",\n                `Stage ${stage.key} transform ${transform.id} merged register ${input.registerIndex} away, but the shader still declares it`,\n                {\n                    stageKey: stage.key,\n                    transformId: transform.id,\n                    register: input.registerIndex\n                }\n            );\n        }\n    }\n}\n\n/**\n * Reports a local-light family that the shipped GLSL neither binds nor explains.\n *\n * The container deliberately says two things at once. The Carbon description\n * records are the authored name and register authority and are never rewritten\n * by a lowering; the GLSL declares whatever the lowering actually produced; and\n * the per-pass backend block is the delta that ties one to the other. That only\n * holds while the delta is complete.\n *\n * This cannot be a general \"every described resource is declared\" rule. Carbon\n * describes resources a shader may simply not use, and the emitter only declares\n * what it samples, so an undeclared resource is ordinary. Measured on a shipped\n * effect, the general form reported 96 such resources on a perfectly good build.\n *\n * What is checkable is a family the packager is known to rewrite. Local lights\n * are two structured buffers plus an optional profile texture; WebGL2 has no\n * structured buffers, so the shader either lowers them - leaving a light record\n * naming the source registers - or it cannot bind lights at all. A described\n * family with no declaration and no record is the one case that is definitely\n * wrong rather than merely unused.\n *\n * `localLights: \"drop\"` produces exactly that: the emitter removes the\n * declarations *and* their binding records, so nothing reaches the block while\n * the description still lists all three. That mode is a diagnostic aid, not a\n * shipping mode, and this is what says so instead of writing a container that\n * quietly disagrees with itself.\n *\n * @param {object} stage Decoded stage record.\n * @param {object} shader Decoded shader record.\n * @param {object[]} errors Collected integrity errors.\n */\nfunction checkLocalLightFamilyAccounted(stage, shader, errors)\n{\n    const manifestBindings = Array.isArray(stage.manifest?.bindings)\n        ? stage.manifest.bindings\n        : [];\n    const family = manifestBindings.filter((entry) => entry?.kind === \"resource\"\n        && LOCAL_LIGHT_RESOURCE_NAMES.includes(entry.name));\n    if (family.length < 2) return;\n\n    const bindings = Array.isArray(shader.bindings) ? shader.bindings : [];\n    const accounted = new Set();\n    for (const binding of bindings)\n    {\n        if (Number.isSafeInteger(binding?.registerIndex))\n        {\n            accounted.add(binding.registerIndex);\n        }\n        for (const key of LOCAL_LIGHT_RECORD_REGISTERS)\n        {\n            if (Number.isSafeInteger(binding?.[key])) accounted.add(binding[key]);\n        }\n    }\n\n    // A resource transform accounts for a register just as a binding record\n    // does. `local-light-profile-neutral` names a resource replaced by a\n    // constant: nothing is bound, so no binding can carry it, and the transform\n    // is the only place the decision is written down.\n    for (const transform of Array.isArray(stage.transforms) ? stage.transforms : [])\n    {\n        if (transform?.family !== \"local-light-profile-neutral\") continue;\n        for (const input of Array.isArray(transform.inputs) ? transform.inputs : [])\n        {\n            if (Number.isSafeInteger(input?.registerIndex)) accounted.add(input.registerIndex);\n        }\n    }\n\n    // Any orphan is a fault, not only a wholly missing family. A lowering that\n    // declares its synthesised uniform but forgets to record the other source\n    // registers loses them just as completely, and only the record can say where\n    // they went.\n    const orphans = family\n        .filter((entry) => Number.isSafeInteger(entry.registerIndex)\n            && !accounted.has(entry.registerIndex))\n        .map((entry) => entry.registerIndex);\n    if (!orphans.length) return;\n\n    addIntegrityError(\n        errors,\n        \"unlowered_local_light_family\",\n        `Stage ${stage.key} describes a local-light family at registers ${orphans.join(\", \")} that the shader neither declares nor lowers`,\n        {\n            stageKey: stage.key,\n            shaderKey: stage.shaderKey || null,\n            registers: orphans\n        }\n    );\n}\n\n/**\n * Inspects a decoded effect container for the contracts a WebGL 2 runtime needs.\n *\n * This replaces `inspectGlslContainerIntegrity`, which took the chunk package's\n * INFO, META and GLSL records. Most of that function was bookkeeping about the\n * chunk format rather than about the effect, and it is not carried across:\n *\n * - **Envelope and kind checks** (`invalid_package_envelope`,\n *   `unsupported_package_kind`) asserted the magic strings `Carbon WebGL` /\n *   `CARBON_WEBGL_GLSL_SET` and a `packageKind` naming the chunk layout. They described\n *   the container they were written in, and that container is gone.\n * - **Declared-count checks** (`invalid_declared_count`, `declared_count_mismatch`,\n *   `declared_partial_package` — twelve fields) compared a header counter against\n *   the graph it summarised. A header can lie about the body; that is why the\n *   check existed. Nothing here declares a count, so there is nothing to lie.\n * - **Cross-copy reconciliation** (`package_mode_mismatch`,\n *   `package_selection_mismatch`, `variant_metadata_mismatch`,\n *   `failed_metadata_body`, `missing_metadata_*`, `orphan_metadata_*`) checked\n *   that META and GLSL agreed. Two independently-encoded copies of one fact can\n *   drift. The container stores one copy, so the bug class is gone rather than\n *   unchecked.\n * - **`missing_glsl_set` / `missing_metadata` / `invalid_core_chunk_cardinality`**\n *   asked whether a chunk was present exactly once. The reader now refuses to\n *   construct at all on a malformed container, which is strictly stronger.\n * - **`orphan_shader` / `duplicate_shader_key`** are unreachable by construction:\n *   the decoder pools shaders by program text and emits a key per pool, so a\n *   shader exists only because a stage referenced it.\n *\n * What survives is everything that describes the translation: which stages a\n * pass may contain, whether a declared stage carries a program, whether a\n * compute stage was adapted to the fragment host, and whether the emitted GLSL\n * actually declares the inputs and samplers the reflection promises. Those are\n * properties of the shader, not of the file it arrived in.\n *\n * @param {{stages:object[], shaders:object[]}} decoded Decoded container graph.\n * @returns {{ok:boolean, errors:object[]}} Integrity report.\n */\nexport function inspectGlslContainerIntegrity(decoded)\n{\n    const errors = [];\n    const stages = decoded?.stages;\n    const shaders = decoded?.shaders;\n\n    if (!Array.isArray(stages) || !Array.isArray(shaders))\n    {\n        addIntegrityError(\n            errors,\n            \"missing_container_graph\",\n            \"Container integrity requires decoded stage and shader arrays\"\n        );\n        return { ok: false, errors };\n    }\n\n    const shaderMap = new Map(shaders.map((shader) => [ shader.key, shader ]));\n    const passGroups = new Map();\n\n    for (const stage of stages)\n    {\n        const passKey = `${stage.bodyKey}.${stage.techniqueName}.pass${stage.passIndex}`;\n        if (!passGroups.has(passKey)) passGroups.set(passKey, []);\n        passGroups.get(passKey).push(stage);\n\n        const shader = shaderMap.get(stage.shaderKey);\n\n        if (![ \"vertex\", \"pixel\", \"compute\" ].includes(stage.stageName))\n        {\n            addIntegrityError(\n                errors,\n                \"unsupported_stage\",\n                `Stage ${stage.key} uses unsupported WebGL2 stage ${stage.stageName}`,\n                { stageKey: stage.key, stageName: stage.stageName || null }\n            );\n            continue;\n        }\n\n        if (!shader?.hlsl2webgl?.ok || !shader.source)\n        {\n            addIntegrityError(\n                errors,\n                \"unavailable_stage_shader\",\n                `Stage ${stage.key} has no successful translated source`,\n                { stageKey: stage.key, shaderKey: stage.shaderKey || null }\n            );\n            continue;\n        }\n\n        if (stage.stageName === \"compute\")\n        {\n            const computeIssue = computeFragmentShaderIssue(shader);\n            if (computeIssue)\n            {\n                addIntegrityError(\n                    errors,\n                    \"unadapted_compute_stage\",\n                    `Compute stage ${stage.key} ${computeIssue}`,\n                    { stageKey: stage.key, shaderKey: stage.shaderKey || null }\n                );\n            }\n        }\n\n        if (stage.manifest) validateShaderRuntimeContract(shader, stage, stage.manifest, errors);\n    }\n\n    for (const [ passKey, passStages ] of passGroups)\n    {\n        const counts = { vertex: 0, pixel: 0, compute: 0, other: 0 };\n        for (const stage of passStages)\n        {\n            if (stage.stageName in counts && stage.stageName !== \"other\") counts[stage.stageName] += 1;\n            else counts.other += 1;\n        }\n        const raster = counts.vertex === 1 && counts.pixel === 1 && counts.compute === 0 && counts.other === 0;\n        const compute = counts.vertex === 0 && counts.pixel === 0 && counts.compute === 1 && counts.other === 0;\n        if (!raster && !compute)\n        {\n            const duplicate = Object.values(counts).some((count) => count > 1);\n            const mixed = counts.compute > 0 && (counts.vertex > 0 || counts.pixel > 0);\n            const code = duplicate || mixed\n                ? \"invalid_pass_stage_family\"\n                : counts.other > 0\n                    ? \"unsupported_pass_stage_family\"\n                    : \"incomplete_pass_stage_family\";\n            addIntegrityError(\n                errors,\n                code,\n                `Pass ${passKey} must contain exactly one vertex/pixel pair or one compute stage`,\n                { passKey, counts }\n            );\n        }\n    }\n\n    return { ok: errors.length === 0, errors };\n}\n\nfunction computeFragmentShaderIssue(shader)\n{\n    const contract = shader?.computeFragment;\n    if (!isComputeFragmentContract(contract)) return \"has no valid compute-fragment host contract\";\n    if (!Array.isArray(shader.bindings)) return \"has no binding metadata for its compute-fragment host contract\";\n\n    const bindings = shader.bindings.filter((binding) => binding?.kind === \"uavTexture\");\n    if (bindings.length !== contract.uavOutputs.length)\n    {\n        return \"compute-fragment UAV routes do not match its binding metadata\";\n    }\n    for (const output of contract.uavOutputs)\n    {\n        if (!bindings.some((binding) => binding.registerIndex === output.register\n      && binding.slice === output.slice\n      && binding.location === output.location\n      && binding.name === output.glslName))\n        {\n            return `compute-fragment route ${output.glslName} does not match its binding metadata`;\n        }\n        const declaration = new RegExp(\n            `layout\\\\s*\\\\(\\\\s*location\\\\s*=\\\\s*${output.location}\\\\s*\\\\)\\\\s*out\\\\b[^;]*\\\\b${escapeRegExp(output.glslName)}\\\\s*;`\n        );\n        if (!declaration.test(shader.source))\n        {\n            return `compute-fragment route ${output.glslName} is not declared at output location ${output.location}`;\n        }\n    }\n\n    const dispatchBindings = shader.bindings.filter((binding) => binding?.kind === \"dispatchUniform\");\n    if (contract.dispatchOriginUniform === null)\n    {\n        if (dispatchBindings.length) return \"declares unexpected dispatch-origin binding metadata\";\n    }\n    else\n    {\n        if (dispatchBindings.length !== 1 || dispatchBindings[0].name !== contract.dispatchOriginUniform)\n        {\n            return \"dispatch-origin uniform does not match its binding metadata\";\n        }\n        const declaration = new RegExp(`uniform\\\\s+ivec3\\\\s+${escapeRegExp(contract.dispatchOriginUniform)}\\\\s*;`);\n        if (!declaration.test(shader.source)) return \"dispatch-origin uniform is not declared in translated source\";\n    }\n    return null;\n}\n\nfunction validateShaderRuntimeContract(shader, stage, manifestStage, errors)\n{\n    if (stage.stageName === \"vertex\" && Array.isArray(shader.stageInputs))\n    {\n        const registers = new Set();\n        const names = new Set();\n        const expectedInputs = (manifestStage.pipelineInputs || []).filter((input) => Number(input?.usedMask || 0) !== 0);\n        for (const input of shader.stageInputs)\n        {\n            if (!Number.isSafeInteger(input?.register)\n        || input.register < 0\n        || registers.has(input.register)\n        || typeof input.name !== \"string\"\n        || !input.name\n        || names.has(input.name))\n            {\n                addIntegrityError(\n                    errors,\n                    \"invalid_vertex_input_contract\",\n                    `Vertex shader ${shader.key} has an invalid or duplicate emitted input`,\n                    { stageKey: stage.key, shaderKey: shader.key }\n                );\n                continue;\n            }\n            registers.add(input.register);\n            names.add(input.name);\n            if (!expectedInputs.some((entry) => entry.registerIndex === input.register\n        && normalizeSemanticName(entry.usageName) === normalizeSemanticName(input.semanticName)\n        && entry.usageIndex === input.semanticIndex))\n            {\n                addIntegrityError(\n                    errors,\n                    \"vertex_input_contract_mismatch\",\n                    `Vertex shader ${shader.key} input ${input.name} is not present in its manifest pipeline inputs`,\n                    { stageKey: stage.key, shaderKey: shader.key, register: input.register }\n                );\n            }\n            const declaration = new RegExp(`\\\\bin\\\\b[^;]*\\\\b${escapeRegExp(input.name)}\\\\s*;`);\n            if (!declaration.test(shader.source))\n            {\n                addIntegrityError(\n                    errors,\n                    \"vertex_input_declaration_mismatch\",\n                    `Vertex shader ${shader.key} input ${input.name} is not declared in translated source`,\n                    { stageKey: stage.key, shaderKey: shader.key, inputName: input.name }\n                );\n            }\n        }\n    }\n\n    checkLocalLightFamilyAccounted(stage, shader, errors);\n    checkResourceTransforms(stage, shader, errors);\n\n    if (!Array.isArray(shader.bindings)) return;\n    const manifestBindings = Array.isArray(manifestStage.bindings) ? manifestStage.bindings : [];\n    for (const binding of shader.bindings)\n    {\n        if (typeof binding?.samplerType !== \"string\" || !binding.samplerType) continue;\n        const uniform = new RegExp(\n            `uniform\\\\s+(?:(?:lowp|mediump|highp)\\\\s+)?${escapeRegExp(binding.samplerType)}\\\\s+${escapeRegExp(binding.name)}\\\\s*;`\n        );\n        if (!uniform.test(shader.source))\n        {\n            addIntegrityError(\n                errors,\n                \"sampler_binding_declaration_mismatch\",\n                `Shader ${shader.key} sampler ${binding.name || \"<missing>\"} is not declared as ${binding.samplerType}`,\n                { stageKey: stage.key, shaderKey: shader.key, bindingName: binding.name || null }\n            );\n        }\n        if (!Number.isSafeInteger(binding.registerIndex)\n      || binding.registerIndex < 0\n      || !manifestBindings.some((entry) => entry?.kind === \"resource\" && entry.registerIndex === binding.registerIndex))\n        {\n            addIntegrityError(\n                errors,\n                \"sampler_resource_contract_mismatch\",\n                `Shader ${shader.key} sampler ${binding.name || \"<missing>\"} has no matching manifest resource register`,\n                { stageKey: stage.key, shaderKey: shader.key, register: binding.registerIndex }\n            );\n        }\n\n        const comparison = binding.samplerType.endsWith(\"Shadow\");\n        if ((binding.comparison === true) !== comparison)\n        {\n            addIntegrityError(\n                errors,\n                \"comparison_sampler_contract_mismatch\",\n                `Shader ${shader.key} sampler ${binding.name || \"<missing>\"} comparison metadata disagrees with ${binding.samplerType}`,\n                { stageKey: stage.key, shaderKey: shader.key, bindingName: binding.name || null }\n            );\n        }\n        if (comparison)\n        {\n            const samplerRegisters = binding.samplerRegisterIndices;\n            if (!Array.isArray(samplerRegisters)\n        || !samplerRegisters.length\n        || new Set(samplerRegisters).size !== samplerRegisters.length\n        || samplerRegisters.some((register) => !Number.isSafeInteger(register)\n          || register < 0\n          || !manifestBindings.some((entry) => entry?.kind === \"sampler\"\n            && entry.registerIndex === register\n            && entry.carbon?.sampler?.comparison === true)))\n            {\n                addIntegrityError(\n                    errors,\n                    \"comparison_sampler_contract_mismatch\",\n                    `Shader ${shader.key} comparison sampler ${binding.name || \"<missing>\"} has invalid manifest sampler pairing`,\n                    { stageKey: stage.key, shaderKey: shader.key, bindingName: binding.name || null }\n                );\n            }\n        }\n    }\n}\n\nfunction normalizeSemanticName(value)\n{\n    const name = String(value || \"\").toUpperCase();\n    if (name === \"BITANGENT\") return \"BINORMAL\";\n    if (name === \"BLENDWEIGHTS\") return \"BLENDWEIGHT\";\n    return name;\n}\n\nfunction escapeRegExp(value)\n{\n    return String(value).replace(/[.*+?^${}()|[\\]\\\\]/g, \"\\\\$&\");\n}\n\nfunction addIntegrityError(errors, code, message, details = {})\n{\n    errors.push({ code, message, ...details });\n}\n"],"names":["inspectRasterCompleteness","stages","shaders","shaderMap","Map","map","shader","key","groups","stage","stageName","bodyKey","techniqueName","Number","isInteger","passIndex","join","group","get","vertex","pixel","duplicateStages","set","push","incompletePasses","completePassCount","values","missingStages","unavailableStages","shaderKey","hlsl2webgl","ok","source","stageKey","excluded","reason","validationError","error","length","Set","sort","expectedPassCount","size"],"mappings":"AAqBA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACO,SAASA,yBAAyBA,CAACC,MAAM,EAAEC,OAAO,EACzD;EACI,MAAMC,SAAS,GAAG,IAAIC,GAAG,CAAC,CAACF,OAAO,IAAI,EAAE,EAAEG,GAAG,CAAEC,MAAM,IAAK,CAAEA,MAAM,CAACC,GAAG,EAAED,MAAM,CAAE,CAAC,CAAC;AAClF,EAAA,MAAME,MAAM,GAAG,IAAIJ,GAAG,EAAE;AAExB,EAAA,KAAK,MAAMK,KAAK,IAAIR,MAAM,IAAI,EAAE,EAChC;IACI,IAAIQ,KAAK,CAACC,SAAS,KAAK,QAAQ,IAAID,KAAK,CAACC,SAAS,KAAK,OAAO,EAAE;AAEjE,IAAA,MAAMH,GAAG,GAAG,CACRE,KAAK,CAACE,OAAO,IAAI,UAAU,EAC3BF,KAAK,CAACG,aAAa,IAAI,MAAM,EAC7BC,MAAM,CAACC,SAAS,CAACL,KAAK,CAACM,SAAS,CAAC,GAAGN,KAAK,CAACM,SAAS,GAAG,CAAC,CAC1D,CAACC,IAAI,CAAC,GAAG,CAAC;AACX,IAAA,IAAIC,KAAK,GAAGT,MAAM,CAACU,GAAG,CAACX,GAAG,CAAC;IAC3B,IAAI,CAACU,KAAK,EACV;AACIA,MAAAA,KAAK,GAAG;QACJV,GAAG;AACHI,QAAAA,OAAO,EAAEF,KAAK,CAACE,OAAO,IAAI,UAAU;AACpCC,QAAAA,aAAa,EAAEH,KAAK,CAACG,aAAa,IAAI,MAAM;AAC5CG,QAAAA,SAAS,EAAEF,MAAM,CAACC,SAAS,CAACL,KAAK,CAACM,SAAS,CAAC,GAAGN,KAAK,CAACM,SAAS,GAAG,CAAC;AAClEI,QAAAA,MAAM,EAAE,IAAI;AACZC,QAAAA,KAAK,EAAE,IAAI;AACXC,QAAAA,eAAe,EAAE;OACpB;AACDb,MAAAA,MAAM,CAACc,GAAG,CAACf,GAAG,EAAEU,KAAK,CAAC;AAC1B,IAAA;AACA,IAAA,IAAIA,KAAK,CAACR,KAAK,CAACC,SAAS,CAAC,EAC1B;MACIO,KAAK,CAACI,eAAe,CAACE,IAAI,CAACd,KAAK,CAACC,SAAS,CAAC;AAC/C,IAAA;AACAO,IAAAA,KAAK,CAACR,KAAK,CAACC,SAAS,CAAC,GAAGD,KAAK;AAClC,EAAA;EAEA,MAAMe,gBAAgB,GAAG,EAAE;EAC3B,IAAIC,iBAAiB,GAAG,CAAC;EAEzB,KAAK,MAAMR,KAAK,IAAIT,MAAM,CAACkB,MAAM,EAAE,EACnC;IACI,MAAMC,aAAa,GAAG,EAAE;IACxB,MAAMC,iBAAiB,GAAG,EAAE;IAE5B,KAAK,MAAMlB,SAAS,IAAI,CAAE,QAAQ,EAAE,OAAO,CAAE,EAC7C;AACI,MAAA,MAAMD,KAAK,GAAGQ,KAAK,CAACP,SAAS,CAAC;MAC9B,IAAI,CAACD,KAAK,EACV;AACIkB,QAAAA,aAAa,CAACJ,IAAI,CAACb,SAAS,CAAC;AAC7B,QAAA;AACJ,MAAA;MAEA,MAAMJ,MAAM,GAAGH,SAAS,CAACe,GAAG,CAACT,KAAK,CAACoB,SAAS,CAAC;MAC7C,IAAI,CAACvB,MAAM,EAAEwB,UAAU,EAAEC,EAAE,IAAI,CAACzB,MAAM,CAAC0B,MAAM,EAC7C;QACIJ,iBAAiB,CAACL,IAAI,CAAC;UACnBb,SAAS;UACTuB,QAAQ,EAAExB,KAAK,CAACF,GAAG;UACnBsB,SAAS,EAAEpB,KAAK,CAACoB,SAAS;AAC1BK,UAAAA,QAAQ,EAAE5B,MAAM,EAAE4B,QAAQ,IAAI,IAAI;UAClCC,MAAM,EAAE7B,MAAM,EAAEwB,UAAU,EAAEM,eAAe,IAChD9B,MAAM,EAAEwB,UAAU,EAAEK,MAAM,IAC1B7B,MAAM,EAAEwB,UAAU,EAAEO,KAAK,IACzB/B,MAAM,EAAE4B,QAAQ,EAAEC,MAAM,IACxB;AACC,SAAC,CAAC;AACN,MAAA;AACJ,IAAA;AAEA,IAAA,IAAI,CAACR,aAAa,CAACW,MAAM,IAAI,CAACV,iBAAiB,CAACU,MAAM,IAAI,CAACrB,KAAK,CAACI,eAAe,CAACiB,MAAM,EACvF;AACIb,MAAAA,iBAAiB,IAAI,CAAC;AACtB,MAAA;AACJ,IAAA;IAEAD,gBAAgB,CAACD,IAAI,CAAC;MAClBhB,GAAG,EAAEU,KAAK,CAACV,GAAG;MACdI,OAAO,EAAEM,KAAK,CAACN,OAAO;MACtBC,aAAa,EAAEK,KAAK,CAACL,aAAa;MAClCG,SAAS,EAAEE,KAAK,CAACF,SAAS;MAC1BY,aAAa;MACbC,iBAAiB;AACjBP,MAAAA,eAAe,EAAE,CAAE,GAAG,IAAIkB,GAAG,CAACtB,KAAK,CAACI,eAAe,CAAC,CAAE,CAACmB,IAAI;AAC/D,KAAC,CAAC;AACN,EAAA;EAEA,OAAO;IACHC,iBAAiB,EAAEjC,MAAM,CAACkC,IAAI;IAC9BjB,iBAAiB;AACjBD,IAAAA;GACH;AACL;;;;"}
+{"version":3,"file":"glslEffectCompleteness.js","sources":["../../../../../src/formats/webgl/core/glslEffectCompleteness.js"],"sourcesContent":["import { LOCAL_LIGHT_RESOURCE_NAMES } from \"../../hlsl/core/localLightFamily.js\";\n\n/**\n * Light-record fields naming the Carbon registers a lowering replaced.\n *\n * A lowered family declares one synthesised uniform, so its own `registerIndex`\n * covers only one of the sources; the record carries the rest.\n */\n/** Transform stage names, in the shared codec's vocabulary, as WebGL names them. */\nconst TRANSFORM_STAGE_NAMES = Object.freeze({\n  vertex: \"vertex\",\n  fragment: \"pixel\",\n  compute: \"compute\"\n});\n\nconst LOCAL_LIGHT_RECORD_REGISTERS = Object.freeze([\n  \"lightIndexRegister\",\n  \"lightDataRegister\",\n  \"lightProfileRegister\"\n]);\n\n/**\n * Inspects Carbon WebGL stage records for complete WebGL2 raster passes.\n *\n * Geometry and compute stages are not raster-pair members. A raster pass is\n * complete only when both its vertex and pixel records exist and their shared\n * shader records contain successful translated source.\n *\n * Stages reference shaders by key. The older shape that inlined the shader into\n * the stage record has no producer left — both callers pass a shader table, and\n * the container decoder always builds one — so the branch that supported it is\n * gone rather than kept as an untested path.\n *\n * @param {object[]} stages Stage records.\n * @param {object[]} shaders Translated shader records.\n * @returns {{ expectedPassCount: number, completePassCount: number, incompletePasses: object[] }}\n */\nexport function inspectRasterCompleteness(stages, shaders)\n{\n    const shaderMap = new Map((shaders || []).map((shader) => [ shader.key, shader ]));\n    const groups = new Map();\n\n    for (const stage of stages || [])\n    {\n        if (stage.stageName !== \"vertex\" && stage.stageName !== \"pixel\") continue;\n\n        const key = [\n            stage.bodyKey || \"selected\",\n            stage.techniqueName || \"Main\",\n            Number.isInteger(stage.passIndex) ? stage.passIndex : 0\n        ].join(\":\");\n        let group = groups.get(key);\n        if (!group)\n        {\n            group = {\n                key,\n                bodyKey: stage.bodyKey || \"selected\",\n                techniqueName: stage.techniqueName || \"Main\",\n                passIndex: Number.isInteger(stage.passIndex) ? stage.passIndex : 0,\n                vertex: null,\n                pixel: null,\n                duplicateStages: []\n            };\n            groups.set(key, group);\n        }\n        if (group[stage.stageName])\n        {\n            group.duplicateStages.push(stage.stageName);\n        }\n        group[stage.stageName] = stage;\n    }\n\n    const incompletePasses = [];\n    let completePassCount = 0;\n\n    for (const group of groups.values())\n    {\n        const missingStages = [];\n        const unavailableStages = [];\n\n        for (const stageName of [ \"vertex\", \"pixel\" ])\n        {\n            const stage = group[stageName];\n            if (!stage)\n            {\n                missingStages.push(stageName);\n                continue;\n            }\n\n            const shader = shaderMap.get(stage.shaderKey);\n            if (!shader?.hlsl2webgl?.ok || !shader.source)\n            {\n                unavailableStages.push({\n                    stageName,\n                    stageKey: stage.key,\n                    shaderKey: stage.shaderKey,\n                    excluded: shader?.excluded || null,\n                    reason: shader?.hlsl2webgl?.validationError\n            || shader?.hlsl2webgl?.reason\n            || shader?.hlsl2webgl?.error\n            || shader?.excluded?.reason\n            || \"translated source is unavailable\"\n                });\n            }\n        }\n\n        if (!missingStages.length && !unavailableStages.length && !group.duplicateStages.length)\n        {\n            completePassCount += 1;\n            continue;\n        }\n\n        incompletePasses.push({\n            key: group.key,\n            bodyKey: group.bodyKey,\n            techniqueName: group.techniqueName,\n            passIndex: group.passIndex,\n            missingStages,\n            unavailableStages,\n            duplicateStages: [ ...new Set(group.duplicateStages) ].sort()\n        });\n    }\n\n    return {\n        expectedPassCount: groups.size,\n        completePassCount,\n        incompletePasses\n    };\n}\n\n/**\n * Checks the host-side routing contract emitted for compute-as-fragment\n * programs. A boolean marker is insufficient: the runtime needs the original\n * dispatch shape, dispatch-origin uniform, and every UAV render-target route.\n */\nexport function isComputeFragmentContract(value)\n{\n    if (!value || typeof value !== \"object\" || Array.isArray(value)) return false;\n    if (!Array.isArray(value.threadGroup)\n    || value.threadGroup.length !== 3\n    || value.threadGroup.some((item) => !Number.isSafeInteger(item) || item < 1))\n    {\n        return false;\n    }\n    if (value.dispatchOriginUniform !== null\n    && (typeof value.dispatchOriginUniform !== \"string\" || !value.dispatchOriginUniform)) return false;\n    if (!Array.isArray(value.uavOutputs) || !value.uavOutputs.length) return false;\n\n    const locations = new Set();\n    const names = new Set();\n    const routes = new Set();\n    for (const output of value.uavOutputs)\n    {\n        if (!output || typeof output !== \"object\") return false;\n        if (!Number.isSafeInteger(output.register) || output.register < 0) return false;\n        if (output.slice !== null && (!Number.isSafeInteger(output.slice) || output.slice < 0)) return false;\n        if (!Number.isSafeInteger(output.location) || output.location < 0 || locations.has(output.location)) return false;\n        if (typeof output.glslName !== \"string\" || !output.glslName || names.has(output.glslName)) return false;\n        const route = `${output.register}:${output.slice === null ? \"dynamic\" : output.slice}`;\n        if (routes.has(route)) return false;\n        locations.add(output.location);\n        names.add(output.glslName);\n        routes.add(route);\n    }\n    return true;\n}\n\n/**\n * Checks a declared resource transform against the bindings it claims to have\n * rewritten.\n *\n * A transform says N described resources became one array binding. That claim is\n * only meaningful if the shader agrees: the carrier - layer 0's register, whose\n * slot the array occupies - must be declared, and every merged-away input must\n * not be. A transform naming registers the shader still binds separately has not\n * happened; a carrier the shader never declares cannot be bound.\n *\n * engine-webgpu makes equivalent checks when it realizes a package, and they are\n * mostly about the emitted artefacts rather than the device. WebGL has no engine\n * to make them, so a container can currently ship a transform nothing agrees\n * with. Checking here covers both, and covers WebGL at the only point that\n * exists.\n *\n * @param {object} stage Decoded stage record.\n * @param {object} shader Decoded shader record.\n * @param {object[]} errors Collected integrity errors.\n */\nfunction checkResourceTransforms(stage, shader, errors)\n{\n    const all = Array.isArray(stage.transforms) ? stage.transforms : [];\n    // A transform belongs to a pass but rewrites one stage. The record names that\n    // stage in WGSL's vocabulary, where WebGL's is \"pixel\" - the block codec is\n    // shared between the backends and restores the field from one set of\n    // defaults. Checking a vertex stage against a fragment transform reports\n    // every pass twice and says nothing: measured on a shipped effect, that was\n    // 48 carrier-undeclared reports on a container with nothing wrong with it.\n    const transforms = all.filter(\n        (transform) => TRANSFORM_STAGE_NAMES[transform?.stage] === stage.stageName\n    );\n    if (!transforms.length) return;\n\n    const declared = new Set(\n        (Array.isArray(shader.bindings) ? shader.bindings : [])\n            .filter((binding) => Number.isSafeInteger(binding?.registerIndex))\n            .map((binding) => binding.registerIndex)\n    );\n\n    for (const transform of transforms)\n    {\n        const inputs = Array.isArray(transform?.inputs) ? transform.inputs : [];\n\n        // Not every transform is a merge. `local-light-profile-neutral` records\n        // one resource replaced by a constant, so it has exactly one input and\n        // no carrier - the checks below would read that as an underfilled merge\n        // whose carrier went missing, which is the opposite of what happened.\n        if (transform?.family === \"local-light-profile-neutral\")\n        {\n            if (inputs.length !== 1)\n            {\n                addIntegrityError(\n                    errors,\n                    \"resource_transform_neutral_arity\",\n                    `Stage ${stage.key} transform ${transform?.id || \"<missing>\"} neutralises ${inputs.length} resource(s); exactly one is expected`,\n                    { stageKey: stage.key, transformId: transform?.id || null }\n                );\n                continue;\n            }\n\n            const [ neutralised ] = inputs;\n            if (Number.isSafeInteger(neutralised.registerIndex)\n                && declared.has(neutralised.registerIndex))\n            {\n                addIntegrityError(\n                    errors,\n                    \"resource_transform_neutral_still_bound\",\n                    `Stage ${stage.key} transform ${transform.id} neutralised register ${neutralised.registerIndex}, but the shader still declares it`,\n                    {\n                        stageKey: stage.key,\n                        transformId: transform.id,\n                        register: neutralised.registerIndex\n                    }\n                );\n            }\n            continue;\n        }\n\n        if (inputs.length < 2)\n        {\n            addIntegrityError(\n                errors,\n                \"resource_transform_underfilled\",\n                `Stage ${stage.key} declares transform ${transform?.id || \"<missing>\"} with ${inputs.length} input(s); a merge needs at least two`,\n                { stageKey: stage.key, transformId: transform?.id || null }\n            );\n            continue;\n        }\n\n        // Layers address array slices, so they must be the whole range 0..n-1.\n        const layers = inputs.map((input) => input.layer);\n        if (layers.some((layer, index) => layer !== index))\n        {\n            addIntegrityError(\n                errors,\n                \"resource_transform_layer_gap\",\n                `Stage ${stage.key} transform ${transform.id} has layers ${layers.join(\", \")} rather than a contiguous range`,\n                { stageKey: stage.key, transformId: transform.id, layers }\n            );\n            continue;\n        }\n\n        const [ carrier, ...merged ] = inputs;\n        if (Number.isSafeInteger(carrier.registerIndex)\n            && !declared.has(carrier.registerIndex))\n        {\n            addIntegrityError(\n                errors,\n                \"resource_transform_carrier_undeclared\",\n                `Stage ${stage.key} transform ${transform.id} names carrier register ${carrier.registerIndex}, which the shader does not declare`,\n                {\n                    stageKey: stage.key,\n                    transformId: transform.id,\n                    register: carrier.registerIndex\n                }\n            );\n        }\n\n        for (const input of merged)\n        {\n            if (!Number.isSafeInteger(input.registerIndex)) continue;\n            if (!declared.has(input.registerIndex)) continue;\n\n            addIntegrityError(\n                errors,\n                \"resource_transform_input_still_bound\",\n                `Stage ${stage.key} transform ${transform.id} merged register ${input.registerIndex} away, but the shader still declares it`,\n                {\n                    stageKey: stage.key,\n                    transformId: transform.id,\n                    register: input.registerIndex\n                }\n            );\n        }\n    }\n}\n\n/**\n * Reports a local-light family that the shipped GLSL neither binds nor explains.\n *\n * The container deliberately says two things at once. The Carbon description\n * records are the authored name and register authority and are never rewritten\n * by a lowering; the GLSL declares whatever the lowering actually produced; and\n * the per-pass backend block is the delta that ties one to the other. That only\n * holds while the delta is complete.\n *\n * This cannot be a general \"every described resource is declared\" rule. Carbon\n * describes resources a shader may simply not use, and the emitter only declares\n * what it samples, so an undeclared resource is ordinary. Measured on a shipped\n * effect, the general form reported 96 such resources on a perfectly good build.\n *\n * What is checkable is a family the packager is known to rewrite. Local lights\n * are two structured buffers plus an optional profile texture; WebGL2 has no\n * structured buffers, so the shader either lowers them - leaving a light record\n * naming the source registers - or it cannot bind lights at all. A described\n * family with no declaration and no record is the one case that is definitely\n * wrong rather than merely unused.\n *\n * `localLights: \"drop\"` produces exactly that: the emitter removes the\n * declarations *and* their binding records, so nothing reaches the block while\n * the description still lists all three. That mode is a diagnostic aid, not a\n * shipping mode, and this is what says so instead of writing a container that\n * quietly disagrees with itself.\n *\n * @param {object} stage Decoded stage record.\n * @param {object} shader Decoded shader record.\n * @param {object[]} errors Collected integrity errors.\n */\nfunction checkLocalLightFamilyAccounted(stage, shader, errors)\n{\n    const manifestBindings = Array.isArray(stage.manifest?.bindings)\n        ? stage.manifest.bindings\n        : [];\n    // The manifest spells a resource's Carbon name as `metadataName` with the\n    // metadata record nested under `carbon`; plain `name` survives as a\n    // fallback for hand-written fixture records.\n    const family = manifestBindings.filter((entry) => entry?.kind === \"resource\"\n        && LOCAL_LIGHT_RESOURCE_NAMES.includes(\n            entry.metadataName ?? entry.carbon?.name ?? entry.name\n        ));\n    if (family.length < 2) return;\n\n    const bindings = Array.isArray(shader.bindings) ? shader.bindings : [];\n    const accounted = new Set();\n    for (const binding of bindings)\n    {\n        if (Number.isSafeInteger(binding?.registerIndex))\n        {\n            accounted.add(binding.registerIndex);\n        }\n        for (const key of LOCAL_LIGHT_RECORD_REGISTERS)\n        {\n            if (Number.isSafeInteger(binding?.[key])) accounted.add(binding[key]);\n        }\n    }\n\n    // A resource transform accounts for a register just as a binding record\n    // does. `local-light-profile-neutral` names a resource replaced by a\n    // constant: nothing is bound, so no binding can carry it, and the transform\n    // is the only place the decision is written down.\n    for (const transform of Array.isArray(stage.transforms) ? stage.transforms : [])\n    {\n        if (transform?.family !== \"local-light-profile-neutral\") continue;\n        for (const input of Array.isArray(transform.inputs) ? transform.inputs : [])\n        {\n            if (Number.isSafeInteger(input?.registerIndex)) accounted.add(input.registerIndex);\n        }\n    }\n\n    // Any orphan is a fault, not only a wholly missing family. A lowering that\n    // declares its synthesised uniform but forgets to record the other source\n    // registers loses them just as completely, and only the record can say where\n    // they went.\n    const orphans = family\n        .filter((entry) => Number.isSafeInteger(entry.registerIndex)\n            && !accounted.has(entry.registerIndex))\n        .map((entry) => entry.registerIndex);\n    if (!orphans.length) return;\n\n    addIntegrityError(\n        errors,\n        \"unlowered_local_light_family\",\n        `Stage ${stage.key} describes a local-light family at registers ${orphans.join(\", \")} that the shader neither declares nor lowers`,\n        {\n            stageKey: stage.key,\n            shaderKey: stage.shaderKey || null,\n            registers: orphans\n        }\n    );\n}\n\n/**\n * Inspects a decoded effect container for the contracts a WebGL 2 runtime needs.\n *\n * This replaces `inspectGlslContainerIntegrity`, which took the chunk package's\n * INFO, META and GLSL records. Most of that function was bookkeeping about the\n * chunk format rather than about the effect, and it is not carried across:\n *\n * - **Envelope and kind checks** (`invalid_package_envelope`,\n *   `unsupported_package_kind`) asserted the magic strings `Carbon WebGL` /\n *   `CARBON_WEBGL_GLSL_SET` and a `packageKind` naming the chunk layout. They described\n *   the container they were written in, and that container is gone.\n * - **Declared-count checks** (`invalid_declared_count`, `declared_count_mismatch`,\n *   `declared_partial_package` — twelve fields) compared a header counter against\n *   the graph it summarised. A header can lie about the body; that is why the\n *   check existed. Nothing here declares a count, so there is nothing to lie.\n * - **Cross-copy reconciliation** (`package_mode_mismatch`,\n *   `package_selection_mismatch`, `variant_metadata_mismatch`,\n *   `failed_metadata_body`, `missing_metadata_*`, `orphan_metadata_*`) checked\n *   that META and GLSL agreed. Two independently-encoded copies of one fact can\n *   drift. The container stores one copy, so the bug class is gone rather than\n *   unchecked.\n * - **`missing_glsl_set` / `missing_metadata` / `invalid_core_chunk_cardinality`**\n *   asked whether a chunk was present exactly once. The reader now refuses to\n *   construct at all on a malformed container, which is strictly stronger.\n * - **`orphan_shader` / `duplicate_shader_key`** are unreachable by construction:\n *   the decoder pools shaders by program text and emits a key per pool, so a\n *   shader exists only because a stage referenced it.\n *\n * What survives is everything that describes the translation: which stages a\n * pass may contain, whether a declared stage carries a program, whether a\n * compute stage was adapted to the fragment host, and whether the emitted GLSL\n * actually declares the inputs and samplers the reflection promises. Those are\n * properties of the shader, not of the file it arrived in.\n *\n * @param {{stages:object[], shaders:object[]}} decoded Decoded container graph.\n * @returns {{ok:boolean, errors:object[]}} Integrity report.\n */\nexport function inspectGlslContainerIntegrity(decoded)\n{\n    const errors = [];\n    const stages = decoded?.stages;\n    const shaders = decoded?.shaders;\n\n    if (!Array.isArray(stages) || !Array.isArray(shaders))\n    {\n        addIntegrityError(\n            errors,\n            \"missing_container_graph\",\n            \"Container integrity requires decoded stage and shader arrays\"\n        );\n        return { ok: false, errors };\n    }\n\n    const shaderMap = new Map(shaders.map((shader) => [ shader.key, shader ]));\n    const passGroups = new Map();\n\n    for (const stage of stages)\n    {\n        const passKey = `${stage.bodyKey}.${stage.techniqueName}.pass${stage.passIndex}`;\n        if (!passGroups.has(passKey)) passGroups.set(passKey, []);\n        passGroups.get(passKey).push(stage);\n\n        const shader = shaderMap.get(stage.shaderKey);\n\n        if (![ \"vertex\", \"pixel\", \"compute\" ].includes(stage.stageName))\n        {\n            addIntegrityError(\n                errors,\n                \"unsupported_stage\",\n                `Stage ${stage.key} uses unsupported WebGL2 stage ${stage.stageName}`,\n                { stageKey: stage.key, stageName: stage.stageName || null }\n            );\n            continue;\n        }\n\n        if (!shader?.hlsl2webgl?.ok || !shader.source)\n        {\n            addIntegrityError(\n                errors,\n                \"unavailable_stage_shader\",\n                `Stage ${stage.key} has no successful translated source`,\n                { stageKey: stage.key, shaderKey: stage.shaderKey || null }\n            );\n            continue;\n        }\n\n        if (stage.stageName === \"compute\")\n        {\n            const computeIssue = computeFragmentShaderIssue(shader);\n            if (computeIssue)\n            {\n                addIntegrityError(\n                    errors,\n                    \"unadapted_compute_stage\",\n                    `Compute stage ${stage.key} ${computeIssue}`,\n                    { stageKey: stage.key, shaderKey: stage.shaderKey || null }\n                );\n            }\n        }\n\n        if (stage.manifest) validateShaderRuntimeContract(shader, stage, stage.manifest, errors);\n    }\n\n    for (const [ passKey, passStages ] of passGroups)\n    {\n        const counts = { vertex: 0, pixel: 0, compute: 0, other: 0 };\n        for (const stage of passStages)\n        {\n            if (stage.stageName in counts && stage.stageName !== \"other\") counts[stage.stageName] += 1;\n            else counts.other += 1;\n        }\n        const raster = counts.vertex === 1 && counts.pixel === 1 && counts.compute === 0 && counts.other === 0;\n        const compute = counts.vertex === 0 && counts.pixel === 0 && counts.compute === 1 && counts.other === 0;\n        if (!raster && !compute)\n        {\n            const duplicate = Object.values(counts).some((count) => count > 1);\n            const mixed = counts.compute > 0 && (counts.vertex > 0 || counts.pixel > 0);\n            const code = duplicate || mixed\n                ? \"invalid_pass_stage_family\"\n                : counts.other > 0\n                    ? \"unsupported_pass_stage_family\"\n                    : \"incomplete_pass_stage_family\";\n            addIntegrityError(\n                errors,\n                code,\n                `Pass ${passKey} must contain exactly one vertex/pixel pair or one compute stage`,\n                { passKey, counts }\n            );\n        }\n    }\n\n    return { ok: errors.length === 0, errors };\n}\n\nfunction computeFragmentShaderIssue(shader)\n{\n    const contract = shader?.computeFragment;\n    if (!isComputeFragmentContract(contract)) return \"has no valid compute-fragment host contract\";\n    if (!Array.isArray(shader.bindings)) return \"has no binding metadata for its compute-fragment host contract\";\n\n    const bindings = shader.bindings.filter((binding) => binding?.kind === \"uavTexture\");\n    if (bindings.length !== contract.uavOutputs.length)\n    {\n        return \"compute-fragment UAV routes do not match its binding metadata\";\n    }\n    for (const output of contract.uavOutputs)\n    {\n        if (!bindings.some((binding) => binding.registerIndex === output.register\n      && binding.slice === output.slice\n      && binding.location === output.location\n      && binding.name === output.glslName))\n        {\n            return `compute-fragment route ${output.glslName} does not match its binding metadata`;\n        }\n        const declaration = new RegExp(\n            `layout\\\\s*\\\\(\\\\s*location\\\\s*=\\\\s*${output.location}\\\\s*\\\\)\\\\s*out\\\\b[^;]*\\\\b${escapeRegExp(output.glslName)}\\\\s*;`\n        );\n        if (!declaration.test(shader.source))\n        {\n            return `compute-fragment route ${output.glslName} is not declared at output location ${output.location}`;\n        }\n    }\n\n    const dispatchBindings = shader.bindings.filter((binding) => binding?.kind === \"dispatchUniform\");\n    if (contract.dispatchOriginUniform === null)\n    {\n        if (dispatchBindings.length) return \"declares unexpected dispatch-origin binding metadata\";\n    }\n    else\n    {\n        if (dispatchBindings.length !== 1 || dispatchBindings[0].name !== contract.dispatchOriginUniform)\n        {\n            return \"dispatch-origin uniform does not match its binding metadata\";\n        }\n        const declaration = new RegExp(`uniform\\\\s+ivec3\\\\s+${escapeRegExp(contract.dispatchOriginUniform)}\\\\s*;`);\n        if (!declaration.test(shader.source)) return \"dispatch-origin uniform is not declared in translated source\";\n    }\n    return null;\n}\n\nfunction validateShaderRuntimeContract(shader, stage, manifestStage, errors)\n{\n    if (stage.stageName === \"vertex\" && Array.isArray(shader.stageInputs))\n    {\n        const registers = new Set();\n        const names = new Set();\n        const expectedInputs = (manifestStage.pipelineInputs || []).filter((input) => Number(input?.usedMask || 0) !== 0);\n        for (const input of shader.stageInputs)\n        {\n            if (!Number.isSafeInteger(input?.register)\n        || input.register < 0\n        || registers.has(input.register)\n        || typeof input.name !== \"string\"\n        || !input.name\n        || names.has(input.name))\n            {\n                addIntegrityError(\n                    errors,\n                    \"invalid_vertex_input_contract\",\n                    `Vertex shader ${shader.key} has an invalid or duplicate emitted input`,\n                    { stageKey: stage.key, shaderKey: shader.key }\n                );\n                continue;\n            }\n            registers.add(input.register);\n            names.add(input.name);\n            if (!expectedInputs.some((entry) => entry.registerIndex === input.register\n        && normalizeSemanticName(entry.usageName) === normalizeSemanticName(input.semanticName)\n        && entry.usageIndex === input.semanticIndex))\n            {\n                addIntegrityError(\n                    errors,\n                    \"vertex_input_contract_mismatch\",\n                    `Vertex shader ${shader.key} input ${input.name} is not present in its manifest pipeline inputs`,\n                    { stageKey: stage.key, shaderKey: shader.key, register: input.register }\n                );\n            }\n            const declaration = new RegExp(`\\\\bin\\\\b[^;]*\\\\b${escapeRegExp(input.name)}\\\\s*;`);\n            if (!declaration.test(shader.source))\n            {\n                addIntegrityError(\n                    errors,\n                    \"vertex_input_declaration_mismatch\",\n                    `Vertex shader ${shader.key} input ${input.name} is not declared in translated source`,\n                    { stageKey: stage.key, shaderKey: shader.key, inputName: input.name }\n                );\n            }\n        }\n    }\n\n    checkLocalLightFamilyAccounted(stage, shader, errors);\n    checkResourceTransforms(stage, shader, errors);\n\n    if (!Array.isArray(shader.bindings)) return;\n    const manifestBindings = Array.isArray(manifestStage.bindings) ? manifestStage.bindings : [];\n    for (const binding of shader.bindings)\n    {\n        if (typeof binding?.samplerType !== \"string\" || !binding.samplerType) continue;\n        const uniform = new RegExp(\n            `uniform\\\\s+(?:(?:lowp|mediump|highp)\\\\s+)?${escapeRegExp(binding.samplerType)}\\\\s+${escapeRegExp(binding.name)}\\\\s*;`\n        );\n        if (!uniform.test(shader.source))\n        {\n            addIntegrityError(\n                errors,\n                \"sampler_binding_declaration_mismatch\",\n                `Shader ${shader.key} sampler ${binding.name || \"<missing>\"} is not declared as ${binding.samplerType}`,\n                { stageKey: stage.key, shaderKey: shader.key, bindingName: binding.name || null }\n            );\n        }\n        if (!Number.isSafeInteger(binding.registerIndex)\n      || binding.registerIndex < 0\n      || !manifestBindings.some((entry) => entry?.kind === \"resource\" && entry.registerIndex === binding.registerIndex))\n        {\n            addIntegrityError(\n                errors,\n                \"sampler_resource_contract_mismatch\",\n                `Shader ${shader.key} sampler ${binding.name || \"<missing>\"} has no matching manifest resource register`,\n                { stageKey: stage.key, shaderKey: shader.key, register: binding.registerIndex }\n            );\n        }\n\n        const comparison = binding.samplerType.endsWith(\"Shadow\");\n        if ((binding.comparison === true) !== comparison)\n        {\n            addIntegrityError(\n                errors,\n                \"comparison_sampler_contract_mismatch\",\n                `Shader ${shader.key} sampler ${binding.name || \"<missing>\"} comparison metadata disagrees with ${binding.samplerType}`,\n                { stageKey: stage.key, shaderKey: shader.key, bindingName: binding.name || null }\n            );\n        }\n        if (comparison)\n        {\n            const samplerRegisters = binding.samplerRegisterIndices;\n            if (!Array.isArray(samplerRegisters)\n        || !samplerRegisters.length\n        || new Set(samplerRegisters).size !== samplerRegisters.length\n        || samplerRegisters.some((register) => !Number.isSafeInteger(register)\n          || register < 0\n          || !manifestBindings.some((entry) => entry?.kind === \"sampler\"\n            && entry.registerIndex === register\n            && entry.carbon?.sampler?.comparison === true)))\n            {\n                addIntegrityError(\n                    errors,\n                    \"comparison_sampler_contract_mismatch\",\n                    `Shader ${shader.key} comparison sampler ${binding.name || \"<missing>\"} has invalid manifest sampler pairing`,\n                    { stageKey: stage.key, shaderKey: shader.key, bindingName: binding.name || null }\n                );\n            }\n        }\n    }\n}\n\nfunction normalizeSemanticName(value)\n{\n    const name = String(value || \"\").toUpperCase();\n    if (name === \"BITANGENT\") return \"BINORMAL\";\n    if (name === \"BLENDWEIGHTS\") return \"BLENDWEIGHT\";\n    return name;\n}\n\nfunction escapeRegExp(value)\n{\n    return String(value).replace(/[.*+?^${}()|[\\]\\\\]/g, \"\\\\$&\");\n}\n\nfunction addIntegrityError(errors, code, message, details = {})\n{\n    errors.push({ code, message, ...details });\n}\n"],"names":["inspectRasterCompleteness","stages","shaders","shaderMap","Map","map","shader","key","groups","stage","stageName","bodyKey","techniqueName","Number","isInteger","passIndex","join","group","get","vertex","pixel","duplicateStages","set","push","incompletePasses","completePassCount","values","missingStages","unavailableStages","shaderKey","hlsl2webgl","ok","source","stageKey","excluded","reason","validationError","error","length","Set","sort","expectedPassCount","size"],"mappings":"AAqBA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACO,SAASA,yBAAyBA,CAACC,MAAM,EAAEC,OAAO,EACzD;EACI,MAAMC,SAAS,GAAG,IAAIC,GAAG,CAAC,CAACF,OAAO,IAAI,EAAE,EAAEG,GAAG,CAAEC,MAAM,IAAK,CAAEA,MAAM,CAACC,GAAG,EAAED,MAAM,CAAE,CAAC,CAAC;AAClF,EAAA,MAAME,MAAM,GAAG,IAAIJ,GAAG,EAAE;AAExB,EAAA,KAAK,MAAMK,KAAK,IAAIR,MAAM,IAAI,EAAE,EAChC;IACI,IAAIQ,KAAK,CAACC,SAAS,KAAK,QAAQ,IAAID,KAAK,CAACC,SAAS,KAAK,OAAO,EAAE;AAEjE,IAAA,MAAMH,GAAG,GAAG,CACRE,KAAK,CAACE,OAAO,IAAI,UAAU,EAC3BF,KAAK,CAACG,aAAa,IAAI,MAAM,EAC7BC,MAAM,CAACC,SAAS,CAACL,KAAK,CAACM,SAAS,CAAC,GAAGN,KAAK,CAACM,SAAS,GAAG,CAAC,CAC1D,CAACC,IAAI,CAAC,GAAG,CAAC;AACX,IAAA,IAAIC,KAAK,GAAGT,MAAM,CAACU,GAAG,CAACX,GAAG,CAAC;IAC3B,IAAI,CAACU,KAAK,EACV;AACIA,MAAAA,KAAK,GAAG;QACJV,GAAG;AACHI,QAAAA,OAAO,EAAEF,KAAK,CAACE,OAAO,IAAI,UAAU;AACpCC,QAAAA,aAAa,EAAEH,KAAK,CAACG,aAAa,IAAI,MAAM;AAC5CG,QAAAA,SAAS,EAAEF,MAAM,CAACC,SAAS,CAACL,KAAK,CAACM,SAAS,CAAC,GAAGN,KAAK,CAACM,SAAS,GAAG,CAAC;AAClEI,QAAAA,MAAM,EAAE,IAAI;AACZC,QAAAA,KAAK,EAAE,IAAI;AACXC,QAAAA,eAAe,EAAE;OACpB;AACDb,MAAAA,MAAM,CAACc,GAAG,CAACf,GAAG,EAAEU,KAAK,CAAC;AAC1B,IAAA;AACA,IAAA,IAAIA,KAAK,CAACR,KAAK,CAACC,SAAS,CAAC,EAC1B;MACIO,KAAK,CAACI,eAAe,CAACE,IAAI,CAACd,KAAK,CAACC,SAAS,CAAC;AAC/C,IAAA;AACAO,IAAAA,KAAK,CAACR,KAAK,CAACC,SAAS,CAAC,GAAGD,KAAK;AAClC,EAAA;EAEA,MAAMe,gBAAgB,GAAG,EAAE;EAC3B,IAAIC,iBAAiB,GAAG,CAAC;EAEzB,KAAK,MAAMR,KAAK,IAAIT,MAAM,CAACkB,MAAM,EAAE,EACnC;IACI,MAAMC,aAAa,GAAG,EAAE;IACxB,MAAMC,iBAAiB,GAAG,EAAE;IAE5B,KAAK,MAAMlB,SAAS,IAAI,CAAE,QAAQ,EAAE,OAAO,CAAE,EAC7C;AACI,MAAA,MAAMD,KAAK,GAAGQ,KAAK,CAACP,SAAS,CAAC;MAC9B,IAAI,CAACD,KAAK,EACV;AACIkB,QAAAA,aAAa,CAACJ,IAAI,CAACb,SAAS,CAAC;AAC7B,QAAA;AACJ,MAAA;MAEA,MAAMJ,MAAM,GAAGH,SAAS,CAACe,GAAG,CAACT,KAAK,CAACoB,SAAS,CAAC;MAC7C,IAAI,CAACvB,MAAM,EAAEwB,UAAU,EAAEC,EAAE,IAAI,CAACzB,MAAM,CAAC0B,MAAM,EAC7C;QACIJ,iBAAiB,CAACL,IAAI,CAAC;UACnBb,SAAS;UACTuB,QAAQ,EAAExB,KAAK,CAACF,GAAG;UACnBsB,SAAS,EAAEpB,KAAK,CAACoB,SAAS;AAC1BK,UAAAA,QAAQ,EAAE5B,MAAM,EAAE4B,QAAQ,IAAI,IAAI;UAClCC,MAAM,EAAE7B,MAAM,EAAEwB,UAAU,EAAEM,eAAe,IAChD9B,MAAM,EAAEwB,UAAU,EAAEK,MAAM,IAC1B7B,MAAM,EAAEwB,UAAU,EAAEO,KAAK,IACzB/B,MAAM,EAAE4B,QAAQ,EAAEC,MAAM,IACxB;AACC,SAAC,CAAC;AACN,MAAA;AACJ,IAAA;AAEA,IAAA,IAAI,CAACR,aAAa,CAACW,MAAM,IAAI,CAACV,iBAAiB,CAACU,MAAM,IAAI,CAACrB,KAAK,CAACI,eAAe,CAACiB,MAAM,EACvF;AACIb,MAAAA,iBAAiB,IAAI,CAAC;AACtB,MAAA;AACJ,IAAA;IAEAD,gBAAgB,CAACD,IAAI,CAAC;MAClBhB,GAAG,EAAEU,KAAK,CAACV,GAAG;MACdI,OAAO,EAAEM,KAAK,CAACN,OAAO;MACtBC,aAAa,EAAEK,KAAK,CAACL,aAAa;MAClCG,SAAS,EAAEE,KAAK,CAACF,SAAS;MAC1BY,aAAa;MACbC,iBAAiB;AACjBP,MAAAA,eAAe,EAAE,CAAE,GAAG,IAAIkB,GAAG,CAACtB,KAAK,CAACI,eAAe,CAAC,CAAE,CAACmB,IAAI;AAC/D,KAAC,CAAC;AACN,EAAA;EAEA,OAAO;IACHC,iBAAiB,EAAEjC,MAAM,CAACkC,IAAI;IAC9BjB,iBAAiB;AACjBD,IAAAA;GACH;AACL;;;;"}

package/dist/formats/webgl/core/helpers.js

@@ -1,167 +1,167 @@
-import { DxbcGlslEmitter } from './glsl/DxbcGlslEmitter.js';
-import { applyPackedLightFixups } from './glsl/packedLightFixups.js';
-import { looksLikeCarbonEffectContainer } from '../../../format/carbonEffect/CjsCarbonEffectReader.js';
-
-/**
- * Internal glue for CjsWebglFormat.
- *
- * Keeps the public class file small: input/option normalization, DXBC-to-GLSL
- * emission, and JSON conversion live here. Reading an effect is
- * `readGlslEffectContainer` and summarising one is `inspectGlslEffectContainer`;
- * neither needs glue, so neither is wrapped here. The GLSL emitter lives under
- * src/formats/webgl/core/glsl.
- */
-
-const OUTPUT_JSON = "json";
-const DEFAULT_VALUES = Object.freeze({
-  emit: OUTPUT_JSON,
-  source: "memory"
-});
-const VALID_EMITS = new Set([OUTPUT_JSON]);
-const OPTION_KEYS = new Set(["emit", "source"]);
-
-/**
- * Merge format values over a base set and validate them.
- *
- * @param {object} base Current values.
- * @param {object} [options] Values to merge in.
- * @param {string} [readerName] Reader name used in error messages.
- * @returns {object} A validated copy of the merged values.
- */
-function normalizeValues(base, options = {}, readerName = "CjsWebglFormat") {
-  if (!options || typeof options !== "object") {
-    throw new TypeError(`${readerName}: options must be an object`);
-  }
-  for (const key of Object.keys(options)) {
-    if (!OPTION_KEYS.has(key)) {
-      throw new TypeError(`${readerName}: unknown option ${JSON.stringify(key)}`);
-    }
-  }
-  const values = {
-    ...base,
-    ...options
-  };
-  if (!VALID_EMITS.has(values.emit)) {
-    throw new TypeError(`${readerName}: emit must be "${OUTPUT_JSON}", got ${JSON.stringify(values.emit)}`);
-  }
-  if (typeof values.source !== "string" || !values.source) {
-    values.source = DEFAULT_VALUES.source;
-  }
-  return {
-    emit: values.emit,
-    source: values.source
-  };
-}
-
-/**
- * Normalize caller input into a Uint8Array of package/DXBC bytes.
- *
- * @param {Uint8Array|ArrayBuffer|Buffer|DataView} input Candidate payload.
- * @returns {Uint8Array} The payload bytes.
- */
-function toBytes(input) {
-  if (input instanceof Uint8Array) return input;
-  if (typeof ArrayBuffer !== "undefined" && input instanceof ArrayBuffer) return new Uint8Array(input);
-  if (ArrayBuffer.isView(input)) return new Uint8Array(input.buffer, input.byteOffset, input.byteLength);
-  throw new TypeError("CjsWebglFormat: input must be effect container bytes (Uint8Array, Buffer, DataView or ArrayBuffer)");
-}
-
-/**
- * Reports whether a payload has the Carbon effect container shape.
- *
- * A shape check, not an identity check: our files are stock Carbon containers,
- * so nothing in the bytes distinguishes a WebGL one from a shipped
- * `effect.dx11`. Identity comes from the path the file was resolved through.
- *
- * @param {Uint8Array|ArrayBuffer|Buffer|DataView} input Candidate payload.
- * @returns {boolean} True when the payload has the container shape.
- */
-function isWebglEffectContainer(input) {
-  try {
-    return looksLikeCarbonEffectContainer(toBytes(input));
-  } catch {
-    return false;
-  }
-}
-const EMIT_GLSL_OPTION_KEYS = new Set(["constantBufferStyle", "pixelConstantBufferRemap", "samplerName", "vertexStructuredCapacity", "dataTextureWidth", "stubResourceRegisters", "neutralResourceRegisters", "detailMapArrayRegisters", "lightConstantBuffer", "lightPackedTexture", "pairVaryings", "source"]);
-const EMIT_GLSL_PROFILE_KEYS = new Set(["constantBufferStyle", "pixelConstantBufferRemap", "samplerName", "vertexStructuredCapacity", "dataTextureWidth", "stubResourceRegisters", "neutralResourceRegisters", "detailMapArrayRegisters", "lightConstantBuffer", "lightPackedTexture"]);
-
-/**
- * Translates one DXBC stage into GLSL ES 3.00 source, sharing one core path
- * between `CjsWebglFormat.emitGlsl` (static) and `EmitGlsl` (instance).
- *
- * `options` is a flat bag combining the emitter's ccpwgl-profile constructor
- * bits (`constantBufferStyle`, `pixelConstantBufferRemap`, `samplerName`,
- * `vertexStructuredCapacity`, `dataTextureWidth`) with its per-call Emit
- * options (`pairVaryings`, `source`); omitted keys keep the emitter's
- * existing defaults exactly.
- *
- * @param {ArrayBuffer|ArrayBufferView|Uint8Array} dxbcBytes DXBC container bytes.
- * @param {object} [options] Combined profile/emit options.
- * @returns {{source:string,stageName:string,inputs:object[],outputs:object[],bindings:object[],warnings:string[],computeFragment:(object|undefined)}}
- *   GLSL text plus the IO contract the packaging layer records; compute
- *   stages add the emitter's `computeFragment` host contract.
- */
-function emitGlslWithOptions(dxbcBytes, options = {}) {
-  if (!options || typeof options !== "object") {
-    throw new TypeError("CjsWebglFormat: emitGlsl options must be an object");
-  }
-  for (const key of Object.keys(options)) {
-    if (!EMIT_GLSL_OPTION_KEYS.has(key)) {
-      throw new TypeError(`CjsWebglFormat: unknown emitGlsl option ${JSON.stringify(key)}`);
-    }
-  }
-  const profile = {};
-  for (const key of EMIT_GLSL_PROFILE_KEYS) {
-    if (Object.prototype.hasOwnProperty.call(options, key)) profile[key] = options[key];
-  }
-  const emitter = new DxbcGlslEmitter({
-    profile
-  });
-  const result = emitter.Emit(dxbcBytes, {
-    source: options.source,
-    pairVaryings: options.pairVaryings
-  });
-
-  // The packed local-light lowering leaves two idioms that must not reach a
-  // driver: a flag mask round-tripped through a float, and an all-bits mask
-  // stored as a float and then used for branch control, where 0xFFFFFFFF is a
-  // NaN. Applied here rather than at a call site so every caller gets them.
-  if (!options.lightPackedTexture) return result;
-  return {
-    ...result,
-    source: applyPackedLightFixups(result.source, result.stageName)
-  };
-}
-
-/**
- * Deep-convert a value to plain JSON-compatible data. Typed arrays become
- * plain number arrays; Maps/Sets become objects/arrays; class instances
- * with toJSON are honoured.
- *
- * @param {any} value Value to convert.
- * @returns {any} Plain data.
- */
-function toJsonValue(value) {
-  if (value === null || value === undefined) return value ?? null;
-  if (typeof value === "number" || typeof value === "string" || typeof value === "boolean") return value;
-  if (typeof value === "bigint") return value.toString();
-  if (ArrayBuffer.isView(value)) return Array.from(value);
-  if (Array.isArray(value)) return value.map(toJsonValue);
-  if (value instanceof Map) {
-    const out = {};
-    for (const [key, entry] of value) out[key] = toJsonValue(entry);
-    return out;
-  }
-  if (value instanceof Set) return Array.from(value, toJsonValue);
-  if (typeof value === "object") {
-    if (typeof value.toJSON === "function") return toJsonValue(value.toJSON());
-    const out = {};
-    for (const key of Object.keys(value)) out[key] = toJsonValue(value[key]);
-    return out;
-  }
-  return null;
-}
-
-export { DEFAULT_VALUES, OUTPUT_JSON, emitGlslWithOptions, isWebglEffectContainer, normalizeValues, toBytes, toJsonValue };
-//# sourceMappingURL=helpers.js.map
+import { DxbcGlslEmitter } from './glsl/DxbcGlslEmitter.js';
+import { applyPackedLightFixups } from './glsl/packedLightFixups.js';
+import { looksLikeCarbonEffectContainer } from '../../../format/carbonEffect/CjsCarbonEffectReader.js';
+
+/**
+ * Internal glue for CjsWebglFormat.
+ *
+ * Keeps the public class file small: input/option normalization, DXBC-to-GLSL
+ * emission, and JSON conversion live here. Reading an effect is
+ * `readGlslEffectContainer` and summarising one is `inspectGlslEffectContainer`;
+ * neither needs glue, so neither is wrapped here. The GLSL emitter lives under
+ * src/formats/webgl/core/glsl.
+ */
+
+const OUTPUT_JSON = "json";
+const DEFAULT_VALUES = Object.freeze({
+  emit: OUTPUT_JSON,
+  source: "memory"
+});
+const VALID_EMITS = new Set([OUTPUT_JSON]);
+const OPTION_KEYS = new Set(["emit", "source"]);
+
+/**
+ * Merge format values over a base set and validate them.
+ *
+ * @param {object} base Current values.
+ * @param {object} [options] Values to merge in.
+ * @param {string} [readerName] Reader name used in error messages.
+ * @returns {object} A validated copy of the merged values.
+ */
+function normalizeValues(base, options = {}, readerName = "CjsWebglFormat") {
+  if (!options || typeof options !== "object") {
+    throw new TypeError(`${readerName}: options must be an object`);
+  }
+  for (const key of Object.keys(options)) {
+    if (!OPTION_KEYS.has(key)) {
+      throw new TypeError(`${readerName}: unknown option ${JSON.stringify(key)}`);
+    }
+  }
+  const values = {
+    ...base,
+    ...options
+  };
+  if (!VALID_EMITS.has(values.emit)) {
+    throw new TypeError(`${readerName}: emit must be "${OUTPUT_JSON}", got ${JSON.stringify(values.emit)}`);
+  }
+  if (typeof values.source !== "string" || !values.source) {
+    values.source = DEFAULT_VALUES.source;
+  }
+  return {
+    emit: values.emit,
+    source: values.source
+  };
+}
+
+/**
+ * Normalize caller input into a Uint8Array of package/DXBC bytes.
+ *
+ * @param {Uint8Array|ArrayBuffer|Buffer|DataView} input Candidate payload.
+ * @returns {Uint8Array} The payload bytes.
+ */
+function toBytes(input) {
+  if (input instanceof Uint8Array) return input;
+  if (typeof ArrayBuffer !== "undefined" && input instanceof ArrayBuffer) return new Uint8Array(input);
+  if (ArrayBuffer.isView(input)) return new Uint8Array(input.buffer, input.byteOffset, input.byteLength);
+  throw new TypeError("CjsWebglFormat: input must be effect container bytes (Uint8Array, Buffer, DataView or ArrayBuffer)");
+}
+
+/**
+ * Reports whether a payload has the Carbon effect container shape.
+ *
+ * A shape check, not an identity check: our files are stock Carbon containers,
+ * so nothing in the bytes distinguishes a WebGL one from a shipped
+ * `effect.dx11`. Identity comes from the path the file was resolved through.
+ *
+ * @param {Uint8Array|ArrayBuffer|Buffer|DataView} input Candidate payload.
+ * @returns {boolean} True when the payload has the container shape.
+ */
+function isWebglEffectContainer(input) {
+  try {
+    return looksLikeCarbonEffectContainer(toBytes(input));
+  } catch {
+    return false;
+  }
+}
+const EMIT_GLSL_OPTION_KEYS = new Set(["constantBufferStyle", "pixelConstantBufferRemap", "samplerName", "vertexStructuredCapacity", "dataTextureWidth", "stubResourceRegisters", "neutralResourceRegisters", "detailMapArrayRegisters", "lightConstantBuffer", "lightPackedTexture", "pairVaryings", "source"]);
+const EMIT_GLSL_PROFILE_KEYS = new Set(["constantBufferStyle", "pixelConstantBufferRemap", "samplerName", "vertexStructuredCapacity", "dataTextureWidth", "stubResourceRegisters", "neutralResourceRegisters", "detailMapArrayRegisters", "lightConstantBuffer", "lightPackedTexture"]);
+
+/**
+ * Translates one DXBC stage into GLSL ES 3.00 source, sharing one core path
+ * between `CjsWebglFormat.emitGlsl` (static) and `EmitGlsl` (instance).
+ *
+ * `options` is a flat bag combining the emitter's ccpwgl-profile constructor
+ * bits (`constantBufferStyle`, `pixelConstantBufferRemap`, `samplerName`,
+ * `vertexStructuredCapacity`, `dataTextureWidth`) with its per-call Emit
+ * options (`pairVaryings`, `source`); omitted keys keep the emitter's
+ * existing defaults exactly.
+ *
+ * @param {ArrayBuffer|ArrayBufferView|Uint8Array} dxbcBytes DXBC container bytes.
+ * @param {object} [options] Combined profile/emit options.
+ * @returns {{source:string,stageName:string,inputs:object[],outputs:object[],bindings:object[],warnings:string[],computeFragment:(object|undefined)}}
+ *   GLSL text plus the IO contract the packaging layer records; compute
+ *   stages add the emitter's `computeFragment` host contract.
+ */
+function emitGlslWithOptions(dxbcBytes, options = {}) {
+  if (!options || typeof options !== "object") {
+    throw new TypeError("CjsWebglFormat: emitGlsl options must be an object");
+  }
+  for (const key of Object.keys(options)) {
+    if (!EMIT_GLSL_OPTION_KEYS.has(key)) {
+      throw new TypeError(`CjsWebglFormat: unknown emitGlsl option ${JSON.stringify(key)}`);
+    }
+  }
+  const profile = {};
+  for (const key of EMIT_GLSL_PROFILE_KEYS) {
+    if (Object.prototype.hasOwnProperty.call(options, key)) profile[key] = options[key];
+  }
+  const emitter = new DxbcGlslEmitter({
+    profile
+  });
+  const result = emitter.Emit(dxbcBytes, {
+    source: options.source,
+    pairVaryings: options.pairVaryings
+  });
+
+  // The packed local-light lowering leaves two idioms that must not reach a
+  // driver: a flag mask round-tripped through a float, and an all-bits mask
+  // stored as a float and then used for branch control, where 0xFFFFFFFF is a
+  // NaN. Applied here rather than at a call site so every caller gets them.
+  if (!options.lightPackedTexture) return result;
+  return {
+    ...result,
+    source: applyPackedLightFixups(result.source, result.stageName)
+  };
+}
+
+/**
+ * Deep-convert a value to plain JSON-compatible data. Typed arrays become
+ * plain number arrays; Maps/Sets become objects/arrays; class instances
+ * with toJSON are honoured.
+ *
+ * @param {any} value Value to convert.
+ * @returns {any} Plain data.
+ */
+function toJsonValue(value) {
+  if (value === null || value === undefined) return value ?? null;
+  if (typeof value === "number" || typeof value === "string" || typeof value === "boolean") return value;
+  if (typeof value === "bigint") return value.toString();
+  if (ArrayBuffer.isView(value)) return Array.from(value);
+  if (Array.isArray(value)) return value.map(toJsonValue);
+  if (value instanceof Map) {
+    const out = {};
+    for (const [key, entry] of value) out[key] = toJsonValue(entry);
+    return out;
+  }
+  if (value instanceof Set) return Array.from(value, toJsonValue);
+  if (typeof value === "object") {
+    if (typeof value.toJSON === "function") return toJsonValue(value.toJSON());
+    const out = {};
+    for (const key of Object.keys(value)) out[key] = toJsonValue(value[key]);
+    return out;
+  }
+  return null;
+}
+
+export { DEFAULT_VALUES, OUTPUT_JSON, emitGlslWithOptions, isWebglEffectContainer, normalizeValues, toBytes, toJsonValue };
+//# sourceMappingURL=helpers.js.map