豫言源码浏览器 / 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

寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字符串术」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「癸象工具」之「总集」之书。
寻观「云工宿主」之「核心」之书。

「：文言：三限之数，皆以 UTF-8 字节计。汉语：地址、主题、正文的字节上限。：」
「地址字节上限」乃「整数」也。
「地址字节上限」者「二五四」也。

「主题字节上限」乃「整数」也。
「主题字节上限」者「二零零」也。

「正文字节上限」乃「整数」也。
「正文字节上限」者「一零四八五七六」也。

「：文言：宿主原语，授名之内验环境是否置此绑定；未授之名，宿主径拒。汉语：调用宿主原语 豫言_云工_授权绑定存在（部署须提供，见说明）：名称已在许可内时返回环境里是否存在该绑定；未授权的名称仍使宿主中止当前请求。：」
「授权绑定存在」乃化「字符串」而化「字符串」而「爻」也。
「授权绑定存在」者会「种类」而会「名称」而
  《《外调》》名『豫言_云工_授权绑定存在』传「种类」与「名称」
也。

「在区间」乃化「整数」而化「整数」而化「整数」而「爻」也。
「在区间」者会「码」而会「下」而会「上」而
  「且」于（「非」于（「小于」于「码」于「下」））于（「非」于（「大于」于「码」于「上」））
也。

「：文言：越界之位返负一，使后续字节之验自败。汉语：读取字节串的第 位 个字节，越界返回 -1。：」
「取字节」乃化「字节串」而化「整数」而化「整数」而「整数」也。
「取字节」者会「字节」而会「长」而会「位」而
  若「小于」于「位」于「长」则
    「字节串取字节」于「字节」于「位」
  否则
    「减」于「零」于「一」
也。

「续字节」乃化「整数」而「爻」也。
「续字节」者会「甲」而
  「在区间」于「甲」于「一二八」于「一九一」
也。

「：文言：自位起解一字，返（码点，所占字节）；格式非法则码点为负一。四字节者一概归增补平面，不细验。汉语：解码位置 位 处的一个 UTF-8 字符，返回（码点，占用字节数）；非法序列的码点为 -1、占 1 字节；四字节字符统一返回 65536（增补平面，不逐点检查）。：」
「解码字符」乃化「字节串」而化「整数」而化「整数」而（「整数」合「整数」）也。
「解码字符」者会「字节」而会「长」而会「位」而
  虑「甲」者「字节串取字节」于「字节」于「位」而
  虑「乙」者「取字节」于「字节」于「长」于（「加」于「位」于「一」）而
  虑「丙」者「取字节」于「字节」于「长」于（「加」于「位」于「二」）而
  若「小于」于「甲」于「一二八」则（「甲」与「一」）否则
    若「小于」于「甲」于「一九二」则（（「减」于「零」于「一」）与「一」）否则
      若「小于」于「甲」于「二二四」则（
        若「续字节」于「乙」则
          （（「加」于（「乘」于（「减」于「甲」于「一九二」）于「六四」）于（「减」于「乙」于「一二八」））与「二」）
        否则
          （（「减」于「零」于「一」）与「一」）
      ）否则
        若「小于」于「甲」于「二四零」则（
          若「且」于（「续字节」于「乙」）于（「续字节」于「丙」）
          则
            （（「加」
              于（「加」
                于（「乘」于（「减」于「甲」于「二二四」）于「四零九六」）
                于（「乘」于（「减」于「乙」于「一二八」）于「六四」））
                于（「减」于「丙」于「一二八」））与「三」
            ）
          否则
            （（「减」于「零」于「一」）与「一」）
        ）否则
          若「小于」于「甲」于「二四八」则（
            若「且」于（「续字节」于「乙」）于（「续字节」于「丙」）则（「六五五三六」与「四」）否则
              （（「减」于「零」于「一」）与「一」）
          ）否则
            （（「减」于「零」于「一」）与「一」）
也。

「：文言：逐字而验，任一字为禁或格式非法，则整串不通。汉语：按 UTF-8 逐字符解码并用“禁用判定”检查；出现禁用码点或非法序列时返回阴。：」
「串通过」乃化「字符串」而化（化「整数」而「爻」）而「爻」也。
「串通过」者会「文」而会「禁用」而
  虑「字节」者「字符串转字节串」于「文」而
  虑「长」者「字节串长度」于「字节」而
  递归虑「查」其化「整数」而「爻」者会「位」而
    若「非」于（「小于」于「位」于「长」）则「阳」否则
      虑「解」者「解码字符」于「字节」于「长」于「位」
      而
      若「或者」于（「小于」于（「解」中「零」）于「零」）于（「禁用」于（「解」中「零」））则
        「阴」
      否则
        「查」于（「加」于「位」于（「解」中「一」））
  而
  「查」于「零」
也。

「：文言：地址所禁：控制与空白（含 U+0080 至 U+00A0、U+1680、U+2000 至 U+200F、U+2028 至 U+202F、U+205F 至 U+206F、U+3000、U+FEFF）。汉语：地址里禁用的码点：C0 控制字符与空格、DEL 与 C1 控制字符、NBSP、U+1680、U+2000–U+200F（各种空格与零宽字符）、U+2028–U+202F（行/段分隔符、双向控制、窄空格）、U+205F–U+206F、U+3000、U+FEFF。：」
「地址码点禁用」乃化「整数」而「爻」也。
「地址码点禁用」者会「码」而
  若「在区间」于「码」于「零」于「三二」则
    「阳」
  否则
    若「在区间」于「码」于「一二七」于「一六零」则「阳」否则
      若「等于」于「码」于「五七六零」则「阳」否则
        若「在区间」于「码」于「八一九二」于「八二零七」则「阳」否则
          若「在区间」于「码」于「八二三二」于「八二三九」则「阳」否则
            若「在区间」于「码」于「八二八七」于「八三零三」则「阳」否则
              若「等于」于「码」于「一二二八八」则「阳」否则
                若「等于」于「码」于「六五二七九」则「阳」否则「阴」
也。

「：文言：地址之特殊字，恐启多收件人、显示名与引文。汉语：地址里禁用的 ASCII 特殊字符，防止多个收件人、显示名和引用：双引号、圆括号、逗号、冒号、分号、尖括号、方括号、反斜线。：」
「地址特殊字」乃化「字符串」而「爻」也。
「地址特殊字」者会「字」而
  「或者」
    于（「或者」
      于（「或者」于（「串相等」于「字」于『"』）于（「串相等」于「字」于『(』））
      于（「或者」于（「串相等」于「字」于『)』）于（「串相等」于「字」于『,』）））
      于（「或者」
        于（「或者」于（「串相等」于「字」于『:』）于（「串相等」于「字」于『;』））
        于（「或者」
          于（「或者」于（「串相等」于「字」于『<』）于（「串相等」于「字」于『>』））
          于（「或者」
            于（「或者」于（「串相等」于「字」于『[』）于（「串相等」于「字」于『]』））
            于（「串相等」于「字」于『\』））））
也。

「无地址特殊字」乃化（「列」于「字符串」）而「爻」也。
「无地址特殊字」者会「诸字」而
  鉴「诸字」而
    有「罄」则「阳」
    或有（「缀」于「首」于「尾」）则（
      若「地址特殊字」于「首」则「阴」否则「无地址特殊字」于「尾」）
也。

「：文言：恰有一「@」，其前其后皆非空。汉语：地址里恰有一个 @，且不在开头或结尾。：」
「恰一个艾特」乃化「字符串」而「爻」也。
「恰一个艾特」者会「文」而
  鉴（「串从左搜索单个」于『@』于「文」）而
    有（「可有」于「左」）则（
      鉴（「串从右搜索单个」于『@』于「文」）而
        有（「可有」于「右」）则
          「且」
            于（「等于」于「左」于「右」）
            于（「且」于（「大于」于「左」于「零」）于（「小于」于「左」于（「减」于（「串长度」于「文」）于「一」）））
        或有「可无」则「阴」
    ）
    或有「可无」则「阴」
也。

「：文言：地址三至二百五十四字节，一址而已，无空白、控制及特殊字。汉语：地址合法：3 至 254 字节，恰一个 @，不含空白、控制字符和特殊字符，因此只能是一个收件人。：」
「地址合法」乃化「字符串」而「爻」也。
「地址合法」者会「文」而
  若「或者」于（「小于」于（「字节长度」于「文」）于「三」）于（「大于」于（「字节长度」于「文」）于「地址字节上限」）则
    「阴」
  否则
    若「非」于（「串通过」于「文」于「地址码点禁用」）则
      「阴」
    否则
      若「非」于（「无地址特殊字」于（「获取字符」于「文」））则「阴」否则
        「恰一个艾特」于「文」
也。

「：文言：主题所禁：控制字符（含换行回车）及行分隔符。汉语：主题里禁用的码点：C0 控制字符（含 CR、LF、制表）、DEL、U+0085、U+2028、U+2029。：」
「主题码点禁用」乃化「整数」而「爻」也。
「主题码点禁用」者会「码」而
  若「在区间」于「码」于「零」于「三一」则
    「阳」
  否则
    若「等于」于「码」于「一二七」则「阳」否则
      若「等于」于「码」于「一三三」则「阳」否则
        若「在区间」于「码」于「八二三二」于「八二三三」则「阳」否则「阴」
也。

「主题合法」乃化「字符串」而「爻」也。
「主题合法」者会「文」而
  若「大于」于（「字节长度」于「文」）于「主题字节上限」则
    「阴」
  否则
    「串通过」于「文」于「主题码点禁用」
也。

「：文言：正文所禁：除制表、换行、回车外之控制字符。汉语：正文里禁用的码点：除 TAB、LF、CR 以外的 C0 控制字符（含 NUL）。：」
「正文码点禁用」乃化「整数」而「爻」也。
「正文码点禁用」者会「码」而
  若「在区间」于「码」于「零」于「八」则
    「阳」
  否则
    若「在区间」于「码」于「一一」于「一二」则「阳」否则
      若「在区间」于「码」于「一四」于「三一」则「阳」否则「阴」
也。

「正文合法」乃化「字符串」而「爻」也。
「正文合法」者会「文」而
  若「大于」于（「字节长度」于「文」）于「正文字节上限」则
    「阴」
  否则
    「串通过」于「文」于「正文码点禁用」
也。

「：文言：先校诸参，返空文为通，否则返其因。汉语：依次检查发件、收件、主题、正文，全部合法返回空字符串，否则返回对应的固定原因。：」
「校验邮件」乃
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「字符串」
也。
「校验邮件」者会「发件」而会「收件」而会「主题」而会「正文」而
  若「非」于（「地址合法」于「发件」）则
    『发件地址无效』
  否则
    若「非」于（「地址合法」于「收件」）则『收件地址无效』否则
      若「非」于（「主题合法」于「主题」）则『邮件主题无效』否则
        若「非」于（「正文合法」于「正文」）则『邮件正文无效』否则『』
也。

「：文言：错误名唯取字母数字与「_.$-」，一至六十四字。汉语：只有由字母、数字、下划线、点、美元符、连字符组成且长 1 至 64 的错误名才会出现在失败原因里。：」
「错误名合法」乃化「字符串」而「爻」也。
「错误名合法」者会「名」而
  虑「字节」者「字符串转字节串」于「名」而
  虑「长」者「字节串长度」于「字节」而
  若「或者」于（「等于」于「长」于「零」）于（「大于」于「长」于「六四」）则
    「阴」
  否则
    递归虑「查」其化「整数」而「爻」者会「位」而
      若「等于」于「位」于「长」则
        「阳」
      否则
        虑「码」者「字节串取字节」于「字节」于「位」
        而
        若「或者」
          于（「或者」于（「在区间」于「码」于「四八」于「五七」）于（「在区间」于「码」于「六五」于「九零」））
          于（「或者」
            于（「在区间」于「码」于「九七」于「一二二」）
            于（「或者」
              于（「等于」于「码」于「九五」）
              于（「或者」
                于（「等于」于「码」于「四六」）
                于（「或者」于（「等于」于「码」于「三六」）于（「等于」于「码」于「四五」）））））
        则
          「查」于（「加」于「位」于「一」）
        否则
          「阴」
    而
    「查」于「零」
也。

「：文言：自错误 JSON 之首取其名，不取其辞（辞或含址与令牌）。汉语：错误 JSON 形如 {"名称":…,"消息":…}；这里只取名称，绝不取消息，因为消息可能含地址或令牌。：」
「错误名称」乃化「字符串」而「字符串」也。
「错误名称」者会「错误文」而
  若「非」于（「串开头是它吗」于『{"名称":"』于「错误文」）则
    『』
  否则
    虑「余」者「去除串开头」于『{"名称":"』于「错误文」而
    鉴（「串从左搜索单个」于『"』于「余」）而
      有（「可有」于「位」）则
        （虑「名」者「获取子字符串」于「零」于「位」于「余」而
          若「错误名合法」于「名」则「名」否则『』）
      或有「可无」则『』
也。

「失败原因」乃化「字符串」而「字符串」也。
「失败原因」者会「错误文」而
  虑「名」者「错误名称」于「错误文」而
  若「串相等」于「名」于『』则
    『邮件发送失败』
  否则
    『邮件发送失败：』附「名」
也。

「：文言：验参、验绑定、投 send；成败以返值告之。汉语：发送纯文字邮件；成功返回（阳，空字符串），任何失败返回（阴，固定简短原因）。send 收到的对象恰为 {from,to,subject,text}。：」
「发送文字邮件」乃
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  （「爻」合「字符串」）
也。
「发送文字邮件」者会「绑定名」而会「发件」而会「收件」而会「主题」而会「正文」而
  虑「问题」者「校验邮件」于「发件」于「收件」于「主题」于「正文」而
  若「非」于（「串相等」于「问题」于『』）则（「阴」与「问题」）否则
    若「非」于（「授权绑定存在」于『EMAIL』于「绑定名」）则（「阴」与『邮件服务未配置』）否则
      虑「邮件号」者「云工邮件绑定」于「绑定名」
      而
      虑「发送属性」者「云工读取属性」于「邮件号」于『send』
      而
      若「非」于（「串开头是它吗」于『{"$句柄"』于「发送属性」）则（「阴」与『邮件服务未配置』）否则
        虑「邮件」者
          「癸象对象」于（「列」【
            （『from』与（「癸象字符串」于「发件」）），
            （『to』与（「癸象字符串」于「收件」）），
            （『subject』与（「癸象字符串」于「主题」）），
            （『text』与（「癸象字符串」于「正文」））
          】）
        而
        虑「结果」者
          「云工调用方法安全」
            于「邮件号」于『send』
            于（『[』附（「癸象表示」于「邮件」）附『]』）
        而
        若「结果」中「零」则（「阳」与『』）否则（「阴」与（「失败原因」于（「结果」中「一」）））
也。