@aid-framework/ir 0.0.0-stage → 0.1.39

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 (122) hide show
  1. package/LICENSE +201 -0
  2. package/README.md +134 -2
  3. package/dist/.tsbuildinfo +1 -0
  4. package/dist/build.d.ts +74 -0
  5. package/dist/build.d.ts.map +1 -0
  6. package/dist/build.js +1079 -0
  7. package/dist/build.js.map +1 -0
  8. package/dist/capabilities.d.ts +65 -0
  9. package/dist/capabilities.d.ts.map +1 -0
  10. package/dist/capabilities.js +176 -0
  11. package/dist/capabilities.js.map +1 -0
  12. package/dist/catalog/index.d.ts +36 -0
  13. package/dist/catalog/index.d.ts.map +1 -0
  14. package/dist/catalog/index.js +43 -0
  15. package/dist/catalog/index.js.map +1 -0
  16. package/dist/catalog/models.json +52 -0
  17. package/dist/diagnostics.d.ts +90 -0
  18. package/dist/diagnostics.d.ts.map +1 -0
  19. package/dist/diagnostics.js +103 -0
  20. package/dist/diagnostics.js.map +1 -0
  21. package/dist/gates/agents.d.ts +34 -0
  22. package/dist/gates/agents.d.ts.map +1 -0
  23. package/dist/gates/agents.js +233 -0
  24. package/dist/gates/agents.js.map +1 -0
  25. package/dist/gates/capability.d.ts +15 -0
  26. package/dist/gates/capability.d.ts.map +1 -0
  27. package/dist/gates/capability.js +81 -0
  28. package/dist/gates/capability.js.map +1 -0
  29. package/dist/gates/contract.d.ts +35 -0
  30. package/dist/gates/contract.d.ts.map +1 -0
  31. package/dist/gates/contract.js +19 -0
  32. package/dist/gates/contract.js.map +1 -0
  33. package/dist/gates/cost.d.ts +40 -0
  34. package/dist/gates/cost.d.ts.map +1 -0
  35. package/dist/gates/cost.js +167 -0
  36. package/dist/gates/cost.js.map +1 -0
  37. package/dist/gates/deploy.d.ts +23 -0
  38. package/dist/gates/deploy.d.ts.map +1 -0
  39. package/dist/gates/deploy.js +44 -0
  40. package/dist/gates/deploy.js.map +1 -0
  41. package/dist/gates/eval-coverage.d.ts +11 -0
  42. package/dist/gates/eval-coverage.d.ts.map +1 -0
  43. package/dist/gates/eval-coverage.js +50 -0
  44. package/dist/gates/eval-coverage.js.map +1 -0
  45. package/dist/gates/guardrails.d.ts +24 -0
  46. package/dist/gates/guardrails.d.ts.map +1 -0
  47. package/dist/gates/guardrails.js +112 -0
  48. package/dist/gates/guardrails.js.map +1 -0
  49. package/dist/gates/hitl.d.ts +17 -0
  50. package/dist/gates/hitl.d.ts.map +1 -0
  51. package/dist/gates/hitl.js +40 -0
  52. package/dist/gates/hitl.js.map +1 -0
  53. package/dist/gates/index.d.ts +66 -0
  54. package/dist/gates/index.d.ts.map +1 -0
  55. package/dist/gates/index.js +77 -0
  56. package/dist/gates/index.js.map +1 -0
  57. package/dist/gates/memory.d.ts +13 -0
  58. package/dist/gates/memory.d.ts.map +1 -0
  59. package/dist/gates/memory.js +67 -0
  60. package/dist/gates/memory.js.map +1 -0
  61. package/dist/gates/normalize.d.ts +26 -0
  62. package/dist/gates/normalize.d.ts.map +1 -0
  63. package/dist/gates/normalize.js +228 -0
  64. package/dist/gates/normalize.js.map +1 -0
  65. package/dist/gates/orchestration.d.ts +17 -0
  66. package/dist/gates/orchestration.d.ts.map +1 -0
  67. package/dist/gates/orchestration.js +46 -0
  68. package/dist/gates/orchestration.js.map +1 -0
  69. package/dist/gates/referential.d.ts +12 -0
  70. package/dist/gates/referential.d.ts.map +1 -0
  71. package/dist/gates/referential.js +554 -0
  72. package/dist/gates/referential.js.map +1 -0
  73. package/dist/gates/security.d.ts +22 -0
  74. package/dist/gates/security.d.ts.map +1 -0
  75. package/dist/gates/security.js +225 -0
  76. package/dist/gates/security.js.map +1 -0
  77. package/dist/index.d.ts +27 -0
  78. package/dist/index.d.ts.map +1 -0
  79. package/dist/index.js +19 -0
  80. package/dist/index.js.map +1 -0
  81. package/dist/policy/ast.d.ts +61 -0
  82. package/dist/policy/ast.d.ts.map +1 -0
  83. package/dist/policy/ast.js +48 -0
  84. package/dist/policy/ast.js.map +1 -0
  85. package/dist/policy/index.d.ts +7 -0
  86. package/dist/policy/index.d.ts.map +1 -0
  87. package/dist/policy/index.js +4 -0
  88. package/dist/policy/index.js.map +1 -0
  89. package/dist/policy/lexer.d.ts +27 -0
  90. package/dist/policy/lexer.d.ts.map +1 -0
  91. package/dist/policy/lexer.js +147 -0
  92. package/dist/policy/lexer.js.map +1 -0
  93. package/dist/policy/parser.d.ts +15 -0
  94. package/dist/policy/parser.d.ts.map +1 -0
  95. package/dist/policy/parser.js +202 -0
  96. package/dist/policy/parser.js.map +1 -0
  97. package/dist/predicate/ast.d.ts +125 -0
  98. package/dist/predicate/ast.d.ts.map +1 -0
  99. package/dist/predicate/ast.js +111 -0
  100. package/dist/predicate/ast.js.map +1 -0
  101. package/dist/predicate/index.d.ts +7 -0
  102. package/dist/predicate/index.d.ts.map +1 -0
  103. package/dist/predicate/index.js +4 -0
  104. package/dist/predicate/index.js.map +1 -0
  105. package/dist/predicate/lexer.d.ts +30 -0
  106. package/dist/predicate/lexer.d.ts.map +1 -0
  107. package/dist/predicate/lexer.js +176 -0
  108. package/dist/predicate/lexer.js.map +1 -0
  109. package/dist/predicate/parser.d.ts +16 -0
  110. package/dist/predicate/parser.d.ts.map +1 -0
  111. package/dist/predicate/parser.js +317 -0
  112. package/dist/predicate/parser.js.map +1 -0
  113. package/dist/schema/ir.schema.json +1144 -0
  114. package/dist/serialize.d.ts +15 -0
  115. package/dist/serialize.d.ts.map +1 -0
  116. package/dist/serialize.js +53 -0
  117. package/dist/serialize.js.map +1 -0
  118. package/dist/shapes.d.ts +671 -0
  119. package/dist/shapes.d.ts.map +1 -0
  120. package/dist/shapes.js +159 -0
  121. package/dist/shapes.js.map +1 -0
  122. package/package.json +41 -3
@@ -0,0 +1,15 @@
1
+ /**
2
+ * Canonical JSON serializer: the determinism contract for the IR.
3
+ *
4
+ * Object keys sort deterministically, arrays keep their declared order (an
5
+ * array's order is meaningful, an object's is not), output is LF-terminated with
6
+ * exactly one trailing newline, and `undefined`-valued keys are omitted rather
7
+ * than serialized as `null`. `NaN` and `Infinity` are refused instead of being
8
+ * written as invalid JSON.
9
+ */
10
+ import type { IR } from './shapes.js';
11
+ export declare const CANONICAL_INDENT = " ";
12
+ export declare function canonicalJson(value: unknown): string;
13
+ /** Canonical JSON for an IR, with exactly one trailing LF. */
14
+ export declare function serializeIR(ir: IR): string;
15
+ //# sourceMappingURL=serialize.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"serialize.d.ts","sourceRoot":"","sources":["../src/serialize.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AAEtC,eAAO,MAAM,gBAAgB,OAAO,CAAC;AAErC,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEpD;AAED,8DAA8D;AAC9D,wBAAgB,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,MAAM,CAE1C"}
@@ -0,0 +1,53 @@
1
+ /**
2
+ * Canonical JSON serializer: the determinism contract for the IR.
3
+ *
4
+ * Object keys sort deterministically, arrays keep their declared order (an
5
+ * array's order is meaningful, an object's is not), output is LF-terminated with
6
+ * exactly one trailing newline, and `undefined`-valued keys are omitted rather
7
+ * than serialized as `null`. `NaN` and `Infinity` are refused instead of being
8
+ * written as invalid JSON.
9
+ */
10
+ export const CANONICAL_INDENT = ' ';
11
+ export function canonicalJson(value) {
12
+ return encode(value, '');
13
+ }
14
+ /** Canonical JSON for an IR, with exactly one trailing LF. */
15
+ export function serializeIR(ir) {
16
+ return `${canonicalJson(ir)}\n`;
17
+ }
18
+ function encode(value, indent) {
19
+ if (value === null)
20
+ return 'null';
21
+ switch (typeof value) {
22
+ case 'boolean':
23
+ return value ? 'true' : 'false';
24
+ case 'number':
25
+ if (!Number.isFinite(value)) {
26
+ throw new TypeError('canonical JSON cannot represent a non-finite number');
27
+ }
28
+ return JSON.stringify(value);
29
+ case 'string':
30
+ return JSON.stringify(value);
31
+ case 'object':
32
+ break;
33
+ default:
34
+ throw new TypeError(`canonical JSON cannot represent a ${typeof value}`);
35
+ }
36
+ if (Array.isArray(value)) {
37
+ if (value.length === 0)
38
+ return '[]';
39
+ const inner = indent + CANONICAL_INDENT;
40
+ const items = value.map((item) => inner + encode(item, inner));
41
+ return `[\n${items.join(',\n')}\n${indent}]`;
42
+ }
43
+ const record = value;
44
+ const keys = Object.keys(record)
45
+ .filter((key) => record[key] !== undefined)
46
+ .sort();
47
+ if (keys.length === 0)
48
+ return '{}';
49
+ const inner = indent + CANONICAL_INDENT;
50
+ const entries = keys.map((key) => `${inner}${JSON.stringify(key)}: ${encode(record[key], inner)}`);
51
+ return `{\n${entries.join(',\n')}\n${indent}}`;
52
+ }
53
+ //# sourceMappingURL=serialize.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"serialize.js","sourceRoot":"","sources":["../src/serialize.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC;AAErC,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,WAAW,CAAC,EAAM;IAChC,OAAO,GAAG,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC;AAClC,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,MAAc;IAC5C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAElC,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QAClC,KAAK,QAAQ;YACX,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,SAAS,CAAC,qDAAqD,CAAC,CAAC;YAC7E,CAAC;YACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,QAAQ;YACX,MAAM;QACR;YACE,MAAM,IAAI,SAAS,CAAC,qCAAqC,OAAO,KAAK,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,MAAM,KAAK,GAAG,MAAM,GAAG,gBAAgB,CAAC;QACxC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QAC/D,OAAO,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,MAAM,GAAG,CAAC;IAC/C,CAAC;IAED,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;SAC7B,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;SAC1C,IAAI,EAAE,CAAC;IACV,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnC,MAAM,KAAK,GAAG,MAAM,GAAG,gBAAgB,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CACtB,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,EAAE,CACzE,CAAC;IACF,OAAO,MAAM,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,MAAM,GAAG,CAAC;AACjD,CAAC"}