docs: define m2 explicit local import adapter contract

Author: rostok2112

docs/adr/0012-m2-local-extraction-import-scope.md

@@ -212,3 +212,23 @@ The next allowed step is:
 ```text
 m2_explicit_local_import_adapter_contract
 ```
+
+## Explicit Local-Import Adapter Contract
+
+The next contract-only boundary is documented in:
+
+```text
+docs/m2-explicit-local-import-adapter-contract.md
+tests/fixtures/m2_explicit_local_import_adapter_scope.synthetic.json
+scripts/check_m2_explicit_local_import_adapter_contract.py
+```
+
+It limits a future adapter to one explicitly supplied workspace-private export file and a
+metadata-summary-first dry-run. It does not read or parse a local export, import a DB, build an
+index, construct a graph, or complete any original M2 criterion.
+
+The next allowed step is:
+
+```text
+m2_explicit_local_import_adapter_dry_run
+```

docs/devlog/DECISIONS_PENDING.md

@@ -1,5 +1,9 @@
 # Decisions Pending
 
+- The M2 explicit local-import adapter contract is defined. Implement
+  `m2_explicit_local_import_adapter_dry_run` next for one explicit workspace-private export file.
+- Keep file-content reads, parsing, real DB import, line-index construction, context-graph
+  construction, and every original M2 completion flag false in that dry-run.
 - The M2 synthetic context-graph builder review gate is implemented. Define
   `m2_explicit_local_import_adapter_contract` next without reading a local export or implementing
   the adapter.

docs/devlog/KNOWN_RISKS.md

@@ -1,5 +1,9 @@
 # Known Risks
 
+- The M2 explicit local-import adapter contract is static guardrail work only. Do not describe it
+  as permission to read or parse an export, import a DB, build an index, or construct a graph.
+- A future `m2_explicit_local_import_adapter_dry_run` must accept one explicit workspace-private
+  file only and summarize filesystem metadata without reading file contents.
 - The M2 synthetic context-graph builder review gate is redacted evidence only. A passing review is
   permission to define `m2_explicit_local_import_adapter_contract`, not to read a local export or
   implement an adapter.

docs/devlog/NEXT_ACTIONS.md

@@ -1,5 +1,21 @@
 # Next Actions
 
+After the original M2 explicit local-import adapter contract:
+
+1. Treat `docs/m2-explicit-local-import-adapter-contract.md`,
+   `tests/fixtures/m2_explicit_local_import_adapter_scope.synthetic.json`, and
+   `scripts/check_m2_explicit_local_import_adapter_contract.py` as the one-file private-input
+   guardrail.
+2. Keep local-export reads, parsing, real DB import, indexing, graph construction, automatic
+   discovery, and every original M2 completion flag blocked.
+3. Implement only a metadata-summary dry-run for one explicit workspace-private file next.
+
+Recommended next safe step:
+
+- Implement `m2_explicit_local_import_adapter_dry_run`.
+
+---
+
 After the original M2 synthetic context-graph builder review gate:
 
 1. Treat `scripts/review_m2_synthetic_context_graph_builder_dry_run.py` and

docs/devlog/SESSION_SUMMARY.md

@@ -1,5 +1,18 @@
 # Session Summary
 
+Original M2 explicit local-import adapter contract is implemented.
+
+Completed in the latest session:
+- Added `docs/m2-explicit-local-import-adapter-contract.md`,
+  `tests/fixtures/m2_explicit_local_import_adapter_scope.synthetic.json`, and
+  `scripts/check_m2_explicit_local_import_adapter_contract.py`.
+- The contract limits a future adapter dry-run to one explicitly supplied workspace-private export
+  file under `workspace/local-private/extraction-indexing/input/`.
+- The contract keeps implementation, local-export reads, parsing, real DB import, index
+  construction, graph construction, and every original M2 completion flag blocked.
+- Wired the fixture-only checker into `scripts/check_all.py`.
+- The only approved next step is `m2_explicit_local_import_adapter_dry_run`.
+
 Original M2 synthetic context-graph builder review gate is implemented.
 
 Completed in the latest session:

docs/m2-explicit-local-import-adapter-contract.md

@@ -0,0 +1,80 @@
+# M2 Explicit Local-Import Adapter Contract
+
+Original `M2 - Local extraction import` remains active and incomplete. This static contract defines
+the boundary for a later explicit local-import adapter. It does not read or parse a local export,
+import a database, build a line index, build a context graph, or complete any original M2
+criterion.
+
+## Explicit Input Boundary
+
+A future adapter may accept exactly one user-selected export file under:
+
+```text
+workspace/local-private/extraction-indexing/input/
+```
+
+The user must copy or place the export under the ignored workspace root and pass its exact path.
+The future adapter must not infer, discover, or search for an export.
+
+This contract does not approve:
+
+- directories as adapter inputs;
+- external absolute paths;
+- recursive discovery or arbitrary drive traversal;
+- automatic Steam or game-install scanning;
+- reading the selected file in this contract slice.
+
+## Future Dry-Run Boundary
+
+The first future implementation must remain metadata-summary-only. It may report:
+
+- whether the explicit file exists;
+- whether the selected input is a file;
+- the file size in bytes;
+- redacted blocker categories;
+- schema compatibility as deferred.
+
+Future private output is allowed only under:
+
+```text
+workspace/local-private/extraction-indexing/import/
+```
+
+Tracked output must not contain local paths, filenames, file contents, extracted text, payloads,
+logs, screenshots, OCR output, save data, decompiled data, provider payloads, or runtime evidence.
+
+## Safety Boundary
+
+This contract does not permit:
+
+- real local-export reads or parsing;
+- real DB import;
+- line-index or context-graph construction from private input;
+- automatic Steam, game-install, or drive scanning;
+- BepInEx or game-log reads;
+- screenshots, OCR, saves, or decompiled-code work;
+- current-line capture, UI text reading, Unity scanning, hooks, or Harmony patches;
+- provider execution or companion HTTP contract changes;
+- committed extracted text, payloads, indexes, or private paths.
+
+## Fixture And Checker
+
+The machine-readable scope fixture is:
+
+```text
+docs/m2-explicit-local-import-adapter-contract.md
+tests/fixtures/m2_explicit_local_import_adapter_scope.synthetic.json
+scripts/check_m2_explicit_local_import_adapter_contract.py
+```
+
+Validate the contract with:
+
+```powershell
+python scripts/check_m2_explicit_local_import_adapter_contract.py --quiet
+```
+
+The next allowed step is:
+
+```text
+m2_explicit_local_import_adapter_dry_run
+```

docs/m2-synthetic-context-graph-contract.md

@@ -132,3 +132,16 @@ The next allowed step is:
 ```text
 m2_explicit_local_import_adapter_contract
 ```
+
+## Explicit Local-Import Adapter Contract
+
+The next contract-only boundary is documented in:
+
+```text
+docs/m2-explicit-local-import-adapter-contract.md
+tests/fixtures/m2_explicit_local_import_adapter_scope.synthetic.json
+scripts/check_m2_explicit_local_import_adapter_contract.py
+```
+
+It permits only a later metadata-summary dry-run for one explicit workspace-private export file.
+It does not approve local-export reads, parsing, DB import, indexing, or graph construction.

scripts/check_all.py

@@ -341,6 +341,14 @@ def main() -> int:
                 "--quiet",
             ],
         ),
+        (
+            "M2 explicit local-import adapter contract",
+            [
+                sys.executable,
+                "scripts/check_m2_explicit_local_import_adapter_contract.py",
+                "--quiet",
+            ],
+        ),
         (
             "BepInEx bridge safety smoke",
             [