docs: track foreign declaration frontend slice

docs/architecture.md

@@ -1762,7 +1762,9 @@ Both profilers output via the diagnostics system in either human or TOON format.
 
 > The staged architecture is specified by the [initial C FFI and generated
 > binding contract](open_design/c_ffi_binding_contract.md), tracked by
-> [#53](https://github.com/vycdev/jett/issues/53).
+> [#53](https://github.com/vycdev/jett/issues/53). The initial foreign
+> declaration frontend slice is tracked by
+> [#173](https://github.com/vycdev/jett/issues/173).
 
 `jett bind "header.h" --policy binding-policy.toml --target x86_64-unknown-linux-gnu --output deps/binding.jett`
 

docs/design.md

@@ -4032,7 +4032,9 @@ To use a pipeline, each step must be a function that takes an input and returns
 
 > The initial syntax, safety boundary, supported C subset, and staged delivery
 > are specified in the [C FFI and generated binding contract](open_design/c_ffi_binding_contract.md),
-> tracked by [#53](https://github.com/vycdev/jett/issues/53).
+> tracked by [#53](https://github.com/vycdev/jett/issues/53). The first parser,
+> formatter, resolver, and checker implementation slice is tracked by
+> [#173](https://github.com/vycdev/jett/issues/173).
 
 #### The Problem: Manual Bindings Are a Hallucination Minefield
 

docs/open_design/c_ffi_binding_contract.md

@@ -445,6 +445,8 @@ must not leave a partial or newly truncated binding file. There is no default
 
 ### Slice 1: parser, formatter, resolver, and checker
 
+Tracked by [#173](https://github.com/vycdev/jett/issues/173).
+
 - reserve and parse `foreign`, `source`, `digest`, `target`, `abi`, `opaque`,
   `pointer`, `to`, and `links`;
 - add foreign block/type/function metadata to the AST and source ranges;

docs/progress.md

@@ -154,7 +154,7 @@
 | Component | Status |
 |---|---|
 | Cross-compilation (`--target`) | Not started |
-| C binding generator (`jett bind`) | Not started (initial syntax, safety boundary, supported subset, and staged implementation specified by the [C FFI binding contract](open_design/c_ffi_binding_contract.md), tracked by [#53](https://github.com/vycdev/jett/issues/53)) |
+| C binding generator (`jett bind`) | Not started (initial syntax, safety boundary, supported subset, and staged implementation specified by the [C FFI binding contract](open_design/c_ffi_binding_contract.md) from [#53](https://github.com/vycdev/jett/issues/53); the foreign declaration frontend prerequisite is tracked by [#173](https://github.com/vycdev/jett/issues/173), while generator/CLI work remains pending) |
 | `jett bundle` | Working (resolver-derived whole-file dependency ordering, stable lexical tie-breaking, structured cycle and namespace-boundary diagnostics, line manifests, and validation-before-write) |
 
 ### Phase K: Full Standard Library — NOT STARTED
@@ -206,7 +206,7 @@
 | `jett run [--agent] file.jett` | Working (tree-walking interpreter; `--agent` captures stdout plus typed trace/breakpoint debug rows) |
 | `jett test [--agent] [file.jett]` | Working (verify + property blocks; `--agent` emits compact block tables) |
 | `jett lsp` | Working (diagnostics on save) |
-| `jett bind header.h` | Not started (contract specified in [C FFI binding contract](open_design/c_ffi_binding_contract.md); implementation tracked by [#53](https://github.com/vycdev/jett/issues/53)) |
+| `jett bind header.h` | Not started (contract specified in the [C FFI binding contract](open_design/c_ffi_binding_contract.md) from [#53](https://github.com/vycdev/jett/issues/53); the foreign declaration frontend prerequisite is tracked by [#173](https://github.com/vycdev/jett/issues/173), while generator/CLI work remains pending) |
 | `jett bundle` | Working (resolver-derived whole-file dependency ordering, stable lexical tie-breaking, structured cycle and namespace-boundary diagnostics, line manifests, and validation-before-write) |
 | `jett mcp` | Not started |
 | `jett query --agent --namespaces` / `--symbols file.jett` / `--type-at file:line:column` / `--definition-at file:line:column` / `--references-at file:line:column` / `--complete-at file:line:column` / `--signature name` | Partial (ranged namespace registry, file-local symbols with declaration ranges and function signatures, ranged type lookup with structured compiler failures and cross-file labels when source context is known, ranged definition lookup, ranged reference lookup, ranked prefix-filtered completion candidates with context metadata and ranges, and source-level function signatures) |