@rigour-labs/core 6.4.3 → 6.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 (123) hide show
  1. package/dist/deep/agent-review.d.ts +19 -0
  2. package/dist/deep/agent-review.js +19 -0
  3. package/dist/deep/agent-review.test.d.ts +1 -0
  4. package/dist/deep/agent-review.test.js +53 -0
  5. package/dist/deep/code-pass.d.ts +10 -0
  6. package/dist/deep/code-pass.js +64 -33
  7. package/dist/deep/code-pass.test.js +53 -12
  8. package/dist/deep/code-verifier.d.ts +3 -1
  9. package/dist/deep/code-verifier.js +11 -11
  10. package/dist/deep/code-verifier.test.js +8 -0
  11. package/dist/deep/pr-diff.d.ts +7 -0
  12. package/dist/deep/pr-diff.js +47 -0
  13. package/dist/deep/pr-review.d.ts +33 -0
  14. package/dist/deep/pr-review.js +81 -0
  15. package/dist/deep/pr-review.test.d.ts +1 -0
  16. package/dist/deep/pr-review.test.js +80 -0
  17. package/dist/deep/related-changes.d.ts +13 -0
  18. package/dist/deep/related-changes.js +56 -0
  19. package/dist/deep/related-changes.test.d.ts +1 -0
  20. package/dist/deep/related-changes.test.js +33 -0
  21. package/dist/deep/review-tools.d.ts +16 -0
  22. package/dist/deep/review-tools.js +111 -0
  23. package/dist/deep/review-tools.test.d.ts +1 -0
  24. package/dist/deep/review-tools.test.js +39 -0
  25. package/dist/deep/risk.d.ts +41 -0
  26. package/dist/deep/risk.js +135 -0
  27. package/dist/deep/risk.test.d.ts +1 -0
  28. package/dist/deep/risk.test.js +63 -0
  29. package/dist/deep/router.d.ts +27 -0
  30. package/dist/deep/router.js +15 -0
  31. package/dist/deep/self-check.d.ts +14 -9
  32. package/dist/deep/self-check.js +41 -32
  33. package/dist/deep/tool-loop.d.ts +19 -0
  34. package/dist/deep/tool-loop.js +23 -0
  35. package/dist/gates/deep-analysis.d.ts +27 -0
  36. package/dist/gates/deep-analysis.js +73 -2
  37. package/dist/gates/deep-runner.js +14 -0
  38. package/dist/gates/frontend-secret-exposure.d.ts +2 -0
  39. package/dist/gates/frontend-secret-exposure.js +8 -0
  40. package/dist/gates/frontend-secret-exposure.test.js +14 -0
  41. package/dist/gates/hallucinated-imports/framework-modules-nuxt.test.d.ts +1 -0
  42. package/dist/gates/hallucinated-imports/framework-modules-nuxt.test.js +27 -0
  43. package/dist/gates/hallucinated-imports/framework-modules.d.ts +12 -3
  44. package/dist/gates/hallucinated-imports/framework-modules.js +32 -6
  45. package/dist/gates/hallucinated-imports/index.js +2 -1
  46. package/dist/gates/hallucinated-imports/js-resolver-types.test.d.ts +1 -0
  47. package/dist/gates/hallucinated-imports/js-resolver-types.test.js +14 -0
  48. package/dist/gates/hallucinated-imports/js-resolver.d.ts +6 -1
  49. package/dist/gates/hallucinated-imports/js-resolver.js +25 -3
  50. package/dist/gates/phantom-apis.js +2 -2
  51. package/dist/gates/phantom-apis.test.js +10 -0
  52. package/dist/gates/promise-safety.js +1 -1
  53. package/dist/gates/test-quality-matchers.js +3 -0
  54. package/dist/gates/test-quality.test.js +13 -0
  55. package/dist/hooks/checker.test.js +9 -0
  56. package/dist/hooks/stop-review.d.ts +2 -0
  57. package/dist/hooks/stop-review.js +19 -3
  58. package/dist/hooks/templates.d.ts +2 -0
  59. package/dist/hooks/templates.js +16 -2
  60. package/dist/hooks/templates.test.d.ts +1 -0
  61. package/dist/hooks/templates.test.js +16 -0
  62. package/dist/index.d.ts +13 -0
  63. package/dist/index.js +13 -0
  64. package/dist/inference/cloud-provider.d.ts +12 -1
  65. package/dist/inference/cloud-provider.js +137 -2
  66. package/dist/inference/cloud-provider.test.d.ts +1 -0
  67. package/dist/inference/cloud-provider.test.js +118 -0
  68. package/dist/inference/pricing.d.ts +15 -0
  69. package/dist/inference/pricing.js +13 -0
  70. package/dist/inference/types.d.ts +42 -0
  71. package/dist/review/changed-function-spans.d.ts +4 -0
  72. package/dist/review/changed-function-spans.js +48 -0
  73. package/dist/review/changed-lines.d.ts +9 -3
  74. package/dist/review/changed-lines.js +19 -2
  75. package/dist/review/deep-runs.d.ts +22 -0
  76. package/dist/review/deep-runs.js +59 -0
  77. package/dist/review/deep-runs.test.d.ts +1 -0
  78. package/dist/review/deep-runs.test.js +23 -0
  79. package/dist/review/generated-files.d.ts +3 -0
  80. package/dist/review/generated-files.js +35 -0
  81. package/dist/review/generated-files.test.d.ts +1 -0
  82. package/dist/review/generated-files.test.js +25 -0
  83. package/dist/review/ledger.d.ts +27 -0
  84. package/dist/review/ledger.js +72 -0
  85. package/dist/review/quiet.d.ts +14 -0
  86. package/dist/review/quiet.js +69 -0
  87. package/dist/review/quiet.test.d.ts +1 -0
  88. package/dist/review/quiet.test.js +27 -0
  89. package/dist/review/review-ack.d.ts +16 -0
  90. package/dist/review/review-ack.js +25 -0
  91. package/dist/review/review-task.d.ts +40 -0
  92. package/dist/review/review-task.js +50 -0
  93. package/dist/review/review-task.test.d.ts +1 -0
  94. package/dist/review/review-task.test.js +80 -0
  95. package/dist/review/review.d.ts +11 -1
  96. package/dist/review/review.js +15 -6
  97. package/dist/review/review.test.js +25 -0
  98. package/dist/review-learning/acted-on.d.ts +25 -0
  99. package/dist/review-learning/acted-on.js +69 -0
  100. package/dist/review-learning/learn-from-reviews.d.ts +34 -0
  101. package/dist/review-learning/learn-from-reviews.js +65 -0
  102. package/dist/review-learning/lessons.d.ts +52 -0
  103. package/dist/review-learning/lessons.js +149 -0
  104. package/dist/review-learning/repo-rules.d.ts +16 -0
  105. package/dist/review-learning/repo-rules.js +84 -0
  106. package/dist/review-learning/repo-rules.test.d.ts +1 -0
  107. package/dist/review-learning/repo-rules.test.js +39 -0
  108. package/dist/review-learning/review-learning.test.d.ts +1 -0
  109. package/dist/review-learning/review-learning.test.js +104 -0
  110. package/dist/review-learning/team-lessons.d.ts +4 -0
  111. package/dist/review-learning/team-lessons.js +24 -0
  112. package/dist/semantic/rules/credential-redirect.js +4 -1
  113. package/dist/services/context-telemetry-service.d.ts +9 -0
  114. package/dist/services/context-telemetry-service.js +4 -0
  115. package/dist/services/observed-savings.d.ts +36 -0
  116. package/dist/services/observed-savings.js +94 -0
  117. package/dist/services/observed-savings.test.d.ts +1 -0
  118. package/dist/services/observed-savings.test.js +37 -0
  119. package/dist/settings.js +4 -1
  120. package/dist/templates/universal-config.js +7 -3
  121. package/dist/types/index.d.ts +276 -10
  122. package/dist/types/index.js +38 -5
  123. package/package.json +6 -6
@@ -444,9 +444,12 @@ export declare const GatesSchema: z.ZodObject<{
444
444
  }>>>;
445
445
  governance: z.ZodDefault<z.ZodOptional<z.ZodObject<{
446
446
  enabled: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
447
- /** Enforce rigour_remember for all persistent storage — block native agent memory writes */
447
+ /**
448
+ * Block agent writes to native memory files (CLAUDE.md, …) and point to rigour_remember.
449
+ * Off by default: teams edit their agent instructions deliberately; their content is still scanned for secrets.
450
+ */
448
451
  enforce_memory: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
449
- /** Enforce rigour skills over native agent skills/rules files */
452
+ /** Block agent writes to native skills/rules files (.cursor/rules, …). Off by default, like enforce_memory. */
450
453
  enforce_skills: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
451
454
  /** Block writes and tell agent to use rigour_remember / rigour_recall */
452
455
  block_native_memory: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
@@ -587,6 +590,23 @@ export declare const GatesSchema: z.ZodObject<{
587
590
  max_tokens: z.ZodOptional<z.ZodNumber>;
588
591
  temperature: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
589
592
  timeout_ms: z.ZodOptional<z.ZodNumber>;
593
+ budget_ms: z.ZodOptional<z.ZodNumber>;
594
+ agentic: z.ZodOptional<z.ZodBoolean>;
595
+ repo_rules: z.ZodOptional<z.ZodBoolean>;
596
+ review_lessons: z.ZodOptional<z.ZodEnum<["verified", "all", "off"]>>;
597
+ router: z.ZodOptional<z.ZodObject<{
598
+ enabled: z.ZodOptional<z.ZodBoolean>;
599
+ min_score: z.ZodOptional<z.ZodNumber>;
600
+ max_functions: z.ZodOptional<z.ZodNumber>;
601
+ }, "strip", z.ZodTypeAny, {
602
+ enabled?: boolean | undefined;
603
+ min_score?: number | undefined;
604
+ max_functions?: number | undefined;
605
+ }, {
606
+ enabled?: boolean | undefined;
607
+ min_score?: number | undefined;
608
+ max_functions?: number | undefined;
609
+ }>>;
590
610
  intent_checks: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
591
611
  checks: z.ZodDefault<z.ZodOptional<z.ZodObject<{
592
612
  solid: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
@@ -640,6 +660,15 @@ export declare const GatesSchema: z.ZodObject<{
640
660
  model_path?: string | undefined;
641
661
  max_tokens?: number | undefined;
642
662
  timeout_ms?: number | undefined;
663
+ budget_ms?: number | undefined;
664
+ agentic?: boolean | undefined;
665
+ repo_rules?: boolean | undefined;
666
+ review_lessons?: "verified" | "all" | "off" | undefined;
667
+ router?: {
668
+ enabled?: boolean | undefined;
669
+ min_score?: number | undefined;
670
+ max_functions?: number | undefined;
671
+ } | undefined;
643
672
  }, {
644
673
  enabled?: boolean | undefined;
645
674
  pro?: boolean | undefined;
@@ -653,6 +682,15 @@ export declare const GatesSchema: z.ZodObject<{
653
682
  max_tokens?: number | undefined;
654
683
  temperature?: number | undefined;
655
684
  timeout_ms?: number | undefined;
685
+ budget_ms?: number | undefined;
686
+ agentic?: boolean | undefined;
687
+ repo_rules?: boolean | undefined;
688
+ review_lessons?: "verified" | "all" | "off" | undefined;
689
+ router?: {
690
+ enabled?: boolean | undefined;
691
+ min_score?: number | undefined;
692
+ max_functions?: number | undefined;
693
+ } | undefined;
656
694
  intent_checks?: boolean | undefined;
657
695
  checks?: {
658
696
  architecture?: boolean | undefined;
@@ -690,6 +728,15 @@ export declare const GatesSchema: z.ZodObject<{
690
728
  model_path?: string | undefined;
691
729
  max_tokens?: number | undefined;
692
730
  timeout_ms?: number | undefined;
731
+ budget_ms?: number | undefined;
732
+ agentic?: boolean | undefined;
733
+ repo_rules?: boolean | undefined;
734
+ review_lessons?: "verified" | "all" | "off" | undefined;
735
+ router?: {
736
+ enabled?: boolean | undefined;
737
+ min_score?: number | undefined;
738
+ max_functions?: number | undefined;
739
+ } | undefined;
693
740
  };
694
741
  max_file_lines: number;
695
742
  forbid_todos: boolean;
@@ -913,6 +960,15 @@ export declare const GatesSchema: z.ZodObject<{
913
960
  max_tokens?: number | undefined;
914
961
  temperature?: number | undefined;
915
962
  timeout_ms?: number | undefined;
963
+ budget_ms?: number | undefined;
964
+ agentic?: boolean | undefined;
965
+ repo_rules?: boolean | undefined;
966
+ review_lessons?: "verified" | "all" | "off" | undefined;
967
+ router?: {
968
+ enabled?: boolean | undefined;
969
+ min_score?: number | undefined;
970
+ max_functions?: number | undefined;
971
+ } | undefined;
916
972
  intent_checks?: boolean | undefined;
917
973
  checks?: {
918
974
  architecture?: boolean | undefined;
@@ -1156,6 +1212,8 @@ export declare const HooksSchema: z.ZodDefault<z.ZodOptional<z.ZodObject<{
1156
1212
  fast_gates: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
1157
1213
  timeout_ms: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
1158
1214
  block_on_failure: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
1215
+ /** Stop hook: hold "done" until the agent acknowledges each risky changed function (rigour_review_ack). */
1216
+ require_review_ack: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
1159
1217
  /** Enable DLP (Data Loss Prevention) pre-input hooks — default ON for security */
1160
1218
  dlp: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
1161
1219
  }, "strip", z.ZodTypeAny, {
@@ -1164,6 +1222,7 @@ export declare const HooksSchema: z.ZodDefault<z.ZodOptional<z.ZodObject<{
1164
1222
  timeout_ms: number;
1165
1223
  fast_gates: string[];
1166
1224
  block_on_failure: boolean;
1225
+ require_review_ack: boolean;
1167
1226
  dlp: boolean;
1168
1227
  }, {
1169
1228
  enabled?: boolean | undefined;
@@ -1171,6 +1230,7 @@ export declare const HooksSchema: z.ZodDefault<z.ZodOptional<z.ZodObject<{
1171
1230
  timeout_ms?: number | undefined;
1172
1231
  fast_gates?: string[] | undefined;
1173
1232
  block_on_failure?: boolean | undefined;
1233
+ require_review_ack?: boolean | undefined;
1174
1234
  dlp?: boolean | undefined;
1175
1235
  }>>>;
1176
1236
  export declare const ConfigSchema: z.ZodObject<{
@@ -1638,9 +1698,12 @@ export declare const ConfigSchema: z.ZodObject<{
1638
1698
  }>>>;
1639
1699
  governance: z.ZodDefault<z.ZodOptional<z.ZodObject<{
1640
1700
  enabled: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
1641
- /** Enforce rigour_remember for all persistent storage — block native agent memory writes */
1701
+ /**
1702
+ * Block agent writes to native memory files (CLAUDE.md, …) and point to rigour_remember.
1703
+ * Off by default: teams edit their agent instructions deliberately; their content is still scanned for secrets.
1704
+ */
1642
1705
  enforce_memory: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
1643
- /** Enforce rigour skills over native agent skills/rules files */
1706
+ /** Block agent writes to native skills/rules files (.cursor/rules, …). Off by default, like enforce_memory. */
1644
1707
  enforce_skills: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
1645
1708
  /** Block writes and tell agent to use rigour_remember / rigour_recall */
1646
1709
  block_native_memory: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
@@ -1781,6 +1844,23 @@ export declare const ConfigSchema: z.ZodObject<{
1781
1844
  max_tokens: z.ZodOptional<z.ZodNumber>;
1782
1845
  temperature: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
1783
1846
  timeout_ms: z.ZodOptional<z.ZodNumber>;
1847
+ budget_ms: z.ZodOptional<z.ZodNumber>;
1848
+ agentic: z.ZodOptional<z.ZodBoolean>;
1849
+ repo_rules: z.ZodOptional<z.ZodBoolean>;
1850
+ review_lessons: z.ZodOptional<z.ZodEnum<["verified", "all", "off"]>>;
1851
+ router: z.ZodOptional<z.ZodObject<{
1852
+ enabled: z.ZodOptional<z.ZodBoolean>;
1853
+ min_score: z.ZodOptional<z.ZodNumber>;
1854
+ max_functions: z.ZodOptional<z.ZodNumber>;
1855
+ }, "strip", z.ZodTypeAny, {
1856
+ enabled?: boolean | undefined;
1857
+ min_score?: number | undefined;
1858
+ max_functions?: number | undefined;
1859
+ }, {
1860
+ enabled?: boolean | undefined;
1861
+ min_score?: number | undefined;
1862
+ max_functions?: number | undefined;
1863
+ }>>;
1784
1864
  intent_checks: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
1785
1865
  checks: z.ZodDefault<z.ZodOptional<z.ZodObject<{
1786
1866
  solid: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
@@ -1834,6 +1914,15 @@ export declare const ConfigSchema: z.ZodObject<{
1834
1914
  model_path?: string | undefined;
1835
1915
  max_tokens?: number | undefined;
1836
1916
  timeout_ms?: number | undefined;
1917
+ budget_ms?: number | undefined;
1918
+ agentic?: boolean | undefined;
1919
+ repo_rules?: boolean | undefined;
1920
+ review_lessons?: "verified" | "all" | "off" | undefined;
1921
+ router?: {
1922
+ enabled?: boolean | undefined;
1923
+ min_score?: number | undefined;
1924
+ max_functions?: number | undefined;
1925
+ } | undefined;
1837
1926
  }, {
1838
1927
  enabled?: boolean | undefined;
1839
1928
  pro?: boolean | undefined;
@@ -1847,6 +1936,15 @@ export declare const ConfigSchema: z.ZodObject<{
1847
1936
  max_tokens?: number | undefined;
1848
1937
  temperature?: number | undefined;
1849
1938
  timeout_ms?: number | undefined;
1939
+ budget_ms?: number | undefined;
1940
+ agentic?: boolean | undefined;
1941
+ repo_rules?: boolean | undefined;
1942
+ review_lessons?: "verified" | "all" | "off" | undefined;
1943
+ router?: {
1944
+ enabled?: boolean | undefined;
1945
+ min_score?: number | undefined;
1946
+ max_functions?: number | undefined;
1947
+ } | undefined;
1850
1948
  intent_checks?: boolean | undefined;
1851
1949
  checks?: {
1852
1950
  architecture?: boolean | undefined;
@@ -1884,6 +1982,15 @@ export declare const ConfigSchema: z.ZodObject<{
1884
1982
  model_path?: string | undefined;
1885
1983
  max_tokens?: number | undefined;
1886
1984
  timeout_ms?: number | undefined;
1985
+ budget_ms?: number | undefined;
1986
+ agentic?: boolean | undefined;
1987
+ repo_rules?: boolean | undefined;
1988
+ review_lessons?: "verified" | "all" | "off" | undefined;
1989
+ router?: {
1990
+ enabled?: boolean | undefined;
1991
+ min_score?: number | undefined;
1992
+ max_functions?: number | undefined;
1993
+ } | undefined;
1887
1994
  };
1888
1995
  max_file_lines: number;
1889
1996
  forbid_todos: boolean;
@@ -2107,6 +2214,15 @@ export declare const ConfigSchema: z.ZodObject<{
2107
2214
  max_tokens?: number | undefined;
2108
2215
  temperature?: number | undefined;
2109
2216
  timeout_ms?: number | undefined;
2217
+ budget_ms?: number | undefined;
2218
+ agentic?: boolean | undefined;
2219
+ repo_rules?: boolean | undefined;
2220
+ review_lessons?: "verified" | "all" | "off" | undefined;
2221
+ router?: {
2222
+ enabled?: boolean | undefined;
2223
+ min_score?: number | undefined;
2224
+ max_functions?: number | undefined;
2225
+ } | undefined;
2110
2226
  intent_checks?: boolean | undefined;
2111
2227
  checks?: {
2112
2228
  architecture?: boolean | undefined;
@@ -2334,6 +2450,8 @@ export declare const ConfigSchema: z.ZodObject<{
2334
2450
  fast_gates: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
2335
2451
  timeout_ms: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
2336
2452
  block_on_failure: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
2453
+ /** Stop hook: hold "done" until the agent acknowledges each risky changed function (rigour_review_ack). */
2454
+ require_review_ack: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
2337
2455
  /** Enable DLP (Data Loss Prevention) pre-input hooks — default ON for security */
2338
2456
  dlp: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
2339
2457
  }, "strip", z.ZodTypeAny, {
@@ -2342,6 +2460,7 @@ export declare const ConfigSchema: z.ZodObject<{
2342
2460
  timeout_ms: number;
2343
2461
  fast_gates: string[];
2344
2462
  block_on_failure: boolean;
2463
+ require_review_ack: boolean;
2345
2464
  dlp: boolean;
2346
2465
  }, {
2347
2466
  enabled?: boolean | undefined;
@@ -2349,6 +2468,7 @@ export declare const ConfigSchema: z.ZodObject<{
2349
2468
  timeout_ms?: number | undefined;
2350
2469
  fast_gates?: string[] | undefined;
2351
2470
  block_on_failure?: boolean | undefined;
2471
+ require_review_ack?: boolean | undefined;
2352
2472
  dlp?: boolean | undefined;
2353
2473
  }>>>;
2354
2474
  output: z.ZodDefault<z.ZodOptional<z.ZodObject<{
@@ -2358,6 +2478,15 @@ export declare const ConfigSchema: z.ZodObject<{
2358
2478
  }, {
2359
2479
  report_path?: string | undefined;
2360
2480
  }>>>;
2481
+ /** rigour review / rigour_review / the PR bot / the stop hook. */
2482
+ review: z.ZodDefault<z.ZodOptional<z.ZodObject<{
2483
+ /** Let heuristic gates decide the verdict too; by default only findings that prove a defect do (quiet.ts). */
2484
+ include_heuristics: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
2485
+ }, "strip", z.ZodTypeAny, {
2486
+ include_heuristics: boolean;
2487
+ }, {
2488
+ include_heuristics?: boolean | undefined;
2489
+ }>>>;
2361
2490
  planned: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
2362
2491
  ignore: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
2363
2492
  }, "strip", z.ZodTypeAny, {
@@ -2394,6 +2523,15 @@ export declare const ConfigSchema: z.ZodObject<{
2394
2523
  model_path?: string | undefined;
2395
2524
  max_tokens?: number | undefined;
2396
2525
  timeout_ms?: number | undefined;
2526
+ budget_ms?: number | undefined;
2527
+ agentic?: boolean | undefined;
2528
+ repo_rules?: boolean | undefined;
2529
+ review_lessons?: "verified" | "all" | "off" | undefined;
2530
+ router?: {
2531
+ enabled?: boolean | undefined;
2532
+ min_score?: number | undefined;
2533
+ max_functions?: number | undefined;
2534
+ } | undefined;
2397
2535
  };
2398
2536
  max_file_lines: number;
2399
2537
  forbid_todos: boolean;
@@ -2610,11 +2748,15 @@ export declare const ConfigSchema: z.ZodObject<{
2610
2748
  timeout_ms: number;
2611
2749
  fast_gates: string[];
2612
2750
  block_on_failure: boolean;
2751
+ require_review_ack: boolean;
2613
2752
  dlp: boolean;
2614
2753
  };
2615
2754
  output: {
2616
2755
  report_path: string;
2617
2756
  };
2757
+ review: {
2758
+ include_heuristics: boolean;
2759
+ };
2618
2760
  planned: string[];
2619
2761
  preset?: string | undefined;
2620
2762
  paradigm?: string | undefined;
@@ -2643,6 +2785,15 @@ export declare const ConfigSchema: z.ZodObject<{
2643
2785
  max_tokens?: number | undefined;
2644
2786
  temperature?: number | undefined;
2645
2787
  timeout_ms?: number | undefined;
2788
+ budget_ms?: number | undefined;
2789
+ agentic?: boolean | undefined;
2790
+ repo_rules?: boolean | undefined;
2791
+ review_lessons?: "verified" | "all" | "off" | undefined;
2792
+ router?: {
2793
+ enabled?: boolean | undefined;
2794
+ min_score?: number | undefined;
2795
+ max_functions?: number | undefined;
2796
+ } | undefined;
2646
2797
  intent_checks?: boolean | undefined;
2647
2798
  checks?: {
2648
2799
  architecture?: boolean | undefined;
@@ -2870,11 +3021,15 @@ export declare const ConfigSchema: z.ZodObject<{
2870
3021
  timeout_ms?: number | undefined;
2871
3022
  fast_gates?: string[] | undefined;
2872
3023
  block_on_failure?: boolean | undefined;
3024
+ require_review_ack?: boolean | undefined;
2873
3025
  dlp?: boolean | undefined;
2874
3026
  } | undefined;
2875
3027
  output?: {
2876
3028
  report_path?: string | undefined;
2877
3029
  } | undefined;
3030
+ review?: {
3031
+ include_heuristics?: boolean | undefined;
3032
+ } | undefined;
2878
3033
  planned?: string[] | undefined;
2879
3034
  }>;
2880
3035
  export type Gates = z.infer<typeof GatesSchema>;
@@ -2903,6 +3058,8 @@ export declare const FailureSchema: z.ZodObject<{
2903
3058
  files: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
2904
3059
  line: z.ZodOptional<z.ZodNumber>;
2905
3060
  endLine: z.ZodOptional<z.ZodNumber>;
3061
+ /** The changed line a finding about its enclosing changed function is posted on. */
3062
+ anchorLine: z.ZodOptional<z.ZodNumber>;
2906
3063
  hint: z.ZodOptional<z.ZodString>;
2907
3064
  confidence: z.ZodOptional<z.ZodNumber>;
2908
3065
  source: z.ZodOptional<z.ZodEnum<["ast", "llm", "hybrid"]>>;
@@ -2912,30 +3069,32 @@ export declare const FailureSchema: z.ZodObject<{
2912
3069
  id: string;
2913
3070
  title: string;
2914
3071
  details: string;
3072
+ verified?: boolean | undefined;
2915
3073
  severity?: "critical" | "high" | "medium" | "low" | "info" | undefined;
2916
3074
  provenance?: "security" | "governance" | "ai-drift" | "traditional" | "deep-analysis" | undefined;
2917
3075
  files?: string[] | undefined;
2918
3076
  line?: number | undefined;
2919
3077
  endLine?: number | undefined;
3078
+ anchorLine?: number | undefined;
2920
3079
  hint?: string | undefined;
2921
3080
  confidence?: number | undefined;
2922
3081
  source?: "ast" | "llm" | "hybrid" | undefined;
2923
3082
  category?: string | undefined;
2924
- verified?: boolean | undefined;
2925
3083
  }, {
2926
3084
  id: string;
2927
3085
  title: string;
2928
3086
  details: string;
3087
+ verified?: boolean | undefined;
2929
3088
  severity?: "critical" | "high" | "medium" | "low" | "info" | undefined;
2930
3089
  provenance?: "security" | "governance" | "ai-drift" | "traditional" | "deep-analysis" | undefined;
2931
3090
  files?: string[] | undefined;
2932
3091
  line?: number | undefined;
2933
3092
  endLine?: number | undefined;
3093
+ anchorLine?: number | undefined;
2934
3094
  hint?: string | undefined;
2935
3095
  confidence?: number | undefined;
2936
3096
  source?: "ast" | "llm" | "hybrid" | undefined;
2937
3097
  category?: string | undefined;
2938
- verified?: boolean | undefined;
2939
3098
  }>;
2940
3099
  export type Failure = z.infer<typeof FailureSchema>;
2941
3100
  export declare const ReportSchema: z.ZodObject<{
@@ -2950,6 +3109,8 @@ export declare const ReportSchema: z.ZodObject<{
2950
3109
  files: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
2951
3110
  line: z.ZodOptional<z.ZodNumber>;
2952
3111
  endLine: z.ZodOptional<z.ZodNumber>;
3112
+ /** The changed line a finding about its enclosing changed function is posted on. */
3113
+ anchorLine: z.ZodOptional<z.ZodNumber>;
2953
3114
  hint: z.ZodOptional<z.ZodString>;
2954
3115
  confidence: z.ZodOptional<z.ZodNumber>;
2955
3116
  source: z.ZodOptional<z.ZodEnum<["ast", "llm", "hybrid"]>>;
@@ -2959,30 +3120,32 @@ export declare const ReportSchema: z.ZodObject<{
2959
3120
  id: string;
2960
3121
  title: string;
2961
3122
  details: string;
3123
+ verified?: boolean | undefined;
2962
3124
  severity?: "critical" | "high" | "medium" | "low" | "info" | undefined;
2963
3125
  provenance?: "security" | "governance" | "ai-drift" | "traditional" | "deep-analysis" | undefined;
2964
3126
  files?: string[] | undefined;
2965
3127
  line?: number | undefined;
2966
3128
  endLine?: number | undefined;
3129
+ anchorLine?: number | undefined;
2967
3130
  hint?: string | undefined;
2968
3131
  confidence?: number | undefined;
2969
3132
  source?: "ast" | "llm" | "hybrid" | undefined;
2970
3133
  category?: string | undefined;
2971
- verified?: boolean | undefined;
2972
3134
  }, {
2973
3135
  id: string;
2974
3136
  title: string;
2975
3137
  details: string;
3138
+ verified?: boolean | undefined;
2976
3139
  severity?: "critical" | "high" | "medium" | "low" | "info" | undefined;
2977
3140
  provenance?: "security" | "governance" | "ai-drift" | "traditional" | "deep-analysis" | undefined;
2978
3141
  files?: string[] | undefined;
2979
3142
  line?: number | undefined;
2980
3143
  endLine?: number | undefined;
3144
+ anchorLine?: number | undefined;
2981
3145
  hint?: string | undefined;
2982
3146
  confidence?: number | undefined;
2983
3147
  source?: "ast" | "llm" | "hybrid" | undefined;
2984
3148
  category?: string | undefined;
2985
- verified?: boolean | undefined;
2986
3149
  }>, "many">;
2987
3150
  stats: z.ZodObject<{
2988
3151
  duration_ms: z.ZodNumber;
@@ -3025,12 +3188,45 @@ export declare const ReportSchema: z.ZodObject<{
3025
3188
  error: z.ZodOptional<z.ZodString>;
3026
3189
  findings_proposed: z.ZodOptional<z.ZodNumber>;
3027
3190
  findings_withdrawn: z.ZodOptional<z.ZodNumber>;
3191
+ /** Findings the grounding check dropped, by reason. */
3192
+ findings_rejected: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
3193
+ /** Files a run budget (`gates.deep.budget_ms`) left unreviewed. */
3194
+ files_skipped: z.ZodOptional<z.ZodNumber>;
3195
+ /** Repository lookups the model made in an agentic review. */
3196
+ tool_calls: z.ZodOptional<z.ZodNumber>;
3197
+ /** Cloud router: changed functions ranked, how many went to the model, files it left to the gates. */
3198
+ router: z.ZodOptional<z.ZodObject<{
3199
+ functions: z.ZodNumber;
3200
+ routed: z.ZodNumber;
3201
+ files_skipped: z.ZodNumber;
3202
+ already_reviewed: z.ZodNumber;
3203
+ }, "strip", z.ZodTypeAny, {
3204
+ files_skipped: number;
3205
+ functions: number;
3206
+ routed: number;
3207
+ already_reviewed: number;
3208
+ }, {
3209
+ files_skipped: number;
3210
+ functions: number;
3211
+ routed: number;
3212
+ already_reviewed: number;
3213
+ }>>;
3214
+ input_tokens: z.ZodOptional<z.ZodNumber>;
3215
+ output_tokens: z.ZodOptional<z.ZodNumber>;
3216
+ /** Provider-reported cost when available, else tokens × list price; undefined for an unpriced model. */
3217
+ cost_usd: z.ZodOptional<z.ZodNumber>;
3028
3218
  findings_count: z.ZodOptional<z.ZodNumber>;
3029
3219
  findings_verified: z.ZodOptional<z.ZodNumber>;
3030
3220
  }, "strip", z.ZodTypeAny, {
3031
3221
  enabled: boolean;
3032
3222
  status?: "ok" | "partial" | "error" | undefined;
3033
3223
  mode?: "code" | "facts" | undefined;
3224
+ router?: {
3225
+ files_skipped: number;
3226
+ functions: number;
3227
+ routed: number;
3228
+ already_reviewed: number;
3229
+ } | undefined;
3034
3230
  error?: string | undefined;
3035
3231
  tier?: "deep" | "max" | "lite" | "legacy" | "cloud" | undefined;
3036
3232
  model?: string | undefined;
@@ -3041,12 +3237,24 @@ export declare const ReportSchema: z.ZodObject<{
3041
3237
  chunks_failed?: number | undefined;
3042
3238
  findings_proposed?: number | undefined;
3043
3239
  findings_withdrawn?: number | undefined;
3240
+ findings_rejected?: Record<string, number> | undefined;
3241
+ files_skipped?: number | undefined;
3242
+ tool_calls?: number | undefined;
3243
+ input_tokens?: number | undefined;
3244
+ output_tokens?: number | undefined;
3245
+ cost_usd?: number | undefined;
3044
3246
  findings_count?: number | undefined;
3045
3247
  findings_verified?: number | undefined;
3046
3248
  }, {
3047
3249
  enabled: boolean;
3048
3250
  status?: "ok" | "partial" | "error" | undefined;
3049
3251
  mode?: "code" | "facts" | undefined;
3252
+ router?: {
3253
+ files_skipped: number;
3254
+ functions: number;
3255
+ routed: number;
3256
+ already_reviewed: number;
3257
+ } | undefined;
3050
3258
  error?: string | undefined;
3051
3259
  tier?: "deep" | "max" | "lite" | "legacy" | "cloud" | undefined;
3052
3260
  model?: string | undefined;
@@ -3057,6 +3265,12 @@ export declare const ReportSchema: z.ZodObject<{
3057
3265
  chunks_failed?: number | undefined;
3058
3266
  findings_proposed?: number | undefined;
3059
3267
  findings_withdrawn?: number | undefined;
3268
+ findings_rejected?: Record<string, number> | undefined;
3269
+ files_skipped?: number | undefined;
3270
+ tool_calls?: number | undefined;
3271
+ input_tokens?: number | undefined;
3272
+ output_tokens?: number | undefined;
3273
+ cost_usd?: number | undefined;
3060
3274
  findings_count?: number | undefined;
3061
3275
  findings_verified?: number | undefined;
3062
3276
  }>>;
@@ -3066,6 +3280,12 @@ export declare const ReportSchema: z.ZodObject<{
3066
3280
  enabled: boolean;
3067
3281
  status?: "ok" | "partial" | "error" | undefined;
3068
3282
  mode?: "code" | "facts" | undefined;
3283
+ router?: {
3284
+ files_skipped: number;
3285
+ functions: number;
3286
+ routed: number;
3287
+ already_reviewed: number;
3288
+ } | undefined;
3069
3289
  error?: string | undefined;
3070
3290
  tier?: "deep" | "max" | "lite" | "legacy" | "cloud" | undefined;
3071
3291
  model?: string | undefined;
@@ -3076,6 +3296,12 @@ export declare const ReportSchema: z.ZodObject<{
3076
3296
  chunks_failed?: number | undefined;
3077
3297
  findings_proposed?: number | undefined;
3078
3298
  findings_withdrawn?: number | undefined;
3299
+ findings_rejected?: Record<string, number> | undefined;
3300
+ files_skipped?: number | undefined;
3301
+ tool_calls?: number | undefined;
3302
+ input_tokens?: number | undefined;
3303
+ output_tokens?: number | undefined;
3304
+ cost_usd?: number | undefined;
3079
3305
  findings_count?: number | undefined;
3080
3306
  findings_verified?: number | undefined;
3081
3307
  } | undefined;
@@ -3097,6 +3323,12 @@ export declare const ReportSchema: z.ZodObject<{
3097
3323
  enabled: boolean;
3098
3324
  status?: "ok" | "partial" | "error" | undefined;
3099
3325
  mode?: "code" | "facts" | undefined;
3326
+ router?: {
3327
+ files_skipped: number;
3328
+ functions: number;
3329
+ routed: number;
3330
+ already_reviewed: number;
3331
+ } | undefined;
3100
3332
  error?: string | undefined;
3101
3333
  tier?: "deep" | "max" | "lite" | "legacy" | "cloud" | undefined;
3102
3334
  model?: string | undefined;
@@ -3107,6 +3339,12 @@ export declare const ReportSchema: z.ZodObject<{
3107
3339
  chunks_failed?: number | undefined;
3108
3340
  findings_proposed?: number | undefined;
3109
3341
  findings_withdrawn?: number | undefined;
3342
+ findings_rejected?: Record<string, number> | undefined;
3343
+ files_skipped?: number | undefined;
3344
+ tool_calls?: number | undefined;
3345
+ input_tokens?: number | undefined;
3346
+ output_tokens?: number | undefined;
3347
+ cost_usd?: number | undefined;
3110
3348
  findings_count?: number | undefined;
3111
3349
  findings_verified?: number | undefined;
3112
3350
  } | undefined;
@@ -3130,6 +3368,12 @@ export declare const ReportSchema: z.ZodObject<{
3130
3368
  enabled: boolean;
3131
3369
  status?: "ok" | "partial" | "error" | undefined;
3132
3370
  mode?: "code" | "facts" | undefined;
3371
+ router?: {
3372
+ files_skipped: number;
3373
+ functions: number;
3374
+ routed: number;
3375
+ already_reviewed: number;
3376
+ } | undefined;
3133
3377
  error?: string | undefined;
3134
3378
  tier?: "deep" | "max" | "lite" | "legacy" | "cloud" | undefined;
3135
3379
  model?: string | undefined;
@@ -3140,6 +3384,12 @@ export declare const ReportSchema: z.ZodObject<{
3140
3384
  chunks_failed?: number | undefined;
3141
3385
  findings_proposed?: number | undefined;
3142
3386
  findings_withdrawn?: number | undefined;
3387
+ findings_rejected?: Record<string, number> | undefined;
3388
+ files_skipped?: number | undefined;
3389
+ tool_calls?: number | undefined;
3390
+ input_tokens?: number | undefined;
3391
+ output_tokens?: number | undefined;
3392
+ cost_usd?: number | undefined;
3143
3393
  findings_count?: number | undefined;
3144
3394
  findings_verified?: number | undefined;
3145
3395
  } | undefined;
@@ -3162,16 +3412,17 @@ export declare const ReportSchema: z.ZodObject<{
3162
3412
  id: string;
3163
3413
  title: string;
3164
3414
  details: string;
3415
+ verified?: boolean | undefined;
3165
3416
  severity?: "critical" | "high" | "medium" | "low" | "info" | undefined;
3166
3417
  provenance?: "security" | "governance" | "ai-drift" | "traditional" | "deep-analysis" | undefined;
3167
3418
  files?: string[] | undefined;
3168
3419
  line?: number | undefined;
3169
3420
  endLine?: number | undefined;
3421
+ anchorLine?: number | undefined;
3170
3422
  hint?: string | undefined;
3171
3423
  confidence?: number | undefined;
3172
3424
  source?: "ast" | "llm" | "hybrid" | undefined;
3173
3425
  category?: string | undefined;
3174
- verified?: boolean | undefined;
3175
3426
  }[];
3176
3427
  }, {
3177
3428
  stats: {
@@ -3180,6 +3431,12 @@ export declare const ReportSchema: z.ZodObject<{
3180
3431
  enabled: boolean;
3181
3432
  status?: "ok" | "partial" | "error" | undefined;
3182
3433
  mode?: "code" | "facts" | undefined;
3434
+ router?: {
3435
+ files_skipped: number;
3436
+ functions: number;
3437
+ routed: number;
3438
+ already_reviewed: number;
3439
+ } | undefined;
3183
3440
  error?: string | undefined;
3184
3441
  tier?: "deep" | "max" | "lite" | "legacy" | "cloud" | undefined;
3185
3442
  model?: string | undefined;
@@ -3190,6 +3447,12 @@ export declare const ReportSchema: z.ZodObject<{
3190
3447
  chunks_failed?: number | undefined;
3191
3448
  findings_proposed?: number | undefined;
3192
3449
  findings_withdrawn?: number | undefined;
3450
+ findings_rejected?: Record<string, number> | undefined;
3451
+ files_skipped?: number | undefined;
3452
+ tool_calls?: number | undefined;
3453
+ input_tokens?: number | undefined;
3454
+ output_tokens?: number | undefined;
3455
+ cost_usd?: number | undefined;
3193
3456
  findings_count?: number | undefined;
3194
3457
  findings_verified?: number | undefined;
3195
3458
  } | undefined;
@@ -3212,16 +3475,17 @@ export declare const ReportSchema: z.ZodObject<{
3212
3475
  id: string;
3213
3476
  title: string;
3214
3477
  details: string;
3478
+ verified?: boolean | undefined;
3215
3479
  severity?: "critical" | "high" | "medium" | "low" | "info" | undefined;
3216
3480
  provenance?: "security" | "governance" | "ai-drift" | "traditional" | "deep-analysis" | undefined;
3217
3481
  files?: string[] | undefined;
3218
3482
  line?: number | undefined;
3219
3483
  endLine?: number | undefined;
3484
+ anchorLine?: number | undefined;
3220
3485
  hint?: string | undefined;
3221
3486
  confidence?: number | undefined;
3222
3487
  source?: "ast" | "llm" | "hybrid" | undefined;
3223
3488
  category?: string | undefined;
3224
- verified?: boolean | undefined;
3225
3489
  }[];
3226
3490
  }>;
3227
3491
  export type Report = z.infer<typeof ReportSchema>;
@@ -3247,4 +3511,6 @@ export interface DeepOptions {
3247
3511
  }>>;
3248
3512
  /** What the change intends (a PR description): reference for the stronger tiers. */
3249
3513
  prBody?: string;
3514
+ /** The change's unified diff (from reviewChange): a cloud agentic review reads the PR as a whole. */
3515
+ diff?: string;
3250
3516
  }