@gate-forge/core 0.4.0 → 0.6.1

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 (106) hide show
  1. package/dist/baselines/index.js +1 -1
  2. package/dist/baselines/index.js.map +1 -1
  3. package/dist/classifier/classify.d.ts +1 -0
  4. package/dist/classifier/classify.d.ts.map +1 -1
  5. package/dist/classifier/classify.js +66 -10
  6. package/dist/classifier/classify.js.map +1 -1
  7. package/dist/config/index.d.ts +3 -1
  8. package/dist/config/index.d.ts.map +1 -1
  9. package/dist/config/index.js +16 -0
  10. package/dist/config/index.js.map +1 -1
  11. package/dist/fingerprints.d.ts +35 -4
  12. package/dist/fingerprints.d.ts.map +1 -1
  13. package/dist/fingerprints.js +58 -5
  14. package/dist/fingerprints.js.map +1 -1
  15. package/dist/index.d.ts +46 -14
  16. package/dist/index.d.ts.map +1 -1
  17. package/dist/index.js +40 -12
  18. package/dist/index.js.map +1 -1
  19. package/dist/mapping/resolve.d.ts +6 -2
  20. package/dist/mapping/resolve.d.ts.map +1 -1
  21. package/dist/mapping/resolve.js +122 -17
  22. package/dist/mapping/resolve.js.map +1 -1
  23. package/dist/policy/behavior.d.ts +44 -0
  24. package/dist/policy/behavior.d.ts.map +1 -0
  25. package/dist/policy/behavior.js +373 -0
  26. package/dist/policy/behavior.js.map +1 -0
  27. package/dist/policy/coverage.d.ts +4 -3
  28. package/dist/policy/coverage.d.ts.map +1 -1
  29. package/dist/policy/coverage.js +12 -6
  30. package/dist/policy/coverage.js.map +1 -1
  31. package/dist/policy/evaluate.d.ts +23 -0
  32. package/dist/policy/evaluate.d.ts.map +1 -1
  33. package/dist/policy/index.d.ts +1 -0
  34. package/dist/policy/index.d.ts.map +1 -1
  35. package/dist/policy/index.js +1 -0
  36. package/dist/policy/index.js.map +1 -1
  37. package/dist/receipt/index.d.ts +56 -4
  38. package/dist/receipt/index.d.ts.map +1 -1
  39. package/dist/receipt/index.js +139 -5
  40. package/dist/receipt/index.js.map +1 -1
  41. package/dist/report/index.js +4 -19
  42. package/dist/report/index.js.map +1 -1
  43. package/dist/schemas/behavior-catalog.d.ts +2868 -0
  44. package/dist/schemas/behavior-catalog.d.ts.map +1 -0
  45. package/dist/schemas/behavior-catalog.js +103 -0
  46. package/dist/schemas/behavior-catalog.js.map +1 -0
  47. package/dist/schemas/behavior-evidence.d.ts +174 -0
  48. package/dist/schemas/behavior-evidence.d.ts.map +1 -0
  49. package/dist/schemas/behavior-evidence.js +157 -0
  50. package/dist/schemas/behavior-evidence.js.map +1 -0
  51. package/dist/schemas/behavior-policy.d.ts +6214 -0
  52. package/dist/schemas/behavior-policy.d.ts.map +1 -0
  53. package/dist/schemas/behavior-policy.js +896 -0
  54. package/dist/schemas/behavior-policy.js.map +1 -0
  55. package/dist/schemas/classification-policy.d.ts +52 -0
  56. package/dist/schemas/classification-policy.d.ts.map +1 -1
  57. package/dist/schemas/classification-policy.js +93 -0
  58. package/dist/schemas/classification-policy.js.map +1 -1
  59. package/dist/schemas/execution-result.d.ts +4 -4
  60. package/dist/schemas/gate-receipt.d.ts +10 -3
  61. package/dist/schemas/gate-receipt.d.ts.map +1 -1
  62. package/dist/schemas/gate-receipt.js +46 -3
  63. package/dist/schemas/gate-receipt.js.map +1 -1
  64. package/dist/schemas/index.d.ts +3 -0
  65. package/dist/schemas/index.d.ts.map +1 -1
  66. package/dist/schemas/index.js +3 -0
  67. package/dist/schemas/index.js.map +1 -1
  68. package/dist/schemas/obligation.d.ts +1 -0
  69. package/dist/schemas/obligation.d.ts.map +1 -1
  70. package/dist/schemas/obligation.js +9 -0
  71. package/dist/schemas/obligation.js.map +1 -1
  72. package/dist/schemas/runtime-config.d.ts +103 -0
  73. package/dist/schemas/runtime-config.d.ts.map +1 -0
  74. package/dist/schemas/runtime-config.js +168 -0
  75. package/dist/schemas/runtime-config.js.map +1 -0
  76. package/dist/schemas/test-catalog.d.ts +20 -2
  77. package/dist/schemas/test-catalog.d.ts.map +1 -1
  78. package/dist/schemas/test-catalog.js +13 -0
  79. package/dist/schemas/test-catalog.js.map +1 -1
  80. package/dist/schemas/test-map.d.ts +4 -0
  81. package/dist/schemas/test-map.d.ts.map +1 -1
  82. package/dist/schemas/test-map.js +24 -1
  83. package/dist/schemas/test-map.js.map +1 -1
  84. package/dist/schemas/verdict.d.ts +11 -0
  85. package/dist/schemas/verdict.d.ts.map +1 -1
  86. package/dist/schemas/verdict.js +33 -6
  87. package/dist/schemas/verdict.js.map +1 -1
  88. package/dist/testing/gate-runner.d.ts.map +1 -1
  89. package/dist/testing/gate-runner.js +2 -7
  90. package/dist/testing/gate-runner.js.map +1 -1
  91. package/dist/verdict/behavior.d.ts +87 -0
  92. package/dist/verdict/behavior.d.ts.map +1 -0
  93. package/dist/verdict/behavior.js +1328 -0
  94. package/dist/verdict/behavior.js.map +1 -0
  95. package/dist/verdict/evaluate.d.ts +10 -0
  96. package/dist/verdict/evaluate.d.ts.map +1 -1
  97. package/dist/verdict/evaluate.js +188 -27
  98. package/dist/verdict/evaluate.js.map +1 -1
  99. package/dist/verdict/index.d.ts +6 -0
  100. package/dist/verdict/index.d.ts.map +1 -1
  101. package/dist/verdict/index.js +6 -0
  102. package/dist/verdict/index.js.map +1 -1
  103. package/dist/verdict/pack-verifiers.d.ts.map +1 -1
  104. package/dist/verdict/pack-verifiers.js +124 -33
  105. package/dist/verdict/pack-verifiers.js.map +1 -1
  106. package/package.json +1 -1
@@ -0,0 +1 @@
1
+ {"version":3,"file":"behavior-catalog.d.ts","sourceRoot":"","sources":["../../src/schemas/behavior-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAQxB,6CAA6C;AAC7C,eAAO,MAAM,uBAAuB,kCAAkC,CAAC;AAEvE,6DAA6D;AAC7D,eAAO,MAAM,4BAA4B,8BAA8B,CAAC;AAExE,uEAAuE;AACvE,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA0B5B,CAAC;AAEZ,oCAAoC;AACpC,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E;;;GAGG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAkC9B,CAAC;AAEL,uCAAuC;AACvC,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,yEAAyE;AACzE,eAAO,MAAM,sBAAsB;;;;kBAMxB,CAAC;AAEZ,oEAAoE;AACpE,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAOnC,CAAC;AAEZ,0CAA0C;AAC1C,MAAM,MAAM,2BAA2B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iCAAiC,CAAC,CAAC"}
@@ -0,0 +1,103 @@
1
+ /**
2
+ * Compiled behavior catalog (plan 2026-09-19 §4.7, §15.3): the
3
+ * deterministic, sorted requirement set derived from an approved
4
+ * behavior document plus the current resource graph.
5
+ *
6
+ * The catalog is derived run state, not a tracked authority document.
7
+ * Tampering with a copy on disk cannot alter the controller-bound
8
+ * catalog digest.
9
+ */
10
+ import { z } from 'zod';
11
+ import { SchemaVersionField } from './common.js';
12
+ import { FingerprintHexSchema } from './baseline.js';
13
+ import { BehaviorCaseSchema, EffectScopeSchema, } from './behavior-policy.js';
14
+ /** Domain hashed into the catalog digest. */
15
+ export const BEHAVIOR_CATALOG_DOMAIN = 'gateforge.behavior-catalog.v1';
16
+ /** Domain hashed into an obligation's requirementsDigest. */
17
+ export const BEHAVIOR_REQUIREMENTS_DOMAIN = 'gateforge.requirements.v1';
18
+ /** One compiled case with stable identity and specification digest. */
19
+ export const CompiledBehaviorCaseSchema = z
20
+ .object({
21
+ /** 64-hex identity: sha256Canonical({domain, resourceId, id}). */
22
+ caseId: FingerprintHexSchema,
23
+ /** 64-hex digest of the complete canonical case specification. */
24
+ specDigest: FingerprintHexSchema,
25
+ /** Subject resource the case belongs to (normalized graph id). */
26
+ resourceId: z
27
+ .string()
28
+ .min(1)
29
+ .regex(/^[^:]+$/, "resourceId must not contain ':'"),
30
+ /** Endpoint resource id when the subject is an HTTP endpoint. */
31
+ endpointResourceId: z
32
+ .string()
33
+ .min(1)
34
+ .regex(/^[^:]+$/, "endpointResourceId must not contain ':'")
35
+ .nullable(),
36
+ /** Sorted, deduplicated current obligation ids this case supports. */
37
+ obligationIds: z.array(z.string().min(1)),
38
+ /** Canonical case definition (owner document after compile normalize). */
39
+ definition: BehaviorCaseSchema,
40
+ /** Declared effects of the subject, sorted by id. */
41
+ effects: z.array(EffectScopeSchema),
42
+ /** Sorted approved dependency/source paths. */
43
+ sourceFiles: z.array(z.string().min(1)),
44
+ })
45
+ .strict();
46
+ /**
47
+ * Compiled catalog: sorted cases, obligation→case requirements, and the
48
+ * subject→effect dependency index used by changed-file selection.
49
+ */
50
+ export const BehaviorCatalogSchema = z
51
+ .object({
52
+ schemaVersion: SchemaVersionField,
53
+ catalogDigest: FingerprintHexSchema,
54
+ /** Sorted by caseId. */
55
+ cases: z.array(CompiledBehaviorCaseSchema),
56
+ /** obligationId → required caseIds (sorted). */
57
+ requirements: z.record(z.string(), z.array(z.string().min(1))),
58
+ /** subject resourceId → effect/domain resourceIds (sorted, unique). */
59
+ dependencies: z.record(z.string(), z.array(z.string().min(1))),
60
+ })
61
+ .strict()
62
+ .superRefine((catalog, ctx) => {
63
+ for (let index = 1; index < catalog.cases.length; index += 1) {
64
+ const previous = catalog.cases[index - 1]?.caseId;
65
+ const current = catalog.cases[index]?.caseId;
66
+ if (previous === undefined || current === undefined)
67
+ continue;
68
+ if (current < previous) {
69
+ ctx.addIssue({
70
+ code: 'custom',
71
+ path: ['cases', index, 'caseId'],
72
+ message: 'compiled cases must be sorted by caseId',
73
+ });
74
+ return;
75
+ }
76
+ if (current === previous) {
77
+ ctx.addIssue({
78
+ code: 'custom',
79
+ path: ['cases', index, 'caseId'],
80
+ message: `duplicate compiled caseId '${current}'`,
81
+ });
82
+ return;
83
+ }
84
+ }
85
+ });
86
+ /** One route row of the complete inventory for principal attribution. */
87
+ export const BehaviorRouteRowSchema = z
88
+ .object({
89
+ resourceId: z.string().min(1),
90
+ method: z.string().min(1),
91
+ canonicalPath: z.string().min(1),
92
+ })
93
+ .strict();
94
+ /** Supervisor registration body for POST /runs/behavior-catalog. */
95
+ export const BehaviorCatalogRegistrationSchema = z
96
+ .object({
97
+ catalog: BehaviorCatalogSchema,
98
+ assignments: z.record(z.string().min(1), z.array(z.string().min(1)).min(1)),
99
+ routes: z.array(BehaviorRouteRowSchema).min(1),
100
+ authorityProfileDigest: FingerprintHexSchema,
101
+ })
102
+ .strict();
103
+ //# sourceMappingURL=behavior-catalog.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"behavior-catalog.js","sourceRoot":"","sources":["../../src/schemas/behavior-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EACL,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,sBAAsB,CAAC;AAE9B,6CAA6C;AAC7C,MAAM,CAAC,MAAM,uBAAuB,GAAG,+BAA+B,CAAC;AAEvE,6DAA6D;AAC7D,MAAM,CAAC,MAAM,4BAA4B,GAAG,2BAA2B,CAAC;AAExE,uEAAuE;AACvE,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC;KACxC,MAAM,CAAC;IACN,kEAAkE;IAClE,MAAM,EAAE,oBAAoB;IAC5B,kEAAkE;IAClE,UAAU,EAAE,oBAAoB;IAChC,kEAAkE;IAClE,UAAU,EAAE,CAAC;SACV,MAAM,EAAE;SACR,GAAG,CAAC,CAAC,CAAC;SACN,KAAK,CAAC,SAAS,EAAE,iCAAiC,CAAC;IACtD,iEAAiE;IACjE,kBAAkB,EAAE,CAAC;SAClB,MAAM,EAAE;SACR,GAAG,CAAC,CAAC,CAAC;SACN,KAAK,CAAC,SAAS,EAAE,yCAAyC,CAAC;SAC3D,QAAQ,EAAE;IACb,sEAAsE;IACtE,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACzC,0EAA0E;IAC1E,UAAU,EAAE,kBAAkB;IAC9B,qDAAqD;IACrD,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACnC,+CAA+C;IAC/C,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACxC,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,aAAa,EAAE,kBAAkB;IACjC,aAAa,EAAE,oBAAoB;IACnC,wBAAwB;IACxB,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC;IAC1C,gDAAgD;IAChD,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,uEAAuE;IACvE,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;CAC/D,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE;IAC5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC7D,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC;QAClD,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;QAC7C,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QAC9D,IAAI,OAAO,GAAG,QAAQ,EAAE,CAAC;YACvB,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC;gBAChC,OAAO,EAAE,yCAAyC;aACnD,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YACzB,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC;gBAChC,OAAO,EAAE,8BAA8B,OAAO,GAAG;aAClD,CAAC,CAAC;YACH,OAAO;QACT,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAKL,yEAAyE;AACzE,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC;KACpC,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACjC,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,oEAAoE;AACpE,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC;KAC/C,MAAM,CAAC;IACN,OAAO,EAAE,qBAAqB;IAC9B,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9C,sBAAsB,EAAE,oBAAoB;CAC7C,CAAC;KACD,MAAM,EAAE,CAAC"}
@@ -0,0 +1,174 @@
1
+ /**
2
+ * behavior.case observation schemas (plan 2026-09-19 §4.6, §15.3).
3
+ *
4
+ * Pure data contracts for the engine-issued case proof record. Phase 1
5
+ * ships the schema only — there is no issuer and no fake producer. A
6
+ * suite-posted object shaped like this remains suite-submitted and
7
+ * never satisfies the strong HTTP contracts.
8
+ */
9
+ import { z } from 'zod';
10
+ /** Evidence kind issued for a complete behavior case. */
11
+ export declare const BEHAVIOR_CASE_KIND = "behavior.case";
12
+ /** Payload version for behavior.case records. */
13
+ export declare const BEHAVIOR_CASE_PAYLOAD_VERSION = 1;
14
+ /** Scalar or composite entity identity, matching existing core behavior. */
15
+ export declare const EntityIdSchema: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>]>;
16
+ /** Inferred entity-id shape. */
17
+ export type EntityId = z.infer<typeof EntityIdSchema>;
18
+ /** One entity projection inside a trusted scope snapshot. */
19
+ export declare const ScopeEntitySchema: z.ZodObject<{
20
+ entityId: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>]>;
21
+ fields: z.ZodRecord<z.ZodString, z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>>;
22
+ }, z.core.$strict>;
23
+ /** Inferred scope-entity shape. */
24
+ export type ScopeEntity = z.infer<typeof ScopeEntitySchema>;
25
+ /**
26
+ * Strict snapshot of one declared effect scope. complete:false,
27
+ * omitted declared fields, unknown identity, inconsistent checkpoints,
28
+ * or truncation cannot satisfy a strong contract.
29
+ */
30
+ export declare const ScopeSnapshotSchema: z.ZodObject<{
31
+ scope: z.ZodString;
32
+ fixtureNamespace: z.ZodString;
33
+ complete: z.ZodBoolean;
34
+ checkpoint: z.ZodString;
35
+ entities: z.ZodArray<z.ZodObject<{
36
+ entityId: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>]>;
37
+ fields: z.ZodRecord<z.ZodString, z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>>;
38
+ }, z.core.$strict>>;
39
+ }, z.core.$strict>;
40
+ /** Inferred scope-snapshot shape. */
41
+ export type ScopeSnapshot = z.infer<typeof ScopeSnapshotSchema>;
42
+ /** Witness-side case lifecycle. Each transition requires the previous. */
43
+ export declare const BEHAVIOR_CASE_STATES: readonly ["registered", "fixture-prepared", "before-snapshot-complete", "principal-executing", "request-captured", "barrier-reached", "after-snapshot-complete", "sealed"];
44
+ /** Inferred lifecycle state. */
45
+ export type BehaviorCaseState = (typeof BEHAVIOR_CASE_STATES)[number];
46
+ /** One captured request attempt inside a case. */
47
+ export declare const BehaviorAttemptSchema: z.ZodObject<{
48
+ engineRequestId: z.ZodString;
49
+ method: z.ZodString;
50
+ path: z.ZodString;
51
+ endpointResourceId: z.ZodNullable<z.ZodString>;
52
+ actorRef: z.ZodString;
53
+ requestDigest: z.ZodString;
54
+ status: z.ZodNullable<z.ZodNumber>;
55
+ responseDigest: z.ZodNullable<z.ZodString>;
56
+ }, z.core.$strict>;
57
+ /** Inferred attempt shape. */
58
+ export type BehaviorAttempt = z.infer<typeof BehaviorAttemptSchema>;
59
+ /**
60
+ * Actual observed request/response values sealed by the witness (Phase 5).
61
+ * Digests in {@link BehaviorAttemptSchema} bind identity; these values
62
+ * are what the semantic grader evaluates response rules and
63
+ * request-derived expectations against. Bounded at capture (over-limit
64
+ * inputs block instead of hashing a misleading prefix).
65
+ */
66
+ export declare const BehaviorRequestObservationSchema: z.ZodObject<{
67
+ engineRequestId: z.ZodString;
68
+ method: z.ZodString;
69
+ path: z.ZodString;
70
+ query: z.ZodRecord<z.ZodString, z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>>;
71
+ body: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
72
+ status: z.ZodNullable<z.ZodNumber>;
73
+ responseBody: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
74
+ }, z.core.$strict>;
75
+ /** Inferred request-observation shape. */
76
+ export type BehaviorRequestObservation = z.infer<typeof BehaviorRequestObservationSchema>;
77
+ /** Trusted actor metadata — never credential bytes. */
78
+ export declare const BehaviorActorObservationSchema: z.ZodObject<{
79
+ principalId: z.ZodString;
80
+ tenantId: z.ZodNullable<z.ZodString>;
81
+ roles: z.ZodArray<z.ZodString>;
82
+ }, z.core.$strict>;
83
+ /** Inferred actor observation. */
84
+ export type BehaviorActorObservation = z.infer<typeof BehaviorActorObservationSchema>;
85
+ /**
86
+ * Signed behavior.case payload. Outer EvidenceRecordSchema still binds
87
+ * run/test/obligation identity and origin; this is the inner payload.
88
+ */
89
+ export declare const BehaviorCasePayloadSchema: z.ZodObject<{
90
+ payloadVersion: z.ZodLiteral<1>;
91
+ caseId: z.ZodString;
92
+ caseSpecDigest: z.ZodString;
93
+ obligationIds: z.ZodArray<z.ZodString>;
94
+ endpointResourceId: z.ZodNullable<z.ZodString>;
95
+ operationId: z.ZodString;
96
+ sessionId: z.ZodString;
97
+ executionId: z.ZodString;
98
+ fixtureNamespace: z.ZodString;
99
+ actor: z.ZodObject<{
100
+ principalId: z.ZodString;
101
+ tenantId: z.ZodNullable<z.ZodString>;
102
+ roles: z.ZodArray<z.ZodString>;
103
+ }, z.core.$strict>;
104
+ actionDigest: z.ZodString;
105
+ submittedValues: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
106
+ attempts: z.ZodArray<z.ZodObject<{
107
+ engineRequestId: z.ZodString;
108
+ method: z.ZodString;
109
+ path: z.ZodString;
110
+ endpointResourceId: z.ZodNullable<z.ZodString>;
111
+ actorRef: z.ZodString;
112
+ requestDigest: z.ZodString;
113
+ status: z.ZodNullable<z.ZodNumber>;
114
+ responseDigest: z.ZodNullable<z.ZodString>;
115
+ }, z.core.$strict>>;
116
+ requestObservations: z.ZodArray<z.ZodObject<{
117
+ engineRequestId: z.ZodString;
118
+ method: z.ZodString;
119
+ path: z.ZodString;
120
+ query: z.ZodRecord<z.ZodString, z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>>;
121
+ body: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
122
+ status: z.ZodNullable<z.ZodNumber>;
123
+ responseBody: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
124
+ }, z.core.$strict>>;
125
+ browserObservation: z.ZodOptional<z.ZodObject<{
126
+ url: z.ZodString;
127
+ entityId: z.ZodString;
128
+ visibleFields: z.ZodRecord<z.ZodString, z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>>;
129
+ }, z.core.$strict>>;
130
+ fixtureValues: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
131
+ before: z.ZodArray<z.ZodObject<{
132
+ scope: z.ZodString;
133
+ fixtureNamespace: z.ZodString;
134
+ complete: z.ZodBoolean;
135
+ checkpoint: z.ZodString;
136
+ entities: z.ZodArray<z.ZodObject<{
137
+ entityId: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>]>;
138
+ fields: z.ZodRecord<z.ZodString, z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>>;
139
+ }, z.core.$strict>>;
140
+ }, z.core.$strict>>;
141
+ after: z.ZodArray<z.ZodObject<{
142
+ scope: z.ZodString;
143
+ fixtureNamespace: z.ZodString;
144
+ complete: z.ZodBoolean;
145
+ checkpoint: z.ZodString;
146
+ entities: z.ZodArray<z.ZodObject<{
147
+ entityId: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>]>;
148
+ fields: z.ZodRecord<z.ZodString, z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>>;
149
+ }, z.core.$strict>>;
150
+ }, z.core.$strict>>;
151
+ completion: z.ZodObject<{
152
+ complete: z.ZodBoolean;
153
+ checkpoint: z.ZodString;
154
+ }, z.core.$strict>;
155
+ channel: z.ZodEnum<{
156
+ "engine-browser": "engine-browser";
157
+ "engine-http": "engine-http";
158
+ "engine-task": "engine-task";
159
+ }>;
160
+ authorityProfileDigest: z.ZodString;
161
+ state: z.ZodEnum<{
162
+ registered: "registered";
163
+ "fixture-prepared": "fixture-prepared";
164
+ "before-snapshot-complete": "before-snapshot-complete";
165
+ "principal-executing": "principal-executing";
166
+ "request-captured": "request-captured";
167
+ "barrier-reached": "barrier-reached";
168
+ "after-snapshot-complete": "after-snapshot-complete";
169
+ sealed: "sealed";
170
+ }>;
171
+ }, z.core.$strict>;
172
+ /** Inferred behavior.case payload. */
173
+ export type BehaviorCasePayload = z.infer<typeof BehaviorCasePayloadSchema>;
174
+ //# sourceMappingURL=behavior-evidence.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"behavior-evidence.d.ts","sourceRoot":"","sources":["../../src/schemas/behavior-evidence.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,yDAAyD;AACzD,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AAElD,iDAAiD;AACjD,eAAO,MAAM,6BAA6B,IAAI,CAAC;AAE/C,4EAA4E;AAC5E,eAAO,MAAM,cAAc,0IAIzB,CAAC;AAEH,gCAAgC;AAChC,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD,6DAA6D;AAC7D,eAAO,MAAM,iBAAiB;;;kBAKnB,CAAC;AAEZ,mCAAmC;AACnC,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D;;;;GAIG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;kBAQrB,CAAC;AAEZ,qCAAqC;AACrC,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,0EAA0E;AAC1E,eAAO,MAAM,oBAAoB,4KASvB,CAAC;AAEX,gCAAgC;AAChC,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtE,kDAAkD;AAClD,eAAO,MAAM,qBAAqB;;;;;;;;;kBAWvB,CAAC;AAEZ,8BAA8B;AAC9B,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;;;;GAMG;AACH,eAAO,MAAM,gCAAgC;;;;;;;;kBAiBlC,CAAC;AAEZ,0CAA0C;AAC1C,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gCAAgC,CAAC,CAAC;AAE1F,uDAAuD;AACvD,eAAO,MAAM,8BAA8B;;;;kBAMhC,CAAC;AAEZ,kCAAkC;AAClC,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,8BAA8B,CAAC,CAAC;AAEtF;;;GAGG;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAoD3B,CAAC;AAEZ,sCAAsC;AACtC,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC"}
@@ -0,0 +1,157 @@
1
+ /**
2
+ * behavior.case observation schemas (plan 2026-09-19 §4.6, §15.3).
3
+ *
4
+ * Pure data contracts for the engine-issued case proof record. Phase 1
5
+ * ships the schema only — there is no issuer and no fake producer. A
6
+ * suite-posted object shaped like this remains suite-submitted and
7
+ * never satisfies the strong HTTP contracts.
8
+ */
9
+ import { z } from 'zod';
10
+ import { FingerprintHexSchema } from './baseline.js';
11
+ import { JsonSchema } from './behavior-policy.js';
12
+ /** Evidence kind issued for a complete behavior case. */
13
+ export const BEHAVIOR_CASE_KIND = 'behavior.case';
14
+ /** Payload version for behavior.case records. */
15
+ export const BEHAVIOR_CASE_PAYLOAD_VERSION = 1;
16
+ /** Scalar or composite entity identity, matching existing core behavior. */
17
+ export const EntityIdSchema = z.union([
18
+ z.string().min(1),
19
+ z.number().int(),
20
+ z.record(z.string(), z.union([z.string(), z.number().int(), z.boolean()])),
21
+ ]);
22
+ /** One entity projection inside a trusted scope snapshot. */
23
+ export const ScopeEntitySchema = z
24
+ .object({
25
+ entityId: EntityIdSchema,
26
+ fields: z.record(z.string(), JsonSchema),
27
+ })
28
+ .strict();
29
+ /**
30
+ * Strict snapshot of one declared effect scope. complete:false,
31
+ * omitted declared fields, unknown identity, inconsistent checkpoints,
32
+ * or truncation cannot satisfy a strong contract.
33
+ */
34
+ export const ScopeSnapshotSchema = z
35
+ .object({
36
+ scope: z.string().min(1),
37
+ fixtureNamespace: z.string().min(1),
38
+ complete: z.boolean(),
39
+ checkpoint: z.string().min(1),
40
+ entities: z.array(ScopeEntitySchema),
41
+ })
42
+ .strict();
43
+ /** Witness-side case lifecycle. Each transition requires the previous. */
44
+ export const BEHAVIOR_CASE_STATES = [
45
+ 'registered',
46
+ 'fixture-prepared',
47
+ 'before-snapshot-complete',
48
+ 'principal-executing',
49
+ 'request-captured',
50
+ 'barrier-reached',
51
+ 'after-snapshot-complete',
52
+ 'sealed',
53
+ ];
54
+ /** One captured request attempt inside a case. */
55
+ export const BehaviorAttemptSchema = z
56
+ .object({
57
+ engineRequestId: z.string().min(1),
58
+ method: z.string().min(1),
59
+ path: z.string().min(1),
60
+ endpointResourceId: z.string().min(1).nullable(),
61
+ actorRef: z.string().min(1),
62
+ requestDigest: FingerprintHexSchema,
63
+ status: z.number().int().min(100).max(599).nullable(),
64
+ responseDigest: FingerprintHexSchema.nullable(),
65
+ })
66
+ .strict();
67
+ /**
68
+ * Actual observed request/response values sealed by the witness (Phase 5).
69
+ * Digests in {@link BehaviorAttemptSchema} bind identity; these values
70
+ * are what the semantic grader evaluates response rules and
71
+ * request-derived expectations against. Bounded at capture (over-limit
72
+ * inputs block instead of hashing a misleading prefix).
73
+ */
74
+ export const BehaviorRequestObservationSchema = z
75
+ .object({
76
+ /** Joins the observation to its attempt. */
77
+ engineRequestId: z.string().min(1),
78
+ /** Observed HTTP method (uppercase). */
79
+ method: z.string().min(1),
80
+ /** Observed concrete path (no template variables). */
81
+ path: z.string().min(1),
82
+ /** Observed decoded query map. */
83
+ query: z.record(z.string(), JsonSchema),
84
+ /** Observed submitted body (parsed JSON, or raw text when not JSON). */
85
+ body: JsonSchema,
86
+ /** Observed response status (null when no response exists). */
87
+ status: z.number().int().min(100).max(599).nullable(),
88
+ /** Observed response body (parsed JSON, or raw text when not JSON). */
89
+ responseBody: JsonSchema,
90
+ })
91
+ .strict();
92
+ /** Trusted actor metadata — never credential bytes. */
93
+ export const BehaviorActorObservationSchema = z
94
+ .object({
95
+ principalId: z.string().min(1),
96
+ tenantId: z.string().min(1).nullable(),
97
+ roles: z.array(z.string().min(1)),
98
+ })
99
+ .strict();
100
+ /**
101
+ * Signed behavior.case payload. Outer EvidenceRecordSchema still binds
102
+ * run/test/obligation identity and origin; this is the inner payload.
103
+ */
104
+ export const BehaviorCasePayloadSchema = z
105
+ .object({
106
+ payloadVersion: z.literal(BEHAVIOR_CASE_PAYLOAD_VERSION),
107
+ caseId: FingerprintHexSchema,
108
+ caseSpecDigest: FingerprintHexSchema,
109
+ obligationIds: z.array(z.string().min(1)).min(1),
110
+ endpointResourceId: z.string().min(1).nullable(),
111
+ operationId: z.string().min(1),
112
+ sessionId: z.string().min(1),
113
+ executionId: z.string().min(1),
114
+ fixtureNamespace: z.string().min(1),
115
+ actor: BehaviorActorObservationSchema,
116
+ actionDigest: FingerprintHexSchema,
117
+ submittedValues: JsonSchema,
118
+ attempts: z.array(BehaviorAttemptSchema),
119
+ /**
120
+ * Actual observed request/response values (Phase 5): what response
121
+ * rules and request-derived expectations grade against. Empty for
122
+ * surface-driven cases (Phase 6 seals browser observations instead).
123
+ */
124
+ requestObservations: z.array(BehaviorRequestObservationSchema),
125
+ /**
126
+ * Engine-browser observation (Phase 6): the URL, engine-observed
127
+ * entity id, and engine-read visible fields for surface-driven
128
+ * cases. Absent for request-driven cases.
129
+ */
130
+ browserObservation: z
131
+ .object({
132
+ url: z.string().min(1),
133
+ entityId: z.string().min(1),
134
+ visibleFields: z.record(z.string(), JsonSchema),
135
+ })
136
+ .strict()
137
+ .optional(),
138
+ /**
139
+ * Sealed fixture values (Phase 5): authoritative generated subject
140
+ * identities the witness resolved fixture keys against. Identity
141
+ * data, never credential bytes.
142
+ */
143
+ fixtureValues: JsonSchema,
144
+ before: z.array(ScopeSnapshotSchema),
145
+ after: z.array(ScopeSnapshotSchema),
146
+ completion: z
147
+ .object({
148
+ complete: z.boolean(),
149
+ checkpoint: z.string().min(1),
150
+ })
151
+ .strict(),
152
+ channel: z.enum(['engine-browser', 'engine-http', 'engine-task']),
153
+ authorityProfileDigest: FingerprintHexSchema,
154
+ state: z.enum(BEHAVIOR_CASE_STATES),
155
+ })
156
+ .strict();
157
+ //# sourceMappingURL=behavior-evidence.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"behavior-evidence.js","sourceRoot":"","sources":["../../src/schemas/behavior-evidence.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAElD,yDAAyD;AACzD,MAAM,CAAC,MAAM,kBAAkB,GAAG,eAAe,CAAC;AAElD,iDAAiD;AACjD,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC;AAE/C,4EAA4E;AAC5E,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC;IACpC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjB,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE;IAChB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;CAC3E,CAAC,CAAC;AAKH,6DAA6D;AAC7D,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,QAAQ,EAAE,cAAc;IACxB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC;CACzC,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KACjC,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;IACrB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;CACrC,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ,0EAA0E;AAC1E,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,YAAY;IACZ,kBAAkB;IAClB,0BAA0B;IAC1B,qBAAqB;IACrB,kBAAkB;IAClB,iBAAiB;IACjB,yBAAyB;IACzB,QAAQ;CACA,CAAC;AAKX,kDAAkD;AAClD,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAClC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,aAAa,EAAE,oBAAoB;IACnC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;IACrD,cAAc,EAAE,oBAAoB,CAAC,QAAQ,EAAE;CAChD,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC;KAC9C,MAAM,CAAC;IACN,4CAA4C;IAC5C,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAClC,wCAAwC;IACxC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,sDAAsD;IACtD,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,kCAAkC;IAClC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC;IACvC,wEAAwE;IACxE,IAAI,EAAE,UAAU;IAChB,+DAA+D;IAC/D,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;IACrD,uEAAuE;IACvE,YAAY,EAAE,UAAU;CACzB,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ,uDAAuD;AACvD,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC;KAC5C,MAAM,CAAC;IACN,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACtC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAClC,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;GAGG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC;KACvC,MAAM,CAAC;IACN,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,6BAA6B,CAAC;IACxD,MAAM,EAAE,oBAAoB;IAC5B,cAAc,EAAE,oBAAoB;IACpC,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChD,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChD,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,KAAK,EAAE,8BAA8B;IACrC,YAAY,EAAE,oBAAoB;IAClC,eAAe,EAAE,UAAU;IAC3B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC;IACxC;;;;OAIG;IACH,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC;IAC9D;;;;OAIG;IACH,kBAAkB,EAAE,CAAC;SAClB,MAAM,CAAC;QACN,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACtB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3B,aAAa,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC;KAChD,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;IACb;;;;OAIG;IACH,aAAa,EAAE,UAAU;IACzB,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC;IACpC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC;IACnC,UAAU,EAAE,CAAC;SACV,MAAM,CAAC;QACN,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;QACrB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KAC9B,CAAC;SACD,MAAM,EAAE;IACX,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB,EAAE,aAAa,EAAE,aAAa,CAAC,CAAC;IACjE,sBAAsB,EAAE,oBAAoB;IAC5C,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC;CACpC,CAAC;KACD,MAAM,EAAE,CAAC"}