@cairnkeep/cli 2.3.1 → 2.4.0

package/scripts/verify-docs-parity.sh

@@ -21,6 +21,9 @@ set -euo pipefail
 usage() {
   cat <<'EOF'
 Usage: verify-docs-parity.sh
+       verify-docs-parity.sh --artifact-remote-path-only
+       verify-docs-parity.sh --expect-red-artifact-remote-path
+       verify-docs-parity.sh --self-test-native-capability-docs
        verify-docs-parity.sh -h|--help
 
 Checks that every CAIRN_*/MCP_HTTP_* env key read by the cairn-memory MCP
@@ -32,14 +35,235 @@ drift, or 0 if the docs are fully in sync with the shipped code.
 EOF
 }
 
+EXPECTED_RED_EXIT=86
+ARTIFACT_REMOTE_PATH_RED_MARKER='PHASE17_RED:ARTIFACT_REMOTE_PATH_DOC_DRIFT'
+
 ENV_KEY_PATTERN='(CAIRN_[A-Z_]+|MCP_HTTP_[A-Z_]+)'
 
+run_native_capability_docs_self_test() {
+  local fixture_root pristine_root
+  fixture_root=$(mktemp -d)
+  trap "rm -rf '$fixture_root'" EXIT HUP INT TERM
+  pristine_root="$fixture_root/pristine"
+
+  mkdir -p \
+    "$fixture_root/docs" \
+    "$fixture_root/mcp-memory-server/src" \
+    "$fixture_root/claude/capability-contract/hooks" \
+    "$fixture_root/opencode/capability-contract/plugins" \
+    "$fixture_root/scripts" \
+    "$pristine_root"
+  cp docs/operating.md docs/privacy-and-data-flow.md docs/storage.md "$fixture_root/docs/"
+  cp docs/operating.md docs/privacy-and-data-flow.md docs/storage.md "$pristine_root/"
+  cp mcp-memory-server/src/capability-harness.ts "$fixture_root/mcp-memory-server/src/"
+  cp mcp-memory-server/src/capability-store.ts "$fixture_root/mcp-memory-server/src/"
+  cp claude/capability-contract/hooks/capability-command-start.sh "$fixture_root/claude/capability-contract/hooks/"
+  cp claude/capability-contract/hooks/capability-command-finish.sh "$fixture_root/claude/capability-contract/hooks/"
+  cp opencode/capability-contract/plugins/capability-command.ts "$fixture_root/opencode/capability-contract/plugins/"
+  cp scripts/sync-claude-assets.sh scripts/sync-opencode-plugin-assets.sh "$fixture_root/scripts/"
+
+  check_native_capability_docs "$fixture_root"
+
+  expect_native_docs_drift() {
+    local label="$1" file="$2" before="$3" after="$4"
+    cp "$pristine_root/operating.md" "$fixture_root/docs/operating.md"
+    cp "$pristine_root/privacy-and-data-flow.md" "$fixture_root/docs/privacy-and-data-flow.md"
+    cp "$pristine_root/storage.md" "$fixture_root/docs/storage.md"
+    python3 - "$fixture_root/$file" "$before" "$after" <<'PY'
+from pathlib import Path
+import sys
+
+path = Path(sys.argv[1])
+before, after = sys.argv[2], sys.argv[3]
+text = path.read_text(encoding="utf-8")
+if before not in text:
+    raise SystemExit(f"self-test fixture text not found: {before}")
+path.write_text(text.replace(before, after, 1), encoding="utf-8")
+PY
+    if check_native_capability_docs "$fixture_root" >/dev/null 2>&1; then
+      echo "FATAL: native capability docs mutation was not rejected: $label" >&2
+      return 1
+    fi
+  }
+
+  expect_native_docs_drift "master-off state" docs/operating.md \
+    "create no capability measurement state" "create one capability measurement record"
+  expect_native_docs_drift "all-three-consents requirement" docs/privacy-and-data-flow.md \
+    "When all three consents are enabled" "When logging alone is enabled"
+  expect_native_docs_drift "disabled unmeasured block" docs/privacy-and-data-flow.md \
+    "the same fixed block remains in force and" "owner execution continues and"
+  expect_native_docs_drift "enabled unmeasured pass-through" docs/privacy-and-data-flow.md \
+    "measurement consent off leaves owner execution unchanged and writes no" \
+    "measurement consent off changes owner execution and writes one"
+  expect_native_docs_drift "StopFailure immediacy" docs/operating.md \
+    "error settlement is not deferred to" "error settlement is deferred to"
+  expect_native_docs_drift "immutable start binding" docs/operating.md \
+    "project identity and lease are immutable" "project identity and lease may be rebound"
+  expect_native_docs_drift "master-off installation" docs/operating.md \
+    "install and invoke no capability hook or plugin" "install and invoke a capability hook or plugin"
+  expect_native_docs_drift "evidence scope" docs/operating.md \
+    "They are not" "They are"
+
+  echo "[native-capability-docs-self-test] OK: focused drift cases are rejected"
+}
+
+native_file_text() {
+  awk '{$1=$1; printf "%s ", $0}' "$1"
+}
+
+native_section_text() {
+  local file="$1" start="$2" end="$3"
+  awk -v start="$start" -v end="$end" '
+    index($0, start) { active = 1 }
+    active && index($0, end) && !index($0, start) { exit }
+    active { $1=$1; printf "%s ", $0 }
+  ' "$file"
+}
+
+require_native_term() {
+  local text="$1" term="$2" label="$3"
+  case "$text" in
+    *"$term"*) return 0 ;;
+    *) echo "FATAL: native capability parity term is missing: $label" >&2; return 1 ;;
+  esac
+}
+
+reject_native_term() {
+  local text="$1" term="$2" label="$3"
+  case "$text" in
+    *"$term"*) echo "FATAL: retired native capability wording remains: $label" >&2; return 1 ;;
+    *) return 0 ;;
+  esac
+}
+
+check_native_capability_docs() {
+  local root="${1:-.}" failed=0
+  local operating privacy storage harness store claude_start claude_finish opencode_plugin claude_sync opencode_sync
+  local operating_contract privacy_contract storage_contract file
+
+  operating="$root/docs/operating.md"
+  privacy="$root/docs/privacy-and-data-flow.md"
+  storage="$root/docs/storage.md"
+  harness="$root/mcp-memory-server/src/capability-harness.ts"
+  store="$root/mcp-memory-server/src/capability-store.ts"
+  claude_start="$root/claude/capability-contract/hooks/capability-command-start.sh"
+  claude_finish="$root/claude/capability-contract/hooks/capability-command-finish.sh"
+  opencode_plugin="$root/opencode/capability-contract/plugins/capability-command.ts"
+  claude_sync="$root/scripts/sync-claude-assets.sh"
+  opencode_sync="$root/scripts/sync-opencode-plugin-assets.sh"
+
+  for file in "$operating" "$privacy" "$storage" "$harness" "$store" \
+    "$claude_start" "$claude_finish" "$opencode_plugin" "$claude_sync" "$opencode_sync"; do
+    if [[ ! -f "$file" ]]; then
+      echo "FATAL: native capability parity input is missing: ${file#"$root"/}" >&2
+      failed=1
+    fi
+  done
+  [[ "$failed" -eq 0 ]] || return "$failed"
+
+  operating_contract=$(native_section_text "$operating" "### Managed capability contract" "### Typed memory nodes")
+  privacy_contract=$(native_section_text "$privacy" "## Capability callback flow" "## Hindsight note distillation")
+  storage_contract=$(native_section_text "$storage" "## Capability callback storage" "## Artifact storage")
+
+  while IFS='|' read -r term label; do
+    [[ -n "$term" ]] || continue
+    require_native_term "$operating_contract" "$term" "$label" || failed=1
+  done <<'EOF'
+Master off is exact legacy behavior|master-off exact legacy behavior
+install and invoke no capability hook or plugin|master-off native owner absence
+no capability block|master-off block absence
+create no capability measurement state|master-off measurement-state absence
+`capability-overlay` mode|overlay-only installation
+UserPromptExpansion|Claude pre-expansion admission
+project identity and lease are immutable|immutable start-time project binding
+StopFailure|Claude error terminal
+error settlement is not deferred to|immediate StopFailure settlement
+abandonment cleanup only for unfinished|unfinished-only cleanup
+OpenCode 1.17.20|pinned OpenCode lifecycle
+`session.error` settles error|OpenCode error settlement
+all three consents are on|three-consent disabled final
+either measurement consent is off, it blocks with no state|disabled unmeasured block
+target enabled, either measurement consent being off preserves owner execution unchanged|enabled unmeasured pass-through
+Deterministic native-boundary tests|deterministic evidence label
+not exhaustive live real-owner evidence|non-exhaustive evidence label
+complete live eight-by-seven matrix|mandatory live matrix
+56 genuine owner executions|live matrix cell count
+Any missing, failed, or unavailable cell keeps Phase 18 incomplete|blocking live acceptance
+`wiki-ingest`, `wiki-query`, `wiki-lint`, `graphify`, and `security-audit`|five operating command surfaces
+D-10, D-12, and D-16|preserved owner decisions
+EOF
+
+  while IFS='|' read -r term label; do
+    [[ -n "$term" ]] || continue
+    require_native_term "$privacy_contract" "$term" "$label" || failed=1
+  done <<'EOF'
+three-state privacy contract|three-state privacy declaration
+installs or invokes no capability hook/plugin|master-off owner absence
+creates no pending lease, callback final, or other capability measurement state|master-off state absence
+target disabled, the fixed block always occurs before owner I/O|disabled pre-owner block
+When all three consents are enabled|all-three-consents requirement
+exactly one D-25/D-26 value-free `disabled` final|value-free disabled final
+same fixed block remains in force and no pending or final state is written|disabled unmeasured no-state branch
+target enabled, turning either measurement consent off leaves owner execution unchanged and writes no pending or final state|enabled unmeasured pass-through
+EOF
+
+  while IFS='|' read -r term label; do
+    [[ -n "$term" ]] || continue
+    require_native_term "$storage_contract" "$term" "$label" || failed=1
+  done <<'EOF'
+No capability state exists in exact legacy master-off operation|master-off storage absence
+target-enabled invocation creates no lease or final when either measurement consent is off|enabled unmeasured storage absence
+target-disabled invocation still blocks before owner I/O|disabled policy storage branch
+Only all three consents may create the recoverable lease|all-three-consents lease issuance
+exactly one value-free `disabled` final|disabled final storage shape
+settlement is atomic and idempotent|atomic idempotent settlement
+cleanup consume only unfinished leases as abandonment|unfinished-only abandonment
+never replace a settled terminal|terminal immutability
+EOF
+
+  for term in "prompt wrapper" "prompt owner" "command wrapper" "workflow wrapper"; do
+    reject_native_term "$operating_contract" "$term" "$term" || failed=1
+    reject_native_term "$privacy_contract" "$term" "$term" || failed=1
+    reject_native_term "$storage_contract" "$term" "$term" || failed=1
+  done
+  reject_native_term "$operating_contract" "They are exhaustive live real-owner evidence" \
+    "deterministic evidence presented as exhaustive" || failed=1
+
+  while IFS='|' read -r file term label; do
+    [[ -n "$file" ]] || continue
+    require_native_term "$(native_file_text "$file")" "$term" "$label" || failed=1
+  done <<EOF
+$harness|if (!isCapabilityContractEnabled()) return ALLOW;|runtime master-off bypass
+$harness|const measured = snapshot.logging.enabled && isTrajectoryCaptureEnabled();|runtime measurement consent
+$harness|if (!measured) return BLOCK;|runtime disabled unmeasured block
+$harness|if (!measured) return ALLOW;|runtime enabled unmeasured pass-through
+$harness|canonicalProjectBinding|runtime project binding
+$harness|settleLease|runtime recoverable settlement
+$store|CAPABILITY_CALLBACK_PENDING_PREFIX|pending issuance namespace
+$store|inImmediateTransaction|atomic callback transaction
+$store|sameIssuance|issued handle matching
+$claude_start|UserPromptExpansion|Claude start event
+$claude_start|FIXED_BLOCK|Claude fixed disabled block
+$claude_finish|StopFailure|Claude immediate error event
+$claude_finish|SessionEnd|Claude abandonment event
+$opencode_plugin|version: "1.17.20"|OpenCode version pin
+$opencode_plugin|admissionHook: "command.execute.before"|OpenCode admission hook
+$opencode_plugin|error_terminal: "session.error"|OpenCode error terminal
+$opencode_plugin|abandonment_only: "session.deleted"|OpenCode abandonment event
+$claude_sync|CAPABILITY_OVERLAY_ACTIVE|Claude overlay installation gate
+$opencode_sync|CAPABILITY_OVERLAY|OpenCode overlay installation gate
+EOF
+
+  [[ "$failed" -eq 0 ]] && echo "[native-capability-docs] OK: lifecycle, consent, storage, overlays, owners, and evidence scope match native runtime"
+  return "$failed"
+}
+
 # check_env_keys(): comm -23 of sorted code-keys vs sorted doc-keys --
 # code-keys-not-in-docs only (one-directional, per D-10).
 check_env_keys() {
   local code_keys doc_keys missing
 
-  code_keys=$(grep -ohE "\\b${ENV_KEY_PATTERN}\\b" mcp-memory-server/src/*.ts | sort -u)
+  code_keys=$(grep -ohE "\\b${ENV_KEY_PATTERN}\\b" mcp-memory-server/src/*.ts | grep -v '^CAIRN_TEST_' | sort -u)
   doc_keys=$(grep -ohE "\\b${ENV_KEY_PATTERN}\\b" docs/operating.md README.md | sort -u)
 
   missing=$(comm -23 <(printf '%s\n' "$code_keys") <(printf '%s\n' "$doc_keys"))
@@ -83,7 +307,304 @@ check_commands() {
   return 0
 }
 
+check_typed_contract() {
+  local failed=0 term files
+  while IFS='|' read -r term files; do
+    [[ -n "$term" ]] || continue
+    if ! grep -qF "$term" $files; then
+      echo "FATAL: typed-memory public term '$term' is missing from $files" >&2
+      failed=1
+    fi
+  done <<'EOF'
+CAIRN_TYPED_MEMORY_NODES|README.md docs/operating.md
+memory_import|README.md docs/operating.md docs/privacy-and-data-flow.md
+address_space|README.md docs/operating.md docs/privacy-and-data-flow.md
+node_types|README.md docs/operating.md
+tags_all|README.md docs/operating.md
+tags_any|README.md docs/operating.md
+schemas/memory-node.schema.json|docs/storage.md
+cairn_node_metadata_v1|docs/storage.md
+cairn_node_import_replays_v1|docs/storage.md
+prepared|docs/storage.md docs/privacy-and-data-flow.md
+committing|docs/storage.md docs/privacy-and-data-flow.md
+committed-before-cleanup|docs/storage.md docs/privacy-and-data-flow.md
+EOF
+  [[ "$failed" -eq 0 ]] && echo "[typed-contract] OK: typed memory, import, and recovery terms are documented"
+  return "$failed"
+}
+
+check_artifact_contract() {
+  local failed=0 key value source_term
+
+  while IFS='|' read -r key value source_term; do
+    [[ -n "$key" ]] || continue
+    grep -qF "$key" mcp-memory-server/src/artifact-schema.ts || {
+      echo "FATAL: artifact env key '$key' is missing from source" >&2
+      failed=1
+    }
+    grep -qF "$source_term" mcp-memory-server/src/artifact-schema.ts || {
+      echo "FATAL: artifact default '$key=$value' is missing from source" >&2
+      failed=1
+    }
+    grep -qxF "# $key=$value" templates/env.example.template || {
+      echo "FATAL: artifact default '$key=$value' is missing from env.example" >&2
+      failed=1
+    }
+    grep -qF "$key" README.md docs/operating.md || {
+      echo "FATAL: artifact env key '$key' is missing from public configuration docs" >&2
+      failed=1
+    }
+    grep -qF "$value" README.md docs/operating.md || {
+      echo "FATAL: artifact default '$key=$value' is missing from public configuration docs" >&2
+      failed=1
+    }
+  done <<'EOF'
+CAIRN_ARTIFACT_MAX_BYTES|1048576|ARTIFACT_DEFAULT_MAX_BYTES = 1024 * 1024
+CAIRN_ARTIFACT_SESSION_MAX_BYTES|16777216|ARTIFACT_DEFAULT_SESSION_MAX_BYTES = 16 * 1024 * 1024
+CAIRN_ARTIFACT_STORE_MAX_BYTES|268435456|ARTIFACT_DEFAULT_STORE_MAX_BYTES = 256 * 1024 * 1024
+CAIRN_ARTIFACT_RETENTION_DAYS|30|ARTIFACT_DEFAULT_RETENTION_DAYS = 30
+CAIRN_COMPACTION_MAX_REVISIONS|8|COMPACTION_DEFAULT_MAX_REVISIONS = 8
+CAIRN_ARTIFACT_GENERATED_FILE_SNAPSHOT_MAX_BYTES|262144|GENERATED_FILE_MAX_SNAPSHOT_BYTES = 256 * 1024
+EOF
+
+  for key in CAIRN_COMPACTION_CAPTURE CAIRN_ARTIFACT_STORE CAIRN_ARTIFACT_HTTP; do
+    grep -qF "$key" mcp-memory-server/src/artifact-schema.ts README.md docs/operating.md docs/privacy-and-data-flow.md || {
+      echo "FATAL: artifact feature flag '$key' is not source/docs complete" >&2
+      failed=1
+    }
+  done
+
+  for source_term in artifact_write artifact_read artifact_list artifact_delete; do
+    grep -qF "\"$source_term\"" mcp-memory-server/src/index.ts || failed=1
+    grep -qF "$source_term" README.md docs/operating.md docs/privacy-and-data-flow.md || failed=1
+  done
+  for source_term in 'list [--kind K] [--session REF] [--json]' 'show <artifact-id-or-prefix> [--json]' 'delete <artifact-id-or-prefix> [--dry-run] [--json]' 'prune [--dry-run] [--include-protected] [--json]'; do
+    grep -qF "$source_term" mcp-memory-server/src/artifact-cli.ts || failed=1
+  done
+  grep -qF '.agentfs/artifacts.db' docs/storage.md docs/privacy-and-data-flow.md || failed=1
+  grep -qF 'CAIRN_ARTIFACT_HTTP' mcp-memory-server/src/index.ts README.md docs/operating.md docs/privacy-and-data-flow.md || failed=1
+  grep -qE 'redact[^.]{0,180}(before|then)[^.]{0,180}(digest|index|write)' docs/privacy-and-data-flow.md || failed=1
+  grep -qE 'default uninstall retains|Default uninstall retains' docs/storage.md docs/privacy-and-data-flow.md || failed=1
+  grep -qF -- '--purge-memory PROJECT' docs/storage.md || failed=1
+  grep -qF 'revert.sh' docs/storage.md docs/privacy-and-data-flow.md || failed=1
+
+  for version in 2.1.219 2.1.220; do
+    grep -qF "version: \"$version\"" mcp-memory-server/src/compaction-normalize.ts || failed=1
+    grep -qF "$version" README.md docs/operating.md docs/privacy-and-data-flow.md || failed=1
+  done
+  grep -qF 'version: "1.17.20"' mcp-memory-server/src/compaction-normalize.ts || failed=1
+  grep -qF '1.17.20' README.md docs/operating.md docs/privacy-and-data-flow.md || failed=1
+
+  [[ "$failed" -eq 0 ]] && echo "[artifact-contract] OK: artifact flags/defaults/tools/paths/privacy/uninstall/version pins match source"
+  return "$failed"
+}
+
+check_artifact_remote_path_contract() {
+  local failed=0
+  local canonical_path='${CAIRN_AGENTFS_BASE_DIR}/<project-id>/.agentfs/artifacts.db'
+
+  grep -qF "$canonical_path" docs/storage.md || {
+    echo "FATAL: canonical remote artifact database path is missing from docs/storage.md" >&2
+    failed=1
+  }
+  grep -qF 'resolveRemoteArtifactProjectRoot' mcp-memory-server/src/artifact-store.ts || {
+    echo "FATAL: explicit remote artifact project-root helper is missing" >&2
+    failed=1
+  }
+  grep -qF 'resolveRemoteArtifactProjectRoot' mcp-memory-server/src/index.ts || {
+    echo "FATAL: explicit remote artifact project-root wiring is missing" >&2
+    failed=1
+  }
+  grep -qF 'getArtifactDbPath(resolveRemoteArtifactProjectRoot(baseDirectory, projectId))' mcp-memory-server/src/artifact-store.ts || {
+    echo "FATAL: remote artifact database resolver does not compose the canonical project-root helper" >&2
+    failed=1
+  }
+  grep -qF 'join("project-alpha", ".agentfs", "artifacts.db")' mcp-memory-server/scripts/smoke-artifact-mcp.mjs || {
+    echo "FATAL: HTTP smoke test does not assert the exact project-alpha artifact path" >&2
+    failed=1
+  }
+  grep -qF 'join("project-beta", ".agentfs", "artifacts.db")' mcp-memory-server/scripts/smoke-artifact-mcp.mjs || {
+    echo "FATAL: HTTP smoke test does not assert the exact project-beta artifact path" >&2
+    failed=1
+  }
+
+  [[ "$failed" -eq 0 ]] && echo "[artifact-remote-path] OK: source, HTTP behavior, and storage docs share the canonical path"
+  return "$failed"
+}
+
+check_capability_contract() {
+  local failed=0 file id env tool term source_file docs_files
+
+  for file in \
+    mcp-memory-server/src/capability-schema.ts \
+    mcp-memory-server/src/capability-registry.ts \
+    mcp-memory-server/src/capability-config.ts \
+    mcp-memory-server/src/capability-cli.ts \
+    mcp-memory-server/src/capability-store.ts \
+    mcp-memory-server/src/capability-adapter.ts \
+    schemas/capability-callback.schema.json \
+    docs/operating.md docs/storage.md docs/privacy-and-data-flow.md README.md; do
+    if [[ ! -f "$file" ]]; then
+      echo "FATAL: capability parity input is missing: $file" >&2
+      failed=1
+    fi
+  done
+  [[ "$failed" -eq 0 ]] || return "$failed"
+
+  while IFS='|' read -r id env; do
+    grep -qF "\"$id\"" mcp-memory-server/src/capability-schema.ts || {
+      echo "FATAL: canonical capability ID is missing from source: $id" >&2
+      failed=1
+    }
+    grep -qF "$id" README.md docs/operating.md || {
+      echo "FATAL: canonical capability ID is undocumented: $id" >&2
+      failed=1
+    }
+    grep -qF "$env" README.md docs/operating.md templates/env.example.template || {
+      echo "FATAL: capability environment key is not source/docs complete: $env" >&2
+      failed=1
+    }
+  done <<'EOF'
+memory.write|CAIRN_CAPABILITY_MEMORY_WRITE
+memory.search|CAIRN_CAPABILITY_MEMORY_SEARCH
+notes.distill|CAIRN_CAPABILITY_NOTES_DISTILL
+wiki|CAIRN_CAPABILITY_WIKI
+graph|CAIRN_CAPABILITY_GRAPH
+security.audit|CAIRN_CAPABILITY_SECURITY_AUDIT
+route.check|CAIRN_CAPABILITY_ROUTE_CHECK
+context.explore|CAIRN_CAPABILITY_CONTEXT_EXPLORE
+EOF
+
+  for term in CAIRN_CAPABILITY_CONTRACT CAIRN_CAPABILITY_LOGGING; do
+    grep -qF "$term" mcp-memory-server/src/capability-config.ts README.md docs/operating.md templates/env.example.template || {
+      echo "FATAL: capability master/logging flag is not source/docs complete: $term" >&2
+      failed=1
+    }
+  done
+
+  while IFS='|' read -r id tool; do
+    grep -qF "\"$id\"" mcp-memory-server/src/index.ts || failed=1
+    grep -qF "\"$tool\"" mcp-memory-server/src/index.ts || failed=1
+    grep -qF "$tool" README.md docs/operating.md || {
+      echo "FATAL: omitted MCP tool is undocumented: $tool" >&2
+      failed=1
+    }
+  done <<'EOF'
+memory.write|memory_write
+memory.search|memory_search
+route.check|route_check
+context.explore|context_explore
+EOF
+
+  while IFS='|' read -r term source_file doc_term docs_files; do
+    grep -qF "$term" "$source_file" || {
+      echo "FATAL: capability source term is missing: $term ($source_file)" >&2
+      failed=1
+    }
+    grep -qF "$doc_term" $docs_files || {
+      echo "FATAL: capability source fact is undocumented: $doc_term ($docs_files)" >&2
+      failed=1
+    }
+  done <<'EOF'
+capability-callback/v1/record/|mcp-memory-server/src/capability-store.ts|capability-callback/v1|docs/storage.md docs/privacy-and-data-flow.md
+capability-callback/v1/pending/|mcp-memory-server/src/capability-store.ts|capability-callback/v1/pending/|docs/storage.md docs/privacy-and-data-flow.md
+.agentfs/trajectory.db|mcp-memory-server/src/capability-cli.ts|.agentfs/trajectory.db|docs/storage.md docs/privacy-and-data-flow.md
+CAPABILITY_CALLBACK_RECORD_MAX_COUNT = 10_000|mcp-memory-server/src/capability-store.ts|10,000-record cap|docs/storage.md
+getTrajectoryLimits|mcp-memory-server/src/capability-store.ts|CAIRN_TRAJECTORY_RETENTION_DAYS|docs/storage.md
+transport !== "http"|mcp-memory-server/src/capability-adapter.ts|no remote/HTTP callback persistence|docs/privacy-and-data-flow.md
+isTrajectoryCaptureEnabled|mcp-memory-server/src/capability-adapter.ts|CAIRN_TRAJECTORY_CAPTURE|docs/privacy-and-data-flow.md
+configuration_digest|mcp-memory-server/src/capability-store.ts|configuration_digest|docs/operating.md docs/privacy-and-data-flow.md
+correlation_id|mcp-memory-server/src/capability-store.ts|correlation_id|docs/privacy-and-data-flow.md
+invocation_id|mcp-memory-server/src/capability-store.ts|invocation_id|docs/privacy-and-data-flow.md
+duration_ms|mcp-memory-server/src/capability-store.ts|duration_ms|docs/privacy-and-data-flow.md
+issueOperatingCapability|mcp-memory-server/src/capability-adapter.ts|durably issue|docs/privacy-and-data-flow.md
+settleOperatingCapability|mcp-memory-server/src/capability-adapter.ts|consumed once|docs/storage.md docs/privacy-and-data-flow.md
+isCapabilityContractEnabled()|mcp-memory-server/src/capability-adapter.ts|checked again at finish|docs/privacy-and-data-flow.md
+const current = await resolveCapabilityStatus({ projectRoot });|mcp-memory-server/src/capability-adapter.ts|current three-consent authorization|docs/privacy-and-data-flow.md
+current.logging.enabled|mcp-memory-server/src/capability-adapter.ts|managed logging|docs/privacy-and-data-flow.md
+current.configuration_digest === handle.configuration_digest|mcp-memory-server/src/capability-adapter.ts|stale|docs/privacy-and-data-flow.md
+EOF
+
+  local expected_final_fields source_final_fields public_final_fields
+  expected_final_fields=$(printf '%s\n' \
+    capability_id configuration_digest correlation_id duration_ms error_code \
+    finished_at harness invocation_id outcome schema_version source started_at \
+    state_source transport | sort)
+  source_final_fields=$(sed -n \
+    '/export const capabilityCallbackRecordSchema/,/}).superRefine/p' \
+    mcp-memory-server/src/capability-store.ts \
+    | sed -n 's/^    \([a-z_]*\):.*/\1/p' \
+    | sort)
+  public_final_fields=$(node -e '
+    const schema = require("./schemas/capability-callback.schema.json");
+    process.stdout.write(Object.keys(schema.properties).sort().join("\n"));
+  ')
+  if [[ "$source_final_fields" != "$expected_final_fields" ]]; then
+    echo "FATAL: runtime final-record fields changed from the strict allow-list" >&2
+    failed=1
+  fi
+  if [[ "$public_final_fields" != "$expected_final_fields" ]]; then
+    echo "FATAL: public final-record fields changed from the strict allow-list" >&2
+    failed=1
+  fi
+
+  for term in \
+    'capabilities list' 'capabilities status' 'capabilities enable' \
+    'capabilities disable' 'capabilities reset' 'capabilities logging'; do
+    grep -qF "$term" mcp-memory-server/src/capability-cli.ts docs/operating.md || {
+      echo "FATAL: managed capability CLI operation is not source/docs complete: $term" >&2
+      failed=1
+    }
+  done
+
+  for term in \
+    'three consents' 'payload-free' 'no start record' 'fail-open' \
+    'no-payload, no-telemetry, no-network' \
+    'no telemetry' 'HTTP callbacks are never persisted' \
+    'Default uninstall retains' '--purge-memory PROJECT' 'revert.sh' \
+    'no database migration'; do
+    grep -qiF -- "$term" docs/storage.md docs/privacy-and-data-flow.md || {
+      echo "FATAL: capability privacy/storage term is missing: $term" >&2
+      failed=1
+    }
+  done
+
+  for term in 'wiki covers ingest, query, and lint' 'graph covers its command family' \
+    'audit covers its command and workflow family' 'five operating command surfaces' \
+    'Master off is exact'; do
+    grep -qiF "$term" docs/operating.md || {
+      echo "FATAL: capability operating-guard family is undocumented: $term" >&2
+      failed=1
+    }
+  done
+
+  [[ "$failed" -eq 0 ]] && echo "[capability-contract] OK: IDs, env, defaults, omissions, CLI, guards, storage, consent, and uninstall facts match source"
+  return "$failed"
+}
+
 main() {
+  local mode="${1:-}"
+  if [[ "$mode" == "--artifact-remote-path-only" ]]; then
+    [[ $# -eq 1 ]] || { usage >&2; exit 2; }
+    check_artifact_remote_path_contract
+    return
+  fi
+  if [[ "$mode" == "--expect-red-artifact-remote-path" ]]; then
+    [[ $# -eq 1 ]] || { usage >&2; exit 2; }
+    main
+    if check_artifact_remote_path_contract; then
+      echo "FATAL: artifact remote path documentation unexpectedly matches source" >&2
+      exit 1
+    fi
+    echo "$ARTIFACT_REMOTE_PATH_RED_MARKER"
+    exit "$EXPECTED_RED_EXIT"
+  fi
+  if [[ "$mode" == "--self-test-native-capability-docs" ]]; then
+    [[ $# -eq 1 ]] || { usage >&2; exit 2; }
+    run_native_capability_docs_self_test
+    return
+  fi
+
   while [[ $# -gt 0 ]]; do
     case "$1" in
       -h|--help)
@@ -100,6 +621,11 @@ main() {
   local failed=0
   check_env_keys || failed=1
   check_commands || failed=1
+  check_typed_contract || failed=1
+  check_artifact_contract || failed=1
+  check_artifact_remote_path_contract || failed=1
+  check_capability_contract || failed=1
+  check_native_capability_docs || failed=1
 
   if [[ "$failed" -ne 0 ]]; then
     echo "FATAL: docs-parity check found drift (see above) -- SC-02 not yet satisfied" >&2