@dommaker/harness 1.4.0 → 1.5.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 (71) hide show
  1. package/CHANGELOG.md +12 -0
  2. package/dist/cli/commands/check.d.ts.map +1 -1
  3. package/dist/cli/commands/check.js +28 -0
  4. package/dist/cli/commands/check.js.map +1 -1
  5. package/dist/cli/commands/definitions.d.ts.map +1 -1
  6. package/dist/cli/commands/definitions.js +0 -7
  7. package/dist/cli/commands/definitions.js.map +1 -1
  8. package/dist/cli/commands/knowledge.d.ts +0 -19
  9. package/dist/cli/commands/knowledge.d.ts.map +1 -1
  10. package/dist/cli/commands/knowledge.js +0 -105
  11. package/dist/cli/commands/knowledge.js.map +1 -1
  12. package/dist/cli/commands/update-user-model.d.ts +7 -2
  13. package/dist/cli/commands/update-user-model.d.ts.map +1 -1
  14. package/dist/cli/commands/update-user-model.js +25 -16
  15. package/dist/cli/commands/update-user-model.js.map +1 -1
  16. package/dist/core/constraints/checker.d.ts.map +1 -1
  17. package/dist/core/constraints/checker.js +5 -3
  18. package/dist/core/constraints/checker.js.map +1 -1
  19. package/dist/core/constraints/checkers/capability-sync.d.ts +17 -6
  20. package/dist/core/constraints/checkers/capability-sync.d.ts.map +1 -1
  21. package/dist/core/constraints/checkers/capability-sync.js +48 -19
  22. package/dist/core/constraints/checkers/capability-sync.js.map +1 -1
  23. package/dist/core/constraints/checkers/docs-freshness.d.ts.map +1 -1
  24. package/dist/core/constraints/checkers/docs-freshness.js +15 -6
  25. package/dist/core/constraints/checkers/docs-freshness.js.map +1 -1
  26. package/dist/core/constraints/checkers/index.d.ts +2 -2
  27. package/dist/core/constraints/checkers/index.d.ts.map +1 -1
  28. package/dist/core/constraints/checkers/index.js +2 -1
  29. package/dist/core/constraints/checkers/index.js.map +1 -1
  30. package/dist/core/constraints/checkers/types.d.ts +41 -2
  31. package/dist/core/constraints/checkers/types.d.ts.map +1 -1
  32. package/dist/core/constraints/checkers/types.js +33 -0
  33. package/dist/core/constraints/checkers/types.js.map +1 -1
  34. package/dist/gates/checker-gate.d.ts +2 -1
  35. package/dist/gates/checker-gate.d.ts.map +1 -1
  36. package/dist/gates/checker-gate.js +10 -7
  37. package/dist/gates/checker-gate.js.map +1 -1
  38. package/dist/types/constraint.d.ts +8 -0
  39. package/dist/types/constraint.d.ts.map +1 -1
  40. package/dist/types/constraint.js +6 -1
  41. package/dist/types/constraint.js.map +1 -1
  42. package/dist/types/trace.d.ts +9 -0
  43. package/dist/types/trace.d.ts.map +1 -1
  44. package/package.json +1 -1
  45. package/src/CONTEXT.md +1 -0
  46. package/src/__tests__/passes-gate.test.ts +11 -18
  47. package/src/cli/commands/CONTEXT.md +2 -2
  48. package/src/cli/commands/__tests__/bin-exit-mapping.test.ts +6 -0
  49. package/src/cli/commands/__tests__/check.test.ts +74 -0
  50. package/src/cli/commands/__tests__/project-path-convention.test.ts +85 -23
  51. package/src/cli/commands/__tests__/registry.test.ts +6 -0
  52. package/src/cli/commands/__tests__/update-user-model.test.ts +35 -1
  53. package/src/cli/commands/check.ts +39 -1
  54. package/src/cli/commands/definitions.ts +0 -7
  55. package/src/cli/commands/knowledge.ts +0 -119
  56. package/src/cli/commands/update-user-model.ts +31 -16
  57. package/src/core/CONTEXT.md +2 -1
  58. package/src/core/constraints/checker.ts +8 -4
  59. package/src/core/constraints/checkers/__tests__/capability-sync.test.ts +90 -31
  60. package/src/core/constraints/checkers/__tests__/check-outcome.test.ts +176 -0
  61. package/src/core/constraints/checkers/__tests__/docs-freshness.test.ts +18 -9
  62. package/src/core/constraints/checkers/__tests__/three-state-consistency.test.ts +12 -4
  63. package/src/core/constraints/checkers/capability-sync.ts +56 -18
  64. package/src/core/constraints/checkers/docs-freshness.ts +18 -5
  65. package/src/core/constraints/checkers/index.ts +9 -2
  66. package/src/core/constraints/checkers/types.ts +58 -2
  67. package/src/gates/CONTEXT.md +1 -1
  68. package/src/gates/__tests__/checker-gate.test.ts +24 -0
  69. package/src/gates/checker-gate.ts +11 -15
  70. package/src/types/constraint.ts +16 -2
  71. package/src/types/trace.ts +10 -0
package/src/types/trace.ts CHANGED
@@ -19,6 +19,8 @@ export const DEFAULT_TRACE_FILE = '.harness/logs/traces.log';
19
19
  * - 只记录核心字段（零 Token）
20
20
  * - 不记录代码片段（需要时从 git diff 获取）
21
21
  * - 不记录决策路径（需要时从 execution logs 获取）
22
+ * - 例外（harness#119）：判定证据允许记录——路径级依据不是代码片段，
23
+ * 而没有它，一条恒红的约束在统计侧根本无法回答「红在哪」
22
24
  */
23
25
  export interface ExecutionTrace {
24
26
  // ========================================
@@ -53,6 +55,14 @@ export interface ExecutionTrace {
53
55
  /** 会话 ID（用于追踪同一会话的多次检查） */
54
56
  sessionId?: string;
55
57
 
58
+ /**
59
+ * 判定证据行（harness#119）
60
+ *
61
+ * 只落 checker 给出的路径级依据（如未登记文件清单），由 checker 截断条数；
62
+ * 不落 pass 结果的空数组，避免无信息记录膨胀 JSONL。
63
+ */
64
+ evidence?: string[];
65
+
56
66
  // ========================================
57
67
  // 用户响应（可选，用于诊断）
58
68
  // ========================================