dsh-doublecheck 0.7.0 → 0.7.1

package/lib/domain/gate.d.ts

@@ -27,8 +27,8 @@
  */
 import type { SessionEvent } from '@deepseek-ai/dsh-session';
 import type { ObjectJsonSchema } from '@deepseek-ai/dsh-tools';
-import { type TestRunDetection } from './evidence.ts';
-import { type GrilledSpec, type ReviewFinding } from './vocabulary.ts';
+import { type TestRunDetection } from './evidence.js';
+import { type GrilledSpec, type ReviewFinding } from './vocabulary.js';
 /** The four gate phases, in checklist order. */
 export type GatePhase = 'requirements' | 'tests' | 'consistency' | 'review';
 /** All gate phases in checklist order. */

package/lib/domain/projection.d.ts

@@ -11,10 +11,10 @@
  * @module dsh-doublecheck/domain/projection
  */
 import type { SessionEvent } from '@deepseek-ai/dsh-session';
-import { type TestRunDetection } from './evidence.ts';
-import { type DisciplineStage, type TestColor } from './stages.ts';
-import { type GateVerdict } from './gate.ts';
-import type { DoublecheckView } from '../types.ts';
+import { type TestRunDetection } from './evidence.js';
+import { type DisciplineStage, type TestColor } from './stages.js';
+import { type GateVerdict } from './gate.js';
+import type { DoublecheckView } from '../types.js';
 /** The projection unit's plain-JSON fold state. */
 export interface DoublecheckProjectionState {
     /** The last discipline stage a successful call or test run reached. */

package/lib/domain/report.d.ts

@@ -14,8 +14,8 @@
 import type { SessionEvent } from '@deepseek-ai/dsh-session';
 import type { ObjectJsonSchema } from '@deepseek-ai/dsh-tools';
 import type { WorkflowMeta } from '@deepseek-ai/dsh-workflow';
-import { type TestRunDetection } from './evidence.ts';
-import { type GrilledSpec, type ReportVerdict, type ReviewFinding, type ReviewVerdict, type VerifyCheck } from './vocabulary.ts';
+import { type TestRunDetection } from './evidence.js';
+import { type GrilledSpec, type ReportVerdict, type ReviewFinding, type ReviewVerdict, type VerifyCheck } from './vocabulary.js';
 /** One timeline row of the report fold, in log order. */
 export interface ReportTimelineEntry {
     /** The evidence kind this row records. */

package/lib/domain/stages.d.ts

@@ -15,7 +15,7 @@
  * @module dsh-doublecheck/domain/stages
  */
 import type { SessionEvent } from '@deepseek-ai/dsh-session';
-import { type TestRunDetection } from './evidence.ts';
+import { type TestRunDetection } from './evidence.js';
 /** The discipline stages, in execution order. */
 export type DisciplineStage = 'grill' | 'design' | 'red' | 'green' | 'review' | 'verify';
 /** All discipline stages in order. */

package/lib/events.d.ts

@@ -14,10 +14,10 @@
  */
 import type { Agent } from '@deepseek-ai/dsh-agent';
 import type { Session, SessionEventMap } from '@deepseek-ai/dsh-session';
-import type { GrilledSpec, ReviewFinding, ReviewVerdict, ReportVerdict, VerifyCheck } from './domain/vocabulary.ts';
-import type { GateState, GateVerdict } from './domain/gate.ts';
-export type { GrilledSpec, ReviewFinding, ReviewVerdict, ReportVerdict, VerifyCheck } from './domain/vocabulary.ts';
-export type { GateState } from './domain/gate.ts';
+import type { GrilledSpec, ReviewFinding, ReviewVerdict, ReportVerdict, VerifyCheck } from './domain/vocabulary.js';
+import type { GateState, GateVerdict } from './domain/gate.js';
+export type { GrilledSpec, ReviewFinding, ReviewVerdict, ReportVerdict, VerifyCheck } from './domain/vocabulary.js';
+export type { GateState } from './domain/gate.js';
 /** Guard enforcement strength. */
 export type GuardIntensity = 'remind' | 'warn' | 'block';
 /** Which discipline gate produced a guard reaction. */

package/lib/grill/index.d.ts

@@ -14,7 +14,7 @@
  */
 import type { Context } from '@deepseek-ai/cordis';
 import type Schema from '@deepseek-ai/schemastery';
-import type { GrilledSpec } from '../events.ts';
+import type { GrilledSpec } from '../events.js';
 export declare const name = "doublecheck-grill";
 export declare const inject: string[];
 /** Grill module configuration. */

package/lib/guard/command.d.ts

@@ -16,8 +16,8 @@
 import type { CommandInvocation, CommandResult } from '@deepseek-ai/dsh-commands';
 import { Session } from '@deepseek-ai/dsh-session';
 import type { SessionEvent } from '@deepseek-ai/dsh-session';
-import type { TestRunDetection } from '../domain/evidence.ts';
-import type { Config, Snapshot } from './index.ts';
+import type { TestRunDetection } from '../domain/evidence.js';
+import type { Config, Snapshot } from './index.js';
 export declare function hostStampsIgnorable(): boolean;
 /**
  * The session's doublecheck master switch: the last `doublecheck/state` event,

package/lib/guard/gate.d.ts

@@ -28,9 +28,9 @@ import type { Agent } from '@deepseek-ai/dsh-agent';
 import type { CommandInvocation, CommandResult } from '@deepseek-ai/dsh-commands';
 import type { UserMessage } from '@deepseek-ai/dsh-llm';
 import type Schema from '@deepseek-ai/schemastery';
-import type { TestRunDetection } from '../domain/evidence.ts';
-import { type GateQuestion, type GateState, type GateVerdict } from '../domain/gate.ts';
-import type { GuardProse, ProseLanguage } from './prose.ts';
+import type { TestRunDetection } from '../domain/evidence.js';
+import { type GateQuestion, type GateState, type GateVerdict } from '../domain/gate.js';
+import type { GuardProse, ProseLanguage } from './prose.js';
 /** The reviewer knobs shared by the consistency and review phases. */
 export interface GateReviewerConfig {
     enabled: boolean;

package/lib/guard/index.d.ts

@@ -29,11 +29,11 @@
 import type { Context } from '@deepseek-ai/cordis';
 import type { SessionEvent } from '@deepseek-ai/dsh-session';
 import type Schema from '@deepseek-ai/schemastery';
-import { type DisciplineState } from '../domain/stages.ts';
-import type { GuardIntensity } from '../events.ts';
-import { type ProseLanguage } from './prose.ts';
-import { type GateConfig } from './gate.ts';
-import { type GateVerdict } from '../domain/gate.ts';
+import { type DisciplineState } from '../domain/stages.js';
+import type { GuardIntensity } from '../events.js';
+import { type ProseLanguage } from './prose.js';
+import { type GateConfig } from './gate.js';
+import { type GateVerdict } from '../domain/gate.js';
 export declare const name = "doublecheck-guard";
 export declare const inject: string[];
 /**

package/lib/guard/index.js

@@ -536,12 +536,14 @@ export function apply(ctx, config) {
     });
     // The invariant companion, registered from the main plugin so its checks
     // see the live detection knobs. Activates only when an invariant registry
-    // is composed.
+    // is composed. The registry binds its internal effect to the service
+    // context and throws on a duplicate package name, so the returned disposer
+    // is the only unregistration path: hold it on this inject scope's fiber.
     ctx.inject(['invariants'], (invariantCtx) => {
         const registry = invariantCtx.get('invariants');
         if (registry === undefined)
             return;
-        registry.register(PACKAGE_NAME, installInvariant({ detection: () => detection }));
+        invariantCtx.effect(() => registry.register(PACKAGE_NAME, installInvariant({ detection: () => detection })), 'dsh-doublecheck: invariant companion');
     });
 }
 /** The adversary knobs in the shape the review runner reads. */

package/lib/guard/review.d.ts

@@ -16,8 +16,8 @@ import type { Context } from '@deepseek-ai/cordis';
 import type { Agent } from '@deepseek-ai/dsh-agent';
 import type { UserMessage } from '@deepseek-ai/dsh-llm';
 import type { ObjectJsonSchema } from '@deepseek-ai/dsh-tools';
-import type { ReviewFinding, ReviewVerdict } from '../domain/vocabulary.ts';
-import { type GuardProse, type ProseLanguage } from './prose.ts';
+import type { ReviewFinding, ReviewVerdict } from '../domain/vocabulary.js';
+import { type GuardProse, type ProseLanguage } from './prose.js';
 /** The adversary knobs the review runner reads. */
 export interface AdversaryConfig {
     adversaryProvider: string;

package/lib/index.d.ts

@@ -6,13 +6,13 @@
  *
  * @module dsh-doublecheck
  */
-export type { GrilledSpec, GuardIntensity, GuardGate, GuardVerdict } from './events.ts';
-export * from './domain/stages.ts';
-export * from './domain/evidence.ts';
-export * from './domain/vagueness.ts';
-export * from './domain/vocabulary.ts';
-export * from './domain/report.ts';
-export * from './domain/gate.ts';
-export { renderSpecMarkdown } from './grill/index.ts';
-export { BundledSkillProvider, parseSkillAsset, PROVIDER_NAME } from './grill/provider.ts';
-export type * from './types.ts';
+export type { GrilledSpec, GuardIntensity, GuardGate, GuardVerdict } from './events.js';
+export * from './domain/stages.js';
+export * from './domain/evidence.js';
+export * from './domain/vagueness.js';
+export * from './domain/vocabulary.js';
+export * from './domain/report.js';
+export * from './domain/gate.js';
+export { renderSpecMarkdown } from './grill/index.js';
+export { BundledSkillProvider, parseSkillAsset, PROVIDER_NAME } from './grill/provider.js';
+export type * from './types.js';

package/lib/invariant.d.ts

@@ -23,7 +23,7 @@
  * @module dsh-doublecheck/invariant
  */
 import type { Context } from '@deepseek-ai/cordis';
-import type { TestRunDetection } from './domain/evidence.ts';
+import type { TestRunDetection } from './domain/evidence.js';
 /** Full npm package name owning the reported failures. */
 export declare const PACKAGE_NAME = "dsh-doublecheck";
 /** A package-attributed invariant failure reported by the host registry. */

package/lib/types.d.ts

@@ -7,8 +7,8 @@
  * @module dsh-doublecheck/types
  */
 import { z as zod } from 'zod';
-import type { DisciplineStage, TestColor } from './domain/stages.ts';
-import type { GateVerdict } from './domain/gate.ts';
+import type { DisciplineStage, TestColor } from './domain/stages.js';
+import type { GateVerdict } from './domain/gate.js';
 /** The whole wire value of the `doublecheck` session projection. */
 export interface DoublecheckView {
     /** The last discipline stage reached on durable evidence. */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-doublecheck",
-  "version": "0.7.0",
+  "version": "0.7.1",
   "description": "Delivery quality gate for DeepSeek Harness: grill the requirements, test the implementation, prove the delivery, and gate the handoff with a deliverable/rework decision.",
   "packageManager": "pnpm@11.7.0",
   "repository": {
@@ -51,13 +51,17 @@
     "LICENSE"
   ],
   "scripts": {
-    "build": "tsc --noEmitOnError",
-    "prepare": "tsc --noEmitOnError",
-    "prepublishOnly": "tsc --noEmitOnError && pnpm run test",
+    "build": "tsc --noEmitOnError && node scripts/fix-dts.mjs",
+    "prepare": "tsc --noEmitOnError && node scripts/fix-dts.mjs",
+    "prepublishOnly": "tsc --noEmitOnError && node scripts/fix-dts.mjs && pnpm run test",
     "typecheck": "tsc --noEmit && tsc -p tsconfig.tests.json",
     "lint": "eslint src tests",
     "test": "vitest run",
     "test:coverage": "vitest run --coverage",
+    "verify:skills": "node scripts/verify-skills.mjs",
+    "check:readmes": "node scripts/check-readme-sync.mjs",
+    "verify:self-contained": "node scripts/verify-self-contained.mjs",
+    "verify:artifacts": "node scripts/verify-artifacts.mjs",
     "pack:check": "pnpm run build && pnpm pack"
   },
   "keywords": [
@@ -137,6 +141,7 @@
   },
   "devDependencies": {
     "@deepseek-ai/cordis": "^4.0.1",
+    "@deepseek-ai/cordis-plugin-loader": "1.0.2",
     "@deepseek-ai/dsh-agent": "0.1.0-rc.6",
     "@deepseek-ai/dsh-commands": "0.1.0-rc.6",
     "@deepseek-ai/dsh-fs": "0.1.0-rc.6",