xrefkit-skills-csharp 0.1.0__tar.gz

xrefkit_skills_csharp-0.1.0/PKG-INFO

@@ -0,0 +1,16 @@
+Metadata-Version: 2.4
+Name: xrefkit-skills-csharp
+Version: 0.1.0
+Summary: Text-only XRefKit C# Skill Package
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+Requires-Dist: xrefkit<0.5.0,>=0.4.3
+
+# xrefkit-skills-csharp
+
+Text-only XRefKit Skill Package for C# and .NET analysis.
+
+This package exposes `package_root()` through the `xrefkit.skill_packages`
+entry point group so XRefKit can discover `package_manifest.yaml`.
+
+It does not include executable tools.

xrefkit_skills_csharp-0.1.0/README.md

@@ -0,0 +1,8 @@
+# xrefkit-skills-csharp
+
+Text-only XRefKit Skill Package for C# and .NET analysis.
+
+This package exposes `package_root()` through the `xrefkit.skill_packages`
+entry point group so XRefKit can discover `package_manifest.yaml`.
+
+It does not include executable tools.

xrefkit_skills_csharp-0.1.0/pyproject.toml

@@ -0,0 +1,30 @@
+[build-system]
+requires = ["setuptools>=69", "wheel"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "xrefkit-skills-csharp"
+version = "0.1.0"
+description = "Text-only XRefKit C# Skill Package"
+readme = "README.md"
+requires-python = ">=3.10"
+dependencies = [
+  "xrefkit>=0.4.3,<0.5.0"
+]
+
+[project.entry-points."xrefkit.skill_packages"]
+csharp = "xrefkit_skills_csharp:package_root"
+
+[tool.setuptools.packages.find]
+where = ["src"]
+
+[tool.setuptools.package-data]
+"xrefkit_skills_csharp" = [
+  "package_manifest.yaml",
+  "skills/*.yaml",
+  "skills/**/*.md",
+  "knowledge/*.md",
+  "review_axes/*.yaml",
+  "schemas/*.json",
+  "evaluation/**/*"
+]

xrefkit_skills_csharp-0.1.0/setup.cfg

@@ -0,0 +1,4 @@
+[egg_info]
+tag_build = 
+tag_date = 0
+

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/__init__.py

@@ -0,0 +1,11 @@
+"""Text-only XRefKit Skill Package for C# and .NET analysis."""
+
+from __future__ import annotations
+
+from pathlib import Path
+
+
+def package_root() -> Path:
+    """Return the package asset root containing package_manifest.yaml."""
+
+    return Path(__file__).parent

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/evaluation/cases/csharp_review_basic/calibration.yaml

@@ -0,0 +1,4 @@
+case_id: csharp.review.basic-synchronization
+must_not:
+  - claim a compiler diagnostic is the primary finding
+  - claim one passing test proves synchronization safety

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/evaluation/cases/csharp_review_basic/expected.yaml

@@ -0,0 +1,8 @@
+case_id: csharp.review.basic-synchronization
+findings:
+  - category: synchronization
+    severity: major
+    evidence: Service.WaitAsync and Ready
+    violated_condition: state transition does not directly wake the waiter
+    disposition: finding
+gate_verdict: needs-review

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/evaluation/cases/csharp_review_basic/fixture/Fixture.csproj

@@ -0,0 +1 @@
+<Project Sdk="Microsoft.NET.Sdk"><PropertyGroup><TargetFramework>net8.0</TargetFramework><Nullable>enable</Nullable></PropertyGroup></Project>

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/evaluation/cases/csharp_review_basic/fixture/Service.cs

@@ -0,0 +1,16 @@
+namespace Fixture;
+public sealed class Service
+{
+    private readonly FakeClock _clock;
+    private bool _ready;
+    public Service(FakeClock clock) => _clock = clock;
+    public async Task WaitAsync(CancellationToken ct)
+    {
+        while (!_ready) await _clock.Delay(TimeSpan.FromSeconds(1), ct);
+    }
+    public void Ready() => _ready = true;
+}
+public sealed class FakeClock
+{
+    public Task Delay(TimeSpan value, CancellationToken ct) => Task.Delay(Timeout.Infinite, ct);
+}

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/evaluation/cases/dotnet_change_basic/calibration.yaml

@@ -0,0 +1,4 @@
+case_id: dotnet.change_analysis.basic-boundary
+must_not:
+  - decide implementation policy from the structure alone
+  - claim the call path is the complete system impact

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/evaluation/cases/dotnet_change_basic/expected.yaml

@@ -0,0 +1,9 @@
+case_id: dotnet.change_analysis.basic-boundary
+required:
+  - structure_summary
+  - impact_boundaries
+  - unknowns
+  - handoffs
+must_preserve:
+  - Service.ExecuteAsync to Worker.RunAsync call path
+  - unknown downstream effects outside the fixture

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/evaluation/cases/dotnet_change_basic/fixture/Fixture.csproj

@@ -0,0 +1 @@
+<Project Sdk="Microsoft.NET.Sdk"><PropertyGroup><TargetFramework>net8.0</TargetFramework></PropertyGroup></Project>

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/evaluation/cases/dotnet_change_basic/fixture/Service.cs

@@ -0,0 +1,10 @@
+namespace Fixture;
+public sealed class Service
+{
+    public Task ExecuteAsync(Request request) => new Worker().RunAsync(request);
+}
+public sealed class Worker
+{
+    public Task RunAsync(Request request) => Task.CompletedTask;
+}
+public sealed class Request { public string Id { get; set; } = ""; }

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/evaluation/cases/error_policy_basic/calibration.yaml

@@ -0,0 +1,4 @@
+case_id: csharp.error_policy_extraction.basic-policy
+must_not:
+  - present a desired error policy as the existing policy
+  - claim the two catch branches are equivalent

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/evaluation/cases/error_policy_basic/expected.yaml

@@ -0,0 +1,10 @@
+case_id: csharp.error_policy_extraction.basic-policy
+required:
+  - error_policy_inventory
+  - disposition_matrix
+  - contradictions
+  - coverage_limits
+expected_observations:
+  - TimeoutException is swallowed by return
+  - general Exception is logged and execution continues
+  - desired policy must not be invented

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/evaluation/cases/error_policy_basic/fixture/Fixture.csproj

@@ -0,0 +1 @@
+<Project Sdk="Microsoft.NET.Sdk"><PropertyGroup><TargetFramework>net8.0</TargetFramework></PropertyGroup></Project>

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/evaluation/cases/error_policy_basic/fixture/Policy.cs

@@ -0,0 +1,11 @@
+namespace Fixture;
+public sealed class Policy
+{
+    public void Send(string value)
+    {
+        try { Transport.Send(value); }
+        catch (TimeoutException) { return; }
+        catch (Exception error) { Console.Error.WriteLine(error); }
+    }
+    private static class Transport { public static void Send(string value) { } }
+}

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/evaluation/manifest.yaml

@@ -0,0 +1,23 @@
+evaluation_id: public.xrefkit-skills-csharp.v1
+package_id: xrefkit.skills.csharp
+cases:
+  - id: csharp.review.basic-synchronization
+    skill_id: csharp.review
+    target: cases/csharp_review_basic/fixture
+    expected: cases/csharp_review_basic/expected.yaml
+    calibration: cases/csharp_review_basic/calibration.yaml
+  - id: dotnet.change_analysis.basic-boundary
+    skill_id: dotnet.change_analysis
+    target: cases/dotnet_change_basic/fixture
+    expected: cases/dotnet_change_basic/expected.yaml
+    calibration: cases/dotnet_change_basic/calibration.yaml
+  - id: csharp.error_policy_extraction.basic-policy
+    skill_id: csharp.error_policy_extraction
+    target: cases/error_policy_basic/fixture
+    expected: cases/error_policy_basic/expected.yaml
+    calibration: cases/error_policy_basic/calibration.yaml
+run_policy:
+  target_isolation: required
+  expected_answers_are_not_in_target: true
+  calibration_is_not_loaded_by_skill: true
+  minimum_independent_runs: 3

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/knowledge/csharp_error_policy_patterns.md

@@ -0,0 +1,18 @@
+# C# Error Policy Detection Patterns
+
+Error policy extraction records implemented behavior from source evidence.
+
+Detection patterns include:
+
+- throw sites
+- catch blocks
+- custom exception types
+- global exception handlers
+- fire-and-forget tasks
+- sync-over-async calls
+- DI composition root failures
+- options validation
+- default, null, empty, bool, or Try-pattern omission behavior
+
+Coverage limits are mandatory because omission policies are often only
+partially detectable.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/knowledge/csharp_review_spec.md

@@ -0,0 +1,20 @@
+# C# Review Spec
+
+C# review targets language-dependent and system-level implementation risks
+beyond compiler diagnostics.
+
+Core categories include:
+
+- attribute activation and precondition mismatch
+- resource usage efficiency
+- operational resilience
+- synchronization and concurrency correctness
+- business input integrity
+- support lifecycle risk
+- error handling and exception path integrity
+- time and culture correctness
+- state and determinism boundaries
+- contract and schema resilience
+- traceability and context propagation
+
+Findings require source evidence.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/knowledge/dotnet_change_analysis_viewpoints.md

@@ -0,0 +1,19 @@
+# .NET Change Analysis Viewpoints
+
+.NET change analysis records the current structure and change impact before a
+specific implementation decision.
+
+Viewpoints include:
+
+- project and dependency structure
+- entry points and runtime composition
+- DI registration and lifetimes
+- routes, use cases, jobs, and message handlers
+- configuration and environment variation
+- implicit runtime binding
+- error-handling contract
+- test boundary
+- impact boundary and responsibility placement
+
+The Skill records structure and unknowns; it does not decide implementation
+policy by default.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/package_manifest.yaml

@@ -0,0 +1,110 @@
+package_id: xrefkit.skills.csharp
+package_type: skill_package
+version: 0.1.0
+
+requires:
+  xrefkit_core: ">=2.0.0 <3.0.0"
+
+provides:
+  skills:
+    - id: csharp.review
+      xid: xid-skill-csharp-review
+      path: skills/csharp_review.skill.yaml
+      contract_role: base_skill
+      required_outputs:
+        - findings
+        - evidence
+        - unknowns
+        - used_xids
+        - handoffs
+      required_knowledge:
+        - xid-knowledge-csharp-review-spec
+      required_review_axes:
+        - xid-axis-csharp-review-findings
+        - xid-axis-csharp-evidence-coverage
+      must_not:
+        - report_roslyn_diagnostics_as_primary_findings
+        - infer_runtime_behavior_without_source
+        - omit_evidence_paths
+        - weaken_core_contract
+
+    - id: dotnet.change_analysis
+      xid: xid-skill-dotnet-change-analysis
+      path: skills/dotnet_change_analysis.skill.yaml
+      contract_role: supporting_skill
+      required_outputs:
+        - structure_summary
+        - impact_boundaries
+        - unknowns
+        - used_xids
+        - handoffs
+      required_knowledge:
+        - xid-knowledge-dotnet-change-analysis-viewpoints
+      required_review_axes:
+        - xid-axis-csharp-evidence-coverage
+      must_not:
+        - decide_implementation_policy
+        - emit_defect_review_findings
+        - omit_unknowns
+        - weaken_core_contract
+
+    - id: csharp.error_policy_extraction
+      xid: xid-skill-csharp-error-policy-extraction
+      path: skills/csharp_error_policy_extraction.skill.yaml
+      contract_role: supporting_skill
+      required_outputs:
+        - error_policy_inventory
+        - disposition_matrix
+        - contradictions
+        - coverage_limits
+        - used_xids
+      required_knowledge:
+        - xid-knowledge-csharp-error-policy-patterns
+      required_review_axes:
+        - xid-axis-csharp-error-policy-coverage
+      must_not:
+        - decide_desired_error_policy
+        - claim_exhaustive_omission_policy_coverage
+        - omit_coverage_limits
+        - weaken_core_contract
+
+  knowledge:
+    - id: csharp.review_spec
+      xid: xid-knowledge-csharp-review-spec
+      path: knowledge/csharp_review_spec.md
+    - id: dotnet.change_analysis_viewpoints
+      xid: xid-knowledge-dotnet-change-analysis-viewpoints
+      path: knowledge/dotnet_change_analysis_viewpoints.md
+    - id: csharp.error_policy_patterns
+      xid: xid-knowledge-csharp-error-policy-patterns
+      path: knowledge/csharp_error_policy_patterns.md
+
+  review_axes:
+    - id: csharp.review_findings
+      xid: xid-axis-csharp-review-findings
+      path: review_axes/csharp_review_findings.yaml
+    - id: csharp.evidence_coverage
+      xid: xid-axis-csharp-evidence-coverage
+      path: review_axes/evidence_coverage.yaml
+    - id: csharp.error_policy_coverage
+      xid: xid-axis-csharp-error-policy-coverage
+      path: review_axes/error_policy_coverage.yaml
+
+  schemas:
+    - id: csharp.review
+      xid: xid-schema-csharp-review
+      path: schemas/csharp_review.schema.json
+    - id: dotnet.change_analysis
+      xid: xid-schema-dotnet-change-analysis
+      path: schemas/dotnet_change_analysis.schema.json
+    - id: csharp.error_policy_report
+      xid: xid-schema-csharp-error-policy-report
+      path: schemas/error_policy_report.schema.json
+
+contract:
+  can_be_extended_by_local_skill: true
+  local_skill_can_weaken_contract: false
+  local_can_weaken_required_outputs: false
+  local_can_override_must_not: false
+  requires_unknown_declaration: true
+  requires_traceability: true

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/review_axes/csharp_review_findings.yaml

@@ -0,0 +1,10 @@
+axis_id: csharp.review_findings
+xid: xid-axis-csharp-review-findings
+summary: Check whether C# review findings are evidence-backed and within scope.
+checks:
+  - id: finding_has_evidence
+    description: Each finding includes source evidence and violated condition.
+  - id: compiler_diagnostics_not_primary
+    description: Findings do not merely duplicate compiler or Roslyn diagnostics.
+  - id: out_of_scope_items_handoff
+    description: Security, XDDP trace, design, and report-composition concerns are handoffs.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/review_axes/error_policy_coverage.yaml

@@ -0,0 +1,10 @@
+axis_id: csharp.error_policy_coverage
+xid: xid-axis-csharp-error-policy-coverage
+summary: Check whether error policy extraction preserves coverage limits.
+checks:
+  - id: inventory_present
+    description: Error-handling inventory is present.
+  - id: matrix_present
+    description: Category by disposition matrix is present.
+  - id: coverage_limits_present
+    description: Coverage limits are explicit and not treated as completeness.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/review_axes/evidence_coverage.yaml

@@ -0,0 +1,10 @@
+axis_id: csharp.evidence_coverage
+xid: xid-axis-csharp-evidence-coverage
+summary: Check whether structure and finding claims are backed by source evidence.
+checks:
+  - id: evidence_paths_present
+    description: Claims identify source paths or loaded XIDs.
+  - id: weak_claims_downgraded
+    description: Weakly supported claims are marked unknown or needs_confirmation.
+  - id: used_xids_loaded
+    description: XIDs used as judgment basis were loaded before use.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/schemas/csharp_review.schema.json

@@ -0,0 +1,13 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "xrefkit.skills.csharp.review",
+  "type": "object",
+  "required": ["findings", "evidence", "unknowns", "used_xids", "handoffs"],
+  "properties": {
+    "findings": {"type": "array"},
+    "evidence": {"type": "array"},
+    "unknowns": {"type": "array"},
+    "used_xids": {"type": "array", "items": {"type": "string"}},
+    "handoffs": {"type": "array"}
+  }
+}

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/schemas/dotnet_change_analysis.schema.json

@@ -0,0 +1,13 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "xrefkit.skills.csharp.dotnet_change_analysis",
+  "type": "object",
+  "required": ["structure_summary", "impact_boundaries", "unknowns", "used_xids", "handoffs"],
+  "properties": {
+    "structure_summary": {"type": "string"},
+    "impact_boundaries": {"type": "array"},
+    "unknowns": {"type": "array"},
+    "used_xids": {"type": "array", "items": {"type": "string"}},
+    "handoffs": {"type": "array"}
+  }
+}

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/schemas/error_policy_report.schema.json

@@ -0,0 +1,13 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "xrefkit.skills.csharp.error_policy_report",
+  "type": "object",
+  "required": ["error_policy_inventory", "disposition_matrix", "contradictions", "coverage_limits", "used_xids"],
+  "properties": {
+    "error_policy_inventory": {"type": "array"},
+    "disposition_matrix": {"type": "object"},
+    "contradictions": {"type": "array"},
+    "coverage_limits": {"type": "array"},
+    "used_xids": {"type": "array", "items": {"type": "string"}}
+  }
+}

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/skills/csharp_error_policy_extraction/branches/di_startup_throw.md

@@ -0,0 +1,8 @@
+# DI Startup Throw Branch
+
+Use this branch for dependency injection composition root throws, service
+factory failures, options validation, hosted-service startup failures, and
+startup-time exception behavior.
+
+Record whether the behavior fails fast, degrades, retries, or escapes as an
+unhandled startup failure.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/skills/csharp_error_policy_extraction/entry.md

@@ -0,0 +1,9 @@
+# C# Error Policy Extraction Entry
+
+Extract the existing de-facto error policy from C# source.
+
+This Skill records implemented behavior. It does not decide the desired policy,
+does not fix code, and does not claim exhaustive omission coverage.
+
+Outputs must include an inventory, disposition matrix, contradictions,
+coverage limits, and used XIDs.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/skills/csharp_error_policy_extraction/fragments/coverage_limits_required.md

@@ -0,0 +1,13 @@
+# Coverage Limits Required
+
+Every error-policy extraction report must include coverage limits.
+
+Coverage limits must identify:
+
+- scan scope
+- patterns used
+- omitted or weakly detectable cases
+- unclassified findings
+- assumptions about runtime boundaries
+
+Do not present detected omission policies as exhaustive.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/skills/csharp_error_policy_extraction.skill.yaml

@@ -0,0 +1,52 @@
+skill_id: csharp.error_policy_extraction
+xid: xid-skill-csharp-error-policy-extraction
+role: supporting_skill_contract
+
+entry:
+  xid: xid-entry-csharp-error-policy-extraction
+  path: skills/csharp_error_policy_extraction/entry.md
+  load_policy: required_inline
+
+required_fragments:
+  - id: coverage_limits_required
+    xid: xid-fragment-csharp-error-policy-coverage-limits-required
+    path: skills/csharp_error_policy_extraction/fragments/coverage_limits_required.md
+    load_policy: required_inline
+
+branches:
+  - id: di_startup_throw
+    xid: xid-branch-csharp-error-policy-di-startup-throw
+    path: skills/csharp_error_policy_extraction/branches/di_startup_throw.md
+    condition:
+      any_intent:
+        - dependency injection startup
+        - options validation
+        - composition root throw
+    load_policy: on_demand
+
+required_outputs:
+  - error_policy_inventory
+  - disposition_matrix
+  - contradictions
+  - coverage_limits
+  - used_xids
+
+required_knowledge:
+  - xid-knowledge-csharp-error-policy-patterns
+
+review_axes:
+  - xid-axis-csharp-error-policy-coverage
+
+schemas:
+  - xid-schema-csharp-error-policy-report
+
+must_not:
+  - decide_desired_error_policy
+  - claim_exhaustive_omission_policy_coverage
+  - omit_coverage_limits
+  - weaken_core_contract
+
+extension_policy:
+  can_be_extended_by_local_skill: true
+  local_can_weaken_required_outputs: false
+  local_can_override_must_not: false

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/skills/csharp_review/branches/async_synchronization.md

@@ -0,0 +1,7 @@
+# Async Synchronization Branch
+
+Use this branch for async waits, fake clocks, virtual clocks, polling loops,
+task coordination, and synchronization behavior.
+
+Check whether the waited state change also wakes the waiter, whether
+cancellation is propagated, and whether tests can block forever.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/skills/csharp_review/branches/error_handling.md

@@ -0,0 +1,8 @@
+# Error Handling Branch
+
+Use this branch when C# review evidence touches exception paths, catch blocks,
+error translation, retry behavior, or fallback behavior.
+
+Defect-level error behavior may be reported here.
+Repository-wide de-facto policy extraction belongs to
+`csharp.error_policy_extraction`.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/skills/csharp_review/entry.md

@@ -0,0 +1,11 @@
+# C# Review Entry
+
+Review C# code for language-dependent defects and system-level implementation
+risks beyond compiler or Roslyn diagnostics.
+
+This Skill produces findings, evidence, unknowns, used XIDs, and handoff items.
+
+Do not treat compiler-detectable issues as the primary review value.
+Do not infer runtime behavior without source evidence.
+Do not silently absorb security, XDDP trace, or design-assumption findings;
+record them as handoffs.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/skills/csharp_review/fragments/evidence_required.md

@@ -0,0 +1,14 @@
+# Evidence Required
+
+Each finding must include source evidence.
+
+Evidence should identify:
+
+- file path
+- relevant symbol, method, or configuration item
+- violated condition
+- observed behavior or reachable path
+- used XIDs when external knowledge influenced the judgment
+
+If source evidence is missing or weak, downgrade the item to `unknown` or
+`needs_confirmation`.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/skills/csharp_review/fragments/handoff_required.md

@@ -0,0 +1,13 @@
+# Handoff Required
+
+C# review findings must stay inside the C# review boundary.
+
+Record handoffs when evidence suggests:
+
+- XDDP trace continuity gaps
+- security vulnerabilities
+- business or design assumptions
+- report composition needs
+- error-policy extraction needs
+
+Do not convert out-of-scope concerns into C# findings.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/skills/csharp_review.skill.yaml

@@ -0,0 +1,66 @@
+skill_id: csharp.review
+xid: xid-skill-csharp-review
+role: base_skill_contract
+
+entry:
+  xid: xid-entry-csharp-review
+  path: skills/csharp_review/entry.md
+  load_policy: required_inline
+
+required_fragments:
+  - id: evidence_required
+    xid: xid-fragment-csharp-review-evidence-required
+    path: skills/csharp_review/fragments/evidence_required.md
+    load_policy: required_inline
+  - id: handoff_required
+    xid: xid-fragment-csharp-review-handoff-required
+    path: skills/csharp_review/fragments/handoff_required.md
+    load_policy: required_inline
+
+branches:
+  - id: async_synchronization
+    xid: xid-branch-csharp-review-async-synchronization
+    path: skills/csharp_review/branches/async_synchronization.md
+    condition:
+      any_intent:
+        - async hang
+        - synchronization bug
+        - fake clock wait
+    load_policy: on_demand
+  - id: error_handling
+    xid: xid-branch-csharp-review-error-handling
+    path: skills/csharp_review/branches/error_handling.md
+    condition:
+      any_intent:
+        - exception handling
+        - error policy
+        - catch block
+    load_policy: on_demand
+
+required_outputs:
+  - findings
+  - evidence
+  - unknowns
+  - used_xids
+  - handoffs
+
+required_knowledge:
+  - xid-knowledge-csharp-review-spec
+
+review_axes:
+  - xid-axis-csharp-review-findings
+  - xid-axis-csharp-evidence-coverage
+
+schemas:
+  - xid-schema-csharp-review
+
+must_not:
+  - report_roslyn_diagnostics_as_primary_findings
+  - infer_runtime_behavior_without_source
+  - omit_evidence_paths
+  - weaken_core_contract
+
+extension_policy:
+  can_be_extended_by_local_skill: true
+  local_can_weaken_required_outputs: false
+  local_can_override_must_not: false

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/skills/dotnet_change_analysis/branches/dependency_direction.md

@@ -0,0 +1,8 @@
+# Dependency Direction Branch
+
+Use this branch when the change concerns layer boundaries, project references,
+dependency direction, or responsibility placement.
+
+Record the current dependency direction and the impact of changing it.
+Do not decide the desired architecture policy unless another approved Skill
+owns that decision.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/skills/dotnet_change_analysis/entry.md

@@ -0,0 +1,9 @@
+# .NET Change Analysis Entry
+
+Analyze existing .NET source structure before design or implementation changes.
+
+This Skill records structure and change impact. It does not produce defect
+findings and does not decide the desired implementation policy.
+
+Outputs must preserve structure summary, impact boundaries, unknowns, used XIDs,
+and handoffs.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/skills/dotnet_change_analysis/fragments/structure_evidence_required.md

@@ -0,0 +1,15 @@
+# Structure Evidence Required
+
+Every structure or impact claim must be backed by source evidence.
+
+Evidence may include:
+
+- project files
+- dependency references
+- entry points
+- DI registration
+- route or use-case traces
+- configuration keys
+- build configuration variants
+
+Weak structure claims remain unknown.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp/skills/dotnet_change_analysis.skill.yaml

@@ -0,0 +1,52 @@
+skill_id: dotnet.change_analysis
+xid: xid-skill-dotnet-change-analysis
+role: supporting_skill_contract
+
+entry:
+  xid: xid-entry-dotnet-change-analysis
+  path: skills/dotnet_change_analysis/entry.md
+  load_policy: required_inline
+
+required_fragments:
+  - id: structure_evidence_required
+    xid: xid-fragment-dotnet-change-analysis-structure-evidence-required
+    path: skills/dotnet_change_analysis/fragments/structure_evidence_required.md
+    load_policy: required_inline
+
+branches:
+  - id: dependency_direction
+    xid: xid-branch-dotnet-change-analysis-dependency-direction
+    path: skills/dotnet_change_analysis/branches/dependency_direction.md
+    condition:
+      any_intent:
+        - dependency direction
+        - layer boundary
+        - project reference impact
+    load_policy: on_demand
+
+required_outputs:
+  - structure_summary
+  - impact_boundaries
+  - unknowns
+  - used_xids
+  - handoffs
+
+required_knowledge:
+  - xid-knowledge-dotnet-change-analysis-viewpoints
+
+review_axes:
+  - xid-axis-csharp-evidence-coverage
+
+schemas:
+  - xid-schema-dotnet-change-analysis
+
+must_not:
+  - decide_implementation_policy
+  - emit_defect_review_findings
+  - omit_unknowns
+  - weaken_core_contract
+
+extension_policy:
+  can_be_extended_by_local_skill: true
+  local_can_weaken_required_outputs: false
+  local_can_override_must_not: false

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp.egg-info/PKG-INFO

@@ -0,0 +1,16 @@
+Metadata-Version: 2.4
+Name: xrefkit-skills-csharp
+Version: 0.1.0
+Summary: Text-only XRefKit C# Skill Package
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+Requires-Dist: xrefkit<0.5.0,>=0.4.3
+
+# xrefkit-skills-csharp
+
+Text-only XRefKit Skill Package for C# and .NET analysis.
+
+This package exposes `package_root()` through the `xrefkit.skill_packages`
+entry point group so XRefKit can discover `package_manifest.yaml`.
+
+It does not include executable tools.

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp.egg-info/SOURCES.txt

@@ -0,0 +1,46 @@
+README.md
+pyproject.toml
+src/xrefkit_skills_csharp/__init__.py
+src/xrefkit_skills_csharp/package_manifest.yaml
+src/xrefkit_skills_csharp.egg-info/PKG-INFO
+src/xrefkit_skills_csharp.egg-info/SOURCES.txt
+src/xrefkit_skills_csharp.egg-info/dependency_links.txt
+src/xrefkit_skills_csharp.egg-info/entry_points.txt
+src/xrefkit_skills_csharp.egg-info/requires.txt
+src/xrefkit_skills_csharp.egg-info/top_level.txt
+src/xrefkit_skills_csharp/evaluation/manifest.yaml
+src/xrefkit_skills_csharp/evaluation/cases/csharp_review_basic/calibration.yaml
+src/xrefkit_skills_csharp/evaluation/cases/csharp_review_basic/expected.yaml
+src/xrefkit_skills_csharp/evaluation/cases/csharp_review_basic/fixture/Fixture.csproj
+src/xrefkit_skills_csharp/evaluation/cases/csharp_review_basic/fixture/Service.cs
+src/xrefkit_skills_csharp/evaluation/cases/dotnet_change_basic/calibration.yaml
+src/xrefkit_skills_csharp/evaluation/cases/dotnet_change_basic/expected.yaml
+src/xrefkit_skills_csharp/evaluation/cases/dotnet_change_basic/fixture/Fixture.csproj
+src/xrefkit_skills_csharp/evaluation/cases/dotnet_change_basic/fixture/Service.cs
+src/xrefkit_skills_csharp/evaluation/cases/error_policy_basic/calibration.yaml
+src/xrefkit_skills_csharp/evaluation/cases/error_policy_basic/expected.yaml
+src/xrefkit_skills_csharp/evaluation/cases/error_policy_basic/fixture/Fixture.csproj
+src/xrefkit_skills_csharp/evaluation/cases/error_policy_basic/fixture/Policy.cs
+src/xrefkit_skills_csharp/knowledge/csharp_error_policy_patterns.md
+src/xrefkit_skills_csharp/knowledge/csharp_review_spec.md
+src/xrefkit_skills_csharp/knowledge/dotnet_change_analysis_viewpoints.md
+src/xrefkit_skills_csharp/review_axes/csharp_review_findings.yaml
+src/xrefkit_skills_csharp/review_axes/error_policy_coverage.yaml
+src/xrefkit_skills_csharp/review_axes/evidence_coverage.yaml
+src/xrefkit_skills_csharp/schemas/csharp_review.schema.json
+src/xrefkit_skills_csharp/schemas/dotnet_change_analysis.schema.json
+src/xrefkit_skills_csharp/schemas/error_policy_report.schema.json
+src/xrefkit_skills_csharp/skills/csharp_error_policy_extraction.skill.yaml
+src/xrefkit_skills_csharp/skills/csharp_review.skill.yaml
+src/xrefkit_skills_csharp/skills/dotnet_change_analysis.skill.yaml
+src/xrefkit_skills_csharp/skills/csharp_error_policy_extraction/entry.md
+src/xrefkit_skills_csharp/skills/csharp_error_policy_extraction/branches/di_startup_throw.md
+src/xrefkit_skills_csharp/skills/csharp_error_policy_extraction/fragments/coverage_limits_required.md
+src/xrefkit_skills_csharp/skills/csharp_review/entry.md
+src/xrefkit_skills_csharp/skills/csharp_review/branches/async_synchronization.md
+src/xrefkit_skills_csharp/skills/csharp_review/branches/error_handling.md
+src/xrefkit_skills_csharp/skills/csharp_review/fragments/evidence_required.md
+src/xrefkit_skills_csharp/skills/csharp_review/fragments/handoff_required.md
+src/xrefkit_skills_csharp/skills/dotnet_change_analysis/entry.md
+src/xrefkit_skills_csharp/skills/dotnet_change_analysis/branches/dependency_direction.md
+src/xrefkit_skills_csharp/skills/dotnet_change_analysis/fragments/structure_evidence_required.md

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp.egg-info/dependency_links.txt

@@ -0,0 +1 @@
+

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp.egg-info/entry_points.txt

@@ -0,0 +1,2 @@
+[xrefkit.skill_packages]
+csharp = xrefkit_skills_csharp:package_root

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp.egg-info/requires.txt

@@ -0,0 +1 @@
+xrefkit<0.5.0,>=0.4.3

xrefkit_skills_csharp-0.1.0/src/xrefkit_skills_csharp.egg-info/top_level.txt

@@ -0,0 +1 @@
+xrefkit_skills_csharp