release 0.6.4: version bump + changelist; SDK instruction sync; history/ doc archiving - #3563
Merged
Merged
Conversation
Version 0.6.3 -> 0.6.4 across platform.h, CMake, Sphinx conf, the get_das_version doc example, and install/README. CHANGELIST.md gains the 0.6.4 (July 2026) section covering #3272-#3562. version_update.md skill corrected: conf.py carries the full X.Y.Z in both fields (de-facto since 0.6.3). Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…scrub personal paths install/CLAUDE.md picks up the 0.6.4-era language content (gen2 default parser, bare named calls, with (module), cast parens, 16/8-bit lattice, distinct types, addr<T?> sugar, delete-on-pointer-containers, options stack, reserved words, the require hyphen rule, STYLE034/035 rows) plus dashv/find_dupe skill rows; install/skills.list ships both skills. Skills scrub: no personal names or machine-local paths in skill content (external_module_debugging examples use a generic package root now). Top-level CLAUDE.md: the named-arguments bullet documents the bare foo(pos, name = value) form (probe-verified), and the stale pre-#3420 reinterpret operand-swallow gotcha is removed (probe-verified: the cast is self-delimiting now). Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
New skills/doc_archiving.md defines the archive-vs-stay test and the process: git mv under history/<area>/, update path-qualified references, add a note in the area's living index doc, and record every doc in the Archive log at the bottom of history/README.md (the findability ledger). Swept per the skill: the root rework docs (FIXED_ARRAY_REWORK, ANNOTATION_INFO_REWORK, QUOTE_LOWERING, COVERAGE_GAP), the dasSQLITE API rework corpus + tutorial-mockup design artifacts, the dasSpirv PHASE6-9 working plans, closed dasLLAMA docs (avx_kernel_matrix, epyc9654_measurements, model_expansion_plan), the benchmarks/sql linq_fold plans/audits, example plans (sfx_lab, scalar_packing, sequence, Cadmus), and the daScriptTest migration checklist. ~33 path-qualified references updated across daslib, tests, tutorials, RST, and skills; living contracts (PROVIDER_CONTRACT, the MASTERPLANs, cited dasLLAMA specs, results.md ledgers) stay put and carry archive notes. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…weep The archive sweep's comment-path updates put 7 linq_fold test files into CI's changed-files lint set, surfacing 20 pre-existing warnings: unused eid block arguments on create_entities callbacks (now [unused_argument(eid)] per the in-file precedent — the name is decs-bound and cannot be underscore-renamed) and unused require math / require strings lines (dropped). tests/linq suite: 2007/2007 green. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Contributor
There was a problem hiding this comment.
Pull request overview
This PR prepares the daslang 0.6.4 release by bumping version identifiers, updating/repointing documentation and skill references to archived /history docs, syncing the shipped SDK instructions under install/, and adding an explicit doc-archiving process plus the initial /history index/log.
Changes:
- Bump reported/project/documentation version to 0.6.4 across build + docs entrypoints.
- Introduce
/historydocumentation archiving structure (index + archive log) and update in-tree references to point athistory/.... - Sync and scrub skills/SDK instructions (new
doc_archivingskill, new shipped skills list entries, and path/personalization cleanup).
Reviewed changes
Copilot reviewed 49 out of 105 changed files in this pull request and generated 2 comments.
Show a summary per file
| File | Description |
|---|---|
| .github/workflows/nightly_daspkg_index.yml | Updates comment reference to archived coverage-gap doc under history/. |
| CLAUDE.md | Updates language/usage guidance (named args, cast notes) and adds skills/doc_archiving.md to the skill index. |
| CMakeLists.txt | Bumps CMake project version to 0.6.4. |
| benchmarks/sql/results.md | Repoints links to archived linq_fold gap/docs under history/. |
| daslib/flatten_opt_pack.das | Updates design-doc reference to archived scalar packing plan in history/. |
| daslib/linq.das | Repoints spec link for _group_by_lazy behavior to archived API doc in history/. |
| daslib/linq_boost.das | Repoints _group_by_lazy macro doc/spec link to archived API doc in history/. |
| daslib/linq_fold_table.das | Repoints doc reference from benchmarks/sql/ to archived history/linq_fold/. |
| doc/source/conf.py | Bumps Sphinx version/release to 0.6.4. |
| doc/source/reference/tutorials/sql_43_migrations.rst | Updates tutorial prose to reference archived migration doc path. |
| doc/source/stdlib/handmade/function-builtin-get_das_version-0x47c28931e7e7291e.rst | Updates get_das_version example string to 0.6.4. |
| examples/daStrudel/sfx_lab/sfx_analysis.das | Updates comment pointer to archived research note in history/. |
| history/README.md | Adds /history index + archive ledger and records the initial archive move set. |
| history/ci/COVERAGE_GAP.md | Archives the CI/local coverage-gap planning doc into history/ci/. |
| history/compiler/ANNOTATION_INFO_REWORK.md | Archives compiler rework design record into history/compiler/. |
| history/dasSQLITE/tutorial-mockup/01-version.das.mockup | Archives dasSQLITE tutorial mockup into history/dasSQLITE/tutorial-mockup/. |
| history/dasSQLITE/tutorial-mockup/02-insert_data.das.mockup | Archives dasSQLITE tutorial mockup into history/dasSQLITE/tutorial-mockup/. |
| history/dasSQLITE/tutorial-mockup/03-last_row_id.das.mockup | Archives dasSQLITE tutorial mockup into history/dasSQLITE/tutorial-mockup/. |
| history/dasSQLITE/tutorial-mockup/04-select_all.das.mockup | Archives dasSQLITE tutorial mockup into history/dasSQLITE/tutorial-mockup/. |
| history/dasSQLITE/tutorial-mockup/05-parametrized.das.mockup | Archives dasSQLITE tutorial mockup into history/dasSQLITE/tutorial-mockup/. |
| history/dasSQLITE/tutorial-mockup/14-transaction.das.mockup | Archives dasSQLITE tutorial mockup into history/dasSQLITE/tutorial-mockup/. |
| history/dasSQLITE/tutorial-mockup/15-update.das.mockup | Archives dasSQLITE tutorial mockup into history/dasSQLITE/tutorial-mockup/. |
| history/dasSQLITE/tutorial-mockup/16-delete.das.mockup | Archives dasSQLITE tutorial mockup into history/dasSQLITE/tutorial-mockup/. |
| history/dasSQLITE/tutorial-mockup/17-upsert.das.mockup | Archives dasSQLITE tutorial mockup into history/dasSQLITE/tutorial-mockup/. |
| history/dasSQLITE/tutorial-mockup/27-indexes.das.mockup | Archives dasSQLITE tutorial mockup into history/dasSQLITE/tutorial-mockup/. |
| history/dasSQLITE/tutorial-mockup/33-pragma.das.mockup | Archives dasSQLITE tutorial mockup into history/dasSQLITE/tutorial-mockup/. |
| history/dasSQLITE/tutorial-mockup/_error_handling.das.mockup | Archives dasSQLITE tutorial mockup into history/dasSQLITE/tutorial-mockup/. |
| history/dasSpirv/PHASE7_TEXTURES.md | Archives dasSpirv Phase 7 working plan into history/dasSpirv/. |
| history/dasSpirv/PHASE8_LANGUAGE.md | Archives dasSpirv Phase 8 working plan into history/dasSpirv/. |
| history/examples/dictation/CADMUS_PLAN.md | Archives example planning doc into history/examples/dictation/. |
| history/examples/scalar_packing/FINDINGS.md | Archives scalar packing findings doc into history/examples/scalar_packing/. |
| history/examples/scalar_packing/PLAN.md | Archives scalar packing plan doc into history/examples/scalar_packing/. |
| history/examples/sfx_lab/NOTES_drum_session.md | Archives sfx_lab session notes into history/examples/sfx_lab/. |
| history/examples/sfx_lab/PLAN.md | Archives sfx_lab plan into history/examples/sfx_lab/. |
| history/examples/sfx_lab/research/metric_design.md | Archives sfx_lab research note into history/examples/sfx_lab/research/. |
| history/examples/sfx_lab/research/seeding_from_analysis.md | Archives sfx_lab research note into history/examples/sfx_lab/research/. |
| history/linq_fold/sqlite_linq_gaps.md | Fixes internal link to benchmarks/sql/results.md using correct relative path after archiving. |
| history/tests/REVIEW.md | Archives a test-migration review checklist under history/tests/. |
| include/daScript/misc/platform.h | Bumps DAS_VERSION_PATCH to 4 (0.6.4). |
| install/README.md | Updates SDK README version to 0.6.4. |
| install/skills.list | Adds new shipped skills (dashv.md, find_dupe.md) to the SDK skill bundle. |
| modules/dasLLAMA/README.md | Notes that certain closed-arc docs are now archived under history/dasLLAMA/. |
| modules/dasLLAMA/dasllama/dasllama_math.das | Repoints comment reference to archived EPYC measurements doc under history/. |
| modules/dasLLAMA/gemm_generator_plan.md | Repoints references to archived x64 measurement docs under history/. |
| modules/dasLLAMA/tests/test_parity.das | Repoints comment reference to archived model-expansion plan under history/. |
| modules/dasLLAMA/x64_arch.md | Repoints comment reference to archived AVX kernel matrix doc under history/. |
| modules/dasSQLITE/PROVIDER_CONTRACT.md | Adds note that rework-arc docs were archived under history/dasSQLITE/. |
| modules/dasSpirv/MASTERPLAN.md | Updates status text to reflect Phase 6–9 working plans are archived under history/dasSpirv/. |
| skills/abi_break_sweep.md | Repoints reference to archived coverage-gap doc under history/. |
| skills/das_macros.md | Repoints spec reference to archived API doc under history/. |
| skills/dashv.md | Small wording clarification about in-repo examples/tests. |
| skills/doc_archiving.md | New skill documenting the archive-vs-stay test and the archiving process/ledger discipline. |
| skills/external_module_debugging.md | Scrubs machine-local paths and replaces with generic examples; clarifies Windows guidance. |
| skills/memory_leak_detection.md | Scrubs machine-local leak-report sample paths. |
| skills/sql.md | Updates references to emphasize living contract vs archived rework docs. |
| skills/tutorial_prose.md | Removes personal-name phrasing from the tutorial prose voice guidance. |
| skills/tutorials.md | Updates guidance to reflect tutorial mockups are now archived under history/. |
| skills/version_update.md | Updates version-bump guidance: conf.py uses full X.Y.Z in both version and release. |
| tests/dasSQLITE/parity_check_04_select_all.das | Repoints plan doc reference to archived history/dasSQLITE/API_CHECKED.md. |
| tests/dasSQLITE/parity_check_05_parametrized.das | Repoints plan doc reference to archived history/dasSQLITE/API_CHECKED.md. |
| tests/linq/failed_test_linq_join.das | Repoints spec reference to archived history/dasSQLITE/API_REWORK.md. |
| tests/linq/test_linq_fold_theme2_trailing_where.das | Cleans unused requires and repoints audit-doc reference to history/linq_fold/; annotates unused eid arg. |
| tests/linq/test_linq_fold_theme3_c1_c5_distinct_order_take.das | Cleans unused requires and repoints audit-doc reference to history/linq_fold/; annotates unused eid arg. |
| tests/linq/test_linq_fold_theme3_c2_group_by_order_by.das | Cleans unused requires and repoints audit-doc reference to history/linq_fold/; annotates unused eid arg. |
| tests/linq/test_linq_fold_theme3_decs_join_groupby.das | Cleans unused requires and repoints audit-doc reference to history/linq_fold/; annotates unused eid arg. |
| tests/linq/test_linq_fold_theme45_quick_wins.das | Removes unused requires and repoints audit-doc reference to history/linq_fold/. |
| tests/linq/test_linq_fold_theme7_chained_select.das | Cleans unused requires and repoints audit-doc reference to history/linq_fold/; annotates unused eid arg. |
| tests/linq/test_linq_fold_theme8_fusion_arms.das | Removes unused require and repoints audit-doc reference to history/linq_fold/. |
| tutorials/sql/43-migrations.das | Updates tutorial comment reference to archived migration design notes under history/. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Update the two manual titles and all live site version chips to 0.6.4, correct the version-update instructions to match established full-X.Y.Z practice, and clarify the Sphinx version comment. Expand the archive ledger to one exact old-to-new entry per moved document and repair local links in the archived docs.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
Four workstreams batched for the release:
1. Version 0.6.4 + changelist —
DAS_VERSION_PATCH3→4 across the five canonical files (platform.h, CMake, Sphinx conf, theget_das_versiondoc example, install/README). CHANGELIST.md gains the 0.6.4 (July 2026) section covering ~266 PRs (#3272–#3562): dasLLAMA and the Metal/Vulkan/Accelerate GPU tiers, dasllama-server, automatic inlining, the optimizer wave, the 16/8-bit type lattice, distinct types, bare named calls, SQL multi-provider, dasGLTF/dasSMT/dasTerminal/LSP, wasm64, jobque, dasSpirv, dasHerd, and the docs/CI/examples tail.skills/version_update.mdcorrected in place (conf.py carries the full X.Y.Z in both fields, de-facto since 0.6.3).2. SDK instruction sync (
install/) —install/CLAUDE.mdpicks up the 0.6.4-era language content (gen2-default parser, bare named calls — probe-verified,with (module), cast parens, the lattice, distinct types,addr<T?>sugar, delete-on-pointer-containers,options stack, reserved words, the require-hyphen rule, STYLE034/035 rows).install/skills.listnow shipsdashv.md+find_dupe.md;llvm_tune.md/aot_hash_desync_debugging.mdwere evaluated and kept repo-only (built around repo internals).3. Skills scrub — no personal names or machine-local paths in skill content: the tutorial-prose persona line rewritten,
external_module_debugging.mdexamples moved to a genericC:/packagesroot, leak-report sample paths neutralized. Top-level CLAUDE.md gets two probe-verified fixes: the named-arguments bullet now documents barefoo(pos, name = value)(#3410–#3415), and the stale pre-#3420 reinterpret operand-swallow gotcha is removed (casts are self-delimiting now).4.
/historydoc archiving +skills/doc_archiving.md— the new skill defines the archive-vs-stay test (operative reference vs historical context) and the process:git mvunderhistory/<area>/, update path-qualified references, add a note in the area's living index doc, and record every doc in the Archive log at the bottom ofhistory/README.md(the findability ledger). Swept: the root rework docs (FIXED_ARRAY_REWORK, ANNOTATION_INFO_REWORK, QUOTE_LOWERING, COVERAGE_GAP), the dasSQLITE API-rework corpus + tutorial mockups, the dasSpirv PHASE6–9 working plans (MASTERPLAN already called for this), closed dasLLAMA docs (avx_kernel_matrix, epyc9654_measurements, model_expansion_plan), the benchmarks/sql linq_fold plans/audits, example plans (sfx_lab, scalar_packing, sequence, Cadmus), and the daScriptTest migration checklist — 57 renames, ~33 reference updates, zero dangling paths. Living contracts (PROVIDER_CONTRACT, the MASTERPLANs, cited dasLLAMA specs, results ledgers) stay put and carry archive notes.Rider: the comment-path updates put 7 linq_fold test files into CI's changed-files lint set; their 20 pre-existing warnings (unused
eidblock args →[unused_argument(eid)], unused requires → dropped) are cleared.Validation
.das→ 0 issues, 0 errors (5 module-gated files skipped locally; CI covers them).dascode changes).dasverifies cleangit grep: zero stale path-qualified references to archived docs--no-verifyper the standing local-preflight agreement — CI validates the full matrix🤖 Generated with Claude Code