@try-works/dsh-recursive-mode 0.1.4 → 0.1.6

package/lib/policy.d.ts

@@ -3,7 +3,7 @@ import type { EnforcementConfig } from './enforcement.ts';
 export interface PolicyContext {
     worktreeRoot: string;
     runId: string;
-    folded: RecursivePhaseState | null;
+    folded?: RecursivePhaseState | null;
     config?: EnforcementConfig;
 }
 /**

package/lib/runtime.d.ts

@@ -207,12 +207,11 @@ export declare class RecursiveRuntime extends Service {
     /** Reopen a LOCKED artifact to DRAFT (delete LockedAt/LockHash, invalidate downstream receipts). */
     private reopenArtifact;
     /**
-     * Lint an artifact with FULL canonical parity: shells out to the vendored
-     * lint-recursive-run.py (byte-identical to canonical) and parses its
-     * [FAIL]/[WARN] lines + Summary counts. `errors` = FAIL lines, `warnings` =
+     * Lint an artifact with FULL canonical parity: runs the in-process ts-lint
+     * port (ts-lint.ts `lintRun`) against the whole run and filters the verdict
+     * lines to the requested artifact. `errors` = FAIL lines, `warnings` =
      * WARN lines, `passed` = no FAIL (WARN-only passes, matching the canonical
-     * non-strict verdict). Falls back to the structural check only if the vendored
-     * script is unavailable (e.g. bundled lib without references/).
+     * non-strict verdict).
      */
     lintArtifact(runId: string, artifact?: string, agent?: {
         session?: {
@@ -221,6 +220,14 @@ export declare class RecursiveRuntime extends Service {
             };
         };
     } | null): Promise<LintArtifactResult>;
+    /** Legacy structural fallback (kept for type reference; lintArtifact uses lintRun). */
+    lintArtifactStructuralFallback(runId: string, artifact: string, agent?: {
+        session?: {
+            header?: {
+                cwd?: string;
+            };
+        };
+    } | null): Promise<LintArtifactResult>;
     /** Phase C R1/R2: fold the log into phase state; validate a transition intent. */
     foldPhase(events: readonly SessionEventLike[]): RecursivePhaseState | null;
     validateTransition(intent: PhaseTransitionIntent): GateCheckResult;

package/lib/ts-lint.d.ts

@@ -0,0 +1,205 @@
+export declare const PRODUCT_DIFF_PHASE_FILES: Set<string>;
+export declare const DECISIONS_DIFF_PHASE_FILES: Set<string>;
+export declare const STATE_DIFF_PHASE_FILES: Set<string>;
+export declare const MEMORY_DIFF_PHASE_FILES: Set<string>;
+export declare const MEMORY_ALLOWED_TYPES: Set<string>;
+export declare const MEMORY_ALLOWED_STATUSES: Set<string>;
+export declare const MEMORY_REQUIRED_FIELDS: string[];
+export declare const TDD_MODES: Set<string>;
+export declare const QA_EXECUTION_MODES: Set<string>;
+export declare const TRANSIENT_RUNTIME_DIR_MARKERS: Set<string>;
+export declare const TRANSIENT_RUNTIME_FILE_NAMES: Set<string>;
+export declare const TRANSIENT_RUNTIME_SUFFIXES: string[];
+export declare const DIFF_BASIS_ALLOWED_TYPES: Set<string>;
+export declare const WORKING_TREE_COMPARISON_REFS: Set<string>;
+export declare const INVENTORY_DISPOSITIONS: Set<string>;
+export declare const PHASE2_REQUIREMENT_DISPOSITION_STATUSES: Set<string>;
+export declare const REQUIREMENT_DISPOSITION_STATUSES: Set<string>;
+export declare const SKILL_USAGE_RELEVANCE_STATUSES: Set<string>;
+export declare const FINAL_REQUIREMENT_DISPOSITION_FILES: Set<string>;
+export declare const REQUIREMENT_CHANGED_FILE_ACCOUNTING_FILES: Set<string>;
+export declare const SUBAGENT_ACTION_REQUIRED_HEADINGS: string[];
+export declare const SKILL_MEMORY_ROUTER_NAMES: Set<string>;
+export declare const RUN_ARTIFACT_SEQUENCE: string[];
+export declare const REQUIREMENT_ID_RE: RegExp;
+export interface LintIssue {
+    severity: 'FAIL' | 'WARN';
+    filePath: string;
+    message: string;
+}
+export interface LintResult {
+    errors: string[];
+    warnings: string[];
+    failCount: number;
+    warnCount: number;
+    passed: boolean;
+    summary: string;
+}
+/** trim_md_value: strip surrounding quotes/backticks. */
+export declare function trimMdValue(value: string): string;
+/** get_md_field_value: first `Field: value` line. */
+export declare function getMdFieldValue(content: string, fieldName: string): string | null;
+/** has_header_field: any `Field:` line. */
+export declare function hasHeaderField(content: string, fieldName: string): boolean;
+/** has_heading: `## Heading` line. */
+export declare function hasHeading(content: string, headingText: string): boolean;
+/** get_heading_body: text under `## Heading` until next heading or end. */
+export declare function getHeadingBody(content: string, headingText: string): string;
+/** get_subheading_body: text under `### Heading` (or level N) until next N-or-less heading. */
+export declare function getSubheadingBody(content: string, headingText: string, level?: number): string;
+/** has_gate_line: `Gate: PASS|FAIL` line. */
+export declare function hasGateLine(content: string, gateName: string): boolean;
+/** get_gate_status: PASS|FAIL|MISSING. */
+export declare function getGateStatus(content: string, gateName: string): string;
+/** get_todo_stats: [has_todo, total, checked, unchecked] under ## TODO. */
+export declare function getTodoStats(content: string): [boolean, number, number, number];
+/** get_latest_run_directory: newest mtime subdir of run_root. */
+export declare function getLatestRunDirectory(runRoot: string): string | null;
+/** get_workflow_profile: from Workflow version field or late-phase presence. */
+export declare function getWorkflowProfile(runDir: string): string;
+/** is_placeholder_only: empty or placeholder token. */
+export declare function isPlaceholderOnly(text: string): boolean;
+/** parse_requirement_ids: Rd+ ids from Requirements heading. */
+export declare function parseRequirementIds(requirementsContent: string): string[];
+/** requirement_sort_key: Rd+ < SRC-d{3} < other. */
+export declare function requirementSortKey(value: string): [number, number | string, string];
+/** normalize_source_text: collapse whitespace, strip quotes/backticks, lowercase. */
+export declare function normalizeSourceText(value: string): string;
+/** source_quote_matches: normalized quote appears in requirements content. */
+export declare function sourceQuoteMatches(sourceQuote: string, requirementsContent: string): boolean;
+/** escapeRegExp helper. */
+export declare function escapeRegExp(s: string): string;
+/** content_sha256: sha256 hex of UTF-8 content (LF-normalized). */
+export declare function contentSha256(content: string): string;
+/** extract_paths_from_text: backtick paths with / or . in name, non-git, non-placeholder. */
+export declare function extractPathsFromText(text: string): Set<string>;
+/** extract_paths_from_field_value: backtick paths, else split on ,; newline. */
+export declare function extractPathsFromFieldValue(text: string): Set<string>;
+/** extract_paths_from_named_field: inline value or block body until next field. */
+export declare function extractPathsFromNamedField(content: string, fieldName: string): Set<string>;
+/** get_named_field_text: inline value or block body until next field. */
+export declare function getNamedFieldText(content: string, fieldName: string): string | null;
+/** has_meaningful_value: non-empty and not in disallowed set. */
+export declare function hasMeaningfulValue(value: string | null, disallowed?: Set<string>): boolean;
+/** collect_subagent_delegation_issues: audit-context consistency rules. */
+export declare function collectSubagentDelegationIssues(auditContext: string): string[];
+/** collect_paths_under_prefix: sorted paths under a prefix. */
+export declare function collectPathsUnderPrefix(text: string, prefix: string): string[];
+/** find_missing_repo_paths: paths not existing under repo_root. */
+export declare function findMissingRepoPaths(repoRoot: string, paths: string[]): string[];
+/** normalize_repo_path: backslash->slash, strip leading /. */
+export declare function normalizeRepoPath(rawPath: string): string;
+/** is_addendum_artifact: file name contains .addendum-. */
+export declare function isAddendumArtifact(fileName: string): boolean;
+/** is_transient_runtime_path: __pycache__, .pyc, etc. */
+export declare function isTransientRuntimePath(normalizedPath: string): boolean;
+/** filter_runtime_changed_files: drop the run's own dir + transient paths. */
+export declare function filterRuntimeChangedFiles(paths: string[], runId: string): string[];
+/** run_git: run git -C repo args, return [stdout, error]. */
+export declare function runGit(repoRoot: string, ...args: string[]): [string | null, string | null];
+/** normalize_baseline_type: canonicalize baseline type with aliases. */
+export declare function normalizeBaselineType(value: string | null): string | null;
+/** normalize_comparison_reference: map working-tree refs. */
+export declare function normalizeComparisonReference(value: string | null): string | null;
+/** parse_diff_basis_source: heading body of Diff Basis For Later Audits / Diff Basis. */
+export declare function parseDiffBasisSource(content: string): string;
+/** get_run_diff_basis: read diff-basis fields from 00-worktree.md. */
+export declare function getRunDiffBasis(runDir: string): Record<string, string | null>;
+/** normalize_diff_basis: validate + compute the executable diff basis. */
+export declare function normalizeDiffBasis(repoRoot: string, diffBasis: Record<string, string | null>): [Record<string, string> | null, string | null];
+/** get_git_changed_files: git diff --name-only + untracked (--relative). */
+export declare function getGitChangedFiles(repoRoot: string, diffBasis: Record<string, string | null>): [string[] | null, string | null];
+/** get_phase_owned_actual_changed_files: which changed files belong to this phase. */
+export declare function getPhaseOwnedActualChangedFiles(fileName: string, actualChangedFiles: string[] | null, repoRoot?: string): string[] | null;
+/** get_related_addenda_paths: run_dir/addenda/<base>.addendum-*.md (+ upstream-gap). */
+export declare function getRelatedAddendaPaths(runDir: string, artifactName: string): string[];
+/** get_stage_local_addenda_paths: run_dir/addenda/<base>.addendum-*.md. */
+export declare function getStageLocalAddendaPaths(runDir: string, artifactName: string): string[];
+/** get_current_phase_upstream_gap_addenda_paths: run_dir/addenda/<base>.upstream-gap.*.addendum-*.md. */
+export declare function getCurrentPhaseUpstreamGapAddendaPaths(runDir: string, artifactName: string): string[];
+/** get_header_field_block: lines under `Field:` until a stop field. */
+export declare function getHeaderFieldBlock(content: string, fieldName: string, stopFields: string[]): string;
+/** get_header_input_paths: paths under Inputs:. */
+export declare function getHeaderInputPaths(content: string): Set<string>;
+/** get_phase_expected_input_artifact_names: expected input artifacts for a phase. */
+export declare function getPhaseExpectedInputArtifactNames(fileName: string, runDir: string): string[];
+/** get_expected_effective_input_addenda_paths: expected addenda cited in Inputs. */
+export declare function getExpectedEffectiveInputAddendaPaths(runDir: string, fileName: string): string[];
+/** parse_requirement_completion_entries: `- R1 | Status: ... | ...` rows. */
+export declare function parseRequirementCompletionEntries(sectionBody: string): [Record<string, Record<string, string>>, string[]];
+/** is_meaningful_requirement_field: non-empty, not placeholder/none/n/a/tbd/todo. */
+export declare function isMeaningfulRequirementField(value: string | null): boolean;
+/** collect_requirement_field_paths: normalized repo paths from field values. */
+export declare function collectRequirementFieldPaths(fields: Record<string, string>, fieldNames: string[]): Set<string>;
+/** collect_meaningful_requirement_fields: drop ID/Status + placeholders. */
+export declare function collectMeaningfulRequirementFields(fields: Record<string, string>): Record<string, string>;
+/** normalize_skill_usage_relevance: yes->relevant, no->not-relevant. */
+export declare function normalizeSkillUsageRelevance(value: string | null): string;
+/** lint_requirement_disposition_fields: per-status field requirements (implemented/verified/deferred/...). */
+export declare function lintRequirementDispositionFields(requirementId: string, status: string, fields: Record<string, string>, fileName: string, runDir: string, repoRoot: string, actualChangedFiles: string[] | null): string[];
+/** lint_source_requirement_inventory: 01-as-is Source Requirement Inventory rules. */
+export declare function lintSourceRequirementInventory(filePath: string, content: string, workflowProfile: string, runDir: string): string[];
+/** lint_requirement_mapping: 02-to-be-plan Requirement Mapping rules. */
+export declare function lintRequirementMapping(content: string, workflowProfile: string, runDir: string, repoRoot: string): string[];
+/** lint_plan_drift_check: Plan Drift Check merge/rationale rule. */
+export declare function lintPlanDriftCheck(content: string, workflowProfile: string): string[];
+/** lint_phase2_requirement_disposition_fields: 02 phase-2 status rules. */
+export declare function lintPhase2RequirementDispositionFields(requirementId: string, status: string, fields: Record<string, string>, runDir: string, repoRoot: string): string[];
+/** parse_source_requirement_inventory_entries: `- R1 | Disposition: ... | Source Quote: ... | Summary: ...` rows. */
+export declare function parseSourceRequirementInventoryEntries(sectionBody: string): [Record<string, Record<string, string>>, string[]];
+/** parse_requirement_mapping_entries: `- R1 | Source Quote: ... | Coverage: ... | ...` rows. */
+export declare function parseRequirementMappingEntries(sectionBody: string): [Record<string, Record<string, string>>, string[]];
+/** get_run_requirement_ids: R ids from 00-requirements or 01-as-is inventory (current profile). */
+export declare function getRunRequirementIds(runDir: string, workflowProfile: string): string[];
+/** validate_planned_surface_paths: implementation-surface paths must resolve or have an existing parent. */
+export declare function validatePlannedSurfacePaths(requirementId: string, fieldName: string, rawValue: string, repoRoot: string): string[];
+/** lint_effective_input_addenda: Inputs / Effective Inputs Re-read / Earlier Phase Reconciliation addenda citations. */
+export declare function lintEffectiveInputAddenda(filePath: string, content: string, workflowProfile: string, runDir: string): string[];
+/** lint_requirement_completion_status: RCS section rules for audited phases. */
+export declare function lintRequirementCompletionStatus(filePath: string, content: string, requirementIds: string[], runDir: string, workflowProfile: string, actualChangedFiles: string[] | null): string[];
+/** lint_prior_recursive_evidence: Prior Recursive Evidence Reviewed rules. */
+export declare function lintPriorRecursiveEvidence(content: string, runDir: string, workflowProfile: string, repoRoot: string, fileName: string): string[];
+/** get_subagent_action_record_paths: subagents/ paths cited in Subagent Contribution Verification. */
+export declare function getSubagentActionRecordPaths(content: string, runDir: string): string[];
+/** get_all_subagent_action_record_paths: any run subagents/ path cited. */
+export declare function getAllSubagentActionRecordPaths(content: string): string[];
+/** lint_subagent_action_record_file: validate a subagent action record file. */
+export declare function lintSubagentActionRecordFile(filePath: string, repoRoot: string, runDir: string, actualChangedFiles: string[] | null): string[];
+/** parse_subagent_action_record_claims: extract claims from an action record. */
+export declare function parseSubagentActionRecordClaims(actionContent: string): Record<string, Set<string> | string>;
+/** lint_subagent_contribution_verification: SCV section rules for audited phases. */
+export declare function lintSubagentContributionVerification(filePath: string, content: string, workflowProfile: string, runDir: string, repoRoot: string, actualChangedFiles: string[] | null): string[];
+/** collect_reviewed_paths: paths from Worktree Diff Audit + related addenda. */
+export declare function collectReviewedPaths(runDir: string, artifactName: string, content: string): Set<string>;
+/** lint_review_bundle_reference: 03.5 review-bundle validation. */
+export declare function lintReviewBundleReference(content: string, runDir: string, repoRoot: string): string[];
+/** lint_phase8_skill_usage_capture: 08 Run-Local Skill Usage Capture rules. */
+export declare function lintPhase8SkillUsageCapture(content: string): string[];
+/** lint_phase_specific_rules: per-phase rules dispatched from the artifact file. */
+export declare function lintPhaseSpecificRules(filePath: string, content: string, workflowProfile: string, runDir: string, repoRoot: string, requirementIds: string[], actualChangedFiles: string[] | null): string[];
+/** get_header_remediation_lines: copy/paste lines for missing header fields. */
+export declare function getHeaderRemediationLines(missingFields: string[]): string[];
+/** lint_traceability: Traceability section coverage of requirement IDs. */
+export declare function lintTraceability(filePath: string, content: string, requirementIds: string[]): string[];
+/** lint_audit_sections: audited-phase audit section rules. */
+export declare function lintAuditSections(filePath: string, content: string, workflowProfile: string, actualChangedFiles: string[] | null, diffBasisError: string | null, runId: string, runDir: string): string[];
+/** lint_artifact_file: full per-artifact lint (canonical lint_artifact_file parity). */
+export declare function lintArtifactFile(filePath: string, runDir: string, repoRoot: string, workflowProfile: string, requirementIds: string[], actualChangedFiles: string[] | null, diffBasisError: string | null): [number, number];
+/** is_lock_valid_for_lint: canonical lock-validity check (used for late-phase sequencing). */
+export declare function isLockValidForLint(filePath: string, workflowProfile: string): boolean;
+/** lint_memory_doc: validate a memory shard's metadata frontmatter. */
+export declare function lintMemoryDoc(filePath: string): [number, number];
+/** lint_memory_plane: validate the .recursive/memory/ plane. */
+export declare function lintMemoryPlane(repoRoot: string): [number, number];
+/**
+ * lintRun(repoRoot, runId): FULL canonical lint of a recursive run (in-process).
+ * Mirrors lint-recursive-run.py main():
+ *   - resolve run dir (runId or latest), derive workflow profile + requirement ids
+ *   - validate the diff basis + collect actual changed files (git)
+ *   - lint each artifact in RUN_ARTIFACT_SEQUENCE order (WARN if missing),
+ *     then addenda, then subagent action records
+ *   - phase-sequence prerequisite checks + late-phase requirement checks
+ *   - lint the memory plane
+ *   - print Summary + return verdict
+ */
+export declare function lintRun(repoRoot: string, runId: string): LintResult;

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@try-works/dsh-recursive-mode",
   "description": "recursive-mode workflow as a DeepSeek Harness bundle: RecursiveRuntime service + recursive_status tool",
-  "version": "0.1.4",
+  "version": "0.1.6",
   "type": "module",
   "main": "lib/index.js",
   "types": "lib/index.d.ts",