@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,971 @@
1
+ [
2
+ {
3
+ "identity": "floor/definition/system/fixture-system",
4
+ "system": "floor",
5
+ "kind": "definition",
6
+ "facet": "system",
7
+ "name": "fixture-system",
8
+ "displayName": "fixture-system",
9
+ "discriminator": "system",
10
+ "source": {
11
+ "path": "variants/pass/fallback-and-coordinate-families.ia",
12
+ "line": 2,
13
+ "endLine": 40
14
+ },
15
+ "head": [
16
+ {
17
+ "key": "provider",
18
+ "value": {
19
+ "kind": "string",
20
+ "text": "conformance"
21
+ },
22
+ "span": {
23
+ "line": 3,
24
+ "endLine": 3
25
+ }
26
+ },
27
+ {
28
+ "key": "version",
29
+ "value": {
30
+ "kind": "string",
31
+ "text": "1.0.0"
32
+ },
33
+ "span": {
34
+ "line": 4,
35
+ "endLine": 4
36
+ }
37
+ }
38
+ ],
39
+ "sections": [
40
+ {
41
+ "name": "discriminators",
42
+ "span": {
43
+ "line": 5,
44
+ "endLine": 21
45
+ },
46
+ "fields": [
47
+ {
48
+ "key": "playbook",
49
+ "value": {
50
+ "kind": "scalar",
51
+ "text": "lowers to governance"
52
+ },
53
+ "span": {
54
+ "line": 6,
55
+ "endLine": 9
56
+ },
57
+ "fields": [
58
+ {
59
+ "key": "category",
60
+ "value": {
61
+ "kind": "scalar",
62
+ "text": "process"
63
+ },
64
+ "span": {
65
+ "line": 7,
66
+ "endLine": 7
67
+ }
68
+ },
69
+ {
70
+ "key": "facets",
71
+ "value": {
72
+ "kind": "list",
73
+ "items": [
74
+ {
75
+ "kind": "scalar",
76
+ "text": "head"
77
+ }
78
+ ]
79
+ },
80
+ "span": {
81
+ "line": 8,
82
+ "endLine": 8
83
+ }
84
+ },
85
+ {
86
+ "key": "schema",
87
+ "value": {
88
+ "kind": "ref",
89
+ "discriminator": "schema",
90
+ "name": "playbook"
91
+ },
92
+ "span": {
93
+ "line": 9,
94
+ "endLine": 9
95
+ }
96
+ }
97
+ ]
98
+ },
99
+ {
100
+ "key": "law",
101
+ "value": {
102
+ "kind": "scalar",
103
+ "text": "lowers to governance"
104
+ },
105
+ "span": {
106
+ "line": 10,
107
+ "endLine": 13
108
+ },
109
+ "fields": [
110
+ {
111
+ "key": "category",
112
+ "value": {
113
+ "kind": "scalar",
114
+ "text": "process"
115
+ },
116
+ "span": {
117
+ "line": 11,
118
+ "endLine": 11
119
+ }
120
+ },
121
+ {
122
+ "key": "facets",
123
+ "value": {
124
+ "kind": "list",
125
+ "items": [
126
+ {
127
+ "kind": "scalar",
128
+ "text": "head"
129
+ }
130
+ ]
131
+ },
132
+ "span": {
133
+ "line": 12,
134
+ "endLine": 12
135
+ }
136
+ },
137
+ {
138
+ "key": "schema",
139
+ "value": {
140
+ "kind": "ref",
141
+ "discriminator": "schema",
142
+ "name": "law"
143
+ },
144
+ "span": {
145
+ "line": 13,
146
+ "endLine": 13
147
+ }
148
+ }
149
+ ]
150
+ },
151
+ {
152
+ "key": "contract",
153
+ "value": {
154
+ "kind": "scalar",
155
+ "text": "lowers to contract"
156
+ },
157
+ "span": {
158
+ "line": 14,
159
+ "endLine": 17
160
+ },
161
+ "fields": [
162
+ {
163
+ "key": "category",
164
+ "value": {
165
+ "kind": "scalar",
166
+ "text": "process"
167
+ },
168
+ "span": {
169
+ "line": 15,
170
+ "endLine": 15
171
+ }
172
+ },
173
+ {
174
+ "key": "facets",
175
+ "value": {
176
+ "kind": "list",
177
+ "items": [
178
+ {
179
+ "kind": "scalar",
180
+ "text": "head"
181
+ }
182
+ ]
183
+ },
184
+ "span": {
185
+ "line": 16,
186
+ "endLine": 16
187
+ }
188
+ },
189
+ {
190
+ "key": "schema",
191
+ "value": {
192
+ "kind": "ref",
193
+ "discriminator": "schema",
194
+ "name": "contract"
195
+ },
196
+ "span": {
197
+ "line": 17,
198
+ "endLine": 17
199
+ }
200
+ }
201
+ ]
202
+ },
203
+ {
204
+ "key": "case",
205
+ "value": {
206
+ "kind": "scalar",
207
+ "text": "lowers to check"
208
+ },
209
+ "span": {
210
+ "line": 18,
211
+ "endLine": 21
212
+ },
213
+ "fields": [
214
+ {
215
+ "key": "category",
216
+ "value": {
217
+ "kind": "scalar",
218
+ "text": "process"
219
+ },
220
+ "span": {
221
+ "line": 19,
222
+ "endLine": 19
223
+ }
224
+ },
225
+ {
226
+ "key": "facets",
227
+ "value": {
228
+ "kind": "list",
229
+ "items": [
230
+ {
231
+ "kind": "scalar",
232
+ "text": "head"
233
+ }
234
+ ]
235
+ },
236
+ "span": {
237
+ "line": 20,
238
+ "endLine": 20
239
+ }
240
+ },
241
+ {
242
+ "key": "schema",
243
+ "value": {
244
+ "kind": "ref",
245
+ "discriminator": "schema",
246
+ "name": "case"
247
+ },
248
+ "span": {
249
+ "line": 21,
250
+ "endLine": 21
251
+ }
252
+ }
253
+ ]
254
+ }
255
+ ]
256
+ },
257
+ {
258
+ "name": "edges",
259
+ "span": {
260
+ "line": 22,
261
+ "endLine": 40
262
+ },
263
+ "fields": [
264
+ {
265
+ "key": "govern",
266
+ "value": {
267
+ "kind": "scalar",
268
+ "text": "* using *"
269
+ },
270
+ "span": {
271
+ "line": 23,
272
+ "endLine": 23
273
+ }
274
+ },
275
+ {
276
+ "key": "enforce",
277
+ "value": {
278
+ "kind": "scalar",
279
+ "text": "* using *"
280
+ },
281
+ "span": {
282
+ "line": 24,
283
+ "endLine": 24
284
+ }
285
+ },
286
+ {
287
+ "key": "ground",
288
+ "value": {
289
+ "kind": "scalar",
290
+ "text": "* using *"
291
+ },
292
+ "span": {
293
+ "line": 25,
294
+ "endLine": 25
295
+ }
296
+ },
297
+ {
298
+ "key": "constrain",
299
+ "value": {
300
+ "kind": "scalar",
301
+ "text": "* using *"
302
+ },
303
+ "span": {
304
+ "line": 26,
305
+ "endLine": 26
306
+ }
307
+ },
308
+ {
309
+ "key": "implement",
310
+ "value": {
311
+ "kind": "scalar",
312
+ "text": "* using *"
313
+ },
314
+ "span": {
315
+ "line": 27,
316
+ "endLine": 27
317
+ }
318
+ },
319
+ {
320
+ "key": "produce",
321
+ "value": {
322
+ "kind": "scalar",
323
+ "text": "* using *"
324
+ },
325
+ "span": {
326
+ "line": 28,
327
+ "endLine": 28
328
+ }
329
+ },
330
+ {
331
+ "key": "consume",
332
+ "value": {
333
+ "kind": "scalar",
334
+ "text": "* using *"
335
+ },
336
+ "span": {
337
+ "line": 29,
338
+ "endLine": 29
339
+ }
340
+ },
341
+ {
342
+ "key": "record-lineage-from",
343
+ "value": {
344
+ "kind": "scalar",
345
+ "text": "* using *"
346
+ },
347
+ "span": {
348
+ "line": 30,
349
+ "endLine": 30
350
+ }
351
+ },
352
+ {
353
+ "key": "grant-access-to",
354
+ "value": {
355
+ "kind": "scalar",
356
+ "text": "* using *"
357
+ },
358
+ "span": {
359
+ "line": 31,
360
+ "endLine": 31
361
+ }
362
+ },
363
+ {
364
+ "key": "run-before",
365
+ "value": {
366
+ "kind": "scalar",
367
+ "text": "* using *"
368
+ },
369
+ "span": {
370
+ "line": 32,
371
+ "endLine": 32
372
+ }
373
+ },
374
+ {
375
+ "key": "trigger",
376
+ "value": {
377
+ "kind": "scalar",
378
+ "text": "* using *"
379
+ },
380
+ "span": {
381
+ "line": 33,
382
+ "endLine": 33
383
+ }
384
+ },
385
+ {
386
+ "key": "cite",
387
+ "value": {
388
+ "kind": "scalar",
389
+ "text": "* using *"
390
+ },
391
+ "span": {
392
+ "line": 34,
393
+ "endLine": 34
394
+ }
395
+ },
396
+ {
397
+ "key": "supersede",
398
+ "value": {
399
+ "kind": "scalar",
400
+ "text": "* using *"
401
+ },
402
+ "span": {
403
+ "line": 35,
404
+ "endLine": 35
405
+ }
406
+ },
407
+ {
408
+ "key": "require",
409
+ "value": {
410
+ "kind": "scalar",
411
+ "text": "* using *"
412
+ },
413
+ "span": {
414
+ "line": 36,
415
+ "endLine": 36
416
+ }
417
+ },
418
+ {
419
+ "key": "use",
420
+ "value": {
421
+ "kind": "scalar",
422
+ "text": "* using *"
423
+ },
424
+ "span": {
425
+ "line": 37,
426
+ "endLine": 37
427
+ }
428
+ },
429
+ {
430
+ "key": "forbid",
431
+ "value": {
432
+ "kind": "scalar",
433
+ "text": "* using *"
434
+ },
435
+ "span": {
436
+ "line": 38,
437
+ "endLine": 38
438
+ }
439
+ },
440
+ {
441
+ "key": "route",
442
+ "value": {
443
+ "kind": "scalar",
444
+ "text": "* using *"
445
+ },
446
+ "span": {
447
+ "line": 39,
448
+ "endLine": 39
449
+ }
450
+ },
451
+ {
452
+ "key": "land",
453
+ "value": {
454
+ "kind": "scalar",
455
+ "text": "* using *"
456
+ },
457
+ "span": {
458
+ "line": 40,
459
+ "endLine": 40
460
+ }
461
+ }
462
+ ]
463
+ }
464
+ ],
465
+ "edges": [
466
+ {
467
+ "predicate": "ground",
468
+ "direction": "out",
469
+ "reference": {
470
+ "kind": "ref",
471
+ "discriminator": "schema",
472
+ "name": "playbook"
473
+ },
474
+ "target": "floor/contract/head/playbook",
475
+ "span": {
476
+ "line": 6,
477
+ "endLine": 9
478
+ }
479
+ },
480
+ {
481
+ "predicate": "ground",
482
+ "direction": "out",
483
+ "reference": {
484
+ "kind": "ref",
485
+ "discriminator": "schema",
486
+ "name": "law"
487
+ },
488
+ "target": "floor/contract/head/law",
489
+ "span": {
490
+ "line": 10,
491
+ "endLine": 13
492
+ }
493
+ },
494
+ {
495
+ "predicate": "ground",
496
+ "direction": "out",
497
+ "reference": {
498
+ "kind": "ref",
499
+ "discriminator": "schema",
500
+ "name": "contract"
501
+ },
502
+ "target": "floor/contract/head/contract",
503
+ "span": {
504
+ "line": 14,
505
+ "endLine": 17
506
+ }
507
+ },
508
+ {
509
+ "predicate": "ground",
510
+ "direction": "out",
511
+ "reference": {
512
+ "kind": "ref",
513
+ "discriminator": "schema",
514
+ "name": "case"
515
+ },
516
+ "target": "floor/contract/head/case",
517
+ "span": {
518
+ "line": 18,
519
+ "endLine": 21
520
+ }
521
+ }
522
+ ],
523
+ "cells": [],
524
+ "selectors": [],
525
+ "variants": [],
526
+ "requirements": [],
527
+ "schema": "floor/contract/head/system",
528
+ "provenance": "workspace",
529
+ "placement": {
530
+ "kind": "authored",
531
+ "band": 100,
532
+ "reach": ""
533
+ }
534
+ },
535
+ {
536
+ "identity": "floor/contract/head/playbook",
537
+ "system": "floor",
538
+ "kind": "contract",
539
+ "facet": "head",
540
+ "name": "playbook",
541
+ "displayName": "playbook",
542
+ "discriminator": "schema",
543
+ "source": {
544
+ "path": "variants/pass/fallback-and-coordinate-families.ia",
545
+ "line": 41,
546
+ "endLine": 44
547
+ },
548
+ "head": [
549
+ {
550
+ "key": "lowers to",
551
+ "value": {
552
+ "kind": "scalar",
553
+ "text": "governance"
554
+ },
555
+ "span": {
556
+ "line": 42,
557
+ "endLine": 42
558
+ }
559
+ }
560
+ ],
561
+ "sections": [
562
+ {
563
+ "name": "sections",
564
+ "span": {
565
+ "line": 43,
566
+ "endLine": 44
567
+ },
568
+ "fields": [
569
+ {
570
+ "key": "open",
571
+ "value": {
572
+ "kind": "none"
573
+ },
574
+ "span": {
575
+ "line": 44,
576
+ "endLine": 44
577
+ }
578
+ }
579
+ ]
580
+ }
581
+ ],
582
+ "edges": [],
583
+ "cells": [],
584
+ "selectors": [],
585
+ "variants": [],
586
+ "requirements": [],
587
+ "schema": "floor/contract/head/schema",
588
+ "provenance": "workspace",
589
+ "placement": {
590
+ "kind": "authored",
591
+ "band": 100,
592
+ "reach": ""
593
+ }
594
+ },
595
+ {
596
+ "identity": "floor/contract/head/law",
597
+ "system": "floor",
598
+ "kind": "contract",
599
+ "facet": "head",
600
+ "name": "law",
601
+ "displayName": "law",
602
+ "discriminator": "schema",
603
+ "source": {
604
+ "path": "variants/pass/fallback-and-coordinate-families.ia",
605
+ "line": 45,
606
+ "endLine": 48
607
+ },
608
+ "head": [
609
+ {
610
+ "key": "lowers to",
611
+ "value": {
612
+ "kind": "scalar",
613
+ "text": "governance"
614
+ },
615
+ "span": {
616
+ "line": 46,
617
+ "endLine": 46
618
+ }
619
+ }
620
+ ],
621
+ "sections": [
622
+ {
623
+ "name": "sections",
624
+ "span": {
625
+ "line": 47,
626
+ "endLine": 48
627
+ },
628
+ "fields": [
629
+ {
630
+ "key": "open",
631
+ "value": {
632
+ "kind": "none"
633
+ },
634
+ "span": {
635
+ "line": 48,
636
+ "endLine": 48
637
+ }
638
+ }
639
+ ]
640
+ }
641
+ ],
642
+ "edges": [],
643
+ "cells": [],
644
+ "selectors": [],
645
+ "variants": [],
646
+ "requirements": [],
647
+ "schema": "floor/contract/head/schema",
648
+ "provenance": "workspace",
649
+ "placement": {
650
+ "kind": "authored",
651
+ "band": 100,
652
+ "reach": ""
653
+ }
654
+ },
655
+ {
656
+ "identity": "floor/contract/head/contract",
657
+ "system": "floor",
658
+ "kind": "contract",
659
+ "facet": "head",
660
+ "name": "contract",
661
+ "displayName": "contract",
662
+ "discriminator": "schema",
663
+ "source": {
664
+ "path": "variants/pass/fallback-and-coordinate-families.ia",
665
+ "line": 49,
666
+ "endLine": 52
667
+ },
668
+ "head": [
669
+ {
670
+ "key": "lowers to",
671
+ "value": {
672
+ "kind": "scalar",
673
+ "text": "contract"
674
+ },
675
+ "span": {
676
+ "line": 50,
677
+ "endLine": 50
678
+ }
679
+ }
680
+ ],
681
+ "sections": [
682
+ {
683
+ "name": "sections",
684
+ "span": {
685
+ "line": 51,
686
+ "endLine": 52
687
+ },
688
+ "fields": [
689
+ {
690
+ "key": "open",
691
+ "value": {
692
+ "kind": "none"
693
+ },
694
+ "span": {
695
+ "line": 52,
696
+ "endLine": 52
697
+ }
698
+ }
699
+ ]
700
+ }
701
+ ],
702
+ "edges": [],
703
+ "cells": [],
704
+ "selectors": [],
705
+ "variants": [],
706
+ "requirements": [],
707
+ "schema": "floor/contract/head/schema",
708
+ "provenance": "workspace",
709
+ "placement": {
710
+ "kind": "authored",
711
+ "band": 100,
712
+ "reach": ""
713
+ }
714
+ },
715
+ {
716
+ "identity": "floor/contract/head/case",
717
+ "system": "floor",
718
+ "kind": "contract",
719
+ "facet": "head",
720
+ "name": "case",
721
+ "displayName": "case",
722
+ "discriminator": "schema",
723
+ "source": {
724
+ "path": "variants/pass/fallback-and-coordinate-families.ia",
725
+ "line": 53,
726
+ "endLine": 56
727
+ },
728
+ "head": [
729
+ {
730
+ "key": "lowers to",
731
+ "value": {
732
+ "kind": "scalar",
733
+ "text": "check"
734
+ },
735
+ "span": {
736
+ "line": 54,
737
+ "endLine": 54
738
+ }
739
+ }
740
+ ],
741
+ "sections": [
742
+ {
743
+ "name": "sections",
744
+ "span": {
745
+ "line": 55,
746
+ "endLine": 56
747
+ },
748
+ "fields": [
749
+ {
750
+ "key": "open",
751
+ "value": {
752
+ "kind": "none"
753
+ },
754
+ "span": {
755
+ "line": 56,
756
+ "endLine": 56
757
+ }
758
+ }
759
+ ]
760
+ }
761
+ ],
762
+ "edges": [],
763
+ "cells": [],
764
+ "selectors": [],
765
+ "variants": [],
766
+ "requirements": [],
767
+ "schema": "floor/contract/head/schema",
768
+ "provenance": "workspace",
769
+ "placement": {
770
+ "kind": "authored",
771
+ "band": 100,
772
+ "reach": ""
773
+ }
774
+ },
775
+ {
776
+ "identity": "fixture-system/governance/head/target",
777
+ "system": "fixture-system",
778
+ "kind": "governance",
779
+ "facet": "head",
780
+ "name": "target",
781
+ "displayName": "target",
782
+ "discriminator": "playbook",
783
+ "source": {
784
+ "path": "variants/pass/fallback-and-coordinate-families.ia",
785
+ "line": 57,
786
+ "endLine": 57
787
+ },
788
+ "head": [],
789
+ "sections": [],
790
+ "edges": [],
791
+ "cells": [],
792
+ "selectors": [],
793
+ "variants": [],
794
+ "requirements": [],
795
+ "schema": "floor/contract/head/playbook",
796
+ "provenance": "workspace",
797
+ "placement": {
798
+ "kind": "authored",
799
+ "band": 100,
800
+ "reach": ""
801
+ }
802
+ },
803
+ {
804
+ "identity": "fixture-system/governance/head/authoring-floor",
805
+ "system": "fixture-system",
806
+ "kind": "governance",
807
+ "facet": "head",
808
+ "name": "authoring-floor",
809
+ "displayName": "authoring-floor",
810
+ "discriminator": "law",
811
+ "source": {
812
+ "path": "variants/pass/fallback-and-coordinate-families.ia",
813
+ "line": 58,
814
+ "endLine": 65
815
+ },
816
+ "head": [],
817
+ "sections": [
818
+ {
819
+ "name": "governance",
820
+ "span": {
821
+ "line": 59,
822
+ "endLine": 65
823
+ },
824
+ "fields": [
825
+ {
826
+ "key": "severity",
827
+ "value": {
828
+ "kind": "scalar",
829
+ "text": "blocking"
830
+ },
831
+ "span": {
832
+ "line": 60,
833
+ "endLine": 60
834
+ }
835
+ },
836
+ {
837
+ "key": "requires",
838
+ "value": {
839
+ "kind": "string",
840
+ "text": "Base"
841
+ },
842
+ "span": {
843
+ "line": 61,
844
+ "endLine": 61
845
+ }
846
+ },
847
+ {
848
+ "key": "requires",
849
+ "value": {
850
+ "kind": "string",
851
+ "text": "Act"
852
+ },
853
+ "when": [
854
+ "phase",
855
+ "is",
856
+ "act"
857
+ ],
858
+ "span": {
859
+ "line": 62,
860
+ "endLine": 62
861
+ }
862
+ },
863
+ {
864
+ "key": "requires",
865
+ "value": {
866
+ "kind": "string",
867
+ "text": "Plan"
868
+ },
869
+ "span": {
870
+ "line": 63,
871
+ "endLine": 64
872
+ },
873
+ "fields": [
874
+ {
875
+ "key": "when",
876
+ "value": {
877
+ "kind": "scalar",
878
+ "text": "phase is plan"
879
+ },
880
+ "span": {
881
+ "line": 64,
882
+ "endLine": 64
883
+ }
884
+ }
885
+ ]
886
+ },
887
+ {
888
+ "key": "forbids",
889
+ "value": {
890
+ "kind": "string",
891
+ "text": "Unattributed facts"
892
+ },
893
+ "span": {
894
+ "line": 65,
895
+ "endLine": 65
896
+ }
897
+ }
898
+ ]
899
+ }
900
+ ],
901
+ "edges": [],
902
+ "cells": [],
903
+ "selectors": [],
904
+ "variants": [
905
+ {
906
+ "key": "requires",
907
+ "value": {
908
+ "kind": "string",
909
+ "text": "Base"
910
+ },
911
+ "span": {
912
+ "line": 61,
913
+ "endLine": 61
914
+ }
915
+ },
916
+ {
917
+ "key": "requires",
918
+ "value": {
919
+ "kind": "string",
920
+ "text": "Act"
921
+ },
922
+ "condition": [
923
+ {
924
+ "axis": "phase",
925
+ "value": "act"
926
+ }
927
+ ],
928
+ "span": {
929
+ "line": 62,
930
+ "endLine": 62
931
+ }
932
+ },
933
+ {
934
+ "key": "requires",
935
+ "value": {
936
+ "kind": "string",
937
+ "text": "Plan"
938
+ },
939
+ "condition": [
940
+ {
941
+ "axis": "phase",
942
+ "value": "plan"
943
+ }
944
+ ],
945
+ "span": {
946
+ "line": 63,
947
+ "endLine": 64
948
+ }
949
+ },
950
+ {
951
+ "key": "forbids",
952
+ "value": {
953
+ "kind": "string",
954
+ "text": "Unattributed facts"
955
+ },
956
+ "span": {
957
+ "line": 65,
958
+ "endLine": 65
959
+ }
960
+ }
961
+ ],
962
+ "requirements": [],
963
+ "schema": "floor/contract/head/law",
964
+ "provenance": "workspace",
965
+ "placement": {
966
+ "kind": "authored",
967
+ "band": 100,
968
+ "reach": ""
969
+ }
970
+ }
971
+ ]