npm - skill-family-engineering-kit - Versions diffs - 0.1.0 - Mend

skill-family-engineering-kit 0.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (80) hide show

package/CODE_OF_CONDUCT.md +131 -0
package/CONTRIBUTING.md +69 -0
package/LICENSE +201 -0
package/README.md +74 -0
package/SECURITY.md +34 -0
package/data/licensing/registry.json +211 -0
package/data/licensing/schema.json +207 -0
package/docs/.nojekyll +0 -0
package/docs/404.html +613 -0
package/docs/architecture/index.html +904 -0
package/docs/assets/images/favicon.png +0 -0
package/docs/assets/javascripts/bundle.d7400e89.min.js +16 -0
package/docs/assets/javascripts/lunr/min/lunr.ar.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.da.min.js +18 -0
package/docs/assets/javascripts/lunr/min/lunr.de.min.js +18 -0
package/docs/assets/javascripts/lunr/min/lunr.du.min.js +18 -0
package/docs/assets/javascripts/lunr/min/lunr.el.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.es.min.js +18 -0
package/docs/assets/javascripts/lunr/min/lunr.fi.min.js +18 -0
package/docs/assets/javascripts/lunr/min/lunr.fr.min.js +18 -0
package/docs/assets/javascripts/lunr/min/lunr.he.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.hi.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.hu.min.js +18 -0
package/docs/assets/javascripts/lunr/min/lunr.hy.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.it.min.js +18 -0
package/docs/assets/javascripts/lunr/min/lunr.ja.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.jp.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.kn.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.ko.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.multi.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.nl.min.js +18 -0
package/docs/assets/javascripts/lunr/min/lunr.no.min.js +18 -0
package/docs/assets/javascripts/lunr/min/lunr.pt.min.js +18 -0
package/docs/assets/javascripts/lunr/min/lunr.ro.min.js +18 -0
package/docs/assets/javascripts/lunr/min/lunr.ru.min.js +18 -0
package/docs/assets/javascripts/lunr/min/lunr.sa.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.stemmer.support.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.sv.min.js +18 -0
package/docs/assets/javascripts/lunr/min/lunr.ta.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.te.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.th.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.tr.min.js +18 -0
package/docs/assets/javascripts/lunr/min/lunr.vi.min.js +1 -0
package/docs/assets/javascripts/lunr/min/lunr.zh.min.js +1 -0
package/docs/assets/javascripts/lunr/tinyseg.js +206 -0
package/docs/assets/javascripts/lunr/wordcut.js +6708 -0
package/docs/assets/javascripts/workers/search.2c215733.min.js +42 -0
package/docs/assets/stylesheets/main.ec1eaa64.min.css +1 -0
package/docs/assets/stylesheets/palette.ab4e12ef.min.css +1 -0
package/docs/git-lifecycle/index.html +976 -0
package/docs/help/index.html +907 -0
package/docs/index.html +837 -0
package/docs/integration/audit/baseline/audit-codes.json +62 -0
package/docs/integration/audit/failure-evidence/index.html +872 -0
package/docs/integration/audit/independence/index.html +841 -0
package/docs/integration/audit/index.html +826 -0
package/docs/integration/audit/mutation-taxonomy/index.html +1022 -0
package/docs/integration/audit/schemas/audit-evidence.schema.json +182 -0
package/docs/integration/audit/version-compatibility/index.html +845 -0
package/docs/migration/index.html +1213 -0
package/docs/quickstart/index.html +842 -0
package/docs/search/search_index.json +1 -0
package/docs/setup/index.html +941 -0
package/docs/sitemap.xml +51 -0
package/package.json +42 -0
package/src/adopt-plan.mjs +594 -0
package/src/check.mjs +415 -0
package/src/cli.mjs +230 -0
package/src/errors.mjs +144 -0
package/src/gitprobe.mjs +230 -0
package/src/identity-check.mjs +563 -0
package/src/index.mjs +233 -0
package/src/license-texts/Apache-2.0.txt +201 -0
package/src/license-texts/MIT.txt +21 -0
package/src/licensing.mjs +299 -0
package/src/migration.mjs +427 -0
package/src/projection.mjs +397 -0
package/src/scaffold.mjs +178 -0
package/src/skeleton.mjs +886 -0
package/src/workspace.mjs +236 -0

package/docs/integration/audit/independence/index.html ADDED Viewed

@@ -0,0 +1,841 @@
+<!doctype html>
+<html lang="zh" class="no-js">
+  <head>
+      <meta charset="utf-8">
+      <meta name="viewport" content="width=device-width,initial-scale=1">
+        <meta name="description" content="Skill Family 生命周期公共工程基础设施父工作区">
+        <link rel="canonical" href="https://ifoohoo.github.io/skill-family-engineering-kit/integration/audit/independence/">
+        <link rel="prev" href="../mutation-taxonomy/">
+        <link rel="next" href="../version-compatibility/">
+      <link rel="icon" href="../../../assets/images/favicon.png">
+      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.7.7">
+        <title>审计独立性证明 - Skill Family Foundation</title>
+      <link rel="stylesheet" href="../../../assets/stylesheets/main.ec1eaa64.min.css">
+        <link rel="stylesheet" href="../../../assets/stylesheets/palette.ab4e12ef.min.css">
+    <script>__md_scope=new URL("../../..",location),__md_hash=e=>[...e].reduce(((e,_)=>(e<<5)-e+_.charCodeAt(0)),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
+  </head>
+    <body dir="ltr" data-md-color-scheme="default" data-md-color-primary="indigo" data-md-color-accent="indigo">
+    <input class="md-toggle" data-md-toggle="drawer" type="checkbox" id="__drawer" autocomplete="off">
+    <input class="md-toggle" data-md-toggle="search" type="checkbox" id="__search" autocomplete="off">
+    <label class="md-overlay" for="__drawer"></label>
+    <div data-md-component="skip">
+        <a href="#独立性声明与机械证明" class="md-skip">
+          跳转至
+        </a>
+    </div>
+    <div data-md-component="announce">
+    </div>
+<header class="md-header md-header--shadow" data-md-component="header">
+  <nav class="md-header__inner md-grid" aria-label="页眉">
+    <a href="../../.." title="Skill Family Foundation" class="md-header__button md-logo" aria-label="Skill Family Foundation" data-md-component="logo">
+  <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M12 8a3 3 0 0 0 3-3 3 3 0 0 0-3-3 3 3 0 0 0-3 3 3 3 0 0 0 3 3m0 3.54C9.64 9.35 6.5 8 3 8v11c3.5 0 6.64 1.35 9 3.54 2.36-2.19 5.5-3.54 9-3.54V8c-3.5 0-6.64 1.35-9 3.54"/></svg>
+    </a>
+    <label class="md-header__button md-icon" for="__drawer">
+      <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M3 6h18v2H3zm0 5h18v2H3zm0 5h18v2H3z"/></svg>
+    </label>
+    <div class="md-header__title" data-md-component="header-title">
+      <div class="md-header__ellipsis">
+        <div class="md-header__topic">
+          <span class="md-ellipsis">
+            Skill Family Foundation
+          </span>
+        </div>
+        <div class="md-header__topic" data-md-component="header-topic">
+          <span class="md-ellipsis">
+              审计独立性证明
+          </span>
+        </div>
+      </div>
+    </div>
+        <form class="md-header__option" data-md-component="palette">
+    <input class="md-option" data-md-color-media="(prefers-color-scheme: light)" data-md-color-scheme="default" data-md-color-primary="indigo" data-md-color-accent="indigo"  aria-label="切换到深色模式"  type="radio" name="__palette" id="__palette_0">
+      <label class="md-header__button md-icon" title="切换到深色模式" for="__palette_1" hidden>
+        <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M12 8a4 4 0 0 0-4 4 4 4 0 0 0 4 4 4 4 0 0 0 4-4 4 4 0 0 0-4-4m0 10a6 6 0 0 1-6-6 6 6 0 0 1 6-6 6 6 0 0 1 6 6 6 6 0 0 1-6 6m8-9.31V4h-4.69L12 .69 8.69 4H4v4.69L.69 12 4 15.31V20h4.69L12 23.31 15.31 20H20v-4.69L23.31 12z"/></svg>
+      </label>
+    <input class="md-option" data-md-color-media="(prefers-color-scheme: dark)" data-md-color-scheme="slate" data-md-color-primary="indigo" data-md-color-accent="indigo"  aria-label="切换到浅色模式"  type="radio" name="__palette" id="__palette_1">
+      <label class="md-header__button md-icon" title="切换到浅色模式" for="__palette_0" hidden>
+        <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M12 18c-.89 0-1.74-.2-2.5-.55C11.56 16.5 13 14.42 13 12s-1.44-4.5-3.5-5.45C10.26 6.2 11.11 6 12 6a6 6 0 0 1 6 6 6 6 0 0 1-6 6m8-9.31V4h-4.69L12 .69 8.69 4H4v4.69L.69 12 4 15.31V20h4.69L12 23.31 15.31 20H20v-4.69L23.31 12z"/></svg>
+      </label>
+</form>
+      <script>var palette=__md_get("__palette");if(palette&&palette.color){if("(prefers-color-scheme)"===palette.color.media){var media=matchMedia("(prefers-color-scheme: light)"),input=document.querySelector(media.matches?"[data-md-color-media='(prefers-color-scheme: light)']":"[data-md-color-media='(prefers-color-scheme: dark)']");palette.color.media=input.getAttribute("data-md-color-media"),palette.color.scheme=input.getAttribute("data-md-color-scheme"),palette.color.primary=input.getAttribute("data-md-color-primary"),palette.color.accent=input.getAttribute("data-md-color-accent")}for(var[key,value]of Object.entries(palette.color))document.body.setAttribute("data-md-color-"+key,value)}</script>
+        <label class="md-header__button md-icon" for="__search">
+          <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M9.5 3A6.5 6.5 0 0 1 16 9.5c0 1.61-.59 3.09-1.56 4.23l.27.27h.79l5 5-1.5 1.5-5-5v-.79l-.27-.27A6.52 6.52 0 0 1 9.5 16 6.5 6.5 0 0 1 3 9.5 6.5 6.5 0 0 1 9.5 3m0 2C7 5 5 7 5 9.5S7 14 9.5 14 14 12 14 9.5 12 5 9.5 5"/></svg>
+        </label>
+        <div class="md-search" data-md-component="search" role="dialog">
+  <label class="md-search__overlay" for="__search"></label>
+  <div class="md-search__inner" role="search">
+    <form class="md-search__form" name="search">
+      <input type="text" class="md-search__input" name="query" aria-label="搜索" placeholder="搜索" autocapitalize="off" autocorrect="off" autocomplete="off" spellcheck="false" data-md-component="search-query" required>
+      <label class="md-search__icon md-icon" for="__search">
+        <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M9.5 3A6.5 6.5 0 0 1 16 9.5c0 1.61-.59 3.09-1.56 4.23l.27.27h.79l5 5-1.5 1.5-5-5v-.79l-.27-.27A6.52 6.52 0 0 1 9.5 16 6.5 6.5 0 0 1 3 9.5 6.5 6.5 0 0 1 9.5 3m0 2C7 5 5 7 5 9.5S7 14 9.5 14 14 12 14 9.5 12 5 9.5 5"/></svg>
+        <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11z"/></svg>
+      </label>
+      <nav class="md-search__options" aria-label="查找">
+        <button type="reset" class="md-search__icon md-icon" title="清空当前内容" aria-label="清空当前内容" tabindex="-1">
+          <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M19 6.41 17.59 5 12 10.59 6.41 5 5 6.41 10.59 12 5 17.59 6.41 19 12 13.41 17.59 19 19 17.59 13.41 12z"/></svg>
+        </button>
+      </nav>
+    </form>
+    <div class="md-search__output">
+      <div class="md-search__scrollwrap" tabindex="0" data-md-scrollfix>
+        <div class="md-search-result" data-md-component="search-result">
+          <div class="md-search-result__meta">
+            正在初始化搜索引擎
+          </div>
+          <ol class="md-search-result__list" role="presentation"></ol>
+        </div>
+      </div>
+    </div>
+  </div>
+</div>
+  </nav>
+</header>
+    <div class="md-container" data-md-component="container">
+      <main class="md-main" data-md-component="main">
+        <div class="md-main__inner md-grid">
+              <div class="md-sidebar md-sidebar--primary" data-md-component="sidebar" data-md-type="navigation" >
+                <div class="md-sidebar__scrollwrap">
+                  <div class="md-sidebar__inner">
+<nav class="md-nav md-nav--primary" aria-label="导航栏" data-md-level="0">
+  <label class="md-nav__title" for="__drawer">
+    <a href="../../.." title="Skill Family Foundation" class="md-nav__button md-logo" aria-label="Skill Family Foundation" data-md-component="logo">
+  <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M12 8a3 3 0 0 0 3-3 3 3 0 0 0-3-3 3 3 0 0 0-3 3 3 3 0 0 0 3 3m0 3.54C9.64 9.35 6.5 8 3 8v11c3.5 0 6.64 1.35 9 3.54 2.36-2.19 5.5-3.54 9-3.54V8c-3.5 0-6.64 1.35-9 3.54"/></svg>
+    </a>
+    Skill Family Foundation
+  </label>
+  <ul class="md-nav__list" data-md-scrollfix>
+    <li class="md-nav__item">
+      <a href="../../.." class="md-nav__link">
+  <span class="md-ellipsis">
+    首页
+  </span>
+      </a>
+    </li>
+    <li class="md-nav__item">
+      <a href="../../../setup/" class="md-nav__link">
+  <span class="md-ellipsis">
+    安装与环境
+  </span>
+      </a>
+    </li>
+    <li class="md-nav__item">
+      <a href="../../../quickstart/" class="md-nav__link">
+  <span class="md-ellipsis">
+    快速开始
+  </span>
+      </a>
+    </li>
+    <li class="md-nav__item">
+      <a href="../../../git-lifecycle/" class="md-nav__link">
+  <span class="md-ellipsis">
+    Git 生命周期指南
+  </span>
+      </a>
+    </li>
+    <li class="md-nav__item">
+      <a href="../../../help/" class="md-nav__link">
+  <span class="md-ellipsis">
+    能力与诊断
+  </span>
+      </a>
+    </li>
+    <li class="md-nav__item">
+      <a href="../../../architecture/" class="md-nav__link">
+  <span class="md-ellipsis">
+    架构边界
+  </span>
+      </a>
+    </li>
+    <li class="md-nav__item">
+      <a href="../../../migration/" class="md-nav__link">
+  <span class="md-ellipsis">
+    存量采用与迁移
+  </span>
+      </a>
+    </li>
+    <li class="md-nav__item">
+      <a href="../" class="md-nav__link">
+  <span class="md-ellipsis">
+    独立审计集成
+  </span>
+      </a>
+    </li>
+    <li class="md-nav__item">
+      <a href="../mutation-taxonomy/" class="md-nav__link">
+  <span class="md-ellipsis">
+    审计变异分类学
+  </span>
+      </a>
+    </li>
+    <li class="md-nav__item md-nav__item--active">
+      <input class="md-nav__toggle md-toggle" type="checkbox" id="__toc">
+        <label class="md-nav__link md-nav__link--active" for="__toc">
+  <span class="md-ellipsis">
+    审计独立性证明
+  </span>
+          <span class="md-nav__icon md-icon"></span>
+        </label>
+      <a href="./" class="md-nav__link md-nav__link--active">
+  <span class="md-ellipsis">
+    审计独立性证明
+  </span>
+      </a>
+<nav class="md-nav md-nav--secondary" aria-label="目录">
+    <label class="md-nav__title" for="__toc">
+      <span class="md-nav__icon md-icon"></span>
+      目录
+    </label>
+    <ul class="md-nav__list" data-md-component="toc" data-md-scrollfix>
+        <li class="md-nav__item">
+  <a href="#provenance-现行事实" class="md-nav__link">
+    <span class="md-ellipsis">
+        provenance 现行事实
+    </span>
+  </a>
+</li>
+        <li class="md-nav__item">
+  <a href="#机械证明入口" class="md-nav__link">
+    <span class="md-ellipsis">
+        机械证明入口
+    </span>
+  </a>
+</li>
+        <li class="md-nav__item">
+  <a href="#反向拥有禁令" class="md-nav__link">
+    <span class="md-ellipsis">
+        反向拥有禁令
+    </span>
+  </a>
+</li>
+        <li class="md-nav__item">
+  <a href="#兼容性证明入口" class="md-nav__link">
+    <span class="md-ellipsis">
+        兼容性证明入口
+    </span>
+  </a>
+</li>
+    </ul>
+</nav>
+    </li>
+    <li class="md-nav__item">
+      <a href="../version-compatibility/" class="md-nav__link">
+  <span class="md-ellipsis">
+    审计版本兼容定义
+  </span>
+      </a>
+    </li>
+    <li class="md-nav__item">
+      <a href="../failure-evidence/" class="md-nav__link">
+  <span class="md-ellipsis">
+    审计失败证据与 AUD 码
+  </span>
+      </a>
+    </li>
+  </ul>
+</nav>
+                  </div>
+                </div>
+              </div>
+              <div class="md-sidebar md-sidebar--secondary" data-md-component="sidebar" data-md-type="toc" >
+                <div class="md-sidebar__scrollwrap">
+                  <div class="md-sidebar__inner">
+<nav class="md-nav md-nav--secondary" aria-label="目录">
+    <label class="md-nav__title" for="__toc">
+      <span class="md-nav__icon md-icon"></span>
+      目录
+    </label>
+    <ul class="md-nav__list" data-md-component="toc" data-md-scrollfix>
+        <li class="md-nav__item">
+  <a href="#provenance-现行事实" class="md-nav__link">
+    <span class="md-ellipsis">
+        provenance 现行事实
+    </span>
+  </a>
+</li>
+        <li class="md-nav__item">
+  <a href="#机械证明入口" class="md-nav__link">
+    <span class="md-ellipsis">
+        机械证明入口
+    </span>
+  </a>
+</li>
+        <li class="md-nav__item">
+  <a href="#反向拥有禁令" class="md-nav__link">
+    <span class="md-ellipsis">
+        反向拥有禁令
+    </span>
+  </a>
+</li>
+        <li class="md-nav__item">
+  <a href="#兼容性证明入口" class="md-nav__link">
+    <span class="md-ellipsis">
+        兼容性证明入口
+    </span>
+  </a>
+</li>
+    </ul>
+</nav>
+                  </div>
+                </div>
+              </div>
+            <div class="md-content" data-md-component="content">
+              <article class="md-content__inner md-typeset">
+<h1 id="独立性声明与机械证明">独立性声明与机械证明<a class="headerlink" href="#独立性声明与机械证明" title="Permanent link">&para;</a></h1>
+<p>FND-060 的验收要求：审计 fixture、预期值和裁决<strong>不来自生成器</strong>；Audit 不依赖 Kit。本页的现行事实是：本仓库不存在独立的第二审阅会话，审计树是产品侧的机械验证设施。机械证明能够证明的是<strong>产品侧输入隔离与兼容性</strong>，不证明作者、模型或认知独立；外部最终接受由仓外独立复审承担。</p>
+<h2 id="provenance-现行事实">provenance 现行事实<a class="headerlink" href="#provenance-现行事实" title="Permanent link">&para;</a></h2>
+<ul>
+<li>全部 18 个变异 fixture 的 provenance 为 <code>product-fixture</code>：产品侧维护的测试语料。预期由产品侧对照合同文档推导（schema 约束 required/pattern/additionalProperties、登记表成员资格、kernel 词表与 params 契约、错误码 append-only 语义），不复用生成器自测预期表，不读取 oracle 判据；这一输入隔离由下方 P4/P5/P6 机械强制。</li>
+<li>基线 pin 的 provenance 为 <code>product-compatibility-fixture</code>：产品侧维护的兼容基线。摘要来自对已冻结产物的 <code>digestAuditSurface()</code> 机械计算，事实清单直接对照合同文档推导。</li>
+<li>它们证明产品侧输入隔离和兼容性，<strong>不证明作者、模型或认知独立</strong>。fixture 与 pin 背后的作者、模型或认知过程是否独立于其他项目参与者，不是仓内机械检查可以证明的对象。</li>
+<li><strong>外部最终接受</strong>：实现者自测与本页机械证明都只形成待审证据，最终接受由仓外独立复审承担。</li>
+<li><strong>诚实性纠错</strong>：旧 fixture 与 pin 曾携带 <code>independent-r2</code> provenance 和独立作者叙事（含作者阅读史声明），与本仓事实不符；provenance 已修正为上述如实词汇，本页随之重写。纠错只触及 provenance、note 与文案等诚实性字段，不改变任何 digest、facts、fixture 内容或机械证明行为。</li>
+</ul>
+<h2 id="机械证明入口">机械证明入口<a class="headerlink" href="#机械证明入口" title="Permanent link">&para;</a></h2>
+<pre><code class="language-bash">node docs/integration/audit/runner/proof-independence.mjs
+</code></pre>
+<p>证明检查与结论：</p>
+<table>
+<thead>
+<tr>
+<th>检查</th>
+<th>结论</th>
+</tr>
+</thead>
+<tbody>
+<tr>
+<td>P0-modules</td>
+<td>收集到全部审计模块（证明范围完备）</td>
+</tr>
+<tr>
+<td>P1-imports</td>
+<td>全部 import 只允许 <code>node:</code> 内建与相对路径，且相对说明符的解析域被限制在审计树或 contracts 包内（杜绝相对路径绕到生成器/oracle 模块）；禁止 engineering-kit / harness / 第三方包 → <strong>Audit 不依赖 Kit</strong></td>
+</tr>
+<tr>
+<td>P2-contracts-site</td>
+<td>Contracts 只在唯一声明点（<code>lib/contracts-client.mjs</code>）被导入</td>
+</tr>
+<tr>
+<td>P3-chokepoint</td>
+<td>文件读取只经过两个声明读取点：<code>lib/guard.mjs</code>（审计树内，裁决输入）与 <code>lib/consumed-package.mjs</code>（被消费包根内，锁验证）；只读 API；全树无任何写 API</td>
+</tr>
+<tr>
+<td>P4-refusal</td>
+<td>现场拒读演示：对生成器自测运行器、oracle 判据、oracle 运行器、fixture README、profiles、kit 入口、harness 入口逐一尝试读取，全部被 guard 以 AUD-IND-001 拒绝</td>
+</tr>
+<tr>
+<td>P5-provenance</td>
+<td>全部变异 fixture 的 provenance 为 <code>product-fixture</code>，基线 pin 的 provenance 在声明词汇表内（当前唯一成员 <code>product-compatibility-fixture</code>）；任何沿用旧独立角色 provenance 词汇的工件都会被判违规</td>
+</tr>
+<tr>
+<td>P6-literals</td>
+<td>除证明脚本自身（拒读演示者，受 P4 约束）外，任何审计模块的字符串字面量都不得点名生成器自测表或 oracle 判据文件</td>
+</tr>
+</tbody>
+</table>
+<p><strong>推理链与能力边界</strong>：P3 保证裁决输入只能来自审计树；P4 证明生成器/oracle 工件在运行时不可读；P6 证明其文件名在代码中不可引用；P5 机械禁止旧独立角色 provenance 词汇回潮。因此运行时不存在任何把生成器预期变成审计判据的路径——这证明的是<strong>产品侧输入隔离</strong>。作者、模型或认知是否独立不在机械证明能力之内，由仓外独立复审承担最终接受。</p>
+<h2 id="反向拥有禁令">反向拥有禁令<a class="headerlink" href="#反向拥有禁令" title="Permanent link">&para;</a></h2>
+<p>Contracts 侧新增的 <code>src/audit-surface.mjs</code> 是纯只读投影：不接收回调、不注册任何东西、不 import 任何审计工件；<code>packages/skill-family-contracts/test/audit-surface.test.mjs</code> 含一条机械测试，断言该模块的 import 全部为 <code>node:</code> 或本地相对模块，且源码不出现 integration/audit、engineering-kit、harness 字样。依赖方向恒为 Audit → Contracts。</p>
+<h2 id="兼容性证明入口">兼容性证明入口<a class="headerlink" href="#兼容性证明入口" title="Permanent link">&para;</a></h2>
+<p>变异重放与基线 pin 的比对（摘要、事实清单、引擎参数完整性）见 <a href="../version-compatibility/">version-compatibility.md</a> 与 isolation-and-lockfile.md；分类学见 <a href="../mutation-taxonomy/">mutation-taxonomy.md</a>。pin 是产品侧兼容基线（<code>product-compatibility-fixture</code>），证明被消费的 Contracts 包与冻结基线字节一致、校验语义一致，同样不作任何独立角色声称。</p>
+              </article>
+            </div>
+<script>var target=document.getElementById(location.hash.slice(1));target&&target.name&&(target.checked=target.name.startsWith("__tabbed_"))</script>
+        </div>
+      </main>
+        <footer class="md-footer">
+  <div class="md-footer-meta md-typeset">
+    <div class="md-footer-meta__inner md-grid">
+      <div class="md-copyright">
+    Made with
+    <a href="https://squidfunk.github.io/mkdocs-material/" target="_blank" rel="noopener">
+      Material for MkDocs
+    </a>
+</div>
+    </div>
+  </div>
+</footer>
+    </div>
+    <div class="md-dialog" data-md-component="dialog">
+      <div class="md-dialog__inner md-typeset"></div>
+    </div>
+      <script id="__config" type="application/json">{"annotate": null, "base": "../../..", "features": [], "search": "../../../assets/javascripts/workers/search.2c215733.min.js", "tags": null, "translations": {"clipboard.copied": "\u5df2\u590d\u5236", "clipboard.copy": "\u590d\u5236", "search.result.more.one": "\u5728\u8be5\u9875\u4e0a\u8fd8\u6709 1 \u4e2a\u7b26\u5408\u6761\u4ef6\u7684\u7ed3\u679c", "search.result.more.other": "\u5728\u8be5\u9875\u4e0a\u8fd8\u6709 # \u4e2a\u7b26\u5408\u6761\u4ef6\u7684\u7ed3\u679c", "search.result.none": "\u6ca1\u6709\u627e\u5230\u7b26\u5408\u6761\u4ef6\u7684\u7ed3\u679c", "search.result.one": "\u627e\u5230 1 \u4e2a\u7b26\u5408\u6761\u4ef6\u7684\u7ed3\u679c", "search.result.other": "# \u4e2a\u7b26\u5408\u6761\u4ef6\u7684\u7ed3\u679c", "search.result.placeholder": "\u952e\u5165\u4ee5\u5f00\u59cb\u641c\u7d22", "search.result.term.missing": "\u7f3a\u5c11", "select.version": "\u9009\u62e9\u5f53\u524d\u7248\u672c"}, "version": null}</script>
+      <script src="../../../assets/javascripts/bundle.d7400e89.min.js"></script>
+  </body>
+</html>