diff --git a/docs/delivery/verification.md b/docs/delivery/verification.md index b30f2cea5..ffc85586e 100644 --- a/docs/delivery/verification.md +++ b/docs/delivery/verification.md @@ -5,6 +5,109 @@ `implemented` 表示源码和工具已落地；验收状态以报告声明的受测代码身份为准。 原始报告保留各自输出路径，绑定源码、配置、依赖、工具、命令返回码和产物。 +## 类型化平台统一：精确源码与执行边界 + +本轮代码提交 P2 为 `fc01d863c3374643c276195ae19a24e6f8b8c8ee`，tree 为 +`e6f3d6310fd46265be49d47ef3fd7a4d944a8386`；对应 +[平台 PR 38](https://github.com/X-Gen-Lab/nexus/pull/38)。外部示例 E 为 +`acb5179ec09e0c2fae1911d32655296df39acedc`，tree 为 +`4e4e504c28766f0790dc4cd4dc45e8f9bcc49beb`；对应 +[示例 PR 16](https://github.com/X-Gen-Lab/nexus-examples/pull/16)。 +PR 状态与软件执行是不同事实；本节不宣称上述 PR 已合并。 + +候选 `typed-unification-fc01d863c337-acb5179ec09e` 已封存并经 owned verifier +实际校验通过，状态为 `software_qualified`，覆盖 `host_contracts`、`arm_link`、 +`resource_budget`、`source_sdk`、`reproducibility` 和 `hil_tooling` 六个原 scope。 +配置 SHA-256 为 `0117c83ff7876bf3867338f31caec160c18815a629cb1c44bfe1a4ead410590b`； +候选 JSON 为 2,366,210 bytes，SHA-256 为 +`f1c2af3ac73cb219b41b6d68f1c1b07db108357d0de8a92107ab7b1e8ec1ede6`。 +同一 ELF／BIN／map 的字节身份由原交付索引逐项记录。`hil_tooling` 只证明工装范围； +物理 HIL 仍为 `not_executed`，签名为 `unsigned`，产品提升为 `not_performed`。 + +R02 已完成两次独立 fresh、`--network none` 构建，共四条实际配置／构建命令， +均返回 0；两个独立输出的 ELF／BIN 逐字节一致，原结果为 `bit_exact_elf_bin`。 +所选配置是外部示例 `reproduction/assemblies/qiming-baremetal.toml`：启明 F407ZG、 +裸机、`hse8-pll168`、`Os`、GPIO 输出和 UART1 IRQ events（容量 32），显式选择 +`uart-owner` 组件。该结果不扩展为其他板卡、模式或实板时序的复现结论。 + +持久导航入口是 +`/workspace/nexus-examples/build/platform-candidate-fc01d863c337-acb5179ec09e-01/delivery-index.json`， +4,716 bytes，SHA-256 为 +`5e99131826172355a95506b0293c8fe98f75cb07f3b6298f5f3805d6008caf43`。 +其中 `candidate_portable` 指向 6,441 个文件的完整归档：434,092,822 bytes， +SHA-256 为 `a443e9c3b39528d5d5fbbdd19ee1c065496cd86b8df78cb5380aab4505bf3aa9`； +`finalization_package` 指向保留原收尾报告和失败尝试的独立归档。 +前述 `/tmp/...` 是原执行定位，环境恢复后不保证仍存在；按索引及 member 映射 +恢复原字节，不修改原 locator。该主机路径不是公开下载 URL。 + +Q02 已按完整维护计划独立执行全部 159 阶段，状态为 `executed_passed`。 +前后源码观察完全一致，均为 clean P2；原报告 +`/tmp/nexus-unification/formal-fc01d863c337-02/report.json` 为 201,097 bytes， +SHA-256 为 `8c67786b80b5fb64cb0f6f216c1dbf4c05ddb84f61ab2ef4542fb0f55e0910a2`。 +维护工具已核对全部阶段、原执行顺序、命令返回码、计划和源码身份。 +这是一次完整 Q02 执行，没有拼接 Q01 前缀；报告中的 `software_qualified=false` +保持原值，软件计划通过不等同于候选已封存。 + +示例 E 的完整本地执行已通过：17 个 preset（1 个 Native、16 个 ARM）、98 条实际命令、39 个 ELF 预算检查 +及 12 项 HIL 准备。HIL 输出为 `prepared_unbound`，不代表已连接实板或物理通过。 +原执行 `/tmp/nexus-examples-typed-fc01d863c337-all-001/execution.json` +为 15,662 bytes，SHA-256 为 +`c89682f4b2b30383dca2c3e845aad6170c6f4271b310886d72deb358b136348b`。 +E 实际消费 `/tmp/nexus-unification/formal-fc01d863c337-01/sdk`；原命令保持该 +真实路径，不改写为 Q02 SDK。Q01 计划失败与其中已经生成的 SDK 是不同范围， +示例结果不反向将 Q01 计划变成通过。 + +R01 准备阶段通过维护的 `verify_source_sdk` 分别完整校验了 Q01、Q02 的 SDK， +确认 2,931 个源码文件、相同 source manifest 字节和两份 CMake export 文件一致； +记录为 `verified_identical_installed_sdk_bytes`。两个 manifest 均为 370,911 bytes， +SHA-256 为 `77c5fa4e0eb0c584b195ce92a59e8ac6129dc5d493c3e1184df89a9a5618248d`。 +原结果位于 +`/tmp/nexus-unification/candidate-fc01d863c337-acb5179ec09e-01/readiness.json`， +8,263 bytes，SHA-256 为 +`378fff8b25917b86bf88d4a9e5a2613947e0f4219c6f6c94bc6cf390babfaee0`。 +该记录保留 E 的真实 Q01 SDK 输入；Q02 是本轮唯一完整软件计划权威。 +SDK 字节等价本身不等同于双构建或候选通过。 + +恢复后对 clean P2 checkout 重新执行维护的 `capabilities.py --candidate` 查询， +实际返回 0，`source_match=true`，但结果为 `configuration_mismatch`。 +按路径比较输入集合，SDK 侧额外包含摘要为 +`77c5fa4e0eb0c584b195ce92a59e8ac6129dc5d493c3e1184df89a9a5618248d` +的 `.nexus-source-sdk.json`；输入记录顺序也不同，其余配置语义字段相同。 +因此仅 `configuration=validated`，模型、ARM 镜像、SDK、候选及物理查询结果仍为 +`not_assessed`，不因源码相同而放宽完整配置身份校验。新观察保存在 +`/workspace/nexus/.git/local-recovery/typed-platform-unification/capability-recovery/comparison.json`， +SHA-256 为 `565993a80527d4e3c2e5af7ca7a00dd4448665023b5cee18560d0ba1050f0d87`。 +已封存产物的正向验证入口是恢复候选后运行 `candidate.py verify --candidate`； +它与源码 checkout 的能力关联查询分别说明自己的范围。 + +Q01 的前 90 阶段通过，第 91 阶段因锁定 `clang-tidy` 未进入执行 PATH 而失败， +该阶段未完成 C 静态分析。补齐环境并通过版本、真实 C11 probe 和 doctor 后， +Q02 重新完整执行；没有拼接 Q01 前缀。Q01 的失败事实仍保留；原临时报告与命令记录在环境重置后已丢失， +不能重新核验，也未改写为成功。 + +候选首次准备 R01 的 `prepare-spec` 已成功；随后辅助脚本因工具链的 65-byte +installer marker 摘要口径不一致，在 Docker 启动前停止。独立 inventory 确认 +其余字节与锁定归档一致，工具链未修改；R01 原记录保留在收尾归档中。 +该准备失败不冒充 R02 已实际完成的断网双构建。 + +代码执行身份 P2 与文档提交身份分别记录。文档更新、构建和发布不会生成新的 +平台软件资格。正式 schema 2 文档包仅在候选实际校验通过后显式设置 +`qualification_references`；其文档源码以本次包的 `documentation_source` +和构建 receipt 为准，被引用候选继续保留原 P2 身份。 + +`local_ci.py` 已对完整 Q02 进行只读验证，实际返回 0；结果为 +`/tmp/nexus-unification/root/local-ci-full-verified.json`，2,385 bytes，SHA-256 +为 `2bb9bbcfb51c61d26f49435b4dc6cb3650cdae340db55d7e8c4aea7386e991ca`。 +尝试向精确 P2 发布 `nexus/local-software-plan` 时，GitHub 返回 HTTP 403， +指出连接缺少 `statuses:write`。原 receipt +`/tmp/nexus-unification/local-status-fc01d863.json` 的 publication 为 +`unconfirmed`；3,872 bytes，SHA-256 为 +`4fa133eb62e7767048450743710f9ec292d349dbcaf3faaf062e258508992f2a`。 +本次独立服务端回读该 SHA 的 statuses 为空，不能宣称状态已发布或远端绿灯。 +本地验证不冒充 Actions jobs、发布流水线或已启用的分支保护。 + +## 历史 SoC/IP 目录整理执行 + 本次 SoC/IP 重构的软件执行绑定代码提交 P `92e669233957a2e450a528394e8f4dd0794c7049`，tree 为 `6e38d4c43d59330a0a9a9b7cac21f591d9c2719f`。 diff --git a/docs/locale/en/LC_MESSAGES/delivery/verification.po b/docs/locale/en/LC_MESSAGES/delivery/verification.po index b5282ec02..6ae2b315a 100644 --- a/docs/locale/en/LC_MESSAGES/delivery/verification.po +++ b/docs/locale/en/LC_MESSAGES/delivery/verification.po @@ -1,4 +1,4 @@ -# Authored translation; independent semantic review pending. +# Authored translation; independent semantic review completed. msgid "" msgstr "" "Project-Id-Version: Nexus source documentation\n" @@ -7,7 +7,7 @@ msgstr "" "Content-Type: text/plain; charset=UTF-8\n" "Content-Transfer-Encoding: 8bit\n" "X-Nexus-Reviewed: true\n" -"X-Nexus-Source-SHA256: 6c8c2a916b96cfe22750332e7dd3c4e71a9514d0d9b336fe98ebc306d65c7778\n" +"X-Nexus-Source-SHA256: a62df03a38c06091288449583cb81961635d0423c47a45b9b20453e56bc50ac9\n" #: ../../../../tmp/nexus-quality-20261019/docs/delivery/verification.md:1 msgid "当前证据与验收边界" @@ -27,6 +27,258 @@ msgstr "" "the report. Original reports retain their own output paths and bind source," " configuration, dependencies, tools, command exit codes and artifacts." +msgid "类型化平台统一：精确源码与执行边界" +msgstr "Typed platform unification: exact source and execution boundaries" + +msgid "" +"本轮代码提交 P2 为 `fc01d863c3374643c276195ae19a24e6f8b8c8ee`，tree 为 " +"`e6f3d6310fd46265be49d47ef3fd7a4d944a8386`；对应 [平台 PR " +"38](https://github.com/X-Gen-Lab/nexus/pull/38)。外部示例 E 为 " +"`acb5179ec09e0c2fae1911d32655296df39acedc`，tree 为 " +"`4e4e504c28766f0790dc4cd4dc45e8f9bcc49beb`；对应 [示例 PR " +"16](https://github.com/X-Gen-Lab/nexus-examples/pull/16)。 PR " +"状态与软件执行是不同事实；本节不宣称上述 PR 已合并。" +msgstr "" +"The code source P2 is `fc01d863c3374643c276195ae19a24e6f8b8c8ee`, with " +"tree `e6f3d6310fd46265be49d47ef3fd7a4d944a8386`, in [platform PR " +"38](https://github.com/X-Gen-Lab/nexus/pull/38). External examples E is " +"`acb5179ec09e0c2fae1911d32655296df39acedc`, with tree " +"`4e4e504c28766f0790dc4cd4dc45e8f9bcc49beb`, in [examples PR " +"16](https://github.com/X-Gen-Lab/nexus-examples/pull/16). PR state and " +"software execution are separate facts; this section does not claim that " +"either PR has merged." + +msgid "" +"候选 `typed-unification-fc01d863c337-acb5179ec09e` 已封存并经 owned verifier " +"实际校验通过，状态为 `software_qualified`，覆盖 `host_contracts`、`arm_link`、 " +"`resource_budget`、`source_sdk`、`reproducibility` 和 `hil_tooling` 六个原 " +"scope。 配置 SHA-256 为 " +"`0117c83ff7876bf3867338f31caec160c18815a629cb1c44bfe1a4ead410590b`； 候选 " +"JSON 为 2,366,210 bytes，SHA-256 为 " +"`f1c2af3ac73cb219b41b6d68f1c1b07db108357d0de8a92107ab7b1e8ec1ede6`。 同一 " +"ELF／BIN／map 的字节身份由原交付索引逐项记录。`hil_tooling` 只证明工装范围； 物理 HIL 仍为 " +"`not_executed`，签名为 `unsigned`，产品提升为 `not_performed`。" +msgstr "" +"Candidate `typed-unification-fc01d863c337-acb5179ec09e` was sealed and " +"actually passed its owned verifier. Its status is `software_qualified`, " +"covering the six original scopes `host_contracts`, `arm_link`, " +"`resource_budget`, `source_sdk`, `reproducibility` and `hil_tooling`. " +"Its configuration SHA-256 is " +"`0117c83ff7876bf3867338f31caec160c18815a629cb1c44bfe1a4ead410590b`. The " +"candidate JSON is 2,366,210 bytes, SHA-256 " +"`f1c2af3ac73cb219b41b6d68f1c1b07db108357d0de8a92107ab7b1e8ec1ede6`. The " +"original delivery index records the exact ELF/BIN/map byte identities. " +"`hil_tooling` establishes tooling scope only; physical HIL remains " +"`not_executed`, signature status is `unsigned`, and product promotion is" +" `not_performed`." + +msgid "" +"R02 已完成两次独立 fresh、`--network none` 构建，共四条实际配置／构建命令， 均返回 0；两个独立输出的 " +"ELF／BIN 逐字节一致，原结果为 `bit_exact_elf_bin`。 所选配置是外部示例 " +"`reproduction/assemblies/qiming-baremetal.toml`：启明 F407ZG、 " +"裸机、`hse8-pll168`、`Os`、GPIO 输出和 UART1 IRQ events（容量 32），显式选择 `uart-owner`" +" 组件。该结果不扩展为其他板卡、模式或实板时序的复现结论。" +msgstr "" +"R02 completed two independent fresh builds with `--network none`: four " +"actual configure/build commands all returned 0. ELF/BIN bytes from the " +"two independent outputs are identical; the original result is " +"`bit_exact_elf_bin`. The selected input is the external example " +"`reproduction/assemblies/qiming-baremetal.toml`: Qiming F407ZG, " +"baremetal, `hse8-pll168`, `Os`, GPIO output and UART1 IRQ events with " +"capacity 32, explicitly selecting the `uart-owner` component. This " +"result does not extend to other boards, modes or physical timing." + +msgid "" +"持久导航入口是 `/workspace/nexus-examples/build/platform-candidate-fc01d863c337" +"-acb5179ec09e-01/delivery-index.json`， 4,716 bytes，SHA-256 为 " +"`5e99131826172355a95506b0293c8fe98f75cb07f3b6298f5f3805d6008caf43`。 其中 " +"`candidate_portable` 指向 6,441 个文件的完整归档：434,092,822 bytes， SHA-256 为 " +"`a443e9c3b39528d5d5fbbdd19ee1c065496cd86b8df78cb5380aab4505bf3aa9`； " +"`finalization_package` 指向保留原收尾报告和失败尝试的独立归档。 前述 `/tmp/...` " +"是原执行定位，环境恢复后不保证仍存在；按索引及 member 映射 恢复原字节，不修改原 locator。该主机路径不是公开下载 URL。" +msgstr "" +"The persistent navigation entry is `/workspace/nexus-examples/build/plat" +"form-candidate-fc01d863c337-acb5179ec09e-01/delivery-index.json`, 4,716 " +"bytes, SHA-256 " +"`5e99131826172355a95506b0293c8fe98f75cb07f3b6298f5f3805d6008caf43`. Its " +"`candidate_portable` entry identifies the complete archive of 6,441 " +"files: 434,092,822 bytes, SHA-256 " +"`a443e9c3b39528d5d5fbbdd19ee1c065496cd86b8df78cb5380aab4505bf3aa9`. " +"`finalization_package` identifies a separate archive retaining original " +"finalization reports and failed attempts. The `/tmp/...` paths above are" +" original execution locators and may no longer exist after environment " +"recovery. Restore original bytes through the index and member mapping " +"without rewriting those locators. This host path is not a public " +"download URL." + +msgid "" +"Q02 已按完整维护计划独立执行全部 159 阶段，状态为 `executed_passed`。 前后源码观察完全一致，均为 clean " +"P2；原报告 `/tmp/nexus-unification/formal-fc01d863c337-02/report.json` 为 " +"201,097 bytes， SHA-256 为 " +"`8c67786b80b5fb64cb0f6f216c1dbf4c05ddb84f61ab2ef4542fb0f55e0910a2`。 " +"维护工具已核对全部阶段、原执行顺序、命令返回码、计划和源码身份。 这是一次完整 Q02 执行，没有拼接 Q01 前缀；报告中的 " +"`software_qualified=false` 保持原值，软件计划通过不等同于候选已封存。" +msgstr "" +"Q02 independently executed all 159 stages of the complete maintained " +"plan with status `executed_passed`. Its source observations before and " +"after execution match exactly and identify clean P2. The original " +"`/tmp/nexus-unification/formal-fc01d863c337-02/report.json` is 201,097 " +"bytes, SHA-256 " +"`8c67786b80b5fb64cb0f6f216c1dbf4c05ddb84f61ab2ef4542fb0f55e0910a2`. The " +"maintained verifier checked every stage, original order, command exit " +"code, plan and source identity. This is one complete Q02 execution, " +"without a composed Q01 prefix. Its original `software_qualified=false` " +"remains unchanged: a passed software plan is not a sealed candidate." + +msgid "" +"示例 E 的完整本地执行已通过：17 个 preset（1 个 Native、16 个 ARM）、98 条实际命令、39 个 ELF 预算检查 " +"及 12 项 HIL 准备。HIL 输出为 `prepared_unbound`，不代表已连接实板或物理通过。 原执行 " +"`/tmp/nexus-examples-typed-fc01d863c337-all-001/execution.json` 为 15,662" +" bytes，SHA-256 为 " +"`c89682f4b2b30383dca2c3e845aad6170c6f4271b310886d72deb358b136348b`。 E " +"实际消费 `/tmp/nexus-unification/formal-fc01d863c337-01/sdk`；原命令保持该 " +"真实路径，不改写为 Q02 SDK。Q01 计划失败与其中已经生成的 SDK 是不同范围， 示例结果不反向将 Q01 计划变成通过。" +msgstr "" +"The complete local examples execution for E passed: 17 presets (1 Native" +" and 16 ARM), 98 actual commands, 39 ELF budget checks and 12 HIL " +"preparations. HIL outputs are `prepared_unbound`, not connected-board or" +" physical passes. The original " +"`/tmp/nexus-examples-typed-fc01d863c337-all-001/execution.json` is " +"15,662 bytes, SHA-256 " +"`c89682f4b2b30383dca2c3e845aad6170c6f4271b310886d72deb358b136348b`. E " +"actually consumed `/tmp/nexus-unification/formal-fc01d863c337-01/sdk`; " +"its original command retains that real path and is not rewritten to the " +"Q02 SDK. The failed Q01 plan and the SDK already generated within it " +"have different scopes; passing examples do not retroactively pass the " +"Q01 plan." + +msgid "" +"R01 准备阶段通过维护的 `verify_source_sdk` 分别完整校验了 Q01、Q02 的 SDK， 确认 2,931 " +"个源码文件、相同 source manifest 字节和两份 CMake export 文件一致； 记录为 " +"`verified_identical_installed_sdk_bytes`。两个 manifest 均为 370,911 bytes， " +"SHA-256 为 " +"`77c5fa4e0eb0c584b195ce92a59e8ac6129dc5d493c3e1184df89a9a5618248d`。 " +"原结果位于 `/tmp/nexus-unification/candidate-fc01d863c337-acb5179ec09e-01/rea" +"diness.json`， 8,263 bytes，SHA-256 为 " +"`378fff8b25917b86bf88d4a9e5a2613947e0f4219c6f6c94bc6cf390babfaee0`。 " +"该记录保留 E 的真实 Q01 SDK 输入；Q02 是本轮唯一完整软件计划权威。 SDK 字节等价本身不等同于双构建或候选通过。" +msgstr "" +"R01 preparation independently checked the complete Q01 and Q02 SDK " +"prefixes using the maintained `verify_source_sdk`, confirming 2,931 " +"source files, identical source-manifest bytes and matching two CMake " +"export files. The result is `verified_identical_installed_sdk_bytes`. " +"Both manifests are 370,911 bytes, SHA-256 " +"`77c5fa4e0eb0c584b195ce92a59e8ac6129dc5d493c3e1184df89a9a5618248d`. The " +"original result is `/tmp/nexus-unification/candidate-fc01d863c337-acb517" +"9ec09e-01/readiness.json`, 8,263 bytes, SHA-256 " +"`378fff8b25917b86bf88d4a9e5a2613947e0f4219c6f6c94bc6cf390babfaee0`. It " +"retains E's actual Q01 SDK input; Q02 is this iteration's sole complete " +"software-plan authority. Identical SDK bytes alone do not establish " +"passing double builds or a qualified candidate." + +msgid "" +"恢复后对 clean P2 checkout 重新执行维护的 `capabilities.py --candidate` 查询， 实际返回 " +"0，`source_match=true`，但结果为 `configuration_mismatch`。 按路径比较输入集合，SDK " +"侧额外包含摘要为 " +"`77c5fa4e0eb0c584b195ce92a59e8ac6129dc5d493c3e1184df89a9a5618248d` 的 " +"`.nexus-source-sdk.json`；输入记录顺序也不同，其余配置语义字段相同。 因此仅 " +"`configuration=validated`，模型、ARM 镜像、SDK、候选及物理查询结果仍为 " +"`not_assessed`，不因源码相同而放宽完整配置身份校验。新观察保存在 `/workspace/nexus/.git/local-rec" +"overy/typed-platform-unification/capability-recovery/comparison.json`， " +"SHA-256 为 " +"`565993a80527d4e3c2e5af7ca7a00dd4448665023b5cee18560d0ba1050f0d87`。 " +"已封存产物的正向验证入口是恢复候选后运行 `candidate.py verify --candidate`； 它与源码 checkout " +"的能力关联查询分别说明自己的范围。" +msgstr "" +"After recovery, the maintained `capabilities.py --candidate` query was " +"rerun against a clean P2 checkout and actually returned 0 with " +"`source_match=true`, but its result is `configuration_mismatch`. " +"Comparing input sets by path shows the SDK's additional " +"`.nexus-source-sdk.json`, SHA-256 " +"`77c5fa4e0eb0c584b195ce92a59e8ac6129dc5d493c3e1184df89a9a5618248d`. " +"Input-record order also differs; all other configuration semantic fields" +" are equal. Only `configuration=validated`; the model, ARM image, SDK, " +"candidate and physical-query results remain `not_assessed`. Matching " +"source does not relax full configuration-identity checks. The new " +"observation is retained at `/workspace/nexus/.git/local-recovery/typed-p" +"latform-unification/capability-recovery/comparison.json`, SHA-256 " +"`565993a80527d4e3c2e5af7ca7a00dd4448665023b5cee18560d0ba1050f0d87`. To " +"positively verify sealed artifacts, restore the candidate and run " +"`candidate.py verify --candidate`. That entry and the source-checkout " +"capability association each retain their own scope." + +msgid "" +"Q01 的前 90 阶段通过，第 91 阶段因锁定 `clang-tidy` 未进入执行 PATH 而失败， 该阶段未完成 C " +"静态分析。补齐环境并通过版本、真实 C11 probe 和 doctor 后， Q02 重新完整执行；没有拼接 Q01 前缀。Q01 " +"的失败事实仍保留；原临时报告与命令记录在环境重置后已丢失， 不能重新核验，也未改写为成功。" +msgstr "" +"Q01 passed its first 90 stages and failed at stage 91 because the locked" +" `clang-tidy` directory was absent from the execution PATH; that stage " +"did not complete C static analysis. After correcting the environment and" +" passing version checks, actual C11 probes and doctor, Q02 executed the " +"complete plan again without composing a Q01 prefix. The Q01 failure " +"remains recorded, but its original temporary report and command records " +"were lost during environment recovery and cannot be reverified; they " +"have not been relabeled as successful." + +msgid "" +"候选首次准备 R01 的 `prepare-spec` 已成功；随后辅助脚本因工具链的 65-byte installer marker " +"摘要口径不一致，在 Docker 启动前停止。独立 inventory 确认 其余字节与锁定归档一致，工具链未修改；R01 " +"原记录保留在收尾归档中。 该准备失败不冒充 R02 已实际完成的断网双构建。" +msgstr "" +"R01 successfully executed `prepare-spec`, but its helper stopped before " +"starting Docker because its toolchain digest comparison treated the " +"65-byte installer marker inconsistently. An independent inventory " +"confirmed that all other bytes match the locked archive; the toolchain " +"was unchanged. The finalization archive retains the original R01 " +"records. That failed preparation is separate from R02's actually " +"completed pair of network-disabled builds." + +msgid "" +"代码执行身份 P2 与文档提交身份分别记录。文档更新、构建和发布不会生成新的 平台软件资格。正式 schema 2 " +"文档包仅在候选实际校验通过后显式设置 `qualification_references`；其文档源码以本次包的 " +"`documentation_source` 和构建 receipt 为准，被引用候选继续保留原 P2 身份。" +msgstr "" +"Code execution identity P2 and the documentation commit are recorded " +"separately. Documentation edits, builds and publication create no new " +"platform software qualification. A formal schema-2 documentation package" +" sets explicit `qualification_references` only after the actual " +"candidate verifies. The package's own `documentation_source` and build " +"receipts identify its documentation source; a referenced candidate " +"retains its original P2 identity." + +msgid "" +"`local_ci.py` 已对完整 Q02 进行只读验证，实际返回 0；结果为 " +"`/tmp/nexus-unification/root/local-ci-full-verified.json`，2,385 " +"bytes，SHA-256 为 " +"`2bb9bbcfb51c61d26f49435b4dc6cb3650cdae340db55d7e8c4aea7386e991ca`。 " +"尝试向精确 P2 发布 `nexus/local-software-plan` 时，GitHub 返回 HTTP 403， 指出连接缺少 " +"`statuses:write`。原 receipt " +"`/tmp/nexus-unification/local-status-fc01d863.json` 的 publication 为 " +"`unconfirmed`；3,872 bytes，SHA-256 为 " +"`4fa133eb62e7767048450743710f9ec292d349dbcaf3faaf062e258508992f2a`。 " +"本次独立服务端回读该 SHA 的 statuses 为空，不能宣称状态已发布或远端绿灯。 本地验证不冒充 Actions " +"jobs、发布流水线或已启用的分支保护。" +msgstr "" +"`local_ci.py` verified the complete Q02 report read-only and actually " +"returned 0. The result " +"`/tmp/nexus-unification/root/local-ci-full-verified.json` is 2,385 " +"bytes, SHA-256 " +"`2bb9bbcfb51c61d26f49435b4dc6cb3650cdae340db55d7e8c4aea7386e991ca`. " +"Publishing `nexus/local-software-plan` to the exact P2 SHA was rejected " +"by GitHub with HTTP 403 because the connection lacks `statuses:write`. " +"The original `/tmp/nexus-unification/local-status-fc01d863.json` receipt" +" has publication `unconfirmed`; it is 3,872 bytes, SHA-256 " +"`4fa133eb62e7767048450743710f9ec292d349dbcaf3faaf062e258508992f2a`. An " +"independent server readback found no statuses for that SHA, so neither " +"successful publication nor a green remote status is claimed. Local " +"verification does not impersonate Actions jobs, a release workflow or " +"enabled branch protection." + +msgid "历史 SoC/IP 目录整理执行" +msgstr "Historical SoC/IP layout execution" + + #: ../../../../../docs/delivery/verification.md:8 #, python-brace-format msgid "" diff --git a/docs/locale/en/LC_MESSAGES/status/software-verification.po b/docs/locale/en/LC_MESSAGES/status/software-verification.po index 53b8e87ef..be186fc60 100644 --- a/docs/locale/en/LC_MESSAGES/status/software-verification.po +++ b/docs/locale/en/LC_MESSAGES/status/software-verification.po @@ -1,4 +1,4 @@ -# Independently reviewed translations; exact canonical source identity below. +# Authored translation; independent semantic review completed. msgid "" msgstr "" "Project-Id-Version: Nexus documentation\n" @@ -7,7 +7,7 @@ msgstr "" "Content-Type: text/plain; charset=UTF-8\n" "Content-Transfer-Encoding: 8bit\n" "X-Nexus-Reviewed: true\n" -"X-Nexus-Source-SHA256: a1b25e155c63dd34ef73caa0cc272c9ace92fb7d59c8a3c304240cce142b64d7\n" +"X-Nexus-Source-SHA256: 484a725528e64db1d0ed3c200238033f4f5ffe96bba408fc559a4afaaa1303d4\n" #: ../../../../tmp/nexus-quality-20261019/docs/status/software-verification.md:9 msgid "软件验证、源码身份与证据" @@ -140,6 +140,26 @@ msgstr "Exact code source" msgid "原权威及执行说明" msgstr "Original authority and execution explanation" +msgid "类型化 IR、冷态接入与交付统一" +msgstr "Typed IR, cold integration and delivery unification" + +msgid "" +"P2 `fc01d863c3374643c276195ae19a24e6f8b8c8ee`；E " +"`acb5179ec09e0c2fae1911d32655296df39acedc`" +msgstr "" +"P2 `fc01d863c3374643c276195ae19a24e6f8b8c8ee`; E " +"`acb5179ec09e0c2fae1911d32655296df39acedc`" + +msgid "" +"[精确执行说明](../delivery/verification.md)；Q02 完整 159 阶段通过，E " +"完整本地执行通过；精确配置候选及六个 scope 已通过；Q01 失败单独保留，远端状态发布未确认，物理 HIL 未执行" +msgstr "" +"[Exact execution record](../delivery/verification.md); Q02 passed all " +"159 stages and E passed its complete local execution; the " +"exact-configuration candidate passed its six scopes; Q01 failure remains" +" separate, remote status publication is unconfirmed, and physical HIL is" +" unexecuted" + msgid "SoC/IP 目录整理与原候选" msgstr "SoC/IP layout refactor and original candidate" diff --git a/docs/locale/zh_CN/LC_MESSAGES/delivery/verification.po b/docs/locale/zh_CN/LC_MESSAGES/delivery/verification.po index ddab44ac2..87921ab63 100644 --- a/docs/locale/zh_CN/LC_MESSAGES/delivery/verification.po +++ b/docs/locale/zh_CN/LC_MESSAGES/delivery/verification.po @@ -1,4 +1,4 @@ -# Authored translation; independent semantic review pending. +# Authored translation; independent semantic review completed. msgid "" msgstr "" "Project-Id-Version: Nexus source documentation\n" @@ -7,7 +7,7 @@ msgstr "" "Content-Type: text/plain; charset=UTF-8\n" "Content-Transfer-Encoding: 8bit\n" "X-Nexus-Reviewed: true\n" -"X-Nexus-Source-SHA256: 6c8c2a916b96cfe22750332e7dd3c4e71a9514d0d9b336fe98ebc306d65c7778\n" +"X-Nexus-Source-SHA256: a62df03a38c06091288449583cb81961635d0423c47a45b9b20453e56bc50ac9\n" #: ../../../workspace/nexus-build-system-20261012/docs/delivery/verification.md:1 msgid "当前证据与验收边界" @@ -23,6 +23,213 @@ msgstr "" "`implemented` 表示源码和工具已落地；验收状态以报告声明的受测代码身份为准。 " "原始报告保留各自输出路径，绑定源码、配置、依赖、工具、命令返回码和产物。" +msgid "类型化平台统一：精确源码与执行边界" +msgstr "类型化平台统一：精确源码与执行边界" + +msgid "" +"本轮代码提交 P2 为 `fc01d863c3374643c276195ae19a24e6f8b8c8ee`，tree 为 " +"`e6f3d6310fd46265be49d47ef3fd7a4d944a8386`；对应 [平台 PR " +"38](https://github.com/X-Gen-Lab/nexus/pull/38)。外部示例 E 为 " +"`acb5179ec09e0c2fae1911d32655296df39acedc`，tree 为 " +"`4e4e504c28766f0790dc4cd4dc45e8f9bcc49beb`；对应 [示例 PR " +"16](https://github.com/X-Gen-Lab/nexus-examples/pull/16)。 PR " +"状态与软件执行是不同事实；本节不宣称上述 PR 已合并。" +msgstr "" +"本轮代码提交 P2 为 `fc01d863c3374643c276195ae19a24e6f8b8c8ee`，tree 为 " +"`e6f3d6310fd46265be49d47ef3fd7a4d944a8386`；对应 [平台 PR " +"38](https://github.com/X-Gen-Lab/nexus/pull/38)。外部示例 E 为 " +"`acb5179ec09e0c2fae1911d32655296df39acedc`，tree 为 " +"`4e4e504c28766f0790dc4cd4dc45e8f9bcc49beb`；对应 [示例 PR " +"16](https://github.com/X-Gen-Lab/nexus-examples/pull/16)。 PR " +"状态与软件执行是不同事实；本节不宣称上述 PR 已合并。" + +msgid "" +"候选 `typed-unification-fc01d863c337-acb5179ec09e` 已封存并经 owned verifier " +"实际校验通过，状态为 `software_qualified`，覆盖 `host_contracts`、`arm_link`、 " +"`resource_budget`、`source_sdk`、`reproducibility` 和 `hil_tooling` 六个原 " +"scope。 配置 SHA-256 为 " +"`0117c83ff7876bf3867338f31caec160c18815a629cb1c44bfe1a4ead410590b`； 候选 " +"JSON 为 2,366,210 bytes，SHA-256 为 " +"`f1c2af3ac73cb219b41b6d68f1c1b07db108357d0de8a92107ab7b1e8ec1ede6`。 同一 " +"ELF／BIN／map 的字节身份由原交付索引逐项记录。`hil_tooling` 只证明工装范围； 物理 HIL 仍为 " +"`not_executed`，签名为 `unsigned`，产品提升为 `not_performed`。" +msgstr "" +"候选 `typed-unification-fc01d863c337-acb5179ec09e` 已封存并经 owned verifier " +"实际校验通过，状态为 `software_qualified`，覆盖 `host_contracts`、`arm_link`、 " +"`resource_budget`、`source_sdk`、`reproducibility` 和 `hil_tooling` 六个原 " +"scope。 配置 SHA-256 为 " +"`0117c83ff7876bf3867338f31caec160c18815a629cb1c44bfe1a4ead410590b`； 候选 " +"JSON 为 2,366,210 bytes，SHA-256 为 " +"`f1c2af3ac73cb219b41b6d68f1c1b07db108357d0de8a92107ab7b1e8ec1ede6`。 同一 " +"ELF／BIN／map 的字节身份由原交付索引逐项记录。`hil_tooling` 只证明工装范围； 物理 HIL 仍为 " +"`not_executed`，签名为 `unsigned`，产品提升为 `not_performed`。" + +msgid "" +"R02 已完成两次独立 fresh、`--network none` 构建，共四条实际配置／构建命令， 均返回 0；两个独立输出的 " +"ELF／BIN 逐字节一致，原结果为 `bit_exact_elf_bin`。 所选配置是外部示例 " +"`reproduction/assemblies/qiming-baremetal.toml`：启明 F407ZG、 " +"裸机、`hse8-pll168`、`Os`、GPIO 输出和 UART1 IRQ events（容量 32），显式选择 `uart-owner`" +" 组件。该结果不扩展为其他板卡、模式或实板时序的复现结论。" +msgstr "" +"R02 已完成两次独立 fresh、`--network none` 构建，共四条实际配置／构建命令， 均返回 0；两个独立输出的 " +"ELF／BIN 逐字节一致，原结果为 `bit_exact_elf_bin`。 所选配置是外部示例 " +"`reproduction/assemblies/qiming-baremetal.toml`：启明 F407ZG、 " +"裸机、`hse8-pll168`、`Os`、GPIO 输出和 UART1 IRQ events（容量 32），显式选择 `uart-owner`" +" 组件。该结果不扩展为其他板卡、模式或实板时序的复现结论。" + +msgid "" +"持久导航入口是 `/workspace/nexus-examples/build/platform-candidate-fc01d863c337" +"-acb5179ec09e-01/delivery-index.json`， 4,716 bytes，SHA-256 为 " +"`5e99131826172355a95506b0293c8fe98f75cb07f3b6298f5f3805d6008caf43`。 其中 " +"`candidate_portable` 指向 6,441 个文件的完整归档：434,092,822 bytes， SHA-256 为 " +"`a443e9c3b39528d5d5fbbdd19ee1c065496cd86b8df78cb5380aab4505bf3aa9`； " +"`finalization_package` 指向保留原收尾报告和失败尝试的独立归档。 前述 `/tmp/...` " +"是原执行定位，环境恢复后不保证仍存在；按索引及 member 映射 恢复原字节，不修改原 locator。该主机路径不是公开下载 URL。" +msgstr "" +"持久导航入口是 `/workspace/nexus-examples/build/platform-candidate-fc01d863c337" +"-acb5179ec09e-01/delivery-index.json`， 4,716 bytes，SHA-256 为 " +"`5e99131826172355a95506b0293c8fe98f75cb07f3b6298f5f3805d6008caf43`。 其中 " +"`candidate_portable` 指向 6,441 个文件的完整归档：434,092,822 bytes， SHA-256 为 " +"`a443e9c3b39528d5d5fbbdd19ee1c065496cd86b8df78cb5380aab4505bf3aa9`； " +"`finalization_package` 指向保留原收尾报告和失败尝试的独立归档。 前述 `/tmp/...` " +"是原执行定位，环境恢复后不保证仍存在；按索引及 member 映射 恢复原字节，不修改原 locator。该主机路径不是公开下载 URL。" + +msgid "" +"Q02 已按完整维护计划独立执行全部 159 阶段，状态为 `executed_passed`。 前后源码观察完全一致，均为 clean " +"P2；原报告 `/tmp/nexus-unification/formal-fc01d863c337-02/report.json` 为 " +"201,097 bytes， SHA-256 为 " +"`8c67786b80b5fb64cb0f6f216c1dbf4c05ddb84f61ab2ef4542fb0f55e0910a2`。 " +"维护工具已核对全部阶段、原执行顺序、命令返回码、计划和源码身份。 这是一次完整 Q02 执行，没有拼接 Q01 前缀；报告中的 " +"`software_qualified=false` 保持原值，软件计划通过不等同于候选已封存。" +msgstr "" +"Q02 已按完整维护计划独立执行全部 159 阶段，状态为 `executed_passed`。 前后源码观察完全一致，均为 clean " +"P2；原报告 `/tmp/nexus-unification/formal-fc01d863c337-02/report.json` 为 " +"201,097 bytes， SHA-256 为 " +"`8c67786b80b5fb64cb0f6f216c1dbf4c05ddb84f61ab2ef4542fb0f55e0910a2`。 " +"维护工具已核对全部阶段、原执行顺序、命令返回码、计划和源码身份。 这是一次完整 Q02 执行，没有拼接 Q01 前缀；报告中的 " +"`software_qualified=false` 保持原值，软件计划通过不等同于候选已封存。" + +msgid "" +"示例 E 的完整本地执行已通过：17 个 preset（1 个 Native、16 个 ARM）、98 条实际命令、39 个 ELF 预算检查 " +"及 12 项 HIL 准备。HIL 输出为 `prepared_unbound`，不代表已连接实板或物理通过。 原执行 " +"`/tmp/nexus-examples-typed-fc01d863c337-all-001/execution.json` 为 15,662" +" bytes，SHA-256 为 " +"`c89682f4b2b30383dca2c3e845aad6170c6f4271b310886d72deb358b136348b`。 E " +"实际消费 `/tmp/nexus-unification/formal-fc01d863c337-01/sdk`；原命令保持该 " +"真实路径，不改写为 Q02 SDK。Q01 计划失败与其中已经生成的 SDK 是不同范围， 示例结果不反向将 Q01 计划变成通过。" +msgstr "" +"示例 E 的完整本地执行已通过：17 个 preset（1 个 Native、16 个 ARM）、98 条实际命令、39 个 ELF 预算检查 " +"及 12 项 HIL 准备。HIL 输出为 `prepared_unbound`，不代表已连接实板或物理通过。 原执行 " +"`/tmp/nexus-examples-typed-fc01d863c337-all-001/execution.json` 为 15,662" +" bytes，SHA-256 为 " +"`c89682f4b2b30383dca2c3e845aad6170c6f4271b310886d72deb358b136348b`。 E " +"实际消费 `/tmp/nexus-unification/formal-fc01d863c337-01/sdk`；原命令保持该 " +"真实路径，不改写为 Q02 SDK。Q01 计划失败与其中已经生成的 SDK 是不同范围， 示例结果不反向将 Q01 计划变成通过。" + +msgid "" +"R01 准备阶段通过维护的 `verify_source_sdk` 分别完整校验了 Q01、Q02 的 SDK， 确认 2,931 " +"个源码文件、相同 source manifest 字节和两份 CMake export 文件一致； 记录为 " +"`verified_identical_installed_sdk_bytes`。两个 manifest 均为 370,911 bytes， " +"SHA-256 为 " +"`77c5fa4e0eb0c584b195ce92a59e8ac6129dc5d493c3e1184df89a9a5618248d`。 " +"原结果位于 `/tmp/nexus-unification/candidate-fc01d863c337-acb5179ec09e-01/rea" +"diness.json`， 8,263 bytes，SHA-256 为 " +"`378fff8b25917b86bf88d4a9e5a2613947e0f4219c6f6c94bc6cf390babfaee0`。 " +"该记录保留 E 的真实 Q01 SDK 输入；Q02 是本轮唯一完整软件计划权威。 SDK 字节等价本身不等同于双构建或候选通过。" +msgstr "" +"R01 准备阶段通过维护的 `verify_source_sdk` 分别完整校验了 Q01、Q02 的 SDK， 确认 2,931 " +"个源码文件、相同 source manifest 字节和两份 CMake export 文件一致； 记录为 " +"`verified_identical_installed_sdk_bytes`。两个 manifest 均为 370,911 bytes， " +"SHA-256 为 " +"`77c5fa4e0eb0c584b195ce92a59e8ac6129dc5d493c3e1184df89a9a5618248d`。 " +"原结果位于 `/tmp/nexus-unification/candidate-fc01d863c337-acb5179ec09e-01/rea" +"diness.json`， 8,263 bytes，SHA-256 为 " +"`378fff8b25917b86bf88d4a9e5a2613947e0f4219c6f6c94bc6cf390babfaee0`。 " +"该记录保留 E 的真实 Q01 SDK 输入；Q02 是本轮唯一完整软件计划权威。 SDK 字节等价本身不等同于双构建或候选通过。" + +msgid "" +"恢复后对 clean P2 checkout 重新执行维护的 `capabilities.py --candidate` 查询， 实际返回 " +"0，`source_match=true`，但结果为 `configuration_mismatch`。 按路径比较输入集合，SDK " +"侧额外包含摘要为 " +"`77c5fa4e0eb0c584b195ce92a59e8ac6129dc5d493c3e1184df89a9a5618248d` 的 " +"`.nexus-source-sdk.json`；输入记录顺序也不同，其余配置语义字段相同。 因此仅 " +"`configuration=validated`，模型、ARM 镜像、SDK、候选及物理查询结果仍为 " +"`not_assessed`，不因源码相同而放宽完整配置身份校验。新观察保存在 `/workspace/nexus/.git/local-rec" +"overy/typed-platform-unification/capability-recovery/comparison.json`， " +"SHA-256 为 " +"`565993a80527d4e3c2e5af7ca7a00dd4448665023b5cee18560d0ba1050f0d87`。 " +"已封存产物的正向验证入口是恢复候选后运行 `candidate.py verify --candidate`； 它与源码 checkout " +"的能力关联查询分别说明自己的范围。" +msgstr "" +"恢复后对 clean P2 checkout 重新执行维护的 `capabilities.py --candidate` 查询， 实际返回 " +"0，`source_match=true`，但结果为 `configuration_mismatch`。 按路径比较输入集合，SDK " +"侧额外包含摘要为 " +"`77c5fa4e0eb0c584b195ce92a59e8ac6129dc5d493c3e1184df89a9a5618248d` 的 " +"`.nexus-source-sdk.json`；输入记录顺序也不同，其余配置语义字段相同。 因此仅 " +"`configuration=validated`，模型、ARM 镜像、SDK、候选及物理查询结果仍为 " +"`not_assessed`，不因源码相同而放宽完整配置身份校验。新观察保存在 `/workspace/nexus/.git/local-rec" +"overy/typed-platform-unification/capability-recovery/comparison.json`， " +"SHA-256 为 " +"`565993a80527d4e3c2e5af7ca7a00dd4448665023b5cee18560d0ba1050f0d87`。 " +"已封存产物的正向验证入口是恢复候选后运行 `candidate.py verify --candidate`； 它与源码 checkout " +"的能力关联查询分别说明自己的范围。" + +msgid "" +"Q01 的前 90 阶段通过，第 91 阶段因锁定 `clang-tidy` 未进入执行 PATH 而失败， 该阶段未完成 C " +"静态分析。补齐环境并通过版本、真实 C11 probe 和 doctor 后， Q02 重新完整执行；没有拼接 Q01 前缀。Q01 " +"的失败事实仍保留；原临时报告与命令记录在环境重置后已丢失， 不能重新核验，也未改写为成功。" +msgstr "" +"Q01 的前 90 阶段通过，第 91 阶段因锁定 `clang-tidy` 未进入执行 PATH 而失败， 该阶段未完成 C " +"静态分析。补齐环境并通过版本、真实 C11 probe 和 doctor 后， Q02 重新完整执行；没有拼接 Q01 前缀。Q01 " +"的失败事实仍保留；原临时报告与命令记录在环境重置后已丢失， 不能重新核验，也未改写为成功。" + +msgid "" +"候选首次准备 R01 的 `prepare-spec` 已成功；随后辅助脚本因工具链的 65-byte installer marker " +"摘要口径不一致，在 Docker 启动前停止。独立 inventory 确认 其余字节与锁定归档一致，工具链未修改；R01 " +"原记录保留在收尾归档中。 该准备失败不冒充 R02 已实际完成的断网双构建。" +msgstr "" +"候选首次准备 R01 的 `prepare-spec` 已成功；随后辅助脚本因工具链的 65-byte installer marker " +"摘要口径不一致，在 Docker 启动前停止。独立 inventory 确认 其余字节与锁定归档一致，工具链未修改；R01 " +"原记录保留在收尾归档中。 该准备失败不冒充 R02 已实际完成的断网双构建。" + +msgid "" +"代码执行身份 P2 与文档提交身份分别记录。文档更新、构建和发布不会生成新的 平台软件资格。正式 schema 2 " +"文档包仅在候选实际校验通过后显式设置 `qualification_references`；其文档源码以本次包的 " +"`documentation_source` 和构建 receipt 为准，被引用候选继续保留原 P2 身份。" +msgstr "" +"代码执行身份 P2 与文档提交身份分别记录。文档更新、构建和发布不会生成新的 平台软件资格。正式 schema 2 " +"文档包仅在候选实际校验通过后显式设置 `qualification_references`；其文档源码以本次包的 " +"`documentation_source` 和构建 receipt 为准，被引用候选继续保留原 P2 身份。" + +msgid "" +"`local_ci.py` 已对完整 Q02 进行只读验证，实际返回 0；结果为 " +"`/tmp/nexus-unification/root/local-ci-full-verified.json`，2,385 " +"bytes，SHA-256 为 " +"`2bb9bbcfb51c61d26f49435b4dc6cb3650cdae340db55d7e8c4aea7386e991ca`。 " +"尝试向精确 P2 发布 `nexus/local-software-plan` 时，GitHub 返回 HTTP 403， 指出连接缺少 " +"`statuses:write`。原 receipt " +"`/tmp/nexus-unification/local-status-fc01d863.json` 的 publication 为 " +"`unconfirmed`；3,872 bytes，SHA-256 为 " +"`4fa133eb62e7767048450743710f9ec292d349dbcaf3faaf062e258508992f2a`。 " +"本次独立服务端回读该 SHA 的 statuses 为空，不能宣称状态已发布或远端绿灯。 本地验证不冒充 Actions " +"jobs、发布流水线或已启用的分支保护。" +msgstr "" +"`local_ci.py` 已对完整 Q02 进行只读验证，实际返回 0；结果为 " +"`/tmp/nexus-unification/root/local-ci-full-verified.json`，2,385 " +"bytes，SHA-256 为 " +"`2bb9bbcfb51c61d26f49435b4dc6cb3650cdae340db55d7e8c4aea7386e991ca`。 " +"尝试向精确 P2 发布 `nexus/local-software-plan` 时，GitHub 返回 HTTP 403， 指出连接缺少 " +"`statuses:write`。原 receipt " +"`/tmp/nexus-unification/local-status-fc01d863.json` 的 publication 为 " +"`unconfirmed`；3,872 bytes，SHA-256 为 " +"`4fa133eb62e7767048450743710f9ec292d349dbcaf3faaf062e258508992f2a`。 " +"本次独立服务端回读该 SHA 的 statuses 为空，不能宣称状态已发布或远端绿灯。 本地验证不冒充 Actions " +"jobs、发布流水线或已启用的分支保护。" + +msgid "历史 SoC/IP 目录整理执行" +msgstr "历史 SoC/IP 目录整理执行" + + #: ../../../../../docs/delivery/verification.md:8 #, python-brace-format msgid "" diff --git a/docs/locale/zh_CN/LC_MESSAGES/status/software-verification.po b/docs/locale/zh_CN/LC_MESSAGES/status/software-verification.po index 413949668..9bc21e0d5 100644 --- a/docs/locale/zh_CN/LC_MESSAGES/status/software-verification.po +++ b/docs/locale/zh_CN/LC_MESSAGES/status/software-verification.po @@ -1,4 +1,4 @@ -# Independently reviewed translations; exact canonical source identity below. +# Authored translation; independent semantic review completed. msgid "" msgstr "" "Project-Id-Version: Nexus documentation\n" @@ -7,7 +7,7 @@ msgstr "" "Content-Type: text/plain; charset=UTF-8\n" "Content-Transfer-Encoding: 8bit\n" "X-Nexus-Reviewed: true\n" -"X-Nexus-Source-SHA256: a1b25e155c63dd34ef73caa0cc272c9ace92fb7d59c8a3c304240cce142b64d7\n" +"X-Nexus-Source-SHA256: 484a725528e64db1d0ed3c200238033f4f5ffe96bba408fc559a4afaaa1303d4\n" #: ../../../../tmp/nexus-quality-20261019/docs/status/software-verification.md:9 msgid "软件验证、源码身份与证据" @@ -119,6 +119,23 @@ msgstr "精确代码源码" msgid "原权威及执行说明" msgstr "原权威及执行说明" +msgid "类型化 IR、冷态接入与交付统一" +msgstr "类型化 IR、冷态接入与交付统一" + +msgid "" +"P2 `fc01d863c3374643c276195ae19a24e6f8b8c8ee`；E " +"`acb5179ec09e0c2fae1911d32655296df39acedc`" +msgstr "" +"P2 `fc01d863c3374643c276195ae19a24e6f8b8c8ee`；E " +"`acb5179ec09e0c2fae1911d32655296df39acedc`" + +msgid "" +"[精确执行说明](../delivery/verification.md)；Q02 完整 159 阶段通过，E " +"完整本地执行通过；精确配置候选及六个 scope 已通过；Q01 失败单独保留，远端状态发布未确认，物理 HIL 未执行" +msgstr "" +"[精确执行说明](../delivery/verification.md)；Q02 完整 159 阶段通过，E " +"完整本地执行通过；精确配置候选及六个 scope 已通过；Q01 失败单独保留，远端状态发布未确认，物理 HIL 未执行" + msgid "SoC/IP 目录整理与原候选" msgstr "SoC/IP 目录整理与原候选" diff --git a/docs/status/software-verification.md b/docs/status/software-verification.md index cb888a3d1..9c17fca48 100644 --- a/docs/status/software-verification.md +++ b/docs/status/software-verification.md @@ -39,6 +39,7 @@ qualified scopes 与候选文件摘要。没有选入候选时列表为空，不 | 范围 | 精确代码源码 | 原权威及执行说明 | | --- | --- | --- | +| 类型化 IR、冷态接入与交付统一 | P2 `fc01d863c3374643c276195ae19a24e6f8b8c8ee`；E `acb5179ec09e0c2fae1911d32655296df39acedc` | [精确执行说明](../delivery/verification.md)；Q02 完整 159 阶段通过，E 完整本地执行通过；精确配置候选及六个 scope 已通过；Q01 失败单独保留，远端状态发布未确认，物理 HIL 未执行 | | SoC/IP 目录整理与原候选 | P `92e669233957a2e450a528394e8f4dd0794c7049`；E `0f15022e4d5f5c51991b134d0b9d6082dcf88de9` | [执行说明](../delivery/verification.md)、[48 项原台账](../design/soc-ip-layout-execution.csv)、[派生视图](ledgers/soc-ip-layout.md)；同一 P 的 A90＋B69 分段覆盖，原候选只覆盖其精确配置，物理 HIL 未执行 | | 开发体验迭代 P 与示例 E | P `c8df1c49d4f771a55490b3a8be32a9d1f24faa1e`；E `acb923cae407c8cfc4ac5788f8026d35c84cc841` | [结果索引](../delivery/developer-experience-results.json)保留本地完整 gate、SDK 独立消费、示例 ARM 和原始归档；不是正式软件候选 | | 构建系统及其实际软件 scopes | `cc6a065c002041234a212a964be863a69198f9b4` | [结果索引](../delivery/build-system-results.json)、[执行记录](../delivery/build-system-verification.md) |