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

寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「爻术」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「安全外壳协议」之「密钥交换」之书。
寻观「安全外壳协议」之「公钥文本」之书。

「授权公钥行尾」乃化「字节串」而化「整数」而化「整数」而「整数」也。
「授权公钥行尾」者会「文」而会「位」而会「限」而
  若「等于」于「位」于（「字节串长度」于「文」）则
    「位」
  否则若「等于」于「位」于「限」则「位」
  否则若「等于」于（「字节串取字节」于「文」于「位」）于「一零」则
    「位」
  否则
    「授权公钥行尾」于「文」于（「加」于「位」于「一」）于「限」
也。

「授权公钥行首」乃化「字节串」而化「整数」而化「整数」而「整数」也。
「授权公钥行首」者会「文」而会「位」而会「终」而
  若「等于」于「位」于「终」则
    「位」
  否则
    虑「字」者「字节串取字节」于「文」于「位」而
    若「等于」于「字」于「三二」则
      「授权公钥行首」于「文」于（「加」于「位」于「一」）于「终」
    否则若「等于」于「字」于「九」则「授权公钥行首」于「文」于（「加」于「位」于「一」）于「终」
    否则
      「位」
也。

「授权公钥选项前缀吗」乃化「字节串」而化「字节串」而「爻」也。
「授权公钥选项前缀吗」者会「行」而会「前缀」而
  若「大于」于（「加」于（「字节串长度」于「前缀」）于「一」）
  于（「字节串长度」于「行」）则
    「阴」
  否则若「非」于（「换钥字节同」于（「截取字节串」于「行」于「零」于（「字节串长度」于「前缀」））于「前缀」）则
    「阴」
  否则
    虑「界」者「字节串取字节」于「行」于（「字节串长度」于「前缀」）而
    若「等于」于「界」于「三二」则「阳」否则「等于」于「界」于「九」
也。

「：文言：惟识无选项、no-pty、restrict 及其并列；余选项拒之。汉语：返回 0 未授权、1 可分配 PTY、2 禁止 PTY；仅识别可完整执行的选项。：」
「授权公钥一行权限」乃化「字节串」而化「字节串」而「整数」也。
「授权公钥一行权限」者会「行」而会「待验钥」而
  虑「终」者「字节串长度」于「行」而
  虑「首」者「授权公钥行首」于「行」于「零」于「终」而
  若「等于」于「首」于「终」则
    「零」
  否则若「等于」于（「字节串取字节」于「行」于「首」）于「三五」则
    「零」
  否则
    虑「净行」者
      「截取字节串」于「行」于「首」于（「减」于「终」于「首」）而
    鉴「读取单行Ed25519公钥」于「净行」而
      有（「可有」于「行钥」）则（
        若「换钥字节同」于「行钥」于「待验钥」则「一」否则「零」）
      或有「可无」则（
        虑「余行」者
          若「授权公钥选项前缀吗」于「净行」于（「字符串转字节串」于『no-pty』）
          则
            「截取字节串」
              于「净行」
              于「六」
              于（「减」于（「字节串长度」于「净行」）于「六」）
          否则若「授权公钥选项前缀吗」
            于「净行」
            于（「字符串转字节串」于『restrict』）
          则
            「截取字节串」
              于「净行」
              于「九」
              于（「减」于（「字节串长度」于「净行」）于「九」）
          否则若「授权公钥选项前缀吗」
            于「净行」
            于（「字符串转字节串」于『restrict,no-pty』）
          则
            「截取字节串」
              于「净行」
              于「一六」
              于（「减」于（「字节串长度」于「净行」）于「一六」）
          否则
            「空字节串」于「元」而
        鉴「读取单行Ed25519公钥」于（「截取字节串」
          于「余行」
          于（「授权公钥行首」于「余行」于「零」于（「字节串长度」于「余行」））
          于（「减」
            于（「字节串长度」于「余行」）
            于（「授权公钥行首」于「余行」于「零」于（「字节串长度」于「余行」））））而
          有（「可有」于「受限钥」）则（
            若「换钥字节同」于「受限钥」于「待验钥」则「二」否则「零」）
          或有「可无」则「零」
      ）
也。

「授权公钥逐行权限」乃
  化「字节串」而
  化「整数」而
  化「字节串」而
  化「整数」而
  化「整数」而
  「整数」
也。
「授权公钥逐行权限」者会「文」而会「位」而会「待验钥」而会「余行」而会「已得」而
  若「等于」于「位」于（「字节串长度」于「文」）则
    「已得」
  否则若「等于」于「余行」于「零」则「零」
  否则
    虑「尾」者
      「授权公钥行尾」于「文」于「位」于（「加」于「位」于「四零九七」）
    而
    若「大于」于（「减」于「尾」于「位」）于「四零九六」则
      「零」
    否则
      虑「净尾」者
        若「大于」于「尾」于「位」则（
          若「等于」
            于（「字节串取字节」于「文」于（「减」于「尾」于「一」））于「一三」则「减」
              于「尾」于「一」
          否则
            「尾」
        ）否则「尾」
      而
      虑「此权」者
        「授权公钥一行权限」于（「截取字节串」于「文」于「位」于（「减」于「净尾」于「位」））于「待验钥」
      而
      虑「合权」者
        若「大于」于「此权」于「已得」则「此权」否则「已得」
      而
      若「等于」于「合权」于「二」则
        「二」
      否则若「等于」于「尾」于（「字节串长度」于「文」）则
        「合权」
      否则
        「授权公钥逐行权限」于「文」于（「加」于「尾」于「一」）于「待验钥」
          于（「减」于「余行」于「一」）于「合权」
也。

「：文言：逐行取匹配钥之最严权限，惟纳无选项及可行之禁 PTY 选项。汉语：返回 0 未授权、1 可分配 PTY、2 禁止 PTY；同钥多行取较严格约束。：」
「授权公钥文权限」乃化「字节串」而化「字节串」而「整数」也。
「授权公钥文权限」者会「文」而会「待验钥」而
  若「大于」于（「字节串长度」于「文」）于「二六二一四四」则
    「零」
  否则若「不等于」于（「字节串长度」于「待验钥」）于「三二」则
    「零」
  否则
    「授权公钥逐行权限」于「文」于「零」于「待验钥」于「四零九六」于「零」
也。

「：文言：以权限求有无，零则不授。汉语：查找 Ed25519 授权钥；no-pty 与 restrict 可授权但需调用方执行限制。：」
「授权公钥文含Ed25519钥吗」乃化「字节串」而化「字节串」而「爻」也。
「授权公钥文含Ed25519钥吗」者会「文」而会「待验钥」而
  「大于」于（「授权公钥文权限」于「文」于「待验钥」）于「零」
也。