Update the docs for the fixes to issues #63 to #94

[ipjohnson]

The pages on docs-ste-rewrite now describe the behavior after the fix PRs. The warnings and limits that described the defects are removed or corrected. All changed text is in ASD-STE100.

This PR assumes that the open fix PRs #104 to #111 merge as they are. PRs #95 to #103 are already on main.

Changes per issue

• Keyed cross-wired registrations generate code that does not compile #63, [CrossWireService] mishandles Try, TryEnumerable, and the module registration type #64, [CrossWireService] registers nothing when the class declaration names no interface #76 (Make [CrossWireService] compile and run for keys, every registration type, and inherited interfaces #105): services.md loses its cross-wire warning box. The cross-wire section now covers keys, the shared registration type, declared interfaces from all partial declarations, DM0024, and factory methods. attributes.md updates [CrossWireService] and its Key and Using rows. conventions.md loses the WithKey warning box.
• Convention AlsoAsSelf() or AsSelfWithInterfaces() over a generic class gives CS7003 #65 (Make [CrossWireService] compile and run for keys, every registration type, and inherited interfaces #105): the "Registration shape" warning box in conventions.md is replaced by a sentence about DM0014. diagnostics.md DM0014 covers conventions.
• Conventions register an implicitly private nested class, which fails with CS0122 #66, Convention classes with only internal constructors get no DM0006 and fail at resolve #79 (Read from symbols whether generated code can use a type, method or constructor #102): "Candidate classes" in conventions.md now uses symbol access and the constructor rule that depends on generated factories. diagnostics.md DM0006 is rewritten.
• Factory methods: no access modifier gives CS0122, other invalid ones are silently ignored #67 (Read from symbols whether generated code can use a type, method or constructor #102): the factory method rule in services.md now names DM0023. The DM0023 entry is new, and troubleshooting.md lists it as a cause.
• Module attribute does not compile for a private setter or a nested class property #68, Module Equals detection breaks for other partial declarations and for Equals(T) #71, Generator writes partial classes for a module that DM0003 or DM0017 rejects #72 (Read a module's parameters and equality from its own members, and skip modules DM0003 or DM0017 rejects #106): modules.md updates module parameters, module equality, and the DM0003 and DM0017 text. attributes.md updates the generated attribute. getting-started.md loses CS0260. diagnostics.md updates DM0003 and DM0018.
• An intercepted method with a ref struct return type gives CS9244, not DM0008 #69 (Report DM0008 for an intercepted method that returns a ref struct #96): interception.md adds ref struct return types to the list. It replaces the warning with the remaining limit, a type parameter with allows ref struct.
• A [Decorator] with a protected constructor is emitted and fails with CS0122 #70, A [Decorator] that inherits its service type is ignored with no diagnostic #77 (Find a decorator's inherited service, report one that cannot be applied, and read environment attributes from symbols #109): decorators.md now covers the service type through base classes and interfaces, the constructor access, and DM0025. attributes.md updates the Service row. The DM0025 entry is new.
• Order, Using, and Members are read as source text, so constants silently fall back #74, Convention calls drop non-constant arguments silently when another argument is constant #75 (Read attribute and convention arguments as their constant values #110): the "reads the text" notes are removed from services.md, decorators.md, interception.md and conventions.md. The Convention calls drop non-constant arguments silently when another argument is constant #75 paragraph in conventions.md now says that one argument that is not a constant gives DM0009.
• Environment attributes are ignored on [Decorate] decorators and InAssemblyOf<T>() classes #78 (Find a decorator's inherited service, report one that cannot be applied, and read environment attributes from symbols #109): decorators.md, environments.md, conventions.md and attributes.md now say that [Decorate] decorators and classes from InAssemblyOf<T>() keep their environment attributes. DM0012 lists its new sites.
• Interceptors of one class wrap other implementations registered by instance or factory #80 (Intercept only the registration the intercepted class makes #108): interception.md states the new rule. The wrapper changes only a registration whose implementation is the class.
• DM0019 misses a namespace-qualified assembly module attribute outside Program.cs #81, A declared ApplicationModule silently drops the modules that Program.cs names #82 (Load Program.cs modules from a declared ApplicationModule, and report qualified ones in other files #99): modules.md and diagnostics.md DM0019 cover qualified names. A declared ApplicationModule now loads the Program.cs modules.
• ExcludeGeneratedCodeFromCoverage hides user code, and interceptor wrappers ignore false #83 (Put ExcludeFromCodeCoverage on generated members only, and hide Internal members with EditorBrowsable #104): msbuild.md describes member-level [ExcludeFromCodeCoverage]. extending.md says that coverageAttributeOnMethod is obsolete.
• Unhandled generator exceptions give CS8785 and drop all generated code #84, Generator log files overwrite each other, so the ServiceSourceGenerator log can be lost #90, Modules whose names differ only by the root namespace get the same generated file name #94 (Report generator failures as DM0001, and make log and file names unique #95): troubleshooting.md updates the failure text, the log file names and the global- file names. diagnostics.md DM0001 is rewritten.
• xUnit: the tests of data rows lose the method and class traits #85 (Give the test of each xUnit data row the traits of its method and class #97): testing-xunit.md row traits.
• NUnit: TestName names the wrong row when a method has another row source #86, NUnit: data attributes with [ModuleTest] make extra tests that ignore their values #87 (Give each NUnit TestName to its own row, and explain the tests NUnit's data attributes add #101): testing-nunit.md covers TestName per row, and the NotRunnable message for NUnit's own data attributes.
• DM0021 says the [TestExport] does nothing when the export is still in use #88 (Report DM0021 only when the [Mock] parameter replaces the [TestExport] #100): testing-mocking.md and diagnostics.md DM0021 no longer report the two exceptions.
• ITestContainerSource drops keyed registrations and hides resolve errors of shared types #89 (Keep the keyed registrations of a pinned service, and report a named one that cannot be built #98): testing-container-source.md covers keyed registrations and the CreateAsync() exception.
• DependencyModules.SourceGenerator.Impl source does not compile without CSharpAuthor #91 (Ship the CSharpAuthor sources in DependencyModules.SourceGenerator.Impl #103): extending.md loses the CSharpAuthor steps and gets a note for version 1.5.0 and before. The msbuild.md source package row and the DependencyModules.SourceGenerator.Impl package description say that the CSharpAuthor sources are included.
• Internal members of IDependencyModule use Browsable(false), which does not hide them #92 (Put ExcludeFromCodeCoverage on generated members only, and hide Internal members with EditorBrowsable #104): api.md says that the Internal members have [EditorBrowsable(EditorBrowsableState.Never)].

For the reviewer

• Intercept only the registration the intercepted class makes #108 and [Decorator(Implementation = ...)]: Intercept only the registration the intercepted class makes #108 changes the filter in DecoratorHelper.Decorate, and DecoratorFileWriter calls that overload for a decorator that sets Implementation. Thus the decorator no longer changes a factory registration that returns object. Under generated factories, it would change none of them. DM0022's message on that branch still says that the decorator would wrap every registration. Intercept only the registration the intercepted class makes #108's tests do not cover a decorator with Implementation. I did not change decorators.md ("Decorate one implementation") or the DM0022 entry. They describe the behavior before Intercept only the registration the intercepted class makes #108 until that question is settled.
• Package description conflict: Ship the CSharpAuthor sources in DependencyModules.SourceGenerator.Impl #103 changed the same <Description> line on main. Merging this branch into main conflicts on that line. Keep this branch's version.
• Version in extending.md: the sample now uses DependencyModules.SourceGenerator.Impl version 1.6.0, because 1.5.0 has no CSharpAuthor sources. Change it if the next release gets a different number.

Verified

• npm ci and npm run build in website/: the build completes, so there is no dead link.
• A script check of the added lines: no semicolons, no contractions, and no sentence longer than 25 words. The only -ing words are "warning" and "missing", which the pages already use.
• I compared each change with the PR descriptions and, for DM0023 to DM0025 and the Intercept only the registration the intercepted class makes #108 filter, with the code on the PR branches.

🤖 Generated with Claude Code

[ipjohnson]

I added a commit, 7dcfe2a, for the change I made to #108. The factories that GenerateFactories writes are now typed to return their class. So [Decorator(Implementation = ...)] wraps exactly the class it names in a module with generated factories, and DM0022 is removed. The commit updates "Decorate one implementation" in decorators.md, the generated factories note in aot.md, and the DM0022 row and section in diagnostics.md. The DM0022 section stays, so old links still work, and it says that the generator no longer gives the diagnostic. npm run build passes.