audit-tools 0.35.7 → 0.36.1
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/clarification/blastRadius.d.ts +5 -6
- package/dist/audit/clarification/blastRadius.d.ts.map +1 -1
- package/dist/audit/clarification/blastRadius.js +18 -5
- package/dist/audit/clarification/blastRadius.js.map +1 -1
- package/dist/audit/clarification/partition.d.ts.map +1 -1
- package/dist/audit/clarification/partition.js +5 -4
- package/dist/audit/clarification/partition.js.map +1 -1
- package/dist/audit/cli/charterClarificationPrompt.d.ts.map +1 -1
- package/dist/audit/cli/charterClarificationPrompt.js +34 -11
- package/dist/audit/cli/charterClarificationPrompt.js.map +1 -1
- package/dist/audit/cli/charterDeltaPrompt.d.ts +10 -7
- package/dist/audit/cli/charterDeltaPrompt.d.ts.map +1 -1
- package/dist/audit/cli/charterDeltaPrompt.js +75 -19
- package/dist/audit/cli/charterDeltaPrompt.js.map +1 -1
- package/dist/audit/cli/charterExtractionPrompt.d.ts +24 -15
- package/dist/audit/cli/charterExtractionPrompt.d.ts.map +1 -1
- package/dist/audit/cli/charterExtractionPrompt.js +80 -87
- package/dist/audit/cli/charterExtractionPrompt.js.map +1 -1
- package/dist/audit/cli/conceptualDispatch.d.ts.map +1 -1
- package/dist/audit/cli/conceptualDispatch.js +5 -1
- package/dist/audit/cli/conceptualDispatch.js.map +1 -1
- package/dist/audit/cli/mergeAndIngestCommand.d.ts.map +1 -1
- package/dist/audit/cli/mergeAndIngestCommand.js +24 -1
- package/dist/audit/cli/mergeAndIngestCommand.js.map +1 -1
- package/dist/audit/cli/nextStepCommand.d.ts.map +1 -1
- package/dist/audit/cli/nextStepCommand.js +17 -7
- package/dist/audit/cli/nextStepCommand.js.map +1 -1
- package/dist/audit/cli/nextStepHelpers.d.ts +22 -6
- package/dist/audit/cli/nextStepHelpers.d.ts.map +1 -1
- package/dist/audit/cli/nextStepHelpers.js +99 -43
- package/dist/audit/cli/nextStepHelpers.js.map +1 -1
- package/dist/audit/extractors/commentDecomposition.d.ts +8 -6
- package/dist/audit/extractors/commentDecomposition.d.ts.map +1 -1
- package/dist/audit/extractors/commentDecomposition.js +56 -10
- package/dist/audit/extractors/commentDecomposition.js.map +1 -1
- package/dist/audit/io/artifacts.d.ts.map +1 -1
- package/dist/audit/io/artifacts.js +27 -3
- package/dist/audit/io/artifacts.js.map +1 -1
- package/dist/audit/orchestrator/charterDeltaExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/charterDeltaExecutor.js +19 -2
- package/dist/audit/orchestrator/charterDeltaExecutor.js.map +1 -1
- package/dist/audit/orchestrator/charterExtractionExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/charterExtractionExecutor.js +19 -4
- package/dist/audit/orchestrator/charterExtractionExecutor.js.map +1 -1
- package/dist/audit/orchestrator/charterPackets.d.ts +44 -0
- package/dist/audit/orchestrator/charterPackets.d.ts.map +1 -0
- package/dist/audit/orchestrator/charterPackets.js +217 -0
- package/dist/audit/orchestrator/charterPackets.js.map +1 -0
- package/dist/audit/orchestrator/dependencyMap.d.ts.map +1 -1
- package/dist/audit/orchestrator/dependencyMap.js +9 -4
- package/dist/audit/orchestrator/dependencyMap.js.map +1 -1
- package/dist/audit/orchestrator/dependencySlices.d.ts +0 -15
- package/dist/audit/orchestrator/dependencySlices.d.ts.map +1 -1
- package/dist/audit/orchestrator/dependencySlices.js +32 -23
- package/dist/audit/orchestrator/dependencySlices.js.map +1 -1
- package/dist/audit/orchestrator/designReviewPrompt.js +1 -1
- package/dist/audit/orchestrator/designReviewPrompt.js.map +1 -1
- package/dist/audit/types/charterRegister.d.ts +46 -14
- package/dist/audit/types/charterRegister.d.ts.map +1 -1
- package/dist/audit/types/charterRegister.js +11 -1
- package/dist/audit/types/charterRegister.js.map +1 -1
- package/dist/audit/validation/artifacts.d.ts.map +1 -1
- package/dist/audit/validation/artifacts.js +1 -19
- package/dist/audit/validation/artifacts.js.map +1 -1
- package/dist/remediate/phases/close.d.ts.map +1 -1
- package/dist/remediate/phases/close.js +9 -0
- package/dist/remediate/phases/close.js.map +1 -1
- package/dist/shared/decompose/charterExtraction.d.ts +285 -143
- package/dist/shared/decompose/charterExtraction.d.ts.map +1 -1
- package/dist/shared/decompose/charterExtraction.js +340 -99
- package/dist/shared/decompose/charterExtraction.js.map +1 -1
- package/dist/shared/index.d.ts +4 -4
- package/dist/shared/index.d.ts.map +1 -1
- package/dist/shared/index.js +3 -3
- package/dist/shared/index.js.map +1 -1
- package/dist/shared/io/frictionCapture.d.ts +20 -0
- package/dist/shared/io/frictionCapture.d.ts.map +1 -1
- package/dist/shared/io/frictionCapture.js +38 -0
- package/dist/shared/io/frictionCapture.js.map +1 -1
- package/dist/shared/io/json.d.ts +12 -0
- package/dist/shared/io/json.d.ts.map +1 -1
- package/dist/shared/io/json.js +19 -1
- package/dist/shared/io/json.js.map +1 -1
- package/dist/shared/types/charter.d.ts +109 -34
- package/dist/shared/types/charter.d.ts.map +1 -1
- package/dist/shared/types/charter.js +87 -22
- package/dist/shared/types/charter.js.map +1 -1
- package/dist/shared/types/intentCheckpoint.d.ts +9 -196
- package/dist/shared/types/intentCheckpoint.d.ts.map +1 -1
- package/dist/shared/types/intentCheckpoint.js +10 -13
- package/dist/shared/types/intentCheckpoint.js.map +1 -1
- package/package.json +1 -1
|
@@ -1,17 +1,20 @@
|
|
|
1
1
|
import { z } from "zod";
|
|
2
2
|
/**
|
|
3
|
-
* The
|
|
4
|
-
*
|
|
5
|
-
*
|
|
6
|
-
*
|
|
7
|
-
*
|
|
8
|
-
* - `
|
|
9
|
-
*
|
|
3
|
+
* The charter kinds. The first three are CHANNEL-PURE ESTIMATORS of a subsystem's
|
|
4
|
+
* telos — each fed a disjoint evidence channel (blindness is a property of the
|
|
5
|
+
* INPUT packet, never an instruction), held un-merged and mined for their pairwise
|
|
6
|
+
* deltas. The deltas stay the primary product; the miner's triangulated telos is a
|
|
7
|
+
* downstream ESTIMATE (a lead the owner reacts to), never a reconciliation.
|
|
8
|
+
* - `stated`: testimony — docs + extracted comments (what the authors SAY).
|
|
9
|
+
* - `structural`: intent frozen into organization — file tree / exports /
|
|
10
|
+
* signatures / names / import graph; no bodies, no docs, no comments.
|
|
11
|
+
* - `revealed`: behavior — comment-stripped code bodies (what the code DOES).
|
|
10
12
|
* - `true`: the "shining city" ideal, possibly inexpressible and the user may be
|
|
11
|
-
* unaware of it
|
|
12
|
-
*
|
|
13
|
+
* unaware of it. Nominatable, never assertable (True-charter gate in
|
|
14
|
+
* validation/charterGate.ts); nominated by the delta miner DOWNSTREAM of
|
|
15
|
+
* triangulation, at the `deepest` ceiling only — never an extraction lane.
|
|
13
16
|
*/
|
|
14
|
-
export declare const CharterKindSchema: z.ZodEnum<["stated", "
|
|
17
|
+
export declare const CharterKindSchema: z.ZodEnum<["stated", "structural", "revealed", "true"]>;
|
|
15
18
|
export type CharterKind = z.infer<typeof CharterKindSchema>;
|
|
16
19
|
/**
|
|
17
20
|
* Source confidence of a charter. Defined SEPARATELY from `FindingConfidence`
|
|
@@ -34,11 +37,11 @@ export declare const CharterProvenanceSchema: z.ZodObject<{
|
|
|
34
37
|
ref: z.ZodString;
|
|
35
38
|
quote: z.ZodOptional<z.ZodString>;
|
|
36
39
|
}, "strict", z.ZodTypeAny, {
|
|
37
|
-
kind: "code" | "
|
|
40
|
+
kind: "code" | "doc" | "intent_checkpoint" | "user_feedback" | "comment" | "inferred";
|
|
38
41
|
ref: string;
|
|
39
42
|
quote?: string | undefined;
|
|
40
43
|
}, {
|
|
41
|
-
kind: "code" | "
|
|
44
|
+
kind: "code" | "doc" | "intent_checkpoint" | "user_feedback" | "comment" | "inferred";
|
|
42
45
|
ref: string;
|
|
43
46
|
quote?: string | undefined;
|
|
44
47
|
}>;
|
|
@@ -59,7 +62,7 @@ export type CharterProvenance = z.infer<typeof CharterProvenanceSchema>;
|
|
|
59
62
|
*/
|
|
60
63
|
export declare const CharterSchema: z.ZodObject<{
|
|
61
64
|
charter_id: z.ZodString;
|
|
62
|
-
kind: z.ZodEnum<["stated", "
|
|
65
|
+
kind: z.ZodEnum<["stated", "structural", "revealed", "true"]>;
|
|
63
66
|
/** Purpose in telos terms, never mechanism. */
|
|
64
67
|
purpose: z.ZodString;
|
|
65
68
|
/** May be `[]` for a `true` nomination (the ideal cites no source). */
|
|
@@ -68,11 +71,11 @@ export declare const CharterSchema: z.ZodObject<{
|
|
|
68
71
|
ref: z.ZodString;
|
|
69
72
|
quote: z.ZodOptional<z.ZodString>;
|
|
70
73
|
}, "strict", z.ZodTypeAny, {
|
|
71
|
-
kind: "code" | "
|
|
74
|
+
kind: "code" | "doc" | "intent_checkpoint" | "user_feedback" | "comment" | "inferred";
|
|
72
75
|
ref: string;
|
|
73
76
|
quote?: string | undefined;
|
|
74
77
|
}, {
|
|
75
|
-
kind: "code" | "
|
|
78
|
+
kind: "code" | "doc" | "intent_checkpoint" | "user_feedback" | "comment" | "inferred";
|
|
76
79
|
ref: string;
|
|
77
80
|
quote?: string | undefined;
|
|
78
81
|
}>, "many">;
|
|
@@ -83,11 +86,11 @@ export declare const CharterSchema: z.ZodObject<{
|
|
|
83
86
|
nominated_cost: z.ZodOptional<z.ZodString>;
|
|
84
87
|
}, "strict", z.ZodTypeAny, {
|
|
85
88
|
confidence: "high" | "low" | "medium";
|
|
86
|
-
kind: "stated" | "
|
|
89
|
+
kind: "stated" | "structural" | "revealed" | "true";
|
|
87
90
|
charter_id: string;
|
|
88
91
|
purpose: string;
|
|
89
92
|
provenance: {
|
|
90
|
-
kind: "code" | "
|
|
93
|
+
kind: "code" | "doc" | "intent_checkpoint" | "user_feedback" | "comment" | "inferred";
|
|
91
94
|
ref: string;
|
|
92
95
|
quote?: string | undefined;
|
|
93
96
|
}[];
|
|
@@ -95,11 +98,11 @@ export declare const CharterSchema: z.ZodObject<{
|
|
|
95
98
|
nominated_cost?: string | undefined;
|
|
96
99
|
}, {
|
|
97
100
|
confidence: "high" | "low" | "medium";
|
|
98
|
-
kind: "stated" | "
|
|
101
|
+
kind: "stated" | "structural" | "revealed" | "true";
|
|
99
102
|
charter_id: string;
|
|
100
103
|
purpose: string;
|
|
101
104
|
provenance: {
|
|
102
|
-
kind: "code" | "
|
|
105
|
+
kind: "code" | "doc" | "intent_checkpoint" | "user_feedback" | "comment" | "inferred";
|
|
103
106
|
ref: string;
|
|
104
107
|
quote?: string | undefined;
|
|
105
108
|
}[];
|
|
@@ -212,33 +215,105 @@ export type Ceiling = z.infer<typeof CeilingSchema>;
|
|
|
212
215
|
/**
|
|
213
216
|
* A routed pairwise charter delta — the product of the overlay-and-delta operator at
|
|
214
217
|
* the charter layer (produced in Phase C). `pair` is a SYMMETRIC tuple of the two
|
|
215
|
-
* charter kinds compared: the design forbids anointing
|
|
216
|
-
* delta is never modeled as `{ from: stated, to: X }`.
|
|
217
|
-
*
|
|
218
|
-
* - `
|
|
219
|
-
* - `
|
|
220
|
-
*
|
|
218
|
+
* charter kinds compared: the design forbids anointing any single estimator as
|
|
219
|
+
* ground truth, so a delta is never modeled as `{ from: stated, to: X }`. Each
|
|
220
|
+
* channel PAIR has one defined meaning; `routed_to` names who acts on it (a
|
|
221
|
+
* low-confidence side forces `human` regardless of kind — gateCharterDelta):
|
|
222
|
+
* - `doc_rot` (stated ↔ structural: testimony vs organization — doc rot / naming
|
|
223
|
+
* drift) → `remediator`.
|
|
224
|
+
* - `says_does_drift` (stated ↔ revealed: testimony vs behavior) → `remediator`.
|
|
225
|
+
* - `architecture_betrayal` (structural ↔ revealed: the organization's promise vs
|
|
226
|
+
* what the implementation actually does) → `clarification` (which governs?).
|
|
227
|
+
* - `wrong_goal` (any estimator ↔ true) → `human` (provocation only; `deepest`).
|
|
221
228
|
*/
|
|
222
229
|
export declare const CharterDeltaSchema: z.ZodObject<{
|
|
223
230
|
delta_id: z.ZodString;
|
|
224
|
-
pair: z.ZodTuple<[z.ZodEnum<["stated", "
|
|
225
|
-
kind: z.ZodEnum<["
|
|
231
|
+
pair: z.ZodTuple<[z.ZodEnum<["stated", "structural", "revealed", "true"]>, z.ZodEnum<["stated", "structural", "revealed", "true"]>], null>;
|
|
232
|
+
kind: z.ZodEnum<["doc_rot", "says_does_drift", "architecture_betrayal", "wrong_goal"]>;
|
|
226
233
|
routed_to: z.ZodEnum<["remediator", "clarification", "human"]>;
|
|
227
234
|
summary: z.ZodString;
|
|
228
235
|
}, "strict", z.ZodTypeAny, {
|
|
229
|
-
kind: "
|
|
236
|
+
kind: "doc_rot" | "says_does_drift" | "architecture_betrayal" | "wrong_goal";
|
|
230
237
|
summary: string;
|
|
231
238
|
delta_id: string;
|
|
232
|
-
pair: ["stated" | "
|
|
239
|
+
pair: ["stated" | "structural" | "revealed" | "true", "stated" | "structural" | "revealed" | "true"];
|
|
233
240
|
routed_to: "remediator" | "clarification" | "human";
|
|
234
241
|
}, {
|
|
235
|
-
kind: "
|
|
242
|
+
kind: "doc_rot" | "says_does_drift" | "architecture_betrayal" | "wrong_goal";
|
|
236
243
|
summary: string;
|
|
237
244
|
delta_id: string;
|
|
238
|
-
pair: ["stated" | "
|
|
245
|
+
pair: ["stated" | "structural" | "revealed" | "true", "stated" | "structural" | "revealed" | "true"];
|
|
239
246
|
routed_to: "remediator" | "clarification" | "human";
|
|
240
247
|
}>;
|
|
241
248
|
export type CharterDelta = z.infer<typeof CharterDeltaSchema>;
|
|
249
|
+
/**
|
|
250
|
+
* One node of a kind's self-organized leveled teleology. The lane organizes its
|
|
251
|
+
* OWN view of the repo's purposes — `premise_height` is the emergent level
|
|
252
|
+
* (0 = the telos, higher = closer to a leaf mechanism; an integer, NEVER a fixed
|
|
253
|
+
* L0/L1/L2 enum), and `files` is the node's FILE SCOPE: content-derived join keys
|
|
254
|
+
* no agent can mangle. The tool joins teleologies to each other and to the
|
|
255
|
+
* decomposition hint mechanically by file-set overlap (assembleCharters).
|
|
256
|
+
*/
|
|
257
|
+
export declare const TeleologyNodeSchema: z.ZodObject<{
|
|
258
|
+
/** Purpose in telos terms, never mechanism (same discipline as `Charter`). */
|
|
259
|
+
purpose: z.ZodString;
|
|
260
|
+
/** Emergent level: 0 = the telos, higher = nearer a leaf mechanism. */
|
|
261
|
+
premise_height: z.ZodNumber;
|
|
262
|
+
/** The node's file scope — the join key. At least one repo-relative path. */
|
|
263
|
+
files: z.ZodArray<z.ZodString, "many">;
|
|
264
|
+
}, "strict", z.ZodTypeAny, {
|
|
265
|
+
files: string[];
|
|
266
|
+
purpose: string;
|
|
267
|
+
premise_height: number;
|
|
268
|
+
}, {
|
|
269
|
+
files: string[];
|
|
270
|
+
purpose: string;
|
|
271
|
+
premise_height: number;
|
|
272
|
+
}>;
|
|
273
|
+
export type TeleologyNode = z.infer<typeof TeleologyNodeSchema>;
|
|
274
|
+
/**
|
|
275
|
+
* The delta miner's TRIANGULATED TELOS for one subsystem — a unified opinion the
|
|
276
|
+
* owner reacts to, distilled from the three blind estimators. A LEAD, never a
|
|
277
|
+
* reconciliation: the charters stay held un-merged, the deltas stay the primary
|
|
278
|
+
* product, and no consumer may treat this as ground truth (the spec's
|
|
279
|
+
* "never reconciled into one truth" boundary; the rejected thing is a merge that
|
|
280
|
+
* DESTROYS the deltas, and this preserves them).
|
|
281
|
+
*/
|
|
282
|
+
export declare const TriangulatedTelosSchema: z.ZodObject<{
|
|
283
|
+
/** The subsystem (joined unit) this estimate belongs to. */
|
|
284
|
+
node_id: z.ZodString;
|
|
285
|
+
/** The unified best-estimate telos, in telos terms. */
|
|
286
|
+
telos: z.ZodString;
|
|
287
|
+
confidence: z.ZodEnum<["high", "medium", "low"]>;
|
|
288
|
+
}, "strict", z.ZodTypeAny, {
|
|
289
|
+
confidence: "high" | "low" | "medium";
|
|
290
|
+
node_id: string;
|
|
291
|
+
telos: string;
|
|
292
|
+
}, {
|
|
293
|
+
confidence: "high" | "low" | "medium";
|
|
294
|
+
node_id: string;
|
|
295
|
+
telos: string;
|
|
296
|
+
}>;
|
|
297
|
+
export type TriangulatedTelos = z.infer<typeof TriangulatedTelosSchema>;
|
|
298
|
+
/**
|
|
299
|
+
* Tool-computed disagreement density: how many deltas one subsystem carries per
|
|
300
|
+
* channel pair — the quantitative surface for "which parts of the triangulation
|
|
301
|
+
* need clarification." Deterministic (counted at assembly), never host-supplied.
|
|
302
|
+
*/
|
|
303
|
+
export declare const ChannelDisagreementSchema: z.ZodObject<{
|
|
304
|
+
node_id: z.ZodString;
|
|
305
|
+
pair: z.ZodTuple<[z.ZodEnum<["stated", "structural", "revealed", "true"]>, z.ZodEnum<["stated", "structural", "revealed", "true"]>], null>;
|
|
306
|
+
count: z.ZodNumber;
|
|
307
|
+
}, "strict", z.ZodTypeAny, {
|
|
308
|
+
node_id: string;
|
|
309
|
+
pair: ["stated" | "structural" | "revealed" | "true", "stated" | "structural" | "revealed" | "true"];
|
|
310
|
+
count: number;
|
|
311
|
+
}, {
|
|
312
|
+
node_id: string;
|
|
313
|
+
pair: ["stated" | "structural" | "revealed" | "true", "stated" | "structural" | "revealed" | "true"];
|
|
314
|
+
count: number;
|
|
315
|
+
}>;
|
|
316
|
+
export type ChannelDisagreement = z.infer<typeof ChannelDisagreementSchema>;
|
|
242
317
|
/**
|
|
243
318
|
* How answerable a charter question is — the axes the VOI ranking scores. A
|
|
244
319
|
* `blast_radius` is how far up the goal DAG the answer ripples (goals are a DAG,
|
|
@@ -277,7 +352,7 @@ export declare const CharterClarificationRequestSchema: z.ZodObject<{
|
|
|
277
352
|
/** The subsystem the delta belongs to (for grouping + reporting). */
|
|
278
353
|
node_id: z.ZodString;
|
|
279
354
|
/** The symmetric charter pair in tension. */
|
|
280
|
-
pair: z.ZodTuple<[z.ZodEnum<["stated", "
|
|
355
|
+
pair: z.ZodTuple<[z.ZodEnum<["stated", "structural", "revealed", "true"]>, z.ZodEnum<["stated", "structural", "revealed", "true"]>], null>;
|
|
281
356
|
/** The decidable question ("code optimizes X, docs say Y — which governs?"). */
|
|
282
357
|
question: z.ZodString;
|
|
283
358
|
/** The VOI axes this question is ranked on. */
|
|
@@ -309,7 +384,7 @@ export declare const CharterClarificationRequestSchema: z.ZodObject<{
|
|
|
309
384
|
};
|
|
310
385
|
node_id: string;
|
|
311
386
|
delta_id: string;
|
|
312
|
-
pair: ["stated" | "
|
|
387
|
+
pair: ["stated" | "structural" | "revealed" | "true", "stated" | "structural" | "revealed" | "true"];
|
|
313
388
|
request_id: string;
|
|
314
389
|
question: string;
|
|
315
390
|
disposition: "interactive" | "finding_only";
|
|
@@ -321,7 +396,7 @@ export declare const CharterClarificationRequestSchema: z.ZodObject<{
|
|
|
321
396
|
};
|
|
322
397
|
node_id: string;
|
|
323
398
|
delta_id: string;
|
|
324
|
-
pair: ["stated" | "
|
|
399
|
+
pair: ["stated" | "structural" | "revealed" | "true", "stated" | "structural" | "revealed" | "true"];
|
|
325
400
|
request_id: string;
|
|
326
401
|
question: string;
|
|
327
402
|
disposition: "interactive" | "finding_only";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"charter.d.ts","sourceRoot":"","sources":["../../../src/shared/types/charter.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"charter.d.ts","sourceRoot":"","sources":["../../../src/shared/types/charter.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,iBAAiB,yDAK5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,sCAAoC,CAAC;AACzE,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;EAazB,CAAC;AACZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,aAAa;;;IAItB,+CAA+C;;IAE/C,uEAAuE;;;;;;;;;;;;;;;IAGvE,yEAAyE;;IAEzE,4EAA4E;;;;;;;;;;;;;;;;;;;;;;;;;;EAGrE,CAAC;AACZ,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD;;;;;GAKG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;EAMhB,CAAC;AACZ,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD;;;GAGG;AACH,eAAO,MAAM,cAAc;;;;;;;;;EAKhB,CAAC;AACZ,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD,kFAAkF;AAClF,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKjB,CAAC;AACZ,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD;;;;;;;;GAQG;AACH,eAAO,MAAM,aAAa;;;;;;;;;EAKf,CAAC;AACZ,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;EAapB,CAAC;AACZ,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D;;;;;;;GAOG;AACH,eAAO,MAAM,mBAAmB;IAE5B,8EAA8E;;IAE9E,uEAAuE;;IAEvE,6EAA6E;;;;;;;;;;EAGtE,CAAC;AACZ,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB;IAEhC,4DAA4D;;IAE5D,uDAAuD;;;;;;;;;;;EAIhD,CAAC;AACZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE;;;;GAIG;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;EAM3B,CAAC;AACZ,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAiB5E;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB;IAEjC,6EAA6E;;IAE7E,4EAA4E;;;;;;;;EAGrE,CAAC;AACZ,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E;;;;;;;GAOG;AACH,eAAO,MAAM,gCAAgC,+EAK3C,CAAC;AACH,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAC9C,OAAO,gCAAgC,CACxC,CAAC;AAEF,eAAO,MAAM,iCAAiC;IAE1C,kEAAkE;;IAElE,mDAAmD;;IAEnD,qEAAqE;;IAErE,6CAA6C;;IAE7C,gFAAgF;;IAEhF,+CAA+C;;QAtC/C,6EAA6E;;QAE7E,4EAA4E;;;;;;;;;IAsC5E;;;;;OAKG;;IAEH,4EAA4E;;;;;;;;;;;;;;;;;;;;;;;;;;EAGrE,CAAC;AACZ,MAAM,MAAM,2BAA2B,GAAG,CAAC,CAAC,KAAK,CAC/C,OAAO,iCAAiC,CACzC,CAAC"}
|
|
@@ -2,25 +2,34 @@
|
|
|
2
2
|
// conceptual-design-review build; design of record: spec/conceptual-design-review-design.md).
|
|
3
3
|
//
|
|
4
4
|
// This module is the deterministic, tool-owned data model every later phase plugs
|
|
5
|
-
// into: the
|
|
6
|
-
//
|
|
7
|
-
//
|
|
8
|
-
//
|
|
9
|
-
//
|
|
5
|
+
// into: the channel-pure estimator charters (Stated/Structural/Revealed) plus the
|
|
6
|
+
// downstream-nominated True, per-kind leveled teleologies with file scopes, the
|
|
7
|
+
// goal DAG, the ceiling (consent) meta-intent, the routed pairwise CharterDelta,
|
|
8
|
+
// and the miner's triangulated telos. No LLM content lives here — extraction and
|
|
9
|
+
// delta emission are Phase C. Language-neutral by contract: goals/charters are
|
|
10
|
+
// telos statements, never code, model, provider, or ecosystem literals.
|
|
10
11
|
import { z } from "zod";
|
|
11
12
|
/**
|
|
12
|
-
* The
|
|
13
|
-
*
|
|
14
|
-
*
|
|
15
|
-
*
|
|
16
|
-
*
|
|
17
|
-
* - `
|
|
18
|
-
*
|
|
13
|
+
* The charter kinds. The first three are CHANNEL-PURE ESTIMATORS of a subsystem's
|
|
14
|
+
* telos — each fed a disjoint evidence channel (blindness is a property of the
|
|
15
|
+
* INPUT packet, never an instruction), held un-merged and mined for their pairwise
|
|
16
|
+
* deltas. The deltas stay the primary product; the miner's triangulated telos is a
|
|
17
|
+
* downstream ESTIMATE (a lead the owner reacts to), never a reconciliation.
|
|
18
|
+
* - `stated`: testimony — docs + extracted comments (what the authors SAY).
|
|
19
|
+
* - `structural`: intent frozen into organization — file tree / exports /
|
|
20
|
+
* signatures / names / import graph; no bodies, no docs, no comments.
|
|
21
|
+
* - `revealed`: behavior — comment-stripped code bodies (what the code DOES).
|
|
19
22
|
* - `true`: the "shining city" ideal, possibly inexpressible and the user may be
|
|
20
|
-
* unaware of it
|
|
21
|
-
*
|
|
23
|
+
* unaware of it. Nominatable, never assertable (True-charter gate in
|
|
24
|
+
* validation/charterGate.ts); nominated by the delta miner DOWNSTREAM of
|
|
25
|
+
* triangulation, at the `deepest` ceiling only — never an extraction lane.
|
|
22
26
|
*/
|
|
23
|
-
export const CharterKindSchema = z.enum([
|
|
27
|
+
export const CharterKindSchema = z.enum([
|
|
28
|
+
"stated",
|
|
29
|
+
"structural",
|
|
30
|
+
"revealed",
|
|
31
|
+
"true",
|
|
32
|
+
]);
|
|
24
33
|
/**
|
|
25
34
|
* Source confidence of a charter. Defined SEPARATELY from `FindingConfidence`
|
|
26
35
|
* even though the enum values coincide today: the semantics differ (charter-source
|
|
@@ -127,22 +136,78 @@ export const CeilingSchema = z
|
|
|
127
136
|
/**
|
|
128
137
|
* A routed pairwise charter delta — the product of the overlay-and-delta operator at
|
|
129
138
|
* the charter layer (produced in Phase C). `pair` is a SYMMETRIC tuple of the two
|
|
130
|
-
* charter kinds compared: the design forbids anointing
|
|
131
|
-
* delta is never modeled as `{ from: stated, to: X }`.
|
|
132
|
-
*
|
|
133
|
-
* - `
|
|
134
|
-
* - `
|
|
135
|
-
*
|
|
139
|
+
* charter kinds compared: the design forbids anointing any single estimator as
|
|
140
|
+
* ground truth, so a delta is never modeled as `{ from: stated, to: X }`. Each
|
|
141
|
+
* channel PAIR has one defined meaning; `routed_to` names who acts on it (a
|
|
142
|
+
* low-confidence side forces `human` regardless of kind — gateCharterDelta):
|
|
143
|
+
* - `doc_rot` (stated ↔ structural: testimony vs organization — doc rot / naming
|
|
144
|
+
* drift) → `remediator`.
|
|
145
|
+
* - `says_does_drift` (stated ↔ revealed: testimony vs behavior) → `remediator`.
|
|
146
|
+
* - `architecture_betrayal` (structural ↔ revealed: the organization's promise vs
|
|
147
|
+
* what the implementation actually does) → `clarification` (which governs?).
|
|
148
|
+
* - `wrong_goal` (any estimator ↔ true) → `human` (provocation only; `deepest`).
|
|
136
149
|
*/
|
|
137
150
|
export const CharterDeltaSchema = z
|
|
138
151
|
.object({
|
|
139
152
|
delta_id: z.string(),
|
|
140
153
|
pair: z.tuple([CharterKindSchema, CharterKindSchema]),
|
|
141
|
-
kind: z.enum([
|
|
154
|
+
kind: z.enum([
|
|
155
|
+
"doc_rot",
|
|
156
|
+
"says_does_drift",
|
|
157
|
+
"architecture_betrayal",
|
|
158
|
+
"wrong_goal",
|
|
159
|
+
]),
|
|
142
160
|
routed_to: z.enum(["remediator", "clarification", "human"]),
|
|
143
161
|
summary: z.string(),
|
|
144
162
|
})
|
|
145
163
|
.strict();
|
|
164
|
+
/**
|
|
165
|
+
* One node of a kind's self-organized leveled teleology. The lane organizes its
|
|
166
|
+
* OWN view of the repo's purposes — `premise_height` is the emergent level
|
|
167
|
+
* (0 = the telos, higher = closer to a leaf mechanism; an integer, NEVER a fixed
|
|
168
|
+
* L0/L1/L2 enum), and `files` is the node's FILE SCOPE: content-derived join keys
|
|
169
|
+
* no agent can mangle. The tool joins teleologies to each other and to the
|
|
170
|
+
* decomposition hint mechanically by file-set overlap (assembleCharters).
|
|
171
|
+
*/
|
|
172
|
+
export const TeleologyNodeSchema = z
|
|
173
|
+
.object({
|
|
174
|
+
/** Purpose in telos terms, never mechanism (same discipline as `Charter`). */
|
|
175
|
+
purpose: z.string(),
|
|
176
|
+
/** Emergent level: 0 = the telos, higher = nearer a leaf mechanism. */
|
|
177
|
+
premise_height: z.number().int().min(0),
|
|
178
|
+
/** The node's file scope — the join key. At least one repo-relative path. */
|
|
179
|
+
files: z.array(z.string()).min(1),
|
|
180
|
+
})
|
|
181
|
+
.strict();
|
|
182
|
+
/**
|
|
183
|
+
* The delta miner's TRIANGULATED TELOS for one subsystem — a unified opinion the
|
|
184
|
+
* owner reacts to, distilled from the three blind estimators. A LEAD, never a
|
|
185
|
+
* reconciliation: the charters stay held un-merged, the deltas stay the primary
|
|
186
|
+
* product, and no consumer may treat this as ground truth (the spec's
|
|
187
|
+
* "never reconciled into one truth" boundary; the rejected thing is a merge that
|
|
188
|
+
* DESTROYS the deltas, and this preserves them).
|
|
189
|
+
*/
|
|
190
|
+
export const TriangulatedTelosSchema = z
|
|
191
|
+
.object({
|
|
192
|
+
/** The subsystem (joined unit) this estimate belongs to. */
|
|
193
|
+
node_id: z.string(),
|
|
194
|
+
/** The unified best-estimate telos, in telos terms. */
|
|
195
|
+
telos: z.string(),
|
|
196
|
+
confidence: CharterConfidenceSchema,
|
|
197
|
+
})
|
|
198
|
+
.strict();
|
|
199
|
+
/**
|
|
200
|
+
* Tool-computed disagreement density: how many deltas one subsystem carries per
|
|
201
|
+
* channel pair — the quantitative surface for "which parts of the triangulation
|
|
202
|
+
* need clarification." Deterministic (counted at assembly), never host-supplied.
|
|
203
|
+
*/
|
|
204
|
+
export const ChannelDisagreementSchema = z
|
|
205
|
+
.object({
|
|
206
|
+
node_id: z.string(),
|
|
207
|
+
pair: z.tuple([CharterKindSchema, CharterKindSchema]),
|
|
208
|
+
count: z.number().int().min(1),
|
|
209
|
+
})
|
|
210
|
+
.strict();
|
|
146
211
|
// ── Phase D — the charter-alignment clarification / triangulation loop ──────────
|
|
147
212
|
//
|
|
148
213
|
// The True charter is inexpressible cold; the review converts it into a decidable
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"charter.js","sourceRoot":"","sources":["../../../src/shared/types/charter.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,8FAA8F;AAC9F,EAAE;AACF,kFAAkF;AAClF,
|
|
1
|
+
{"version":3,"file":"charter.js","sourceRoot":"","sources":["../../../src/shared/types/charter.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,8FAA8F;AAC9F,EAAE;AACF,kFAAkF;AAClF,kFAAkF;AAClF,gFAAgF;AAChF,iFAAiF;AACjF,iFAAiF;AACjF,+EAA+E;AAC/E,wEAAwE;AAExE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,IAAI,CAAC;IACtC,QAAQ;IACR,YAAY;IACZ,UAAU;IACV,MAAM;CACP,CAAC,CAAC;AAGH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AAGzE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;QACX,KAAK;QACL,mBAAmB;QACnB,eAAe;QACf,MAAM;QACN,SAAS;QACT,UAAU;KACX,CAAC;IACF,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC;KAC3B,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,IAAI,EAAE,iBAAiB;IACvB,+CAA+C;IAC/C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,uEAAuE;IACvE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC;IAC5C,UAAU,EAAE,uBAAuB;IACnC,yEAAyE;IACzE,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5C,4EAA4E;IAC5E,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACtC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;CACtB,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;CACf,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,kFAAkF;AAClF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;IAC9B,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;CAC/B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC;KAC3B,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IAC5C,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CACxC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;IACrD,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;QACX,SAAS;QACT,iBAAiB;QACjB,uBAAuB;QACvB,YAAY;KACb,CAAC;IACF,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;IAC3D,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;CACpB,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KACjC,MAAM,CAAC;IACN,8EAA8E;IAC9E,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,uEAAuE;IACvE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,6EAA6E;IAC7E,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAClC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,4DAA4D;IAC5D,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,uDAAuD;IACvD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,UAAU,EAAE,uBAAuB;CACpC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC;KACvC,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;IACrD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC/B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,mFAAmF;AACnF,EAAE;AACF,kFAAkF;AAClF,+EAA+E;AAC/E,6EAA6E;AAC7E,kFAAkF;AAClF,gFAAgF;AAChF,+DAA+D;AAC/D,EAAE;AACF,8EAA8E;AAC9E,iFAAiF;AACjF,+EAA+E;AAC/E,kFAAkF;AAClF,iEAAiE;AAEjE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,6EAA6E;IAC7E,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,4EAA4E;IAC5E,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACvC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC,IAAI,CAAC;IACrD,gBAAgB;IAChB,gBAAgB;IAChB,cAAc;IACd,YAAY;CACb,CAAC,CAAC;AAKH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC;KAC/C,MAAM,CAAC;IACN,kEAAkE;IAClE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,mDAAmD;IACnD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,qEAAqE;IACrE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,6CAA6C;IAC7C,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;IACrD,gFAAgF;IAChF,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,+CAA+C;IAC/C,KAAK,EAAE,wBAAwB;IAC/B;;;;;OAKG;IACH,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;IACpD,4EAA4E;IAC5E,MAAM,EAAE,gCAAgC,CAAC,QAAQ,EAAE;CACpD,CAAC;KACD,MAAM,EAAE,CAAC"}
|