[docs] Update glossary - weekly full scan

[Evangelink]

Glossary Updates

Scan Type: Full scan (weekly — Monday 2026-05-04)

Terms Added:

• DynamicData: MSTest [DynamicData] attribute for data-driven tests — sourced from a static property, method, or field. Highlighted by PR Fix log accumulation across DynamicData test invocations #7925 (log-accumulation bug fix) and documented in docs/RFCs/006-DynamicData-Attribute.md.
• Lean–C# Correspondence (FV): New FV artifact (formal-verification/CORRESPONDENCE.md) introduced via PR [Lean Squad] feat(ci): Task 9 — FV docs validation workflow + updated REPORT.md #7936. Records how each Lean 4 model maps to its C# source counterpart.
• PropertyBag: Core MTP class that holds typed IProperty instances on a TestNode. Brought into focus by the PR Refactor TestNodeProperties.cs into focused single-responsibility files #7940 TestNodeProperties.cs refactor; essential for MTP extension authors.
• TestNode: Core MTP class representing a single discovered or executed test. Carries a Uid, DisplayName, and PropertyBag.

Changes Analyzed:

• Reviewed 1 commit from the last 7 days (b564651 — dependency update)
• Analyzed 8 merged PRs: Fix log accumulation across DynamicData test invocations #7925, [Perf Improver] perf: eliminate LINQ iterator allocations in GetTestCategories and GetTestFromMethod #7927, [Lean Squad] feat(fv): Task 2 — informal spec for TreeNodeFilter.MatchFilterPattern #7934, [Lean Squad] feat(ci): Task 9 — FV docs validation workflow + updated REPORT.md #7936, Refactor TestNodeProperties.cs into focused single-responsibility files #7940, Localized file check-in by OneLocBuild Task: Build definition ID 1218: Build ID 2963939 #7949, [docs] Update glossary - daily scan #7960, Localized file check-in by OneLocBuild Task: Build definition ID 1218: Build ID 2964261 #7963

Related Changes:

• PR Fix log accumulation across DynamicData test invocations #7925: Fix log accumulation across DynamicData test invocations
• PR [Lean Squad] feat(ci): Task 9 — FV docs validation workflow + updated REPORT.md #7936: Lean Squad FV docs validation workflow + CORRESPONDENCE.md
• PR Refactor TestNodeProperties.cs into focused single-responsibility files #7940: Refactor TestNodeProperties.cs into focused single-responsibility files
• PR [docs] Update glossary - daily scan #7960: Previous daily glossary scan (added Informal Spec FV)

Note

🔒 Integrity filter blocked 11 items

The following items were blocked because they don't meet the GitHub integrity level.

• #8005 search_pull_requests: has lower integrity than agent requires. The agent cannot read data with integrity below "approved".
• #7997 search_pull_requests: has lower integrity than agent requires. The agent cannot read data with integrity below "approved".
• #7989 search_pull_requests: has lower integrity than agent requires. The agent cannot read data with integrity below "approved".
• #7988 search_pull_requests: has lower integrity than agent requires. The agent cannot read data with integrity below "approved".
• #7972 search_pull_requests: has lower integrity than agent requires. The agent cannot read data with integrity below "approved".
• #7971 search_pull_requests: has lower integrity than agent requires. The agent cannot read data with integrity below "approved".
• #7954 search_pull_requests: has lower integrity than agent requires. The agent cannot read data with integrity below "approved".
• #7946 search_pull_requests: has lower integrity than agent requires. The agent cannot read data with integrity below "approved".
• #7945 search_pull_requests: has lower integrity than agent requires. The agent cannot read data with integrity below "approved".
• #7944 search_pull_requests: has lower integrity than agent requires. The agent cannot read data with integrity below "approved".
• #7931 search_pull_requests: has lower integrity than agent requires. The agent cannot read data with integrity below "approved".

To allow these resources, lower min-integrity in your GitHub frontmatter:

tools:
  github:
    min-integrity: approved  # merged | approved | unapproved | none

Generated by Glossary Maintainer · ● 1.3M · ◷

• expires on May 6, 2026, 12:59 PM UTC

---

Note

This was originally intended as a pull request, but the git push operation failed.

Workflow Run: View run details and download patch artifact

The patch file is available in the agent artifact in the workflow run linked above.

To create a pull request with the changes:

# Download the artifact from the workflow run
gh run download 25320002677 -n agent -D /tmp/agent-25320002677

# Create a new branch
git checkout -b docs/glossary-weekly-2026-05-04-709c20124851010d

# Apply the patch (--3way handles cross-repo patches where files may already exist)
git am --3way /tmp/agent-25320002677/aw-docs-glossary-weekly-2026-05-04.patch

# Push the branch to origin
git push origin docs/glossary-weekly-2026-05-04-709c20124851010d

# Create the pull request
gh pr create --title '[docs] Update glossary - weekly full scan' --base main --head docs/glossary-weekly-2026-05-04-709c20124851010d --repo microsoft/testfx

Show patch preview (77 of 77 lines)

From 3deec17172f45a6729d547781f4bd25058fe590d Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Mon, 4 May 2026 12:56:58 +0000
Subject: [PATCH] docs: update glossary - weekly full scan 2026-05-04
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Add four new terms identified in the 7-day full scan:

- DynamicData: MSTest attribute for data-driven tests (RFC 006;
  highlighted by PR #7925 log-accumulation bug fix)
- Lean–C# Correspondence (FV): new FV artifact introduced by PR #7936
  FV docs validation workflow
- PropertyBag: core MTP extension API for typed test node metadata
  (PR #7940 TestNodeProperties refactor brought these types into focus)
- TestNode: core MTP class representing a discovered/executed test

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
---
 docs/glossary.md | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/docs/glossary.md b/docs/glossary.md
index fde40d0..5fa6d60 100644
--- a/docs/glossary.md
+++ b/docs/glossary.md
@@ -24,6 +24,10 @@ An MTP extension (`Microsoft.Testing.Extensions.CrashDump`) that automatically c
 
 A public enum in the `Microsoft.VisualStudio.TestTools.UnitTesting` namespace that specifies the delay strategy used between retries by the `[Retry]` attribute. Values: `Constant` (fixed delay between each attempt) and `Exponential` (delay doubles with each attempt: base × 2^(n−1)).
 
+### DynamicData
+
+An MSTest attribute (`[DynamicData]`) for data-driven tests where test data is sourced from a static property, method, or field rather than inline `[DataRow]` values. The data source name is passed as a constructor argument; `DynamicDataSourceType` controls how the source is located (`Property`, `Method`, `Field`, or `AutoDetect`). Unlike `[DataRow]`, a single `[DynamicData]` source can be shared across multiple test methods and can produce any number of test cases at runtime. See `docs/RFC
... (truncated)