feat: add language restriction profiles#76
Merged
Conversation
Adding .gitkeep for PR creation (default mode). This file will be removed when the task is complete. Issue: #59
Member
Author
Working session summaryImplemented issue #59 and updated PR #76: #76 What changed:
Verification:
This summary was automatically extracted from the AI working session output. |
Member
Author
🤖 Solution Draft LogThis log file contains the complete execution trace of the AI solution draft process. 💰 Cost estimation:
📊 Context and tokens usage:
Total: (301.9K + 7.5M cached) input tokens, 30.2K output tokens, $11.841945 cost 🤖 Models used:
📎 Log file uploaded as Repository (38689KB)Now working session is ended, feel free to review and add any feedback on the solution draft. |
Member
Author
🎉 Auto-mergedThis pull request has been automatically merged by hive-mind.
Auto-merged by hive-mind with --auto-merge flag |
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.
Fixes #59
Summary
LanguageProfileAPI that declares queryable profile, link-type, concept, and translation-rule capability links in aLinkNetwork.ParseConfiguration::with_profile("JavaScript")to materialize the built-in JavaScript profile during parse.LinkNetwork::replace_with_profileso JS-to-JS rewrites validate a candidate result before commit; rejected rewrites leave source text unchanged and add alanguage-profile:unsupported-featurediagnostic link.TranslationRuleSetdomains and concept-domain validation for computed profiles.bump: minorchangelog fragment.Reproduction / Verification
tests/unit/language_profile.rscovering queryable profile links, configured JavaScript profile materialization, allowed JS-to-JS identifier rewrite, rejected out-of-profile JS syntax with diagnostic link, and rule-set-derived profile domains.Local Checks
cargo fmt --checkcargo buildcargo clippy --all-targets --all-featurescargo test --test unit language_profilecargo test --all-features(169 unit tests + 3 doc tests)rust-script scripts/check-no-src-tests.rsrust-script scripts/check-file-size.rs(passes; existing warnings remain forsrc/query.rsandsrc/link_network.rsnear the threshold)rust-script scripts/check-changelog-fragment.rsrust-script scripts/check-version-modification.rs(skipped locally becauseGITHUB_EVENT_NAMEis unset)rust-script scripts/check-crate-size.rsgit diff --checkNo UI changes; screenshots are not applicable.