doc sweep: every authored RST das block compiles — doc-verify checker, 402 pages green, temp-string reclaim miscompile fix - #3682
Conversation
…ing-returning callee that is not [temp_string_result] may passthrough an argument into its result (trim returns an interior pointer), so neither reclaim phase may park a temp in its arguments Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…odel (rename-on-redeclare, class elision-merge, companion preambles, das-doc markers skip/fresh/given/signatures/expect), rule-0 module probes, per-page daslang -compile-only driver, JSON report; plan + predictions + hardening backlog in plans/doc-sweep.md Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
… rewrite), language/classes (gen1 sealed-class remnant, self is a reference, probe-proven example fixes), sql_01-12b (reserved-word shared, phantom sqlite_bind, Result<int,string> for count, alias-emission prose) + das-doc markers; matching companion-comment and skill corrections Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…r-prefix fallback, given module-scope routing (inscope stripped) + renamer seeding + module-first ordering, alt marker (isolated per-block program), modifier-aware elision merge, duplicate-def-header renaming, fragment marker Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
… as a sibling module next to the synthetic page so a bare same-dir require resolves it; emit_page marker dispatch extracted Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…-body blocks resolve against a synthesized subclass), tab-indented blocks no longer silently drop, tuple/typedef join the decl/rename vocabulary, def-header rename fires on the first duplicate, decl-body locals no longer claim page-wide names, imgui/module-tree + basename companion lookups, given require dedupe vs hoists, inscope stripped on global routing Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…decl-shaped bodies (def override ...) splice as members of the synthesized subclass, statements wrap in the helper method; member content stays class-scoped in the renamer Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…sage blocks compile against real sibling macro modules), file marker appends and drops elisions, file-minted modules shadow companion requires and skip rule-0 probes Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…ented dasImgui indexed-widget pattern); docs: fan-out batches through imgui-B (sql complete, daStrudel, dasHV member-upgraded, dasOPENAI, dasAudio, dasMinfft+jsonrpc, dasPEG, handmade A, language A-B, macros A, imgui A-B, numbered partial) + enum_trait docstring + plan ledger Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…ocals; tuple-destructure names all register; docs: dasPUGIXML + dasStbImage + dasLLAMA batches; ledger: tuple-destructure shadowing hole, dasRaster blend-comment mismatch Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…erpolation} regions; tuple-destructure registers all names; docs: language C batch (inverted [init] ordering fixed, builtin_functions drift, clone expansions regenerated), imgui-B fragment upgrades Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…ey normalizes empty parens, rule-0 origin tracks companion-sourced requires only (page-text requires no longer fatally misattributed); docs: language E-H + K-L, macros 13-20, integration A+B, handmade B-C, imgui B upgrade, numbered batch; daslib docstring fixes (jobque_boost, strings_boost); imgui_boost_v2 diagnostic fix Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…e-write, tuple ctor named-args rule, unsafe error-code catalogue probe-verified, macros.rst dense drift, pointer ??/can_delete_ptr semantics), imgui M-Y (1.91/1.92 obsoleted surfaces), numbered 50-56 + utils (daslang_live behavior corrections, daspkg tables); ledger: smart-ptr init-move hole, name-collision wart Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…r identity includes annotations for GENERICS only (contract-differentiated overloads are distinct, concrete same-signature defs stay duplicates) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…rule 0, page-literate model, das-doc marker vocabulary, authoring rules; CLAUDE.md trigger row; plan: nightly-lane wiring spec (dasHV build decision pending) + compiler-finds rulings recorded Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…ded_checks' cron (posix cells; per-PR cycle untouched); preflight mirror row; no build change needed - the extended build already carries the release-module set rule 0 requires Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…o used the invalid 'variable private' spelling - runtime twin of the boost_v2 diagnostic fixed by the doc sweep (found by the CODEREVIEW.md audit) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
There was a problem hiding this comment.
Pull request overview
This PR continues the 0.6.4 documentation sweep by making authored RST das blocks compile-gated (via utils/doc-verify) and then updating tutorials, stdlib “handmade” pages, and related in-tree docs/examples so the documentation stays executable and does not drift from the current APIs.
Changes:
- Update a large set of RST/tutorial sources to compile as literate, page-scoped das “programs” (plus
.. das-doc:markers where needed). - Refresh several in-tree tutorial
.dasfiles and stdlib module docstrings to match current signatures/behavior. - Add a nightly-only GitHub Actions step to run the authored-doc verification on POSIX runners.
Reviewed changes
Copilot reviewed 283 out of 298 changed files in this pull request and generated 1 comment.
Show a summary per file
| File | Description |
|---|---|
| tutorials/sql/06-error_handling.das | Updates tutorial commentary to match current count/long_count return types. |
| tutorials/language/53_clargs.das | Clarifies help output variability across hosts in tutorial output comments. |
| skills/filesystem.md | Documents dir_rec callback path semantics and related gotchas. |
| skills/clargs_usage.md | Updates clargs skill text to match current help rendering behavior (markers, defaults). |
| modules/dasImgui/widgets/imgui_boost_v2.das | Fixes user-facing diagnostics to reflect correct var private syntax. |
| modules/dasImgui/widgets/imgui_boost_runtime.das | Fixes panic message guidance to use correct var private syntax. |
| modules/dasImgui/examples/tutorial/state_telemetry.das | Updates tutorial comment to correct var public global spelling. |
| doc/source/stdlib/handmade/module-unroll.rst | Reindents and modernizes example block layout for compilation. |
| doc/source/stdlib/handmade/module-strings_boost.rst | Updates module description and example output/code formatting to match current behavior. |
| doc/source/stdlib/handmade/module-static_let.rst | Corrects semantics description and refreshes the example to compile. |
| doc/source/stdlib/handmade/module-regex.rst | Fixes example indentation/structure for compilation. |
| doc/source/stdlib/handmade/module-regex_boost.rst | Fixes example indentation/structure for compilation. |
| doc/source/stdlib/handmade/module-random.rst | Fixes example indentation/structure for compilation. |
| doc/source/stdlib/handmade/module-peg.rst | Fixes example indentation/structure and closes blocks for compilation. |
| doc/source/stdlib/handmade/module-openai_common.rst | Updates env var accessor usage and adds missing require for fio. |
| doc/source/stdlib/handmade/module-math_bits.rst | Updates module description and refreshes example formatting/output. |
| doc/source/stdlib/handmade/module-lpipe.rst | Fixes example indentation/structure for compilation. |
| doc/source/stdlib/handmade/module-linq.rst | Fixes example indentation/structure for compilation. |
| doc/source/stdlib/handmade/module-linq_boost.rst | Fixes requires + indentation/structure for compilation. |
| doc/source/stdlib/handmade/module-json.rst | Expands example to show compact vs pretty output and updates narrative. |
| doc/source/stdlib/handmade/module-jobque.rst | Updates module description and example formatting for compilation. |
| doc/source/stdlib/handmade/module-jobque_boost.rst | Updates module description and example formatting for compilation. |
| doc/source/stdlib/handmade/module-interfaces.rst | Updates referenced compile-time error code to current value. |
| doc/source/stdlib/handmade/module-functional.rst | Fixes example indentation/structure for compilation. |
| doc/source/stdlib/handmade/module-flat_hash_table.rst | Updates module description and fixes example indentation/structure. |
| doc/source/stdlib/handmade/module-enum_trait.rst | Fixes example indentation/structure for compilation. |
| doc/source/stdlib/handmade/module-defer.rst | Fixes example indentation/structure for compilation. |
| doc/source/stdlib/handmade/module-decs_boost.rst | Fixes requires + indentation/structure for compilation. |
| doc/source/stdlib/handmade/module-coroutines.rst | Fixes example indentation/structure for compilation. |
| doc/source/stdlib/handmade/module-contracts.rst | Updates contract-annotation examples to current names/usage. |
| doc/source/stdlib/handmade/module-base64.rst | Corrects base64 example output and fixes indentation/structure. |
| doc/source/stdlib/handmade/module-apply.rst | Fixes struct/example indentation and updates output formatting. |
| doc/source/stdlib/handmade/module-algorithm.rst | Fixes example indentation/structure for compilation. |
| doc/source/reference/tutorials/sql_39_schema_from.rst | Updates PRAGMA/schema details, fixes example types/paths, and corrects module path. |
| doc/source/reference/tutorials/sql_38_concurrency.rst | Adds doc-verify given context and removes non-existent get_thread_id usage. |
| doc/source/reference/tutorials/sql_37_bulk_operations.rst | Adds given context and clarifies batch PK constraints. |
| doc/source/reference/tutorials/sql_36_attach.rst | Adds doc-verify given context for DB handle. |
| doc/source/reference/tutorials/sql_35_streaming.rst | Adds doc-verify given context for DB handle. |
| doc/source/reference/tutorials/sql_34_backup_vacuum.rst | Adds doc-verify given context for DB handle. |
| doc/source/reference/tutorials/sql_33_pragma.rst | Switches to signatures marker and provides explicit function signatures + given context. |
| doc/source/reference/tutorials/sql_32_sql_functions.rst | Adds signatures marker, given DB context, and replaces placeholder body with compilable body. |
| doc/source/reference/tutorials/sql_30_list_tables.rst | Adds doc-verify given context for DB handle. |
| doc/source/reference/tutorials/sql_27_blob.rst | Marks non-implemented sketch as fragment to avoid concatenation constraints. |
| doc/source/reference/tutorials/sql_26_custom_types.rst | Adds signatures marker, updates adapter-module naming, and pins expected error behavior. |
| doc/source/reference/tutorials/sql_25_defaults_computed.rst | Adds given context and updates emitted SQL formatting. |
| doc/source/reference/tutorials/sql_24_indexes.rst | Adds given context, updates error code reference, and marks snippet as fragment. |
| doc/source/reference/tutorials/sql_23_foreign_keys.rst | Adds doc-verify given context for DB handle. |
| doc/source/reference/tutorials/sql_22_transactions.rst | Adds doc-verify given context for schema + DB handle. |
| doc/source/reference/tutorials/sql_21_upsert.rst | Adds doc-verify given context and corrects emitted SQL qualification. |
| doc/source/reference/tutorials/sql_20_delete.rst | Adds doc-verify given context for schemas + DB handle. |
| doc/source/reference/tutorials/sql_19_update.rst | Adds doc-verify given context and updates emitted SQL formatting. |
| doc/source/reference/tutorials/sql_18_null_handling.rst | Adds given context and updates behavior description to match current macro error. |
| doc/source/reference/tutorials/sql_17_subqueries.rst | Adds doc-verify given context for schemas + DB handle. |
| doc/source/reference/tutorials/sql_13_aggregates.rst | Adds doc-verify given context for schema + DB handle. |
| doc/source/reference/tutorials/sql_12b_set_ops.rst | Adds doc-verify given context and improves variable naming for clarity. |
| doc/source/reference/tutorials/sql_12_distinct.rst | Adds doc-verify given context and updates emitted SQL snippet. |
| doc/source/reference/tutorials/sql_11_take_skip.rst | Adds doc-verify given context for schema + DB handle. |
| doc/source/reference/tutorials/sql_10_order_by.rst | Adds doc-verify given context for schema + DB handle. |
| doc/source/reference/tutorials/sql_08_where.rst | Adds doc-verify given context for schema + DB handle. |
| doc/source/reference/tutorials/sql_07_anatomy.rst | Adds doc-verify given context and marks non-concatenable snippet as skip. |
| doc/source/reference/tutorials/sql_06_error_handling.rst | Adds given schema and corrects count vs long_count Result return types. |
| doc/source/reference/tutorials/sql_05_parametrized.rst | Adds given context and updates binder naming to current API. |
| doc/source/reference/tutorials/sql_04_select_all.rst | Adds doc-verify given context for schema + DB handle. |
| doc/source/reference/tutorials/sql_03_last_row_id.rst | Wraps example in with_sqlite to ensure DB handle is in scope. |
| doc/source/reference/tutorials/sql_02_insert_data.rst | Adds signatures marker and makes bulk insert example self-contained (with_sqlite). |
| doc/source/reference/tutorials/sql_01_hello.rst | Adds given requires to keep the page’s literate program self-contained. |
| doc/source/reference/tutorials/macros/13_enumeration_macro.rst | Adds file marker and ensures macro-module examples include required module decl. |
| doc/source/reference/tutorials/macros/10_capture_macro.rst | Adds file/member markers and companion given requires for compilation. |
| doc/source/reference/tutorials/macros/09_for_loop_macro.rst | Adds given context for table iteration snippet. |
| doc/source/reference/tutorials/jsonrpc_03_batch.rst | Wraps snippet into a compilable function and clarifies placeholders. |
| doc/source/reference/tutorials/jsonrpc_02_dispatch_line.rst | Corrects notification behavior description and updates sample handler code. |
| doc/source/reference/tutorials/integration_cpp_23_handle_registry.rst | Updates C++ API names in docs and marks host-only snippets as fragment. |
| doc/source/reference/tutorials/integration_cpp_19_class_adapters.rst | Marks host-only snippet as fragment and clarifies dependency on tutorial host. |
| doc/source/reference/tutorials/integration_cpp_15_custom_annotations.rst | Marks host-only snippet as fragment and clarifies which module registers the annotations. |
| doc/source/reference/tutorials/integration_cpp_12_smart_pointers.rst | Improves C++ log text and marks host-only snippet as fragment; closes blocks. |
| doc/source/reference/tutorials/integration_cpp_11_context_variables.rst | Marks host-only snippet as fragment and fixes/extends example output. |
| doc/source/reference/tutorials/integration_cpp_10_custom_modules.rst | Marks host-only snippet as fragment and closes example block. |
| doc/source/reference/tutorials/integration_cpp_08_methods.rst | Marks host-only snippet as fragment and updates example logic/output. |
| doc/source/reference/tutorials/integration_cpp_07_callbacks.rst | Clarifies block syntax and marks host-only snippet as fragment; closes blocks. |
| doc/source/reference/tutorials/integration_cpp_06_interop.rst | Marks host-only snippet as fragment and closes blocks. |
| doc/source/reference/tutorials/integration_cpp_05_binding_enums.rst | Clarifies enum-binding requirements and marks host-only snippet as fragment. |
| doc/source/reference/tutorials/integration_cpp_04_binding_types.rst | Marks host-only snippet as fragment and closes blocks. |
| doc/source/reference/tutorials/integration_cpp_03_binding_functions.rst | Adds fragment markers and updates C++ log wording in docs. |
| doc/source/reference/tutorials/integration_c_13_shared_module.rst | Clarifies module resolution and updates referenced error code. |
| doc/source/reference/tutorials/integration_c_12_ecs.rst | Marks host-only snippets as fragment and clarifies which module provides bindings. |
| doc/source/reference/tutorials/integration_c_11_type_introspection.rst | Adds fragment marker for host-only compilation context. |
| doc/source/reference/tutorials/integration_c_07_context_variables.rst | Adds fragment marker for host-only compilation context. |
| doc/source/reference/tutorials/integration_c_06_sandbox.rst | Adds given requirements/typedefs so the snippet compiles standalone. |
| doc/source/reference/tutorials/integration_c_04_callbacks.rst | Adds fragment markers and clarifies required module context. |
| doc/source/reference/tutorials/integration_c_03_binding_types.rst | Adds fragment markers and clarifies required module context. |
| doc/source/reference/tutorials/imgui/with_tab_stop.rst | Updates ImGui API notes (1.91+), and corrects require/re-export guidance. |
| doc/source/reference/tutorials/imgui/with_style.rst | Fixes function naming in example (text vs Text). |
| doc/source/reference/tutorials/imgui/widgets_tour.rst | Updates ImGui style field usage and makes example actions observable. |
| doc/source/reference/tutorials/imgui/visual_aids_tour.rst | Clarifies API semantics and parameter meaning in examples. |
| doc/source/reference/tutorials/imgui/tree_node.rst | Adds signatures marker and corrects leaf-node behavioral explanation. |
| doc/source/reference/tutorials/imgui/toggles.rst | Corrects caller-owned API surface and adds missing safe_addr requirement. |
| doc/source/reference/tutorials/imgui/slider.rst | Adds signatures and given requirements for a self-contained page program. |
| doc/source/reference/tutorials/imgui/selectable_hover.rst | Adds required state table declaration and clarifies indexed-state pattern. |
| doc/source/reference/tutorials/imgui/popup_window.rst | Adds given context and clarifies state struct purpose. |
| doc/source/reference/tutorials/imgui/popup_modal.rst | Adds signatures and given context for compilation. |
| doc/source/reference/tutorials/imgui/plot.rst | Adds signatures and given stubs/vars for compilation. |
| doc/source/reference/tutorials/imgui/main_menu_bar.rst | Corrects module/rail provenance notes (containers vs widgets builtins). |
| doc/source/reference/tutorials/imgui/log_capture.rst | Corrects require guidance for with_log rail. |
| doc/source/reference/tutorials/imgui/live_reload.rst | Updates API naming (get_last_error) and corrects module names. |
| doc/source/reference/tutorials/imgui/layout_primitives.rst | Corrects module location and expands API/behavior descriptions. |
| doc/source/reference/tutorials/imgui/input_text.rst | Adds signatures and given vars/stubs for compilation. |
| doc/source/reference/tutorials/imgui/icons.rst | Fixes regen command path and adds operational note about windowed run. |
| doc/source/reference/tutorials/imgui/file_dialog.rst | Adds signatures marker for the public API section. |
| doc/source/reference/tutorials/imgui/edit_tab_item.rst | Fixes example indentation and provides a compilable tab body. |
| doc/source/reference/tutorials/imgui/dropdown_select.rst | Adds signatures marker and given items list for compilation. |
| doc/source/reference/tutorials/imgui/drag.rst | Adds signatures and given requirements for caller-owned variants. |
| doc/source/reference/tutorials/imgui/drag_drop.rst | Adds given requirements and corrects API naming in narrative (text). |
| doc/source/reference/tutorials/imgui/color_button_hover.rst | Adds given requirements and corrects signature docs (mandatory args). |
| doc/source/reference/tutorials/imgui/collapsing_header.rst | Adds given requirements and signatures marker for state struct. |
| doc/source/reference/tutorials/imgui/child.rst | Adds signatures marker, corrects flag naming, and updates example usage. |
| doc/source/reference/tutorials/imgui/boost_basics.rst | Adds given requires and corrects state type naming in narrative. |
| doc/source/reference/tutorials/imgui/application_lifecycle.rst | Corrects module reference for GC helper and marks examples as fragments. |
| doc/source/reference/tutorials/daStrudel_19_one_shots.rst | Adds given requirements and missing locals to make examples compile. |
| doc/source/reference/tutorials/daStrudel_18_sfx_lab.rst | Adds given requirement for strudel_sfx. |
| doc/source/reference/tutorials/daStrudel_17_hrtf_position.rst | Adds given requirements and signatures marker. |
| doc/source/reference/tutorials/daStrudel_15_midi_files.rst | Adds given context and missing requires (sleep) for compilation. |
| doc/source/reference/tutorials/daStrudel_14_sf2_soundfont.rst | Adds given requirement and corrects instrument naming. |
| doc/source/reference/tutorials/daStrudel_11_scales_music_theory.rst | Adds given requirement for core Strudel modules. |
| doc/source/reference/tutorials/daStrudel_10_adsr_envelopes.rst | Adds given requirements and helper stubs to compile examples. |
| doc/source/reference/tutorials/daStrudel_09_signals_modulation.rst | Adds given requirements and helper stubs to compile examples. |
| doc/source/reference/tutorials/daStrudel_08_effects_filters.rst | Adds given requirement and corrects roomsize semantics narrative. |
| doc/source/reference/tutorials/daStrudel_07_per_voice_fx.rst | Adds given requirement and keeps example compile-ready. |
| doc/source/reference/tutorials/daStrudel_06_stacking_combining.rst | Adds given requirement and keeps example compile-ready. |
| doc/source/reference/tutorials/daStrudel_05_euclidean_rhythms.rst | Adds given requirements/stubs and clarifies cycle semantics narrative. |
| doc/source/reference/tutorials/daStrudel_04_time_manipulation.rst | Adds given requirements/stubs and clarifies hurry semantics. |
| doc/source/reference/tutorials/daStrudel_02_mini_notation_fundamentals.rst | Adds given requirements/stubs so examples compile. |
| doc/source/reference/tutorials/daStrudel_01_hello_pattern.rst | Adds signatures markers and corrects sustain semantics narrative. |
| doc/source/reference/tutorials/dasStbImage_05_drawing_and_blending.rst | Corrects blending math narrative and makes icon example self-contained. |
| doc/source/reference/tutorials/dasStbImage_04_pixel_access_and_conversion.rst | Adds given image context and fixes variable naming / API usage. |
| doc/source/reference/tutorials/dasStbImage_03_transforms.rst | Adds given image context and updates canvas creation to compilable APIs. |
| doc/source/reference/tutorials/dasStbImage_02_saving_and_encoding.rst | Adds given image context, clarifies extensions, and fixes variable usage. |
| doc/source/reference/tutorials/dasStbImage_01_loading_images.rst | Makes snippet self-contained by defining path. |
| doc/source/reference/tutorials/dasPUGIXML_04_serialization.rst | Adds missing enum context and expands explanation of serialization annotations. |
| doc/source/reference/tutorials/dasPUGIXML_02_building.rst | Clarifies naming in example and adds given context for later snippet. |
| doc/source/reference/tutorials/dasPEG_07_basic_interpreter.rst | Marks rule excerpts as fragments for compile-gating. |
| doc/source/reference/tutorials/dasPEG_05_json_parser.rst | Marks excerpts as fragments and adds given stubs for verification snippet. |
| doc/source/reference/tutorials/dasPEG_04_email_validator.rst | Marks excerpt as fragment for compile-gating. |
| doc/source/reference/tutorials/dasPEG_03_csv_parser.rst | Marks excerpts as fragments for compile-gating. |
| doc/source/reference/tutorials/dasPEG_02_calculator.rst | Marks excerpt as fragment for compile-gating. |
| doc/source/reference/tutorials/dasPEG_01_hello_parser.rst | Marks excerpts as fragments for compile-gating. |
| doc/source/reference/tutorials/dasOPENAI_11_completions.rst | Adds given client stub/context so examples compile in doc-verify. |
| doc/source/reference/tutorials/dasOPENAI_10_moderations.rst | Adds given client stub/context so examples compile in doc-verify. |
| doc/source/reference/tutorials/dasOPENAI_09_image_generation.rst | Adds given client stub/context so examples compile in doc-verify. |
| doc/source/reference/tutorials/dasOPENAI_08_vision.rst | Adds given base URL context for compilation. |
| doc/source/reference/tutorials/dasOPENAI_07_streaming_chat.rst | Adds given client stub/context so examples compile in doc-verify. |
| doc/source/reference/tutorials/dasOPENAI_06_audio.rst | Adds given client stub/context so examples compile in doc-verify. |
| doc/source/reference/tutorials/dasOPENAI_05_embeddings_and_models.rst | Adds given client stub/context and clarifies API surface narrative. |
| doc/source/reference/tutorials/dasOPENAI_04_tools_and_function_calling.rst | Adds given client stub/context so examples compile in doc-verify. |
| doc/source/reference/tutorials/dasOPENAI_03_structured_outputs.rst | Adds given client stub/context so examples compile in doc-verify. |
| doc/source/reference/tutorials/dasOPENAI_02_conversations_and_params.rst | Adds given client stub/context so examples compile in doc-verify. |
| doc/source/reference/tutorials/dasOPENAI_01_first_chat.rst | Moves “real endpoint” snippet into an alt block and adds required fio import. |
| doc/source/reference/tutorials/dasMinfft_03_dct_image_compression.rst | Adds required locals and marks excerpt fragments for compile-gating. |
| doc/source/reference/tutorials/dasMinfft_02_dct_basics.rst | Makes coefficient truncation example self-contained and clarifies output context. |
| doc/source/reference/tutorials/dasMinfft_01_real_fft.rst | Adds given constant for compilation. |
| doc/source/reference/tutorials/dasLLAMA_09_embeddings.rst | Adds given cosine helper and required context for compilation. |
| doc/source/reference/tutorials/dasLLAMA_08_audio_chat.rst | Adds given audio samples context so snippets compile. |
| doc/source/reference/tutorials/dasLLAMA_07_speech_to_text.rst | Adds given audio buffers and makes streaming example compilable. |
| doc/source/reference/tutorials/dasLLAMA_02_chat.rst | Adds given model/session context so snippets compile. |
| doc/source/reference/tutorials/dasLLAMA_01_hello_generate.rst | Adds given path/context and updates jobqueue setup API guidance. |
| doc/source/reference/tutorials/dasLLAMA_00_problem_statement.rst | Marks code excerpts as fragments for doc-verify. |
| doc/source/reference/tutorials/dasHV_07_sse_and_streaming.rst | Adds given base URL/request context for compilation. |
| doc/source/reference/tutorials/dasHV_02_http_requests_advanced.rst | Adds given base URL/request context for compilation. |
| doc/source/reference/tutorials/dasHV_01_http_requests.rst | Adds given URL context and signatures markers for non-GET verbs. |
| doc/source/reference/tutorials/dasAudio_09_playback_status.rst | Adds given tone buffer context for compilation. |
| doc/source/reference/tutorials/dasAudio_06_streaming.rst | Adds given constants and marks core loop excerpt as fragment. |
| doc/source/reference/tutorials/48_apply.rst | Updates tuple example to compilable named-tuple form; adds missing record init. |
| doc/source/reference/tutorials/43_interfaces.rst | Makes the interface example self-contained and updates error output text. |
| doc/source/reference/tutorials/42_testing_tools.rst | Fixes future-date comment and adds missing helper code for fuzz example. |
| doc/source/reference/tutorials/37_utility_patterns.rst | Adds given helper stubs for acquire/release example. |
| doc/source/reference/tutorials/35_jobque.rst | Adds given structs needed by snippet for compilation. |
| doc/source/reference/tutorials/34_decs.rst | Adds given IDs referenced by snippets for compilation. |
| doc/source/reference/tutorials/32_operator_overloading.rst | Adds given struct and clarifies ?[] behavior for built-ins. |
| doc/source/reference/language/very_safe_context.rst | Adds an explicit error-demo snippet with expected error code marker. |
| doc/source/reference/language/structs.rst | Adds alt/error-demo markers and provides a concrete operator delete example. |
| doc/source/reference/language/iterators.rst | Adds markers/given context and normalizes snippet formatting for compilation. |
| doc/source/reference/language/contexts.rst | Clarifies [init] ordering semantics, adds given context, and updates locking notes. |
| doc/source/reference/language/blocks.rst | Adds markers/given context and pins the correct error code in the example. |
| doc/source/reference/language/bitfields.rst | Adds alt marker and clarifies shorthand equivalence with a compilable snippet. |
| doc/source/reference/language/aliases.rst | Adds alt markers to keep type-alias examples compile-gated but non-concatenated. |
| daslib/strings_boost.das | Updates module docstring to list current/real API surface and re-export details. |
| daslib/jobque_boost.das | Updates module docstring to reflect current helpers and public re-export. |
| daslib/enum_trait.das | Updates module docstring to reflect generated helpers that actually exist. |
| CLAUDE.md | Adds skills/doc_sweep.md to the skills index table. |
| .github/workflows/extended_checks.yml | Adds a nightly-only doc-verify run to keep authored-doc code blocks compiling. |
💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.
…th IS its bare filename; the invariant is root-relative, never absolute (Copilot review) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
There was a problem hiding this comment.
Pull request overview
Copilot reviewed 283 out of 298 changed files in this pull request and generated no new comments.
Suppressed comments (1)
doc/source/reference/tutorials/integration_cpp_03_binding_functions.rst:170
- The C++ example prints
ctx->stack.size()(auint32_t, seeStackAllocator::size()), but uses%dwhich is a signed-int format specifier and can trigger-Wformatwarnings (or misprint for values > INT_MAX). Use an unsigned format or cast to a matching type.
The 0.6.4 documentation sweep. Authored RST pages carried ~2,260 hand-written das code blocks that nothing compiled, so they drifted (clargs documenting the pre-Result
parse_args) or were born wrong (ManagedVectorAnnotation<int32_t>+ plainaddAnnotationin the embedding docs — neither compiles nor registers the vector ops). This PR makes every one of them compile-gated and fixes what the gate found.The checker —
utils/doc-verify/main.dasTreats each page as a literate program: das blocks concatenate in document order into one synthetic module (decls at module scope, statements into one function so locals flow), preamble hoisted from the page's compile-gated companion tutorial, one
daslang -compile-onlyspawn per page. Narrative re-declarations rename (daslang bans shadowing); a class re-declared with a leading...merges; string-literal text is never renamed but interpolation regions are. Rule 0: every module the corpus requires is probed against the checker binary before any verdict counts — a companion-sourced failure aborts the audit.Ten
.. das-doc:markers (invisible RST comments) cover what can't concatenate:skip,fragment,signatures,fresh,given,alt,member(method-body excerpts compile inside a synthesized subclass),file(multi-file literate pages tangle real sibling modules),expect error[NNNNN](error demos must fail with that exact code — 27 pinned). Procedure and vocabulary:skills/doc_sweep.md.Results
sqlite_bind,get_thread_id,live_get_error,edit_radio_button_int,[pre_simulate_macro], …), probe-disproved semantics (inverted[init]before/after, backwardsstatic_match, falserecursive_triggersclaim,sustaindescribed as duration, tables.rst teachingunsafe { tab[k] = v }), stale error codes (30111→30926, 40207→31012, 31300→31019, 30901→20605), truncated/unclosed listings, gen1 remnants, ImGui 1.91/1.92 obsoleted surfaces, stale generated-code dumps regenerated from real-logoutputCompiler fix riding along (cherry-pickable)
Temp-string reclaim use-after-free:
sliceresults are[temp_string_result]-queued, buttrim's passthrough branch returns an interior pointer into its argument typed as a regular string — the queue frees the cell and the persistent shoe reissues it same-size-class. Deterministic 20-line repros corrupted 3/6 stored keys. Fix: both reclaim phases now refuse to park a temp in the arguments of a string-returning callee that is not itself always-fresh (ast_allocate_stack.cpp), i.e. unknown-callee defaults to safe. Failing tests first: two new rows intests/strings/temp_string_reclaim.das(2/22 failed pre-fix → 22/22, full strings suite 394/394). Independently reproduced twice by the fan-out before the fix landed.Small in-tree corrections the sweep surfaced:
daslib/enum_trait,daslib/strings_boost,daslib/jobque_boostdocstrings advertised nonexistent functions; two dasImgui diagnostics suggested the invalidvariable privatespelling (found via the module's CODEREVIEW.md audit); one stale companion comment intutorials/sql.CI
New nightly-only step on
extended_checks' cron (posix cells):doc-verifyover the whole corpus, exit-code gated. The per-PR cycle is untouched. Mirror row added toskills/preflight.md.Follow-ups (deliberately not in this PR)
Ledgered with rulings in
plans/doc-sweep.md: two compiler fixes (tuple-destructure shadowing bypass; generated class-method_::resolution colliding with a required module's same-named class), thesp..xparse investigation, the spatial-audio coordinate contradiction (needs a listening test), strudel!Nsemantics, thegen_module_examples.pyregen trap (a re-run would revert the handmade fixes — defect pinpointed to its line 1376), daspkg's deadsdk_versionhook parameter, dasLiveHost stale-comment cluster, and two CODEREVIEW.md self-review findings from the audit.Verification
preflight --full: 17/17 gates green (interp / JIT / AOT sweeps, C++ tests, sequence smoke, the full dasImgui suite permodules/dasImgui/CODEREVIEW.md, das2rst + Sphinx-Wclean over the entire fixed corpus, format, lint, ci-das). Certification scan:bin/daslang utils/doc-verify/main.dasexits 0.🤖 Generated with Claude Code