asecli 0.8.3__tar.gz → 0.8.4__tar.gz

{asecli-0.8.3 → asecli-0.8.4}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: asecli
-Version: 0.8.3
+Version: 0.8.4
 Summary: Agent-native CLI for reading, modifying, validating and compiling Amplify Shader Editor assets
 Project-URL: Homepage, https://github.com/seeseeczl/ASECLI
 Project-URL: Repository, https://github.com/seeseeczl/ASECLI
@@ -28,7 +28,7 @@ Description-Content-Type: text/markdown
 
 AseCLI 是面向 AI Agent 的本地 CLI：离线读取、编辑和校验 ASE 节点图；通过运行中的 Unity/团结引擎与 MCP，让真实 ASE 创建节点、提供精排几何并重新生成 HLSL。Skill 提供跨 Agent 的操作规则，CLI 提供可验证的执行结果。
 
-当前正式版：**[0.8.3](https://github.com/seeseeczl/ASECLI/releases/tag/v0.8.3)** · [PyPI](https://pypi.org/project/asecli/0.8.3/) · [Agent 操作手册](skills/asecli/SKILL.md) · [SG 转换后整理流程](skills/asecli/references/conversion-workflow.md)
+当前正式版：**[0.8.4](https://github.com/seeseeczl/ASECLI/releases/tag/v0.8.4)** · [PyPI](https://pypi.org/project/asecli/0.8.4/) · [Agent 操作手册](skills/asecli/SKILL.md) · [SG 转换后整理流程](skills/asecli/references/conversion-workflow.md)
 
 ASECLI 接收 SGCLI 生成的裸 `EditorGraphSpec v3`，并可把受支持的 ASE Shader 直接导出为 SGCLI 的裸 `sgcli.native.v3`。两个方向都只有“生产者 spec 原文件→消费者 `--spec`”；独立 report 与发布 receipt 都不进入创建输入，创建成功也不代表转换效果等价。
 
@@ -132,7 +132,7 @@ curl -fsSL https://raw.githubusercontent.com/seeseeczl/ASECLI/main/scripts/insta
 uv tool uninstall asecli
 ```
 
-当前正式版本为 `0.8.3`（独立 CI／发布流程与单工具 wheel 验证），可从 [PyPI](https://pypi.org/project/asecli/0.8.3/) 或 [GitHub Release](https://github.com/seeseeczl/ASECLI/releases/tag/v0.8.3) 安装。历史版本见 [GitHub Releases](https://github.com/seeseeczl/ASECLI/releases)，`v0.8.0` 保留为回滚点。
+当前正式版本为 `0.8.4`（ASE→SG 诊断收敛、Custom Function 原样证据与 MZGUI 呈现分层），可从 [PyPI](https://pypi.org/project/asecli/0.8.4/) 或 [GitHub Release](https://github.com/seeseeczl/ASECLI/releases/tag/v0.8.4) 安装。历史版本见 [GitHub Releases](https://github.com/seeseeczl/ASECLI/releases)，`v0.8.3` 保留为回滚点。
 
 已知限制：真实 MCP 下，属性+纹理 v2 和 Reciprocal 降级 v2 的 create、manifest、validate、独立 recompile 已通过；SGCLI SphereMask v3 spec 在重载时仍可能返回 `node missing after reload: Radius` 并回滚。本次不承诺该 recipe 端到端可用，也不改变 SGCLI v2 默认值契约。
 
@@ -162,7 +162,7 @@ asecli --help
 
 ```bash
 shasum -a 256 -c SHA256SUMS
-uv tool install /path/to/asecli-0.8.3-py3-none-any.whl
+uv tool install /path/to/asecli-0.8.4-py3-none-any.whl
 asecli --help
 ```
 
@@ -340,9 +340,9 @@ asecli recompile Assets/Example.shader
 除显式 `--help` 保留人类可读文本外，stdout 恒为单行严格 JSON，agent 可直接解析。`--version` 也返回 JSON：
 
 ```json
-{"contract_version":1,"cli_version":"0.8.3","command":"parse","ok":true,"data":{"node_count":7}}
-{"contract_version":1,"cli_version":"0.8.3","command":"parse","ok":false,"error":{"code":"NOT_FOUND","message":"..."}}
-{"contract_version":1,"cli_version":"0.8.3","command":"version","ok":true,"data":{"version":"0.8.3"}}
+{"contract_version":1,"cli_version":"0.8.4","command":"parse","ok":true,"data":{"node_count":7}}
+{"contract_version":1,"cli_version":"0.8.4","command":"parse","ok":false,"error":{"code":"NOT_FOUND","message":"..."}}
+{"contract_version":1,"cli_version":"0.8.4","command":"version","ok":true,"data":{"version":"0.8.4"}}
 ```
 
 常见错误码：`PARSE_ERROR`、`NOT_FOUND`、`USAGE_ERROR`、`SCHEMA_UNAVAILABLE`、`SCHEMA_VERSION_MISMATCH`、`VALIDATION_ERROR`、`PROPERTY_PRESENTATION_ERROR`、`LAYOUT_ERROR`、`CHECKSUM_FORMAT_ERROR`、`GUI_SUPPORT_ERROR`、`CUSTOM_GUI_ERROR`、`COMMENT_GROUP_ERROR`、`GRAPH_REVIEW_ERROR`、`SEMANTIC_MISMATCH`、`SG_EXPORT_BLOCKED`、`EXTERNAL_REFERENCE`、`SKILL_INSTALL_CONFLICT`、`SKILL_INSTALL_ERROR`、`WRITE_CONFLICT`、`WRITE_PARTIAL`、`UNSAFE_PATH`、`WRITE_ERROR`、`BRIDGE_ERROR`、`INTERNAL`。

{asecli-0.8.3 → asecli-0.8.4}/README.md

@@ -4,7 +4,7 @@
 
 AseCLI 是面向 AI Agent 的本地 CLI：离线读取、编辑和校验 ASE 节点图；通过运行中的 Unity/团结引擎与 MCP，让真实 ASE 创建节点、提供精排几何并重新生成 HLSL。Skill 提供跨 Agent 的操作规则，CLI 提供可验证的执行结果。
 
-当前正式版：**[0.8.3](https://github.com/seeseeczl/ASECLI/releases/tag/v0.8.3)** · [PyPI](https://pypi.org/project/asecli/0.8.3/) · [Agent 操作手册](skills/asecli/SKILL.md) · [SG 转换后整理流程](skills/asecli/references/conversion-workflow.md)
+当前正式版：**[0.8.4](https://github.com/seeseeczl/ASECLI/releases/tag/v0.8.4)** · [PyPI](https://pypi.org/project/asecli/0.8.4/) · [Agent 操作手册](skills/asecli/SKILL.md) · [SG 转换后整理流程](skills/asecli/references/conversion-workflow.md)
 
 ASECLI 接收 SGCLI 生成的裸 `EditorGraphSpec v3`，并可把受支持的 ASE Shader 直接导出为 SGCLI 的裸 `sgcli.native.v3`。两个方向都只有“生产者 spec 原文件→消费者 `--spec`”；独立 report 与发布 receipt 都不进入创建输入，创建成功也不代表转换效果等价。
 
@@ -108,7 +108,7 @@ curl -fsSL https://raw.githubusercontent.com/seeseeczl/ASECLI/main/scripts/insta
 uv tool uninstall asecli
 ```
 
-当前正式版本为 `0.8.3`（独立 CI／发布流程与单工具 wheel 验证），可从 [PyPI](https://pypi.org/project/asecli/0.8.3/) 或 [GitHub Release](https://github.com/seeseeczl/ASECLI/releases/tag/v0.8.3) 安装。历史版本见 [GitHub Releases](https://github.com/seeseeczl/ASECLI/releases)，`v0.8.0` 保留为回滚点。
+当前正式版本为 `0.8.4`（ASE→SG 诊断收敛、Custom Function 原样证据与 MZGUI 呈现分层），可从 [PyPI](https://pypi.org/project/asecli/0.8.4/) 或 [GitHub Release](https://github.com/seeseeczl/ASECLI/releases/tag/v0.8.4) 安装。历史版本见 [GitHub Releases](https://github.com/seeseeczl/ASECLI/releases)，`v0.8.3` 保留为回滚点。
 
 已知限制：真实 MCP 下，属性+纹理 v2 和 Reciprocal 降级 v2 的 create、manifest、validate、独立 recompile 已通过；SGCLI SphereMask v3 spec 在重载时仍可能返回 `node missing after reload: Radius` 并回滚。本次不承诺该 recipe 端到端可用，也不改变 SGCLI v2 默认值契约。
 
@@ -138,7 +138,7 @@ asecli --help
 
 ```bash
 shasum -a 256 -c SHA256SUMS
-uv tool install /path/to/asecli-0.8.3-py3-none-any.whl
+uv tool install /path/to/asecli-0.8.4-py3-none-any.whl
 asecli --help
 ```
 
@@ -316,9 +316,9 @@ asecli recompile Assets/Example.shader
 除显式 `--help` 保留人类可读文本外，stdout 恒为单行严格 JSON，agent 可直接解析。`--version` 也返回 JSON：
 
 ```json
-{"contract_version":1,"cli_version":"0.8.3","command":"parse","ok":true,"data":{"node_count":7}}
-{"contract_version":1,"cli_version":"0.8.3","command":"parse","ok":false,"error":{"code":"NOT_FOUND","message":"..."}}
-{"contract_version":1,"cli_version":"0.8.3","command":"version","ok":true,"data":{"version":"0.8.3"}}
+{"contract_version":1,"cli_version":"0.8.4","command":"parse","ok":true,"data":{"node_count":7}}
+{"contract_version":1,"cli_version":"0.8.4","command":"parse","ok":false,"error":{"code":"NOT_FOUND","message":"..."}}
+{"contract_version":1,"cli_version":"0.8.4","command":"version","ok":true,"data":{"version":"0.8.4"}}
 ```
 
 常见错误码：`PARSE_ERROR`、`NOT_FOUND`、`USAGE_ERROR`、`SCHEMA_UNAVAILABLE`、`SCHEMA_VERSION_MISMATCH`、`VALIDATION_ERROR`、`PROPERTY_PRESENTATION_ERROR`、`LAYOUT_ERROR`、`CHECKSUM_FORMAT_ERROR`、`GUI_SUPPORT_ERROR`、`CUSTOM_GUI_ERROR`、`COMMENT_GROUP_ERROR`、`GRAPH_REVIEW_ERROR`、`SEMANTIC_MISMATCH`、`SG_EXPORT_BLOCKED`、`EXTERNAL_REFERENCE`、`SKILL_INSTALL_CONFLICT`、`SKILL_INSTALL_ERROR`、`WRITE_CONFLICT`、`WRITE_PARTIAL`、`UNSAFE_PATH`、`WRITE_ERROR`、`BRIDGE_ERROR`、`INTERNAL`。

{asecli-0.8.3 → asecli-0.8.4}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "asecli"
-version = "0.8.3"
+version = "0.8.4"
 description = "Agent-native CLI for reading, modifying, validating and compiling Amplify Shader Editor assets"
 readme = "README.md"
 requires-python = ">=3.10"

{asecli-0.8.3 → asecli-0.8.4}/skills/asecli/SKILL.md

@@ -22,6 +22,16 @@ description: Create, modify, validate, and strictly lay out Amplify Shader Edito
 - 旧 `{graph,report}` wrapper 只经 `asecli migrate-package OLD --out-dir DIR --extract-sg-spec` 按登记形状显式提取；只接受内层 `sgcli.native.v3`，未知或 v2 wrapper 失败关闭。无版本 discriminator 时记录 `legacy_format`，不能声称识别出 legacy schema 版本。
 - 报告中的 `source_snapshot_sha256/source_recheck_sha256` 必须一致；`producer_schema_validated` 与 `consumer_loaded` 分开记录，未实际调用 SGCLI 时后者保持 `not_run`。
 
+### 导出阻断的确定性处理
+
+- 先核对 CLI 路径/版本和源 SHA；当前 `.shader`、历史 `.bak`、旧 report 不可混为同一次转换证据。
+- 新版失败返回的顶层 `data` 包含 `blockers`、`blocker_count`、`unverified_checks`、源快照与 `surface_semantics`。它是本次检测清单，不保证穷尽所有潜在问题；旧版没有这些字段时读取 `report_json`，不要猜测只有一个阻断。
+- `ALPHA_MODULATE_TARGET_CAPABILITY_REQUIRED` 表示末端表达式不能安全折叠到 URP 的 half AlphaModulate；读取 `required_target_capabilities`，不得把 `MultiplySourceAlpha` 用于需要保留背景 Alpha 的源 Shader。
+- 上游 Custom Function 作为目标 Custom Function 原样交接；用 `custom_function_manifest` 核对节点、精度和规范化函数载荷 SHA，不因 Agent 无法解释函数数学意义而拒绝。
+- 已确认的 `MZGUI.MZGUI`、Tooltip/Foldout/HelpBox 只影响 Inspector 呈现，列在 `presentation_warnings`，不阻断渲染语义交接。其他未知 Custom ShaderGUI 仍可能有材质副作用并失败关闭。
+- `retry_unchanged_input=false` 时不要重复相同导出、猜命令或找强制开关。报告缺失能力并停止；SGCLI 的新增能力必须通过公开 JSON 契约另行交接，不跨仓修补。
+- 原生 `.shadergraph` 虽然使用 JSON 序列化，但不是 `sgcli.native.v3` 创建 spec。只有本次命令成功并核对 spec/report/receipt 完整提交与 SHA，才能称“导出成功”；这仍不等于 Editor 编译或最终效果一致已验收。
+
 ## Agent 兼容性
 
 本 Skill 遵循通用 Agent Skills 目录结构：标准 YAML frontmatter、`SKILL.md` 正文和相对路径引用。它只要求 Agent 能运行本地 shell 命令并读取 ASECLI 的单行 JSON，不依赖 Codex、Claude Code、Cursor、Gemini CLI 或 GitHub Copilot 的专属工具名、权限模型或消息格式。

{asecli-0.8.3 → asecli-0.8.4}/src/asecli/__init__.py

@@ -1,3 +1,3 @@
 """AseCLI — agent-native toolkit for Amplify Shader Editor assets."""
 
-__version__ = "0.8.3"
+__version__ = "0.8.4"

{asecli-0.8.3 → asecli-0.8.4}/src/asecli/cli/export_sg_command.py

@@ -106,24 +106,24 @@ def cmd_export_sg(args) -> dict:
                         raise ValueError(f'resource changed before publication: {file}')
     except ExportError as exc:
         internal = exc.report
-        _write_failure_report(
+        failure_report = _write_failure_report(
             source, spec_path, report_path, internal, str(exc),
             source_raw=source_raw, schema_status=schema_status,
         )
         raise CliError(
             "SG_EXPORT_BLOCKED",
             str(exc),
-            {"report_json": str(report_path)},
+            _failure_details(report_path, internal, failure_report),
         ) from exc
     except (OSError, ValueError, RuntimeError, json.JSONDecodeError) as exc:
-        _write_failure_report(
+        failure_report = _write_failure_report(
             source, spec_path, report_path, internal, str(exc),
             source_raw=source_raw, schema_status=schema_status,
         )
         raise CliError(
             "SG_EXPORT_BLOCKED",
             str(exc),
-            {"report_json": str(report_path)},
+            _failure_details(report_path, internal, failure_report),
         ) from exc
     write_result = _write_pair(spec_path, spec, report_path, report)
     return {
@@ -175,7 +175,7 @@ def _write_failure_report(
     *,
     source_raw: bytes,
     schema_status: str,
-) -> None:
+) -> dict:
     if report_path.exists():
         raise CliError("WRITE_CONFLICT", f"output already exists: {report_path}")
     report = build_public_report(
@@ -189,6 +189,35 @@ def _write_failure_report(
         producer_schema_validated=schema_status,
     )
     _write_new(report_path, report)
+    return report
+
+
+def _failure_details(report_path: Path, internal: dict | None, report: dict) -> dict:
+    """Agent-facing diagnostics, separate from the fixed consumer report schema."""
+    internal = internal or {}
+    blockers = [dict(item, classification="semantic") for item in internal.get("diagnostics", [])]
+    blockers.extend(dict(item) for item in internal.get("degradations", []))
+    warnings = [dict(item) for item in internal.get("presentation_warnings", [])]
+    return {
+        "report_json": str(report_path),
+        "spec_written": False,
+        "receipt_written": False,
+        "source": report["source"],
+        "blockers": blockers,
+        "blocker_count": len(blockers),
+        "blocker_scope": "detected_in_this_run_not_exhaustive",
+        "presentation_warnings": warnings,
+        "warning_count": len(warnings),
+        "custom_function_manifest": internal.get("custom_function_manifest", []),
+        "required_target_capabilities": (internal.get("surface_semantics") or {}).get(
+            "required_target_capabilities"
+        ),
+        "unverified_checks": [name for name, check in report["checks"].items()
+                              if check["status"] != "verified"],
+        "surface_semantics": internal.get("surface_semantics"),
+        "retry_unchanged_input": False,
+        "next_action": "Inspect all blockers and report evidence; do not force export, substitute a .shadergraph, or edit the source to bypass validation",
+    }
 
 
 def _assert_source_unchanged(source: Path, snapshot: bytes, phase: str) -> bytes:

{asecli-0.8.3 → asecli-0.8.4}/src/asecli/sg_export/conversion_report.py

@@ -8,6 +8,7 @@ from pathlib import Path
 from typing import Any
 
 from .report_semantics import check_evidence
+from .report_presentation import presentation_degradations
 
 
 CHECK_RULES = {
@@ -76,6 +77,7 @@ def build_public_report(
         "blend_equation": "verified" if blend_passed else "unknown",
     }
     internal_degradations = (internal or {}).get('degradations', [])
+    presentation_warnings = (internal or {}).get('presentation_warnings', [])
     if internal_degradations:
         check_status['properties'] = 'unsupported'
     checks = {
@@ -125,6 +127,7 @@ def build_public_report(
                       + str(item.get('impact', 'Inspector behavior is unproven'))
                       + '; details=' + json.dumps(item.get('details', []), ensure_ascii=False),
         })
+    degradations.extend(presentation_degradations(presentation_warnings, source, spec_path))
     if failure:
         degradations.append({
             "rule": "SEM-REPORT-001",

{asecli-0.8.3 → asecli-0.8.4}/src/asecli/sg_export/decoder.py

@@ -13,13 +13,12 @@ from .model import (
 )
 from .nodes import convert_node
 from .sources import compiled_properties, load_asset_map
-from .evidence import inspector_degradations, record_port, validate_template_passes
+from .evidence import inspector_degradations, record_custom_functions, record_port, validate_template_passes
 from .surface_semantics import normalize_surface_outputs
 from .reconciliation import (
     groups, reconcile_shaderlab_properties, unique_properties, verify_texture_dependencies,
 )
 
-
 def build_candidate(
     source_path,
     target_project,
@@ -124,6 +123,7 @@ def build_candidate(
     for node in nodes:
         for target_id in node.source_ids:
             edges.append(SemanticEdge(node.target_id, 0, target_id, -1))
+    record_custom_functions(nodes, report)
     nodes, edges = normalize_surface_outputs(nodes, edges, target_spec, mappings, report, text)
     groups_spec = groups(ase, mappings, diagnostics)
     report["output_bindings"] = [

{asecli-0.8.3 → asecli-0.8.4}/src/asecli/sg_export/evidence.py

@@ -3,10 +3,29 @@
 from __future__ import annotations
 
 import re
+import hashlib
+import json
 
+from .alpha_modulate import _strip_comments
 from .model import MASTER_TYPE, URP_UNLIT_GUID, URP_UNLIT_PASSES, diagnostic
 
 
+def record_custom_functions(nodes, report):
+    manifest = []
+    for node in nodes:
+        if node.target_type != "custom-function" or node.function is None:
+            continue
+        canonical = json.dumps(node.function, ensure_ascii=False, sort_keys=True,
+                               separators=(",", ":")).encode("utf-8")
+        manifest.append({
+            "source_node_id": node.source_id, "target_node_id": node.target_id,
+            "function_sha256": hashlib.sha256(canonical).hexdigest(),
+            "precision": node.settings.get("precision", "Inherit"),
+            "mapping": "preserved_custom_function_payload",
+        })
+    report["custom_function_manifest"] = manifest
+
+
 def validate_template_passes(ase, master, diagnostics, report):
     masters = [node for node in ase.graph.nodes if node.type_name == MASTER_TYPE]
     passes = {node.raw_fields[15] for node in masters if len(node.raw_fields) > 15}
@@ -38,18 +57,39 @@ def inspector_degradations(ase, properties, report):
         match = re.search(rf"(?m)^\s*(?P<attrs>(?:\[[^\]\r\n]*\]\s*)*){re.escape(name)}\s*\(", ase.prefix)
         present = [kind for kind in attributes if match and f"[{kind}" in match.group("attrs")]
         if present:
-            report["degradations"].append({
+            report["presentation_warnings"].append({
                 "source": {"property": name}, "code": "INSPECTOR_METADATA_NOT_MIGRATED",
                 "details": present, "impact": "Property data is preserved; ASE Inspector UI behavior is not migrated",
+                "classification": "presentation_only",
+                "source_attributes": match.group("attrs").strip(),
+                "material_side_effects": "none",
             })
-    custom_gui = sorted({node.raw_fields[9] for node in ase.graph.nodes
+    graph_gui = {node.raw_fields[9] for node in ase.graph.nodes
                          if node.type_name == MASTER_TYPE and len(node.raw_fields) > 9
                          and node.raw_fields[6] == "True"
-                         and node.raw_fields[9] not in {"", "UnityEditor.ShaderGraphUnlitGUI"}})
-    if custom_gui:
+                         and node.raw_fields[9] not in {"", "UnityEditor.ShaderGraphUnlitGUI"}}
+    # Compiled ShaderLab may disagree with the ASE graph. Neither declaration
+    # can be ignored when an unknown GUI can alter keywords/material state.
+    shaderlab = ase.prefix.rsplit("/*ASEBEGIN", 1)[0]
+    compiled_gui = set(re.findall(r'\bCustomEditor\s+"([^"]+)"', _strip_comments(shaderlab) or ""))
+    custom_gui = (graph_gui | compiled_gui) - {"", "UnityEditor.ShaderGraphUnlitGUI"}
+    known_presentation = sorted(custom_gui & {"MZGUI.MZGUI"})
+    unknown_gui = sorted(custom_gui - {"MZGUI.MZGUI"})
+    if known_presentation:
+        report["presentation_warnings"].append({
+            "source": {"file": str(report["source"]["path"])},
+            "code": "CUSTOM_INSPECTOR_PRESENTATION_NOT_MIGRATED",
+            "details": known_presentation,
+            "classification": "presentation_only",
+            "material_side_effects": "none",
+            "impact": "MZGUI Inspector styling is not migrated; Shader properties and runtime graph semantics are unchanged",
+        })
+    if unknown_gui:
         report["degradations"].append({
             "source": {"file": str(report["source"]["path"])}, "code": "CUSTOM_INSPECTOR_NOT_MIGRATED",
-            "details": custom_gui,
+            "details": unknown_gui,
+            "classification": "custom_shader_gui",
+            "material_side_effects": "unproven",
             "impact": "ShaderGUI behavior has no equivalent in the creation specification",
         })
     if report["degradations"]:

{asecli-0.8.3 → asecli-0.8.4}/src/asecli/sg_export/model.py

@@ -78,7 +78,8 @@ def report_template(source: Path, target: Path, version: str, source_raw: bytes)
         "mapping_version": MAPPING_VERSION,
         "receiver_schema": {"name": "sgcli.native.v3", "path": None, "sha256": None},
         "source_validation": {"error_count": 0, "warning_count": 0, "issues": []},
-        "mappings": [], "dependencies": [], "degradations": [], "diagnostics": [],
+        "mappings": [], "dependencies": [], "degradations": [], "presentation_warnings": [],
+        "custom_function_manifest": [], "diagnostics": [],
         "equivalence": {"status": "not_proven", "reason": "effect validation has not run"},
         "verification": {
             "source_parse": dict(empty), "source_structure": dict(empty),

asecli-0.8.4/src/asecli/sg_export/report_presentation.py

@@ -0,0 +1,21 @@
+"""Map non-rendering Inspector differences into public evidence gaps."""
+
+import json
+
+
+def presentation_degradations(items, source, target):
+    result = []
+    for item in items:
+        location = item.get("source") or {}
+        if isinstance(location, dict):
+            location = str(location.get("file") or source) + (
+                "#" + str(location["property"]) if "property" in location else ""
+            )
+        result.append({
+            "rule": "SEM-PRESENTATION-001", "category": "evidence_gap",
+            "source": str(location or source), "target": str(target),
+            "reason": str(item.get("code", "PRESENTATION_NOT_MIGRATED")) + ": "
+                      + str(item.get("impact", "Inspector presentation is not migrated"))
+                      + "; details=" + json.dumps(item.get("details", []), ensure_ascii=False),
+        })
+    return result

{asecli-0.8.3 → asecli-0.8.4}/src/asecli/sg_export/report_semantics.py

@@ -3,6 +3,7 @@
 from __future__ import annotations
 
 from typing import Any
+import json
 
 
 _VERIFIED_EVIDENCE = {
@@ -17,6 +18,7 @@ _VERIFIED_EVIDENCE = {
 _SEMANTIC_CODES = {
     "ALPHA_BLEND_UNREPRESENTABLE", "PASS_BLEND_UNPROVEN",
     "DUPLICATE_ALPHA_MODULATE_UNRESOLVED", "ALPHA_MODULATE_UNPROVEN",
+    "ALPHA_MODULATE_TARGET_CAPABILITY_REQUIRED",
 }
 
 
@@ -28,9 +30,9 @@ def check_evidence(
         return _VERIFIED_EVIDENCE[name] + details
     diagnostics = internal.get("diagnostics", []) if isinstance(internal, dict) else []
     codes = _SEMANTIC_CODES if name in {"alpha_equation", "blend_equation"} else set()
-    relevant = next((item for item in diagnostics if item.get("code") in codes), None)
+    relevant = [item for item in diagnostics if item.get("code") in codes]
     if relevant:
-        return f"{relevant['code']}: {relevant.get('reason', 'not proven')}" + details
+        return json.dumps(relevant, ensure_ascii=False, sort_keys=True) + details
     if failure:
         return f"conversion stopped before this invariant was proved: {failure}" + details
     if diagnostics:
@@ -49,6 +51,7 @@ def _blend_details(name: str, internal: dict[str, Any] | None) -> str:
     rewrites = semantics.get("rewrites") or []
     matcher = (
         "unresolved" if semantics.get("unresolved")
+        or semantics.get("fold_precision", {}).get("status") == "unproven"
         else "folded" if rewrites
         else "preserved_graph_float_expression"
         if semantics.get("alpha_modulate_strategy") == "preserve_graph_float_expression"

{asecli-0.8.3 → asecli-0.8.4}/src/asecli/sg_export/surface_matching.py

@@ -2,7 +2,6 @@
 
 from __future__ import annotations
 
-from .alpha_modulate import inputs as alpha_modulate_inputs
 from .model import SemanticEdge, SemanticNode, diagnostic
 
 
@@ -39,7 +38,7 @@ def _unproven_modulation(report: dict, semantics: dict, node: SemanticNode) -> N
     report.setdefault("diagnostics", []).append(diagnostic(
         node.source_id,
         "ALPHA_MODULATE_UNPROVEN",
-        reason,
+        {"message": reason, "function": node.function, "precision": node.settings.get("precision", "Inherit")},
         "The exporter cannot prove that target AlphaModulate will execute exactly once",
     ))
 
@@ -134,36 +133,3 @@ def _white_value(value) -> bool:
 
 def _one(value) -> bool:
     return isinstance(value, (int, float)) and not isinstance(value, bool) and float(value) == 1.0
-
-
-def _first_upstream_custom_function(
-    nodes: list[SemanticNode], edges: list[SemanticEdge], source_id: str
-) -> SemanticNode | None:
-    by_id = {node.target_id: node for node in nodes}
-    incoming: dict[str, list[str]] = {}
-    for edge in edges:
-        incoming.setdefault(edge.target_id, []).append(edge.source_id)
-    pending = [source_id]
-    visited: set[str] = set()
-    while pending:
-        current = pending.pop()
-        if current in visited:
-            continue
-        visited.add(current)
-        node = by_id.get(current)
-        if node is not None and node.target_type == "custom-function":
-            return node
-        pending.extend(reversed(incoming.get(current, [])))
-    return None
-
-
-def _reject_upstream_function(report: dict, semantics: dict, node: SemanticNode) -> None:
-    if alpha_modulate_inputs(node.function) is not None:
-        _unresolved_modulation(
-            report,
-            semantics,
-            node,
-            "AlphaModulate remains upstream of the Multiply BaseColor output",
-        )
-    else:
-        _unproven_modulation(report, semantics, node)

asecli-0.8.4/src/asecli/sg_export/surface_precision.py

@@ -0,0 +1,66 @@
+"""Conservative precision proof for moving graph arithmetic into URP."""
+
+import re
+
+from .alpha_modulate import _strip_comments
+from .model import diagnostic
+
+
+def fold_precision_verified(node, nodes, edges, report, semantics):
+    """Do not replace float/inherited lerp with URP's half3/half overload.
+
+    Custom Function parameters establish their own half conversion boundary.
+    Native lerp additionally needs explicitly half operands (no mixed promotion).
+    This is a narrow proof, not an assertion that half equals float on every GPU.
+    """
+    precision = node.settings.get("precision", "Inherit")
+    effective_precision = precision
+    verified = precision == "Half"
+    body = None
+    if node.target_type == "custom-function":
+        body = _strip_comments((node.function or {}).get("body", ""))
+        if body and re.search(r"\bfloat(?:[1-4])?\s*\(", body):
+            effective_precision = "Single"
+        elif body and re.search(r"\bhalf(?:[1-4])?\s*\(", body):
+            effective_precision = "Half"
+        verified = verified and body is not None and bool(re.search(r"\bhalf3\s*\(", body))
+    else:
+        by_id = {item.target_id: item for item in nodes}
+        operands = [by_id.get(edge.source_id) for edge in edges if edge.target_id == node.target_id]
+        verified = verified and bool(operands) and all(
+            item is not None and item.settings.get("precision") == "Half" for item in operands
+        )
+    proof = {
+        "source_node_id": node.source_id,
+        "source_node_precision": precision,
+        "source_effective_precision": effective_precision,
+        "source_expression": body,
+        "target_precision": "Half",
+        "target_function": "half3 AlphaModulate(half3 albedo, half alpha)",
+        "status": "verified" if verified else "unproven",
+    }
+    semantics["fold_precision"] = proof
+    if not verified:
+        requirement = {
+            "surface": semantics.get("source", {}).get("surface"),
+            "rgb_blend": (semantics.get("source_pass_blend") or {}).get("rgb"),
+            "alpha_blend": (semantics.get("source_pass_blend") or {}).get("alpha"),
+            "explicit_alpha_modulate": {
+                "preserve_in_graph": True,
+                "precision": effective_precision,
+                "source_node_id": node.source_id,
+            },
+            "implicit_alpha_modulate": False,
+        }
+        semantics["required_target_capabilities"] = requirement
+        semantics["unresolved"] = {
+            "rule": "SEM-BLEND-001",
+            "source_node": node.source_id,
+            "reason": "target cannot preserve explicit AlphaModulate precision while disabling its implicit AlphaModulate",
+        }
+        report.setdefault("diagnostics", []).append(diagnostic(
+            node.source_id, "ALPHA_MODULATE_TARGET_CAPABILITY_REQUIRED",
+            {"precision_proof": proof, "required_target_capabilities": requirement},
+            "The current public SG target contract cannot preserve this graph expression and blend equation without adding a second half-precision AlphaModulate",
+        ))
+    return verified

{asecli-0.8.3 → asecli-0.8.4}/src/asecli/sg_export/surface_semantics.py

@@ -12,13 +12,13 @@ from __future__ import annotations
 from .alpha_modulate import inputs as alpha_modulate_inputs
 from .model import SemanticEdge, SemanticNode, diagnostic
 from .pass_blend import record_pass_blend
+from .surface_precision import fold_precision_verified
 from .surface_matching import (
-    _first_upstream_custom_function,
     _input_port,
     _native_alpha_modulate,
-    _reject_upstream_function,
     _single_edge_to,
     _target_alpha_modulates,
+    _through_reroutes,
     _unproven_modulation,
     _unresolved_modulation,
 )
@@ -95,9 +95,8 @@ def normalize_surface_outputs(
     native = _native_alpha_modulate(nodes, edges, color_edge, alpha_edge)
     if native is not None:
         modulate, color_input, alpha_input, route_nodes, white_node = native
-        upstream = _first_upstream_custom_function(nodes, edges, color_input.source_id)
-        if upstream is not None:
-            _reject_upstream_function(report, semantics, upstream)
+        precision_ok = fold_precision_verified(modulate, nodes, edges, report, semantics)
+        if not precision_ok:
             return nodes, edges
         replacement = SemanticEdge(
             color_input.source_id,
@@ -152,6 +151,10 @@ def normalize_surface_outputs(
                 row["target_nodes"] = [] if removed else row.get("target_nodes", [])
                 row["rule"] = "SEM-BLEND-001"
         return nodes, rewritten
+    source_edge, route_nodes = _through_reroutes(color_edge, by_id, edges)
+    node = by_id.get(source_edge.source_id)
+    if node is None:
+        return nodes, edges
     matched = (
         alpha_modulate_inputs(node.function)
         if node.target_type == "custom-function"
@@ -160,10 +163,6 @@ def normalize_surface_outputs(
     if matched is None:
         if node.target_type == "custom-function":
             _unproven_modulation(report, semantics, node)
-        else:
-            upstream = _first_upstream_custom_function(nodes, edges, node.target_id)
-            if upstream is not None:
-                _reject_upstream_function(report, semantics, upstream)
         return nodes, edges
     color_input_name, alpha_input_name = matched
     color_port = _input_port(node, color_input_name)
@@ -186,9 +185,8 @@ def normalize_surface_outputs(
             "AlphaModulate alpha input differs from Surface Alpha",
         )
         return nodes, edges
-    upstream = _first_upstream_custom_function(nodes, edges, color_input.source_id)
-    if upstream is not None:
-        _reject_upstream_function(report, semantics, upstream)
+    precision_ok = fold_precision_verified(node, nodes, edges, report, semantics)
+    if not precision_ok:
         return nodes, edges
     replacement = SemanticEdge(
         color_input.source_id,
@@ -197,16 +195,16 @@ def normalize_surface_outputs(
         color_edge.target_port,
     )
     rewritten = [replacement if edge == color_edge else edge for edge in edges]
-    remaining_consumers = [
-        edge for edge in rewritten
-        if edge.source_id == node.target_id
-    ]
-    removed = False
-    if not remaining_consumers:
-        rewritten = [edge for edge in rewritten if edge.target_id != node.target_id]
-        nodes = [item for item in nodes if item.target_id != node.target_id]
-        mappings.pop(node.source_id, None)
-        removed = True
+    removable_ids = {node.target_id, *(item.target_id for item in route_nodes)}
+    external_consumers = [edge for edge in rewritten
+                          if edge.source_id in removable_ids and edge.target_id not in removable_ids]
+    removed = not external_consumers
+    if removed:
+        rewritten = [edge for edge in rewritten
+                     if edge.source_id not in removable_ids and edge.target_id not in removable_ids]
+        nodes = [item for item in nodes if item.target_id not in removable_ids]
+        for item in [node, *route_nodes]:
+            mappings.pop(item.source_id, None)
 
     semantics["source"].update({
         "explicit_alpha_modulate": True,