@akagilnc/pi-workflow-roles 0.1.6071 → 0.1.6076
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.
- package/dist/acp-host/production-host.js +21 -3
- package/dist/headless-host/production-host.js +21 -3
- package/dist/migrate-book-topology.js +21 -3
- package/dist/public-cli/main.js +21 -3
- package/dist/review-submission.js +12 -0
- package/dist/role-submission-declarations.js +3 -3
- package/package.json +1 -1
- package/souls/judge.md +1 -1
- package/souls/notary.md +2 -10
- package/src/review-submission.ts +23 -0
- package/src/role-submission-declarations.ts +3 -3
|
@@ -1682,7 +1682,7 @@ var init_navigator_output = __esm({
|
|
|
1682
1682
|
|
|
1683
1683
|
// src/review-submission.ts
|
|
1684
1684
|
import { Type as Type5 } from "typebox";
|
|
1685
|
-
var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, existenceRowUnion, MECHANISM_LABELS, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, clauseRowBase, CLAUSE_LABELS, clauseExistenceRowSchema, countersignSubmissionSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
|
|
1685
|
+
var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, existenceRowUnion, MECHANISM_LABELS, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, clauseRowBase, CLAUSE_LABELS, clauseExistenceRowSchema, countersignSubmissionSchema, judgeMechanismRowSchema, judgeSubmissionSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
|
|
1686
1686
|
var init_review_submission = __esm({
|
|
1687
1687
|
"src/review-submission.ts"() {
|
|
1688
1688
|
"use strict";
|
|
@@ -1836,6 +1836,24 @@ var init_review_submission = __esm({
|
|
|
1836
1836
|
{ additionalProperties: true }
|
|
1837
1837
|
)
|
|
1838
1838
|
);
|
|
1839
|
+
judgeMechanismRowSchema = mechanismRowUnion({
|
|
1840
|
+
origin: Type5.Union(
|
|
1841
|
+
[Type5.Literal("\u5B9E\u73B0\u51C0\u589E\uFF1A\u672C\u7968\u8D77\u70B9\u5230\u6240\u5BA1 HEAD \u7684\u751F\u4EA7\u4EE3\u7801\u91CC\u5DF2\u6709\u7684"), Type5.Literal("\u672C\u5224\u5904\u65B9\uFF1A\u672C\u8F6E\u5224\u8BCD\u7684\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684")],
|
|
1842
|
+
{ description: "\u8FD9\u4E00\u5C42\u4ECE\u54EA\u6765\u3002\u5904\u65B9\u884C\u7684 where \u5199\u5904\u65B9\u539F\u6587\u800C\u4E0D\u662F path:line\uFF1B\u5904\u65B9\u4F1A\u957F\u51FA\u793A\u8303\u4E0D\u5E26\u7684\u5C42\uFF0C\u5904\u65B9\u672C\u8EAB\u5C31\u4E0D\u80FD\u5F00" }
|
|
1843
|
+
)
|
|
1844
|
+
});
|
|
1845
|
+
judgeSubmissionSchema = withTerminatingOutputDeclarations(
|
|
1846
|
+
Type5.Object(
|
|
1847
|
+
{
|
|
1848
|
+
status: reviewStatusField,
|
|
1849
|
+
...reviewNarrativeFields,
|
|
1850
|
+
mechanisms: Type5.Array(judgeMechanismRowSchema, {
|
|
1851
|
+
description: "\u5B58\u5E9F\u5C3A\uFF1A\u6240\u5BA1\u5B9E\u73B0\u4ECE\u672C\u7968\u8D77\u70B9\u5230 HEAD \u751F\u4EA7\u4EE3\u7801\u65B0\u589E\u7684\u6BCF\u4E00\u5904\u4F9D\u8D56\u884C\u3001\u8DE8\u8C03\u7528\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u88C5\u9970\u6216\u5305\u88C5\u5404\u4E00\u884C\uFF08origin \u5B9E\u73B0\u51C0\u589E\uFF09\uFF0C\u518D\u52A0\u672C\u8F6E\u5224\u8BCD\u6BCF\u6761\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684\u6BCF\u4E00\u5C42\u5404\u4E00\u884C\uFF08origin \u672C\u5224\u5904\u65B9\uFF09\u3002\u6BCF\u884C\u53EA\u95EE\u4E00\u4EF6\u4E8B\uFF1A\u8FD9\u4E00\u5173\u5207\uFF08\u8BFB\u590D\u7528\u3001\u5E76\u53D1\u3001\u5931\u6548\u2026\u2026\uFF09\u5728 ADR\uFF0F\u7968\u9762\u70B9\u540D\u7684\u5E94\u7528\u6846\u67B6\u5B98\u65B9\u793A\u8303\u91CC\u600E\u4E48\u5904\u7406\u2014\u2014\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF0C\u5C31\u662F\u5220\uFF1B\u4E0D\u95EE\u7968\u9762\u90A3\u53E5\u8981\u6C42\u80FD\u4E0D\u80FD\u9760\u793A\u8303\u6EE1\u8DB3\u3002\u7968\u9762\u8981\u6C42\u8D85\u8FC7\u793A\u8303\u7684\uFF0C\u884C\u7167\u586B\u5220\uFF0C\u90A3\u53E5\u8981\u6C42\u4E0A\u5448\u3002\u6709\u300C\u5220\u300D\u884C\uFF1A\u5B9E\u73B0\u91CC\u7684\uFF0C\u5224\u5220\u6216\u4E0A\u5448\uFF0C\u4E0D\u5F97\u636E\u4EE5\u7F72\u6536\u655B\uFF1B\u5904\u65B9\u91CC\u7684\uFF0C\u90A3\u6761\u5904\u65B9\u4E0D\u80FD\u5F00\u3002\u7968\u9762\u5DF2\u5199\u3001\u524D\u8F6E\u5224\u8BCD\u8981\u6C42\u8FC7\u3001\u65BD\u5DE5\u81EA\u8FF0\u3001\u965B\u4E0B\u5BF9\u522B\u7684\u9898\u70B9\u8FC7\u5934\uFF0C\u90FD\u4E0D\u662F\u300C\u7559\u300D\u7684\u7406\u7531\u3002\u884C\u53EA\u80FD\u8FDB\u8FD9\u5F20\u8868\uFF1A\u4E0D\u53E6\u5F00\u5B57\u6BB5\u5B58\u653E\uFF0C\u4E0D\u7559\u300C\u5F85\u5B9A\u300D\uFF1B\u4E00\u5904\u6CA1\u6709\u4E3A\u7A7A\u6570\u7EC4\u3002"
|
|
1852
|
+
})
|
|
1853
|
+
},
|
|
1854
|
+
{ additionalProperties: true }
|
|
1855
|
+
)
|
|
1856
|
+
);
|
|
1839
1857
|
inspectorSubmissionSchema = withTerminatingOutputDeclarations(
|
|
1840
1858
|
Type5.Object(
|
|
1841
1859
|
{
|
|
@@ -3249,9 +3267,9 @@ var init_role_submission_declarations = __esm({
|
|
|
3249
3267
|
SUBMISSION_FACE = {
|
|
3250
3268
|
judge: {
|
|
3251
3269
|
label: "\u5927\u7406\u5BFA\u8F93\u51FA",
|
|
3252
|
-
description: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD\uFF1B\u4EA4\u5377\u8C03\u7528\u7ED3\u675F\u540E\uFF0C\u7531\u516C\u5F00\u8C03\u7528\u63A5\u7F1D\u6309\u5224\u8BCD\u72B6\u6001\u6267\u884C\u9002\u7528\u5BA1\u6838\u3002",
|
|
3270
|
+
description: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD\uFF08\u542B\u6240\u5BA1\u5B9E\u73B0\u4E0E\u672C\u5224\u5904\u65B9\u7684\u5B58\u5E9F\u5C3A mechanisms\uFF09\uFF1B\u4EA4\u5377\u8C03\u7528\u7ED3\u675F\u540E\uFF0C\u7531\u516C\u5F00\u8C03\u7528\u63A5\u7F1D\u6309\u5224\u8BCD\u72B6\u6001\u6267\u884C\u9002\u7528\u5BA1\u6838\u3002",
|
|
3253
3271
|
promptSnippet: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD",
|
|
3254
|
-
parameters:
|
|
3272
|
+
parameters: judgeSubmissionSchema
|
|
3255
3273
|
},
|
|
3256
3274
|
fixer: {
|
|
3257
3275
|
label: "\u4FEE\u5185\u53F8\u8F93\u51FA",
|
|
@@ -481,7 +481,7 @@ var init_terminating_infrastructure = __esm({
|
|
|
481
481
|
|
|
482
482
|
// src/review-submission.ts
|
|
483
483
|
import { Type as Type2 } from "typebox";
|
|
484
|
-
var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, existenceRowUnion, MECHANISM_LABELS, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, clauseRowBase, CLAUSE_LABELS, clauseExistenceRowSchema, countersignSubmissionSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
|
|
484
|
+
var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, existenceRowUnion, MECHANISM_LABELS, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, clauseRowBase, CLAUSE_LABELS, clauseExistenceRowSchema, countersignSubmissionSchema, judgeMechanismRowSchema, judgeSubmissionSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
|
|
485
485
|
var init_review_submission = __esm({
|
|
486
486
|
"src/review-submission.ts"() {
|
|
487
487
|
"use strict";
|
|
@@ -635,6 +635,24 @@ var init_review_submission = __esm({
|
|
|
635
635
|
{ additionalProperties: true }
|
|
636
636
|
)
|
|
637
637
|
);
|
|
638
|
+
judgeMechanismRowSchema = mechanismRowUnion({
|
|
639
|
+
origin: Type2.Union(
|
|
640
|
+
[Type2.Literal("\u5B9E\u73B0\u51C0\u589E\uFF1A\u672C\u7968\u8D77\u70B9\u5230\u6240\u5BA1 HEAD \u7684\u751F\u4EA7\u4EE3\u7801\u91CC\u5DF2\u6709\u7684"), Type2.Literal("\u672C\u5224\u5904\u65B9\uFF1A\u672C\u8F6E\u5224\u8BCD\u7684\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684")],
|
|
641
|
+
{ description: "\u8FD9\u4E00\u5C42\u4ECE\u54EA\u6765\u3002\u5904\u65B9\u884C\u7684 where \u5199\u5904\u65B9\u539F\u6587\u800C\u4E0D\u662F path:line\uFF1B\u5904\u65B9\u4F1A\u957F\u51FA\u793A\u8303\u4E0D\u5E26\u7684\u5C42\uFF0C\u5904\u65B9\u672C\u8EAB\u5C31\u4E0D\u80FD\u5F00" }
|
|
642
|
+
)
|
|
643
|
+
});
|
|
644
|
+
judgeSubmissionSchema = withTerminatingOutputDeclarations(
|
|
645
|
+
Type2.Object(
|
|
646
|
+
{
|
|
647
|
+
status: reviewStatusField,
|
|
648
|
+
...reviewNarrativeFields,
|
|
649
|
+
mechanisms: Type2.Array(judgeMechanismRowSchema, {
|
|
650
|
+
description: "\u5B58\u5E9F\u5C3A\uFF1A\u6240\u5BA1\u5B9E\u73B0\u4ECE\u672C\u7968\u8D77\u70B9\u5230 HEAD \u751F\u4EA7\u4EE3\u7801\u65B0\u589E\u7684\u6BCF\u4E00\u5904\u4F9D\u8D56\u884C\u3001\u8DE8\u8C03\u7528\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u88C5\u9970\u6216\u5305\u88C5\u5404\u4E00\u884C\uFF08origin \u5B9E\u73B0\u51C0\u589E\uFF09\uFF0C\u518D\u52A0\u672C\u8F6E\u5224\u8BCD\u6BCF\u6761\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684\u6BCF\u4E00\u5C42\u5404\u4E00\u884C\uFF08origin \u672C\u5224\u5904\u65B9\uFF09\u3002\u6BCF\u884C\u53EA\u95EE\u4E00\u4EF6\u4E8B\uFF1A\u8FD9\u4E00\u5173\u5207\uFF08\u8BFB\u590D\u7528\u3001\u5E76\u53D1\u3001\u5931\u6548\u2026\u2026\uFF09\u5728 ADR\uFF0F\u7968\u9762\u70B9\u540D\u7684\u5E94\u7528\u6846\u67B6\u5B98\u65B9\u793A\u8303\u91CC\u600E\u4E48\u5904\u7406\u2014\u2014\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF0C\u5C31\u662F\u5220\uFF1B\u4E0D\u95EE\u7968\u9762\u90A3\u53E5\u8981\u6C42\u80FD\u4E0D\u80FD\u9760\u793A\u8303\u6EE1\u8DB3\u3002\u7968\u9762\u8981\u6C42\u8D85\u8FC7\u793A\u8303\u7684\uFF0C\u884C\u7167\u586B\u5220\uFF0C\u90A3\u53E5\u8981\u6C42\u4E0A\u5448\u3002\u6709\u300C\u5220\u300D\u884C\uFF1A\u5B9E\u73B0\u91CC\u7684\uFF0C\u5224\u5220\u6216\u4E0A\u5448\uFF0C\u4E0D\u5F97\u636E\u4EE5\u7F72\u6536\u655B\uFF1B\u5904\u65B9\u91CC\u7684\uFF0C\u90A3\u6761\u5904\u65B9\u4E0D\u80FD\u5F00\u3002\u7968\u9762\u5DF2\u5199\u3001\u524D\u8F6E\u5224\u8BCD\u8981\u6C42\u8FC7\u3001\u65BD\u5DE5\u81EA\u8FF0\u3001\u965B\u4E0B\u5BF9\u522B\u7684\u9898\u70B9\u8FC7\u5934\uFF0C\u90FD\u4E0D\u662F\u300C\u7559\u300D\u7684\u7406\u7531\u3002\u884C\u53EA\u80FD\u8FDB\u8FD9\u5F20\u8868\uFF1A\u4E0D\u53E6\u5F00\u5B57\u6BB5\u5B58\u653E\uFF0C\u4E0D\u7559\u300C\u5F85\u5B9A\u300D\uFF1B\u4E00\u5904\u6CA1\u6709\u4E3A\u7A7A\u6570\u7EC4\u3002"
|
|
651
|
+
})
|
|
652
|
+
},
|
|
653
|
+
{ additionalProperties: true }
|
|
654
|
+
)
|
|
655
|
+
);
|
|
638
656
|
inspectorSubmissionSchema = withTerminatingOutputDeclarations(
|
|
639
657
|
Type2.Object(
|
|
640
658
|
{
|
|
@@ -4571,9 +4589,9 @@ var init_role_submission_declarations = __esm({
|
|
|
4571
4589
|
SUBMISSION_FACE = {
|
|
4572
4590
|
judge: {
|
|
4573
4591
|
label: "\u5927\u7406\u5BFA\u8F93\u51FA",
|
|
4574
|
-
description: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD\uFF1B\u4EA4\u5377\u8C03\u7528\u7ED3\u675F\u540E\uFF0C\u7531\u516C\u5F00\u8C03\u7528\u63A5\u7F1D\u6309\u5224\u8BCD\u72B6\u6001\u6267\u884C\u9002\u7528\u5BA1\u6838\u3002",
|
|
4592
|
+
description: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD\uFF08\u542B\u6240\u5BA1\u5B9E\u73B0\u4E0E\u672C\u5224\u5904\u65B9\u7684\u5B58\u5E9F\u5C3A mechanisms\uFF09\uFF1B\u4EA4\u5377\u8C03\u7528\u7ED3\u675F\u540E\uFF0C\u7531\u516C\u5F00\u8C03\u7528\u63A5\u7F1D\u6309\u5224\u8BCD\u72B6\u6001\u6267\u884C\u9002\u7528\u5BA1\u6838\u3002",
|
|
4575
4593
|
promptSnippet: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD",
|
|
4576
|
-
parameters:
|
|
4594
|
+
parameters: judgeSubmissionSchema
|
|
4577
4595
|
},
|
|
4578
4596
|
fixer: {
|
|
4579
4597
|
label: "\u4FEE\u5185\u53F8\u8F93\u51FA",
|
|
@@ -8707,7 +8707,7 @@ var init_navigator_output = __esm({
|
|
|
8707
8707
|
});
|
|
8708
8708
|
|
|
8709
8709
|
// src/review-submission.ts
|
|
8710
|
-
var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, existenceRowUnion, MECHANISM_LABELS, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, clauseRowBase, CLAUSE_LABELS, clauseExistenceRowSchema, countersignSubmissionSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
|
|
8710
|
+
var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, existenceRowUnion, MECHANISM_LABELS, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, clauseRowBase, CLAUSE_LABELS, clauseExistenceRowSchema, countersignSubmissionSchema, judgeMechanismRowSchema, judgeSubmissionSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
|
|
8711
8711
|
var init_review_submission = __esm({
|
|
8712
8712
|
"src/review-submission.ts"() {
|
|
8713
8713
|
"use strict";
|
|
@@ -8862,6 +8862,24 @@ var init_review_submission = __esm({
|
|
|
8862
8862
|
{ additionalProperties: true }
|
|
8863
8863
|
)
|
|
8864
8864
|
);
|
|
8865
|
+
judgeMechanismRowSchema = mechanismRowUnion({
|
|
8866
|
+
origin: typebox_exports.Union(
|
|
8867
|
+
[typebox_exports.Literal("\u5B9E\u73B0\u51C0\u589E\uFF1A\u672C\u7968\u8D77\u70B9\u5230\u6240\u5BA1 HEAD \u7684\u751F\u4EA7\u4EE3\u7801\u91CC\u5DF2\u6709\u7684"), typebox_exports.Literal("\u672C\u5224\u5904\u65B9\uFF1A\u672C\u8F6E\u5224\u8BCD\u7684\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684")],
|
|
8868
|
+
{ description: "\u8FD9\u4E00\u5C42\u4ECE\u54EA\u6765\u3002\u5904\u65B9\u884C\u7684 where \u5199\u5904\u65B9\u539F\u6587\u800C\u4E0D\u662F path:line\uFF1B\u5904\u65B9\u4F1A\u957F\u51FA\u793A\u8303\u4E0D\u5E26\u7684\u5C42\uFF0C\u5904\u65B9\u672C\u8EAB\u5C31\u4E0D\u80FD\u5F00" }
|
|
8869
|
+
)
|
|
8870
|
+
});
|
|
8871
|
+
judgeSubmissionSchema = withTerminatingOutputDeclarations(
|
|
8872
|
+
typebox_exports.Object(
|
|
8873
|
+
{
|
|
8874
|
+
status: reviewStatusField,
|
|
8875
|
+
...reviewNarrativeFields,
|
|
8876
|
+
mechanisms: typebox_exports.Array(judgeMechanismRowSchema, {
|
|
8877
|
+
description: "\u5B58\u5E9F\u5C3A\uFF1A\u6240\u5BA1\u5B9E\u73B0\u4ECE\u672C\u7968\u8D77\u70B9\u5230 HEAD \u751F\u4EA7\u4EE3\u7801\u65B0\u589E\u7684\u6BCF\u4E00\u5904\u4F9D\u8D56\u884C\u3001\u8DE8\u8C03\u7528\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u88C5\u9970\u6216\u5305\u88C5\u5404\u4E00\u884C\uFF08origin \u5B9E\u73B0\u51C0\u589E\uFF09\uFF0C\u518D\u52A0\u672C\u8F6E\u5224\u8BCD\u6BCF\u6761\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684\u6BCF\u4E00\u5C42\u5404\u4E00\u884C\uFF08origin \u672C\u5224\u5904\u65B9\uFF09\u3002\u6BCF\u884C\u53EA\u95EE\u4E00\u4EF6\u4E8B\uFF1A\u8FD9\u4E00\u5173\u5207\uFF08\u8BFB\u590D\u7528\u3001\u5E76\u53D1\u3001\u5931\u6548\u2026\u2026\uFF09\u5728 ADR\uFF0F\u7968\u9762\u70B9\u540D\u7684\u5E94\u7528\u6846\u67B6\u5B98\u65B9\u793A\u8303\u91CC\u600E\u4E48\u5904\u7406\u2014\u2014\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF0C\u5C31\u662F\u5220\uFF1B\u4E0D\u95EE\u7968\u9762\u90A3\u53E5\u8981\u6C42\u80FD\u4E0D\u80FD\u9760\u793A\u8303\u6EE1\u8DB3\u3002\u7968\u9762\u8981\u6C42\u8D85\u8FC7\u793A\u8303\u7684\uFF0C\u884C\u7167\u586B\u5220\uFF0C\u90A3\u53E5\u8981\u6C42\u4E0A\u5448\u3002\u6709\u300C\u5220\u300D\u884C\uFF1A\u5B9E\u73B0\u91CC\u7684\uFF0C\u5224\u5220\u6216\u4E0A\u5448\uFF0C\u4E0D\u5F97\u636E\u4EE5\u7F72\u6536\u655B\uFF1B\u5904\u65B9\u91CC\u7684\uFF0C\u90A3\u6761\u5904\u65B9\u4E0D\u80FD\u5F00\u3002\u7968\u9762\u5DF2\u5199\u3001\u524D\u8F6E\u5224\u8BCD\u8981\u6C42\u8FC7\u3001\u65BD\u5DE5\u81EA\u8FF0\u3001\u965B\u4E0B\u5BF9\u522B\u7684\u9898\u70B9\u8FC7\u5934\uFF0C\u90FD\u4E0D\u662F\u300C\u7559\u300D\u7684\u7406\u7531\u3002\u884C\u53EA\u80FD\u8FDB\u8FD9\u5F20\u8868\uFF1A\u4E0D\u53E6\u5F00\u5B57\u6BB5\u5B58\u653E\uFF0C\u4E0D\u7559\u300C\u5F85\u5B9A\u300D\uFF1B\u4E00\u5904\u6CA1\u6709\u4E3A\u7A7A\u6570\u7EC4\u3002"
|
|
8878
|
+
})
|
|
8879
|
+
},
|
|
8880
|
+
{ additionalProperties: true }
|
|
8881
|
+
)
|
|
8882
|
+
);
|
|
8865
8883
|
inspectorSubmissionSchema = withTerminatingOutputDeclarations(
|
|
8866
8884
|
typebox_exports.Object(
|
|
8867
8885
|
{
|
|
@@ -9867,9 +9885,9 @@ var init_role_submission_declarations = __esm({
|
|
|
9867
9885
|
SUBMISSION_FACE = {
|
|
9868
9886
|
judge: {
|
|
9869
9887
|
label: "\u5927\u7406\u5BFA\u8F93\u51FA",
|
|
9870
|
-
description: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD\uFF1B\u4EA4\u5377\u8C03\u7528\u7ED3\u675F\u540E\uFF0C\u7531\u516C\u5F00\u8C03\u7528\u63A5\u7F1D\u6309\u5224\u8BCD\u72B6\u6001\u6267\u884C\u9002\u7528\u5BA1\u6838\u3002",
|
|
9888
|
+
description: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD\uFF08\u542B\u6240\u5BA1\u5B9E\u73B0\u4E0E\u672C\u5224\u5904\u65B9\u7684\u5B58\u5E9F\u5C3A mechanisms\uFF09\uFF1B\u4EA4\u5377\u8C03\u7528\u7ED3\u675F\u540E\uFF0C\u7531\u516C\u5F00\u8C03\u7528\u63A5\u7F1D\u6309\u5224\u8BCD\u72B6\u6001\u6267\u884C\u9002\u7528\u5BA1\u6838\u3002",
|
|
9871
9889
|
promptSnippet: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD",
|
|
9872
|
-
parameters:
|
|
9890
|
+
parameters: judgeSubmissionSchema
|
|
9873
9891
|
},
|
|
9874
9892
|
fixer: {
|
|
9875
9893
|
label: "\u4FEE\u5185\u53F8\u8F93\u51FA",
|
package/dist/public-cli/main.js
CHANGED
|
@@ -9197,7 +9197,7 @@ var init_navigator_output = __esm({
|
|
|
9197
9197
|
});
|
|
9198
9198
|
|
|
9199
9199
|
// src/review-submission.ts
|
|
9200
|
-
var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, existenceRowUnion, MECHANISM_LABELS, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, clauseRowBase, CLAUSE_LABELS, clauseExistenceRowSchema, countersignSubmissionSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
|
|
9200
|
+
var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, existenceRowUnion, MECHANISM_LABELS, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, clauseRowBase, CLAUSE_LABELS, clauseExistenceRowSchema, countersignSubmissionSchema, judgeMechanismRowSchema, judgeSubmissionSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
|
|
9201
9201
|
var init_review_submission = __esm({
|
|
9202
9202
|
"src/review-submission.ts"() {
|
|
9203
9203
|
"use strict";
|
|
@@ -9352,6 +9352,24 @@ var init_review_submission = __esm({
|
|
|
9352
9352
|
{ additionalProperties: true }
|
|
9353
9353
|
)
|
|
9354
9354
|
);
|
|
9355
|
+
judgeMechanismRowSchema = mechanismRowUnion({
|
|
9356
|
+
origin: typebox_exports.Union(
|
|
9357
|
+
[typebox_exports.Literal("\u5B9E\u73B0\u51C0\u589E\uFF1A\u672C\u7968\u8D77\u70B9\u5230\u6240\u5BA1 HEAD \u7684\u751F\u4EA7\u4EE3\u7801\u91CC\u5DF2\u6709\u7684"), typebox_exports.Literal("\u672C\u5224\u5904\u65B9\uFF1A\u672C\u8F6E\u5224\u8BCD\u7684\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684")],
|
|
9358
|
+
{ description: "\u8FD9\u4E00\u5C42\u4ECE\u54EA\u6765\u3002\u5904\u65B9\u884C\u7684 where \u5199\u5904\u65B9\u539F\u6587\u800C\u4E0D\u662F path:line\uFF1B\u5904\u65B9\u4F1A\u957F\u51FA\u793A\u8303\u4E0D\u5E26\u7684\u5C42\uFF0C\u5904\u65B9\u672C\u8EAB\u5C31\u4E0D\u80FD\u5F00" }
|
|
9359
|
+
)
|
|
9360
|
+
});
|
|
9361
|
+
judgeSubmissionSchema = withTerminatingOutputDeclarations(
|
|
9362
|
+
typebox_exports.Object(
|
|
9363
|
+
{
|
|
9364
|
+
status: reviewStatusField,
|
|
9365
|
+
...reviewNarrativeFields,
|
|
9366
|
+
mechanisms: typebox_exports.Array(judgeMechanismRowSchema, {
|
|
9367
|
+
description: "\u5B58\u5E9F\u5C3A\uFF1A\u6240\u5BA1\u5B9E\u73B0\u4ECE\u672C\u7968\u8D77\u70B9\u5230 HEAD \u751F\u4EA7\u4EE3\u7801\u65B0\u589E\u7684\u6BCF\u4E00\u5904\u4F9D\u8D56\u884C\u3001\u8DE8\u8C03\u7528\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u88C5\u9970\u6216\u5305\u88C5\u5404\u4E00\u884C\uFF08origin \u5B9E\u73B0\u51C0\u589E\uFF09\uFF0C\u518D\u52A0\u672C\u8F6E\u5224\u8BCD\u6BCF\u6761\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684\u6BCF\u4E00\u5C42\u5404\u4E00\u884C\uFF08origin \u672C\u5224\u5904\u65B9\uFF09\u3002\u6BCF\u884C\u53EA\u95EE\u4E00\u4EF6\u4E8B\uFF1A\u8FD9\u4E00\u5173\u5207\uFF08\u8BFB\u590D\u7528\u3001\u5E76\u53D1\u3001\u5931\u6548\u2026\u2026\uFF09\u5728 ADR\uFF0F\u7968\u9762\u70B9\u540D\u7684\u5E94\u7528\u6846\u67B6\u5B98\u65B9\u793A\u8303\u91CC\u600E\u4E48\u5904\u7406\u2014\u2014\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF0C\u5C31\u662F\u5220\uFF1B\u4E0D\u95EE\u7968\u9762\u90A3\u53E5\u8981\u6C42\u80FD\u4E0D\u80FD\u9760\u793A\u8303\u6EE1\u8DB3\u3002\u7968\u9762\u8981\u6C42\u8D85\u8FC7\u793A\u8303\u7684\uFF0C\u884C\u7167\u586B\u5220\uFF0C\u90A3\u53E5\u8981\u6C42\u4E0A\u5448\u3002\u6709\u300C\u5220\u300D\u884C\uFF1A\u5B9E\u73B0\u91CC\u7684\uFF0C\u5224\u5220\u6216\u4E0A\u5448\uFF0C\u4E0D\u5F97\u636E\u4EE5\u7F72\u6536\u655B\uFF1B\u5904\u65B9\u91CC\u7684\uFF0C\u90A3\u6761\u5904\u65B9\u4E0D\u80FD\u5F00\u3002\u7968\u9762\u5DF2\u5199\u3001\u524D\u8F6E\u5224\u8BCD\u8981\u6C42\u8FC7\u3001\u65BD\u5DE5\u81EA\u8FF0\u3001\u965B\u4E0B\u5BF9\u522B\u7684\u9898\u70B9\u8FC7\u5934\uFF0C\u90FD\u4E0D\u662F\u300C\u7559\u300D\u7684\u7406\u7531\u3002\u884C\u53EA\u80FD\u8FDB\u8FD9\u5F20\u8868\uFF1A\u4E0D\u53E6\u5F00\u5B57\u6BB5\u5B58\u653E\uFF0C\u4E0D\u7559\u300C\u5F85\u5B9A\u300D\uFF1B\u4E00\u5904\u6CA1\u6709\u4E3A\u7A7A\u6570\u7EC4\u3002"
|
|
9368
|
+
})
|
|
9369
|
+
},
|
|
9370
|
+
{ additionalProperties: true }
|
|
9371
|
+
)
|
|
9372
|
+
);
|
|
9355
9373
|
inspectorSubmissionSchema = withTerminatingOutputDeclarations(
|
|
9356
9374
|
typebox_exports.Object(
|
|
9357
9375
|
{
|
|
@@ -11607,9 +11625,9 @@ var init_role_submission_declarations = __esm({
|
|
|
11607
11625
|
SUBMISSION_FACE = {
|
|
11608
11626
|
judge: {
|
|
11609
11627
|
label: "\u5927\u7406\u5BFA\u8F93\u51FA",
|
|
11610
|
-
description: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD\uFF1B\u4EA4\u5377\u8C03\u7528\u7ED3\u675F\u540E\uFF0C\u7531\u516C\u5F00\u8C03\u7528\u63A5\u7F1D\u6309\u5224\u8BCD\u72B6\u6001\u6267\u884C\u9002\u7528\u5BA1\u6838\u3002",
|
|
11628
|
+
description: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD\uFF08\u542B\u6240\u5BA1\u5B9E\u73B0\u4E0E\u672C\u5224\u5904\u65B9\u7684\u5B58\u5E9F\u5C3A mechanisms\uFF09\uFF1B\u4EA4\u5377\u8C03\u7528\u7ED3\u675F\u540E\uFF0C\u7531\u516C\u5F00\u8C03\u7528\u63A5\u7F1D\u6309\u5224\u8BCD\u72B6\u6001\u6267\u884C\u9002\u7528\u5BA1\u6838\u3002",
|
|
11611
11629
|
promptSnippet: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD",
|
|
11612
|
-
parameters:
|
|
11630
|
+
parameters: judgeSubmissionSchema
|
|
11613
11631
|
},
|
|
11614
11632
|
fixer: {
|
|
11615
11633
|
label: "\u4FEE\u5185\u53F8\u8F93\u51FA",
|
|
@@ -137,6 +137,18 @@ export const countersignSubmissionSchema = withTerminatingOutputDeclarations(Typ
|
|
|
137
137
|
description: "存废尺:现行票面每条让机制存在的条款各一行——明写机制的,和只写结果要求、现状代码满足不了的,两类都算——到 ADR/票面点名的应用框架官方示范里看不带它时同一关切怎么处理。有「不要」行在,不得署,封驳或上呈并点名那条。票面已写、前轮判词要求过、签发方答过、陛下对别的题点过头,都不是「要」的理由;「要」只认示范里带同样的层。一条没有为空数组。",
|
|
138
138
|
}),
|
|
139
139
|
}, { additionalProperties: true }));
|
|
140
|
+
/** Judge row: the mechanism row plus where the layer comes from — the implementation under judgment, or the judge's own prescription. */
|
|
141
|
+
export const judgeMechanismRowSchema = mechanismRowUnion({
|
|
142
|
+
origin: Type.Union([Type.Literal("实现净增:本票起点到所审 HEAD 的生产代码里已有的"), Type.Literal("本判处方:本轮判词的处方或约束落实后会长出的")], { description: "这一层从哪来。处方行的 where 写处方原文而不是 path:line;处方会长出示范不带的层,处方本身就不能开" }),
|
|
143
|
+
});
|
|
144
|
+
/** Judge generation schema: shared review face plus the 存废尺 over everything the verdict rules on (package records as-is). */
|
|
145
|
+
export const judgeSubmissionSchema = withTerminatingOutputDeclarations(Type.Object({
|
|
146
|
+
status: reviewStatusField,
|
|
147
|
+
...reviewNarrativeFields,
|
|
148
|
+
mechanisms: Type.Array(judgeMechanismRowSchema, {
|
|
149
|
+
description: "存废尺:所审实现从本票起点到 HEAD 生产代码新增的每一处依赖行、跨调用状态、锁、缓存装饰或包装各一行(origin 实现净增),再加本轮判词每条处方或约束落实后会长出的每一层各一行(origin 本判处方)。每行只问一件事:这一关切(读复用、并发、失效……)在 ADR/票面点名的应用框架官方示范里怎么处理——示范不带这一层也处理得了,就是删;不问票面那句要求能不能靠示范满足。票面要求超过示范的,行照填删,那句要求上呈。有「删」行:实现里的,判删或上呈,不得据以署收敛;处方里的,那条处方不能开。票面已写、前轮判词要求过、施工自述、陛下对别的题点过头,都不是「留」的理由。行只能进这张表:不另开字段存放,不留「待定」;一处没有为空数组。",
|
|
150
|
+
}),
|
|
151
|
+
}, { additionalProperties: true }));
|
|
140
152
|
/** Inspector generation schema: shared review face plus the required whole-ticket complexity answer (package records as-is). */
|
|
141
153
|
export const inspectorSubmissionSchema = withTerminatingOutputDeclarations(Type.Object({
|
|
142
154
|
status: reviewStatusField,
|
|
@@ -5,7 +5,7 @@
|
|
|
5
5
|
* Execute lives in filed-submission.ts.
|
|
6
6
|
*/
|
|
7
7
|
import { packagedRoleOutputTool } from "./packaged-role-registry.js";
|
|
8
|
-
import { auditorSubmissionSchema, countersignSubmissionSchema, notaryReviewSubmissionSchema, inspectorSubmissionSchema, reviewSubmissionSchema } from "./review-submission.js";
|
|
8
|
+
import { auditorSubmissionSchema, countersignSubmissionSchema, judgeSubmissionSchema, notaryReviewSubmissionSchema, inspectorSubmissionSchema, reviewSubmissionSchema } from "./review-submission.js";
|
|
9
9
|
import { collectorOutputArgsSchema } from "./collector-tool-schemas.js";
|
|
10
10
|
import { diaristOutputSchema } from "./diarist-contracts.js";
|
|
11
11
|
import { doctorSubmissionSchema, DOCTOR_OUTPUT_TOOL_DESCRIPTION } from "./doctor-contracts.js";
|
|
@@ -20,9 +20,9 @@ import { coderOutputSchema } from "./package-contracts/worker-output.js";
|
|
|
20
20
|
const SUBMISSION_FACE = {
|
|
21
21
|
judge: {
|
|
22
22
|
label: "大理寺输出",
|
|
23
|
-
description: "
|
|
23
|
+
description: "提交大理寺终局判词(含所审实现与本判处方的存废尺 mechanisms);交卷调用结束后,由公开调用接缝按判词状态执行适用审核。",
|
|
24
24
|
promptSnippet: "提交大理寺终局判词",
|
|
25
|
-
parameters:
|
|
25
|
+
parameters: judgeSubmissionSchema,
|
|
26
26
|
},
|
|
27
27
|
fixer: {
|
|
28
28
|
label: "修内司输出",
|
package/package.json
CHANGED
package/souls/judge.md
CHANGED
|
@@ -9,7 +9,7 @@ Judge Soul(大理寺)
|
|
|
9
9
|
五、裁断。 主张不是证据。一切 LLM 主张须亲验;当前事实只认当前 head,修复者自述不能替代新 head 上的机械验证与独立复查。机器执行的事实怎么核,见《审法·取证授权》。
|
|
10
10
|
事实与处方分判:事实成立而处方违法源,保留事实,驳回处方或另开合法处方。 每条问题显式记录和处置,严重度由你裁定,不因级别低而遗漏或暗降;裁决与驳回须锚定法源和证据。依当前一手证据独立双向抽样重推,误删与该删未删同查。
|
|
11
11
|
测试质量须亲审。取证与同类复核依《审法》;复杂度、测试质量与成本依《质量法》,不另立一套标准。
|
|
12
|
-
|
|
12
|
+
删简根因优先。存废尺按层过:所审实现净增的每一处跨调用状态、锁、缓存、依赖,和你每条处方落实后会长出的每一层,各记一行进 mechanisms。每行只问一件事:这一关切在 ADR/票面点名的应用框架官方示范里怎么处理——示范不带这一层也处理得了,就填删;不问票面那句要求能不能靠示范满足,票面要求超过示范的,行照填删、那句要求上呈。实现里的删行判删或上呈,处方里的删行那条处方不能开;票面已写、前轮判词要求过、施工自述、陛下对别的题点过头,都不是留它的理由。行只进 mechanisms,不另开字段存放、不留待定。护栏类 finding(防误用、交错、边角的检查或绑定)无真实可复现的失败或历史实例的,按过度防御驳回,不列 P1;票面明写不做的机制,处方不得开(越权加戏)。批准护栏须说明不变式所属接缝及为何删简根因不足。
|
|
13
13
|
区分原缺陷所需改动、修复自身造成的返工、无依据的新机制;后两类主导时优先拆除或简化。同缝反复、根因不明、范围发散、疑跨接缝或 flake,先做最小化、证据驱动的诊断,不继续猜修。一轮轮只加不减,本身就是须上报的问题。
|
|
14
14
|
判词
|
|
15
15
|
|
package/souls/notary.md
CHANGED
|
@@ -16,16 +16,8 @@
|
|
|
16
16
|
注意,被审衙门引的法不替它免核:不管是本票之前已立的,还是本票自己写进票面、ADR、CONTEXT 的,凡撑着方向、设计、决策一级条款的:陛下对这件事说过话的,对着他的意思看——违背、超出、曲解,任一即驳;他没说过的,按上条。
|
|
17
17
|
「这件事」按陛下的意思圈,不按条款自己的叫法:他对一类做法说过不要,这一类里每一条新做法都是他说过话的事。引来撑一条的法,先看它讲的是不是这一条:讲失败要报出来的法,撑不起一道新加的检查。
|
|
18
18
|
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
键值已写进 ADR、票面已过庭、判词已引用,都不算原话,不豁免。
|
|
22
|
-
伪引:给事中把 ADR 0075 里的验真句当陛下原话引进判词(#779 票庭 r4,2026-09-08 15:15)。符宝郎按起居录逐句对,那句在 ADR 里、不在起居录里,打回;给事中改后署。
|
|
23
|
-
报「参与人物不存在」的那个人其实存在——他叫练国事,LLM 按奏疏称他「陕西巡抚」,引擎只认本名、连自己名册里存着的别名都不认;而符宝郎三轮放行,是因为闸只核「有没有编陛下的话」,票面确实一个字没编,于是一张根因就错的票完全合法地过了庭。
|
|
24
|
-
意图曲解:大理寺 r2 要求「最终 head 上先真跑一次审核往返才收敛」,起居录当时已有陛下「645等我在的时候试。你不跑。做完以后告诉我就行了。我会拿真的东西跑」(#645 大理寺 r2,2026-09-09 02:52,符宝郎 run 01a0821b)。符宝郎两轮放行,判词写「仍与票面『交付后实际跑』一致」——对了六个字,没对陛下明说的意思。
|
|
25
|
-
只查行为不查内容:大理寺查「每轮新增回执为空」,就断定起居录里没有记录,判票庭伪引;实际权威账本里那 24 条一直都在,引证属实。而符宝郎自己也没找到起居录,就信了大理寺引用的起居录。符宝郎要的是「权威起居录」,判官给的是「每轮新增回执」,把后者当成了前者的充分证明,然后第三轮 pass 时还把这个推断写进了署词。。认得出票、本该有录却找不到,应上呈,不是通过;真无票对象(true-unbound)本就无录,按 ADR 0075 改以 source-run 核旨,不得因缺录打回给事中。
|
|
26
|
-
驳回被读成授权:一条腿怎么知道自己在哪张票上,陛下两次驳回——「? 起居录是吃干饭的吗?还要问这个?」「票号不是 读起居录吗?又是什么道?」——意思是 LLM 自己去读那份记录;票面却把「读」读成「机械层读」,据此写出「缺来源的九席在 turn 之前读起居录取得本票号」与验收「经新增前置读取接缝」,授权栏挂的正是那两句驳回(#858 seal 5,2026-09-14 23:35,符宝郎 run 01a0a0aa)。符宝郎九轮全 pass,因为闸只核「有没有编陛下的话」,那两句确实一个字没编——于是一段没人批准的机制完全合法地过了庭,施工席照它跑了一整局、零 commit 收工,直到陛下第四次开口才拦下。原话为真只答了一半,另一半是:这条机制是从这句话的哪个意思推出来的?推不出即加戏。驳回句是关闭分叉,不是开工授权。
|
|
27
|
-
选项夹带:宰相问「备注必须画全吗」,B 选项正文顺手写了「本票不修」,陛下答「B」(#224 2026-10-28,符宝郎 run 01a18120)。符宝郎六轮都把「只调研,不修」挂在这个 B 上,推导写「结合原始体检目标取本票不施工」——那是它自己选的读法;所答的句子只问备注,整票修不修没有原话,该填 null 上呈。
|
|
28
|
-
等等。。。
|
|
19
|
+
同题在起居录里有更早原话的,一并对撞,后话只覆盖它明说的部分,没说的部分仍以前话为准。
|
|
20
|
+
键值已写进 ADR、票面已过庭、判词已引用,都不算原话,不豁免。
|
|
29
21
|
任一病成立,点名该条驳回;拿不准陛下本意的,上呈。
|
|
30
22
|
|
|
31
23
|
方法:按条封驳。
|
package/src/review-submission.ts
CHANGED
|
@@ -215,6 +215,29 @@ export const countersignSubmissionSchema = withTerminatingOutputDeclarations(
|
|
|
215
215
|
),
|
|
216
216
|
);
|
|
217
217
|
|
|
218
|
+
/** Judge row: the mechanism row plus where the layer comes from — the implementation under judgment, or the judge's own prescription. */
|
|
219
|
+
export const judgeMechanismRowSchema = mechanismRowUnion({
|
|
220
|
+
origin: Type.Union(
|
|
221
|
+
[Type.Literal("实现净增:本票起点到所审 HEAD 的生产代码里已有的"), Type.Literal("本判处方:本轮判词的处方或约束落实后会长出的")],
|
|
222
|
+
{ description: "这一层从哪来。处方行的 where 写处方原文而不是 path:line;处方会长出示范不带的层,处方本身就不能开" },
|
|
223
|
+
),
|
|
224
|
+
});
|
|
225
|
+
|
|
226
|
+
/** Judge generation schema: shared review face plus the 存废尺 over everything the verdict rules on (package records as-is). */
|
|
227
|
+
export const judgeSubmissionSchema = withTerminatingOutputDeclarations(
|
|
228
|
+
Type.Object(
|
|
229
|
+
{
|
|
230
|
+
status: reviewStatusField,
|
|
231
|
+
...reviewNarrativeFields,
|
|
232
|
+
mechanisms: Type.Array(judgeMechanismRowSchema, {
|
|
233
|
+
description:
|
|
234
|
+
"存废尺:所审实现从本票起点到 HEAD 生产代码新增的每一处依赖行、跨调用状态、锁、缓存装饰或包装各一行(origin 实现净增),再加本轮判词每条处方或约束落实后会长出的每一层各一行(origin 本判处方)。每行只问一件事:这一关切(读复用、并发、失效……)在 ADR/票面点名的应用框架官方示范里怎么处理——示范不带这一层也处理得了,就是删;不问票面那句要求能不能靠示范满足。票面要求超过示范的,行照填删,那句要求上呈。有「删」行:实现里的,判删或上呈,不得据以署收敛;处方里的,那条处方不能开。票面已写、前轮判词要求过、施工自述、陛下对别的题点过头,都不是「留」的理由。行只能进这张表:不另开字段存放,不留「待定」;一处没有为空数组。",
|
|
235
|
+
}),
|
|
236
|
+
},
|
|
237
|
+
{ additionalProperties: true },
|
|
238
|
+
),
|
|
239
|
+
);
|
|
240
|
+
|
|
218
241
|
/** Inspector generation schema: shared review face plus the required whole-ticket complexity answer (package records as-is). */
|
|
219
242
|
export const inspectorSubmissionSchema = withTerminatingOutputDeclarations(
|
|
220
243
|
Type.Object(
|
|
@@ -5,7 +5,7 @@
|
|
|
5
5
|
* Execute lives in filed-submission.ts.
|
|
6
6
|
*/
|
|
7
7
|
import { packagedRoleOutputTool, type PackagedRole } from "./packaged-role-registry.ts";
|
|
8
|
-
import { auditorSubmissionSchema, countersignSubmissionSchema, notaryReviewSubmissionSchema, inspectorSubmissionSchema, reviewSubmissionSchema } from "./review-submission.ts";
|
|
8
|
+
import { auditorSubmissionSchema, countersignSubmissionSchema, judgeSubmissionSchema, notaryReviewSubmissionSchema, inspectorSubmissionSchema, reviewSubmissionSchema } from "./review-submission.ts";
|
|
9
9
|
import { collectorOutputArgsSchema } from "./collector-tool-schemas.ts";
|
|
10
10
|
import { diaristOutputSchema } from "./diarist-contracts.ts";
|
|
11
11
|
import { doctorSubmissionSchema, DOCTOR_OUTPUT_TOOL_DESCRIPTION } from "./doctor-contracts.ts";
|
|
@@ -32,9 +32,9 @@ type SubmissionFace = Omit<RoleSubmissionDeclaration, "role" | "name">;
|
|
|
32
32
|
const SUBMISSION_FACE = {
|
|
33
33
|
judge: {
|
|
34
34
|
label: "大理寺输出",
|
|
35
|
-
description: "
|
|
35
|
+
description: "提交大理寺终局判词(含所审实现与本判处方的存废尺 mechanisms);交卷调用结束后,由公开调用接缝按判词状态执行适用审核。",
|
|
36
36
|
promptSnippet: "提交大理寺终局判词",
|
|
37
|
-
parameters:
|
|
37
|
+
parameters: judgeSubmissionSchema,
|
|
38
38
|
},
|
|
39
39
|
fixer: {
|
|
40
40
|
label: "修内司输出",
|