refactor: colocate investigation record implementation (#867)

docs/capability-migration.md

@@ -141,6 +141,12 @@ owner explicitly; the direct BinarySession constructor retains a fresh default
 for compatibility. There is no second ledger, global store, persistence or new
 retention policy.
 
+The ledger, Unknown Evidence helper and the ledger's two original behavior tests
+now live beside the owner in `src/application/investigation/`. Bundle validation
+and record-owner consumers follow the new paths; retained-reference access still
+uses the narrow record ports. The move preserves implementation bodies and test
+assertions. Binary snapshot/cache files remain with their existing owner.
+
 EvidenceReader, EvidenceWriter and EvidenceUnknownWriter describe existing
 read/write/atomic callback needs. UnknownRegistryPort preserves optimistic
 revisions and consistency verification. Non-binary MCP registrars use these

src/application/EvidenceBundleCommands.ts

@@ -5,7 +5,7 @@ import type { JsonValue } from "../domain/jsonValue.js";
 import { jsonValueSchema } from "../domain/jsonValue.js";
 import { err, ok, type Result } from "../domain/result.js";
 import { compareBundles } from "../domain/bundleComparison.js";
-import { EvidenceLedger } from "./EvidenceLedger.js";
+import { EvidenceLedger } from "./investigation/EvidenceLedger.js";
 import {
   readEvidenceBundle,
   writeEvidenceBundle,

src/application/EvidenceInputResolver.test.ts

@@ -2,7 +2,7 @@ import { describe, expect, it } from "vitest";
 import { evidenceInputSchema } from "../contracts/evidenceInputContracts.js";
 import { JAVASCRIPT_FEATURE_TRACE_EXAMPLE } from "../contracts/javascriptApplicationWorkflowExamples.js";
 import { projectAnalysisError } from "../domain/analysisErrorProjection.js";
-import { EvidenceLedger } from "./EvidenceLedger.js";
+import { EvidenceLedger } from "./investigation/EvidenceLedger.js";
 import { resolveEvidenceInput } from "./EvidenceInputResolver.js";
 
 const evidence = JAVASCRIPT_FEATURE_TRACE_EXAMPLE.application;

src/application/investigation/EvidenceLedger.residualUnknown.test.ts

@@ -1,19 +1,19 @@
 import { describe, expect, it } from "vitest";
 
 import { EvidenceLedger } from "./EvidenceLedger.js";
-import { createEvidence } from "../domain/evidence.js";
+import { createEvidence } from "../../domain/evidence.js";
 import {
   createEvidenceBundle,
   parseEvidenceBundle,
   serializeEvidenceBundle,
-} from "../domain/evidenceBundle.js";
+} from "../../domain/evidenceBundle.js";
 import {
   createResidualUnknown,
   recordUnknownInputSchema,
   updateUnknownInputSchema,
   type RecordUnknownInput,
   type ResidualUnknown,
-} from "../domain/residualUnknown.js";
+} from "../../domain/residualUnknown.js";
 
 const provider = { id: "fixture", name: "Fixture", version: "1" };
 const ledger = (): EvidenceLedger => new EvidenceLedger();

src/application/investigation/EvidenceLedger.test.ts

@@ -1,9 +1,9 @@
 import { describe, expect, it } from "vitest";
 
-import type { BinaryTarget } from "../domain/binaryTarget.js";
-import { createEvidence } from "../domain/evidence.js";
-import { createEvidenceBundle } from "../domain/evidenceBundle.js";
-import { recordUnknownInputSchema } from "../domain/residualUnknown.js";
+import type { BinaryTarget } from "../../domain/binaryTarget.js";
+import { createEvidence } from "../../domain/evidence.js";
+import { createEvidenceBundle } from "../../domain/evidenceBundle.js";
+import { recordUnknownInputSchema } from "../../domain/residualUnknown.js";
 import { EvidenceLedger } from "./EvidenceLedger.js";
 
 const TARGET: BinaryTarget = {

src/application/investigation/EvidenceLedger.ts

@@ -5,10 +5,10 @@ import {
   parseEvidenceBundle,
   validateResidualUnknownAddition,
   type EvidenceBundle,
-} from "../domain/evidenceBundle.js";
-import { EvidenceIntegrityError } from "../domain/evidenceErrors.js";
-import { UnknownRegistryError } from "../domain/unknownRegistryError.js";
-import { parseEvidence, type Evidence } from "../domain/evidence.js";
+} from "../../domain/evidenceBundle.js";
+import { EvidenceIntegrityError } from "../../domain/evidenceErrors.js";
+import { UnknownRegistryError } from "../../domain/unknownRegistryError.js";
+import { parseEvidence, type Evidence } from "../../domain/evidence.js";
 import {
   createResidualUnknown,
   updateResidualUnknown,
@@ -16,8 +16,8 @@ import {
   type ResidualUnknown,
   type UnknownStatus,
   type UpdateUnknownInput,
-} from "../domain/residualUnknown.js";
-import { err, ok, type Result } from "../domain/result.js";
+} from "../../domain/residualUnknown.js";
+import { err, ok, type Result } from "../../domain/result.js";
 
 type EvidenceLedgerFailure = EvidenceIntegrityError;
 type RecordResult = Result<"added" | "duplicate", EvidenceLedgerFailure>;

src/application/investigation/InvestigationRecords.test.ts

@@ -10,7 +10,7 @@ import {
   recordUnknownInputSchema,
   updateUnknownInputSchema,
 } from "../../domain/residualUnknown.js";
-import { unknownMutationEvidence } from "../UnknownEvidence.js";
+import { unknownMutationEvidence } from "./UnknownEvidence.js";
 import { InvestigationRecords } from "./InvestigationRecords.js";
 
 const unknownInput = (question: string) =>

src/application/investigation/InvestigationRecords.ts

@@ -11,12 +11,12 @@ import type {
   UpdateUnknownInput,
 } from "../../domain/residualUnknown.js";
 import type { Result } from "../../domain/result.js";
-import { EvidenceLedger, type EvidenceImportDelta } from "../EvidenceLedger.js";
+import { EvidenceLedger, type EvidenceImportDelta } from "./EvidenceLedger.js";
 import {
   UNKNOWN_REGISTRY_PROVIDER,
   unknownEvidenceLinks,
   unknownMutationEvidence,
-} from "../UnknownEvidence.js";
+} from "./UnknownEvidence.js";
 import type {
   EvidenceReader,
   EvidenceWriter,

src/application/investigation/UnknownEvidence.ts

@@ -1,10 +1,10 @@
-import type { BinaryTarget } from "../domain/binaryTarget.js";
-import { createEvidence, type Evidence } from "../domain/evidence.js";
+import type { BinaryTarget } from "../../domain/binaryTarget.js";
+import { createEvidence, type Evidence } from "../../domain/evidence.js";
 import type {
   RecordUnknownInput,
   UpdateUnknownInput,
-} from "../domain/residualUnknown.js";
-import type { ProviderIdentity } from "./AnalysisProvider.js";
+} from "../../domain/residualUnknown.js";
+import type { ProviderIdentity } from "../AnalysisProvider.js";
 
 /** Provider identity for analyst-authored residual-unknown mutations. */
 export const UNKNOWN_REGISTRY_PROVIDER: ProviderIdentity = {