@inventarch/compliance 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.
Files changed (511) hide show
  1. package/LICENSE +202 -0
  2. package/NOTICE +4 -0
  3. package/README.md +8 -2
  4. package/SPEC.md +128 -0
  5. package/dist/adoption.d.ts +18 -0
  6. package/dist/adoption.d.ts.map +1 -0
  7. package/dist/adoption.js +76 -0
  8. package/dist/adoption.js.map +1 -0
  9. package/dist/catalog.d.ts +112 -0
  10. package/dist/catalog.d.ts.map +1 -0
  11. package/dist/catalog.js +265 -0
  12. package/dist/catalog.js.map +1 -0
  13. package/dist/check-ids.d.ts +4 -0
  14. package/dist/check-ids.d.ts.map +1 -0
  15. package/dist/check-ids.js +22 -0
  16. package/dist/check-ids.js.map +1 -0
  17. package/dist/evidence.d.ts +145 -0
  18. package/dist/evidence.d.ts.map +1 -0
  19. package/dist/evidence.js +468 -0
  20. package/dist/evidence.js.map +1 -0
  21. package/dist/fixtures.d.ts +29 -0
  22. package/dist/fixtures.d.ts.map +1 -0
  23. package/dist/fixtures.js +107 -0
  24. package/dist/fixtures.js.map +1 -0
  25. package/dist/graph-checks.d.ts +27 -0
  26. package/dist/graph-checks.d.ts.map +1 -0
  27. package/dist/graph-checks.js +184 -0
  28. package/dist/graph-checks.js.map +1 -0
  29. package/dist/host-plugin.d.ts +23 -0
  30. package/dist/host-plugin.d.ts.map +1 -0
  31. package/dist/host-plugin.js +204 -0
  32. package/dist/host-plugin.js.map +1 -0
  33. package/dist/index.d.ts +31 -0
  34. package/dist/index.d.ts.map +1 -0
  35. package/dist/index.js +18 -0
  36. package/dist/index.js.map +1 -0
  37. package/dist/obligations.d.ts +157 -0
  38. package/dist/obligations.d.ts.map +1 -0
  39. package/dist/obligations.js +301 -0
  40. package/dist/obligations.js.map +1 -0
  41. package/dist/profiles.d.ts +27 -0
  42. package/dist/profiles.d.ts.map +1 -0
  43. package/dist/profiles.js +40 -0
  44. package/dist/profiles.js.map +1 -0
  45. package/dist/projections.d.ts +51 -0
  46. package/dist/projections.d.ts.map +1 -0
  47. package/dist/projections.js +124 -0
  48. package/dist/projections.js.map +1 -0
  49. package/dist/record-text.d.ts +26 -0
  50. package/dist/record-text.d.ts.map +1 -0
  51. package/dist/record-text.js +73 -0
  52. package/dist/record-text.js.map +1 -0
  53. package/dist/report.d.ts +25 -0
  54. package/dist/report.d.ts.map +1 -0
  55. package/dist/report.js +80 -0
  56. package/dist/report.js.map +1 -0
  57. package/dist/schema.d.ts +23 -0
  58. package/dist/schema.d.ts.map +1 -0
  59. package/dist/schema.js +229 -0
  60. package/dist/schema.js.map +1 -0
  61. package/dist/shape.d.ts +18 -0
  62. package/dist/shape.d.ts.map +1 -0
  63. package/dist/shape.js +106 -0
  64. package/dist/shape.js.map +1 -0
  65. package/dist/steward-profile.d.ts +39 -0
  66. package/dist/steward-profile.d.ts.map +1 -0
  67. package/dist/steward-profile.js +143 -0
  68. package/dist/steward-profile.js.map +1 -0
  69. package/dist/systems.d.ts +11 -0
  70. package/dist/systems.d.ts.map +1 -0
  71. package/dist/systems.js +86 -0
  72. package/dist/systems.js.map +1 -0
  73. package/dist/types.d.ts +23 -0
  74. package/dist/types.d.ts.map +1 -0
  75. package/dist/types.js +92 -0
  76. package/dist/types.js.map +1 -0
  77. package/dist/values.d.ts +8 -0
  78. package/dist/values.d.ts.map +1 -0
  79. package/dist/values.js +47 -0
  80. package/dist/values.js.map +1 -0
  81. package/dist/variants.d.ts +4 -0
  82. package/dist/variants.d.ts.map +1 -0
  83. package/dist/variants.js +82 -0
  84. package/dist/variants.js.map +1 -0
  85. package/dist/workspace-projection.d.ts +22 -0
  86. package/dist/workspace-projection.d.ts.map +1 -0
  87. package/dist/workspace-projection.js +68 -0
  88. package/dist/workspace-projection.js.map +1 -0
  89. package/fixtures/language/cases/fail/duplicate-given.diagnostics.json +10 -0
  90. package/fixtures/language/cases/fail/duplicate-given.ia +72 -0
  91. package/fixtures/language/cases/fail/given-scalar.diagnostics.json +6 -0
  92. package/fixtures/language/cases/fail/given-scalar.ia +71 -0
  93. package/fixtures/language/cases/fail/head-verdict.diagnostics.json +6 -0
  94. package/fixtures/language/cases/fail/head-verdict.ia +72 -0
  95. package/fixtures/language/cases/fail/missing-evaluator.diagnostics.json +6 -0
  96. package/fixtures/language/cases/fail/missing-evaluator.ia +70 -0
  97. package/fixtures/language/cases/fail/missing-expected.diagnostics.json +6 -0
  98. package/fixtures/language/cases/fail/missing-expected.ia +70 -0
  99. package/fixtures/language/cases/fail/missing-given.diagnostics.json +6 -0
  100. package/fixtures/language/cases/fail/missing-given.ia +70 -0
  101. package/fixtures/language/cases/fail/missing-kind.diagnostics.json +6 -0
  102. package/fixtures/language/cases/fail/missing-kind.ia +70 -0
  103. package/fixtures/language/cases/fail/missing-request.diagnostics.json +6 -0
  104. package/fixtures/language/cases/fail/missing-request.ia +70 -0
  105. package/fixtures/language/cases/fail/scenario-conditioned-field.diagnostics.json +6 -0
  106. package/fixtures/language/cases/fail/scenario-conditioned-field.ia +71 -0
  107. package/fixtures/language/cases/fail/scenario-verdict.diagnostics.json +6 -0
  108. package/fixtures/language/cases/fail/scenario-verdict.ia +72 -0
  109. package/fixtures/language/cases/fail/unbound.diagnostics.json +6 -0
  110. package/fixtures/language/cases/fail/unbound.ia +71 -0
  111. package/fixtures/language/cases/fail/unknown-kind.diagnostics.json +6 -0
  112. package/fixtures/language/cases/fail/unknown-kind.ia +71 -0
  113. package/fixtures/language/cases/fail/verdict-block.diagnostics.json +6 -0
  114. package/fixtures/language/cases/fail/verdict-block.ia +73 -0
  115. package/fixtures/language/cases/fail/wrong-fragment.diagnostics.json +6 -0
  116. package/fixtures/language/cases/fail/wrong-fragment.ia +71 -0
  117. package/fixtures/language/cases/pass/all-scenario-kinds.ia +107 -0
  118. package/fixtures/language/cases/pass/all-scenario-kinds.records.json +1558 -0
  119. package/fixtures/language/cells/fail/duplicate-phase-sections.diagnostics.json +10 -0
  120. package/fixtures/language/cells/fail/duplicate-phase-sections.ia +64 -0
  121. package/fixtures/language/cells/fail/duplicate-primary.diagnostics.json +10 -0
  122. package/fixtures/language/cells/fail/duplicate-primary.ia +63 -0
  123. package/fixtures/language/cells/fail/duplicate-primitive.diagnostics.json +10 -0
  124. package/fixtures/language/cells/fail/duplicate-primitive.ia +63 -0
  125. package/fixtures/language/cells/fail/legacy-primary-move.diagnostics.json +6 -0
  126. package/fixtures/language/cells/fail/legacy-primary-move.ia +61 -0
  127. package/fixtures/language/cells/fail/means-list.diagnostics.json +6 -0
  128. package/fixtures/language/cells/fail/means-list.ia +61 -0
  129. package/fixtures/language/cells/fail/means-reference.diagnostics.json +6 -0
  130. package/fixtures/language/cells/fail/means-reference.ia +61 -0
  131. package/fixtures/language/cells/fail/means-scalar.diagnostics.json +6 -0
  132. package/fixtures/language/cells/fail/means-scalar.ia +61 -0
  133. package/fixtures/language/cells/fail/means-unsupported-child.diagnostics.json +6 -0
  134. package/fixtures/language/cells/fail/means-unsupported-child.ia +62 -0
  135. package/fixtures/language/cells/fail/phase-unknown.diagnostics.json +6 -0
  136. package/fixtures/language/cells/fail/phase-unknown.ia +61 -0
  137. package/fixtures/language/cells/fail/primary-quoted.diagnostics.json +6 -0
  138. package/fixtures/language/cells/fail/primary-quoted.ia +61 -0
  139. package/fixtures/language/cells/fail/primary-requires-means.diagnostics.json +6 -0
  140. package/fixtures/language/cells/fail/primary-requires-means.ia +61 -0
  141. package/fixtures/language/cells/fail/primary-unknown.diagnostics.json +6 -0
  142. package/fixtures/language/cells/fail/primary-unknown.ia +61 -0
  143. package/fixtures/language/cells/fail/primitive-case.diagnostics.json +6 -0
  144. package/fixtures/language/cells/fail/primitive-case.ia +61 -0
  145. package/fixtures/language/cells/fail/primitive-unknown.diagnostics.json +6 -0
  146. package/fixtures/language/cells/fail/primitive-unknown.ia +61 -0
  147. package/fixtures/language/cells/fail/unsupported-item.diagnostics.json +6 -0
  148. package/fixtures/language/cells/fail/unsupported-item.ia +61 -0
  149. package/fixtures/language/cells/pass/full-opal-grid.ia +92 -0
  150. package/fixtures/language/cells/pass/full-opal-grid.records.json +1450 -0
  151. package/fixtures/language/compile/fail/blocked-keyword.diagnostics.json +1 -0
  152. package/fixtures/language/compile/fail/blocked-keyword.ia +22 -0
  153. package/fixtures/language/compile/fail/discriminator-unregistered.diagnostics.json +1 -0
  154. package/fixtures/language/compile/fail/discriminator-unregistered.ia +19 -0
  155. package/fixtures/language/compile/pass/minimal-floor.ia +22 -0
  156. package/fixtures/language/compile/pass/minimal-floor.records.json +293 -0
  157. package/fixtures/language/compile/pass/nested-and-items.ia +27 -0
  158. package/fixtures/language/compile/pass/nested-and-items.records.json +373 -0
  159. package/fixtures/language/conditions/fail/conflicting-name.diagnostics.json +6 -0
  160. package/fixtures/language/conditions/fail/conflicting-name.ia +60 -0
  161. package/fixtures/language/conditions/fail/dangling-and.diagnostics.json +6 -0
  162. package/fixtures/language/conditions/fail/dangling-and.ia +60 -0
  163. package/fixtures/language/conditions/fail/empty-child.diagnostics.json +6 -0
  164. package/fixtures/language/conditions/fail/empty-child.ia +61 -0
  165. package/fixtures/language/conditions/fail/misplaced-head.diagnostics.json +6 -0
  166. package/fixtures/language/conditions/fail/misplaced-head.ia +59 -0
  167. package/fixtures/language/conditions/fail/misplaced-meaning.diagnostics.json +6 -0
  168. package/fixtures/language/conditions/fail/misplaced-meaning.ia +60 -0
  169. package/fixtures/language/conditions/fail/misplaced-ordinary-deep.diagnostics.json +6 -0
  170. package/fixtures/language/conditions/fail/misplaced-ordinary-deep.ia +61 -0
  171. package/fixtures/language/conditions/fail/misplaced-phase.diagnostics.json +6 -0
  172. package/fixtures/language/conditions/fail/misplaced-phase.ia +61 -0
  173. package/fixtures/language/conditions/fail/misplaced-primary.diagnostics.json +6 -0
  174. package/fixtures/language/conditions/fail/misplaced-primary.ia +62 -0
  175. package/fixtures/language/conditions/fail/misplaced-severity.diagnostics.json +6 -0
  176. package/fixtures/language/conditions/fail/misplaced-severity.ia +60 -0
  177. package/fixtures/language/conditions/fail/misplaced-standalone.diagnostics.json +6 -0
  178. package/fixtures/language/conditions/fail/misplaced-standalone.ia +60 -0
  179. package/fixtures/language/conditions/fail/missing-is.diagnostics.json +6 -0
  180. package/fixtures/language/conditions/fail/missing-is.ia +60 -0
  181. package/fixtures/language/conditions/fail/mixed-carriers.diagnostics.json +6 -0
  182. package/fixtures/language/conditions/fail/mixed-carriers.ia +61 -0
  183. package/fixtures/language/conditions/fail/quoted-value.diagnostics.json +6 -0
  184. package/fixtures/language/conditions/fail/quoted-value.ia +60 -0
  185. package/fixtures/language/conditions/fail/repeated-child.diagnostics.json +6 -0
  186. package/fixtures/language/conditions/fail/repeated-child.ia +62 -0
  187. package/fixtures/language/conditions/fail/repeated-name.diagnostics.json +6 -0
  188. package/fixtures/language/conditions/fail/repeated-name.ia +60 -0
  189. package/fixtures/language/conditions/fail/schema-when-block.diagnostics.json +6 -0
  190. package/fixtures/language/conditions/fail/schema-when-block.ia +64 -0
  191. package/fixtures/language/conditions/fail/unknown-term.diagnostics.json +6 -0
  192. package/fixtures/language/conditions/fail/unknown-term.ia +60 -0
  193. package/fixtures/language/conditions/fail/unknown-value.diagnostics.json +6 -0
  194. package/fixtures/language/conditions/fail/unknown-value.ia +60 -0
  195. package/fixtures/language/conditions/pass/all-carriers-and-dimensions.ia +71 -0
  196. package/fixtures/language/conditions/pass/all-carriers-and-dimensions.records.json +1131 -0
  197. package/fixtures/language/contracts/fail/duplicate-requirement-records.diagnostics.json +10 -0
  198. package/fixtures/language/contracts/fail/duplicate-requirement-records.ia +67 -0
  199. package/fixtures/language/contracts/fail/duplicate-requirement-sections.diagnostics.json +10 -0
  200. package/fixtures/language/contracts/fail/duplicate-requirement-sections.ia +64 -0
  201. package/fixtures/language/contracts/fail/extra-word.diagnostics.json +6 -0
  202. package/fixtures/language/contracts/fail/extra-word.ia +62 -0
  203. package/fixtures/language/contracts/fail/id-case.diagnostics.json +6 -0
  204. package/fixtures/language/contracts/fail/id-case.ia +62 -0
  205. package/fixtures/language/contracts/fail/id-empty.diagnostics.json +6 -0
  206. package/fixtures/language/contracts/fail/id-empty.ia +62 -0
  207. package/fixtures/language/contracts/fail/retired-binds.diagnostics.json +6 -0
  208. package/fixtures/language/contracts/fail/retired-binds.ia +59 -0
  209. package/fixtures/language/contracts/fail/retired-schema.diagnostics.json +6 -0
  210. package/fixtures/language/contracts/fail/retired-schema.ia +62 -0
  211. package/fixtures/language/contracts/fail/text-reference.diagnostics.json +6 -0
  212. package/fixtures/language/contracts/fail/text-reference.ia +62 -0
  213. package/fixtures/language/contracts/fail/text-scalar.diagnostics.json +6 -0
  214. package/fixtures/language/contracts/fail/text-scalar.ia +62 -0
  215. package/fixtures/language/contracts/fail/unbound.diagnostics.json +6 -0
  216. package/fixtures/language/contracts/fail/unbound.ia +60 -0
  217. package/fixtures/language/contracts/fail/unsupported-child.diagnostics.json +6 -0
  218. package/fixtures/language/contracts/fail/unsupported-child.ia +63 -0
  219. package/fixtures/language/contracts/pass/all-requirement-kinds.ia +76 -0
  220. package/fixtures/language/contracts/pass/all-requirement-kinds.records.json +1101 -0
  221. package/fixtures/language/edges/fail/identity-fragment.diagnostics.json +6 -0
  222. package/fixtures/language/edges/fail/identity-fragment.ia +60 -0
  223. package/fixtures/language/edges/fail/identity-kind.diagnostics.json +6 -0
  224. package/fixtures/language/edges/fail/identity-kind.ia +60 -0
  225. package/fixtures/language/edges/fail/identity-short.diagnostics.json +6 -0
  226. package/fixtures/language/edges/fail/identity-short.ia +60 -0
  227. package/fixtures/language/edges/fail/missing-target.diagnostics.json +6 -0
  228. package/fixtures/language/edges/fail/missing-target.ia +60 -0
  229. package/fixtures/language/edges/fail/source-side-unconsented.diagnostics.json +6 -0
  230. package/fixtures/language/edges/fail/source-side-unconsented.ia +60 -0
  231. package/fixtures/language/edges/fail/target-absent.diagnostics.json +6 -0
  232. package/fixtures/language/edges/fail/target-absent.ia +60 -0
  233. package/fixtures/language/edges/fail/target-ambiguous.diagnostics.json +6 -0
  234. package/fixtures/language/edges/fail/target-ambiguous.ia +60 -0
  235. package/fixtures/language/edges/fail/target-ambiguous.pool.json +26 -0
  236. package/fixtures/language/edges/fail/target-bare.diagnostics.json +6 -0
  237. package/fixtures/language/edges/fail/target-bare.ia +60 -0
  238. package/fixtures/language/edges/fail/target-list.diagnostics.json +6 -0
  239. package/fixtures/language/edges/fail/target-list.ia +60 -0
  240. package/fixtures/language/edges/fail/target-quoted.diagnostics.json +6 -0
  241. package/fixtures/language/edges/fail/target-quoted.ia +60 -0
  242. package/fixtures/language/edges/fail/target-side-unconsented.diagnostics.json +6 -0
  243. package/fixtures/language/edges/fail/target-side-unconsented.ia +60 -0
  244. package/fixtures/language/edges/fail/target-trailing-word.diagnostics.json +6 -0
  245. package/fixtures/language/edges/fail/target-trailing-word.ia +60 -0
  246. package/fixtures/language/edges/fail/unknown-verb.diagnostics.json +6 -0
  247. package/fixtures/language/edges/fail/unknown-verb.ia +60 -0
  248. package/fixtures/language/edges/pass/all-verbs-and-addresses.ia +114 -0
  249. package/fixtures/language/edges/pass/all-verbs-and-addresses.records.json +2221 -0
  250. package/fixtures/language/format/fail/lost-comment.candidate.txt +5 -0
  251. package/fixtures/language/format/fail/lost-comment.diagnostics.json +3 -0
  252. package/fixtures/language/format/fail/lost-comment.ia +5 -0
  253. package/fixtures/language/format/pass/token-spacing.ast.json +100 -0
  254. package/fixtures/language/format/pass/token-spacing.formatted.txt +7 -0
  255. package/fixtures/language/format/pass/token-spacing.ia +7 -0
  256. package/fixtures/language/identity/fail/facet-undeclared.diagnostics.json +1 -0
  257. package/fixtures/language/identity/fail/facet-undeclared.ia +20 -0
  258. package/fixtures/language/identity/fail/identity-collision.diagnostics.json +1 -0
  259. package/fixtures/language/identity/fail/identity-collision.ia +20 -0
  260. package/fixtures/language/identity/pass/facets.ia +21 -0
  261. package/fixtures/language/identity/pass/facets.records.json +300 -0
  262. package/fixtures/language/indent/fail/odd-block-with-prose.diagnostics.json +1 -0
  263. package/fixtures/language/indent/fail/odd-block-with-prose.ia +6 -0
  264. package/fixtures/language/indent/fail/odd-block.diagnostics.json +1 -0
  265. package/fixtures/language/indent/fail/odd-block.ia +4 -0
  266. package/fixtures/language/indent/fail/odd.diagnostics.json +1 -0
  267. package/fixtures/language/indent/fail/odd.ia +3 -0
  268. package/fixtures/language/indent/fail/step-block.diagnostics.json +1 -0
  269. package/fixtures/language/indent/fail/step-block.ia +4 -0
  270. package/fixtures/language/indent/fail/step-in-block.diagnostics.json +1 -0
  271. package/fixtures/language/indent/fail/step-in-block.ia +6 -0
  272. package/fixtures/language/indent/fail/step-under-header.diagnostics.json +1 -0
  273. package/fixtures/language/indent/fail/step-under-header.ia +3 -0
  274. package/fixtures/language/indent/fail/tab-block.diagnostics.json +1 -0
  275. package/fixtures/language/indent/fail/tab-block.ia +5 -0
  276. package/fixtures/language/indent/fail/tab.diagnostics.json +1 -0
  277. package/fixtures/language/indent/fail/tab.ia +3 -0
  278. package/fixtures/language/indent/fail/under-item.diagnostics.json +1 -0
  279. package/fixtures/language/indent/fail/under-item.ia +5 -0
  280. package/fixtures/language/indent/pass/blocks.ast.json +127 -0
  281. package/fixtures/language/indent/pass/blocks.ia +9 -0
  282. package/fixtures/language/lists/fail/dash-without-value.diagnostics.json +1 -0
  283. package/fixtures/language/lists/fail/dash-without-value.ia +4 -0
  284. package/fixtures/language/lists/fail/empty-item.diagnostics.json +1 -0
  285. package/fixtures/language/lists/fail/empty-item.ia +4 -0
  286. package/fixtures/language/lists/fail/item-line-list.diagnostics.json +1 -0
  287. package/fixtures/language/lists/fail/item-line-list.ia +4 -0
  288. package/fixtures/language/lists/fail/item-line-prose.diagnostics.json +1 -0
  289. package/fixtures/language/lists/fail/item-line-prose.ia +4 -0
  290. package/fixtures/language/lists/fail/missing-separator.diagnostics.json +1 -0
  291. package/fixtures/language/lists/fail/missing-separator.ia +4 -0
  292. package/fixtures/language/lists/fail/nested-list.diagnostics.json +1 -0
  293. package/fixtures/language/lists/fail/nested-list.ia +4 -0
  294. package/fixtures/language/lists/fail/unterminated.diagnostics.json +1 -0
  295. package/fixtures/language/lists/fail/unterminated.ia +5 -0
  296. package/fixtures/language/lists/pass/multi-line.ast.json +117 -0
  297. package/fixtures/language/lists/pass/multi-line.ia +9 -0
  298. package/fixtures/language/pragma/fail/missing.diagnostics.json +1 -0
  299. package/fixtures/language/pragma/fail/missing.ia +1 -0
  300. package/fixtures/language/pragma/fail/unsupported.diagnostics.json +1 -0
  301. package/fixtures/language/pragma/fail/unsupported.ia +2 -0
  302. package/fixtures/language/pragma/pass/minimal.ast.json +20 -0
  303. package/fixtures/language/pragma/pass/minimal.ia +2 -0
  304. package/fixtures/language/prose/fail/trailing.diagnostics.json +1 -0
  305. package/fixtures/language/prose/fail/trailing.ia +4 -0
  306. package/fixtures/language/prose/fail/unterminated.diagnostics.json +1 -0
  307. package/fixtures/language/prose/fail/unterminated.ia +5 -0
  308. package/fixtures/language/prose/pass/paragraphs.ast.json +48 -0
  309. package/fixtures/language/prose/pass/paragraphs.ia +7 -0
  310. package/fixtures/language/records/fail/head-after-section.diagnostics.json +1 -0
  311. package/fixtures/language/records/fail/head-after-section.ia +5 -0
  312. package/fixtures/language/records/fail/header-discriminator-class.diagnostics.json +1 -0
  313. package/fixtures/language/records/fail/header-discriminator-class.ia +2 -0
  314. package/fixtures/language/records/fail/header-extra-token.diagnostics.json +1 -0
  315. package/fixtures/language/records/fail/header-extra-token.ia +2 -0
  316. package/fixtures/language/records/fail/header-missing-name.diagnostics.json +1 -0
  317. package/fixtures/language/records/fail/header-missing-name.ia +2 -0
  318. package/fixtures/language/records/fail/header-name-class.diagnostics.json +1 -0
  319. package/fixtures/language/records/fail/header-name-class.ia +2 -0
  320. package/fixtures/language/records/fail/indented-preamble.diagnostics.json +1 -0
  321. package/fixtures/language/records/fail/indented-preamble.ia +3 -0
  322. package/fixtures/language/records/fail/item-under-header.diagnostics.json +1 -0
  323. package/fixtures/language/records/fail/item-under-header.ia +3 -0
  324. package/fixtures/language/records/fail/nested-under-header.diagnostics.json +1 -0
  325. package/fixtures/language/records/fail/nested-under-header.ia +3 -0
  326. package/fixtures/language/records/fail/toplevel.diagnostics.json +1 -0
  327. package/fixtures/language/records/fail/toplevel.ia +3 -0
  328. package/fixtures/language/records/pass/full.ast.json +31 -0
  329. package/fixtures/language/records/pass/full.ia +11 -0
  330. package/fixtures/language/refs/fail/discriminator-class.diagnostics.json +1 -0
  331. package/fixtures/language/refs/fail/discriminator-class.ia +4 -0
  332. package/fixtures/language/refs/fail/name-class.diagnostics.json +1 -0
  333. package/fixtures/language/refs/fail/name-class.ia +4 -0
  334. package/fixtures/language/refs/pass/cell-fragment.ast.json +50 -0
  335. package/fixtures/language/refs/pass/cell-fragment.ia +4 -0
  336. package/fixtures/language/refs/pass/fragments.ast.json +104 -0
  337. package/fixtures/language/refs/pass/fragments.ia +6 -0
  338. package/fixtures/language/registry/fail/category-missing.diagnostics.json +1 -0
  339. package/fixtures/language/registry/fail/category-missing.ia +8 -0
  340. package/fixtures/language/registry/fail/category-unknown.diagnostics.json +1 -0
  341. package/fixtures/language/registry/fail/category-unknown.ia +9 -0
  342. package/fixtures/language/registry/fail/condition-in-entry.diagnostics.json +1 -0
  343. package/fixtures/language/registry/fail/condition-in-entry.ia +9 -0
  344. package/fixtures/language/registry/fail/condition-on-head.diagnostics.json +1 -0
  345. package/fixtures/language/registry/fail/condition-on-head.ia +4 -0
  346. package/fixtures/language/registry/fail/consent-predicate-unknown.diagnostics.json +1 -0
  347. package/fixtures/language/registry/fail/consent-predicate-unknown.ia +6 -0
  348. package/fixtures/language/registry/fail/consent-row-malformed.diagnostics.json +1 -0
  349. package/fixtures/language/registry/fail/consent-row-malformed.ia +6 -0
  350. package/fixtures/language/registry/fail/discriminator-conflict.diagnostics.json +1 -0
  351. package/fixtures/language/registry/fail/discriminator-conflict.ia +21 -0
  352. package/fixtures/language/registry/fail/entry-malformed.diagnostics.json +1 -0
  353. package/fixtures/language/registry/fail/entry-malformed.ia +6 -0
  354. package/fixtures/language/registry/fail/facets-missing.diagnostics.json +1 -0
  355. package/fixtures/language/registry/fail/facets-missing.ia +9 -0
  356. package/fixtures/language/registry/fail/keyword-reserved.diagnostics.json +1 -0
  357. package/fixtures/language/registry/fail/keyword-reserved.ia +9 -0
  358. package/fixtures/language/registry/fail/kind-unknown.diagnostics.json +1 -0
  359. package/fixtures/language/registry/fail/kind-unknown.ia +9 -0
  360. package/fixtures/language/registry/fail/provider-missing.diagnostics.json +1 -0
  361. package/fixtures/language/registry/fail/provider-missing.ia +3 -0
  362. package/fixtures/language/registry/fail/requires-head-field.diagnostics.json +1 -0
  363. package/fixtures/language/registry/fail/requires-head-field.ia +5 -0
  364. package/fixtures/language/registry/fail/retired-interface.diagnostics.json +6 -0
  365. package/fixtures/language/registry/fail/retired-interface.ia +9 -0
  366. package/fixtures/language/registry/fail/retired-protocol.diagnostics.json +6 -0
  367. package/fixtures/language/registry/fail/retired-protocol.ia +9 -0
  368. package/fixtures/language/registry/fail/retired-shape.diagnostics.json +6 -0
  369. package/fixtures/language/registry/fail/retired-shape.ia +9 -0
  370. package/fixtures/language/registry/fail/schema-entry-missing.diagnostics.json +1 -0
  371. package/fixtures/language/registry/fail/schema-entry-missing.ia +9 -0
  372. package/fixtures/language/registry/fail/schema-kind-mismatch.diagnostics.json +1 -0
  373. package/fixtures/language/registry/fail/schema-kind-mismatch.ia +13 -0
  374. package/fixtures/language/registry/fail/schema-missing.diagnostics.json +1 -0
  375. package/fixtures/language/registry/fail/schema-missing.ia +9 -0
  376. package/fixtures/language/registry/fail/system-cycle.diagnostics.json +1 -0
  377. package/fixtures/language/registry/fail/system-cycle.ia +11 -0
  378. package/fixtures/language/registry/fail/system-missing.diagnostics.json +1 -0
  379. package/fixtures/language/registry/fail/system-missing.ia +6 -0
  380. package/fixtures/language/registry/fail/version-not-semver.diagnostics.json +1 -0
  381. package/fixtures/language/registry/fail/version-not-semver.ia +4 -0
  382. package/fixtures/language/registry/pass/requires-order.ia +44 -0
  383. package/fixtures/language/registry/pass/requires-order.records.json +633 -0
  384. package/fixtures/language/schema/fail/edge-as-field.diagnostics.json +1 -0
  385. package/fixtures/language/schema/fail/edge-as-field.ia +7 -0
  386. package/fixtures/language/schema/fail/edge-cardinality-unknown.diagnostics.json +1 -0
  387. package/fixtures/language/schema/fail/edge-cardinality-unknown.ia +7 -0
  388. package/fixtures/language/schema/fail/edge-predicate-unknown.diagnostics.json +1 -0
  389. package/fixtures/language/schema/fail/edge-predicate-unknown.ia +7 -0
  390. package/fixtures/language/schema/fail/field-form-unknown.diagnostics.json +1 -0
  391. package/fixtures/language/schema/fail/field-form-unknown.ia +7 -0
  392. package/fixtures/language/schema/fail/field-path-malformed.diagnostics.json +1 -0
  393. package/fixtures/language/schema/fail/field-path-malformed.ia +7 -0
  394. package/fixtures/language/schema/fail/field-set-not-id.diagnostics.json +1 -0
  395. package/fixtures/language/schema/fail/field-set-not-id.ia +7 -0
  396. package/fixtures/language/schema/fail/field-type-unknown.diagnostics.json +1 -0
  397. package/fixtures/language/schema/fail/field-type-unknown.ia +7 -0
  398. package/fixtures/language/schema/fail/kind-unknown.diagnostics.json +1 -0
  399. package/fixtures/language/schema/fail/kind-unknown.ia +5 -0
  400. package/fixtures/language/schema/fail/lowers-to-missing.diagnostics.json +1 -0
  401. package/fixtures/language/schema/fail/lowers-to-missing.ia +4 -0
  402. package/fixtures/language/schema/fail/sections-unclosed.diagnostics.json +1 -0
  403. package/fixtures/language/schema/fail/sections-unclosed.ia +5 -0
  404. package/fixtures/language/schema/pass/field-narrowing.ia +13 -0
  405. package/fixtures/language/schema/pass/field-narrowing.records.json +170 -0
  406. package/fixtures/language/schema/pass/full-dialect.ia +16 -0
  407. package/fixtures/language/schema/pass/full-dialect.records.json +179 -0
  408. package/fixtures/language/selectors/fail/child-condition.diagnostics.json +6 -0
  409. package/fixtures/language/selectors/fail/child-condition.ia +61 -0
  410. package/fixtures/language/selectors/fail/dangling-and.diagnostics.json +6 -0
  411. package/fixtures/language/selectors/fail/dangling-and.ia +60 -0
  412. package/fixtures/language/selectors/fail/dimension-not-axis.diagnostics.json +6 -0
  413. package/fixtures/language/selectors/fail/dimension-not-axis.ia +60 -0
  414. package/fixtures/language/selectors/fail/missing-is.diagnostics.json +6 -0
  415. package/fixtures/language/selectors/fail/missing-is.ia +60 -0
  416. package/fixtures/language/selectors/fail/quoted-value.diagnostics.json +6 -0
  417. package/fixtures/language/selectors/fail/quoted-value.ia +60 -0
  418. package/fixtures/language/selectors/fail/repeated-axis.diagnostics.json +6 -0
  419. package/fixtures/language/selectors/fail/repeated-axis.ia +60 -0
  420. package/fixtures/language/selectors/fail/unknown-axis.diagnostics.json +6 -0
  421. package/fixtures/language/selectors/fail/unknown-axis.ia +60 -0
  422. package/fixtures/language/selectors/fail/unknown-value.diagnostics.json +6 -0
  423. package/fixtures/language/selectors/fail/unknown-value.ia +60 -0
  424. package/fixtures/language/selectors/fail/wrong-grammar-case.diagnostics.json +6 -0
  425. package/fixtures/language/selectors/fail/wrong-grammar-case.ia +60 -0
  426. package/fixtures/language/selectors/pass/all-axes-canonical-values.ia +136 -0
  427. package/fixtures/language/selectors/pass/all-axes-canonical-values.records.json +2437 -0
  428. package/fixtures/language/strings/fail/unterminated-block.diagnostics.json +1 -0
  429. package/fixtures/language/strings/fail/unterminated-block.ia +6 -0
  430. package/fixtures/language/strings/fail/unterminated.diagnostics.json +1 -0
  431. package/fixtures/language/strings/fail/unterminated.ia +4 -0
  432. package/fixtures/language/strings/pass/structural-words.ast.json +21 -0
  433. package/fixtures/language/strings/pass/structural-words.ia +4 -0
  434. package/fixtures/language/values/fail/key-missing.diagnostics.json +1 -0
  435. package/fixtures/language/values/fail/key-missing.ia +4 -0
  436. package/fixtures/language/values/fail/trailing.diagnostics.json +1 -0
  437. package/fixtures/language/values/fail/trailing.ia +4 -0
  438. package/fixtures/language/values/fail/when-empty.diagnostics.json +1 -0
  439. package/fixtures/language/values/fail/when-empty.ia +4 -0
  440. package/fixtures/language/values/fail/when-list.diagnostics.json +1 -0
  441. package/fixtures/language/values/fail/when-list.ia +4 -0
  442. package/fixtures/language/values/pass/forms.ast.json +177 -0
  443. package/fixtures/language/values/pass/forms.ia +11 -0
  444. package/fixtures/language/variants/fail/duplicate-canonical-conjunction.diagnostics.json +14 -0
  445. package/fixtures/language/variants/fail/duplicate-canonical-conjunction.ia +63 -0
  446. package/fixtures/language/variants/fail/duplicate-fallback.diagnostics.json +10 -0
  447. package/fixtures/language/variants/fail/duplicate-fallback.ia +61 -0
  448. package/fixtures/language/variants/pass/fallback-and-coordinate-families.ia +65 -0
  449. package/fixtures/language/variants/pass/fallback-and-coordinate-families.records.json +971 -0
  450. package/fixtures/loop/.ia/src/blocking.ia +8 -0
  451. package/fixtures/loop/.ia/src/choice-a.ia +9 -0
  452. package/fixtures/loop/.ia/src/choice-b.ia +9 -0
  453. package/fixtures/loop/.ia/src/declared-decision.ia +12 -0
  454. package/fixtures/loop/.ia/src/fallback.ia +9 -0
  455. package/fixtures/loop/.ia/src/floor/artifact-set.ia +65 -0
  456. package/fixtures/loop/.ia/src/floor/axis.ia +74 -0
  457. package/fixtures/loop/.ia/src/floor/cardinality.ia +23 -0
  458. package/fixtures/loop/.ia/src/floor/category.ia +107 -0
  459. package/fixtures/loop/.ia/src/floor/dimension.ia +29 -0
  460. package/fixtures/loop/.ia/src/floor/floor.schema.ia +23 -0
  461. package/fixtures/loop/.ia/src/floor/intent-shape.ia +73 -0
  462. package/fixtures/loop/.ia/src/floor/kernel.schema.ia +173 -0
  463. package/fixtures/loop/.ia/src/floor/kind.ia +59 -0
  464. package/fixtures/loop/.ia/src/floor/lane.ia +44 -0
  465. package/fixtures/loop/.ia/src/floor/move.ia +37 -0
  466. package/fixtures/loop/.ia/src/floor/phase.ia +30 -0
  467. package/fixtures/loop/.ia/src/floor/placement.ia +42 -0
  468. package/fixtures/loop/.ia/src/floor/predicate.ia +164 -0
  469. package/fixtures/loop/.ia/src/floor/primitive.ia +50 -0
  470. package/fixtures/loop/.ia/src/floor/taxonomy.system.ia +67 -0
  471. package/fixtures/loop/.ia/src/floor/value-type.ia +44 -0
  472. package/fixtures/loop/.ia/src/systems/agent-system/records/foreign.ia +9 -0
  473. package/fixtures/loop/.ia/src/systems/agent-system/records/sample-mandate.ia +8 -0
  474. package/fixtures/loop/.ia/src/systems/agent-system/schemas/agent.schema.ia +13 -0
  475. package/fixtures/loop/.ia/src/systems/agent-system/schemas/mandate.schema.ia +12 -0
  476. package/fixtures/loop/.ia/src/systems/agent-system/steward.ia +9 -0
  477. package/fixtures/loop/.ia/src/systems/agent-system/system.ia +25 -0
  478. package/fixtures/loop/.ia/src/systems/compliance-system/cases/foreign-vocabulary.ia +14 -0
  479. package/fixtures/loop/.ia/src/systems/compliance-system/cases/missing-required-field.ia +14 -0
  480. package/fixtures/loop/.ia/src/systems/compliance-system/cases/valid-native-record.ia +15 -0
  481. package/fixtures/loop/.ia/src/systems/compliance-system/checks/instance-schema-check.ia +13 -0
  482. package/fixtures/loop/.ia/src/systems/compliance-system/contracts/foundation-authoring-contract.ia +15 -0
  483. package/fixtures/loop/.ia/src/systems/compliance-system/schemas/case.schema.ia +17 -0
  484. package/fixtures/loop/.ia/src/systems/compliance-system/schemas/check.schema.ia +15 -0
  485. package/fixtures/loop/.ia/src/systems/compliance-system/schemas/contract.schema.ia +20 -0
  486. package/fixtures/loop/.ia/src/systems/compliance-system/steward.ia +9 -0
  487. package/fixtures/loop/.ia/src/systems/compliance-system/system.ia +29 -0
  488. package/fixtures/loop/.ia/src/systems/governance-system/records/sample-convention.ia +9 -0
  489. package/fixtures/loop/.ia/src/systems/governance-system/records/sample-principle.ia +9 -0
  490. package/fixtures/loop/.ia/src/systems/governance-system/records/sample-procedure.ia +44 -0
  491. package/fixtures/loop/.ia/src/systems/governance-system/records/sample-rule.ia +13 -0
  492. package/fixtures/loop/.ia/src/systems/governance-system/schemas/convention.schema.ia +13 -0
  493. package/fixtures/loop/.ia/src/systems/governance-system/schemas/law.schema.ia +13 -0
  494. package/fixtures/loop/.ia/src/systems/governance-system/schemas/playbook.schema.ia +14 -0
  495. package/fixtures/loop/.ia/src/systems/governance-system/schemas/principle.schema.ia +13 -0
  496. package/fixtures/loop/.ia/src/systems/governance-system/steward.ia +9 -0
  497. package/fixtures/loop/.ia/src/systems/governance-system/system.ia +35 -0
  498. package/fixtures/loop/.ia/src/systems/session-system/records/sample-session.ia +10 -0
  499. package/fixtures/loop/.ia/src/systems/session-system/schemas/run.schema.ia +15 -0
  500. package/fixtures/loop/.ia/src/systems/session-system/steward.ia +9 -0
  501. package/fixtures/loop/.ia/src/systems/session-system/system.ia +23 -0
  502. package/fixtures/loop/.ia/src/systems/workspace-system/records/foundation-distribution.ia +8 -0
  503. package/fixtures/loop/.ia/src/systems/workspace-system/records/foundation-workspace.ia +10 -0
  504. package/fixtures/loop/.ia/src/systems/workspace-system/schemas/distribution.schema.ia +13 -0
  505. package/fixtures/loop/.ia/src/systems/workspace-system/schemas/workspace.schema.ia +13 -0
  506. package/fixtures/loop/.ia/src/systems/workspace-system/steward.ia +9 -0
  507. package/fixtures/loop/.ia/src/systems/workspace-system/system.ia +26 -0
  508. package/fixtures/loop/README.md +3 -0
  509. package/fixtures/loop/SPEC.md +9 -0
  510. package/fixtures/refusals.ts +434 -0
  511. package/package.json +129 -3
@@ -0,0 +1,20 @@
1
+ #! ia 1.0
2
+
3
+ @schema contract
4
+ lowers to contract
5
+ sections
6
+ must have meaning
7
+ must have relationships
8
+ may have inputs
9
+ may have outputs
10
+ may have preconditions
11
+ may have invariants
12
+ may have failures
13
+ may have authority
14
+ may have context
15
+ may have evolution
16
+ closed
17
+ fields
18
+ must have meaning.says as text
19
+ must have meaning.answers as text
20
+ must have head.version as text
@@ -0,0 +1,9 @@
1
+ #! ia 1.0
2
+
3
+ @agent compliance-steward
4
+ meaning
5
+ says "The designated expert for declared obligations, evaluators and scenario evidence."
6
+ answers "Who owns the vocabulary and authoring method of compliance-system?"
7
+ governance
8
+ applies [contract, check, case]
9
+ requires "Use the owning schema and the current spec, plan and validation evidence before changing this system."
@@ -0,0 +1,29 @@
1
+ #! ia 1.0
2
+
3
+ @system compliance-system
4
+ provider "inventarch.foundation"
5
+ version "0.1.0"
6
+ describes "Declared obligations, evaluators and scenario evidence"
7
+ steward @agent compliance-steward
8
+ requires
9
+ - agent-system
10
+ discriminators
11
+ contract lowers to contract
12
+ category relation
13
+ facets [signature]
14
+ schema @schema contract
15
+ check lowers to check
16
+ category rule
17
+ facets [gate]
18
+ schema @schema check
19
+ case lowers to definition
20
+ category evidence
21
+ facets [scenario]
22
+ schema @schema case
23
+ edges
24
+ cite * using *
25
+ govern * using *
26
+ enforce * using *
27
+ implement * using *
28
+ require * using *
29
+ use * using *
@@ -0,0 +1,9 @@
1
+ #! ia 1.0
2
+
3
+ @convention sample-convention
4
+ meaning
5
+ says "Sample fixture statement 1."
6
+ answers "Sample fixture statement 2."
7
+ governance
8
+ severity advisory
9
+ requires "Sample fixture statement 3."
@@ -0,0 +1,9 @@
1
+ #! ia 1.0
2
+
3
+ @principle sample-principle
4
+ meaning
5
+ says "Sample fixture statement 1."
6
+ answers "Sample fixture statement 2."
7
+ governance
8
+ severity advisory
9
+ requires "Sample fixture statement 3."
@@ -0,0 +1,44 @@
1
+ #! ia 1.0
2
+
3
+ @playbook sample-procedure
4
+ meaning
5
+ says "Sample fixture statement 1."
6
+ answers "Sample fixture statement 2."
7
+ cognition
8
+ orient
9
+ primary Memory
10
+ Memory means "Sample fixture statement 3."
11
+ Attention means "Sample fixture statement 4."
12
+ Inference means "Sample fixture statement 5."
13
+ Decision means "Sample fixture statement 6."
14
+ Escalation means "Sample fixture statement 7."
15
+ Learning means "Sample fixture statement 8."
16
+ plan
17
+ primary Inference
18
+ Memory means "Sample fixture statement 9."
19
+ Attention means "Sample fixture statement 10."
20
+ Inference means "Sample fixture statement 11."
21
+ Decision means "Sample fixture statement 12."
22
+ Escalation means "Sample fixture statement 13."
23
+ Learning means "Sample fixture statement 14."
24
+ act
25
+ primary Decision
26
+ Memory means "Sample fixture statement 15."
27
+ Attention means "Sample fixture statement 16."
28
+ Inference means "Sample fixture statement 17."
29
+ Decision means "Sample fixture statement 18."
30
+ Escalation means "Sample fixture statement 19."
31
+ Learning means "Sample fixture statement 20."
32
+ learn
33
+ primary Learning
34
+ Memory means "Sample fixture statement 21."
35
+ Attention means "Sample fixture statement 22."
36
+ Inference means "Sample fixture statement 23."
37
+ Decision means "Sample fixture statement 24."
38
+ Escalation means "Sample fixture statement 25."
39
+ Learning means "Sample fixture statement 26."
40
+ activation
41
+ activate when category is process
42
+ relationships
43
+ cites @law sample-rule
44
+ uses @check instance-schema-check
@@ -0,0 +1,13 @@
1
+ #! ia 1.0
2
+
3
+ @law sample-rule
4
+ meaning
5
+ says "Sample fixture statement 1."
6
+ answers "Sample fixture statement 2."
7
+ governance
8
+ severity advisory
9
+ requires "Sample fixture statement 3."
10
+ requires "Sample fixture statement 4."
11
+ when primitive is Memory and severity is blocking
12
+ relationships
13
+ enforced-by @check instance-schema-check when phase is act and severity is blocking
@@ -0,0 +1,13 @@
1
+ #! ia 1.0
2
+
3
+ @schema convention
4
+ lowers to governance
5
+ sections
6
+ must have meaning
7
+ must have governance
8
+ may have relationships
9
+ closed
10
+ fields
11
+ must have meaning.says as text
12
+ must have meaning.answers as text
13
+ must have governance.severity as id
@@ -0,0 +1,13 @@
1
+ #! ia 1.0
2
+
3
+ @schema law
4
+ lowers to governance
5
+ sections
6
+ must have meaning
7
+ must have governance
8
+ may have relationships
9
+ closed
10
+ fields
11
+ must have meaning.says as text
12
+ must have meaning.answers as text
13
+ must have governance.severity as id
@@ -0,0 +1,14 @@
1
+ #! ia 1.0
2
+
3
+ @schema playbook
4
+ lowers to definition
5
+ sections
6
+ must have meaning
7
+ must have cognition
8
+ may have relationships
9
+ may have activation
10
+ closed
11
+ fields
12
+ must have meaning.says as text
13
+ must have meaning.answers as text
14
+ may have meaning.category as text
@@ -0,0 +1,13 @@
1
+ #! ia 1.0
2
+
3
+ @schema principle
4
+ lowers to governance
5
+ sections
6
+ must have meaning
7
+ must have governance
8
+ may have relationships
9
+ closed
10
+ fields
11
+ must have meaning.says as text
12
+ must have meaning.answers as text
13
+ must have governance.severity as id
@@ -0,0 +1,9 @@
1
+ #! ia 1.0
2
+
3
+ @agent governance-steward
4
+ meaning
5
+ says "The designated expert for rules and practical methods for governed authoring."
6
+ answers "Who owns the vocabulary and authoring method of governance-system?"
7
+ governance
8
+ applies [law, principle, convention, playbook]
9
+ requires "Use the owning schema and the current spec, plan and validation evidence before changing this system."
@@ -0,0 +1,35 @@
1
+ #! ia 1.0
2
+
3
+ @system governance-system
4
+ provider "inventarch.foundation"
5
+ version "0.1.0"
6
+ describes "Rules and practical methods for governed authoring"
7
+ steward @agent governance-steward
8
+ requires
9
+ - agent-system
10
+ - compliance-system
11
+ - workspace-system
12
+ discriminators
13
+ law lowers to governance
14
+ category rule
15
+ facets [law]
16
+ schema @schema law
17
+ principle lowers to governance
18
+ category rule
19
+ facets [principle]
20
+ schema @schema principle
21
+ convention lowers to governance
22
+ category rule
23
+ facets [convention]
24
+ schema @schema convention
25
+ playbook lowers to definition
26
+ category process
27
+ facets [procedure]
28
+ schema @schema playbook
29
+ edges
30
+ cite * using *
31
+ govern * using *
32
+ enforce * using *
33
+ implement * using *
34
+ require * using *
35
+ use * using *
@@ -0,0 +1,10 @@
1
+ #! ia 1.0
2
+
3
+ @run sample-session
4
+ meaning
5
+ says "Sample fixture statement 1."
6
+ answers "Sample fixture statement 2."
7
+ execution
8
+ status proposed
9
+ phase orient
10
+ owner @agent session-steward
@@ -0,0 +1,15 @@
1
+ #! ia 1.0
2
+
3
+ @schema run
4
+ lowers to definition
5
+ sections
6
+ must have meaning
7
+ must have execution
8
+ may have relationships
9
+ closed
10
+ fields
11
+ must have meaning.says as text
12
+ must have meaning.answers as text
13
+ must have execution.status as id
14
+ must have execution.phase as id
15
+ must have execution.owner as ref
@@ -0,0 +1,9 @@
1
+ #! ia 1.0
2
+
3
+ @agent session-steward
4
+ meaning
5
+ says "The designated expert for identity and declared state of governed runs."
6
+ answers "Who owns the vocabulary and authoring method of session-system?"
7
+ governance
8
+ applies [run]
9
+ requires "Use the owning schema and the current spec, plan and validation evidence before changing this system."
@@ -0,0 +1,23 @@
1
+ #! ia 1.0
2
+
3
+ @system session-system
4
+ provider "inventarch.foundation"
5
+ version "0.1.0"
6
+ describes "Identity and declared state of governed runs"
7
+ steward @agent session-steward
8
+ requires
9
+ - agent-system
10
+ - workspace-system
11
+ - governance-system
12
+ discriminators
13
+ run lowers to definition
14
+ category event
15
+ facets [run]
16
+ schema @schema run
17
+ edges
18
+ cite * using *
19
+ govern * using *
20
+ enforce * using *
21
+ implement * using *
22
+ require * using *
23
+ use * using *
@@ -0,0 +1,8 @@
1
+ #! ia 1.0
2
+
3
+ @distribution foundation-distribution
4
+ meaning
5
+ says "The declared root record of the local foundation closure."
6
+ answers "What local record begins this distribution?"
7
+ distribution
8
+ records [@workspace foundation-workspace]
@@ -0,0 +1,10 @@
1
+ #! ia 1.0
2
+
3
+ @workspace foundation-workspace
4
+ meaning
5
+ says "The work boundary composing the five foundational systems."
6
+ answers "Which systems support foundation authoring?"
7
+ composition
8
+ systems [@system agent-system, @system compliance-system, @system workspace-system, @system governance-system, @system session-system]
9
+ relationships
10
+ requires @contract foundation-authoring-contract
@@ -0,0 +1,13 @@
1
+ #! ia 1.0
2
+
3
+ @schema distribution
4
+ lowers to definition
5
+ sections
6
+ must have meaning
7
+ must have distribution
8
+ may have relationships
9
+ closed
10
+ fields
11
+ must have meaning.says as text
12
+ must have meaning.answers as text
13
+ must have distribution.records as list of ref
@@ -0,0 +1,13 @@
1
+ #! ia 1.0
2
+
3
+ @schema workspace
4
+ lowers to definition
5
+ sections
6
+ must have meaning
7
+ must have composition
8
+ may have relationships
9
+ closed
10
+ fields
11
+ must have meaning.says as text
12
+ must have meaning.answers as text
13
+ must have composition.systems as list of ref
@@ -0,0 +1,9 @@
1
+ #! ia 1.0
2
+
3
+ @agent workspace-steward
4
+ meaning
5
+ says "The designated expert for composed work boundaries and distributable record closures."
6
+ answers "Who owns the vocabulary and authoring method of workspace-system?"
7
+ governance
8
+ applies [workspace, distribution]
9
+ requires "Use the owning schema and the current spec, plan and validation evidence before changing this system."
@@ -0,0 +1,26 @@
1
+ #! ia 1.0
2
+
3
+ @system workspace-system
4
+ provider "inventarch.foundation"
5
+ version "0.1.0"
6
+ describes "Composed work boundaries and distributable record closures"
7
+ steward @agent workspace-steward
8
+ requires
9
+ - agent-system
10
+ - compliance-system
11
+ discriminators
12
+ workspace lowers to definition
13
+ category boundary
14
+ facets [workspace]
15
+ schema @schema workspace
16
+ distribution lowers to definition
17
+ category representation
18
+ facets [distribution]
19
+ schema @schema distribution
20
+ edges
21
+ cite * using *
22
+ govern * using *
23
+ enforce * using *
24
+ implement * using *
25
+ require * using *
26
+ use * using *
@@ -0,0 +1,3 @@
1
+ # Native loop acceptance tree
2
+
3
+ Input data for the cross-package acceptance in systems section12 and graph section12. [SPEC.md](SPEC.md) states the deliberate additions and expected failures. The `.ia/src` files were copied from this repository's native corpus at c41d9ff, then given the fixture changes listed there. Runtime tests copy the tree to a bounded temporary directory before mutating it. The single foreign playbook is intentionally invalid at its location.
@@ -0,0 +1,9 @@
1
+ # Native loop fixture contract
2
+
3
+ F01. This tree copies the native floor and five-system IA sources at c41d9ff, with the same registration/schema/compiler path. It is test data, not a new vocabulary provider. The existing authoring procedure retains its full24cells. The sample-rule law becomes advisory so request severity can raise it. Add one unconditional blocking law, a fallback-only procedure, a declared-category procedure with an unrelated category gloss, and two equal act/Decision choices. A deliberately foreign playbook sits inside agent-system and must be refused independently.
4
+
5
+ F02. Runtime loop tests open temporary copies, assert158admitted records and exactly the foreign-record structural error, inspect explicit unavailable adoption/build/fixture evidence, remove/restore agent schema registration, deliver exact/primary/variant/gated-edge behavior, refuse ties/missing axes, remove a case to fail coverage, mutate a requirement fragment to fail existence, and exercise cache/source identity changes. Mutations never edit this checked-in fixture. Hook allow/deny is added under the separate host's contract; its built launcher now exercises owner success and other/missing identity refusal.
6
+
7
+ F03. The fixture's contract/cases assert structural coverage only. No scenario declaration is an execution receipt. Test output and diagnostic fixture observations are the executed evidence. The copied floor sources remain independent of donor repositories.
8
+
9
+ Executed at runtime Task3: all non-hook rows pass in packages/runtime/tests/loop.test.ts and the connected context/select/door suites. Six native-loop door refusal scenarios also run in tools/compliance/runtime-fixtures.ts. Task5 completes the hook row in apps/steward-hook/tests/hook.test.ts; six built hook refusals also run in tools/compliance/hook-fixtures.ts. Database acceptance supplies independent kernel/system/record cache mutation evidence. All nine rows now have executed observations.