豫言源码浏览器 / Source Browser

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303

寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数据结构」之「字符串术」之书。
寻观「编译器核心」之「网页汇编核心」之「状态模块」之书。
寻观「编译器核心」之「网页汇编核心」之「状态二进制」之书。
寻观「裸机后端」之「Linux可执行」之书。
寻观「裸机后端」之「苹果可执行」之书。
寻观「裸机后端」之「系统构造」之书。
寻观「裸机后端」之「预编转译」之书。

「：文言：原生一致性之验（路二，Linux）：以真编译器造执行器与诸探针，嵌之为 Linux 之可执行文件，运行而与参照之出逐字相校；参照即裸机之验所用者，故过则 Linux 与裸机逐字一致。汉语：路二一致性验证（Linux）：用真编译器构建执行器（客体二号）与各探针（普通探针下的 .豫 以及盘/文件-一、文件-二），把探针嵌进执行器生成 Linux 可执行文件（ARM64、AMD64），运行后与同名 .期望 逐字比较。.期望 就是普通豫言验证（QEMU 裸机）所用的参照输出，所以通过即表示 Linux 与裸机输出逐字一致。文件探针在同一个空工作目录里依次运行（文件-二 读 文件-一 写下的文件）。运行方式：在 Linux 上直接运行本机架构的可执行文件；在其他系统上加 --经 docker，用本地构建的 FROM scratch 镜像在 Docker 里运行两种架构（不拉取任何镜像；Apple 芯片上的 amd64 由 Rosetta 执行，镜像里放一个空 /tmp）。用法：yy原生一致性 [--系统 Linux|苹果] [--架构 臂六十四|兼容六十四|两者] [--经 直接|docker] [--豫构 ./yy豫构.wasm] [--编译器 ./yy4_bs.wasm]。--系统 苹果 时生成 macOS arm64 可执行文件并在本机直接运行（x86-64 macOS 尚未实现）。：」

「命令行值」乃化「字符串」而化「字符串」而「字符串」也。
「命令行值」者会「键」而
  会「缺省」而
    递归虑「找」其化（「列」于「字符串」）而「字符串」者会「们」而
      鉴「们」而
        有「罄」则「缺省」
        或有「缀」于「首」于「尾」则
          若「串相等」于「首」于「键」则（鉴「尾」而
          有「缀」于「值」于「后」则「值」
          或有「罄」则「缺省」）
          否则
            「找」于「尾」
    而
    「找」于（「命令行参数」之「获取参数」于「元」）
也。

「构令」乃「字符串」也。
「构令」者「命令行值」于『--豫构』于『./yy豫构.wasm』也。

「编令」乃「字符串」也。
「编令」者「命令行值」于『--编译器』于『./yy4_bs.wasm』也。

「经令」乃「字符串」也。
「经令」者「命令行值」于『--经』于『直接』也。

「系统令」乃「字符串」也。
「系统令」者「命令行值」于『--系统』于『Linux』也。

「：文言：预编之标：有之则客体之函数预编为机器码。汉语：--预编：探针的函数预编为机器码（路二乙档），执行器不再解释它们。：」
「是预编」乃「爻」也。
「是预编」者
  「存在吗」授以「字符串」
    于（会「项」而「串相等」于「项」于『--预编』）
    于（「命令行参数」之「获取参数」于「元」）
也。

「是苹果」乃「爻」也。
「是苹果」者「串相等」于「系统令」于『苹果』也。

「架构令」乃「字符串」也。
「架构令」者「命令行值」于『--架构』于『两者』也。

「：文言：只取名含所授字者；空则悉取，无合者报错。汉语：--只验 按探针名包含关系筛选；不提供时运行全部探针，无匹配时报错。：」
「只名」乃「字符串」也。
「只名」者「命令行值」于『--只验』于『』也。

「临时原文」乃「字符串」也。
「临时原文」者「运行工具」于『mktemp』于（「列」【『-d』，『/tmp/yy原生一致性.XXXXXX』】）也。

「目录」乃「字符串」也。
「目录」者「去除串结尾」于『「：换行：」』于「临时原文」也。

「路径」乃化「字符串」而「字符串」也。
「路径」者会「名」而
  「目录」附『/』附「名」
也。

「：文言：探针：普通探针之诸 .豫，继以盘中文件之二（须依序行于同一目录），再以原生探针之诸 .豫（唯原生与 Node 可行者，如自起其身之子进程）。汉语：探针表：普通探针目录下的全部 .豫（按名排序），再加 盘/文件-一、盘/文件-二（后者依赖前者写下的文件），最后是 原生探针 目录下的全部 .豫（只在 Node 与原生系统上能跑的探针，如把自己当子进程再启动；它们的 .期望 取自 Node 宿主的标准输出）。每项为（名，源路径，期望路径）。：」
「探针目录」乃「字符串」也。
「探针目录」者『豫言操作系统/裸机/普通探针』也。

「原生探针目录」乃「字符串」也。
「原生探针目录」者『豫言操作系统/裸机/原生探针』也。

「：文言：一目录之诸 .豫 为探针，名冠以前缀。汉语：把目录下的全部 .豫 做成探针项，名字加前缀。：」
「目录探针们」乃
  化「字符串」而
  化「字符串」而
  （「列」于（「字符串」合「字符串」合「字符串」））
也。
「目录探针们」者会「目」而会「前缀」而
  「态射」授以「字符串」授以（「字符串」合「字符串」合「字符串」）
  于（「态射」授以「字符串」授以「字符串」
    于（「滤」授以「字符串」于（会「名」而「串结尾是它吗」于『。豫』于「名」）于（「文件系统」之「读文件夹」于「目」））
    于（会「名」而「去除串结尾」于『。豫』于「名」））
    于（会「名」而（「前缀」附「名」）与（「目」附『/』附「名」附『。豫』）与（「目」附『/』附「名」附『.期望』））
也。

「探针们」乃（「列」于（「字符串」合「字符串」合「字符串」））也。
「探针们」者
  虑「普通」者
    「态射」授以「字符串」授以（「字符串」合「字符串」合「字符串」）
    于（「态射」授以「字符串」授以「字符串」
      于（「滤」授以「字符串」
        于（会「名」而「串结尾是它吗」于『。豫』于「名」）
        于（「文件系统」之「读文件夹」于「探针目录」））
        于（会「名」而「去除串结尾」于『。豫』于「名」））
        于（会「名」而「名」与（「探针目录」附『/』附「名」附『。豫』）与（「探针目录」附『/』附「名」附『.期望』））
  而
  「附加」授以（「字符串」合「字符串」合「字符串」）
  于（「附加」授以（「字符串」合「字符串」合「字符串」）
  于「普通」
  于（「列」【
    『盘-文件-一』与（「探针目录」附『/盘/文件-一。豫』）与（「探针目录」附『/盘/文件-一.期望』），
    『盘-文件-二』与（「探针目录」附『/盘/文件-二。豫』）与（「探针目录」附『/盘/文件-二.期望』）
  】））
  于（「目录探针们」于「原生探针目录」于『原生-』）
也。

「：文言：执行器之模，构一次而诸探针共用。汉语：执行器状态模块：构建一次，所有探针共用。：」
「执行器状态」乃「网页状态模块」也。
「执行器状态」者
  「读取状态二进制」
    于（「文件系统」之「读文件字节串」
      于（「构建豫言包」于「构令」于「编令」于『客体二号』于（「路径」于『yy客体二号.wasm』）））
也。

「：文言：造一探针之可执行文件。汉语：编译一个探针并生成它的 Linux 可执行文件，返回文件名（相对临时目录）。：」
「造探针」乃化「爻」而化（「字符串」合「字符串」合「字符串」）而「字符串」也。
「造探针」者会「臂」而会「项」而
  虑「模」者
    「编译豫言源」于「构令」于「编令」于（「项」中「一」）于（「路径」于（（「项」中「零」）附『.wasm』））而
    虑「名」者（若「臂」则『a-』否则『x-』）附（「项」中「零」）而
    虑「无」者
      「文件系统」之「写文件字节串」
        于（「路径」于「名」）
        于（
          虑「客串」者「文件系统」之「读文件字节串」于「模」
          而
          虑「嵌」者「嵌入客体」于「执行器状态」于「客串」
          而
          虑「状」者
            （若「是预编」则「预编并入」于「嵌」于「客串」否则「嵌」）
          而
          若「是苹果」则
            「生成苹果可执行」于「臂」于「状」
          否则
            「生成Linux可执行」于「臂」于「状」
        ）
    而
    虑「权」者
      「运行工具」于『chmod』于（「列」【『+x』，「路径」于「名」】）
    而
    「名」
也。

「：文言：Docker 之镜像：FROM scratch，载诸可执行文件于 /p，置空 /tmp。汉语：Docker 镜像：FROM scratch，把临时目录里的可执行文件放在 /p，另放一个空的 /tmp（Rosetta 需要）。本地构建，不拉取任何镜像。：」
「造镜像」乃化「爻」而「字符串」也。
「造镜像」者会「臂」而
  虑「标签」者
    （若「臂」则『yy-yuanshen-arm64』否则『yy-yuanshen-amd64』）而
    虑「无」者
      「运行工具」于『mkdir』于（「列」【『-p』，「路径」于『空tmp』】）
    而
    虑「无」者
      「文件系统」之「写文件」
        于（「路径」于『Dockerfile』）于『FROM scratch「：换行：」COPY . /p「：换行：」COPY 空tmp /tmp「：换行：」』
    而
    虑「无」者
      「运行工具」
        于『docker』
        于（「列」【
          『build』，
          『-q』，
          『--platform』，
          （若「臂」则『linux/arm64』否则『linux/amd64』），
          『-t』，
          「标签」，
          「目录」
        】）
    而
    「标签」
也。

「：文言：行一探针，取其标准出与退出之码。汉语：运行一个探针可执行文件：直接方式在工作目录里运行；docker 方式挂上同一个命名卷作工作目录。返回（是否退出码为零，标准输出）。：」
「运行探针」乃
  化「爻」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  （「爻」合「字符串」）
也。
「运行探针」者会「臂」而会「镜像」而会「卷」而会「名」而
  虑「果」者
    若「串相等」于「经令」于『docker』则
      「操作系统」之「子进程」之「获取输出」
        于『docker』
        于（「列」【
          『run』，
          『--rm』，
          『--platform』，
          （若「臂」则『linux/arm64』否则『linux/amd64』），
          『-v』，
          「卷」附『:/work』，
          『-w』，
          『/work』，
          『--entrypoint』，
          『/p/』附「名」，
          「镜像」
        】）
    否则
      「操作系统」之「子进程」之「获取输出」于『env』于（「列」【『-C』，「路径」于『工作』，「路径」于「名」】）
  而
  （「果」中「零」）与（「果」中「一」）
也。

「：文言：验一项：行之而较其出。汉语：运行一个探针并与期望输出比较，打印结果；符合返回 0，否则返回 1。：」
「验一项」乃
  化「爻」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化（「字符串」合「字符串」合「字符串」）而
  「整数」
也。
「验一项」者会「臂」而会「镜像」而会「卷」而会「名」而会「项」而
  虑「运行」者「运行探针」于「臂」于「镜像」于「卷」于「名」而
  虑「期望」者「文件系统」之「读文件」于（「项」中「二」）而
  虑「符」者
    「且」于（「运行」中「零」）于（「串相等」于（「运行」中「一」）于「期望」）而
    虑「架名」者（若「臂」则『臂六十四』否则『兼容六十四』）而
    虑「无」者
      「打印行」于（（若「符」则『原生一致性通过：』否则『原生一致性不符：』）附（「项」中「零」）附『-』附「架名」）
    而
    虑「无」者
      （若「符」则「元」否则「打印行」于（『实际输出：「：换行：」』附（「运行」中「一」）））
    而
    （若「符」则「零」否则「一」）
也。

「：文言：一架构之验：按名择探针，造所择之程序、（docker 则）造镜像、依次行之；返不符之数。汉语：验证一种架构：--只验 按名称包含关系选探针，仅构建并运行所选项；docker 方式仍造镜像并清空工作卷；返回不符的个数。文件二依赖文件一，应以“盘-文件”同时选取。：」
「验一架构」乃化「爻」而「整数」也。
「验一架构」者会「臂」而
  虑「项们」者
    「滤」授以（「字符串」合「字符串」合「字符串」）
    于（会「项」而「或者」于（「串相等」于「只名」于『』）于（「是子字符串吗」于「只名」于（「项」中「零」）））
    于「探针们」而
    虑「无」者
      （
        若「等于」于（「长度」授以（「字符串」合「字符串」合「字符串」）于「项们」）
        于「零」则
          「发生事故」于（『没有匹配的原生探针：』附「只名」）
        否则
          「元」
      ）
    而
    虑「名们」者
      「态射」授以（「字符串」合「字符串」合「字符串」）授以「字符串」
        于「项们」
        于（会「项」而「造探针」于「臂」于「项」）
    而
    虑「经容器」者「串相等」于「经令」于『docker』而
    虑「镜像」者（若「经容器」则「造镜像」于「臂」否则『』）
    而
    虑「卷」者
      『yy-yuanshen-work-』附（
        若「臂」则『arm64』否则『amd64』）
    而
    虑「清」者
      （
        若「经容器」则
          「操作系统」之「子进程」之「获取输出」
            于『docker』
            于（「列」【『volume』，『rm』，『-f』，「卷」】）
        否则
          「操作系统」之「子进程」之「获取输出」
            于『mkdir』
            于（「列」【『-p』，「路径」于『工作』】）
      ）
    而
    「从左折叠」授以「整数」授以「整数」
    于（会「序」而会「和」而
      「加」
        于「和」
        于（「验一项」
          于「臂」
          于「镜像」
          于「卷」
          于（「第N个」授以「字符串」于「序」于「名们」）
          于（「第N个」授以（「字符串」合「字符串」合「字符串」）于「序」于「项们」）））
          于「零」
          于（「整数范围」于「零」于（「长度」授以（「字符串」合「字符串」合「字符串」）于「项们」））
也。

「主」乃化「有」而「有」也。
「主」者会「无」而
  虑「败」者
    若「或者」于「是苹果」于（「串相等」于「架构令」于『臂六十四』）则
      「验一架构」于「阳」
    否则若「串相等」于「架构令」于『兼容六十四』则
      「验一架构」于「阴」
    否则
      「加」于（「验一架构」于「阳」）于（「验一架构」于「阴」）
  而
  若「等于」于「败」于「零」则
    「打印行」于『原生一致性全部通过』
  否则
    「发生事故」于（『原生一致性不符：』附（「整数表示」于「败」）附『 项』）
也。

「主」于「元」。