From 5bedf44df83e0c1e17929b8afae89ea5d4190808 Mon Sep 17 00:00:00 2001 From: vycdev2 Date: Tue, 25 Aug 2026 03:04:56 +0000 Subject: [PATCH] docs: track foreign declaration frontend slice --- docs/architecture.md | 4 +++- docs/design.md | 4 +++- docs/open_design/c_ffi_binding_contract.md | 2 ++ docs/progress.md | 4 ++-- 4 files changed, 10 insertions(+), 4 deletions(-) diff --git a/docs/architecture.md b/docs/architecture.md index 73af362..d0b727f 100644 --- a/docs/architecture.md +++ b/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` diff --git a/docs/design.md b/docs/design.md index 99e1516..fd0ae84 100644 --- a/docs/design.md +++ b/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 diff --git a/docs/open_design/c_ffi_binding_contract.md b/docs/open_design/c_ffi_binding_contract.md index f28d501..ff57abc 100644 --- a/docs/open_design/c_ffi_binding_contract.md +++ b/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; diff --git a/docs/progress.md b/docs/progress.md index 223820c..667d9fb 100644 --- a/docs/progress.md +++ b/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) |