@inventarch/language 0.0.0-stage → 1.0.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.
- package/LICENSE +202 -0
- package/NOTICE +4 -0
- package/README.md +33 -2
- package/SPEC.md +225 -0
- package/dist/ast.d.ts +114 -0
- package/dist/ast.d.ts.map +1 -0
- package/dist/ast.js +2 -0
- package/dist/ast.js.map +1 -0
- package/dist/compile/compile.d.ts +82 -0
- package/dist/compile/compile.d.ts.map +1 -0
- package/dist/compile/compile.js +249 -0
- package/dist/compile/compile.js.map +1 -0
- package/dist/compile/index.d.ts +6 -0
- package/dist/compile/index.d.ts.map +1 -0
- package/dist/compile/index.js +4 -0
- package/dist/compile/index.js.map +1 -0
- package/dist/compile/spellings.d.ts +7 -0
- package/dist/compile/spellings.d.ts.map +1 -0
- package/dist/compile/spellings.js +47 -0
- package/dist/compile/spellings.js.map +1 -0
- package/dist/compile/values.d.ts +32 -0
- package/dist/compile/values.d.ts.map +1 -0
- package/dist/compile/values.js +48 -0
- package/dist/compile/values.js.map +1 -0
- package/dist/diagnostics.d.ts +22 -0
- package/dist/diagnostics.d.ts.map +1 -0
- package/dist/diagnostics.js +71 -0
- package/dist/diagnostics.js.map +1 -0
- package/dist/editor/index.d.ts +49 -0
- package/dist/editor/index.d.ts.map +1 -0
- package/dist/editor/index.js +155 -0
- package/dist/editor/index.js.map +1 -0
- package/dist/fold.d.ts +8 -0
- package/dist/fold.d.ts.map +1 -0
- package/dist/fold.js +26 -0
- package/dist/fold.js.map +1 -0
- package/dist/formatter.d.ts +10 -0
- package/dist/formatter.d.ts.map +1 -0
- package/dist/formatter.js +108 -0
- package/dist/formatter.js.map +1 -0
- package/dist/identity.d.ts +31 -0
- package/dist/identity.d.ts.map +1 -0
- package/dist/identity.js +64 -0
- package/dist/identity.js.map +1 -0
- package/dist/index.d.ts +35 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +22 -0
- package/dist/index.js.map +1 -0
- package/dist/kernel.generated.d.ts +99 -0
- package/dist/kernel.generated.d.ts.map +1 -0
- package/dist/kernel.generated.js +422 -0
- package/dist/kernel.generated.js.map +1 -0
- package/dist/parser/index.d.ts +5 -0
- package/dist/parser/index.d.ts.map +1 -0
- package/dist/parser/index.js +3 -0
- package/dist/parser/index.js.map +1 -0
- package/dist/parser/parser.d.ts +11 -0
- package/dist/parser/parser.d.ts.map +1 -0
- package/dist/parser/parser.js +297 -0
- package/dist/parser/parser.js.map +1 -0
- package/dist/parser/values.d.ts +24 -0
- package/dist/parser/values.d.ts.map +1 -0
- package/dist/parser/values.js +284 -0
- package/dist/parser/values.js.map +1 -0
- package/dist/paths.d.ts +6 -0
- package/dist/paths.d.ts.map +1 -0
- package/dist/paths.js +21 -0
- package/dist/paths.js.map +1 -0
- package/dist/references.d.ts +15 -0
- package/dist/references.d.ts.map +1 -0
- package/dist/references.js +40 -0
- package/dist/references.js.map +1 -0
- package/dist/registry/consent.d.ts +11 -0
- package/dist/registry/consent.d.ts.map +1 -0
- package/dist/registry/consent.js +31 -0
- package/dist/registry/consent.js.map +1 -0
- package/dist/registry/extract.d.ts +11 -0
- package/dist/registry/extract.d.ts.map +1 -0
- package/dist/registry/extract.js +275 -0
- package/dist/registry/extract.js.map +1 -0
- package/dist/registry/fields.d.ts +14 -0
- package/dist/registry/fields.d.ts.map +1 -0
- package/dist/registry/fields.js +30 -0
- package/dist/registry/fields.js.map +1 -0
- package/dist/registry/floor.d.ts +17 -0
- package/dist/registry/floor.d.ts.map +1 -0
- package/dist/registry/floor.js +42 -0
- package/dist/registry/floor.js.map +1 -0
- package/dist/registry/index.d.ts +19 -0
- package/dist/registry/index.d.ts.map +1 -0
- package/dist/registry/index.js +80 -0
- package/dist/registry/index.js.map +1 -0
- package/dist/registry/merge.d.ts +32 -0
- package/dist/registry/merge.d.ts.map +1 -0
- package/dist/registry/merge.js +84 -0
- package/dist/registry/merge.js.map +1 -0
- package/dist/registry/order.d.ts +12 -0
- package/dist/registry/order.d.ts.map +1 -0
- package/dist/registry/order.js +134 -0
- package/dist/registry/order.js.map +1 -0
- package/dist/registry/records.d.ts +14 -0
- package/dist/registry/records.d.ts.map +1 -0
- package/dist/registry/records.js +64 -0
- package/dist/registry/records.js.map +1 -0
- package/dist/registry/schemas.d.ts +20 -0
- package/dist/registry/schemas.d.ts.map +1 -0
- package/dist/registry/schemas.js +282 -0
- package/dist/registry/schemas.js.map +1 -0
- package/dist/registry/types.d.ts +130 -0
- package/dist/registry/types.d.ts.map +1 -0
- package/dist/registry/types.js +2 -0
- package/dist/registry/types.js.map +1 -0
- package/dist/scanner/index.d.ts +16 -0
- package/dist/scanner/index.d.ts.map +1 -0
- package/dist/scanner/index.js +78 -0
- package/dist/scanner/index.js.map +1 -0
- package/dist/scanner/lines.d.ts +46 -0
- package/dist/scanner/lines.d.ts.map +1 -0
- package/dist/scanner/lines.js +210 -0
- package/dist/scanner/lines.js.map +1 -0
- package/dist/scanner/tokenize.d.ts +9 -0
- package/dist/scanner/tokenize.d.ts.map +1 -0
- package/dist/scanner/tokenize.js +125 -0
- package/dist/scanner/tokenize.js.map +1 -0
- package/dist/scanner/tokens.d.ts +52 -0
- package/dist/scanner/tokens.d.ts.map +1 -0
- package/dist/scanner/tokens.js +2 -0
- package/dist/scanner/tokens.js.map +1 -0
- package/dist/semantic/cases.d.ts +12 -0
- package/dist/semantic/cases.d.ts.map +1 -0
- package/dist/semantic/cases.js +81 -0
- package/dist/semantic/cases.js.map +1 -0
- package/dist/semantic/cells.d.ts +9 -0
- package/dist/semantic/cells.d.ts.map +1 -0
- package/dist/semantic/cells.js +120 -0
- package/dist/semantic/cells.js.map +1 -0
- package/dist/semantic/conditions.d.ts +22 -0
- package/dist/semantic/conditions.d.ts.map +1 -0
- package/dist/semantic/conditions.js +54 -0
- package/dist/semantic/conditions.js.map +1 -0
- package/dist/semantic/contracts.d.ts +11 -0
- package/dist/semantic/contracts.d.ts.map +1 -0
- package/dist/semantic/contracts.js +75 -0
- package/dist/semantic/contracts.js.map +1 -0
- package/dist/semantic/edges.d.ts +19 -0
- package/dist/semantic/edges.d.ts.map +1 -0
- package/dist/semantic/edges.js +129 -0
- package/dist/semantic/edges.js.map +1 -0
- package/dist/semantic/placement.d.ts +6 -0
- package/dist/semantic/placement.d.ts.map +1 -0
- package/dist/semantic/placement.js +47 -0
- package/dist/semantic/placement.js.map +1 -0
- package/dist/semantic/requirements.d.ts +14 -0
- package/dist/semantic/requirements.d.ts.map +1 -0
- package/dist/semantic/requirements.js +32 -0
- package/dist/semantic/requirements.js.map +1 -0
- package/dist/semantic/resolve.d.ts +23 -0
- package/dist/semantic/resolve.d.ts.map +1 -0
- package/dist/semantic/resolve.js +62 -0
- package/dist/semantic/resolve.js.map +1 -0
- package/dist/semantic/selectors.d.ts +10 -0
- package/dist/semantic/selectors.d.ts.map +1 -0
- package/dist/semantic/selectors.js +33 -0
- package/dist/semantic/selectors.js.map +1 -0
- package/dist/semantic/types.d.ts +56 -0
- package/dist/semantic/types.d.ts.map +1 -0
- package/dist/semantic/types.js +11 -0
- package/dist/semantic/types.js.map +1 -0
- package/dist/semantic/variants.d.ts +10 -0
- package/dist/semantic/variants.d.ts.map +1 -0
- package/dist/semantic/variants.js +63 -0
- package/dist/semantic/variants.js.map +1 -0
- package/dist/semantic/vocabulary.d.ts +12 -0
- package/dist/semantic/vocabulary.d.ts.map +1 -0
- package/dist/semantic/vocabulary.js +33 -0
- package/dist/semantic/vocabulary.js.map +1 -0
- package/dist/taxonomy.d.ts +51 -0
- package/dist/taxonomy.d.ts.map +1 -0
- package/dist/taxonomy.js +42 -0
- package/dist/taxonomy.js.map +1 -0
- package/package.json +220 -3
|
@@ -0,0 +1,422 @@
|
|
|
1
|
+
// Generated by tools/kernel/generate.ts from validated .ia/src/floor; do not edit.
|
|
2
|
+
export const KINDS = [
|
|
3
|
+
"governance",
|
|
4
|
+
"contract",
|
|
5
|
+
"definition",
|
|
6
|
+
"template",
|
|
7
|
+
"check",
|
|
8
|
+
"policy",
|
|
9
|
+
"binding"
|
|
10
|
+
];
|
|
11
|
+
export const CATEGORIES = [
|
|
12
|
+
"thing",
|
|
13
|
+
"kind",
|
|
14
|
+
"property",
|
|
15
|
+
"state",
|
|
16
|
+
"event",
|
|
17
|
+
"relation",
|
|
18
|
+
"rule",
|
|
19
|
+
"capability",
|
|
20
|
+
"intent",
|
|
21
|
+
"decision",
|
|
22
|
+
"evidence",
|
|
23
|
+
"representation",
|
|
24
|
+
"process",
|
|
25
|
+
"measure",
|
|
26
|
+
"boundary"
|
|
27
|
+
];
|
|
28
|
+
export const LANES = [
|
|
29
|
+
"authority",
|
|
30
|
+
"contracts",
|
|
31
|
+
"definitions",
|
|
32
|
+
"templates",
|
|
33
|
+
"enforcement",
|
|
34
|
+
"bindings"
|
|
35
|
+
];
|
|
36
|
+
export const PHASES = [
|
|
37
|
+
"orient",
|
|
38
|
+
"plan",
|
|
39
|
+
"act",
|
|
40
|
+
"learn"
|
|
41
|
+
];
|
|
42
|
+
export const PRIMITIVES = [
|
|
43
|
+
"Memory",
|
|
44
|
+
"Attention",
|
|
45
|
+
"Inference",
|
|
46
|
+
"Decision",
|
|
47
|
+
"Escalation",
|
|
48
|
+
"Learning"
|
|
49
|
+
];
|
|
50
|
+
export const MOVES = [
|
|
51
|
+
"Observation",
|
|
52
|
+
"Execution",
|
|
53
|
+
"Delegation",
|
|
54
|
+
"Synthesis",
|
|
55
|
+
"Verification"
|
|
56
|
+
];
|
|
57
|
+
export const AXES = [
|
|
58
|
+
"shape",
|
|
59
|
+
"category",
|
|
60
|
+
"phase",
|
|
61
|
+
"primitive",
|
|
62
|
+
"move",
|
|
63
|
+
"kind",
|
|
64
|
+
"lane",
|
|
65
|
+
"predicate",
|
|
66
|
+
"artifact-set"
|
|
67
|
+
];
|
|
68
|
+
export const SHAPES = [
|
|
69
|
+
"context",
|
|
70
|
+
"governance",
|
|
71
|
+
"execution",
|
|
72
|
+
"sequence",
|
|
73
|
+
"learning"
|
|
74
|
+
];
|
|
75
|
+
export const ARTIFACT_SETS = [
|
|
76
|
+
"inquiry",
|
|
77
|
+
"decision",
|
|
78
|
+
"contract",
|
|
79
|
+
"product-definition",
|
|
80
|
+
"execution",
|
|
81
|
+
"operational",
|
|
82
|
+
"evidence",
|
|
83
|
+
"projection",
|
|
84
|
+
"principle"
|
|
85
|
+
];
|
|
86
|
+
export const PLACEMENT_KINDS = [
|
|
87
|
+
"authored",
|
|
88
|
+
"adopted",
|
|
89
|
+
"open",
|
|
90
|
+
"floor",
|
|
91
|
+
"runtime"
|
|
92
|
+
];
|
|
93
|
+
export const VALUE_TYPES = [
|
|
94
|
+
"text",
|
|
95
|
+
"id",
|
|
96
|
+
"qname",
|
|
97
|
+
"number",
|
|
98
|
+
"ref",
|
|
99
|
+
"flag"
|
|
100
|
+
];
|
|
101
|
+
export const CARDINALITIES = [
|
|
102
|
+
"one",
|
|
103
|
+
"one-or-more",
|
|
104
|
+
"optional"
|
|
105
|
+
];
|
|
106
|
+
export const PREDICATE_PAIRS = [
|
|
107
|
+
[
|
|
108
|
+
"govern",
|
|
109
|
+
"governed-by"
|
|
110
|
+
],
|
|
111
|
+
[
|
|
112
|
+
"enforce",
|
|
113
|
+
"enforced-by"
|
|
114
|
+
],
|
|
115
|
+
[
|
|
116
|
+
"ground",
|
|
117
|
+
"grounded-by"
|
|
118
|
+
],
|
|
119
|
+
[
|
|
120
|
+
"constrain",
|
|
121
|
+
"constrained-by"
|
|
122
|
+
],
|
|
123
|
+
[
|
|
124
|
+
"implement",
|
|
125
|
+
"implemented-by"
|
|
126
|
+
],
|
|
127
|
+
[
|
|
128
|
+
"produce",
|
|
129
|
+
"produced-by"
|
|
130
|
+
],
|
|
131
|
+
[
|
|
132
|
+
"consume",
|
|
133
|
+
"consumed-by"
|
|
134
|
+
],
|
|
135
|
+
[
|
|
136
|
+
"record-lineage-from",
|
|
137
|
+
"lineage-recorded-by"
|
|
138
|
+
],
|
|
139
|
+
[
|
|
140
|
+
"grant-access-to",
|
|
141
|
+
"access-granted-by"
|
|
142
|
+
],
|
|
143
|
+
[
|
|
144
|
+
"run-before",
|
|
145
|
+
"run-after"
|
|
146
|
+
],
|
|
147
|
+
[
|
|
148
|
+
"trigger",
|
|
149
|
+
"triggered-by"
|
|
150
|
+
],
|
|
151
|
+
[
|
|
152
|
+
"cite",
|
|
153
|
+
"cited-by"
|
|
154
|
+
],
|
|
155
|
+
[
|
|
156
|
+
"supersede",
|
|
157
|
+
"superseded-by"
|
|
158
|
+
],
|
|
159
|
+
[
|
|
160
|
+
"require",
|
|
161
|
+
"required-by"
|
|
162
|
+
],
|
|
163
|
+
[
|
|
164
|
+
"use",
|
|
165
|
+
"used-by"
|
|
166
|
+
],
|
|
167
|
+
[
|
|
168
|
+
"forbid",
|
|
169
|
+
"forbidden-by"
|
|
170
|
+
],
|
|
171
|
+
[
|
|
172
|
+
"route",
|
|
173
|
+
"routed-by"
|
|
174
|
+
],
|
|
175
|
+
[
|
|
176
|
+
"land",
|
|
177
|
+
"landed-by"
|
|
178
|
+
]
|
|
179
|
+
];
|
|
180
|
+
export const PRESENT_PHRASES = [
|
|
181
|
+
"governs",
|
|
182
|
+
"enforces",
|
|
183
|
+
"grounds",
|
|
184
|
+
"constrains",
|
|
185
|
+
"implements",
|
|
186
|
+
"produces",
|
|
187
|
+
"consumes",
|
|
188
|
+
"records lineage from",
|
|
189
|
+
"grants access to",
|
|
190
|
+
"runs before",
|
|
191
|
+
"triggers",
|
|
192
|
+
"cites",
|
|
193
|
+
"supersedes",
|
|
194
|
+
"requires",
|
|
195
|
+
"uses",
|
|
196
|
+
"forbids",
|
|
197
|
+
"routes to",
|
|
198
|
+
"lands at"
|
|
199
|
+
];
|
|
200
|
+
export const DIMENSION_PATHS = {
|
|
201
|
+
"severity": "governance.severity",
|
|
202
|
+
"provenance": "provenance",
|
|
203
|
+
"artifact-set": "classification"
|
|
204
|
+
};
|
|
205
|
+
export const SEVERITIES = [
|
|
206
|
+
"blocking",
|
|
207
|
+
"advisory",
|
|
208
|
+
"informational"
|
|
209
|
+
];
|
|
210
|
+
export const PROVENANCES = [
|
|
211
|
+
"workspace",
|
|
212
|
+
"methodology",
|
|
213
|
+
"bootstrap",
|
|
214
|
+
"runtime"
|
|
215
|
+
];
|
|
216
|
+
export const BANDS = [
|
|
217
|
+
100,
|
|
218
|
+
90,
|
|
219
|
+
50,
|
|
220
|
+
10,
|
|
221
|
+
0
|
|
222
|
+
];
|
|
223
|
+
export const BAND_OF = {
|
|
224
|
+
"authored": 100,
|
|
225
|
+
"adopted": 90,
|
|
226
|
+
"open": 50,
|
|
227
|
+
"floor": 10,
|
|
228
|
+
"runtime": 0
|
|
229
|
+
};
|
|
230
|
+
export const KIND_LANES = {
|
|
231
|
+
"governance": "authority",
|
|
232
|
+
"contract": "contracts",
|
|
233
|
+
"definition": "definitions",
|
|
234
|
+
"template": "templates",
|
|
235
|
+
"check": "enforcement",
|
|
236
|
+
"policy": "enforcement",
|
|
237
|
+
"binding": "bindings"
|
|
238
|
+
};
|
|
239
|
+
export const PRIMITIVE_ANCHORS = {
|
|
240
|
+
"Memory": "orient",
|
|
241
|
+
"Attention": "orient",
|
|
242
|
+
"Inference": "plan",
|
|
243
|
+
"Decision": "act",
|
|
244
|
+
"Escalation": "act",
|
|
245
|
+
"Learning": "learn"
|
|
246
|
+
};
|
|
247
|
+
export const SHAPE_ROWS = {
|
|
248
|
+
"context": {
|
|
249
|
+
"category": "relation",
|
|
250
|
+
"primitive": "Attention",
|
|
251
|
+
"tiePrecedence": 4,
|
|
252
|
+
"kinds": [
|
|
253
|
+
"definition",
|
|
254
|
+
"contract"
|
|
255
|
+
],
|
|
256
|
+
"lanes": [
|
|
257
|
+
"definitions",
|
|
258
|
+
"contracts"
|
|
259
|
+
],
|
|
260
|
+
"predicates": [
|
|
261
|
+
"cite",
|
|
262
|
+
"ground",
|
|
263
|
+
"require"
|
|
264
|
+
],
|
|
265
|
+
"priming": []
|
|
266
|
+
},
|
|
267
|
+
"governance": {
|
|
268
|
+
"category": "rule",
|
|
269
|
+
"primitive": "Inference",
|
|
270
|
+
"tiePrecedence": 0,
|
|
271
|
+
"kinds": [
|
|
272
|
+
"governance",
|
|
273
|
+
"policy",
|
|
274
|
+
"check"
|
|
275
|
+
],
|
|
276
|
+
"lanes": [
|
|
277
|
+
"authority",
|
|
278
|
+
"enforcement"
|
|
279
|
+
],
|
|
280
|
+
"predicates": [
|
|
281
|
+
"govern",
|
|
282
|
+
"constrain",
|
|
283
|
+
"forbid",
|
|
284
|
+
"enforce"
|
|
285
|
+
],
|
|
286
|
+
"priming": [
|
|
287
|
+
"govern",
|
|
288
|
+
"constrain",
|
|
289
|
+
"forbid",
|
|
290
|
+
"enforce",
|
|
291
|
+
"implement"
|
|
292
|
+
]
|
|
293
|
+
},
|
|
294
|
+
"execution": {
|
|
295
|
+
"category": "capability",
|
|
296
|
+
"primitive": "Decision",
|
|
297
|
+
"tiePrecedence": 3,
|
|
298
|
+
"kinds": [
|
|
299
|
+
"binding",
|
|
300
|
+
"template"
|
|
301
|
+
],
|
|
302
|
+
"lanes": [
|
|
303
|
+
"bindings",
|
|
304
|
+
"templates"
|
|
305
|
+
],
|
|
306
|
+
"predicates": [
|
|
307
|
+
"implement",
|
|
308
|
+
"trigger",
|
|
309
|
+
"route",
|
|
310
|
+
"consume"
|
|
311
|
+
],
|
|
312
|
+
"priming": []
|
|
313
|
+
},
|
|
314
|
+
"sequence": {
|
|
315
|
+
"category": "process",
|
|
316
|
+
"primitive": "Inference",
|
|
317
|
+
"tiePrecedence": 1,
|
|
318
|
+
"kinds": [
|
|
319
|
+
"contract",
|
|
320
|
+
"binding"
|
|
321
|
+
],
|
|
322
|
+
"lanes": [
|
|
323
|
+
"contracts",
|
|
324
|
+
"bindings"
|
|
325
|
+
],
|
|
326
|
+
"predicates": [
|
|
327
|
+
"run-before",
|
|
328
|
+
"require",
|
|
329
|
+
"supersede"
|
|
330
|
+
],
|
|
331
|
+
"priming": []
|
|
332
|
+
},
|
|
333
|
+
"learning": {
|
|
334
|
+
"category": "evidence",
|
|
335
|
+
"primitive": "Learning",
|
|
336
|
+
"tiePrecedence": 2,
|
|
337
|
+
"kinds": [
|
|
338
|
+
"definition"
|
|
339
|
+
],
|
|
340
|
+
"lanes": [
|
|
341
|
+
"definitions"
|
|
342
|
+
],
|
|
343
|
+
"predicates": [
|
|
344
|
+
"record-lineage-from",
|
|
345
|
+
"produce",
|
|
346
|
+
"cite"
|
|
347
|
+
],
|
|
348
|
+
"priming": []
|
|
349
|
+
}
|
|
350
|
+
};
|
|
351
|
+
export const KERNEL_DIGEST = "c89066c387ca615148c78a5013b7cd34123be6aebcf6d8af8582e48e85ffacb6";
|
|
352
|
+
export const KERNEL_SOURCES = Object.freeze([
|
|
353
|
+
{
|
|
354
|
+
"path": ".ia/src/floor/artifact-set.ia",
|
|
355
|
+
"text": "#! ia 1.0\n\n@artifact-set inquiry\n meaning\n says \"Questions, exploration and research whose result is understanding.\"\n answers \"Is the artifact mainly there to settle an open question?\"\n data\n order 0\n\n@artifact-set decision\n meaning\n says \"A retained choice with its reasons and constraints.\"\n answers \"Is the artifact mainly there to keep a choice, with the reasons that made it?\"\n data\n order 1\n\n@artifact-set contract\n meaning\n says \"An agreement or structural obligation consumers rely on.\"\n answers \"Is the artifact mainly there to state what consumers may rely on?\"\n data\n order 2\n\n@artifact-set product-definition\n meaning\n says \"A definition of intended product behavior or structure.\"\n answers \"Is the artifact mainly there to say how a product should behave or be built?\"\n data\n order 3\n\n@artifact-set execution\n meaning\n says \"Work instructions, plans and implementations used to act.\"\n answers \"Is the artifact mainly there to direct or carry out work?\"\n data\n order 4\n\n@artifact-set operational\n meaning\n says \"Configuration and records that maintain an operating environment.\"\n answers \"Is the artifact mainly there to keep an environment configured and running?\"\n data\n order 5\n\n@artifact-set evidence\n meaning\n says \"An attributable observation used to verify a claim.\"\n answers \"Is the artifact mainly there to show, attributably, whether a claim holds?\"\n data\n order 6\n\n@artifact-set projection\n meaning\n says \"A generated rendering whose authored source remains authoritative.\"\n answers \"Is the artifact mainly there to render another source, which stays authoritative over it?\"\n data\n order 7\n\n@artifact-set principle\n meaning\n says \"A durable guiding judgment applied across situations.\"\n answers \"Is the artifact mainly there to guide judgment across many situations?\"\n data\n order 8\n\n"
|
|
356
|
+
},
|
|
357
|
+
{
|
|
358
|
+
"path": ".ia/src/floor/axis.ia",
|
|
359
|
+
"text": "#! ia 1.0\n\n@axis shape\n meaning\n says \"The intent framing of a request; a derived hint unless explicitly declared.\"\n answers \"Should selection depend on how the request is framed, whether declared or derived from its text?\"\n data\n order 0\n values [context, governance, execution, sequence, learning]\n\n@axis category\n meaning\n says \"The sort of concept requested; request category is distinct from discriminator classification.\"\n answers \"Should selection depend on the sort of concept sought, whatever the record is registered as?\"\n data\n order 1\n values [thing, kind, property, state, event, relation, rule, capability, intent, decision, evidence, representation, process, measure, boundary]\n\n@axis phase\n meaning\n says \"The declared position in orient, plan, act and learn.\"\n answers \"Should selection depend on where the work stands in the cycle from orienting to learning?\"\n data\n order 2\n values [orient, plan, act, learn]\n\n@axis primitive\n meaning\n says \"The cognitive operation the actor declares it is performing.\"\n answers \"Should selection depend on the cognitive operation the actor declares, rather than the action mode?\"\n data\n order 3\n values [Memory, Attention, Inference, Decision, Escalation, Learning]\n\n@axis move\n meaning\n says \"The requested action mode, distinct from a cognitive primitive.\"\n answers \"Should selection depend on the action mode, rather than the cognitive operation?\"\n data\n order 4\n values [Observation, Execution, Delegation, Synthesis, Verification]\n\n@axis kind\n meaning\n says \"The closed semantic kind a request selects.\"\n answers \"Should selection depend on the semantic role of the record wanted?\"\n data\n order 5\n values [governance, contract, definition, template, check, policy, binding]\n\n@axis lane\n meaning\n says \"The structural lane derived from kind, with the authority-facet contract exception.\"\n answers \"Should selection depend on the structural grouping a record's role places it in, rather than the role itself?\"\n data\n order 6\n values [authority, contracts, definitions, templates, enforcement, bindings]\n\n@axis predicate\n meaning\n says \"The active relationship family a request follows or selects.\"\n answers \"Should selection depend on the relationship family a request follows, named by its active form?\"\n data\n order 7\n values [govern, enforce, ground, constrain, implement, produce, consume, record-lineage-from, grant-access-to, run-before, trigger, cite, supersede, require, use, forbid, route, land]\n\n@axis artifact-set\n meaning\n says \"The artifact classification used in routing and subject conditions.\"\n answers \"Should selection depend on the artifact role requested, or a condition on the subject artifact's role?\"\n data\n order 8\n values [inquiry, decision, contract, product-definition, execution, operational, evidence, projection, principle]\n\n"
|
|
360
|
+
},
|
|
361
|
+
{
|
|
362
|
+
"path": ".ia/src/floor/cardinality.ia",
|
|
363
|
+
"text": "#! ia 1.0\n\n@cardinality one\n meaning\n says \"At most one distinct target; a must obligation also requires its presence.\"\n answers \"Is the row limited to at most one distinct target?\"\n data\n order 0\n\n@cardinality one-or-more\n meaning\n says \"No upper bound; a must obligation requires at least one distinct target.\"\n answers \"May the row have several distinct targets?\"\n data\n order 1\n\n@cardinality optional\n meaning\n says \"Zero or one distinct target, including when the schema row uses must.\"\n answers \"May the row have no target even when it says must?\"\n data\n order 2\n\n"
|
|
364
|
+
},
|
|
365
|
+
{
|
|
366
|
+
"path": ".ia/src/floor/category.ia",
|
|
367
|
+
"text": "#! ia 1.0\n\n@category thing\n meaning\n says \"A concrete entity — an object or instance that exists in its own right.\"\n answers \"Is this node a concrete instance that exists in its own right, not a type of one?\"\n data\n order 0\n\n@category kind\n meaning\n says \"A type or class — the category an instance belongs to.\"\n answers \"Is this node a type that instances belong to, not one of those instances?\"\n data\n order 1\n\n@category property\n meaning\n says \"An attribute or quality — a characteristic a node carries.\"\n answers \"Is this node a characteristic that some other node carries?\"\n data\n order 2\n\n@category state\n meaning\n says \"A condition or status — the configuration a node is in at a moment.\"\n answers \"Is this node the condition something is in at a moment, not what happened to it?\"\n data\n order 3\n\n@category event\n meaning\n says \"An occurrence in time — something that happens or is emitted.\"\n answers \"Is this node something that happens or is emitted at a point in time?\"\n data\n order 4\n\n@category relation\n meaning\n says \"A link between nodes — an edge or association connecting two things.\"\n answers \"Is this node an association that connects two other things?\"\n data\n order 5\n\n@category rule\n meaning\n says \"A normative constraint — what must, may, or must not hold.\"\n answers \"Is this node a statement of what must, may or must not hold?\"\n data\n order 6\n\n@category capability\n meaning\n says \"An ability or affordance — what an actor or system can do.\"\n answers \"Is this node something an actor or system is able to do?\"\n data\n order 7\n\n@category intent\n meaning\n says \"A goal or purpose — the aim a node is directed toward.\"\n answers \"Is this node an aim that work is directed toward?\"\n data\n order 8\n\n@category decision\n meaning\n says \"A committed choice — a selection among alternatives, with the bet stated.\"\n answers \"Is this node a choice already committed among alternatives, with its bet stated?\"\n data\n order 9\n\n@category evidence\n meaning\n says \"A grounding observation — a checkable fact that supports a claim.\"\n answers \"Is this node a checkable fact offered in support of a claim?\"\n data\n order 10\n\n@category representation\n meaning\n says \"A data shape or encoding — how information is structured or rendered.\"\n answers \"Is this node a structure or encoding for information, not the information's subject?\"\n data\n order 11\n\n@category process\n meaning\n says \"An activity or transformation — work that takes inputs to outputs over steps.\"\n answers \"Is this node work that turns inputs into outputs over steps?\"\n data\n order 12\n\n@category measure\n meaning\n says \"A quantity or metric — a measured value or unit of assessment.\"\n answers \"Is this node a quantity, or a unit for assessing one?\"\n data\n order 13\n\n@category boundary\n meaning\n says \"A scope or limit — the edge of a domain, where reach or authority stops.\"\n answers \"Is this node where scope or authority stops, rather than a rule about it?\"\n data\n order 14\n\n"
|
|
368
|
+
},
|
|
369
|
+
{
|
|
370
|
+
"path": ".ia/src/floor/dimension.ia",
|
|
371
|
+
"text": "#! ia 1.0\n\n@dimension severity\n meaning\n says \"The governance stakes read from governance.severity; a declared request may raise them.\"\n answers \"Should the condition depend on how much is at stake if the governing rule is broken?\"\n data\n order 0\n values [blocking, advisory, informational]\n path \"governance.severity\"\n\n@dimension provenance\n meaning\n says \"The source provenance supplied by the loader, never inferred from prose.\"\n answers \"Should the condition depend on where the loader says a source came from, never on what its prose claims?\"\n data\n order 1\n values [workspace, methodology, bootstrap, runtime]\n path \"provenance\"\n\n@dimension artifact-set\n meaning\n says \"The subject artifact classification supplied by the classification consumer.\"\n answers \"Should the condition depend on which role the subject artifact itself serves?\"\n data\n order 2\n values [inquiry, decision, contract, product-definition, execution, operational, evidence, projection, principle]\n path \"classification\"\n\n"
|
|
372
|
+
},
|
|
373
|
+
{
|
|
374
|
+
"path": ".ia/src/floor/floor.schema.ia",
|
|
375
|
+
"text": "#! ia 1.0\n\n@schema system\n lowers to definition\n sections\n may have discriminators\n may have requires\n may have edges\n may have relationships\n open\n fields\n must have head.provider as text\n must have head.version as text\n may have head.steward as ref\n may have head.describes as text\n\n@schema schema\n lowers to contract\n sections\n must have sections\n may have fields\n may have edges\n closed\n"
|
|
376
|
+
},
|
|
377
|
+
{
|
|
378
|
+
"path": ".ia/src/floor/intent-shape.ia",
|
|
379
|
+
"text": "#! ia 1.0\n\n@intent-shape context\n meaning\n says \"Need context — pull the source documents, evidence and prerequisites a request rests on. Select the relevant entity and traverse its relations. Also the safe default when no signal dominates.\"\n answers \"Is this request asking what exists, where it is, or what it means?\"\n data\n order 0\n routing\n category relation\n primitive Attention\n tie-precedence 4\n kind-focus [definition, contract]\n lane-focus [definitions, contracts]\n predicate-focus [cite, ground, require]\n\n@intent-shape governance\n meaning\n says \"Need governance — pull the rules, boundaries, prohibitions and checks that bear on a request. Notice the applicable rule, then infer compliance. First in tie precedence because a missed guardrail is the costliest classification error.\"\n answers \"Is this request asking what is permitted, forbidden or enforced?\"\n data\n order 1\n routing\n category rule\n primitive Inference\n tie-precedence 0\n kind-focus [governance, policy, check]\n lane-focus [authority, enforcement]\n predicate-focus [govern, constrain, forbid, enforce]\n priming-order [govern, constrain, forbid, enforce, implement]\n\n@intent-shape execution\n meaning\n says \"Need execution — pull the bindings, tools, dispatch paths and inputs a request would run through. Choose the invocation surface.\"\n answers \"Is this request asking how something is run, built or invoked?\"\n data\n order 2\n routing\n category capability\n primitive Decision\n tie-precedence 3\n kind-focus [binding, template]\n lane-focus [bindings, templates]\n predicate-focus [implement, trigger, route, consume]\n\n@intent-shape sequence\n meaning\n says \"Need sequence — pull the ordering, the blockers and the current version. The framing that infers the next step in a process.\"\n answers \"Is this request asking what comes before, after or instead of something?\"\n data\n order 3\n routing\n category process\n primitive Inference\n tie-precedence 1\n kind-focus [contract, binding]\n lane-focus [contracts, bindings]\n predicate-focus [run-before, require, supersede]\n\n@intent-shape learning\n meaning\n says \"Need learning — pull the derivation, the outputs and the evidence. Store the proof and learn from the outcome.\"\n answers \"Is this request asking what a run taught, produced or derived from?\"\n data\n order 4\n routing\n category evidence\n primitive Learning\n tie-precedence 2\n kind-focus [definition]\n lane-focus [definitions]\n predicate-focus [record-lineage-from, produce, cite]\n\n"
|
|
380
|
+
},
|
|
381
|
+
{
|
|
382
|
+
"path": ".ia/src/floor/kernel.schema.ia",
|
|
383
|
+
"text": "#! ia 1.0\n\n@schema kernel-kind\n lowers to definition\n sections\n must have meaning\n must have data\n closed\n fields\n must have meaning.says as text\n must have meaning.answers as text\n must have data.order as number\n must have data.lane as id\n may have data.authority-lane as id\n\n@schema kernel-category\n lowers to definition\n sections\n must have meaning\n must have data\n closed\n fields\n must have meaning.says as text\n must have meaning.answers as text\n must have data.order as number\n\n@schema kernel-lane\n lowers to definition\n sections\n must have meaning\n must have data\n closed\n fields\n must have meaning.says as text\n must have meaning.answers as text\n must have data.order as number\n\n@schema kernel-phase\n lowers to definition\n sections\n must have meaning\n must have data\n closed\n fields\n must have meaning.says as text\n must have meaning.answers as text\n must have data.order as number\n\n@schema kernel-primitive\n lowers to definition\n sections\n must have meaning\n must have data\n closed\n fields\n must have meaning.says as text\n must have meaning.answers as text\n must have data.order as number\n must have data.anchor as id\n\n@schema kernel-move\n lowers to definition\n sections\n must have meaning\n must have data\n closed\n fields\n must have meaning.says as text\n must have meaning.answers as text\n must have data.order as number\n\n@schema kernel-predicate\n lowers to definition\n sections\n must have meaning\n must have data\n closed\n fields\n must have meaning.says as text\n must have meaning.answers as text\n must have data.order as number\n must have data.inverse as id\n must have data.phrase as text\n\n@schema kernel-axis\n lowers to definition\n sections\n must have meaning\n must have data\n closed\n fields\n must have meaning.says as text\n must have meaning.answers as text\n must have data.order as number\n must have data.values as list of id\n\n@schema kernel-dimension\n lowers to definition\n sections\n must have meaning\n must have data\n closed\n fields\n must have meaning.says as text\n must have meaning.answers as text\n must have data.order as number\n must have data.values as list of id\n must have data.path as text\n\n@schema kernel-intent-shape\n lowers to definition\n sections\n must have meaning\n must have data\n must have routing\n closed\n fields\n must have meaning.says as text\n must have meaning.answers as text\n must have data.order as number\n must have routing.category as id\n must have routing.primitive as id\n must have routing.tie-precedence as number\n must have routing.kind-focus as list of id\n must have routing.lane-focus as list of id\n must have routing.predicate-focus as list of id\n may have routing.priming-order as list of id\n\n@schema kernel-artifact-set\n lowers to definition\n sections\n must have meaning\n must have data\n closed\n fields\n must have meaning.says as text\n must have meaning.answers as text\n must have data.order as number\n\n@schema kernel-placement\n lowers to definition\n sections\n must have meaning\n must have data\n closed\n fields\n must have meaning.says as text\n must have meaning.answers as text\n must have data.order as number\n must have data.band as number\n\n@schema kernel-value-type\n lowers to definition\n sections\n must have meaning\n must have data\n closed\n fields\n must have meaning.says as text\n must have meaning.answers as text\n must have data.order as number\n\n@schema kernel-cardinality\n lowers to definition\n sections\n must have meaning\n must have data\n closed\n fields\n must have meaning.says as text\n must have meaning.answers as text\n must have data.order as number\n\n"
|
|
384
|
+
},
|
|
385
|
+
{
|
|
386
|
+
"path": ".ia/src/floor/kind.ia",
|
|
387
|
+
"text": "#! ia 1.0\n\n@kind governance\n meaning\n says \"A standing 'ought' — a norm that always holds (law · principle · convention).\"\n answers \"Is this record a standing norm that always holds, rather than a permission or routing rule?\"\n data\n order 0\n lane authority\n\n@kind contract\n meaning\n says \"An obligation that another record relies on: a structural body schema or a signature between parties. The schema and contract discriminators have distinct dialects under this shared kind.\"\n answers \"Does this record pin a structure that something else relies on?\"\n data\n order 1\n lane contracts\n authority-lane authority\n\n@kind definition\n meaning\n says \"The meaning of a term or the membership of an axis (concept · boundary · method · taxonomy member).\"\n answers \"Does this record say what a term, boundary, method or domain member means?\"\n data\n order 2\n lane definitions\n\n@kind template\n meaning\n says \"A reusable output shape. An implemented consumer is required to instantiate it into records or files.\"\n answers \"Is this record a reusable output shape that a consumer instantiates?\"\n data\n order 3\n lane templates\n\n@kind check\n meaning\n says \"A declared evaluation gate. Its bound evaluator produces a verdict; the declaration alone does not execute.\"\n answers \"Does this record declare a gate whose bound evaluator yields a verdict?\"\n data\n order 4\n lane enforcement\n\n@kind policy\n meaning\n says \"An access or routing rule — who may, and what flows where.\"\n answers \"Does this record declare who may act or where something flows?\"\n data\n order 5\n lane enforcement\n\n@kind binding\n meaning\n says \"An explicit connection between an actor, invocation or trigger and behavior. A host consumer supplies execution.\"\n answers \"Does this record wire an actor or trigger to behavior a host executes?\"\n data\n order 6\n lane bindings\n\n"
|
|
388
|
+
},
|
|
389
|
+
{
|
|
390
|
+
"path": ".ia/src/floor/lane.ia",
|
|
391
|
+
"text": "#! ia 1.0\n\n@lane authority\n meaning\n says \"The authority lane — where governance and authority-facet contracts land: the norms and authority-facet contracts that say what must hold. Derived from @kind governance and @kind contract (authority facet).\"\n answers \"Does the work need the obligations that govern it?\"\n data\n order 0\n\n@lane contracts\n meaning\n says \"The contracts lane — where non-authority contracts land: the agreed shapes and interfaces records fill. Derived from @kind contract (non-authority facet).\"\n answers \"Does the work need the structures or agreements it must satisfy?\"\n data\n order 1\n\n@lane definitions\n meaning\n says \"The definitions lane — where definitional nodes land: the declarations of what things ARE. Derived from @kind definition.\"\n answers \"Does the work need what its terms, boundaries and methods mean?\"\n data\n order 2\n\n@lane templates\n meaning\n says \"The templates lane — where reusable scaffolds land: the parameterized shapes instantiated into concrete records. Derived from @kind template.\"\n answers \"Does the work need a reusable output shape to fill?\"\n data\n order 3\n\n@lane enforcement\n meaning\n says \"The enforcement lane — where gates and access rules land: the checks and policies evaluated at a crossing. Derived from @kind check and @kind policy.\"\n answers \"Does the work need the gates and permission or routing rules it will cross?\"\n data\n order 4\n\n@lane bindings\n meaning\n says \"The bindings lane — where executable connections land: actors, invocations and triggers wired to behavior a host supplies. Derived from @kind binding.\"\n answers \"Does the work need the actors, invocations or triggers wired to behavior?\"\n data\n order 5\n\n"
|
|
392
|
+
},
|
|
393
|
+
{
|
|
394
|
+
"path": ".ia/src/floor/move.ia",
|
|
395
|
+
"text": "#! ia 1.0\n\n@move Observation\n meaning\n says \"Take in what is actually there — the move that reads state without changing it.\"\n answers \"Does the request read what is there and leave it unchanged?\"\n data\n order 0\n\n@move Execution\n meaning\n says \"Carry out the authorized action — the move that changes state.\"\n answers \"Does the request change state by carrying out authorized work itself?\"\n data\n order 1\n\n@move Delegation\n meaning\n says \"Hand bounded work to another actor — the move that assigns work while the delegator keeps responsibility and grants no new authority.\"\n answers \"Does the request pass bounded work to another actor while keeping responsibility for it?\"\n data\n order 2\n\n@move Synthesis\n meaning\n says \"Combine separate findings into one account — the move that produces a whole from parts.\"\n answers \"Does the request pull separate findings into one account?\"\n data\n order 3\n\n@move Verification\n meaning\n says \"Check a claim against evidence — the move that decides whether something holds.\"\n answers \"Does the request test a claim against evidence to settle whether it holds?\"\n data\n order 4\n\n"
|
|
396
|
+
},
|
|
397
|
+
{
|
|
398
|
+
"path": ".ia/src/floor/phase.ia",
|
|
399
|
+
"text": "#! ia 1.0\n\n@phase orient\n meaning\n says \"Establish the objective, context and constraints before selecting work.\"\n answers \"Does the work still lack a clear objective, the context it rests on or its limits?\"\n data\n order 0\n\n@phase plan\n meaning\n says \"Derive a bounded approach and the evidence that will establish its result.\"\n answers \"Does the work have a settled goal but still need an approach and the evidence that will prove it?\"\n data\n order 1\n\n@phase act\n meaning\n says \"Perform the authorized work and observe its actual effects.\"\n answers \"Does the work have an authorized approach and now need doing, with its real effects watched?\"\n data\n order 2\n\n@phase learn\n meaning\n says \"Compare the outcome with the intent and retain attributable knowledge.\"\n answers \"Does the work have an outcome to hold against the intent, and knowledge worth keeping?\"\n data\n order 3\n\n"
|
|
400
|
+
},
|
|
401
|
+
{
|
|
402
|
+
"path": ".ia/src/floor/placement.ia",
|
|
403
|
+
"text": "#! ia 1.0\n\n@placement authored\n meaning\n says \"Local authored material at authority band 100.\"\n answers \"Was this source written in the local workspace?\"\n data\n order 0\n band 100\n\n@placement adopted\n meaning\n says \"Explicitly adopted material at authority band 90.\"\n answers \"Was this source deliberately taken on by the workspace from elsewhere?\"\n data\n order 1\n band 90\n\n@placement open\n meaning\n says \"Visible but unadopted material at authority band 50.\"\n answers \"Is this source visible to the workspace without having been taken on?\"\n data\n order 2\n band 50\n\n@placement floor\n meaning\n says \"Bootstrap foundation material at authority band 10.\"\n answers \"Is this source part of the bootstrap foundation the language starts from?\"\n data\n order 3\n band 10\n\n@placement runtime\n meaning\n says \"Run-produced material at authority band 0.\"\n answers \"Was this source produced by a run rather than written by an author?\"\n data\n order 4\n band 0\n\n"
|
|
404
|
+
},
|
|
405
|
+
{
|
|
406
|
+
"path": ".ia/src/floor/predicate.ia",
|
|
407
|
+
"text": "#! ia 1.0\n\n@predicate govern\n meaning\n says \"X governs Y — Y is subject to X's authority and rules (inverse: governed-by). The authority edge.\"\n answers \"Does X supply the authority or rules that Y is subject to?\"\n data\n order 0\n inverse governed-by\n phrase \"governs\"\n\n@predicate enforce\n meaning\n says \"X enforces Y — X actively applies or checks Y at a crossing (inverse: enforced-by). The enforcement edge.\"\n answers \"Does X apply or check Y's obligation, rather than state it?\"\n data\n order 1\n inverse enforced-by\n phrase \"enforces\"\n\n@predicate ground\n meaning\n says \"X grounds Y — X is the evidence or basis Y rests on (inverse: grounded-by). The grounding edge.\"\n answers \"Is X evidence Y rests on, not merely a source it mentions?\"\n data\n order 2\n inverse grounded-by\n phrase \"grounds\"\n\n@predicate constrain\n meaning\n says \"X constrains Y — X bounds what Y may be or do (inverse: constrained-by). The constraint edge.\"\n answers \"Does X bound what Y may be or do without prohibiting it outright?\"\n data\n order 3\n inverse constrained-by\n phrase \"constrains\"\n\n@predicate implement\n meaning\n says \"X implements Y — X is the concrete realization of the interface, requirement or intent Y, or a case that exercises requirement Y for coverage (inverse: implemented-by). The realization edge.\"\n answers \"Does X realize Y's interface, requirement or intent, or exercise that requirement as a case?\"\n data\n order 4\n inverse implemented-by\n phrase \"implements\"\n\n@predicate produce\n meaning\n says \"X produces Y — X yields Y as an output or artifact (inverse: produced-by). The production edge.\"\n answers \"Does X yield Y as an output, rather than record where Y came from?\"\n data\n order 5\n inverse produced-by\n phrase \"produces\"\n\n@predicate consume\n meaning\n says \"X consumes Y — X takes Y as an input (inverse: consumed-by). The consumption edge.\"\n answers \"Does X take Y as an input, rather than depend on Y being present?\"\n data\n order 6\n inverse consumed-by\n phrase \"consumes\"\n\n@predicate record-lineage-from\n meaning\n says \"X records lineage from Y — X traces its provenance to the source Y (inverse: lineage-recorded-by). The lineage edge.\"\n answers \"Does X derive from Y as its source, rather than yield it?\"\n data\n order 7\n inverse lineage-recorded-by\n phrase \"records lineage from\"\n\n@predicate grant-access-to\n meaning\n says \"X grants access to Y — X declares that reaching the resource Y is permitted, which an access consumer must enforce (inverse: access-granted-by). The access-grant edge.\"\n answers \"Does X declare that reaching resource Y is permitted?\"\n data\n order 8\n inverse access-granted-by\n phrase \"grants access to\"\n\n@predicate run-before\n meaning\n says \"X runs before Y — X precedes Y in execution order (inverse: run-after). The ordering edge.\"\n answers \"Must X come before Y in execution order, without starting it?\"\n data\n order 9\n inverse run-after\n phrase \"runs before\"\n\n@predicate trigger\n meaning\n says \"X triggers Y — X fires or initiates Y at a lifecycle moment (inverse: triggered-by). The trigger edge.\"\n answers \"Does X start Y at a lifecycle moment, rather than only precede it?\"\n data\n order 10\n inverse triggered-by\n phrase \"triggers\"\n\n@predicate cite\n meaning\n says \"X cites Y — X references Y as a source or prior art (inverse: cited-by). The citation edge.\"\n answers \"Does X reference Y while asserting nothing stronger?\"\n data\n order 11\n inverse cited-by\n phrase \"cites\"\n\n@predicate supersede\n meaning\n says \"X supersedes Y — X replaces and obsoletes Y (inverse: superseded-by). The supersession edge.\"\n answers \"Does X replace Y and leave it obsolete?\"\n data\n order 12\n inverse superseded-by\n phrase \"supersedes\"\n\n@predicate require\n meaning\n says \"X requires Y — X depends on Y being present to function (inverse: required-by). The dependency edge.\"\n answers \"Does X need Y to be present in order to function?\"\n data\n order 13\n inverse required-by\n phrase \"requires\"\n\n@predicate use\n meaning\n says \"X uses Y — X draws on or adopts Y; a @workspace `uses @distribution <name>` edge declares one install (inverse: used-by). The usage edge.\"\n answers \"Does X draw on or adopt Y without needing it present to function?\"\n data\n order 14\n inverse used-by\n phrase \"uses\"\n\n@predicate forbid\n meaning\n says \"X forbids Y — X prohibits Y (inverse: forbidden-by). The prohibition edge.\"\n answers \"Does X prohibit Y outright?\"\n data\n order 15\n inverse forbidden-by\n phrase \"forbids\"\n\n@predicate route\n meaning\n says \"X routes to Y — X directs dispatch or flow to Y (inverse: routed-by). The routing edge.\"\n answers \"Does X direct dispatch or flow to Y, rather than start it?\"\n data\n order 16\n inverse routed-by\n phrase \"routes to\"\n\n@predicate land\n meaning\n says \"X lands at Y — X's published content materializes at the target Y when a consumer adopts it (inverse: landed-by). The distribution landing edge.\"\n answers \"Does X's published content materialize at Y once a consumer adopts it?\"\n data\n order 17\n inverse landed-by\n phrase \"lands at\"\n\n"
|
|
408
|
+
},
|
|
409
|
+
{
|
|
410
|
+
"path": ".ia/src/floor/primitive.ia",
|
|
411
|
+
"text": "#! ia 1.0\n\n@primitive Memory\n meaning\n says \"Recall and retrieval — bring stored context to bear and gather what is already known. Anchors the orient phase, with Attention.\"\n answers \"Does this step need context or commitments that already exist?\"\n data\n order 0\n anchor orient\n\n@primitive Attention\n meaning\n says \"Selection and focus — attend to what is salient and narrow the field to what matters now. Anchors the orient phase, with Memory.\"\n answers \"Does this step have to pick, from what is available, what matters now?\"\n data\n order 1\n anchor orient\n\n@primitive Inference\n meaning\n says \"Computation and derivation — derive a conclusion or an approach from the premises; compute the plan before acting. Anchors the plan phase.\"\n answers \"Does this step reach a conclusion or approach by reasoning from premises?\"\n data\n order 2\n anchor plan\n\n@primitive Decision\n meaning\n says \"Commitment and choice — commit to one option among the named alternatives and make the call. Anchors the act phase, with Escalation.\"\n answers \"Does this step commit to one option within its own authority?\"\n data\n order 3\n anchor act\n\n@primitive Escalation\n meaning\n says \"Raising and routing — escalate when a gate blocks or the stakes exceed the local authority, routing the call upward. Anchors the act phase, with Decision.\"\n answers \"Must this step hand the call upward because a gate blocks or the stakes exceed its authority?\"\n data\n order 4\n anchor act\n\n@primitive Learning\n meaning\n says \"Update and consolidation — write back what the run taught and revise the model from the evidence, so the next loop is better informed. Anchors the learn phase.\"\n answers \"Does this step change what later loops will know, based on what a result showed?\"\n data\n order 5\n anchor learn\n\n"
|
|
412
|
+
},
|
|
413
|
+
{
|
|
414
|
+
"path": ".ia/src/floor/taxonomy.system.ia",
|
|
415
|
+
"text": "#! ia 1.0\n\n@system taxonomy\n provider \"inventarch.kernel\"\n version \"1.0.0\"\n describes \"Closed vocabulary and routing defaults for the language foundation.\"\n requires\n - floor\n discriminators\n kind lowers to definition\n category kind\n facets [kind]\n schema @schema kernel-kind\n category lowers to definition\n category kind\n facets [category]\n schema @schema kernel-category\n lane lowers to definition\n category kind\n facets [lane]\n schema @schema kernel-lane\n phase lowers to definition\n category kind\n facets [phase]\n schema @schema kernel-phase\n primitive lowers to definition\n category kind\n facets [primitive]\n schema @schema kernel-primitive\n move lowers to definition\n category kind\n facets [move]\n schema @schema kernel-move\n predicate lowers to definition\n category kind\n facets [predicate]\n schema @schema kernel-predicate\n axis lowers to definition\n category kind\n facets [axis]\n schema @schema kernel-axis\n dimension lowers to definition\n category kind\n facets [dimension]\n schema @schema kernel-dimension\n intent-shape lowers to definition\n category kind\n facets [intent-shape]\n schema @schema kernel-intent-shape\n artifact-set lowers to definition\n category kind\n facets [artifact-set]\n schema @schema kernel-artifact-set\n placement lowers to definition\n category kind\n facets [placement]\n schema @schema kernel-placement\n value-type lowers to definition\n category kind\n facets [value-type]\n schema @schema kernel-value-type\n cardinality lowers to definition\n category kind\n facets [cardinality]\n schema @schema kernel-cardinality\n edges\n cite * using *\n"
|
|
416
|
+
},
|
|
417
|
+
{
|
|
418
|
+
"path": ".ia/src/floor/value-type.ia",
|
|
419
|
+
"text": "#! ia 1.0\n\n@value-type text\n meaning\n says \"Scalar, quoted string or folded prose text, including empty quoted text.\"\n answers \"Is the value prose for people to read, possibly empty?\"\n data\n order 0\n\n@value-type id\n meaning\n says \"An ASCII-letter-led identifier containing letters, digits and hyphens.\"\n answers \"Is the value a bare symbolic name, not a reference to a record?\"\n data\n order 1\n\n@value-type qname\n meaning\n says \"A canonical four-slot system/kind/facet/name identity.\"\n answers \"Is the value a record's complete four-part identity, written without a sigil?\"\n data\n order 2\n\n@value-type number\n meaning\n says \"A finite decimal number with optional sign, fraction and exponent.\"\n answers \"Is the value a finite quantity?\"\n data\n order 3\n\n@value-type ref\n meaning\n says \"A typed sigil reference to a record, optionally with a fragment.\"\n answers \"Is the value a typed pointer to a record, possibly to one of its fragments?\"\n data\n order 4\n\n@value-type flag\n meaning\n says \"A bare field key, or an unquoted true or false scalar.\"\n answers \"Is the value an on/off switch?\"\n data\n order 5\n\n"
|
|
420
|
+
}
|
|
421
|
+
].map((source) => Object.freeze(source)));
|
|
422
|
+
//# sourceMappingURL=kernel.generated.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"kernel.generated.js","sourceRoot":"","sources":["../src/kernel.generated.ts"],"names":[],"mappings":"AAAA,mFAAmF;AAEnF,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,YAAY;IACZ,UAAU;IACV,YAAY;IACZ,UAAU;IACV,OAAO;IACP,QAAQ;IACR,SAAS;CACD,CAAC;AAEX,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,OAAO;IACP,MAAM;IACN,UAAU;IACV,OAAO;IACP,OAAO;IACP,UAAU;IACV,MAAM;IACN,YAAY;IACZ,QAAQ;IACR,UAAU;IACV,UAAU;IACV,gBAAgB;IAChB,SAAS;IACT,SAAS;IACT,UAAU;CACF,CAAC;AAEX,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,WAAW;IACX,WAAW;IACX,aAAa;IACb,WAAW;IACX,aAAa;IACb,UAAU;CACF,CAAC;AAEX,MAAM,CAAC,MAAM,MAAM,GAAG;IACpB,QAAQ;IACR,MAAM;IACN,KAAK;IACL,OAAO;CACC,CAAC;AAEX,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,QAAQ;IACR,WAAW;IACX,WAAW;IACX,UAAU;IACV,YAAY;IACZ,UAAU;CACF,CAAC;AAEX,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,aAAa;IACb,WAAW;IACX,YAAY;IACZ,WAAW;IACX,cAAc;CACN,CAAC;AAEX,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,OAAO;IACP,UAAU;IACV,OAAO;IACP,WAAW;IACX,MAAM;IACN,MAAM;IACN,MAAM;IACN,WAAW;IACX,cAAc;CACN,CAAC;AAEX,MAAM,CAAC,MAAM,MAAM,GAAG;IACpB,SAAS;IACT,YAAY;IACZ,WAAW;IACX,UAAU;IACV,UAAU;CACF,CAAC;AAEX,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,SAAS;IACT,UAAU;IACV,UAAU;IACV,oBAAoB;IACpB,WAAW;IACX,aAAa;IACb,UAAU;IACV,YAAY;IACZ,WAAW;CACH,CAAC;AAEX,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,UAAU;IACV,SAAS;IACT,MAAM;IACN,OAAO;IACP,SAAS;CACD,CAAC;AAEX,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,MAAM;IACN,IAAI;IACJ,OAAO;IACP,QAAQ;IACR,KAAK;IACL,MAAM;CACE,CAAC;AAEX,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,KAAK;IACL,aAAa;IACb,UAAU;CACF,CAAC;AAEX,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B;QACE,QAAQ;QACR,aAAa;KACd;IACD;QACE,SAAS;QACT,aAAa;KACd;IACD;QACE,QAAQ;QACR,aAAa;KACd;IACD;QACE,WAAW;QACX,gBAAgB;KACjB;IACD;QACE,WAAW;QACX,gBAAgB;KACjB;IACD;QACE,SAAS;QACT,aAAa;KACd;IACD;QACE,SAAS;QACT,aAAa;KACd;IACD;QACE,qBAAqB;QACrB,qBAAqB;KACtB;IACD;QACE,iBAAiB;QACjB,mBAAmB;KACpB;IACD;QACE,YAAY;QACZ,WAAW;KACZ;IACD;QACE,SAAS;QACT,cAAc;KACf;IACD;QACE,MAAM;QACN,UAAU;KACX;IACD;QACE,WAAW;QACX,eAAe;KAChB;IACD;QACE,SAAS;QACT,aAAa;KACd;IACD;QACE,KAAK;QACL,SAAS;KACV;IACD;QACE,QAAQ;QACR,cAAc;KACf;IACD;QACE,OAAO;QACP,WAAW;KACZ;IACD;QACE,MAAM;QACN,WAAW;KACZ;CACO,CAAC;AAEX,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,SAAS;IACT,UAAU;IACV,SAAS;IACT,YAAY;IACZ,YAAY;IACZ,UAAU;IACV,UAAU;IACV,sBAAsB;IACtB,kBAAkB;IAClB,aAAa;IACb,UAAU;IACV,OAAO;IACP,YAAY;IACZ,UAAU;IACV,MAAM;IACN,SAAS;IACT,WAAW;IACX,UAAU;CACF,CAAC;AAEX,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,UAAU,EAAE,qBAAqB;IACjC,YAAY,EAAE,YAAY;IAC1B,cAAc,EAAE,gBAAgB;CACxB,CAAC;AAEX,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,UAAU;IACV,UAAU;IACV,eAAe;CACP,CAAC;AAEX,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,WAAW;IACX,aAAa;IACb,WAAW;IACX,SAAS;CACD,CAAC;AAEX,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,GAAG;IACH,EAAE;IACF,EAAE;IACF,EAAE;IACF,CAAC;CACO,CAAC;AAEX,MAAM,CAAC,MAAM,OAAO,GAAG;IACrB,UAAU,EAAE,GAAG;IACf,SAAS,EAAE,EAAE;IACb,MAAM,EAAE,EAAE;IACV,OAAO,EAAE,EAAE;IACX,SAAS,EAAE,CAAC;CACJ,CAAC;AAEX,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,YAAY,EAAE,WAAW;IACzB,UAAU,EAAE,WAAW;IACvB,YAAY,EAAE,aAAa;IAC3B,UAAU,EAAE,WAAW;IACvB,OAAO,EAAE,aAAa;IACtB,QAAQ,EAAE,aAAa;IACvB,SAAS,EAAE,UAAU;CACb,CAAC;AAEX,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,QAAQ,EAAE,QAAQ;IAClB,WAAW,EAAE,QAAQ;IACrB,WAAW,EAAE,MAAM;IACnB,UAAU,EAAE,KAAK;IACjB,YAAY,EAAE,KAAK;IACnB,UAAU,EAAE,OAAO;CACX,CAAC;AAEX,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,SAAS,EAAE;QACT,UAAU,EAAE,UAAU;QACtB,WAAW,EAAE,WAAW;QACxB,eAAe,EAAE,CAAC;QAClB,OAAO,EAAE;YACP,YAAY;YACZ,UAAU;SACX;QACD,OAAO,EAAE;YACP,aAAa;YACb,WAAW;SACZ;QACD,YAAY,EAAE;YACZ,MAAM;YACN,QAAQ;YACR,SAAS;SACV;QACD,SAAS,EAAE,EAAE;KACd;IACD,YAAY,EAAE;QACZ,UAAU,EAAE,MAAM;QAClB,WAAW,EAAE,WAAW;QACxB,eAAe,EAAE,CAAC;QAClB,OAAO,EAAE;YACP,YAAY;YACZ,QAAQ;YACR,OAAO;SACR;QACD,OAAO,EAAE;YACP,WAAW;YACX,aAAa;SACd;QACD,YAAY,EAAE;YACZ,QAAQ;YACR,WAAW;YACX,QAAQ;YACR,SAAS;SACV;QACD,SAAS,EAAE;YACT,QAAQ;YACR,WAAW;YACX,QAAQ;YACR,SAAS;YACT,WAAW;SACZ;KACF;IACD,WAAW,EAAE;QACX,UAAU,EAAE,YAAY;QACxB,WAAW,EAAE,UAAU;QACvB,eAAe,EAAE,CAAC;QAClB,OAAO,EAAE;YACP,SAAS;YACT,UAAU;SACX;QACD,OAAO,EAAE;YACP,UAAU;YACV,WAAW;SACZ;QACD,YAAY,EAAE;YACZ,WAAW;YACX,SAAS;YACT,OAAO;YACP,SAAS;SACV;QACD,SAAS,EAAE,EAAE;KACd;IACD,UAAU,EAAE;QACV,UAAU,EAAE,SAAS;QACrB,WAAW,EAAE,WAAW;QACxB,eAAe,EAAE,CAAC;QAClB,OAAO,EAAE;YACP,UAAU;YACV,SAAS;SACV;QACD,OAAO,EAAE;YACP,WAAW;YACX,UAAU;SACX;QACD,YAAY,EAAE;YACZ,YAAY;YACZ,SAAS;YACT,WAAW;SACZ;QACD,SAAS,EAAE,EAAE;KACd;IACD,UAAU,EAAE;QACV,UAAU,EAAE,UAAU;QACtB,WAAW,EAAE,UAAU;QACvB,eAAe,EAAE,CAAC;QAClB,OAAO,EAAE;YACP,YAAY;SACb;QACD,OAAO,EAAE;YACP,aAAa;SACd;QACD,YAAY,EAAE;YACZ,qBAAqB;YACrB,SAAS;YACT,MAAM;SACP;QACD,SAAS,EAAE,EAAE;KACd;CACO,CAAC;AAEX,MAAM,CAAC,MAAM,aAAa,GAAG,kEAA2E,CAAC;AAEzG,MAAM,CAAC,MAAM,cAAc,GAAwD,MAAM,CAAC,MAAM,CAAC;IAC/F;QACE,MAAM,EAAE,+BAA+B;QACvC,MAAM,EAAE,y9DAAy9D;KACl+D;IACD;QACE,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,0+FAA0+F;KACn/F;IACD;QACE,MAAM,EAAE,8BAA8B;QACtC,MAAM,EAAE,goBAAgoB;KACzoB;IACD;QACE,MAAM,EAAE,2BAA2B;QACnC,MAAM,EAAE,2sGAA2sG;KACptG;IACD;QACE,MAAM,EAAE,4BAA4B;QACpC,MAAM,EAAE,ykCAAykC;KACllC;IACD;QACE,MAAM,EAAE,+BAA+B;QACvC,MAAM,EAAE,4cAA4c;KACrd;IACD;QACE,MAAM,EAAE,+BAA+B;QACvC,MAAM,EAAE,8oFAA8oF;KACvpF;IACD;QACE,MAAM,EAAE,gCAAgC;QACxC,MAAM,EAAE,67HAA67H;KACt8H;IACD;QACE,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,y9DAAy9D;KACl+D;IACD;QACE,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,2xDAA2xD;KACpyD;IACD;QACE,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,4sCAA4sC;KACrtC;IACD;QACE,MAAM,EAAE,wBAAwB;QAChC,MAAM,EAAE,w8BAAw8B;KACj9B;IACD;QACE,MAAM,EAAE,4BAA4B;QACpC,MAAM,EAAE,qjCAAqjC;KAC9jC;IACD;QACE,MAAM,EAAE,4BAA4B;QACpC,MAAM,EAAE,+6KAA+6K;KACx7K;IACD;QACE,MAAM,EAAE,4BAA4B;QACpC,MAAM,EAAE,u4DAAu4D;KACh5D;IACD;QACE,MAAM,EAAE,kCAAkC;QAC1C,MAAM,EAAE,i3DAAi3D;KAC13D;IACD;QACE,MAAM,EAAE,6BAA6B;QACrC,MAAM,EAAE,mtCAAmtC;KAC5tC;CACF,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/parser/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAC1E,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACpD,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/parser/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAE1E,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC"}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import type { FileNode } from '../ast.js';
|
|
2
|
+
import type { Diagnostic } from '../diagnostics.js';
|
|
3
|
+
export declare const LANGUAGE_VERSION = "1.0";
|
|
4
|
+
export declare const SUPPORTED_VERSIONS: readonly string[];
|
|
5
|
+
export interface ParseResult {
|
|
6
|
+
readonly ast: FileNode;
|
|
7
|
+
readonly diagnostics: readonly Diagnostic[];
|
|
8
|
+
}
|
|
9
|
+
/** Parse one file. Spec sections 1, 2, 9 and 11. */
|
|
10
|
+
export declare function parse(source: string, path: string): ParseResult;
|
|
11
|
+
//# sourceMappingURL=parser.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,QAAQ,EAOT,MAAM,WAAW,CAAC;AAEnB,OAAO,KAAK,EAAE,UAAU,EAAY,MAAM,mBAAmB,CAAC;AAM9D,eAAO,MAAM,gBAAgB,QAAQ,CAAC;AACtC,eAAO,MAAM,kBAAkB,EAAE,SAAS,MAAM,EAAuB,CAAC;AAExE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAwSD,oDAAoD;AACpD,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CA2C/D"}
|