skill-family-engineering-kit 0.2.0 → 0.3.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 (74) hide show
  1. package/CHANGELOG.md +43 -0
  2. package/CHANGELOG.zh-CN.md +43 -0
  3. package/NOTICE +10 -0
  4. package/README.md +160 -55
  5. package/README.zh-CN.md +210 -0
  6. package/candidate/index.mjs +4 -0
  7. package/candidate/profile-bundle.mjs +1150 -0
  8. package/candidate/projection-bundle-cli.mjs +64 -0
  9. package/candidate/skill-naming-cli.mjs +59 -0
  10. package/candidate/skill-naming-policy.json +46 -0
  11. package/candidate/skill-naming.mjs +280 -0
  12. package/docs/404.html +1434 -408
  13. package/docs/agents/architecture-routing/index.html +1944 -0
  14. package/docs/agents/capability-catalog.en.json +1564 -0
  15. package/docs/agents/capability-catalog.json +935 -0
  16. package/docs/agents/capability-catalog.schema.json +179 -0
  17. package/docs/agents/capability-catalog.zh-CN.json +1564 -0
  18. package/docs/agents/index.html +1914 -0
  19. package/docs/architecture/index.html +1706 -497
  20. package/docs/assets/javascripts/lunr/tinyseg.js +2 -2
  21. package/docs/assets/javascripts/lunr/wordcut.js +37 -37
  22. package/docs/en/agents/architecture-routing/index.html +1944 -0
  23. package/docs/en/agents/index.html +1925 -0
  24. package/docs/en/architecture/index.html +2187 -0
  25. package/docs/en/examples-and-fixtures/index.html +1888 -0
  26. package/docs/en/help/index.html +2035 -0
  27. package/docs/en/index.html +1895 -0
  28. package/docs/en/licensing/index.html +1917 -0
  29. package/docs/en/migration/index.html +2335 -0
  30. package/docs/en/quickstart/index.html +1919 -0
  31. package/docs/en/recipes/adapter-text-closure/index.html +2000 -0
  32. package/docs/en/recipes/adopt-existing-repository/index.html +1987 -0
  33. package/docs/en/recipes/deterministic-human-report/index.html +1998 -0
  34. package/docs/en/recipes/domain-schema-validation/index.html +2009 -0
  35. package/docs/en/recipes/durable-local-state/index.html +2009 -0
  36. package/docs/en/recipes/host-profile-integration/index.html +2001 -0
  37. package/docs/en/recipes/index.html +1877 -0
  38. package/docs/en/recipes/safe-filesystem-and-atomic-write/index.html +1994 -0
  39. package/docs/en/reference/api/index.html +1941 -0
  40. package/docs/en/reference/compatibility/index.html +2036 -0
  41. package/docs/en/reference/failure-and-side-effect-matrix/index.html +2216 -0
  42. package/docs/examples-and-fixtures/index.html +1871 -0
  43. package/docs/git-lifecycle/index.html +1508 -482
  44. package/docs/help/index.html +1655 -554
  45. package/docs/index.html +1479 -450
  46. package/docs/integration/audit/failure-evidence/index.html +1488 -462
  47. package/docs/integration/audit/independence/index.html +1513 -487
  48. package/docs/integration/audit/index.html +1514 -488
  49. package/docs/integration/audit/mutation-taxonomy/index.html +1548 -522
  50. package/docs/integration/audit/version-compatibility/index.html +1489 -463
  51. package/docs/licensing/index.html +1917 -0
  52. package/docs/migration/index.html +1679 -586
  53. package/docs/public/status/index.html +1542 -516
  54. package/docs/quickstart/index.html +1589 -539
  55. package/docs/recipes/adapter-text-closure/index.html +2000 -0
  56. package/docs/recipes/adopt-existing-repository/index.html +1987 -0
  57. package/docs/recipes/deterministic-human-report/index.html +1998 -0
  58. package/docs/recipes/domain-schema-validation/index.html +2009 -0
  59. package/docs/recipes/durable-local-state/index.html +2009 -0
  60. package/docs/recipes/host-profile-integration/index.html +2001 -0
  61. package/docs/recipes/index.html +1877 -0
  62. package/docs/recipes/safe-filesystem-and-atomic-write/index.html +1994 -0
  63. package/docs/reference/api/contracts/index.html +2558 -0
  64. package/docs/reference/api/engineering-kit/index.html +2577 -0
  65. package/docs/reference/api/harness/index.html +2634 -0
  66. package/docs/reference/api/index.html +1881 -0
  67. package/docs/reference/compatibility/index.html +2036 -0
  68. package/docs/reference/failure-and-side-effect-matrix/index.html +2216 -0
  69. package/docs/search/search_index.json +1 -1
  70. package/docs/setup/index.html +1494 -468
  71. package/docs/sitemap.xml +152 -0
  72. package/package.json +16 -5
  73. package/release-notes/0.2.1.yaml +23 -0
  74. package/release-notes/0.3.0.yaml +25 -0
@@ -2,100 +2,100 @@
2
2
  <!doctype html>
3
3
  <html lang="zh" class="no-js">
4
4
  <head>
5
-
5
+
6
6
  <meta charset="utf-8">
7
7
  <meta name="viewport" content="width=device-width,initial-scale=1">
8
-
8
+
9
9
  <meta name="description" content="Skill Family 生命周期公共工程基础设施父工作区">
10
-
11
-
12
-
10
+
11
+
12
+
13
13
  <link rel="canonical" href="https://ifoohoo.github.io/skill-family-engineering-kit/integration/audit/independence/">
14
-
15
-
14
+
15
+
16
16
  <link rel="prev" href="../mutation-taxonomy/">
17
-
18
-
17
+
18
+
19
19
  <link rel="next" href="../version-compatibility/">
20
-
21
-
22
-
23
-
24
-
20
+
21
+
22
+
23
+
24
+
25
25
  <link rel="icon" href="../../../assets/images/favicon.png">
26
26
  <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.7.7">
27
-
28
-
29
-
30
- <title>审计独立性证明 - Skill Family Foundation</title>
31
-
32
-
33
-
27
+
28
+
29
+
30
+ <title>审计集成 · 独立性证明 - Skill Family Foundation</title>
31
+
32
+
33
+
34
34
  <link rel="stylesheet" href="../../../assets/stylesheets/main.ec1eaa64.min.css">
35
-
36
-
35
+
36
+
37
37
  <link rel="stylesheet" href="../../../assets/stylesheets/palette.ab4e12ef.min.css">
38
-
39
-
40
-
41
-
42
-
43
-
44
-
45
-
46
-
47
-
48
-
49
-
38
+
39
+
40
+
41
+
42
+
43
+
44
+
45
+
46
+
47
+
48
+
49
+
50
50
  <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>
51
-
52
-
53
51
 
54
-
55
-
52
+
53
+
54
+
55
+
56
56
  </head>
57
-
58
-
59
-
60
-
61
-
62
-
63
-
64
-
65
-
57
+
58
+
59
+
60
+
61
+
62
+
63
+
64
+
65
+
66
66
  <body dir="ltr" data-md-color-scheme="default" data-md-color-primary="indigo" data-md-color-accent="indigo">
67
-
68
-
67
+
68
+
69
69
  <input class="md-toggle" data-md-toggle="drawer" type="checkbox" id="__drawer" autocomplete="off">
70
70
  <input class="md-toggle" data-md-toggle="search" type="checkbox" id="__search" autocomplete="off">
71
71
  <label class="md-overlay" for="__drawer"></label>
72
72
  <div data-md-component="skip">
73
-
74
-
73
+
74
+
75
75
  <a href="#独立性声明与机械证明" class="md-skip">
76
76
  跳转至
77
77
  </a>
78
-
78
+
79
79
  </div>
80
80
  <div data-md-component="announce">
81
-
81
+
82
82
  </div>
83
-
84
-
85
-
86
83
 
87
-
84
+
85
+
86
+
87
+
88
88
 
89
89
  <header class="md-header md-header--shadow" data-md-component="header">
90
90
  <nav class="md-header__inner md-grid" aria-label="页眉">
91
91
  <a href="../../.." title="Skill Family Foundation" class="md-header__button md-logo" aria-label="Skill Family Foundation" data-md-component="logo">
92
-
93
-
92
+
93
+
94
94
  <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>
95
95
 
96
96
  </a>
97
97
  <label class="md-header__button md-icon" for="__drawer">
98
-
98
+
99
99
  <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M3 6h18v2H3zm0 5h18v2H3zm0 5h18v2H3z"/></svg>
100
100
  </label>
101
101
  <div class="md-header__title" data-md-component="header-title">
@@ -107,49 +107,49 @@
107
107
  </div>
108
108
  <div class="md-header__topic" data-md-component="header-topic">
109
109
  <span class="md-ellipsis">
110
-
111
- 审计独立性证明
112
-
110
+
111
+ 审计集成 · 独立性证明
112
+
113
113
  </span>
114
114
  </div>
115
115
  </div>
116
116
  </div>
117
-
118
-
117
+
118
+
119
119
  <form class="md-header__option" data-md-component="palette">
120
-
121
-
122
-
123
-
120
+
121
+
122
+
123
+
124
124
  <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">
125
-
125
+
126
126
  <label class="md-header__button md-icon" title="切换到深色模式" for="__palette_1" hidden>
127
127
  <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>
128
128
  </label>
129
-
130
-
131
-
132
-
133
-
129
+
130
+
131
+
132
+
133
+
134
134
  <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">
135
-
135
+
136
136
  <label class="md-header__button md-icon" title="切换到浅色模式" for="__palette_0" hidden>
137
137
  <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>
138
138
  </label>
139
-
140
-
139
+
140
+
141
141
  </form>
142
-
143
-
144
-
142
+
143
+
144
+
145
145
  <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>
146
-
147
-
148
-
149
-
150
-
146
+
147
+
148
+
149
+
150
+
151
151
  <label class="md-header__button md-icon" for="__search">
152
-
152
+
153
153
  <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>
154
154
  </label>
155
155
  <div class="md-search" data-md-component="search" role="dialog">
@@ -158,19 +158,19 @@
158
158
  <form class="md-search__form" name="search">
159
159
  <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>
160
160
  <label class="md-search__icon md-icon" for="__search">
161
-
161
+
162
162
  <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>
163
-
163
+
164
164
  <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>
165
165
  </label>
166
166
  <nav class="md-search__options" aria-label="查找">
167
-
167
+
168
168
  <button type="reset" class="md-search__icon md-icon" title="清空当前内容" aria-label="清空当前内容" tabindex="-1">
169
-
169
+
170
170
  <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>
171
171
  </button>
172
172
  </nav>
173
-
173
+
174
174
  </form>
175
175
  <div class="md-search__output">
176
176
  <div class="md-search__scrollwrap" tabindex="0" data-md-scrollfix>
@@ -184,571 +184,1597 @@
184
184
  </div>
185
185
  </div>
186
186
  </div>
187
-
188
-
189
-
187
+
188
+
189
+
190
190
  </nav>
191
-
191
+
192
192
  </header>
193
-
193
+
194
194
  <div class="md-container" data-md-component="container">
195
-
196
-
197
-
198
-
199
-
200
-
195
+
196
+
197
+
198
+
199
+
200
+
201
201
  <main class="md-main" data-md-component="main">
202
202
  <div class="md-main__inner md-grid">
203
-
204
-
205
-
203
+
204
+
205
+
206
206
  <div class="md-sidebar md-sidebar--primary" data-md-component="sidebar" data-md-type="navigation" >
207
207
  <div class="md-sidebar__scrollwrap">
208
208
  <div class="md-sidebar__inner">
209
-
210
209
 
211
210
 
212
211
 
213
- <nav class="md-nav md-nav--primary" aria-label="导航栏" data-md-level="0">
214
- <label class="md-nav__title" for="__drawer">
215
- <a href="../../.." title="Skill Family Foundation" class="md-nav__button md-logo" aria-label="Skill Family Foundation" data-md-component="logo">
216
-
217
-
218
- <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>
219
212
 
220
- </a>
221
- Skill Family Foundation
222
- </label>
223
-
224
- <ul class="md-nav__list" data-md-scrollfix>
225
-
226
-
227
-
228
-
229
-
230
-
231
-
213
+ <nav class="md-nav md-nav--primary" aria-label="导航栏" data-md-level="0">
214
+ <label class="md-nav__title" for="__drawer">
215
+ <a href="../../.." title="Skill Family Foundation" class="md-nav__button md-logo" aria-label="Skill Family Foundation" data-md-component="logo">
216
+
217
+
218
+ <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>
219
+
220
+ </a>
221
+ Skill Family Foundation
222
+ </label>
223
+
224
+ <ul class="md-nav__list" data-md-scrollfix>
225
+
226
+
227
+
228
+
229
+
230
+
231
+
232
+ <li class="md-nav__item">
233
+ <a href="../../.." class="md-nav__link">
234
+
235
+
236
+
237
+ <span class="md-ellipsis">
238
+
239
+
240
+ 中文 · 首页
241
+
242
+
243
+
244
+ </span>
245
+
246
+
247
+
248
+ </a>
249
+ </li>
250
+
251
+
252
+
253
+
254
+
255
+
256
+
257
+
258
+
259
+ <li class="md-nav__item">
260
+ <a href="../../../setup/" class="md-nav__link">
261
+
262
+
263
+
264
+ <span class="md-ellipsis">
265
+
266
+
267
+ 中文 · 安装与环境
268
+
269
+
270
+
271
+ </span>
272
+
273
+
274
+
275
+ </a>
276
+ </li>
277
+
278
+
279
+
280
+
281
+
282
+
283
+
284
+
285
+
286
+ <li class="md-nav__item">
287
+ <a href="../../../quickstart/" class="md-nav__link">
288
+
289
+
290
+
291
+ <span class="md-ellipsis">
292
+
293
+
294
+ 中文 · 快速开始
295
+
296
+
297
+
298
+ </span>
299
+
300
+
301
+
302
+ </a>
303
+ </li>
304
+
305
+
306
+
307
+
308
+
309
+
310
+
311
+
312
+
313
+ <li class="md-nav__item">
314
+ <a href="../../../git-lifecycle/" class="md-nav__link">
315
+
316
+
317
+
318
+ <span class="md-ellipsis">
319
+
320
+
321
+ 中文 · Git 生命周期指南
322
+
323
+
324
+
325
+ </span>
326
+
327
+
328
+
329
+ </a>
330
+ </li>
331
+
332
+
333
+
334
+
335
+
336
+
337
+
338
+
339
+
340
+ <li class="md-nav__item">
341
+ <a href="../../../help/" class="md-nav__link">
342
+
343
+
344
+
345
+ <span class="md-ellipsis">
346
+
347
+
348
+ 中文 · 能力与诊断
349
+
350
+
351
+
352
+ </span>
353
+
354
+
355
+
356
+ </a>
357
+ </li>
358
+
359
+
360
+
361
+
362
+
363
+
364
+
365
+
366
+
367
+ <li class="md-nav__item">
368
+ <a href="../../../architecture/" class="md-nav__link">
369
+
370
+
371
+
372
+ <span class="md-ellipsis">
373
+
374
+
375
+ 中文 · 架构边界
376
+
377
+
378
+
379
+ </span>
380
+
381
+
382
+
383
+ </a>
384
+ </li>
385
+
386
+
387
+
388
+
389
+
390
+
391
+
392
+
393
+
394
+ <li class="md-nav__item">
395
+ <a href="../../../public/status/" class="md-nav__link">
396
+
397
+
398
+
399
+ <span class="md-ellipsis">
400
+
401
+
402
+ 中文 · 公开状态
403
+
404
+
405
+
406
+ </span>
407
+
408
+
409
+
410
+ </a>
411
+ </li>
412
+
413
+
414
+
415
+
416
+
417
+
418
+
419
+
420
+
421
+ <li class="md-nav__item">
422
+ <a href="../../../migration/" class="md-nav__link">
423
+
424
+
425
+
426
+ <span class="md-ellipsis">
427
+
428
+
429
+ 中文 · 存量采用与迁移
430
+
431
+
432
+
433
+ </span>
434
+
435
+
436
+
437
+ </a>
438
+ </li>
439
+
440
+
441
+
442
+
443
+
444
+
445
+
446
+
447
+
448
+ <li class="md-nav__item">
449
+ <a href="../../../licensing/" class="md-nav__link">
450
+
451
+
452
+
453
+ <span class="md-ellipsis">
454
+
455
+
456
+ 中文 · 许可与署名
457
+
458
+
459
+
460
+ </span>
461
+
462
+
463
+
464
+ </a>
465
+ </li>
466
+
467
+
468
+
469
+
470
+
471
+
472
+
473
+
474
+
475
+ <li class="md-nav__item">
476
+ <a href="../../../agents/" class="md-nav__link">
477
+
478
+
479
+
480
+ <span class="md-ellipsis">
481
+
482
+
483
+ 中文 · 智能体入口
484
+
485
+
486
+
487
+ </span>
488
+
489
+
490
+
491
+ </a>
492
+ </li>
493
+
494
+
495
+
496
+
497
+
498
+
499
+
500
+
501
+
502
+ <li class="md-nav__item">
503
+ <a href="../../../agents/architecture-routing/" class="md-nav__link">
504
+
505
+
506
+
507
+ <span class="md-ellipsis">
508
+
509
+
510
+ 中文 · 架构路由
511
+
512
+
513
+
514
+ </span>
515
+
516
+
517
+
518
+ </a>
519
+ </li>
520
+
521
+
522
+
523
+
524
+
525
+
526
+
527
+
528
+
529
+ <li class="md-nav__item">
530
+ <a href="../../../reference/compatibility/" class="md-nav__link">
531
+
532
+
533
+
534
+ <span class="md-ellipsis">
535
+
536
+
537
+ 中文 · 兼容性
538
+
539
+
540
+
541
+ </span>
542
+
543
+
544
+
545
+ </a>
546
+ </li>
547
+
548
+
549
+
550
+
551
+
552
+
553
+
554
+
555
+
556
+ <li class="md-nav__item">
557
+ <a href="../../../reference/failure-and-side-effect-matrix/" class="md-nav__link">
558
+
559
+
560
+
561
+ <span class="md-ellipsis">
562
+
563
+
564
+ 中文 · 失败与副作用
565
+
566
+
567
+
568
+ </span>
569
+
570
+
571
+
572
+ </a>
573
+ </li>
574
+
575
+
576
+
577
+
578
+
579
+
580
+
581
+
582
+
583
+ <li class="md-nav__item">
584
+ <a href="../../../reference/api/" class="md-nav__link">
585
+
586
+
587
+
588
+ <span class="md-ellipsis">
589
+
590
+
591
+ 中文 · API 参考
592
+
593
+
594
+
595
+ </span>
596
+
597
+
598
+
599
+ </a>
600
+ </li>
601
+
602
+
603
+
604
+
605
+
606
+
607
+
608
+
609
+
610
+ <li class="md-nav__item">
611
+ <a href="../../../reference/api/contracts/" class="md-nav__link">
612
+
613
+
614
+
615
+ <span class="md-ellipsis">
616
+
617
+
618
+ 中文 · Contracts API
619
+
620
+
621
+
622
+ </span>
623
+
624
+
625
+
626
+ </a>
627
+ </li>
628
+
629
+
630
+
631
+
632
+
633
+
634
+
635
+
636
+
637
+ <li class="md-nav__item">
638
+ <a href="../../../reference/api/harness/" class="md-nav__link">
639
+
640
+
641
+
642
+ <span class="md-ellipsis">
643
+
644
+
645
+ 中文 · Harness API
646
+
647
+
648
+
649
+ </span>
650
+
651
+
652
+
653
+ </a>
654
+ </li>
655
+
656
+
657
+
658
+
659
+
660
+
661
+
662
+
663
+
664
+ <li class="md-nav__item">
665
+ <a href="../../../reference/api/engineering-kit/" class="md-nav__link">
666
+
667
+
668
+
669
+ <span class="md-ellipsis">
670
+
671
+
672
+ 中文 · Engineering Kit API
673
+
674
+
675
+
676
+ </span>
677
+
678
+
679
+
680
+ </a>
681
+ </li>
682
+
683
+
684
+
685
+
686
+
687
+
688
+
689
+
690
+
691
+ <li class="md-nav__item">
692
+ <a href="../../../examples-and-fixtures/" class="md-nav__link">
693
+
694
+
695
+
696
+ <span class="md-ellipsis">
697
+
698
+
699
+ 中文 · 样例与 Fixture
700
+
701
+
702
+
703
+ </span>
704
+
705
+
706
+
707
+ </a>
708
+ </li>
709
+
710
+
711
+
712
+
713
+
714
+
715
+
716
+
717
+
718
+ <li class="md-nav__item">
719
+ <a href="../../../recipes/" class="md-nav__link">
720
+
721
+
722
+
723
+ <span class="md-ellipsis">
724
+
725
+
726
+ 中文 · Recipes
727
+
728
+
729
+
730
+ </span>
731
+
732
+
733
+
734
+ </a>
735
+ </li>
736
+
737
+
738
+
739
+
740
+
741
+
742
+
743
+
744
+
745
+ <li class="md-nav__item">
746
+ <a href="../../../recipes/adopt-existing-repository/" class="md-nav__link">
747
+
748
+
749
+
750
+ <span class="md-ellipsis">
751
+
752
+
753
+ 中文 · 采用存量仓库
754
+
755
+
756
+
757
+ </span>
758
+
759
+
760
+
761
+ </a>
762
+ </li>
763
+
764
+
765
+
766
+
767
+
768
+
769
+
770
+
771
+
772
+ <li class="md-nav__item">
773
+ <a href="../../../recipes/safe-filesystem-and-atomic-write/" class="md-nav__link">
774
+
775
+
776
+
777
+ <span class="md-ellipsis">
778
+
779
+
780
+ 中文 · 安全文件系统与原子写
781
+
782
+
783
+
784
+ </span>
785
+
786
+
787
+
788
+ </a>
789
+ </li>
790
+
791
+
792
+
793
+
794
+
795
+
796
+
797
+
798
+
799
+ <li class="md-nav__item">
800
+ <a href="../../../recipes/adapter-text-closure/" class="md-nav__link">
801
+
802
+
803
+
804
+ <span class="md-ellipsis">
805
+
806
+
807
+ 中文 · Adapter 文本闭包
808
+
809
+
810
+
811
+ </span>
812
+
813
+
814
+
815
+ </a>
816
+ </li>
817
+
818
+
819
+
820
+
821
+
822
+
823
+
824
+
825
+
826
+ <li class="md-nav__item">
827
+ <a href="../../../recipes/deterministic-human-report/" class="md-nav__link">
828
+
829
+
830
+
831
+ <span class="md-ellipsis">
832
+
833
+
834
+ 中文 · 确定性人类报告
835
+
836
+
837
+
838
+ </span>
839
+
840
+
841
+
842
+ </a>
843
+ </li>
844
+
845
+
846
+
847
+
848
+
849
+
850
+
851
+
852
+
853
+ <li class="md-nav__item">
854
+ <a href="../../../recipes/durable-local-state/" class="md-nav__link">
855
+
856
+
857
+
858
+ <span class="md-ellipsis">
859
+
860
+
861
+ 中文 · 持久本地状态
862
+
863
+
864
+
865
+ </span>
866
+
867
+
868
+
869
+ </a>
870
+ </li>
871
+
872
+
873
+
874
+
875
+
876
+
877
+
878
+
879
+
880
+ <li class="md-nav__item">
881
+ <a href="../../../recipes/host-profile-integration/" class="md-nav__link">
882
+
883
+
884
+
885
+ <span class="md-ellipsis">
886
+
887
+
888
+ 中文 · 宿主 Profile 集成
889
+
890
+
891
+
892
+ </span>
893
+
894
+
895
+
896
+ </a>
897
+ </li>
898
+
899
+
900
+
901
+
902
+
903
+
904
+
905
+
906
+
907
+ <li class="md-nav__item">
908
+ <a href="../../../recipes/domain-schema-validation/" class="md-nav__link">
909
+
910
+
911
+
912
+ <span class="md-ellipsis">
913
+
914
+
915
+ 中文 · 领域 Schema 校验
916
+
917
+
918
+
919
+ </span>
920
+
921
+
922
+
923
+ </a>
924
+ </li>
925
+
926
+
927
+
928
+
929
+
930
+
931
+
932
+
933
+
934
+ <li class="md-nav__item">
935
+ <a href="../../../en/" class="md-nav__link">
936
+
937
+
938
+
939
+ <span class="md-ellipsis">
940
+
941
+
942
+ English · Home
943
+
944
+
945
+
946
+ </span>
947
+
948
+
949
+
950
+ </a>
951
+ </li>
952
+
953
+
954
+
955
+
956
+
957
+
958
+
959
+
960
+
961
+ <li class="md-nav__item">
962
+ <a href="../../../en/quickstart/" class="md-nav__link">
963
+
964
+
965
+
966
+ <span class="md-ellipsis">
967
+
968
+
969
+ English · Quickstart
970
+
971
+
972
+
973
+ </span>
974
+
975
+
976
+
977
+ </a>
978
+ </li>
979
+
980
+
981
+
982
+
983
+
984
+
985
+
986
+
987
+
988
+ <li class="md-nav__item">
989
+ <a href="../../../en/help/" class="md-nav__link">
990
+
991
+
992
+
993
+ <span class="md-ellipsis">
994
+
995
+
996
+ English · Capabilities and diagnostics
997
+
998
+
999
+
1000
+ </span>
1001
+
1002
+
1003
+
1004
+ </a>
1005
+ </li>
1006
+
1007
+
1008
+
1009
+
1010
+
1011
+
1012
+
1013
+
1014
+
1015
+ <li class="md-nav__item">
1016
+ <a href="../../../en/architecture/" class="md-nav__link">
1017
+
1018
+
1019
+
1020
+ <span class="md-ellipsis">
1021
+
1022
+
1023
+ English · Architecture
1024
+
1025
+
1026
+
1027
+ </span>
1028
+
1029
+
1030
+
1031
+ </a>
1032
+ </li>
1033
+
1034
+
1035
+
1036
+
1037
+
1038
+
1039
+
1040
+
1041
+
1042
+ <li class="md-nav__item">
1043
+ <a href="../../../en/migration/" class="md-nav__link">
1044
+
1045
+
1046
+
1047
+ <span class="md-ellipsis">
1048
+
1049
+
1050
+ English · Migration
1051
+
1052
+
1053
+
1054
+ </span>
1055
+
1056
+
1057
+
1058
+ </a>
1059
+ </li>
1060
+
1061
+
1062
+
1063
+
1064
+
1065
+
1066
+
1067
+
1068
+
1069
+ <li class="md-nav__item">
1070
+ <a href="../../../en/licensing/" class="md-nav__link">
1071
+
1072
+
1073
+
1074
+ <span class="md-ellipsis">
1075
+
1076
+
1077
+ English · Licensing
1078
+
1079
+
1080
+
1081
+ </span>
1082
+
1083
+
1084
+
1085
+ </a>
1086
+ </li>
1087
+
1088
+
1089
+
1090
+
1091
+
1092
+
1093
+
1094
+
1095
+
1096
+ <li class="md-nav__item">
1097
+ <a href="../../../en/agents/" class="md-nav__link">
1098
+
1099
+
1100
+
1101
+ <span class="md-ellipsis">
1102
+
1103
+
1104
+ English · Agent entry
1105
+
1106
+
1107
+
1108
+ </span>
1109
+
1110
+
1111
+
1112
+ </a>
1113
+ </li>
1114
+
1115
+
1116
+
1117
+
1118
+
1119
+
1120
+
1121
+
1122
+
1123
+ <li class="md-nav__item">
1124
+ <a href="../../../en/agents/architecture-routing/" class="md-nav__link">
1125
+
1126
+
1127
+
1128
+ <span class="md-ellipsis">
1129
+
1130
+
1131
+ English · Architecture routing
1132
+
1133
+
1134
+
1135
+ </span>
1136
+
1137
+
1138
+
1139
+ </a>
1140
+ </li>
1141
+
1142
+
1143
+
1144
+
1145
+
1146
+
1147
+
1148
+
1149
+
1150
+ <li class="md-nav__item">
1151
+ <a href="../../../en/reference/compatibility/" class="md-nav__link">
1152
+
1153
+
1154
+
1155
+ <span class="md-ellipsis">
1156
+
1157
+
1158
+ English · Compatibility
1159
+
1160
+
1161
+
1162
+ </span>
1163
+
1164
+
1165
+
1166
+ </a>
1167
+ </li>
1168
+
1169
+
1170
+
1171
+
1172
+
1173
+
1174
+
1175
+
1176
+
1177
+ <li class="md-nav__item">
1178
+ <a href="../../../en/reference/failure-and-side-effect-matrix/" class="md-nav__link">
1179
+
1180
+
1181
+
1182
+ <span class="md-ellipsis">
1183
+
1184
+
1185
+ English · Failures and side effects
1186
+
1187
+
1188
+
1189
+ </span>
1190
+
1191
+
1192
+
1193
+ </a>
1194
+ </li>
1195
+
1196
+
1197
+
1198
+
1199
+
1200
+
1201
+
1202
+
1203
+
1204
+ <li class="md-nav__item">
1205
+ <a href="../../../en/reference/api/" class="md-nav__link">
1206
+
1207
+
1208
+
1209
+ <span class="md-ellipsis">
1210
+
1211
+
1212
+ English · API reference
1213
+
1214
+
1215
+
1216
+ </span>
1217
+
1218
+
1219
+
1220
+ </a>
1221
+ </li>
1222
+
1223
+
1224
+
1225
+
1226
+
1227
+
1228
+
1229
+
1230
+
1231
+ <li class="md-nav__item">
1232
+ <a href="../../../en/examples-and-fixtures/" class="md-nav__link">
1233
+
1234
+
1235
+
1236
+ <span class="md-ellipsis">
1237
+
1238
+
1239
+ English · Examples and fixtures
1240
+
1241
+
1242
+
1243
+ </span>
1244
+
1245
+
1246
+
1247
+ </a>
1248
+ </li>
1249
+
1250
+
1251
+
1252
+
1253
+
1254
+
1255
+
1256
+
1257
+
1258
+ <li class="md-nav__item">
1259
+ <a href="../../../en/recipes/" class="md-nav__link">
1260
+
1261
+
1262
+
1263
+ <span class="md-ellipsis">
1264
+
1265
+
1266
+ English · Recipes
1267
+
1268
+
1269
+
1270
+ </span>
1271
+
1272
+
1273
+
1274
+ </a>
1275
+ </li>
1276
+
1277
+
1278
+
1279
+
1280
+
1281
+
1282
+
1283
+
1284
+
1285
+ <li class="md-nav__item">
1286
+ <a href="../../../en/recipes/adopt-existing-repository/" class="md-nav__link">
1287
+
1288
+
1289
+
1290
+ <span class="md-ellipsis">
1291
+
1292
+
1293
+ English · Adopt an existing repository
1294
+
1295
+
1296
+
1297
+ </span>
1298
+
1299
+
1300
+
1301
+ </a>
1302
+ </li>
1303
+
1304
+
1305
+
1306
+
1307
+
1308
+
1309
+
1310
+
1311
+
1312
+ <li class="md-nav__item">
1313
+ <a href="../../../en/recipes/safe-filesystem-and-atomic-write/" class="md-nav__link">
1314
+
1315
+
1316
+
1317
+ <span class="md-ellipsis">
1318
+
1319
+
1320
+ English · Safe filesystem and atomic write
1321
+
1322
+
1323
+
1324
+ </span>
1325
+
1326
+
1327
+
1328
+ </a>
1329
+ </li>
1330
+
1331
+
1332
+
1333
+
1334
+
1335
+
1336
+
1337
+
1338
+
1339
+ <li class="md-nav__item">
1340
+ <a href="../../../en/recipes/adapter-text-closure/" class="md-nav__link">
1341
+
1342
+
1343
+
1344
+ <span class="md-ellipsis">
1345
+
1346
+
1347
+ English · Adapter text closure
1348
+
1349
+
1350
+
1351
+ </span>
1352
+
1353
+
1354
+
1355
+ </a>
1356
+ </li>
1357
+
1358
+
1359
+
1360
+
1361
+
1362
+
1363
+
1364
+
1365
+
1366
+ <li class="md-nav__item">
1367
+ <a href="../../../en/recipes/deterministic-human-report/" class="md-nav__link">
1368
+
1369
+
1370
+
1371
+ <span class="md-ellipsis">
1372
+
1373
+
1374
+ English · Deterministic human report
1375
+
1376
+
1377
+
1378
+ </span>
1379
+
1380
+
1381
+
1382
+ </a>
1383
+ </li>
1384
+
1385
+
1386
+
1387
+
1388
+
1389
+
1390
+
1391
+
1392
+
232
1393
  <li class="md-nav__item">
233
- <a href="../../.." class="md-nav__link">
234
-
235
-
236
-
237
- <span class="md-ellipsis">
238
-
239
-
240
- 首页
241
-
1394
+ <a href="../../../en/recipes/durable-local-state/" class="md-nav__link">
242
1395
 
243
-
244
- </span>
245
-
246
-
247
1396
 
248
- </a>
249
- </li>
250
-
251
1397
 
252
-
253
-
254
-
255
-
256
-
257
-
258
-
259
- <li class="md-nav__item">
260
- <a href="../../../setup/" class="md-nav__link">
261
-
262
-
263
-
264
1398
  <span class="md-ellipsis">
265
-
266
-
267
- 安装与环境
268
-
269
1399
 
270
-
271
- </span>
272
-
273
-
274
1400
 
275
- </a>
276
- </li>
277
-
1401
+ English · Durable local state
1402
+
278
1403
 
279
-
280
-
281
-
282
-
283
-
284
-
285
-
286
- <li class="md-nav__item">
287
- <a href="../../../quickstart/" class="md-nav__link">
288
-
289
-
290
-
291
- <span class="md-ellipsis">
292
-
293
-
294
- 快速开始
295
-
296
1404
 
297
-
298
1405
  </span>
299
-
300
-
1406
+
1407
+
301
1408
 
302
1409
  </a>
303
1410
  </li>
304
-
305
1411
 
306
-
307
-
308
-
309
-
310
-
311
-
312
-
313
- <li class="md-nav__item">
314
- <a href="../../../git-lifecycle/" class="md-nav__link">
315
-
316
-
317
-
318
- <span class="md-ellipsis">
319
-
320
-
321
- Git 生命周期指南
322
-
323
1412
 
324
-
325
- </span>
326
-
327
-
328
1413
 
329
- </a>
330
- </li>
331
-
332
1414
 
333
-
334
-
335
-
336
-
337
-
338
-
339
-
340
- <li class="md-nav__item">
341
- <a href="../../../help/" class="md-nav__link">
342
-
343
-
344
-
345
- <span class="md-ellipsis">
346
-
347
-
348
- 能力与诊断
349
-
350
1415
 
351
-
352
- </span>
353
-
354
-
355
1416
 
356
- </a>
357
- </li>
358
-
359
1417
 
360
-
361
-
362
-
363
-
364
-
365
-
366
-
1418
+
1419
+
367
1420
  <li class="md-nav__item">
368
- <a href="../../../architecture/" class="md-nav__link">
369
-
370
-
371
-
372
- <span class="md-ellipsis">
373
-
374
-
375
- 架构边界
376
-
1421
+ <a href="../../../en/recipes/host-profile-integration/" class="md-nav__link">
377
1422
 
378
-
379
- </span>
380
-
381
-
382
1423
 
383
- </a>
384
- </li>
385
-
386
1424
 
387
-
388
-
389
-
390
-
391
-
392
-
393
-
394
- <li class="md-nav__item">
395
- <a href="../../../public/status/" class="md-nav__link">
396
-
397
-
398
-
399
1425
  <span class="md-ellipsis">
400
-
401
-
402
- 公开状态
403
-
404
1426
 
405
-
1427
+
1428
+ English · Host Profile integration
1429
+
1430
+
1431
+
406
1432
  </span>
407
-
408
-
1433
+
1434
+
409
1435
 
410
1436
  </a>
411
1437
  </li>
412
-
413
1438
 
414
-
415
-
416
-
417
-
418
-
419
-
420
-
1439
+
1440
+
1441
+
1442
+
1443
+
1444
+
1445
+
1446
+
421
1447
  <li class="md-nav__item">
422
- <a href="../../../migration/" class="md-nav__link">
423
-
424
-
425
-
1448
+ <a href="../../../en/recipes/domain-schema-validation/" class="md-nav__link">
1449
+
1450
+
1451
+
426
1452
  <span class="md-ellipsis">
427
-
428
-
429
- 存量采用与迁移
430
-
431
1453
 
432
-
1454
+
1455
+ English · Domain Schema validation
1456
+
1457
+
1458
+
433
1459
  </span>
434
-
435
-
1460
+
1461
+
436
1462
 
437
1463
  </a>
438
1464
  </li>
439
-
440
1465
 
441
-
442
-
443
-
444
-
445
-
446
-
447
-
1466
+
1467
+
1468
+
1469
+
1470
+
1471
+
1472
+
1473
+
448
1474
  <li class="md-nav__item">
449
1475
  <a href="../" class="md-nav__link">
450
-
451
-
452
-
1476
+
1477
+
1478
+
453
1479
  <span class="md-ellipsis">
454
-
455
-
456
- 独立审计集成
457
-
458
1480
 
459
-
1481
+
1482
+ 审计集成 · 入口
1483
+
1484
+
1485
+
460
1486
  </span>
461
-
462
-
1487
+
1488
+
463
1489
 
464
1490
  </a>
465
1491
  </li>
466
-
467
1492
 
468
-
469
-
470
-
471
-
472
-
473
-
474
-
1493
+
1494
+
1495
+
1496
+
1497
+
1498
+
1499
+
1500
+
475
1501
  <li class="md-nav__item">
476
1502
  <a href="../mutation-taxonomy/" class="md-nav__link">
477
-
478
-
479
-
1503
+
1504
+
1505
+
480
1506
  <span class="md-ellipsis">
481
-
482
-
483
- 审计变异分类学
484
-
485
1507
 
486
-
1508
+
1509
+ 审计集成 · 变异分类学
1510
+
1511
+
1512
+
487
1513
  </span>
488
-
489
-
1514
+
1515
+
490
1516
 
491
1517
  </a>
492
1518
  </li>
493
-
494
1519
 
495
-
496
-
497
-
498
-
499
-
500
-
501
-
502
-
503
-
1520
+
1521
+
1522
+
1523
+
1524
+
1525
+
1526
+
1527
+
1528
+
1529
+
504
1530
  <li class="md-nav__item md-nav__item--active">
505
-
1531
+
506
1532
  <input class="md-nav__toggle md-toggle" type="checkbox" id="__toc">
507
-
508
-
509
-
510
-
511
-
1533
+
1534
+
1535
+
1536
+
1537
+
512
1538
  <label class="md-nav__link md-nav__link--active" for="__toc">
513
-
514
-
515
-
1539
+
1540
+
1541
+
516
1542
  <span class="md-ellipsis">
517
-
518
-
519
- 审计独立性证明
520
-
521
1543
 
522
-
1544
+
1545
+ 审计集成 · 独立性证明
1546
+
1547
+
1548
+
523
1549
  </span>
524
-
525
-
1550
+
1551
+
526
1552
 
527
1553
  <span class="md-nav__icon md-icon"></span>
528
1554
  </label>
529
-
1555
+
530
1556
  <a href="./" class="md-nav__link md-nav__link--active">
531
-
532
-
533
-
1557
+
1558
+
1559
+
534
1560
  <span class="md-ellipsis">
535
-
536
-
537
- 审计独立性证明
538
-
539
1561
 
540
-
1562
+
1563
+ 审计集成 · 独立性证明
1564
+
1565
+
1566
+
541
1567
  </span>
542
-
543
-
1568
+
1569
+
544
1570
 
545
1571
  </a>
546
-
547
-
1572
+
1573
+
548
1574
 
549
1575
  <nav class="md-nav md-nav--secondary" aria-label="目录">
550
-
551
-
552
-
553
-
554
-
555
-
1576
+
1577
+
1578
+
1579
+
1580
+
1581
+
556
1582
  <label class="md-nav__title" for="__toc">
557
1583
  <span class="md-nav__icon md-icon"></span>
558
1584
  目录
559
1585
  </label>
560
1586
  <ul class="md-nav__list" data-md-component="toc" data-md-scrollfix>
561
-
1587
+
562
1588
  <li class="md-nav__item">
563
1589
  <a href="#provenance-现行事实" class="md-nav__link">
564
1590
  <span class="md-ellipsis">
565
-
1591
+
566
1592
  provenance 现行事实
567
-
1593
+
568
1594
  </span>
569
1595
  </a>
570
-
1596
+
571
1597
  </li>
572
-
1598
+
573
1599
  <li class="md-nav__item">
574
1600
  <a href="#机械证明入口" class="md-nav__link">
575
1601
  <span class="md-ellipsis">
576
-
1602
+
577
1603
  机械证明入口
578
-
1604
+
579
1605
  </span>
580
1606
  </a>
581
-
1607
+
582
1608
  </li>
583
-
1609
+
584
1610
  <li class="md-nav__item">
585
1611
  <a href="#反向拥有禁令" class="md-nav__link">
586
1612
  <span class="md-ellipsis">
587
-
1613
+
588
1614
  反向拥有禁令
589
-
1615
+
590
1616
  </span>
591
1617
  </a>
592
-
1618
+
593
1619
  </li>
594
-
1620
+
595
1621
  <li class="md-nav__item">
596
1622
  <a href="#兼容性证明入口" class="md-nav__link">
597
1623
  <span class="md-ellipsis">
598
-
1624
+
599
1625
  兼容性证明入口
600
-
1626
+
601
1627
  </span>
602
1628
  </a>
603
-
1629
+
604
1630
  </li>
605
-
1631
+
606
1632
  </ul>
607
-
1633
+
608
1634
  </nav>
609
-
1635
+
610
1636
  </li>
611
-
612
1637
 
613
-
614
-
615
-
616
-
617
-
618
-
619
-
1638
+
1639
+
1640
+
1641
+
1642
+
1643
+
1644
+
1645
+
620
1646
  <li class="md-nav__item">
621
1647
  <a href="../version-compatibility/" class="md-nav__link">
622
-
623
-
624
-
1648
+
1649
+
1650
+
625
1651
  <span class="md-ellipsis">
626
-
627
-
628
- 审计版本兼容定义
629
-
630
1652
 
631
-
1653
+
1654
+ 审计集成 · 版本兼容
1655
+
1656
+
1657
+
632
1658
  </span>
633
-
634
-
1659
+
1660
+
635
1661
 
636
1662
  </a>
637
1663
  </li>
638
-
639
1664
 
640
-
641
-
642
-
643
-
644
-
645
-
646
-
1665
+
1666
+
1667
+
1668
+
1669
+
1670
+
1671
+
1672
+
647
1673
  <li class="md-nav__item">
648
1674
  <a href="../failure-evidence/" class="md-nav__link">
649
-
650
-
651
-
1675
+
1676
+
1677
+
652
1678
  <span class="md-ellipsis">
653
-
654
-
655
- 审计失败证据与 AUD 码
656
-
657
1679
 
658
-
1680
+
1681
+ 审计集成 · 失败证据与 AUD 码
1682
+
1683
+
1684
+
659
1685
  </span>
660
-
661
-
1686
+
1687
+
662
1688
 
663
1689
  </a>
664
1690
  </li>
665
-
666
1691
 
667
-
1692
+
1693
+
668
1694
  </ul>
669
1695
  </nav>
670
1696
  </div>
671
1697
  </div>
672
1698
  </div>
673
-
674
-
675
-
1699
+
1700
+
1701
+
676
1702
  <div class="md-sidebar md-sidebar--secondary" data-md-component="sidebar" data-md-type="toc" >
677
1703
  <div class="md-sidebar__scrollwrap">
678
1704
  <div class="md-sidebar__inner">
679
-
1705
+
680
1706
 
681
1707
  <nav class="md-nav md-nav--secondary" aria-label="目录">
682
-
683
-
684
-
685
-
686
-
687
-
1708
+
1709
+
1710
+
1711
+
1712
+
1713
+
688
1714
  <label class="md-nav__title" for="__toc">
689
1715
  <span class="md-nav__icon md-icon"></span>
690
1716
  目录
691
1717
  </label>
692
1718
  <ul class="md-nav__list" data-md-component="toc" data-md-scrollfix>
693
-
1719
+
694
1720
  <li class="md-nav__item">
695
1721
  <a href="#provenance-现行事实" class="md-nav__link">
696
1722
  <span class="md-ellipsis">
697
-
1723
+
698
1724
  provenance 现行事实
699
-
1725
+
700
1726
  </span>
701
1727
  </a>
702
-
1728
+
703
1729
  </li>
704
-
1730
+
705
1731
  <li class="md-nav__item">
706
1732
  <a href="#机械证明入口" class="md-nav__link">
707
1733
  <span class="md-ellipsis">
708
-
1734
+
709
1735
  机械证明入口
710
-
1736
+
711
1737
  </span>
712
1738
  </a>
713
-
1739
+
714
1740
  </li>
715
-
1741
+
716
1742
  <li class="md-nav__item">
717
1743
  <a href="#反向拥有禁令" class="md-nav__link">
718
1744
  <span class="md-ellipsis">
719
-
1745
+
720
1746
  反向拥有禁令
721
-
1747
+
722
1748
  </span>
723
1749
  </a>
724
-
1750
+
725
1751
  </li>
726
-
1752
+
727
1753
  <li class="md-nav__item">
728
1754
  <a href="#兼容性证明入口" class="md-nav__link">
729
1755
  <span class="md-ellipsis">
730
-
1756
+
731
1757
  兼容性证明入口
732
-
1758
+
733
1759
  </span>
734
1760
  </a>
735
-
1761
+
736
1762
  </li>
737
-
1763
+
738
1764
  </ul>
739
-
1765
+
740
1766
  </nav>
741
1767
  </div>
742
1768
  </div>
743
1769
  </div>
744
-
745
-
746
-
1770
+
1771
+
1772
+
747
1773
  <div class="md-content" data-md-component="content">
748
-
1774
+
749
1775
  <article class="md-content__inner md-typeset">
750
-
751
-
1776
+
1777
+
752
1778
 
753
1779
 
754
1780
 
@@ -821,48 +1847,48 @@
821
1847
 
822
1848
 
823
1849
 
824
-
1850
+
825
1851
  </article>
826
1852
  </div>
827
-
828
-
1853
+
1854
+
829
1855
  <script>var target=document.getElementById(location.hash.slice(1));target&&target.name&&(target.checked=target.name.startsWith("__tabbed_"))</script>
830
1856
  </div>
831
-
1857
+
832
1858
  </main>
833
-
1859
+
834
1860
  <footer class="md-footer">
835
-
1861
+
836
1862
  <div class="md-footer-meta md-typeset">
837
1863
  <div class="md-footer-meta__inner md-grid">
838
1864
  <div class="md-copyright">
839
-
840
-
1865
+
1866
+
841
1867
  Made with
842
1868
  <a href="https://squidfunk.github.io/mkdocs-material/" target="_blank" rel="noopener">
843
1869
  Material for MkDocs
844
1870
  </a>
845
-
1871
+
846
1872
  </div>
847
-
1873
+
848
1874
  </div>
849
1875
  </div>
850
1876
  </footer>
851
-
1877
+
852
1878
  </div>
853
1879
  <div class="md-dialog" data-md-component="dialog">
854
1880
  <div class="md-dialog__inner md-typeset"></div>
855
1881
  </div>
856
-
857
-
858
-
859
-
860
-
1882
+
1883
+
1884
+
1885
+
1886
+
861
1887
  <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>
862
-
863
-
1888
+
1889
+
864
1890
  <script src="../../../assets/javascripts/bundle.d7400e89.min.js"></script>
865
-
866
-
1891
+
1892
+
867
1893
  </body>
868
1894
  </html>