@interf/compiler 0.16.0 → 0.18.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 (133) hide show
  1. package/LICENSE.md +1 -0
  2. package/README.md +10 -7
  3. package/TRADEMARKS.md +4 -4
  4. package/builtin-methods/interf-default/README.md +6 -7
  5. package/builtin-methods/interf-default/method.json +7 -68
  6. package/builtin-methods/interf-default/method.schema.json +52 -50
  7. package/dist/cli/commands/prep.js +58 -2
  8. package/dist/cli/commands/verify.d.ts +2 -0
  9. package/dist/cli/commands/verify.js +17 -8
  10. package/dist/cli/commands/wizard.js +122 -14
  11. package/dist/compiler-ui/404.html +1 -1
  12. package/dist/compiler-ui/__next.__PAGE__.txt +2 -2
  13. package/dist/compiler-ui/__next._full.txt +3 -3
  14. package/dist/compiler-ui/__next._head.txt +1 -1
  15. package/dist/compiler-ui/__next._index.txt +2 -2
  16. package/dist/compiler-ui/__next._tree.txt +2 -2
  17. package/dist/compiler-ui/_next/static/chunks/{13awzu4tooflw.css → 0_c_tvh-cukjz.css} +1 -1
  18. package/dist/compiler-ui/_next/static/chunks/{0jipmpez3_ehh.js → 0f_geuwdesg_c.js} +42 -17
  19. package/dist/compiler-ui/_not-found/__next._full.txt +2 -2
  20. package/dist/compiler-ui/_not-found/__next._head.txt +1 -1
  21. package/dist/compiler-ui/_not-found/__next._index.txt +2 -2
  22. package/dist/compiler-ui/_not-found/__next._not-found.__PAGE__.txt +1 -1
  23. package/dist/compiler-ui/_not-found/__next._not-found.txt +1 -1
  24. package/dist/compiler-ui/_not-found/__next._tree.txt +2 -2
  25. package/dist/compiler-ui/_not-found.html +1 -1
  26. package/dist/compiler-ui/_not-found.txt +2 -2
  27. package/dist/compiler-ui/index.html +1 -1
  28. package/dist/compiler-ui/index.txt +3 -3
  29. package/dist/packages/contracts/index.d.ts +2 -2
  30. package/dist/packages/contracts/index.js +1 -1
  31. package/dist/packages/contracts/lib/schema.d.ts +271 -72
  32. package/dist/packages/contracts/lib/schema.js +243 -83
  33. package/dist/packages/engine/action-definitions.js +1 -1
  34. package/dist/packages/engine/agents/lib/shells.d.ts +12 -4
  35. package/dist/packages/engine/agents/lib/shells.js +127 -120
  36. package/dist/packages/engine/cloud-seams.d.ts +115 -0
  37. package/dist/packages/engine/cloud-seams.js +84 -0
  38. package/dist/packages/engine/compile/artifact-counts.d.ts +1 -1
  39. package/dist/packages/engine/compile/artifact-counts.js +3 -3
  40. package/dist/packages/engine/compile/artifact-status.d.ts +41 -0
  41. package/dist/packages/engine/compile/artifact-status.js +166 -0
  42. package/dist/packages/engine/compile/billing-events.d.ts +89 -0
  43. package/dist/packages/engine/compile/billing-events.js +74 -0
  44. package/dist/packages/engine/compile/check-evaluator.d.ts +66 -0
  45. package/dist/packages/engine/compile/check-evaluator.js +298 -0
  46. package/dist/packages/engine/compile/compiled-schema.d.ts +7 -17
  47. package/dist/packages/engine/compile/compiled-schema.js +55 -70
  48. package/dist/packages/engine/compile/compiled-stage-plan.d.ts +1 -0
  49. package/dist/packages/engine/compile/compiled-stage-plan.js +32 -15
  50. package/dist/packages/engine/compile/compiled-stage-runner.js +1 -1
  51. package/dist/packages/engine/compile/index.d.ts +0 -1
  52. package/dist/packages/engine/compile/index.js +0 -1
  53. package/dist/packages/engine/compile/lib/schema.d.ts +111 -92
  54. package/dist/packages/engine/compile/lib/schema.js +35 -39
  55. package/dist/packages/engine/compile/method-primitives.d.ts +2 -2
  56. package/dist/packages/engine/compile/method-primitives.js +1 -1
  57. package/dist/packages/engine/compile/reset.js +4 -4
  58. package/dist/packages/engine/compile/runtime-contracts.js +2 -1
  59. package/dist/packages/engine/compile/runtime-prompt.js +3 -2
  60. package/dist/packages/engine/compile/runtime-reconcile.js +35 -35
  61. package/dist/packages/engine/compile/runtime-runs.js +0 -1
  62. package/dist/packages/engine/compile/runtime-types.d.ts +7 -8
  63. package/dist/packages/engine/compile/runtime.d.ts +1 -2
  64. package/dist/packages/engine/compile/runtime.js +0 -1
  65. package/dist/packages/engine/compile/state-health.js +6 -6
  66. package/dist/packages/engine/compile/state-view.js +7 -6
  67. package/dist/packages/engine/compile/validate-compiled.js +61 -30
  68. package/dist/packages/engine/compile/validate.js +26 -24
  69. package/dist/packages/engine/execution/lib/schema.d.ts +79 -33
  70. package/dist/packages/engine/execution/lib/schema.js +13 -5
  71. package/dist/packages/engine/index.d.ts +2 -2
  72. package/dist/packages/engine/index.js +1 -1
  73. package/dist/packages/engine/lib/schema.d.ts +551 -242
  74. package/dist/packages/engine/lib/schema.js +53 -17
  75. package/dist/packages/engine/native-run-handlers.js +15 -7
  76. package/dist/packages/engine/preparation-store.d.ts +6 -0
  77. package/dist/packages/engine/preparation-store.js +8 -0
  78. package/dist/packages/engine/routes.d.ts +6 -0
  79. package/dist/packages/engine/routes.js +6 -0
  80. package/dist/packages/engine/run-observability.js +1 -2
  81. package/dist/packages/engine/runtime-event-applier.js +7 -0
  82. package/dist/packages/engine/runtime-proposal-helpers.js +1 -1
  83. package/dist/packages/engine/runtime-resource-builders.d.ts +6 -6
  84. package/dist/packages/engine/runtime-resource-builders.js +5 -4
  85. package/dist/packages/engine/runtime.d.ts +67 -7
  86. package/dist/packages/engine/runtime.js +159 -29
  87. package/dist/packages/engine/server.d.ts +25 -0
  88. package/dist/packages/engine/server.js +62 -3
  89. package/dist/packages/engine/verify/index.d.ts +10 -10
  90. package/dist/packages/engine/verify/index.js +8 -8
  91. package/dist/packages/engine/verify/readiness-check-run.d.ts +27 -4
  92. package/dist/packages/engine/verify/readiness-check-run.js +92 -24
  93. package/dist/packages/engine/verify/{test-execution.d.ts → verify-execution.d.ts} +2 -2
  94. package/dist/packages/engine/verify/{test-execution.js → verify-execution.js} +2 -2
  95. package/dist/packages/engine/verify/{test-paths.d.ts → verify-paths.d.ts} +1 -1
  96. package/dist/packages/engine/verify/{test-sandbox.d.ts → verify-sandbox.d.ts} +1 -1
  97. package/dist/packages/engine/verify/{test-specs.d.ts → verify-specs.d.ts} +1 -1
  98. package/dist/packages/engine/verify/{test-specs.js → verify-specs.js} +1 -1
  99. package/dist/packages/engine/verify/{test-targets.d.ts → verify-targets.d.ts} +1 -1
  100. package/dist/packages/engine/verify/{test.d.ts → verify.d.ts} +4 -4
  101. package/dist/packages/engine/verify/{test.js → verify.js} +3 -3
  102. package/dist/packages/engine/wire-schemas.d.ts +545 -0
  103. package/dist/packages/engine/wire-schemas.js +59 -0
  104. package/dist/packages/methods/authoring/method-authoring.d.ts +2 -0
  105. package/dist/packages/methods/authoring/method-authoring.js +99 -18
  106. package/dist/packages/methods/authoring/method-edit-session.js +5 -5
  107. package/dist/packages/methods/authoring/method-improvement.js +1 -1
  108. package/dist/packages/methods/package/builtin-compiled-method.d.ts +12 -12
  109. package/dist/packages/methods/package/builtin-compiled-method.js +25 -22
  110. package/dist/packages/methods/package/context-interface.d.ts +39 -26
  111. package/dist/packages/methods/package/context-interface.js +48 -39
  112. package/dist/packages/methods/package/interf-method-package.js +28 -47
  113. package/dist/packages/methods/package/local-methods.d.ts +3 -4
  114. package/dist/packages/methods/package/local-methods.js +34 -62
  115. package/dist/packages/methods/package/method-definitions.d.ts +4 -6
  116. package/dist/packages/methods/package/method-definitions.js +0 -4
  117. package/dist/packages/methods/package/method-helpers.d.ts +0 -2
  118. package/dist/packages/methods/package/method-helpers.js +0 -4
  119. package/dist/packages/project/interf-scaffold.js +12 -12
  120. package/dist/packages/project/source-config.js +2 -1
  121. package/package.json +6 -16
  122. package/dist/packages/engine/compile/runtime-acceptance.d.ts +0 -9
  123. package/dist/packages/engine/compile/runtime-acceptance.js +0 -265
  124. /package/dist/compiler-ui/_next/static/{a3UiUF0DiMEbfWy_0gihg → 6qyE1u9m_oBUkvAhhoCmO}/_buildManifest.js +0 -0
  125. /package/dist/compiler-ui/_next/static/{a3UiUF0DiMEbfWy_0gihg → 6qyE1u9m_oBUkvAhhoCmO}/_clientMiddlewareManifest.js +0 -0
  126. /package/dist/compiler-ui/_next/static/{a3UiUF0DiMEbfWy_0gihg → 6qyE1u9m_oBUkvAhhoCmO}/_ssgManifest.js +0 -0
  127. /package/dist/packages/engine/verify/{test-paths.js → verify-paths.js} +0 -0
  128. /package/dist/packages/engine/verify/{test-profile-presets.d.ts → verify-profile-presets.d.ts} +0 -0
  129. /package/dist/packages/engine/verify/{test-profile-presets.js → verify-profile-presets.js} +0 -0
  130. /package/dist/packages/engine/verify/{test-sandbox.js → verify-sandbox.js} +0 -0
  131. /package/dist/packages/engine/verify/{test-targets.js → verify-targets.js} +0 -0
  132. /package/dist/packages/engine/verify/{test-types.d.ts → verify-types.d.ts} +0 -0
  133. /package/dist/packages/engine/verify/{test-types.js → verify-types.js} +0 -0
@@ -3,6 +3,12 @@ export declare const InterfIdPattern: RegExp;
3
3
  export declare const PreparationNamePattern: RegExp;
4
4
  export declare const PreparationNameSchema: z.ZodString;
5
5
  export declare const MethodIdSchema: z.ZodString;
6
+ /**
7
+ * Method-declared artifact identifier. Same shape as `MethodIdSchema`
8
+ * but conceptually distinct — it identifies a produced thing inside
9
+ * one Method, while `MethodIdSchema` identifies the Method itself.
10
+ */
11
+ export declare const ArtifactIdSchema: z.ZodString;
6
12
  export declare const RuntimeStageSchema: z.ZodString;
7
13
  export declare const RuntimeContractTypeSchema: z.ZodString;
8
14
  export declare const RuntimeTargetTypeSchema: z.ZodEnum<{
@@ -12,20 +18,14 @@ export declare const TestTargetTypeSchema: z.ZodEnum<{
12
18
  "source-files": "source-files";
13
19
  compiled: "compiled";
14
20
  }>;
15
- export declare const SourceKindSchema: z.ZodEnum<{
16
- "local-folder": "local-folder";
17
- }>;
21
+ export declare function isInterfRelativePath(value: string): boolean;
18
22
  /**
19
- * Canonical locator-kind enum. A locator identifies where a resource
20
- * lives so the API and UI can route the right action without hard-coding
21
- * deployment shape:
22
- *
23
- * local-path → the engine has filesystem access; UI opens via OS shell
24
- * remote-url → a signed URL; UI opens in a browser tab
25
- * api-served → relative API route; UI fetches via the engine and renders
26
- * inline (text/markdown drawer, image preview, download)
23
+ * A locator identifies where a resource lives so the API and UI can
24
+ * route the right action without hard-coding deployment shape.
27
25
  *
28
- * All three forms carry a string `value` whose meaning depends on `kind`.
26
+ * local-path → engine has filesystem access; UI opens via OS shell
27
+ * remote-url → signed URL; UI opens in a browser tab
28
+ * api-served → relative API route; UI fetches via the engine
29
29
  */
30
30
  export declare const LocatorKindSchema: z.ZodEnum<{
31
31
  "local-path": "local-path";
@@ -42,10 +42,15 @@ export declare const LocatorSchema: z.ZodObject<{
42
42
  }, z.core.$strict>;
43
43
  export type LocatorKind = z.infer<typeof LocatorKindSchema>;
44
44
  export type Locator = z.infer<typeof LocatorSchema>;
45
+ export declare const SourceKindSchema: z.ZodEnum<{
46
+ "local-folder": "local-folder";
47
+ "remote-folder": "remote-folder";
48
+ }>;
45
49
  export declare const SourceSchema: z.ZodObject<{
46
50
  id: z.ZodString;
47
51
  kind: z.ZodEnum<{
48
52
  "local-folder": "local-folder";
53
+ "remote-folder": "remote-folder";
49
54
  }>;
50
55
  locator: z.ZodString;
51
56
  }, z.core.$strict>;
@@ -62,6 +67,7 @@ export declare const SourceFilesSchema: z.ZodObject<{
62
67
  id: z.ZodString;
63
68
  kind: z.ZodEnum<{
64
69
  "local-folder": "local-folder";
70
+ "remote-folder": "remote-folder";
65
71
  }>;
66
72
  locator: z.ZodString;
67
73
  }, z.core.$strict>;
@@ -82,6 +88,7 @@ export declare const SourceSnapshotSchema: z.ZodObject<{
82
88
  id: z.ZodString;
83
89
  kind: z.ZodEnum<{
84
90
  "local-folder": "local-folder";
91
+ "remote-folder": "remote-folder";
85
92
  }>;
86
93
  locator: z.ZodString;
87
94
  }, z.core.$strict>;
@@ -114,16 +121,226 @@ export declare const StageInputsSchema: z.ZodObject<{
114
121
  }, z.core.$strict>;
115
122
  export declare const SourceCompiledMaxAttemptsSchema: z.ZodNumber;
116
123
  export declare const SourceCompiledMaxLoopsSchema: z.ZodNumber;
124
+ /**
125
+ * Canonical check kinds the engine knows how to evaluate.
126
+ *
127
+ * Adding a new kind requires an engine release (the evaluator must
128
+ * implement it). Methods and user checks pick from this list; they
129
+ * cannot invent custom kinds.
130
+ *
131
+ * file_exists — file is present and non-empty
132
+ * min_file_count — directory has ≥ N files (params: { min: number })
133
+ * min_file_count_matches_source — directory has ≥ source_total files (the "all files analyzed" check)
134
+ * frontmatter_valid — every markdown file has parseable YAML frontmatter
135
+ * frontmatter_required_keys — every markdown file has these frontmatter keys (params: { keys: string[] })
136
+ * wikilinks_valid — every wikilink resolves
137
+ * must_not_contain — file/directory does not contain forbidden phrases (params: { phrases: string[] })
138
+ * must_contain — file/directory contains required phrases (params: { phrases: string[] })
139
+ * qa_match — user-defined Q/A: agent answer matches expected (params: { question, expected, strictness })
140
+ */
141
+ export declare const CHECK_KINDS: readonly ["file_exists", "min_file_count", "min_file_count_matches_source", "frontmatter_valid", "frontmatter_required_keys", "wikilinks_valid", "must_not_contain", "must_contain", "qa_match"];
142
+ export declare const CheckKindSchema: z.ZodEnum<{
143
+ file_exists: "file_exists";
144
+ min_file_count: "min_file_count";
145
+ min_file_count_matches_source: "min_file_count_matches_source";
146
+ frontmatter_valid: "frontmatter_valid";
147
+ frontmatter_required_keys: "frontmatter_required_keys";
148
+ wikilinks_valid: "wikilinks_valid";
149
+ must_not_contain: "must_not_contain";
150
+ must_contain: "must_contain";
151
+ qa_match: "qa_match";
152
+ }>;
153
+ export type CheckKind = z.infer<typeof CheckKindSchema>;
154
+ /**
155
+ * One check declaration. Reusable across stage/artifact/user scopes.
156
+ *
157
+ * `id` is local to the declaring container (a stage's checks have ids
158
+ * scoped to the stage; an artifact's checks have ids scoped to the
159
+ * artifact). `kind` selects the canonical evaluator. `params` carries
160
+ * rule-specific config (typed at the engine evaluator).
161
+ *
162
+ * `required: true` (default) → a failed check fails the parent
163
+ * (stage/artifact/preparation). `required: false` → soft check, fails
164
+ * warn but don't block the `ready` verdict.
165
+ */
166
+ export declare const CheckSchema: z.ZodObject<{
167
+ id: z.ZodString;
168
+ kind: z.ZodEnum<{
169
+ file_exists: "file_exists";
170
+ min_file_count: "min_file_count";
171
+ min_file_count_matches_source: "min_file_count_matches_source";
172
+ frontmatter_valid: "frontmatter_valid";
173
+ frontmatter_required_keys: "frontmatter_required_keys";
174
+ wikilinks_valid: "wikilinks_valid";
175
+ must_not_contain: "must_not_contain";
176
+ must_contain: "must_contain";
177
+ qa_match: "qa_match";
178
+ }>;
179
+ description: z.ZodOptional<z.ZodString>;
180
+ params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
181
+ required: z.ZodDefault<z.ZodBoolean>;
182
+ }, z.core.$strict>;
183
+ export type Check = z.infer<typeof CheckSchema>;
184
+ /**
185
+ * Evidence a check ran. `passed` is the binary outcome; `summary` is a
186
+ * short one-line label for the UI; `details` carries rule-specific
187
+ * structured data (e.g., file count, missing keys, broken link list).
188
+ */
189
+ export declare const ProofSchema: z.ZodObject<{
190
+ check_id: z.ZodString;
191
+ kind: z.ZodEnum<{
192
+ file_exists: "file_exists";
193
+ min_file_count: "min_file_count";
194
+ min_file_count_matches_source: "min_file_count_matches_source";
195
+ frontmatter_valid: "frontmatter_valid";
196
+ frontmatter_required_keys: "frontmatter_required_keys";
197
+ wikilinks_valid: "wikilinks_valid";
198
+ must_not_contain: "must_not_contain";
199
+ must_contain: "must_contain";
200
+ qa_match: "qa_match";
201
+ }>;
202
+ passed: z.ZodBoolean;
203
+ required: z.ZodBoolean;
204
+ summary: z.ZodString;
205
+ details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
206
+ evaluated_at: z.ZodString;
207
+ }, z.core.$strict>;
208
+ export type Proof = z.infer<typeof ProofSchema>;
209
+ /**
210
+ * Per-thing readiness verdict. Used for an artifact, a stage, or a
211
+ * preparation. Aggregate verdict over its required checks.
212
+ */
213
+ export declare const ReadyVerdictSchema: z.ZodEnum<{
214
+ ready: "ready";
215
+ not_ready: "not_ready";
216
+ failed: "failed";
217
+ skipped: "skipped";
218
+ }>;
219
+ export type ReadyVerdict = z.infer<typeof ReadyVerdictSchema>;
220
+ /**
221
+ * Standard frontmatter key list used by Methods that emit markdown
222
+ * summaries of source files. Method authors that adopt this evidence
223
+ * convention reference this constant in `frontmatter_required_keys`
224
+ * check params rather than re-typing the list.
225
+ */
226
+ export declare const STANDARD_EVIDENCE_FRONTMATTER_KEYS: readonly ["source", "source_kind", "evidence_tier", "truth_mode", "state"];
227
+ export type StandardEvidenceFrontmatterKey = typeof STANDARD_EVIDENCE_FRONTMATTER_KEYS[number];
228
+ /**
229
+ * Where an Artifact materializes. Discriminated union so future kinds
230
+ * (literal value, remote handle, confirmation-only) slot in without a
231
+ * schema break. `path` is always relative to the portable-context root,
232
+ * and `artifact_kind` tells consumers whether the target materializes
233
+ * as a file or directory.
234
+ */
235
+ export declare const ArtifactPathShapeSchema: z.ZodObject<{
236
+ kind: z.ZodLiteral<"path">;
237
+ path: z.ZodString;
238
+ artifact_kind: z.ZodEnum<{
239
+ file: "file";
240
+ directory: "directory";
241
+ }>;
242
+ }, z.core.$strict>;
243
+ export declare const ArtifactShapeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
244
+ kind: z.ZodLiteral<"path">;
245
+ path: z.ZodString;
246
+ artifact_kind: z.ZodEnum<{
247
+ file: "file";
248
+ directory: "directory";
249
+ }>;
250
+ }, z.core.$strict>], "kind">;
251
+ export type ArtifactPathShape = z.infer<typeof ArtifactPathShapeSchema>;
252
+ export type ArtifactShape = z.infer<typeof ArtifactShapeSchema>;
253
+ /**
254
+ * Method-declared Artifact — a produced thing.
255
+ *
256
+ * `checks[]` is the locked vocabulary: an array of `Check` (with
257
+ * `kind` from `CHECK_KINDS`). The runtime evaluates them via the
258
+ * shared check evaluator and produces `Proof[]` on each compile run.
259
+ */
260
+ export declare const ArtifactSchema: z.ZodObject<{
261
+ id: z.ZodString;
262
+ description: z.ZodString;
263
+ shape: z.ZodDiscriminatedUnion<[z.ZodObject<{
264
+ kind: z.ZodLiteral<"path">;
265
+ path: z.ZodString;
266
+ artifact_kind: z.ZodEnum<{
267
+ file: "file";
268
+ directory: "directory";
269
+ }>;
270
+ }, z.core.$strict>], "kind">;
271
+ checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
272
+ id: z.ZodString;
273
+ kind: z.ZodEnum<{
274
+ file_exists: "file_exists";
275
+ min_file_count: "min_file_count";
276
+ min_file_count_matches_source: "min_file_count_matches_source";
277
+ frontmatter_valid: "frontmatter_valid";
278
+ frontmatter_required_keys: "frontmatter_required_keys";
279
+ wikilinks_valid: "wikilinks_valid";
280
+ must_not_contain: "must_not_contain";
281
+ must_contain: "must_contain";
282
+ qa_match: "qa_match";
283
+ }>;
284
+ description: z.ZodOptional<z.ZodString>;
285
+ params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
286
+ required: z.ZodDefault<z.ZodBoolean>;
287
+ }, z.core.$strict>>>;
288
+ built_by_stages: z.ZodDefault<z.ZodArray<z.ZodString>>;
289
+ }, z.core.$strict>;
290
+ export type Artifact = z.infer<typeof ArtifactSchema>;
291
+ /**
292
+ * Per-Artifact runtime status. Lives on compile-run resources and on
293
+ * preparation resources. `proofs[]` carries the structured evidence
294
+ * emitted by the shared check evaluator.
295
+ */
296
+ export declare const ArtifactStatusValueSchema: z.ZodEnum<{
297
+ ready: "ready";
298
+ not_ready: "not_ready";
299
+ failed: "failed";
300
+ skipped: "skipped";
301
+ }>;
302
+ export type ArtifactStatusValue = ReadyVerdict;
303
+ export declare const ArtifactStatusSchema: z.ZodObject<{
304
+ artifact_id: z.ZodString;
305
+ status: z.ZodEnum<{
306
+ ready: "ready";
307
+ not_ready: "not_ready";
308
+ failed: "failed";
309
+ skipped: "skipped";
310
+ }>;
311
+ built_by_stages: z.ZodDefault<z.ZodArray<z.ZodString>>;
312
+ proofs: z.ZodDefault<z.ZodArray<z.ZodObject<{
313
+ check_id: z.ZodString;
314
+ kind: z.ZodEnum<{
315
+ file_exists: "file_exists";
316
+ min_file_count: "min_file_count";
317
+ min_file_count_matches_source: "min_file_count_matches_source";
318
+ frontmatter_valid: "frontmatter_valid";
319
+ frontmatter_required_keys: "frontmatter_required_keys";
320
+ wikilinks_valid: "wikilinks_valid";
321
+ must_not_contain: "must_not_contain";
322
+ must_contain: "must_contain";
323
+ qa_match: "qa_match";
324
+ }>;
325
+ passed: z.ZodBoolean;
326
+ required: z.ZodBoolean;
327
+ summary: z.ZodString;
328
+ details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
329
+ evaluated_at: z.ZodString;
330
+ }, z.core.$strict>>>;
331
+ summary: z.ZodOptional<z.ZodString>;
332
+ }, z.core.$strict>;
333
+ export type ArtifactStatus = z.infer<typeof ArtifactStatusSchema>;
117
334
  export declare const ReadinessStatusSchema: z.ZodEnum<{
335
+ ready: "ready";
336
+ failed: "failed";
118
337
  "not-configured": "not-configured";
119
338
  "not-built": "not-built";
120
339
  building: "building";
121
340
  built: "built";
122
341
  checking: "checking";
123
- ready: "ready";
124
342
  "not-ready": "not-ready";
125
343
  stale: "stale";
126
- failed: "failed";
127
344
  }>;
128
345
  export declare const ReadinessGateSchema: z.ZodEnum<{
129
346
  "portable-context": "portable-context";
@@ -132,7 +349,13 @@ export declare const ReadinessGateSchema: z.ZodEnum<{
132
349
  "readiness-checks": "readiness-checks";
133
350
  "checks-current": "checks-current";
134
351
  }>;
135
- export declare const ReadinessCheckSchema: z.ZodObject<{
352
+ /**
353
+ * Per-gate status — one row in the readiness summary. A gate is a
354
+ * high-level layer (is config valid? is portable context built? did
355
+ * latest compile succeed?). Gate failures are aggregated alongside
356
+ * artifact-check failures into the overall `Readiness` verdict.
357
+ */
358
+ export declare const GateStatusSchema: z.ZodObject<{
136
359
  gate: z.ZodEnum<{
137
360
  "portable-context": "portable-context";
138
361
  "preparation-config": "preparation-config";
@@ -142,22 +365,22 @@ export declare const ReadinessCheckSchema: z.ZodObject<{
142
365
  }>;
143
366
  ok: z.ZodBoolean;
144
367
  status: z.ZodOptional<z.ZodEnum<{
368
+ ready: "ready";
369
+ failed: "failed";
145
370
  "not-configured": "not-configured";
146
371
  "not-built": "not-built";
147
372
  building: "building";
148
373
  built: "built";
149
374
  checking: "checking";
150
- ready: "ready";
151
375
  "not-ready": "not-ready";
152
376
  stale: "stale";
153
- failed: "failed";
154
377
  }>>;
155
378
  summary: z.ZodString;
156
379
  detail: z.ZodOptional<z.ZodString>;
157
380
  run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
158
381
  artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
159
382
  }, z.core.$strict>;
160
- export declare const ReadinessTargetResultSchema: z.ZodObject<{
383
+ export declare const VerifyTargetResultSchema: z.ZodObject<{
161
384
  passed: z.ZodNumber;
162
385
  total: z.ZodNumber;
163
386
  pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -166,21 +389,28 @@ export declare const ReadinessTargetResultSchema: z.ZodObject<{
166
389
  run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
167
390
  run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
168
391
  }, z.core.$strict>;
169
- export declare const ReadinessStateSchema: z.ZodObject<{
392
+ /**
393
+ * Preparation-level readiness verdict.
394
+ *
395
+ * Field names retain the preparation-readiness wire shape
396
+ * (`latest_test_run_id`, `check_results`, `checks`). The exported type
397
+ * name is `Readiness`.
398
+ */
399
+ export declare const ReadinessSchema: z.ZodObject<{
170
400
  kind: z.ZodLiteral<"interf-readiness-state">;
171
401
  version: z.ZodLiteral<1>;
172
402
  generated_at: z.ZodString;
173
403
  preparation: z.ZodString;
174
404
  status: z.ZodEnum<{
405
+ ready: "ready";
406
+ failed: "failed";
175
407
  "not-configured": "not-configured";
176
408
  "not-built": "not-built";
177
409
  building: "building";
178
410
  built: "built";
179
411
  checking: "checking";
180
- ready: "ready";
181
412
  "not-ready": "not-ready";
182
413
  stale: "stale";
183
- failed: "failed";
184
414
  }>;
185
415
  ready: z.ZodBoolean;
186
416
  summary: z.ZodString;
@@ -197,15 +427,15 @@ export declare const ReadinessStateSchema: z.ZodObject<{
197
427
  }>;
198
428
  ok: z.ZodBoolean;
199
429
  status: z.ZodOptional<z.ZodEnum<{
430
+ ready: "ready";
431
+ failed: "failed";
200
432
  "not-configured": "not-configured";
201
433
  "not-built": "not-built";
202
434
  building: "building";
203
435
  built: "built";
204
436
  checking: "checking";
205
- ready: "ready";
206
437
  "not-ready": "not-ready";
207
438
  stale: "stale";
208
- failed: "failed";
209
439
  }>>;
210
440
  summary: z.ZodString;
211
441
  detail: z.ZodOptional<z.ZodString>;
@@ -244,15 +474,15 @@ export declare const ReadinessStateSchema: z.ZodObject<{
244
474
  }>;
245
475
  ok: z.ZodBoolean;
246
476
  status: z.ZodOptional<z.ZodEnum<{
477
+ ready: "ready";
478
+ failed: "failed";
247
479
  "not-configured": "not-configured";
248
480
  "not-built": "not-built";
249
481
  building: "building";
250
482
  built: "built";
251
483
  checking: "checking";
252
- ready: "ready";
253
484
  "not-ready": "not-ready";
254
485
  stale: "stale";
255
- failed: "failed";
256
486
  }>>;
257
487
  summary: z.ZodString;
258
488
  detail: z.ZodOptional<z.ZodString>;
@@ -260,6 +490,13 @@ export declare const ReadinessStateSchema: z.ZodObject<{
260
490
  artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
261
491
  }, z.core.$strict>>>;
262
492
  }, z.core.$strict>;
493
+ export declare const TestCaseExpectSchema: z.ZodObject<{
494
+ must_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
495
+ must_include_one_of: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodString>>>;
496
+ must_not_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
497
+ min_words: z.ZodOptional<z.ZodNumber>;
498
+ max_words: z.ZodOptional<z.ZodNumber>;
499
+ }, z.core.$strip>;
263
500
  export declare const RuntimeExecutorInfoSchema: z.ZodObject<{
264
501
  kind: z.ZodEnum<{
265
502
  "local-agent": "local-agent";
@@ -274,32 +511,6 @@ export declare const RuntimeExecutorInfoSchema: z.ZodObject<{
274
511
  profile: z.ZodOptional<z.ZodNullable<z.ZodString>>;
275
512
  timeout_ms: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
276
513
  }, z.core.$strip>;
277
- /**
278
- * Canonical list of stage acceptance-rule keys the engine understands.
279
- *
280
- * Method packages (`method.json`) declare per-stage `acceptance: {…}` blocks
281
- * that use a flat shape with these keys as optional properties. The runtime
282
- * walks the same key set when validating a stage outcome. The list is the
283
- * single source of truth; method-authoring prompts and runtime exhaustiveness
284
- * checks should both read from it instead of duplicating string literals.
285
- */
286
- export declare const ACCEPTANCE_RULE_KEYS: readonly ["artifacts_exist", "stage_truthy", "stage_equals_counts", "stage_at_least", "stage_at_least_counts", "zone_counts_at_least", "zone_counts_at_least_counts", "markdown_frontmatter_valid_zones", "frontmatter_required_keys_in_zones", "markdown_abstract_valid_zones", "wikilinks_valid_in_zones", "artifacts_must_not_contain"];
287
- export type AcceptanceRuleKey = typeof ACCEPTANCE_RULE_KEYS[number];
288
- /**
289
- * Standard Interf evidence frontmatter keys used by Methods that emit
290
- * markdown summaries of source files. Method authors that adopt this
291
- * frontmatter convention should use this constant in
292
- * `frontmatter_required_keys_in_zones` rather than re-typing the list.
293
- */
294
- export declare const STANDARD_EVIDENCE_FRONTMATTER_KEYS: readonly ["source", "source_kind", "evidence_tier", "truth_mode", "state"];
295
- export type StandardEvidenceFrontmatterKey = typeof STANDARD_EVIDENCE_FRONTMATTER_KEYS[number];
296
- export declare const TestCaseExpectSchema: z.ZodObject<{
297
- must_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
298
- must_include_one_of: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodString>>>;
299
- must_not_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
300
- min_words: z.ZodOptional<z.ZodNumber>;
301
- max_words: z.ZodOptional<z.ZodNumber>;
302
- }, z.core.$strip>;
303
514
  /**
304
515
  * The 5 canonical roles a Method stage can declare. Methods MAY declare
305
516
  * custom role names; the engine treats any unknown role as `general`.
@@ -307,17 +518,14 @@ export declare const TestCaseExpectSchema: z.ZodObject<{
307
518
  export declare const CANONICAL_ROLES: readonly ["extractor", "summarizer", "structurer", "verifier", "general"];
308
519
  export type CanonicalRole = typeof CANONICAL_ROLES[number];
309
520
  /**
310
- * Open-ended role identifier. Methods are free to invent new role names
311
- * (e.g. `pdf-extractor`, `chart-builder`); the role-router maps unknown
312
- * names to `general` at run time.
521
+ * Open-ended role identifier. Methods invent role names freely; the
522
+ * role-router maps unknown names to `general` at run time.
313
523
  */
314
524
  export declare const RoleSchema: z.ZodString;
315
525
  /**
316
- * One agent in the registry. `source` distinguishes built-in detected
317
- * agents (Claude Code, Codex, Cursor) from user-registered custom CLIs
318
- * persisted in `~/.interf/agents.json`. `available` is a runtime-only
319
- * field — true if the command's first token resolves on PATH. It is
320
- * populated when the merged registry is read and is NOT persisted.
526
+ * One agent in the registry. `available` is a runtime-only flag — true
527
+ * if the command's first token resolves on PATH. Stripped before
528
+ * persistence.
321
529
  */
322
530
  export declare const AgentRecordSchema: z.ZodObject<{
323
531
  name: z.ZodString;
@@ -330,18 +538,8 @@ export declare const AgentRecordSchema: z.ZodObject<{
330
538
  available: z.ZodOptional<z.ZodBoolean>;
331
539
  }, z.core.$strict>;
332
540
  export type AgentRecord = z.infer<typeof AgentRecordSchema>;
333
- /**
334
- * Map from role name → agent name. Updated by the user via UI / CLI;
335
- * persisted in `~/.interf/agents.json`. Roles missing from this map
336
- * fall through to the active agent at run time.
337
- */
338
541
  export declare const RoleMapSchema: z.ZodRecord<z.ZodString, z.ZodString>;
339
542
  export type RoleMap = z.infer<typeof RoleMapSchema>;
340
- /**
341
- * Wire shape of `~/.interf/agents.json`. Built-in agents are detected
342
- * dynamically and merged in at read time, so this file persists only
343
- * the user-registered subset and the role-map.
344
- */
345
543
  export declare const AgentsRegistrySchema: z.ZodObject<{
346
544
  agents: z.ZodDefault<z.ZodArray<z.ZodObject<{
347
545
  name: z.ZodString;
@@ -358,6 +556,7 @@ export declare const AgentsRegistrySchema: z.ZodObject<{
358
556
  export type AgentsRegistry = z.infer<typeof AgentsRegistrySchema>;
359
557
  export type PreparationName = z.infer<typeof PreparationNameSchema>;
360
558
  export type MethodId = z.infer<typeof MethodIdSchema>;
559
+ export type ArtifactId = z.infer<typeof ArtifactIdSchema>;
361
560
  export type RuntimeStage = z.infer<typeof RuntimeStageSchema>;
362
561
  export type RuntimeContractType = z.infer<typeof RuntimeContractTypeSchema>;
363
562
  export type RuntimeTargetType = z.infer<typeof RuntimeTargetTypeSchema>;
@@ -371,8 +570,8 @@ export type StageInput = z.infer<typeof StageInputSchema>;
371
570
  export type StageInputs = z.infer<typeof StageInputsSchema>;
372
571
  export type ReadinessStatus = z.infer<typeof ReadinessStatusSchema>;
373
572
  export type ReadinessGate = z.infer<typeof ReadinessGateSchema>;
374
- export type ReadinessCheck = z.infer<typeof ReadinessCheckSchema>;
375
- export type ReadinessTargetResult = z.infer<typeof ReadinessTargetResultSchema>;
376
- export type ReadinessState = z.infer<typeof ReadinessStateSchema>;
573
+ export type GateStatus = z.infer<typeof GateStatusSchema>;
574
+ export type VerifyTargetResult = z.infer<typeof VerifyTargetResultSchema>;
575
+ export type Readiness = z.infer<typeof ReadinessSchema>;
377
576
  export type RuntimeExecutorInfo = z.infer<typeof RuntimeExecutorInfoSchema>;
378
577
  export type TestCaseExpect = z.infer<typeof TestCaseExpectSchema>;