audit-tools 0.32.16 → 0.32.17
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/audit/cli/conceptualDispatch.d.ts +9 -1
- package/dist/audit/cli/conceptualDispatch.d.ts.map +1 -1
- package/dist/audit/cli/conceptualDispatch.js +3 -0
- package/dist/audit/cli/conceptualDispatch.js.map +1 -1
- package/dist/audit/contracts/workerSchemas.d.ts +13 -0
- package/dist/audit/contracts/workerSchemas.d.ts.map +1 -1
- package/dist/audit/orchestrator/taskAffinityGraph.d.ts +2 -2
- package/dist/audit/reporting/mergeFindings.d.ts.map +1 -1
- package/dist/audit/reporting/mergeFindings.js +6 -0
- package/dist/audit/reporting/mergeFindings.js.map +1 -1
- package/dist/audit/types.d.ts +5 -0
- package/dist/audit/types.d.ts.map +1 -1
- package/dist/audit/validation/artifacts.d.ts.map +1 -1
- package/dist/audit/validation/artifacts.js +19 -1
- package/dist/audit/validation/artifacts.js.map +1 -1
- package/dist/remediate/state/types.d.ts +5 -0
- package/dist/remediate/state/types.d.ts.map +1 -1
- package/dist/shared/index.d.ts +3 -0
- package/dist/shared/index.d.ts.map +1 -1
- package/dist/shared/index.js +2 -0
- package/dist/shared/index.js.map +1 -1
- package/dist/shared/types/charter.d.ts +242 -0
- package/dist/shared/types/charter.d.ts.map +1 -0
- package/dist/shared/types/charter.js +146 -0
- package/dist/shared/types/charter.js.map +1 -0
- package/dist/shared/types/finding.d.ts +40 -0
- package/dist/shared/types/finding.d.ts.map +1 -1
- package/dist/shared/types/finding.js +10 -0
- package/dist/shared/types/finding.js.map +1 -1
- package/dist/shared/types/intentCheckpoint.d.ts +224 -0
- package/dist/shared/types/intentCheckpoint.d.ts.map +1 -1
- package/dist/shared/types/intentCheckpoint.js +16 -0
- package/dist/shared/types/intentCheckpoint.js.map +1 -1
- package/dist/shared/validation/charterGate.d.ts +38 -0
- package/dist/shared/validation/charterGate.d.ts.map +1 -0
- package/dist/shared/validation/charterGate.js +73 -0
- package/dist/shared/validation/charterGate.js.map +1 -0
- package/package.json +1 -1
- package/schemas/audit_result.schema.json +4 -0
- package/schemas/audit_results.schema.json +4 -0
- package/schemas/finding.schema.json +4 -0
|
@@ -223,6 +223,16 @@ export declare const FindingSchema: z.ZodObject<{
|
|
|
223
223
|
related_findings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
|
|
224
224
|
/** Synthesis theme this finding belongs to (Phase 6). */
|
|
225
225
|
theme_id: z.ZodOptional<z.ZodString>;
|
|
226
|
+
/**
|
|
227
|
+
* How far up the goal graph a fix for this finding ripples (conceptual
|
|
228
|
+
* design-review spine, Phase A). Simultaneously PRIORITY (high blast = high
|
|
229
|
+
* value — re-drawing a charter boundary beats a leaf fix) and a RISK gate (a
|
|
230
|
+
* wrong high-blast finding is catastrophic → it must clear a higher adversarial
|
|
231
|
+
* bar before it is actionable). An integer height over the goal DAG; absent on
|
|
232
|
+
* findings with no goal-graph linkage (treated as 0 when ranking). Populated by
|
|
233
|
+
* the conceptual pass (later phases); deterministic findings omit it.
|
|
234
|
+
*/
|
|
235
|
+
blast_radius: z.ZodOptional<z.ZodNumber>;
|
|
226
236
|
/**
|
|
227
237
|
* Whether at least one evidence entry cites a real repo path (and valid line)
|
|
228
238
|
* that exists on disk. Set by the remediator's deterministic grounding pass on
|
|
@@ -348,6 +358,7 @@ export declare const FindingSchema: z.ZodObject<{
|
|
|
348
358
|
systemic?: boolean | undefined;
|
|
349
359
|
related_findings?: string[] | undefined;
|
|
350
360
|
theme_id?: string | undefined;
|
|
361
|
+
blast_radius?: number | undefined;
|
|
351
362
|
evidence_grounded?: boolean | undefined;
|
|
352
363
|
grounding?: {
|
|
353
364
|
status: "grounded" | "ungrounded" | "refuted";
|
|
@@ -395,6 +406,7 @@ export declare const FindingSchema: z.ZodObject<{
|
|
|
395
406
|
systemic?: boolean | undefined;
|
|
396
407
|
related_findings?: string[] | undefined;
|
|
397
408
|
theme_id?: string | undefined;
|
|
409
|
+
blast_radius?: number | undefined;
|
|
398
410
|
evidence_grounded?: boolean | undefined;
|
|
399
411
|
grounding?: {
|
|
400
412
|
status: "grounded" | "ungrounded" | "refuted";
|
|
@@ -693,6 +705,16 @@ export declare const AuditFindingsReportSchema: z.ZodObject<{
|
|
|
693
705
|
related_findings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
|
|
694
706
|
/** Synthesis theme this finding belongs to (Phase 6). */
|
|
695
707
|
theme_id: z.ZodOptional<z.ZodString>;
|
|
708
|
+
/**
|
|
709
|
+
* How far up the goal graph a fix for this finding ripples (conceptual
|
|
710
|
+
* design-review spine, Phase A). Simultaneously PRIORITY (high blast = high
|
|
711
|
+
* value — re-drawing a charter boundary beats a leaf fix) and a RISK gate (a
|
|
712
|
+
* wrong high-blast finding is catastrophic → it must clear a higher adversarial
|
|
713
|
+
* bar before it is actionable). An integer height over the goal DAG; absent on
|
|
714
|
+
* findings with no goal-graph linkage (treated as 0 when ranking). Populated by
|
|
715
|
+
* the conceptual pass (later phases); deterministic findings omit it.
|
|
716
|
+
*/
|
|
717
|
+
blast_radius: z.ZodOptional<z.ZodNumber>;
|
|
696
718
|
/**
|
|
697
719
|
* Whether at least one evidence entry cites a real repo path (and valid line)
|
|
698
720
|
* that exists on disk. Set by the remediator's deterministic grounding pass on
|
|
@@ -818,6 +840,7 @@ export declare const AuditFindingsReportSchema: z.ZodObject<{
|
|
|
818
840
|
systemic?: boolean | undefined;
|
|
819
841
|
related_findings?: string[] | undefined;
|
|
820
842
|
theme_id?: string | undefined;
|
|
843
|
+
blast_radius?: number | undefined;
|
|
821
844
|
evidence_grounded?: boolean | undefined;
|
|
822
845
|
grounding?: {
|
|
823
846
|
status: "grounded" | "ungrounded" | "refuted";
|
|
@@ -865,6 +888,7 @@ export declare const AuditFindingsReportSchema: z.ZodObject<{
|
|
|
865
888
|
systemic?: boolean | undefined;
|
|
866
889
|
related_findings?: string[] | undefined;
|
|
867
890
|
theme_id?: string | undefined;
|
|
891
|
+
blast_radius?: number | undefined;
|
|
868
892
|
evidence_grounded?: boolean | undefined;
|
|
869
893
|
grounding?: {
|
|
870
894
|
status: "grounded" | "ungrounded" | "refuted";
|
|
@@ -967,6 +991,16 @@ export declare const AuditFindingsReportSchema: z.ZodObject<{
|
|
|
967
991
|
related_findings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
|
|
968
992
|
/** Synthesis theme this finding belongs to (Phase 6). */
|
|
969
993
|
theme_id: z.ZodOptional<z.ZodString>;
|
|
994
|
+
/**
|
|
995
|
+
* How far up the goal graph a fix for this finding ripples (conceptual
|
|
996
|
+
* design-review spine, Phase A). Simultaneously PRIORITY (high blast = high
|
|
997
|
+
* value — re-drawing a charter boundary beats a leaf fix) and a RISK gate (a
|
|
998
|
+
* wrong high-blast finding is catastrophic → it must clear a higher adversarial
|
|
999
|
+
* bar before it is actionable). An integer height over the goal DAG; absent on
|
|
1000
|
+
* findings with no goal-graph linkage (treated as 0 when ranking). Populated by
|
|
1001
|
+
* the conceptual pass (later phases); deterministic findings omit it.
|
|
1002
|
+
*/
|
|
1003
|
+
blast_radius: z.ZodOptional<z.ZodNumber>;
|
|
970
1004
|
/**
|
|
971
1005
|
* Whether at least one evidence entry cites a real repo path (and valid line)
|
|
972
1006
|
* that exists on disk. Set by the remediator's deterministic grounding pass on
|
|
@@ -1092,6 +1126,7 @@ export declare const AuditFindingsReportSchema: z.ZodObject<{
|
|
|
1092
1126
|
systemic?: boolean | undefined;
|
|
1093
1127
|
related_findings?: string[] | undefined;
|
|
1094
1128
|
theme_id?: string | undefined;
|
|
1129
|
+
blast_radius?: number | undefined;
|
|
1095
1130
|
evidence_grounded?: boolean | undefined;
|
|
1096
1131
|
grounding?: {
|
|
1097
1132
|
status: "grounded" | "ungrounded" | "refuted";
|
|
@@ -1139,6 +1174,7 @@ export declare const AuditFindingsReportSchema: z.ZodObject<{
|
|
|
1139
1174
|
systemic?: boolean | undefined;
|
|
1140
1175
|
related_findings?: string[] | undefined;
|
|
1141
1176
|
theme_id?: string | undefined;
|
|
1177
|
+
blast_radius?: number | undefined;
|
|
1142
1178
|
evidence_grounded?: boolean | undefined;
|
|
1143
1179
|
grounding?: {
|
|
1144
1180
|
status: "grounded" | "ungrounded" | "refuted";
|
|
@@ -1232,6 +1268,7 @@ export declare const AuditFindingsReportSchema: z.ZodObject<{
|
|
|
1232
1268
|
systemic?: boolean | undefined;
|
|
1233
1269
|
related_findings?: string[] | undefined;
|
|
1234
1270
|
theme_id?: string | undefined;
|
|
1271
|
+
blast_radius?: number | undefined;
|
|
1235
1272
|
evidence_grounded?: boolean | undefined;
|
|
1236
1273
|
grounding?: {
|
|
1237
1274
|
status: "grounded" | "ungrounded" | "refuted";
|
|
@@ -1298,6 +1335,7 @@ export declare const AuditFindingsReportSchema: z.ZodObject<{
|
|
|
1298
1335
|
systemic?: boolean | undefined;
|
|
1299
1336
|
related_findings?: string[] | undefined;
|
|
1300
1337
|
theme_id?: string | undefined;
|
|
1338
|
+
blast_radius?: number | undefined;
|
|
1301
1339
|
evidence_grounded?: boolean | undefined;
|
|
1302
1340
|
grounding?: {
|
|
1303
1341
|
status: "grounded" | "ungrounded" | "refuted";
|
|
@@ -1363,6 +1401,7 @@ export declare const AuditFindingsReportSchema: z.ZodObject<{
|
|
|
1363
1401
|
systemic?: boolean | undefined;
|
|
1364
1402
|
related_findings?: string[] | undefined;
|
|
1365
1403
|
theme_id?: string | undefined;
|
|
1404
|
+
blast_radius?: number | undefined;
|
|
1366
1405
|
evidence_grounded?: boolean | undefined;
|
|
1367
1406
|
grounding?: {
|
|
1368
1407
|
status: "grounded" | "ungrounded" | "refuted";
|
|
@@ -1429,6 +1468,7 @@ export declare const AuditFindingsReportSchema: z.ZodObject<{
|
|
|
1429
1468
|
systemic?: boolean | undefined;
|
|
1430
1469
|
related_findings?: string[] | undefined;
|
|
1431
1470
|
theme_id?: string | undefined;
|
|
1471
|
+
blast_radius?: number | undefined;
|
|
1432
1472
|
evidence_grounded?: boolean | undefined;
|
|
1433
1473
|
grounding?: {
|
|
1434
1474
|
status: "grounded" | "ungrounded" | "refuted";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"finding.d.ts","sourceRoot":"","sources":["../../../src/shared/types/finding.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,iEAAiE;AACjE,eAAO,MAAM,qBAAqB,0DAMhC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,sEAAsE;AACtE,eAAO,MAAM,uBAAuB,sCAAoC,CAAC;AACzE,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,eAAO,MAAM,qBAAqB;;;;;IAKhC;;;;;;OAMG;;IAEH,0EAA0E;;;;;;;;;;;;;;;;EAE1E,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,sBAAsB;;IAEjC,mEAAmE;;;;;;;;EAEnE,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAKlC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAGjC,qEAAqE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAErE,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,aAAa;;;;;;IAMxB,gEAAgE;;;;;;;;QAzEhE;;;;;;WAMG;;QAEH,0EAA0E;;;;;;;;;;;;;;;;;;;;;;;IA2E1E,yDAAyD;;IAEzD;;;;OAIG;;IAEH;;;;OAIG;;;
|
|
1
|
+
{"version":3,"file":"finding.d.ts","sourceRoot":"","sources":["../../../src/shared/types/finding.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,iEAAiE;AACjE,eAAO,MAAM,qBAAqB,0DAMhC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,sEAAsE;AACtE,eAAO,MAAM,uBAAuB,sCAAoC,CAAC;AACzE,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,eAAO,MAAM,qBAAqB;;;;;IAKhC;;;;;;OAMG;;IAEH,0EAA0E;;;;;;;;;;;;;;;;EAE1E,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,sBAAsB;;IAEjC,mEAAmE;;;;;;;;EAEnE,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAKlC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAGjC,qEAAqE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAErE,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,aAAa;;;;;;IAMxB,gEAAgE;;;;;;;;QAzEhE;;;;;;WAMG;;QAEH,0EAA0E;;;;;;;;;;;;;;;;;;;;;;;IA2E1E,yDAAyD;;IAEzD;;;;;;;;OAQG;;IAEH;;;;OAIG;;IAEH;;;;OAIG;;;QA3EH,mEAAmE;;;;;;;;;IA6EnE;;;;;;;OAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QApDH,qEAAqE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAsDrE,4EAA4E;;IAE5E,iFAAiF;;IAEjF,0EAA0E;;IAE1E,+EAA+E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE/E,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD,2EAA2E;AAC3E,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;EAQ1B,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,2EAA2E;AAC3E,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;EAM7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAInC,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,eAAe,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,cAAc,EAAE,eAAe,EAAE,CAAC;IAClC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,eAAe,CASjE;AAED,eAAO,MAAM,0BAA0B;;;;;;;;IAQrC;;;;;;;OAOG;;IAEH;;;;;;OAMG;;;;;;;;;;;;;;;;;;;;;;EAEH,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E;;;;GAIG;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;;QAzBpC;;;;;;;WAOG;;QAEH;;;;;;WAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAtJH,gEAAgE;;;;;;;;YAzEhE;;;;;;eAMG;;YAEH,0EAA0E;;;;;;;;;;;;;;;;;;;;;;;QA2E1E,yDAAyD;;QAEzD;;;;;;;;WAQG;;QAEH;;;;WAIG;;QAEH;;;;WAIG;;;YA3EH,mEAAmE;;;;;;;;;QA6EnE;;;;;;;WAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YApDH,qEAAqE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAsDrE,4EAA4E;;QAE5E,iFAAiF;;QAEjF,0EAA0E;;QAE1E,+EAA+E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAoH/E;;;;OAIG;;;;;;;QAzKH,gEAAgE;;;;;;;;YAzEhE;;;;;;eAMG;;YAEH,0EAA0E;;;;;;;;;;;;;;;;;;;;;;;QA2E1E,yDAAyD;;QAEzD;;;;;;;;WAQG;;QAEH;;;;WAIG;;QAEH;;;;WAIG;;;YA3EH,mEAAmE;;;;;;;;;QA6EnE;;;;;;;WAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YApDH,qEAAqE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAsDrE,4EAA4E;;QAE5E,iFAAiF;;QAEjF,0EAA0E;;QAE1E,+EAA+E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA0H/E,6EAA6E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAO7E,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC"}
|
|
@@ -102,6 +102,16 @@ export const FindingSchema = z.object({
|
|
|
102
102
|
related_findings: z.array(z.string()).optional(),
|
|
103
103
|
/** Synthesis theme this finding belongs to (Phase 6). */
|
|
104
104
|
theme_id: z.string().optional(),
|
|
105
|
+
/**
|
|
106
|
+
* How far up the goal graph a fix for this finding ripples (conceptual
|
|
107
|
+
* design-review spine, Phase A). Simultaneously PRIORITY (high blast = high
|
|
108
|
+
* value — re-drawing a charter boundary beats a leaf fix) and a RISK gate (a
|
|
109
|
+
* wrong high-blast finding is catastrophic → it must clear a higher adversarial
|
|
110
|
+
* bar before it is actionable). An integer height over the goal DAG; absent on
|
|
111
|
+
* findings with no goal-graph linkage (treated as 0 when ranking). Populated by
|
|
112
|
+
* the conceptual pass (later phases); deterministic findings omit it.
|
|
113
|
+
*/
|
|
114
|
+
blast_radius: z.number().int().min(0).optional(),
|
|
105
115
|
/**
|
|
106
116
|
* Whether at least one evidence entry cites a real repo path (and valid line)
|
|
107
117
|
* that exists on disk. Set by the remediator's deterministic grounding pass on
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"finding.js","sourceRoot":"","sources":["../../../src/shared/types/finding.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,yEAAyE;AACzE,gFAAgF;AAChF,8EAA8E;AAC9E,mCAAmC;AACnC,EAAE;AACF,iFAAiF;AACjF,+EAA+E;AAC/E,4EAA4E;AAC5E,sDAAsD;AAEtD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,iEAAiE;AACjE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC1C,UAAU;IACV,MAAM;IACN,QAAQ;IACR,KAAK;IACL,MAAM;CACP,CAAC,CAAC;AAGH,sEAAsE;AACtE,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AAGzE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACvC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACrC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B;;;;;;OAMG;IACH,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,0EAA0E;IAC1E,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACzC,CAAC,CAAC;AAGH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;IACrD,mEAAmE;IACnE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC,CAAC;AAGH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAClE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;IAC1C,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;IAC7C,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAClE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;CACnE,CAAC,CAAC;AAGH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,UAAU,EAAE,uBAAuB;IACnC,qEAAqE;IACrE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,QAAQ,EAAE,qBAAqB;IAC/B,UAAU,EAAE,uBAAuB;IACnC,gEAAgE;IAChE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC;IAC9C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACxC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC5C,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAChC,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAChD,yDAAyD;IACzD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B;;;;OAIG;IACH,iBAAiB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IACzC;;;;OAIG;IACH,SAAS,EAAE,sBAAsB,CAAC,QAAQ,EAAE;IAC5C;;;;;;;OAOG;IACH,iBAAiB,EAAE,sBAAsB,CAAC,QAAQ,EAAE;IACpD,4EAA4E;IAC5E,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACvC,iFAAiF;IACjF,uBAAuB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACvD,0EAA0E;IAC1E,2BAA2B,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC3D,+EAA+E;IAC/E,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAClD,CAAC,CAAC;AAGH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC7B,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChC,YAAY,EAAE,qBAAqB;IACnC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAChC,CAAC,CAAC;AAGH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChC,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE;CAClC,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACnC,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACxC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC1C,CAAC,CAAC;AAoBH;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC9C,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC5B,kBAAkB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;IACpD,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC9B,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC/B,mCAAmC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;IACrE,cAAc,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC3D;;;;;;;OAOG;IACH,0BAA0B,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACvE;;;;;;OAMG;IACH,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC3C,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC5B,OAAO,EAAE,0BAA0B;IACnC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;IAChC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC;IACrC;;;;OAIG;IACH,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE;IACvD,6EAA6E;IAC7E,cAAc,EAAE,CAAC;SACd,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;SACzD,QAAQ,EAAE;IACb,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,QAAQ,EAAE;IAC9C,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACxC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC1C,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"finding.js","sourceRoot":"","sources":["../../../src/shared/types/finding.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,yEAAyE;AACzE,gFAAgF;AAChF,8EAA8E;AAC9E,mCAAmC;AACnC,EAAE;AACF,iFAAiF;AACjF,+EAA+E;AAC/E,4EAA4E;AAC5E,sDAAsD;AAEtD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,iEAAiE;AACjE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC1C,UAAU;IACV,MAAM;IACN,QAAQ;IACR,KAAK;IACL,MAAM;CACP,CAAC,CAAC;AAGH,sEAAsE;AACtE,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AAGzE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACvC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACrC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B;;;;;;OAMG;IACH,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,0EAA0E;IAC1E,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACzC,CAAC,CAAC;AAGH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;IACrD,mEAAmE;IACnE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC,CAAC;AAGH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAClE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;IAC1C,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;IAC7C,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAClE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;CACnE,CAAC,CAAC;AAGH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,UAAU,EAAE,uBAAuB;IACnC,qEAAqE;IACrE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,QAAQ,EAAE,qBAAqB;IAC/B,UAAU,EAAE,uBAAuB;IACnC,gEAAgE;IAChE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC;IAC9C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACxC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC5C,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAChC,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAChD,yDAAyD;IACzD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B;;;;;;;;OAQG;IACH,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChD;;;;OAIG;IACH,iBAAiB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IACzC;;;;OAIG;IACH,SAAS,EAAE,sBAAsB,CAAC,QAAQ,EAAE;IAC5C;;;;;;;OAOG;IACH,iBAAiB,EAAE,sBAAsB,CAAC,QAAQ,EAAE;IACpD,4EAA4E;IAC5E,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACvC,iFAAiF;IACjF,uBAAuB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACvD,0EAA0E;IAC1E,2BAA2B,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC3D,+EAA+E;IAC/E,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAClD,CAAC,CAAC;AAGH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC7B,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChC,YAAY,EAAE,qBAAqB;IACnC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAChC,CAAC,CAAC;AAGH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChC,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE;CAClC,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACnC,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACxC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC1C,CAAC,CAAC;AAoBH;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC9C,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC5B,kBAAkB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;IACpD,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC9B,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC/B,mCAAmC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;IACrE,cAAc,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC3D;;;;;;;OAOG;IACH,0BAA0B,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACvE;;;;;;OAMG;IACH,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC3C,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC5B,OAAO,EAAE,0BAA0B;IACnC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;IAChC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC;IACrC;;;;OAIG;IACH,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE;IACvD,6EAA6E;IAC7E,cAAc,EAAE,CAAC;SACd,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;SACzD,QAAQ,EAAE;IACb,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,QAAQ,EAAE;IAC9C,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACxC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC1C,CAAC,CAAC"}
|
|
@@ -140,12 +140,180 @@ export declare const IntentCheckpointSchema: z.ZodObject<{
|
|
|
140
140
|
design_review: z.ZodOptional<z.ZodObject<{
|
|
141
141
|
conceptual_depth: z.ZodOptional<z.ZodEnum<["shallow", "deep"]>>;
|
|
142
142
|
perspectives: z.ZodOptional<z.ZodNumber>;
|
|
143
|
+
/**
|
|
144
|
+
* The conceptual-design-review CHARTER SPINE (Phase A), captured at
|
|
145
|
+
* `confirm_intent`. All optional and additive — a legacy checkpoint carrying
|
|
146
|
+
* only `conceptual_depth`/`perspectives` stays valid. Populated by the
|
|
147
|
+
* charter-extraction pass (Phase C); until then these are absent and the
|
|
148
|
+
* review runs its generic prompt.
|
|
149
|
+
* - `goal_graph`: the goal DAG (blast-radius substrate).
|
|
150
|
+
* - `charters`: the four charters with provenance + confidence, mined for
|
|
151
|
+
* pairwise deltas; a `true` charter must clear the falsifiable-or-drop gate
|
|
152
|
+
* (`applyTrueCharterGate`).
|
|
153
|
+
* - `ceiling`: the premise-height consent dial (how far up a finding may reach).
|
|
154
|
+
*/
|
|
155
|
+
goal_graph: z.ZodOptional<z.ZodObject<{
|
|
156
|
+
nodes: z.ZodArray<z.ZodObject<{
|
|
157
|
+
node_id: z.ZodString;
|
|
158
|
+
premise_height: z.ZodNumber;
|
|
159
|
+
statement: z.ZodString;
|
|
160
|
+
}, "strict", z.ZodTypeAny, {
|
|
161
|
+
node_id: string;
|
|
162
|
+
premise_height: number;
|
|
163
|
+
statement: string;
|
|
164
|
+
}, {
|
|
165
|
+
node_id: string;
|
|
166
|
+
premise_height: number;
|
|
167
|
+
statement: string;
|
|
168
|
+
}>, "many">;
|
|
169
|
+
edges: z.ZodArray<z.ZodObject<{
|
|
170
|
+
from: z.ZodString;
|
|
171
|
+
to: z.ZodString;
|
|
172
|
+
}, "strict", z.ZodTypeAny, {
|
|
173
|
+
from: string;
|
|
174
|
+
to: string;
|
|
175
|
+
}, {
|
|
176
|
+
from: string;
|
|
177
|
+
to: string;
|
|
178
|
+
}>, "many">;
|
|
179
|
+
}, "strict", z.ZodTypeAny, {
|
|
180
|
+
nodes: {
|
|
181
|
+
node_id: string;
|
|
182
|
+
premise_height: number;
|
|
183
|
+
statement: string;
|
|
184
|
+
}[];
|
|
185
|
+
edges: {
|
|
186
|
+
from: string;
|
|
187
|
+
to: string;
|
|
188
|
+
}[];
|
|
189
|
+
}, {
|
|
190
|
+
nodes: {
|
|
191
|
+
node_id: string;
|
|
192
|
+
premise_height: number;
|
|
193
|
+
statement: string;
|
|
194
|
+
}[];
|
|
195
|
+
edges: {
|
|
196
|
+
from: string;
|
|
197
|
+
to: string;
|
|
198
|
+
}[];
|
|
199
|
+
}>>;
|
|
200
|
+
charters: z.ZodOptional<z.ZodArray<z.ZodObject<{
|
|
201
|
+
charter_id: z.ZodString;
|
|
202
|
+
kind: z.ZodEnum<["stated", "inferred", "revealed", "true"]>;
|
|
203
|
+
purpose: z.ZodString;
|
|
204
|
+
provenance: z.ZodArray<z.ZodObject<{
|
|
205
|
+
kind: z.ZodEnum<["doc", "intent_checkpoint", "user_feedback", "code", "comment", "inferred"]>;
|
|
206
|
+
ref: z.ZodString;
|
|
207
|
+
quote: z.ZodOptional<z.ZodString>;
|
|
208
|
+
}, "strict", z.ZodTypeAny, {
|
|
209
|
+
kind: "code" | "inferred" | "doc" | "intent_checkpoint" | "user_feedback" | "comment";
|
|
210
|
+
ref: string;
|
|
211
|
+
quote?: string | undefined;
|
|
212
|
+
}, {
|
|
213
|
+
kind: "code" | "inferred" | "doc" | "intent_checkpoint" | "user_feedback" | "comment";
|
|
214
|
+
ref: string;
|
|
215
|
+
quote?: string | undefined;
|
|
216
|
+
}>, "many">;
|
|
217
|
+
confidence: z.ZodEnum<["high", "medium", "low"]>;
|
|
218
|
+
nominated_alternative: z.ZodOptional<z.ZodString>;
|
|
219
|
+
nominated_cost: z.ZodOptional<z.ZodString>;
|
|
220
|
+
}, "strict", z.ZodTypeAny, {
|
|
221
|
+
confidence: "high" | "low" | "medium";
|
|
222
|
+
kind: "stated" | "inferred" | "revealed" | "true";
|
|
223
|
+
charter_id: string;
|
|
224
|
+
purpose: string;
|
|
225
|
+
provenance: {
|
|
226
|
+
kind: "code" | "inferred" | "doc" | "intent_checkpoint" | "user_feedback" | "comment";
|
|
227
|
+
ref: string;
|
|
228
|
+
quote?: string | undefined;
|
|
229
|
+
}[];
|
|
230
|
+
nominated_alternative?: string | undefined;
|
|
231
|
+
nominated_cost?: string | undefined;
|
|
232
|
+
}, {
|
|
233
|
+
confidence: "high" | "low" | "medium";
|
|
234
|
+
kind: "stated" | "inferred" | "revealed" | "true";
|
|
235
|
+
charter_id: string;
|
|
236
|
+
purpose: string;
|
|
237
|
+
provenance: {
|
|
238
|
+
kind: "code" | "inferred" | "doc" | "intent_checkpoint" | "user_feedback" | "comment";
|
|
239
|
+
ref: string;
|
|
240
|
+
quote?: string | undefined;
|
|
241
|
+
}[];
|
|
242
|
+
nominated_alternative?: string | undefined;
|
|
243
|
+
nominated_cost?: string | undefined;
|
|
244
|
+
}>, "many">>;
|
|
245
|
+
ceiling: z.ZodOptional<z.ZodObject<{
|
|
246
|
+
rung: z.ZodEnum<["shallow", "deep", "deepest"]>;
|
|
247
|
+
explicit_opt_in: z.ZodOptional<z.ZodBoolean>;
|
|
248
|
+
}, "strict", z.ZodTypeAny, {
|
|
249
|
+
rung: "shallow" | "deep" | "deepest";
|
|
250
|
+
explicit_opt_in?: boolean | undefined;
|
|
251
|
+
}, {
|
|
252
|
+
rung: "shallow" | "deep" | "deepest";
|
|
253
|
+
explicit_opt_in?: boolean | undefined;
|
|
254
|
+
}>>;
|
|
143
255
|
}, "strict", z.ZodTypeAny, {
|
|
144
256
|
conceptual_depth?: "shallow" | "deep" | undefined;
|
|
145
257
|
perspectives?: number | undefined;
|
|
258
|
+
goal_graph?: {
|
|
259
|
+
nodes: {
|
|
260
|
+
node_id: string;
|
|
261
|
+
premise_height: number;
|
|
262
|
+
statement: string;
|
|
263
|
+
}[];
|
|
264
|
+
edges: {
|
|
265
|
+
from: string;
|
|
266
|
+
to: string;
|
|
267
|
+
}[];
|
|
268
|
+
} | undefined;
|
|
269
|
+
charters?: {
|
|
270
|
+
confidence: "high" | "low" | "medium";
|
|
271
|
+
kind: "stated" | "inferred" | "revealed" | "true";
|
|
272
|
+
charter_id: string;
|
|
273
|
+
purpose: string;
|
|
274
|
+
provenance: {
|
|
275
|
+
kind: "code" | "inferred" | "doc" | "intent_checkpoint" | "user_feedback" | "comment";
|
|
276
|
+
ref: string;
|
|
277
|
+
quote?: string | undefined;
|
|
278
|
+
}[];
|
|
279
|
+
nominated_alternative?: string | undefined;
|
|
280
|
+
nominated_cost?: string | undefined;
|
|
281
|
+
}[] | undefined;
|
|
282
|
+
ceiling?: {
|
|
283
|
+
rung: "shallow" | "deep" | "deepest";
|
|
284
|
+
explicit_opt_in?: boolean | undefined;
|
|
285
|
+
} | undefined;
|
|
146
286
|
}, {
|
|
147
287
|
conceptual_depth?: "shallow" | "deep" | undefined;
|
|
148
288
|
perspectives?: number | undefined;
|
|
289
|
+
goal_graph?: {
|
|
290
|
+
nodes: {
|
|
291
|
+
node_id: string;
|
|
292
|
+
premise_height: number;
|
|
293
|
+
statement: string;
|
|
294
|
+
}[];
|
|
295
|
+
edges: {
|
|
296
|
+
from: string;
|
|
297
|
+
to: string;
|
|
298
|
+
}[];
|
|
299
|
+
} | undefined;
|
|
300
|
+
charters?: {
|
|
301
|
+
confidence: "high" | "low" | "medium";
|
|
302
|
+
kind: "stated" | "inferred" | "revealed" | "true";
|
|
303
|
+
charter_id: string;
|
|
304
|
+
purpose: string;
|
|
305
|
+
provenance: {
|
|
306
|
+
kind: "code" | "inferred" | "doc" | "intent_checkpoint" | "user_feedback" | "comment";
|
|
307
|
+
ref: string;
|
|
308
|
+
quote?: string | undefined;
|
|
309
|
+
}[];
|
|
310
|
+
nominated_alternative?: string | undefined;
|
|
311
|
+
nominated_cost?: string | undefined;
|
|
312
|
+
}[] | undefined;
|
|
313
|
+
ceiling?: {
|
|
314
|
+
rung: "shallow" | "deep" | "deepest";
|
|
315
|
+
explicit_opt_in?: boolean | undefined;
|
|
316
|
+
} | undefined;
|
|
149
317
|
}>>;
|
|
150
318
|
}, "strict", z.ZodTypeAny, {
|
|
151
319
|
schema_version: "intent-checkpoint/v1";
|
|
@@ -183,6 +351,34 @@ export declare const IntentCheckpointSchema: z.ZodObject<{
|
|
|
183
351
|
design_review?: {
|
|
184
352
|
conceptual_depth?: "shallow" | "deep" | undefined;
|
|
185
353
|
perspectives?: number | undefined;
|
|
354
|
+
goal_graph?: {
|
|
355
|
+
nodes: {
|
|
356
|
+
node_id: string;
|
|
357
|
+
premise_height: number;
|
|
358
|
+
statement: string;
|
|
359
|
+
}[];
|
|
360
|
+
edges: {
|
|
361
|
+
from: string;
|
|
362
|
+
to: string;
|
|
363
|
+
}[];
|
|
364
|
+
} | undefined;
|
|
365
|
+
charters?: {
|
|
366
|
+
confidence: "high" | "low" | "medium";
|
|
367
|
+
kind: "stated" | "inferred" | "revealed" | "true";
|
|
368
|
+
charter_id: string;
|
|
369
|
+
purpose: string;
|
|
370
|
+
provenance: {
|
|
371
|
+
kind: "code" | "inferred" | "doc" | "intent_checkpoint" | "user_feedback" | "comment";
|
|
372
|
+
ref: string;
|
|
373
|
+
quote?: string | undefined;
|
|
374
|
+
}[];
|
|
375
|
+
nominated_alternative?: string | undefined;
|
|
376
|
+
nominated_cost?: string | undefined;
|
|
377
|
+
}[] | undefined;
|
|
378
|
+
ceiling?: {
|
|
379
|
+
rung: "shallow" | "deep" | "deepest";
|
|
380
|
+
explicit_opt_in?: boolean | undefined;
|
|
381
|
+
} | undefined;
|
|
186
382
|
} | undefined;
|
|
187
383
|
}, {
|
|
188
384
|
schema_version: "intent-checkpoint/v1";
|
|
@@ -220,6 +416,34 @@ export declare const IntentCheckpointSchema: z.ZodObject<{
|
|
|
220
416
|
design_review?: {
|
|
221
417
|
conceptual_depth?: "shallow" | "deep" | undefined;
|
|
222
418
|
perspectives?: number | undefined;
|
|
419
|
+
goal_graph?: {
|
|
420
|
+
nodes: {
|
|
421
|
+
node_id: string;
|
|
422
|
+
premise_height: number;
|
|
423
|
+
statement: string;
|
|
424
|
+
}[];
|
|
425
|
+
edges: {
|
|
426
|
+
from: string;
|
|
427
|
+
to: string;
|
|
428
|
+
}[];
|
|
429
|
+
} | undefined;
|
|
430
|
+
charters?: {
|
|
431
|
+
confidence: "high" | "low" | "medium";
|
|
432
|
+
kind: "stated" | "inferred" | "revealed" | "true";
|
|
433
|
+
charter_id: string;
|
|
434
|
+
purpose: string;
|
|
435
|
+
provenance: {
|
|
436
|
+
kind: "code" | "inferred" | "doc" | "intent_checkpoint" | "user_feedback" | "comment";
|
|
437
|
+
ref: string;
|
|
438
|
+
quote?: string | undefined;
|
|
439
|
+
}[];
|
|
440
|
+
nominated_alternative?: string | undefined;
|
|
441
|
+
nominated_cost?: string | undefined;
|
|
442
|
+
}[] | undefined;
|
|
443
|
+
ceiling?: {
|
|
444
|
+
rung: "shallow" | "deep" | "deepest";
|
|
445
|
+
explicit_opt_in?: boolean | undefined;
|
|
446
|
+
} | undefined;
|
|
223
447
|
} | undefined;
|
|
224
448
|
}>;
|
|
225
449
|
export type IntentCheckpoint = z.infer<typeof IntentCheckpointSchema>;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"intentCheckpoint.d.ts","sourceRoot":"","sources":["../../../src/shared/types/intentCheckpoint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;
|
|
1
|
+
{"version":3,"file":"intentCheckpoint.d.ts","sourceRoot":"","sources":["../../../src/shared/types/intentCheckpoint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAQxB;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB;;;IAI/B;;;;OAIG;;IAEH,yDAAyD;;IAEzD,wEAAwE;;IAExE;;;;OAIG;;IAEH,qEAAqE;;;;;;;;;;;IAIrE,gDAAgD;;IAEhD,gEAAgE;;;;;;;;;;;;;;;;;IAUhE;;;;;;OAMG;;QAKK;;;;;;;;WAQG;;QAEH,4CAA4C;;QAE5C,kEAAkE;;QAElE,kEAAkE;;;;;;;;;;;;;IAM1E;;;;;OAKG;;;;;;;;;;;;;;IAYH;;;;OAIG;;;;;;;;;;;IAQH;;;;;;;;;;;OAWG;;;;QAKC;;;;;;;;;;;WAWG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQA,CAAC;AACZ,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC"}
|
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
import { z } from "zod";
|
|
2
2
|
import { FileDispositionStatusSchema } from "./disposition.js";
|
|
3
|
+
import { CharterSchema, CeilingSchema, GoalGraphSchema, } from "./charter.js";
|
|
3
4
|
/**
|
|
4
5
|
* The accepted scope and intent for a run, confirmed by the host before
|
|
5
6
|
* planning. Single-sourced so both orchestrators share one shape: audit-code
|
|
@@ -116,6 +117,21 @@ export const IntentCheckpointSchema = z
|
|
|
116
117
|
.object({
|
|
117
118
|
conceptual_depth: z.enum(["shallow", "deep"]).optional(),
|
|
118
119
|
perspectives: z.number().int().min(1).optional(),
|
|
120
|
+
/**
|
|
121
|
+
* The conceptual-design-review CHARTER SPINE (Phase A), captured at
|
|
122
|
+
* `confirm_intent`. All optional and additive — a legacy checkpoint carrying
|
|
123
|
+
* only `conceptual_depth`/`perspectives` stays valid. Populated by the
|
|
124
|
+
* charter-extraction pass (Phase C); until then these are absent and the
|
|
125
|
+
* review runs its generic prompt.
|
|
126
|
+
* - `goal_graph`: the goal DAG (blast-radius substrate).
|
|
127
|
+
* - `charters`: the four charters with provenance + confidence, mined for
|
|
128
|
+
* pairwise deltas; a `true` charter must clear the falsifiable-or-drop gate
|
|
129
|
+
* (`applyTrueCharterGate`).
|
|
130
|
+
* - `ceiling`: the premise-height consent dial (how far up a finding may reach).
|
|
131
|
+
*/
|
|
132
|
+
goal_graph: GoalGraphSchema.optional(),
|
|
133
|
+
charters: z.array(CharterSchema).optional(),
|
|
134
|
+
ceiling: CeilingSchema.optional(),
|
|
119
135
|
})
|
|
120
136
|
.strict()
|
|
121
137
|
.optional(),
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"intentCheckpoint.js","sourceRoot":"","sources":["../../../src/shared/types/intentCheckpoint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,2BAA2B,EAAE,MAAM,kBAAkB,CAAC;
|
|
1
|
+
{"version":3,"file":"intentCheckpoint.js","sourceRoot":"","sources":["../../../src/shared/types/intentCheckpoint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,2BAA2B,EAAE,MAAM,kBAAkB,CAAC;AAC/D,OAAO,EACL,aAAa,EACb,aAAa,EACb,eAAe,GAChB,MAAM,cAAc,CAAC;AAEtB;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC;KACpC,MAAM,CAAC;IACN,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACjD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;IACxB;;;;OAIG;IACH,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvC,yDAAyD;IACzD,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,wEAAwE;IACxE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE;IAC1B;;;;OAIG;IACH,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACvC,qEAAqE;IACrE,cAAc,EAAE,CAAC;SACd,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;SAClE,QAAQ,EAAE;IACb,gDAAgD;IAChD,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC9C,gEAAgE;IAChE,OAAO,EAAE,CAAC;SACP,MAAM,CAAC;QACN,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;QACxC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;QACtC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;QACxC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;KACvC,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;IACb;;;;;;OAMG;IACH,kBAAkB,EAAE,CAAC;SAClB,KAAK,CACJ,CAAC;SACE,MAAM,CAAC;QACN;;;;;;;;WAQG;QACH,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QAChC,4CAA4C;QAC5C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;QAChB,kEAAkE;QAClE,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE;QAC/B,kEAAkE;QAClE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KACnC,CAAC;SACD,MAAM,EAAE,CACZ;SACA,QAAQ,EAAE;IACb;;;;;OAKG;IACH,qBAAqB,EAAE,CAAC;SACrB,KAAK,CACJ,CAAC;SACE,MAAM,CAAC;QACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;QAChB,MAAM,EAAE,2BAA2B;QACnC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;KACnB,CAAC;SACD,MAAM,EAAE,CACZ;SACA,QAAQ,EAAE;IACb;;;;OAIG;IACH,cAAc,EAAE,CAAC;SACd,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;QACvC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;KACxC,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;IACb;;;;;;;;;;;OAWG;IACH,aAAa,EAAE,CAAC;SACb,MAAM,CAAC;QACN,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE;QACxD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;QAChD;;;;;;;;;;;WAWG;QACH,UAAU,EAAE,eAAe,CAAC,QAAQ,EAAE;QACtC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE;QAC3C,OAAO,EAAE,aAAa,CAAC,QAAQ,EAAE;KAClC,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;CACd,CAAC;KACD,MAAM,EAAE,CAAC"}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
import type { Charter, CharterDelta } from "../types/charter.js";
|
|
2
|
+
/**
|
|
3
|
+
* The True-charter gate: a `true` charter is nominatable-never-assertable and
|
|
4
|
+
* falsifiable-or-drop. It survives ONLY if it names BOTH a concrete alternative and
|
|
5
|
+
* a concrete cost the user seems to pay unaware; an un-falsifiable "what you truly
|
|
6
|
+
* want is elegance" nomination is slop and is dropped. Non-`true` charters are never
|
|
7
|
+
* dropped by this gate (their confidence is handled by charterReviewDisposition).
|
|
8
|
+
*
|
|
9
|
+
* Returns the surviving charters plus a record of what was dropped and why, so the
|
|
10
|
+
* caller can surface the drop as a validation issue rather than silently discarding.
|
|
11
|
+
*/
|
|
12
|
+
export declare function applyTrueCharterGate(charters: Charter[]): {
|
|
13
|
+
kept: Charter[];
|
|
14
|
+
dropped: Array<{
|
|
15
|
+
charter_id: string;
|
|
16
|
+
reason: string;
|
|
17
|
+
}>;
|
|
18
|
+
};
|
|
19
|
+
/**
|
|
20
|
+
* Whether a review that depends on this charter may OPINE or must only FLAG for
|
|
21
|
+
* human intent input. A low-confidence charter (sparse or ambiguous source) is the
|
|
22
|
+
* central failure mode's source, so any dependent review is downgraded to
|
|
23
|
+
* "flag for human, never opine." This is the general guard of which the True-charter
|
|
24
|
+
* gate above is the strictest instance.
|
|
25
|
+
*/
|
|
26
|
+
export declare function charterReviewDisposition(charter: Charter): "opine" | "flag_for_human";
|
|
27
|
+
/**
|
|
28
|
+
* Route a charter delta to the human channel when either charter it references is
|
|
29
|
+
* low-confidence — a delta between two attributable sides is only adjudicable if
|
|
30
|
+
* both sides are trustworthy; if one is shaky, the tool must not opine (route it to
|
|
31
|
+
* the human) regardless of the delta's nominal `kind`. The delta is returned
|
|
32
|
+
* unchanged when both sides are confident (or a side is absent from `charters`).
|
|
33
|
+
*
|
|
34
|
+
* `pair` holds charter KINDS (symmetric), so we match against the charters present
|
|
35
|
+
* of those kinds; a low-confidence charter of a referenced kind trips the downgrade.
|
|
36
|
+
*/
|
|
37
|
+
export declare function gateCharterDelta(delta: CharterDelta, charters: Charter[]): CharterDelta;
|
|
38
|
+
//# sourceMappingURL=charterGate.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"charterGate.d.ts","sourceRoot":"","sources":["../../../src/shared/validation/charterGate.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEjE;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG;IACzD,IAAI,EAAE,OAAO,EAAE,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACxD,CA0BA;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,OAAO,GACf,OAAO,GAAG,gBAAgB,CAE5B;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,YAAY,EACnB,QAAQ,EAAE,OAAO,EAAE,GAClB,YAAY,CAWd"}
|
|
@@ -0,0 +1,73 @@
|
|
|
1
|
+
// Hard gates for the conceptual/design-review charter spine (design of record:
|
|
2
|
+
// spec/conceptual-design-review-design.md §"The True charter needs hard gates" and
|
|
3
|
+
// §"Tag each charter with confidence"). These are the tool-enforced guards against
|
|
4
|
+
// the approach's central failure mode: a confident-but-wrong finding sourced from a
|
|
5
|
+
// bad charter. They run deterministically over the charter data model — no LLM.
|
|
6
|
+
/**
|
|
7
|
+
* The True-charter gate: a `true` charter is nominatable-never-assertable and
|
|
8
|
+
* falsifiable-or-drop. It survives ONLY if it names BOTH a concrete alternative and
|
|
9
|
+
* a concrete cost the user seems to pay unaware; an un-falsifiable "what you truly
|
|
10
|
+
* want is elegance" nomination is slop and is dropped. Non-`true` charters are never
|
|
11
|
+
* dropped by this gate (their confidence is handled by charterReviewDisposition).
|
|
12
|
+
*
|
|
13
|
+
* Returns the surviving charters plus a record of what was dropped and why, so the
|
|
14
|
+
* caller can surface the drop as a validation issue rather than silently discarding.
|
|
15
|
+
*/
|
|
16
|
+
export function applyTrueCharterGate(charters) {
|
|
17
|
+
const kept = [];
|
|
18
|
+
const dropped = [];
|
|
19
|
+
for (const charter of charters) {
|
|
20
|
+
if (charter.kind !== "true") {
|
|
21
|
+
kept.push(charter);
|
|
22
|
+
continue;
|
|
23
|
+
}
|
|
24
|
+
const hasAlternative = Boolean(charter.nominated_alternative?.trim());
|
|
25
|
+
const hasCost = Boolean(charter.nominated_cost?.trim());
|
|
26
|
+
if (hasAlternative && hasCost) {
|
|
27
|
+
kept.push(charter);
|
|
28
|
+
}
|
|
29
|
+
else {
|
|
30
|
+
const missing = [
|
|
31
|
+
hasAlternative ? null : "nominated_alternative",
|
|
32
|
+
hasCost ? null : "nominated_cost",
|
|
33
|
+
]
|
|
34
|
+
.filter((m) => m !== null)
|
|
35
|
+
.join(" + ");
|
|
36
|
+
dropped.push({
|
|
37
|
+
charter_id: charter.charter_id,
|
|
38
|
+
reason: `true charter is not falsifiable — missing ${missing} (must name a concrete alternative AND a concrete cost)`,
|
|
39
|
+
});
|
|
40
|
+
}
|
|
41
|
+
}
|
|
42
|
+
return { kept, dropped };
|
|
43
|
+
}
|
|
44
|
+
/**
|
|
45
|
+
* Whether a review that depends on this charter may OPINE or must only FLAG for
|
|
46
|
+
* human intent input. A low-confidence charter (sparse or ambiguous source) is the
|
|
47
|
+
* central failure mode's source, so any dependent review is downgraded to
|
|
48
|
+
* "flag for human, never opine." This is the general guard of which the True-charter
|
|
49
|
+
* gate above is the strictest instance.
|
|
50
|
+
*/
|
|
51
|
+
export function charterReviewDisposition(charter) {
|
|
52
|
+
return charter.confidence === "low" ? "flag_for_human" : "opine";
|
|
53
|
+
}
|
|
54
|
+
/**
|
|
55
|
+
* Route a charter delta to the human channel when either charter it references is
|
|
56
|
+
* low-confidence — a delta between two attributable sides is only adjudicable if
|
|
57
|
+
* both sides are trustworthy; if one is shaky, the tool must not opine (route it to
|
|
58
|
+
* the human) regardless of the delta's nominal `kind`. The delta is returned
|
|
59
|
+
* unchanged when both sides are confident (or a side is absent from `charters`).
|
|
60
|
+
*
|
|
61
|
+
* `pair` holds charter KINDS (symmetric), so we match against the charters present
|
|
62
|
+
* of those kinds; a low-confidence charter of a referenced kind trips the downgrade.
|
|
63
|
+
*/
|
|
64
|
+
export function gateCharterDelta(delta, charters) {
|
|
65
|
+
const referencedKinds = new Set(delta.pair);
|
|
66
|
+
const anyLowConfidence = charters.some((charter) => referencedKinds.has(charter.kind) &&
|
|
67
|
+
charterReviewDisposition(charter) === "flag_for_human");
|
|
68
|
+
if (anyLowConfidence && delta.routed_to !== "human") {
|
|
69
|
+
return { ...delta, routed_to: "human" };
|
|
70
|
+
}
|
|
71
|
+
return delta;
|
|
72
|
+
}
|
|
73
|
+
//# sourceMappingURL=charterGate.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"charterGate.js","sourceRoot":"","sources":["../../../src/shared/validation/charterGate.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,mFAAmF;AACnF,mFAAmF;AACnF,oFAAoF;AACpF,gFAAgF;AAIhF;;;;;;;;;GASG;AACH,MAAM,UAAU,oBAAoB,CAAC,QAAmB;IAItD,MAAM,IAAI,GAAc,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAkD,EAAE,CAAC;IAClE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACnB,SAAS;QACX,CAAC;QACD,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC,qBAAqB,EAAE,IAAI,EAAE,CAAC,CAAC;QACtE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,IAAI,cAAc,IAAI,OAAO,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrB,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG;gBACd,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,uBAAuB;gBAC/C,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB;aAClC;iBACE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;iBACtC,IAAI,CAAC,KAAK,CAAC,CAAC;YACf,OAAO,CAAC,IAAI,CAAC;gBACX,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,MAAM,EAAE,6CAA6C,OAAO,yDAAyD;aACtH,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CACtC,OAAgB;IAEhB,OAAO,OAAO,CAAC,UAAU,KAAK,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC;AACnE,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAmB,EACnB,QAAmB;IAEnB,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,gBAAgB,GAAG,QAAQ,CAAC,IAAI,CACpC,CAAC,OAAO,EAAE,EAAE,CACV,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;QACjC,wBAAwB,CAAC,OAAO,CAAC,KAAK,gBAAgB,CACzD,CAAC;IACF,IAAI,gBAAgB,IAAI,KAAK,CAAC,SAAS,KAAK,OAAO,EAAE,CAAC;QACpD,OAAO,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
|
package/package.json
CHANGED