Add support for target compile features in evaluator and pipeline

- Updated the evaluator to recognize and handle the EV_TARGET_COMPILE_FEATURES event, including visibility and item properties.
- Enhanced the test suite to include cases for compile features, ensuring proper evaluation and visibility checks.
- Modified the pipeline to account for compile features in the model snapshot, including updates to the output format to reflect the new data.
- Added a new test case to validate the usage of compile features in a project setup.

Author: Qfresquin

docs/build_model/build_model_builder.md

@@ -61,6 +61,7 @@ The release-1 supported build-semantic set is:
 - `EVENT_TARGET_INCLUDE_DIRECTORIES`
 - `EVENT_TARGET_COMPILE_DEFINITIONS`
 - `EVENT_TARGET_COMPILE_OPTIONS`
+- `EVENT_TARGET_COMPILE_FEATURES`
 - `EVENT_TEST_ENABLE`
 - `EVENT_TEST_ADD`
 - `EVENT_INSTALL_RULE_ADD`
@@ -110,6 +111,7 @@ Release-1 typed directory/global properties are:
 - `COMPILE_DEFINITIONS`
 - `COMPILE_OPTIONS`
 - `LINK_OPTIONS`
+- `LINK_LIBRARIES`
 
 Other directory/global properties are stored in a raw future-facing property
 bag. They are not dropped silently.
@@ -123,11 +125,18 @@ bag. They are not dropped silently.
 - `EVENT_TARGET_ADD_SOURCE` appends a raw source path without hidden path
   normalization.
 - `EVENT_TARGET_ADD_DEPENDENCY` appends an explicit dependency name reference.
-- `EVENT_TARGET_PROP_SET` updates typed scalar properties when the property name
-  is one of the promoted release-1 keys; otherwise it is recorded in the raw
-  property bag.
-
-Release-1 promoted target property keys are:
+- visibility-aware target events and `EVENT_TARGET_COMPILE_FEATURES` are stored
+  as typed raw item entries without flattening transitive semantics
+- `EVENT_TARGET_PROP_SET` updates typed scalar properties for the promoted
+  scalar keys below and also promotes supported usage-requirement setters into
+  the same typed item families used by the direct target events
+- promoted `SET` operations replace only the matching logical subfamily inside a
+  shared typed array; for example `INTERFACE_INCLUDE_DIRECTORIES` does not wipe
+  `INTERFACE_SYSTEM_INCLUDE_DIRECTORIES`
+- unsupported target properties, custom metadata, and `APPEND_STRING` payloads
+  remain in the raw property bag
+
+Release-1 promoted scalar target property keys are:
 - `OUTPUT_NAME`
 - `PREFIX`
 - `SUFFIX`
@@ -136,6 +145,23 @@ Release-1 promoted target property keys are:
 - `RUNTIME_OUTPUT_DIRECTORY`
 - `FOLDER`
 
+Release-1 promoted usage-requirement target property keys are:
+- `INCLUDE_DIRECTORIES`
+- `INTERFACE_INCLUDE_DIRECTORIES`
+- `INTERFACE_SYSTEM_INCLUDE_DIRECTORIES`
+- `COMPILE_DEFINITIONS`
+- `INTERFACE_COMPILE_DEFINITIONS`
+- `COMPILE_OPTIONS`
+- `INTERFACE_COMPILE_OPTIONS`
+- `COMPILE_FEATURES`
+- `INTERFACE_COMPILE_FEATURES`
+- `LINK_LIBRARIES`
+- `INTERFACE_LINK_LIBRARIES`
+- `LINK_OPTIONS`
+- `INTERFACE_LINK_OPTIONS`
+- `LINK_DIRECTORIES`
+- `INTERFACE_LINK_DIRECTORIES`
+
 Visibility-aware target events are stored as typed raw entries. The builder does
 not flatten visibility or transitive effects during ingest.
 

docs/build_model/build_model_closure_matrix.md

@@ -58,7 +58,7 @@ Interpretation rule:
 | Directory graph, nesting, and owner capture | `project`, `directory` | `closed` | Mostly tightening and bug work remain, not new architecture. | Nested directory ownership, parentage, and inherited context no longer require new storage design. | `strong` |
 | Target declaration, kind identity, alias/imported identity | `target` | `closed` | Target identity is now canonical: `UNKNOWN_LIBRARY` is distinct from utility targets, imported/alias globality is first-class, and alias kind queries resolve to the effective target family. | New target-family work fits into the existing target record shape without structural redesign. | `strong` |
 | Source membership, file sets, and source-file properties | `target`, `build_step` | `closed` | Source membership is now modeled canonically: regular sources, `INTERFACE_SOURCES`, typed file sets, generated status, producer linkage, and source-local compile metadata no longer depend on raw property carry-through. | New source/file-set parity work fits the existing typed source and file-set query surface without new core model shapes. | `strong` |
-| Usage-requirement raw item model | `directory`, `target` | `partial` | Raw storage exists, but wider combinations still create downstream pressure. | Include dirs, defs, opts, link libs, link dirs, features, flags, and provenance fit the stable item model without new families. | `moderate` |
+| Usage-requirement raw item model | `directory`, `target` | `closed` | Usage requirements are now canonical across direct events and supported property setters: directory/global `LINK_LIBRARIES`, target include/define/option/feature/link families, and `SYSTEM` provenance no longer depend on the raw property bag as their primary downstream source. | Include dirs, defs, opts, link libs, link dirs, link opts, compile features, flags, and provenance fit the stable item model without new families; remaining work is limited to transitive semantics and intentional raw-property boundaries such as custom keys and `APPEND_STRING`. | `strong` |
 | Effective propagation and transitive query semantics | `target`, `directory`, `query` | `partial` | Transitive closure is implemented for important families, but more combinations can still force query/model expansion. | Effective queries cover common real-project propagation cases without needing new semantics or side channels. | `moderate` |
 | Generator-expression-carrying downstream preservation | `target`, `directory`, `install`, `export`, `replay` | `open` | This is one of the biggest sources of "looks implemented row-by-row, still fails on real projects." | Artifact-relevant genex context is preserved or resolved downstream strongly enough that codegen does not need evaluator-private escape hatches. | `weak` |
 | Config, language, and platform split | `target`, `query`, `replay` | `partial` | Some context-sensitive querying exists, but broad multi-config/platform closure is still a common major-work source. | Per-config, per-language, and per-platform artifact decisions stop forcing new model/query design. | `moderate` |

docs/build_model/build_model_coverage_matrix.md

@@ -142,7 +142,7 @@ Control rules:
 | `include_directories` | native | `yes` | `directory` | `canonical` | `yes` | `indirect` |
 | `include_guard` | native | `no` | `none` | `none` | `n/a` | `none` |
 | `link_directories` | native | `yes` | `directory` | `canonical` | `yes` | `indirect` |
-| `link_libraries` | native | `yes` | `target/directory` | `subset` | `subset` | `indirect` |
+| `link_libraries` | native | `yes` | `target/directory` | `subset` | `subset` | `direct` |
 | `macro` | structural | `no` | `none` | `none` | `n/a` | `none` |
 | `mark_as_advanced` | native | `no` | `none` | `none` | `n/a` | `none` |
 | `math` | native | `no` | `none` | `none` | `n/a` | `none` |
@@ -151,8 +151,8 @@ Control rules:
 | `project` | native | `yes` | `project` | `canonical` | `yes` | `indirect` |
 | `return` | native | `no` | `none` | `none` | `n/a` | `none` |
 | `set` | native | `no` | `none` | `none` | `n/a` | `none` |
-| `set_property` | native | `yes` | `target/directory/test` | `subset` | `subset` | `indirect` |
-| `set_target_properties` | native | `yes` | `target` | `subset` | `subset` | `indirect` |
+| `set_property` | native | `yes` | `target/directory/test` | `subset` | `subset` | `direct` |
+| `set_target_properties` | native | `yes` | `target` | `subset` | `subset` | `direct` |
 | `source_group` | native | `no` | `none` | `none` | `n/a` | `none` |
 | `target_compile_definitions` | native | `yes` | `target` | `canonical` | `yes` | `direct` |
 | `target_compile_options` | native | `yes` | `target` | `canonical` | `yes` | `direct` |
@@ -214,7 +214,7 @@ Control rules:
 | `site_name` | native | `no` | `none` | `none` | `n/a` | `none` |
 | `subdir_depends` | native | `yes` | `none` | `none` | `boundary` | `none` |
 | `subdirs` | native | `yes` | `none` | `none` | `boundary` | `none` |
-| `target_compile_features` | native | `yes` | `target` | `canonical` | `yes` | `indirect` |
+| `target_compile_features` | native | `yes` | `target` | `canonical` | `yes` | `direct` |
 | `target_precompile_headers` | native | `yes` | `target` | `ownership_only` | `boundary` | `indirect` |
 | `target_sources` | native | `yes` | `target` | `canonical` | `yes` | `direct` |
 | `try_run` | native | `yes` | `replay` | `ownership_only` | `boundary` | `indirect` |

docs/build_model/build_model_query.md

@@ -55,21 +55,25 @@ BM_String_Item_Span bm_query_directory_system_include_directories_raw(const Buil
                                                                       BM_Directory_Id id);
 BM_String_Item_Span bm_query_directory_link_directories_raw(const Build_Model *model,
                                                             BM_Directory_Id id);
+BM_String_Item_Span bm_query_directory_link_libraries_raw(const Build_Model *model,
+                                                          BM_Directory_Id id);
 
 BM_String_Item_Span bm_query_global_include_directories_raw(const Build_Model *model);
 BM_String_Item_Span bm_query_global_system_include_directories_raw(const Build_Model *model);
 BM_String_Item_Span bm_query_global_link_directories_raw(const Build_Model *model);
 BM_String_Item_Span bm_query_global_compile_definitions_raw(const Build_Model *model);
 BM_String_Item_Span bm_query_global_compile_options_raw(const Build_Model *model);
 BM_String_Item_Span bm_query_global_link_options_raw(const Build_Model *model);
+BM_String_Item_Span bm_query_global_link_libraries_raw(const Build_Model *model);
 BM_String_Span bm_query_global_raw_property_items(const Build_Model *model,
                                                   String_View property_name);
 ```
 
 `bm_query_global_raw_property_items(...)` is the canonical escape hatch for
 global raw properties that are reconstructed but not yet promoted to dedicated
-named accessors. Codegen and tests may use it for keys such as
-`LINK_LIBRARIES`, while the model remains fully opaque.
+named accessors. Usage-requirement families such as `LINK_LIBRARIES` now have
+typed named accessors; the raw-property query remains for custom and
+unsupported global keys while the model stays opaque.
 
 ### Target Raw Accessors
 
@@ -157,6 +161,8 @@ BM_String_Item_Span bm_query_target_compile_definitions_raw(const Build_Model *m
                                                             BM_Target_Id id);
 BM_String_Item_Span bm_query_target_compile_options_raw(const Build_Model *model,
                                                         BM_Target_Id id);
+BM_String_Item_Span bm_query_target_compile_features_raw(const Build_Model *model,
+                                                         BM_Target_Id id);
 BM_String_Item_Span bm_query_target_link_options_raw(const Build_Model *model,
                                                      BM_Target_Id id);
 BM_String_Item_Span bm_query_target_link_directories_raw(const Build_Model *model,
@@ -208,6 +214,12 @@ bool bm_query_target_effective_compile_options_items(const Build_Model *model,
                                                      Arena *scratch,
                                                      BM_String_Item_Span *out);
 
+bool bm_query_target_effective_compile_features_items(const Build_Model *model,
+                                                      BM_Target_Id id,
+                                                      const BM_Query_Eval_Context *ctx,
+                                                      Arena *scratch,
+                                                      BM_String_Item_Span *out);
+
 bool bm_query_target_effective_link_libraries_items(const Build_Model *model,
                                                     BM_Target_Id id,
                                                     Arena *scratch,
@@ -238,6 +250,12 @@ bool bm_query_target_effective_compile_options(const Build_Model *model,
                                                Arena *scratch,
                                                BM_String_Span *out);
 
+bool bm_query_target_effective_compile_features(const Build_Model *model,
+                                                BM_Target_Id id,
+                                                const BM_Query_Eval_Context *ctx,
+                                                Arena *scratch,
+                                                BM_String_Span *out);
+
 bool bm_query_target_effective_link_libraries(const Build_Model *model,
                                               BM_Target_Id id,
                                               Arena *scratch,
@@ -292,7 +310,7 @@ The canonical memoized surface covers:
 
 - effective include directories, compile definitions, compile options, link
   libraries, link options, and link directories in both item and value form
-- effective compile features
+- effective compile features in both item and value form
 - effective imported/local target file and linker file resolution
 - imported link-language lookup
 
@@ -405,7 +423,10 @@ evaluator carry-through:
 - `CXX_MODULE_DIRS[_<name>]`
 
 Effective link-library reconstruction also includes raw `LINK_LIBRARIES`
-properties from global and directory scopes when they exist in the model.
+item spans from global and directory scopes through
+`bm_query_global_link_libraries_raw(...)` and
+`bm_query_directory_link_libraries_raw(...)`; codegen no longer depends on the
+raw property bag for this family.
 
 Effective queries must never mutate the model.
 They also must not persist inferred edges back into `Build_Model`; all such

docs/build_model/build_model_types.md

@@ -240,7 +240,7 @@ Every directory record contains:
 - `binary_dir`
 - `provenance`
 - typed raw property families for include dirs, system include dirs, link dirs,
-  compile definitions, compile options, and link options
+  compile definitions, compile options, link options, and link libraries
 - a future-facing raw property bag for additional promoted directory/global
   properties
 
@@ -267,12 +267,15 @@ Every target record contains:
 - raw explicit dependency references
 - raw typed property entries for:
   `link_libraries`, `link_options`, `link_directories`,
-  `include_directories`, `compile_definitions`, `compile_options`
+  `include_directories`, `compile_definitions`, `compile_options`,
+  `compile_features`
 - typed scalar properties promoted from `EVENT_TARGET_PROP_SET`:
   `OUTPUT_NAME`, `PREFIX`, `SUFFIX`,
   `ARCHIVE_OUTPUT_DIRECTORY`, `LIBRARY_OUTPUT_DIRECTORY`,
   `RUNTIME_OUTPUT_DIRECTORY`, `FOLDER`
-- a future-facing raw property bag for unsupported target properties
+- a future-facing raw property bag for unsupported target properties,
+  custom metadata, imported-config scalars, and `APPEND_STRING` setter
+  payloads that intentionally remain outside the canonical item model
 
 Alias targets preserve their own identity flags, but their frozen `kind`
 matches the aliased target family. Local custom targets remain

src_v2/build_model/build_model_builder.c

@@ -77,6 +77,7 @@ static bool bm_is_supported_build_event(Event_Kind kind) {
         case EVENT_TARGET_INCLUDE_DIRECTORIES:
         case EVENT_TARGET_COMPILE_DEFINITIONS:
         case EVENT_TARGET_COMPILE_OPTIONS:
+        case EVENT_TARGET_COMPILE_FEATURES:
         case EVENT_TEST_ENABLE:
         case EVENT_TEST_ADD:
         case EVENT_INSTALL_RULE_ADD:
@@ -661,6 +662,7 @@ bool bm_builder_apply_event(BM_Builder *builder, const Event *ev) {
         case EVENT_TARGET_INCLUDE_DIRECTORIES:
         case EVENT_TARGET_COMPILE_DEFINITIONS:
         case EVENT_TARGET_COMPILE_OPTIONS:
+        case EVENT_TARGET_COMPILE_FEATURES:
             if (ev->h.kind == EVENT_SOURCE_MARK_GENERATED ||
                 ev->h.kind == EVENT_SOURCE_PROPERTY_MUTATE ||
                 ev->h.kind == EVENT_BUILD_STEP_DECLARE ||

src_v2/build_model/build_model_builder_directory.c

@@ -24,6 +24,7 @@ static bool bm_directory_apply_mutation(Arena *arena,
 static bool bm_apply_property_event(Arena *arena,
                                     BM_String_Item_View **include_directories,
                                     BM_String_Item_View **system_include_directories,
+                                    BM_String_Item_View **link_libraries,
                                     BM_String_Item_View **link_directories,
                                     BM_String_Item_View **compile_definitions,
                                     BM_String_Item_View **compile_options,
@@ -42,6 +43,18 @@ static bool bm_apply_property_event(Arena *arena,
         return bm_directory_apply_mutation(arena, link_directories, mut, provenance);
     }
 
+    if (bm_sv_eq_ci_lit(mut->property_name, "LINK_LIBRARIES")) {
+        return bm_directory_apply_mutation(arena, link_libraries, mut, provenance) &&
+               bm_record_raw_property(arena,
+                                      raw_properties,
+                                      mut->property_name,
+                                      mut->op,
+                                      mut->modifier_flags,
+                                      mut->items,
+                                      mut->item_count,
+                                      provenance);
+    }
+
     if (bm_sv_eq_ci_lit(mut->property_name, "COMPILE_DEFINITIONS")) {
         return bm_directory_apply_mutation(arena, compile_definitions, mut, provenance);
     }
@@ -110,6 +123,7 @@ bool bm_builder_handle_directory_event(BM_Builder *builder, const Event *ev) {
             if (!bm_apply_property_event(builder->arena,
                                          &directory->include_directories,
                                          &directory->system_include_directories,
+                                         &directory->link_libraries,
                                          &directory->link_directories,
                                          &directory->compile_definitions,
                                          &directory->compile_options,
@@ -126,6 +140,7 @@ bool bm_builder_handle_directory_event(BM_Builder *builder, const Event *ev) {
             if (!bm_apply_property_event(builder->arena,
                                          &draft->global_properties.include_directories,
                                          &draft->global_properties.system_include_directories,
+                                         &draft->global_properties.link_libraries,
                                          &draft->global_properties.link_directories,
                                          &draft->global_properties.compile_definitions,
                                          &draft->global_properties.compile_options,