create-principles-disciple 1.104.0 → 1.104.2

package/core/dist/runtime-v2/internalization/__tests__/progressive-disclosure-spike-fixtures.d.ts

@@ -0,0 +1,165 @@
+/**
+ * Phase 0 Spike fixtures — synthetic baseline chains for the
+ * internalization progressive-disclosure value verification.
+ *
+ * SPIKE-ONLY. This module is deliberately isolated:
+ *   - it is imported by Spike tests only (task 1.1 self-check, task 1.2 driver);
+ *   - it is NOT exported from any barrel (`internalization/index.ts` untouched);
+ *   - it imports **types only**, so it adds no production runtime dependency;
+ *   - it performs no I/O (core is pure logic — AGENTS.md `antipattern-core-io`).
+ *
+ * Why the chain starts at the diagnostician chain and not at dreamer
+ * (design §4.7.1 / F13): `diag_router` is dreamer's predecessor on the task
+ * graph edge, so it is the only data source for the `pain.summary.*` /
+ * `diagnosis.summary.*` fields the `pain_to_dreamer` diagnosis segment needs.
+ * A chain that started at dreamer could only exercise 2 of the 3 segments.
+ *
+ * Every `contentJson` shape below is taken from the real output type in the
+ * repo — no invented fields:
+ *   diag_rootcause → `DiagRootCauseOutputV1`  (diagnostician/diag-rootcause-output.ts)
+ *   diag_distiller → `DiagDistillerOutputV1`  (diagnostician/diag-distiller-output.ts)
+ *   diag_router    → `DiagnosticianOutputV1`  (diagnostician-output.ts)
+ *   dreamer        → `DreamerOutputV1`        (dreamer-output.ts)
+ *   philosopher    → `PhilosopherOutputV1`    (philosopher-output.ts)
+ *   scribe         → `ScribeOutputV1`         (scribe-output.ts)
+ *   artificer      → `ArtificerRuleOutput`    (artificer-output.ts)
+ *   evaluator      → `EvaluatorOutputV2`      (evaluator-output.ts)
+ *
+ * The evaluator hop carries only fields that exist today (V1 + optional
+ * `codeReview`). `painCoverage` / `compressionFidelity` are Layer 2 additions
+ * and are intentionally absent — the expected defect lives in fixture metadata
+ * (`expectedDefect`), never inside the LLM-shaped payload, so a Spike assertion
+ * cannot trivially read the answer out of the artifact it is judging (ERR-088).
+ *
+ * @see .kiro/specs/internalization-progressive-disclosure/design.md §12 Phase 0, §16.3
+ * @see Requirement 12.2
+ */
+import type { DiagRootCauseOutputV1 } from '../../diagnostician/diag-rootcause-output.js';
+import type { DiagDistillerOutputV1 } from '../../diagnostician/diag-distiller-output.js';
+import type { DiagnosticianOutputV1 } from '../../diagnostician-output.js';
+import type { DreamerOutputV1 } from '../dreamer-output.js';
+import type { PhilosopherOutputV1 } from '../philosopher-output.js';
+import type { ScribeOutputV1 } from '../scribe-output.js';
+import type { ArtificerRuleOutput } from '../artificer-output.js';
+import type { EvaluatorOutputV2 } from '../evaluator-output.js';
+/** The 8 stages that carry a summary in Layer 0 (design §6.1). */
+export type SpikeStageKind = 'diag_rootcause' | 'diag_distiller' | 'diag_router' | 'dreamer' | 'philosopher' | 'scribe' | 'artificer' | 'evaluator';
+/**
+ * Stage order along the synthetic chain. Mirrors `DIAGNOSTICIAN_EDGES`
+ * followed by `ALLOWED_EDGES` (design F5 / F14).
+ */
+export declare const SPIKE_STAGE_ORDER: readonly SpikeStageKind[];
+export type SpikeChainId = 
+/** 缺陷链 A：scribe 原则文本完全丢失 dreamer 的 riskLevel 维度 */
+'defect_a_risk_level_dropped'
+/** 缺陷链 B：scribe 把 dreamer 的具体动作模糊为抽象表述 */
+ | 'defect_b_action_abstracted'
+/** 对照链：无缺陷，用于识别「任何输入都报缺失」的假阳性 */
+ | 'control_no_defect';
+/** The 5 dreamer dimensions the pipeline is supposed to carry forward. */
+export type DreamerDimension = 'badDecision' | 'betterDecision' | 'rationale' | 'riskLevel' | 'strategicPerspective';
+/**
+ * The defect a chain encodes, stated independently of the artifacts.
+ *
+ * The Spike driver (task 1.2) compares the summary-level evaluator's finding
+ * against this — it is the expected answer, not an input to any stage.
+ */
+export type SpikeExpectedDefect = {
+    readonly kind: 'none';
+} | {
+    /** A dimension present at dreamer is absent from the scribe principle text. */
+    readonly kind: 'missing_dimension';
+    readonly segment: 'dreamer_to_scribe';
+    readonly dimension: DreamerDimension;
+} | {
+    /** Concrete actions at dreamer became an abstract phrase at scribe. */
+    readonly kind: 'action_abstracted';
+    readonly segment: 'dreamer_to_scribe';
+    readonly concreteActions: readonly string[];
+    readonly abstractedAs: string;
+};
+/** One hop of a synthetic chain: artifact identity + the stage's contentJson. */
+export interface SpikeChainHop<TContent> {
+    readonly stage: SpikeStageKind;
+    readonly artifactId: string;
+    readonly taskId: string;
+    /**
+     * Stage identity source of truth. Per F1, `artifactKind` cannot identify a
+     * stage (artificer writes `'principle'` too), so consumers must read this.
+     */
+    readonly taskKind: SpikeStageKind;
+    /**
+     * The artifact id of the predecessor **on the task graph edge**
+     * (design §6.1). `null` only at the chain head.
+     */
+    readonly edgePredecessorArtifactId: string | null;
+    readonly contentJson: TContent;
+}
+export interface SpikeChain {
+    readonly chainId: SpikeChainId;
+    /** Short human-readable label for Spike output. */
+    readonly label: string;
+    readonly expectedDefect: SpikeExpectedDefect;
+    readonly diagRootCause: SpikeChainHop<DiagRootCauseOutputV1>;
+    readonly diagDistiller: SpikeChainHop<DiagDistillerOutputV1>;
+    readonly diagRouter: SpikeChainHop<DiagnosticianOutputV1>;
+    readonly dreamer: SpikeChainHop<DreamerOutputV1>;
+    readonly philosopher: SpikeChainHop<PhilosopherOutputV1>;
+    readonly scribe: SpikeChainHop<ScribeOutputV1>;
+    readonly artificer: SpikeChainHop<ArtificerRuleOutput>;
+    readonly evaluator: SpikeChainHop<EvaluatorOutputV2>;
+}
+/** Ordered hops of a chain. `contentJson` stays `unknown` (rc-1). */
+export declare function spikeChainHops(chain: SpikeChain): readonly SpikeChainHop<unknown>[];
+/** The three concrete actions dreamer prescribes. Defect chain B loses these. */
+export declare const CONCRETE_ACTIONS: readonly string[];
+/** The abstract phrase defect chain B substitutes for the concrete actions. */
+export declare const ABSTRACTED_PHRASE = "\u7406\u89E3\u67B6\u6784";
+/** The dreamer risk level. Defect chain A loses this dimension entirely. */
+export declare const DREAMER_RISK_LEVEL = "high";
+/** 缺陷链 A：scribe 原则文本完全丢失 dreamer 的 `riskLevel` 维度。 */
+export declare const SPIKE_CHAIN_DEFECT_A: SpikeChain;
+/** 缺陷链 B：scribe 把 dreamer 的具体动作模糊为抽象表述。 */
+export declare const SPIKE_CHAIN_DEFECT_B: SpikeChain;
+/** 对照链：无缺陷。用于识别「任何输入都报缺失」的假阳性。 */
+export declare const SPIKE_CHAIN_CONTROL: SpikeChain;
+export declare const SPIKE_CHAINS: readonly SpikeChain[];
+/** One inconsistency between a hop's lineage field and the hop it should name. */
+export interface SpikeLineageViolation {
+    readonly chainId: SpikeChainId;
+    readonly stage: SpikeStageKind;
+    /** Dotted path of the offending field, e.g. `sourceTrace.scribeArtifactId`. */
+    readonly field: string;
+    readonly expected: string;
+    readonly actual: string;
+}
+/**
+ * Collect every lineage inconsistency in a chain.
+ *
+ * Only fields that actually exist on the real output types are checked, and each
+ * check names the concrete field and the hop it must point at — so a failure
+ * reports *which* field of *which* stage drifted, not merely "chain invalid"
+ * (ERR-088: the assertion signal must identify the intended path uniquely).
+ *
+ * Checked invariants:
+ *   - `taskKind` equals `stage` (F1: stage identity comes from taskKind, never artifactKind)
+ *   - each hop's `edgePredecessorArtifactId` is the previous hop on the task graph edge
+ *   - `contentJson.taskId` equals the hop's own `taskId` (every stage except
+ *     `diag_router`, whose output carries no `taskId` — PRI-272 removed it)
+ *   - `diag_distiller.sourceRootCauseArtifactId` → rootcause artifact
+ *   - `diag_router` carries Stage A's `rootCause`/`evidence` and Stage B's
+ *     `confidence` (the invariants `diag-router-runner.postFetchTransform` injects)
+ *   - `dreamer.contextRefs` contains the router artifact
+ *   - `philosopher.sourceDreamerArtifactId` → dreamer artifact
+ *   - scribe / artificer / evaluator top-level source ids and every
+ *     `sourceTrace.*` id point at the actual upstream artifacts
+ */
+export declare function findSpikeLineageViolations(chain: SpikeChain): readonly SpikeLineageViolation[];
+/**
+ * Throw with a per-field report when a chain's lineage is inconsistent.
+ *
+ * Used by the fixture self-check test and available to the Spike driver so a
+ * corrupted fixture fails loud instead of silently weakening the Spike (rc-9).
+ */
+export declare function assertSpikeChainLineageConsistent(chain: SpikeChain): void;
+//# sourceMappingURL=progressive-disclosure-spike-fixtures.d.ts.map

package/core/dist/runtime-v2/internalization/__tests__/progressive-disclosure-spike-fixtures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"progressive-disclosure-spike-fixtures.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/progressive-disclosure-spike-fixtures.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8CAA8C,CAAC;AAC1F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8CAA8C,CAAC;AAC1F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAC3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAIhE,kEAAkE;AAClE,MAAM,MAAM,cAAc,GACtB,gBAAgB,GAChB,gBAAgB,GAChB,aAAa,GACb,SAAS,GACT,aAAa,GACb,QAAQ,GACR,WAAW,GACX,WAAW,CAAC;AAEhB;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,SAAS,cAAc,EAStD,CAAC;AAEF,MAAM,MAAM,YAAY;AACtB,mDAAmD;AACjD,6BAA6B;AAC/B,0CAA0C;GACxC,4BAA4B;AAC9B,iCAAiC;GAC/B,mBAAmB,CAAC;AAExB,0EAA0E;AAC1E,MAAM,MAAM,gBAAgB,GACxB,aAAa,GACb,gBAAgB,GAChB,WAAW,GACX,WAAW,GACX,sBAAsB,CAAC;AAE3B;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IACE,+EAA+E;IAC/E,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;CACtC,GACD;IACE,uEAAuE;IACvE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEN,iFAAiF;AACjF,MAAM,WAAW,aAAa,CAAC,QAAQ;IACrC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC;;;OAGG;IACH,QAAQ,CAAC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC;CAChC;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,mDAAmD;IACnD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,mBAAmB,CAAC;IAC7C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAC;IAC7D,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAC;IAC7D,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAC;IAC1D,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IACjD,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAC;IACzD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAC;IACvD,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;CACtD;AAED,qEAAqE;AACrE,wBAAgB,cAAc,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,aAAa,CAAC,OAAO,CAAC,EAAE,CAWnF;AAUD,iFAAiF;AACjF,eAAO,MAAM,gBAAgB,EAAE,SAAS,MAAM,EAI7C,CAAC;AAEF,+EAA+E;AAC/E,eAAO,MAAM,iBAAiB,6BAAS,CAAC;AAExC,4EAA4E;AAC5E,eAAO,MAAM,kBAAkB,SAAS,CAAC;AAqezC,sDAAsD;AACtD,eAAO,MAAM,oBAAoB,EAAE,UAYjC,CAAC;AAEH,2CAA2C;AAC3C,eAAO,MAAM,oBAAoB,EAAE,UAajC,CAAC;AAEH,kCAAkC;AAClC,eAAO,MAAM,mBAAmB,EAAE,UAQhC,CAAC;AAEH,eAAO,MAAM,YAAY,EAAE,SAAS,UAAU,EAI7C,CAAC;AAIF,kFAAkF;AAClF,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAgBD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,qBAAqB,EAAE,CAuO9F;AAED;;;;;GAKG;AACH,wBAAgB,iCAAiC,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CASzE"}