常见问题
客户在联系我们之前通常会问的问题，我们先把答案写在这里 —— 有些问题的答案就是「这件事我们不做」，那也照写。
业务范围：做什么，不做什么
先划边界，能省掉双方很多来回。
你们做哪些品牌和型号的 PLC？
以西门子 S7-1200 / S7-1500 为主，用 SCL、LAD、FBD 三种语言交付。老设备（S7-200 / S7-300 或第三方品牌）的升级改造我们也接 —— 属于「改造 · 诊断 · 程序抢救」的服务范围。
只做程序，还是连电气一起做？
只做控制程序与验证。电气设计、元件选型、成套配电与现场施工不在我们范围内 —— 把界线划在这里，是因为我们的能力与证据都集中在程序层，电气交给专业成套方更可靠。
急停、安全门这类功能安全，你们做吗？
程序内的安全逻辑可以按你方定义实现，但功能安全签字（SIL / PL）我们不代签 —— 必须由具备资质的一方完成。在高危场景里这是硬性要求，我们不会为了让合同好签而含糊过去。
关于交付
交付什么？给源程序吗？
交付程序本体（SCL / LAD / FBD）与配套文档：I/O 分配表、POU 结构说明、TIA Portal 真实编译日志、静态检查报告、验证记录，以及现场未确认条件的未决项清单。程序按你方的命名规范与块结构组织。
必须到现场吗？能不能全程远程？
程序层的工作（需求分析、开发、静态检查、仿真验证、逻辑审计、版本比对）全程可以远程；接线与硬件更换、实机轨迹采集、安全功能独立验证、物理现象的确认必须现场完成。我们会明确说哪些必须到场，不承诺「远程解决一切」。
现场条件还没问清楚，能先开始吗？
可以。未确认的条件会登记成「未决项」，每条写明「若是／若否」两种分支动作后再推进；但这类结论不作为最终验收依据 —— 条件确认后需要更新受影响的产物才算结案。
我们的程序会不会外泄？
取决于你选的交付形态。形态②（私有化部署）下智能体与模型都在你的内网／离线环境运行，程序与图纸不出厂，我们也不把你的现场数据用于训练。形态①（人机协同）由我方工程师复核签字后交付，所需的隔离与权限条件在实施方案里逐条写明。
关于流程与责任
出了质量问题谁负责？
形态①（人机协同）由我方工程师复核并签字，签字人对结果负责；形态②（私有化部署）的责任边界、验收标准与争议处理方式，在实施方案里逐条写明后再签署。
你们说的「证据」具体指什么？
编译日志、静态检查报告、仿真轨迹比对记录、状态转换与定时器时序核对结果、未决项清单。规矩是：缺证据即判失败 —— 不是「未检查」，更不是「默认通过」。三句话我们分开说：静态检查通过 ≠ 编译通过 ≠ 逻辑正确。
静态检查能查出所有问题吗？
不能，这一点我们主动写清楚。变异测试结果：语法／结构级缺陷静态层检出 6/6；语义级缺陷（例如把启动条件的 AND 改成 OR）静态层检出 0/6，而两者文本相似度仍高达 0.9981。所以语义正确性由动态验证与人工审查负责 —— 完整说明见「案例与证据」页。
怎么开始？
三步：① 提交需求（工艺描述、硬件型号、I/O 条件、安全要求、验收标准）；② 我们做需求评估，判断能不能做、边界在哪；③ 按评估范围报价并分阶段推进。联系方式见「联系我们」页。