Exhaustive code-usefulness audit

Status: complete.

Baseline branch: verifier-process-supervisor Baseline commit: 18083cd7783146f7b5d7a4db26b31b1f41f3561b Audit date: 2026-08-24 Retained product: the documented SharpProof.Attributes, SharpProof, and SharpProof.Verifier preview packages, including the Linux-amd64 verifier boundary and the existing analyzer, generator, worker, and package behavior.

Scope and stop condition

The baseline inventory contains every Git-tracked file at the exact commit above: 838 files and 249,555 physical text lines. Git's text and blob probes classified all 838 files as text, so no binary was substituted for line-level review. The manifest fixed each path, full blob SHA-1, physical line count, nonblank line count, category, and reviewer before inspection.

Ten read-only Luna Max reviewers received non-overlapping greedy, size-balanced shards. They could inspect and execute repository code but could not modify repository files. The Sol Max coordinator independently reproduced each proposed deletion or simplification, including non-call-graph consumers: MSBuild imports, analyzer and source-generator loading, reflection, package payload composition, workflow and acceptance entry points, catalog parity, and dynamically invoked PowerShell. Only the coordinator changed files.

The first cross-shard synthesis produced cleanup candidates. After those changes, a separate bounded convergence pass rechecked retained configuration, dynamic consumers, and cross-project duplication. The audit stops only after that pass reports no new independently confirmed cleanup and every baseline path has a verdict in the ledger below.

Fixed baseline

Measure	Baseline
Tracked text files	838
Physical lines	249,555
Nonblank lines	232,364
Approved generated files	41
Generated physical / nonblank lines	7,320 / 6,694
Handwritten files	797
Handwritten physical / nonblank lines	242,235 / 225,670
Tracked project files	60
Projects in `SharpProof.sln`	47
Handwritten production C# files	256
Production physical / nonblank lines	71,412 / 65,580
Production syntax tokens / nodes	331,954 / 304,136
Production expression nodes	186,338
Production decision points	10,774
Production members	5,170

The fresh baseline canonical Docker evidence was:

docker compose build tooling: succeeded.
docker compose run --rm tooling build: 0 warnings and 0 errors.
docker compose run --rm tooling test: 2,645 passed, one expected unsupported-host Package skip, and no failures.
Per-project pass totals: Attributes 11, Ir 92, Dataflow 48, Testing 5, Summaries 11, Meta.Analyzers 85, Frontend 74, Verify 12, Smt 23, Effects 197, Architecture 487, Specs 54, Fuzz 33, Analyzer 391, Contracts 125, ContractForGenerator 117, Worker 597, Gates 27, and Package 256.

Ten-shard coverage

Files were sorted by descending physical line count with path as a stable tie-breaker, then assigned to the currently lightest shard. This makes the allocation reproducible from the ledger.

Reviewer	Files	Physical lines
Luna-01	82	24,956
Luna-02	82	24,956
Luna-03	84	24,956
Luna-04	85	24,956
Luna-05	85	24,956
Luna-06	84	24,955
Luna-07	84	24,955
Luna-08	84	24,955
Luna-09	84	24,955
Luna-10	84	24,955
Total	838	249,555

Reviewers classified content as product behavior, required safety/soundness logic, regression evidence, packaging/build support, generated/derived, documentation, redundant, unreachable, obsolete compatibility, accidental complexity, or unconfirmed. Generated outputs were reviewed together with their owning generator/catalog and parity checks.

Accepted cleanup and repairs

Commit	Area	Independently reproduced evidence	Result
`692786526`	Trusted mutation evidence	Strict-mode execution exposed an undefined log variable on a killed mutation.	Return the isolated exit code, log path, and duration as one result; hash the actual mutation log and TRX.
`fe6b39ce0`	Mutation catalog	Exact-commit mutation execution found four descriptors whose file or source fragment no longer matched.	Refresh effect discovery, launcher deadline, contained-path, and manifest-empty targets and bind the new catalog digest.
`fe35b3a62`	Complexity authority	The production gate failed before measurement on shared sources and numeric language versions.	Measure each physical file once while aggregating parse-option variants; map numeric C# versions; add an executable authority test; remove unused metric state.
`a6be80f6b`	Acceptance authority	Static acceptance invoked a PowerShell function before its definition and carried five stale coordinator ceilings.	Move the helper before first use, assert ordering, and bind all measured ceilings.
`278e9917a`	Dead source scaffolding	References, compile items, generators, and focused tests showed no consumer or behavior.	Remove a 171-line inert generator branch, an excluded attribute, its stale item, a self-namespace global using, and an empty resource marker.
`ddbb07305`	Superseded evidence helpers	Exact reference and dynamic-invocation searches found no callers; production inventory and current release evidence own the surviving guarantees.	Delete 1,287 lines in two orphan scripts.
`0dd33b1d9`	Obsolete dogfood path	No workflow, documentation, acceptance, or script invoked the profile-off dogfood lane; the canonical build and root-build tests cover the surviving entry point.	Delete the script and its uninvoked MSBuild property, analyzer items, and validation target.
`f262469ad`	Excluded test helper	The file was explicitly removed from compilation and had no MSBuild, reflection, workflow, package, documentation, or script consumer; analyzer tests use their own active host.	Delete the 154-line orphan and its now-empty three-line project item group.
`205e4363d`	Complexity ratchet	The final production inventory measured 186,335 expression nodes after dead-source removal.	Lower the repaired expression ceiling by three nodes while retaining the audited decision and member limits.
`885a52f10`	TCB ownership	The complete suite showed that the refreshed expression-scanner mutation target was absent from the canonical TCB union.	Add it to the effect-analysis component and bind the reviewed 349-path inventory digest.

No public API was added or removed. No behavioral assertion was weakened. Generated outputs were not hand-edited.

Rejected leads

.config/dotnet-tools.json remains the intentional manually invoked Roslynator manifest; absence from CI is not evidence of uselessness.
.cursorrules and .vscode/settings.json are externally consumed editor policy and local SARIF privacy configuration.
.opencode/ is bound by repository integration tests.
eng/agent-notes/archive/ is fixed historical audit evidence. It is not executable machinery, but deleting it would discard provenance.
Checked-in generated files, schemas, catalogs, lockfiles, API approvals, samples, and workflow matrices all retain an owning generator, parity check, package role, or behavioral test.
ContractForValidatorGenerator.cs is intentionally empty; package-loading behavior and tests require the facade.
Broad consolidation of similar validation and projection helpers was rejected where separate implementations provide independent evidence or preserve fail-closed layer boundaries.

Before/after metrics

The implementation/configuration tree below is measured before adding this audit document so the evidence record does not hide the reduction it records.

Measure	Baseline	After cleanup, before this document	Delta
Tracked files	838	831	-7
Physical lines	249,555	247,902	-1,653
Nonblank lines	232,364	230,804	-1,560
Approved generated files	41	41	0
Generated physical / nonblank lines	7,320 / 6,694	7,320 / 6,694	0 / 0
Handwritten files	797	790	-7
Handwritten physical / nonblank lines	242,235 / 225,670	240,582 / 224,110	-1,653 / -1,560
Tracked project files	60	60	0
Projects in `SharpProof.sln`	47	47	0
Handwritten production C# files	256	255	-1
Production physical / nonblank lines	71,412 / 65,580	71,411 / 65,579	-1 / -1
Production syntax tokens / nodes	331,954 / 304,136	331,948 / 304,132	-6 / -4
Production expression nodes	186,338	186,335	-3
Production decision points	10,774	10,774	0
Production members	5,170	5,170	0

The Roslyn structural metrics are evidence, not reduction targets. Deleting a self-namespace global using changes one file and one line, including three name-expression nodes, without changing decisions or members. The excluded test helper was outside the production inventory.

Validation evidence

Validation performed during the cleanup batches:

One named exact-commit trusted mutation was selected and killed; the assertion count, log hash, and TRX hash matched.
The repaired complexity authority passed directly, and its three focused production-inventory tests passed.
Acceptance script tests passed 15/15. Static Release acceptance passed in its expected non-qualifying mode, including generator/parity checks, release closure, the then-348-path TCB inventory, 13 coordinator ratchets, and the global complexity gate.
Protocol generation verification passed; focused Worker protocol/schema tests passed 92/92 and Testing tests passed 5/5.
Evidence-helper cleanup checks passed 39/39.
The final dogfood-path batch built with 0 warnings and 0 errors; focused root-build architecture checks passed 8/8.
The excluded-test-helper cleanup passed its focused test project 5/5.

Final canonical evidence (filled after the document and map are present):

Final tracked tree: 832 files, 248,940 physical lines, and 231,811 nonblank lines.
Production C#: 255 files; 71,411 physical and 65,579 nonblank lines; 331,948 syntax tokens; 304,132 syntax nodes; 186,335 expressions; 10,774 decisions; 5,170 members.
docker compose run --rm tooling build: succeeded with 0 warnings and 0 errors.
docker compose run --rm tooling test: 2,646 passed, one expected unsupported-host Package skip, and no failures.
Generator/parity and documentation verification: all deterministic generators and catalogs verified; documentation matched; static Release acceptance passed in non-qualifying partial mode with the 349-path TCB and all complexity ratchets.
Ledger equality, git diff --check, and artifact check: all 838 baseline paths and blob hashes matched exactly; staged and unstaged diff checks passed; only the four intended documentation/map files changed; the generated timing artifact was removed.

Per-file baseline coverage ledger

Each row identifies the exact baseline blob reviewed. A retained verdict means the main agent found a product, evidence-chain, packaging, generated, or documentation role after considering dynamic consumers. Removed and simplified rows name the accepted cleanup commit. The ledger intentionally includes files that no longer exist in the final tree.

Baseline path	Blob SHA-1	Lines	Category	Reviewer	Verdict	Candidate or evidence
`.config/dotnet-tools.json`	`62d12a0bc0fe66fd4c9546a6f7dec7f97b80be4a`	13	packaging/build support	Luna-02	retained	Rejected deletion: intentional manually invoked Roslynator tool manifest.
`.cursorrules`	`5130585a54ec3d6c71ee4ce7bb9eca475cf39ade`	6	documentation	Luna-10	retained	Rejected deletion: externally consumed editor policy.
`.devcontainer/devcontainer.json`	`4aa351491a2abc9630f222a70afefdc4cdde58d9`	30	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.dockerignore`	`792a39717f514f679def6e7145607526784ab3ef`	14	packaging/build support	Luna-08	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.editorconfig`	`8c9209e5649cbcaa56153db39e21b7ee5ff4b2a9`	91	packaging/build support	Luna-08	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.gitattributes`	`c9de4b09046ac570abf799f8ca6e30598f56054b`	59	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.github/CODEOWNERS`	`5c1eb5ae4993d5d53641f0af6c9af1465457165d`	1	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.github/actions/build-tooling/action.yml`	`90e87059b150b1318d1d8bcbe82489af8ac8f3eb`	30	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.github/dependabot.yml`	`017c3a2e64eab9d3ccbabe5d654b94ee6d4c05a7`	43	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.github/workflows/ci.yml`	`6d6a24785889321d9bedb7c184ca71a20a8e9908`	53	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.github/workflows/coverage.yml`	`c6675d08b5b0938fb46121bb78888fca7bd285fc`	73	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.github/workflows/nightly.yml`	`26bfa3a130ba98ab706c750c7a57813d885194ce`	51	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.github/workflows/package-consumers.yml`	`19e9639786577e990cb741d1be50e4459d8697a9`	367	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.github/workflows/security-reusable.yml`	`f39d0ee1ad34630e9d74a1ea121e819a6f5508cb`	71	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.github/workflows/security.yml`	`7c7f40c0fa386f399b0ec3187e1d359f6d56e4f9`	26	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.github/workflows/stale-issues.yml`	`86673ed93c107a9ab590c5061206f325cbb70c1d`	34	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.github/workflows/weekly.yml`	`15b440dd7896b7db7ce8123adbb03215e29864ec`	38	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.gitignore`	`fa3f662bfd85edcd0bcd2e2ce04df344ea403668`	301	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`.globalconfig`	`ce8301ab8f14017c3ed116081bd63e18adecb898`	15	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`.opencode/.gitignore`	`d286b7c163e1458990a898f971d74cd836b2b9fa`	2	regression evidence	Luna-03	retained	Rejected deletion: repository tests bind this editor integration fixture.
`.opencode/package-lock.json`	`49920d0ede7d3651f50863a398e927eb5cd81f1a`	431	regression evidence	Luna-09	retained	Rejected deletion: repository tests bind this editor integration fixture.
`.opencode/package.json`	`bfe92f2a41977545c13ab7fc3bed8faf48a44800`	6	regression evidence	Luna-04	retained	Rejected deletion: repository tests bind this editor integration fixture.
`.opencode/plugins/oh-my-goal.js`	`16695749385b6d0a5e1eeac2cf3fe2cb2d8a9554`	1	regression evidence	Luna-04	retained	Rejected deletion: repository tests bind this editor integration fixture.
`.vscode/settings.json`	`58d06f27f04eb7f1d42037f5e61c54f0fdf8dbb5`	3	packaging/build support	Luna-01	retained	Rejected deletion: local SARIF privacy configuration.
`AGENTS.md`	`b6a6c9fa172f6474954721b43649e2f971225513`	7	documentation	Luna-04	retained	Retained as current user/maintainer guidance or dated evidence.
`BannedSymbols.txt`	`e2b81879274eac57ceb818c16915dec6436ea640`	47	documentation	Luna-09	retained	Retained as current user/maintainer guidance or dated evidence.
`CHANGELOG.md`	`e921b061f0e4b476a3835df12b4d991d2c21ca0a`	231	documentation	Luna-06	retained	Retained as current user/maintainer guidance or dated evidence.
`CONTRIBUTING.md`	`7cbd28d07c32a4c359fed011d855c49a8f8ccb2b`	59	documentation	Luna-01	retained	Retained as current user/maintainer guidance or dated evidence.
`Directory.Build.props`	`4d000e954a287948144704cb27e2350132f8b3ba`	104	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`Directory.Build.targets`	`975b209af34fc8c9e5ca54d949dbff073d8c9f20`	35	packaging/build support	Luna-09	simplified	Removed the uninvoked SharpProofDogfood property, analyzer items, and validation target in 0dd33b1d9.
`Directory.Packages.props`	`ebf93e00c321b256f80f8bcea5c08728ccd3fc72`	25	packaging/build support	Luna-08	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`LICENSE`	`6e4b2beb98e8ce67a69f7a055f9efcbad2d966ef`	21	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`NuGet.Config`	`6d5a5edd1f91068274aba07a8dcea264101c80c7`	20	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`README.md`	`2f16b93eb3f592313feef297283bb3c088f6bc89`	867	documentation	Luna-08	retained	Retained as current user/maintainer guidance or dated evidence.
`SECURITY.md`	`7909abc1b00e1ed699db724012e9bd7af2687fcb`	33	documentation	Luna-06	retained	Retained as current user/maintainer guidance or dated evidence.
`SEMANTICS.md`	`4a89aa8c2fb22444bfa7c8242a3c81f146cf6021`	439	documentation	Luna-08	retained	Retained as current user/maintainer guidance or dated evidence.
`SharpProof.Analyzer.Core/AnalyzerDiagnostic.catalog.json`	`3f3f149a0d3fc8ffc4257c5d784ec72fcf616fcd`	42	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/AnalyzerDiagnosticCatalog.generated.cs`	`45a67943ab93a77e9dc0f2c41e983716295ff2b1`	45	generated/derived	Luna-02	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Analyzer.Core/AnalyzerFeaturePipeline.cs`	`766a423758192a1704f5ce239e6f031617bf916b`	765	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/AnalyzerGeneratedCodePolicy.cs`	`f0ca5a829ddebe64d2b003de923d7b6b55be5ec4`	145	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/AnalyzerSemanticOutcome.cs`	`c411037121c6d2329ca1f5d30a447d1cdb2ef4d9`	28	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/AnalyzerSession.cs`	`6a8dac1badc7c42809c80b93946fbb2aea76724d`	309	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/AnalyzerSyntaxHelpers.cs`	`797d2b58a6968eaf35428a406d0ef4c73183cd49`	35	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/AssemblyInfo.cs`	`494e104a10cfccf96c6ad730573f2c3445dd8209`	7	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/CallArgumentAliasPolicy.cs`	`b7614918c85c3ebafc468972de5a769698990e01`	70	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/ClosedContractDiagnostics.cs`	`3fd5e58660aee48c77c5766a72c5e43bb6531fda`	56	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/CompilerArtifact/CompilerExceptionTypeIdentity.cs`	`83c94bb4024ab63e54103f50421eb7b53140d623`	30	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/Configuration/AnalyzerConfiguration.cs`	`a77a32aac5a08ab2b8c11bc71475241e9fc09cbc`	256	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/Configuration/AnalyzerConfigurationOptionRegistry.cs`	`afe0e53fd4b15778801a230a9c5a71ce44952cc6`	37	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/ContractForValidation/ContractForCompanionValidator.cs`	`63de936650fe6a0427cdba46f582697c123cc864`	207	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/ContractForValidation/ContractForDiagnosticDescriptors.generated.cs`	`fea862456a5c35c1f04eb8ee5baee0053da45977`	111	generated/derived	Luna-05	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Analyzer.Core/ContractForValidation/ContractForValidationEngine.cs`	`c200a39f2ff8d690b3923a74898a470dfbed4be2`	229	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/ContractRuntimePolicy.cs`	`aeb0596394d9cb9a7e402bc8e9e92209616da73d`	49	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/DeclarativeModels.generated.cs`	`ba41aaac12f77eb107e83919f184eb65cf5f77d3`	91	generated/derived	Luna-07	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Analyzer.Core/EffectCallPreconditionPolicy.cs`	`307dd0549d4843b66c17fcfa9d6d7070953a308d`	290	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/EffectContractDiagnostics.cs`	`99add2c7c17ea5141b20310b91a0fab1923b5b10`	413	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/EffectEvaluationProducerTupleCatalog.generated.cs`	`d128712ab7366a2d997c922d5073f84276aa486b`	41	generated/derived	Luna-01	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Analyzer.Core/EffectEvaluationProjections.generated.cs`	`20b0a1713eb4a957e1adb3e0de484b8c51d9762f`	44	generated/derived	Luna-05	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Analyzer.Core/EffectEvaluationTypes.cs`	`9fb0e421ad7ba64b46366e6eb9634f9c9f1053dd`	37	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/GeneratedDiagnosticDescriptors.generated.cs`	`278ead78294dba2b0cc1a92700bddf5add7d648c`	171	generated/derived	Luna-08	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Analyzer.Core/GlobalUsings.cs`	`35ba6ab5f54bed00df1b7b7c0d7c2f29eb431da9`	22	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/InvalidContractArgumentDiagnostics.cs`	`b434cf9fc862123a37265e43fcb2a7e6593a0a70`	14	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/LanguageSubsetGate.cs`	`f3dc41c212b3cb4695c207143c78c971636c6818`	295	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/ManagedContractFacts.cs`	`c8742cccd9c38d51dae3174227b943d70b87a38a`	162	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/PrimaryConstructorCallableInventory.cs`	`24fb7a79a70a330925eb6b3547b4277a7db288ba`	53	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/RequiresCallSiteAnalyzer.cs`	`9e080ff38f01e0a2a84cbfe1d705afd3442b7cf0`	619	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/RequiresCallSiteDiscovery.cs`	`26a4983357bcb3414faba6757c8966d334583e66`	1,644	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/RequiresCallSiteTreeAnalyzer.cs`	`39f605713834fe4d6be45197840eb9ff5b510f98`	1,364	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/SharpProof.Analyzer.Core.csproj`	`a4dbe0bbd5d9bd1db5393f5e27110d4cb396b37b`	36	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Analyzer.Core/SharpProofAnalyzerEngine.cs`	`fc6da483f94786b6578371cd2643536275d7c645`	676	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/SharpProofControlAttributePolicy.cs`	`1833864ea2d114fe631c9b25a0dbf987803a2346`	221	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer.Core/packages.lock.json`	`173a974c6dba5740c3a34e8062030d8945f0a83e`	177	generated/derived	Luna-09	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Analyzer.Test/AdvisoryActivationTests.cs`	`6992098f11b1751623a132f8c4d30047aa7cb921`	360	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/AnalyzerArchitectureTests.cs`	`3c473fe23e8e0f8eb3f9fa58081129365fbc8b35`	321	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/AnalyzerConfigurationUnitTests.cs`	`94955f9767c937030fca261ec39a52d16d138b34`	126	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/AnalyzerModeAndEffectTests.cs`	`b7bc3e8334831be11baa29bc0756e8834a2b6a6c`	3,691	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/AnalyzerSyntaxHelpersTests.cs`	`039cd96e85d58ecfdf41a1d6146d580efd5c85af`	90	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/AnalyzerTestHost.cs`	`732cdf50652b1a05d853b9394175cb9ecb3c64c5`	268	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/CompilerEffectEvaluationWireMappingsTests.cs`	`4133a94ede2bb83ee9e65b9908e16872f583e697`	77	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/CompilerOptionWireMappingsTests.cs`	`838a94ca01195e734f2c72dcd0e38b06480e929a`	95	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/ContractApiIdentityAnalyzerTests.cs`	`1d966b45706dfd9854e451ec225c9aca080faa2c`	634	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/ContractApiIdentityManifestTests.cs`	`9333a8fb0e6945633ecdb00b2e90ea74033d9f61`	53	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/ContractRuntimePolicyTests.cs`	`7b2490411334319522de3f788a8606fceb50da5d`	114	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/DiagnosticDescriptorCatalogTests.cs`	`fce527e4e79cc751e2a2ece95cc63d52c2baccf8`	16	regression evidence	Luna-03	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/DocumentationSnippetTests.cs`	`a7b8e263867b730eeab33592d68234e67acb3893`	77	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/EffectEvaluationProjectionsTests.cs`	`3ac05e00eb41038463a2420a2dcd5fdc949ee289`	108	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/FinalCompilationCollectorTests.cs`	`b0443f2ffe4fdea98d6ae76ddfcbfb701842b866`	1,305	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/GeneratedCodeAnalyzerTests.cs`	`b082df01db3238b31819b23addbeff1085940c22`	375	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/GeneratedContractForAnalyzerTests.cs`	`bfa5ef7fefc60265c9fe759e5284c0910f0bfbbc`	463	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/NestedRequiresCallSiteTests.cs`	`3ae95a40f185abba85f433a37d193813f63c6674`	1,359	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/RequiresAndControlTests.cs`	`39d475143fd6bd627f406af7fb8f410f9af63c47`	2,845	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/RequiresCallSiteDiscoveryTests.cs`	`2c89b1fc3172eda3f0051cd48446f4691df3d55f`	903	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/RequiresReplaySoundnessTests.cs`	`9e68f45bc851db542efdcb0f97f69b0c79e8e459`	605	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/RuntimeFlagshipOracleTests.cs`	`ab806d38ee028af35970ec0c44822fb71ab27288`	259	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/RuntimeRequiresOracleTests.cs`	`31d5e9f47e6f9dfe05d03083d69ae4ce66d66840`	162	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/SharpProof.Analyzer.Test.csproj`	`07290e273414bc4d25bc717f67de2290d5eda8b4`	27	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Analyzer.Test/packages.lock.json`	`97d0cad0b5f2108879ec0b7457875f525432e850`	286	generated/derived	Luna-03	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Analyzer/AnalyzerReleases.Shipped.md`	`69c22d89fc49f7fa4a6b55e1721de9c09ca3feb5`	1	documentation	Luna-01	retained	Retained as current user/maintainer guidance or dated evidence.
`SharpProof.Analyzer/AnalyzerReleases.Unshipped.md`	`3b3ff3587fef3e739bcf363204cccb7665a67463`	17	documentation	Luna-03	retained	Retained as current user/maintainer guidance or dated evidence.
`SharpProof.Analyzer/AssemblyInfo.cs`	`74e841450dc8fc5fd3b87de1929694ae802f0745`	4	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer/GlobalUsings.cs`	`05206b29d5c3f65db214221acd70d36b3303f304`	1	redundant	Luna-03	removed	Removed in 278e9917a: the only directive imported the file's own namespace.
`SharpProof.Analyzer/Resources/.gitkeep`	`0519ecba6ea913e21689ec692e81e9e4973fbf73`	1	redundant	Luna-04	removed	Removed in 278e9917a: no resource item or runtime consumer required the empty directory.
`SharpProof.Analyzer/SharpProof.Analyzer.csproj`	`76d8392f852167f973ea58bdea12cb382791eeb8`	29	packaging/build support	Luna-08	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Analyzer/SharpProofAnalyzer.cs`	`e3741a5295240f4b00d3f39abc6c65b1fdc7f92c`	34	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Analyzer/packages.lock.json`	`7b0a1fcdfd0fe712d539ae179ba349baad79393c`	189	generated/derived	Luna-07	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.AnalyzerConsumer.props`	`82c496ab608613ce152caf1d14f0009d874a90a4`	93	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.ArchitectureTest/AcceptanceScriptTests.cs`	`62027630a8f8e5521b229ff43f33f3cfce5a9c72`	321	regression evidence	Luna-02	strengthened	Added a static ordering assertion for the acceptance dotnet helper.
`SharpProof.ArchitectureTest/ArchitectureTests.cs`	`d65a5bdd3c791d7dbf5b1e6a8bcd4856f19c814a`	2,426	regression evidence	Luna-08	corrected	Updated the trusted mutation catalog identity after descriptor repair.
`SharpProof.ArchitectureTest/BoundaryEnforcementTests.cs`	`92b7152d95e09ef54add835115e44376437982aa`	640	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/ChangedTestSelectionTests.cs`	`fee8da4fe25db59d619df1c98b39c5c8cfded9be`	178	regression evidence	Luna-03	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/ContainedPathAuthorityTests.cs`	`64102147179f265611aad71ee52338410d64bed8`	49	regression evidence	Luna-03	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/ContainerAuthorityScriptTests.cs`	`cd90e4ef1b7b19136f7f7ecd4590971b0d75a894`	327	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/ContainerSourceCleanlinessTests.cs`	`5b1c25f4b2f9ee114e9600eb53724688c731a533`	424	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/CoverageScriptTests.cs`	`099b19cfdd4711db1d8c007d3ef7f38734da759e`	1,724	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/DependencyAutomationTests.cs`	`37c018a6837fa7804995881815b245a7239ef448`	380	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/DevCheckCommandPlanTests.cs`	`c90e1751870741e016e2c5700224897da31e5f97`	119	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/DocumentationSupportContractTests.cs`	`b2e7601f47cb16e187c58ae328802597344e72e1`	156	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/FuzzRunnerEvidenceTests.cs`	`8ee8e9f69ef2f6b1253f04bd64046975d966b13b`	113	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/GeneratedFileHelperTests.cs`	`ed57d159a2c9bf2bbb5568f3de41463b7b706103`	115	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/NativeTestBootstrapTests.cs`	`39f4285bd20b2209f7e78426bc2e1acffa46327a`	68	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/OpenCodePluginDependencyTests.cs`	`c3d020030f108b1abe700302b7b9f29591c932b0`	67	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/PackageDependencyAuthorityTests.cs`	`5fac8542a85945f78f9dc27ef54cbee2f5554b16`	858	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/PilotAuthorityTests.cs`	`31ff4e68021ab5c36c08649ec43bb65c2f9bfaea`	45	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/ProductionInventoryAuthorityTests.cs`	`eb67109c20458fba318c3565b4abbfa407dd6677`	286	regression evidence	Luna-01	strengthened	Added an executable canonical production-complexity gate test.
`SharpProof.ArchitectureTest/PublicationDestinationAuthorityTests.cs`	`9f3c4270e43ac19f409bfa2049e7f177871a0370`	112	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/PublicationPlanIdentityTests.cs`	`b6d04ac53026195dcb6c70e90320211270443980`	100	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/PublicationPlanSemanticAuthorityTests.cs`	`2e91ad5c757eb02aa1dccc260dacf3890cc5acce`	119	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/PublicationPlanTopologyTests.cs`	`0d4ba601f078613d9ecb6807cc42e15a45e07938`	91	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/ReleaseAuthorityClosureTests.cs`	`c0f630ab700f60ac8c4f01fd3a4a6da69274cbc5`	46	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/ReleaseChecksumAuthorityTests.cs`	`d929d4ec65219164a5c8b58b237c7fe045006131`	124	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/ReleaseConfigurationScriptTests.cs`	`9d3ce7cc74042f2faf5147baf1aed738d0490c67`	53	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/ReleaseCoverageBaselineTests.cs`	`1cc1379d0a10f13da58d8982804e49ab03fd4ef4`	1,045	regression evidence	Luna-03	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/ReleaseJsonAuthorityTests.cs`	`df168b7c9c15d5fd5623089aa7f7374f0274b1e3`	70	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/ReleaseQualificationMatrixTests.cs`	`2d0c0f38459ceca3a08a47fab2143874164c5dab`	288	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/ReleaseTagValidationTests.cs`	`bf3f9833517ee9d9c7b981442508d47b6707ef4c`	48	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/ReleaseVersionAuthorityTests.cs`	`babdbd614c101fe4595c54dac374de83694de342`	89	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/SbomReleaseIdentityTests.cs`	`584e034dd4d0ea95e3abf04579e7866c29f88e84`	122	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/SbomSymbolArtifactScopeTests.cs`	`55159097d6638e73fa2e3b95217d9d1868e541e8`	81	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/SharpProof.ArchitectureTest.csproj`	`4ee4d158af6c4f1ef252a691c4bcf182bbd31521`	19	regression evidence	Luna-03	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/StandaloneGateEvidenceTests.cs`	`33b7b20db8bd250ed0bb2d222e82e418f451929f`	80	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/VerifierPublicationTransactionTests.cs`	`c141ef479d912b79a0a2407f146ffcac71dea251`	110	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ArchitectureTest/packages.lock.json`	`e52b28a33de31973173dff5f7e61f31acbf702f4`	203	generated/derived	Luna-08	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Attributes.Test/ContractApiTests.cs`	`b70635f0e3973f64be1e32313502c045a985dc34`	171	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Attributes.Test/PublicApiDocumentationTests.cs`	`985c858cd9e30e519ecc66575031c9b4b67fb271`	195	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Attributes.Test/SharpProof.Attributes.Test.csproj`	`021e087f8d7ad1c660a72b68272ee6a3c8fe854d`	16	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Attributes.Test/packages.lock.json`	`eba919cb4772f9e1f1f29247ee644577bf3350dc`	131	generated/derived	Luna-06	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Attributes/AllowedCapabilitiesAttribute.cs`	`29098381b273f1b28c4a75aa6930677a5e4d5339`	6	product behavior	Luna-06	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Attributes/AllowedExceptionsAttribute.cs`	`1a94cb8ddfa15b8e086c6475e68a63fb221b6a27`	7	product behavior	Luna-07	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Attributes/ClosedContractAttributes.cs`	`808763de43282490a1ec7ccbd4718a327822f773`	37	product behavior	Luna-07	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Attributes/Contract.cs`	`5ad09e7ff717ebc56665f16b512ef2c1fb2a1975`	33	product behavior	Luna-07	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Attributes/ContractForAttribute.cs`	`6a7c1b34bd61bba627b2dd8cb2bb3068d3979437`	7	product behavior	Luna-01	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Attributes/DoesNotThrowAttribute.cs`	`a02236e2a72930ffdcc2a43bdbcb742edeef8777`	5	product behavior	Luna-08	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Attributes/EffectContractAttribute.cs`	`8e20818348fb8691536e4fddbf7fadb8739751c2`	26	product behavior	Luna-07	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Attributes/EnforcePureAttribute.cs`	`69473c4177656d0af8af92f2dcdcc62fa9158509`	5	product behavior	Luna-09	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Attributes/GlobalUsings.cs`	`871318d22a8bcce003e76eff0d1fa5a02ab0d53b`	1	product behavior	Luna-05	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Attributes/PublicAPI.Shipped.txt`	`8902ccd9d809f8d82195b5344e34bc03c0c4cf22`	81	documentation	Luna-08	retained	Retained as current user/maintainer guidance or dated evidence.
`SharpProof.Attributes/PublicAPI.Unshipped.txt`	`1d69db30833e497c22a73e97a1ad16cdc1b367b9`	3	documentation	Luna-01	retained	Retained as current user/maintainer guidance or dated evidence.
`SharpProof.Attributes/SharpProof.Attributes.csproj`	`fb3af61e32b8e5e19429be3b4f610a348c78c6d7`	28	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Attributes/SharpProof.Attributes.xml`	`8b6ff729ae90ea4da65ad3621c1ea7fe0b9f4ac6`	268	product behavior	Luna-06	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Attributes/SharpProofCapability.cs`	`0b3bfac9f36ef3c6bac6054d660fa35ea3caf053`	19	product behavior	Luna-04	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Attributes/SharpProofEffect.cs`	`56b87b641c86a5d3049b7fac7288a88999a92c49`	22	product behavior	Luna-10	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Attributes/SharpProofSuppressAttribute.cs`	`d757a86e1ae73fb246392bda3890942970a6b9c6`	24	product behavior	Luna-05	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Attributes/SharpProofTrustedAttribute.cs`	`73d2081a14d3b426453f4db772d530bcb2fdf700`	23	product behavior	Luna-08	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Attributes/ZeroAllocationsAttribute.cs`	`be2462ba91784bb36e3ad032313982eb676bb093`	5	product behavior	Luna-02	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Attributes/packages.lock.json`	`780776a3709e6191d471b213812839019b33d907`	33	generated/derived	Luna-08	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.BuildTasks/InvalidatePublishedResult.cs`	`79893cd13c69b262eeab5769c81e88d5a0899075`	284	product behavior	Luna-05	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.BuildTasks/LauncherRuntimeCompanionInventory.generated.cs`	`5ca5e4109eec454b1135e3367ee1bd516968a927`	22	generated/derived	Luna-01	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.BuildTasks/Program.cs`	`995c8bc13708400ba097a5ea5465eac67190d729`	23	product behavior	Luna-09	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.BuildTasks/ResetPublishedVerification.cs`	`9c6dc3dd9f2186292a5ae952b0c20a88a7bcbbee`	40	product behavior	Luna-04	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.BuildTasks/RunVerifier.cs`	`e67b338ee02db4aba5deef3b91a24787c106f8ab`	1,287	product behavior	Luna-03	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.BuildTasks/SharpProof.BuildTasks.csproj`	`f3bb0d90e06024b3bb46b2a53b103b2d472e2441`	23	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.BuildTasks/ValidatePublishedVerificationResult.cs`	`9a89a2b82aedd8991ef966be9076f1d00c5cf795`	82	product behavior	Luna-05	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.BuildTasks/VerifierProcessSupervisor.cs`	`eb5845827e7b5cc72c7a5236a93b987123ac4141`	445	product behavior	Luna-05	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.BuildTasks/packages.lock.json`	`bf896596a4a987838cc3624b99ac8a3f612d37f8`	104	generated/derived	Luna-08	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.CompilerArtifact/CompilationFingerprint.cs`	`5ec2106161c881faf6becfcc7945e673d59c8b75`	460	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerArtifact/CompilerArtifactModel.generated.cs`	`d00437df35cf3e2bad703101abe804c86f30d682`	570	generated/derived	Luna-10	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.CompilerArtifact/CompilerArtifactModel.schema.json`	`3ac144ec218fd60c28e168eafd3eb86c5caea507`	4,394	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerArtifact/CompilerCaptureAuthority.cs`	`7450402058c68ee9ab15e7d4d9542ac15fbab6ce`	157	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerArtifact/CompilerCompilationModel.generated.cs`	`c8d411e73e32e911df964070dce8e41940873d73`	126	generated/derived	Luna-04	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.CompilerArtifact/CompilerEffectAuthority.cs`	`630c1289174e52557f14e9cc6d297acf244cd839`	391	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerArtifact/CompilerEffectClaimArtifactCodec.cs`	`7e4d4f1396c38e988fc8dc8bc25135ba1ad233f2`	317	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerArtifact/CompilerFeatureScopeFingerprint.cs`	`2c4e9629f9f651cbbdd42412c3cee67bf8f9b58f`	109	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerArtifact/CompilerLoweredArtifact.cs`	`17d50ca8fbbbb9931572d050c5a333f18510b990`	1,207	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerArtifact/CompilerManifestArtifact.cs`	`e6693aee371aa397d28a4a667cb43ecaef3a9b0c`	910	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerArtifact/CompilerResponseEvidenceAuthority.cs`	`9ab8ceeb90b370e4fb7b739c35914fee7a98823e`	881	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerArtifact/CompilerSourceLocationAuthority.cs`	`f86f5dee296b80c2f37e84525c6b9e9969492b68`	292	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerArtifact/CompilerSpecificationPackAuthority.cs`	`7848617a9f0ae1d590ae22273d349b65f0e3c53d`	91	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerArtifact/PortableIrGraphCodec.cs`	`0f635465680d4fca5428eda733f212007de89d94`	811	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerArtifact/PortableIrModel.generated.cs`	`d1026fab169d1f0707c63e03b66062fd99beb4a1`	658	generated/derived	Luna-06	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.CompilerArtifact/SharpProof.CompilerArtifact.csproj`	`5da4a1641195d4fe94a3baa62b65849bcd905d22`	36	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.CompilerArtifact/packages.lock.json`	`b72fa0a2134205c76b9bf411311fda23d8bb05fd`	126	generated/derived	Luna-03	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.CompilerCollector/AssemblyInfo.cs`	`7601d2774aeacc8f3e86547f9b46d0995ac8cf52`	6	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerCollector/CompilerArtifact/ClaimManifestBuilder.cs`	`7efad433f990d32ac969251d24405653ee662d53`	651	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerCollector/CompilerArtifact/CompilerCallableLowerer.cs`	`9a77582af771364baf50be75b0300f429c652218`	628	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerCollector/CompilerArtifact/CompilerCallableProjections.generated.cs`	`954a5567b3be0a147a0b76f409e0801b244a8dc0`	39	generated/derived	Luna-04	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.CompilerCollector/CompilerArtifact/CompilerCompilationCapture.cs`	`7cd2b5e299062f48f6675570d2db098975bae507`	434	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerCollector/CompilerArtifact/CompilerEffectReplayLowerer.cs`	`cc1b1af852f8da95fbe32693abd5989df1b5d01c`	276	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerCollector/CompilerArtifact/CompilerImplementationIlSummaryLowerer.cs`	`5b5cff92ad449fd8097de52c358c507206a64fc4`	1,736	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerCollector/CompilerArtifact/CompilerManifestArtifactProducer.cs`	`030038c361f55f133dcd8bdedd1bb90e2a1aba6b`	247	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerCollector/CompilerArtifact/CompilerOptionWireMappings.cs`	`bd9b1bfdaf8d3cf11886ddccdffc1f4cad067b9e`	26	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerCollector/CompilerArtifact/CompilerRelationalSummaryProvider.cs`	`d8d3a44af9cd305f70609de4646bc796a930fce6`	398	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerCollector/CompilerArtifact/CompilerSpecificationPackProvider.cs`	`ec5b143b76597b830e855838873ba27ff953f5d0`	872	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerCollector/CompilerArtifact/CompilerWireMappings.generated.cs`	`edee13fa827416385b9c8441d8dc0094ea18b5cf`	323	generated/derived	Luna-09	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.CompilerCollector/CompilerArtifact/DeclarativeModels.generated.cs`	`eb4dbf7163a27b58b3909807a85cfea10d129863`	66	generated/derived	Luna-04	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.CompilerCollector/CompilerArtifact/SemanticClaimIdentity.cs`	`ca08270cbfe69417a789f2b7201baf558a90788d`	536	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerCollector/FinalCompilationCollector.cs`	`96f582b7f4e0e3c2414b7aefd2cdf9f14936b252`	119	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerCollector/FinalCompilationCollectorAnalyzer.cs`	`b38e93d31c3378327bf886297b4ee59acd9e4e98`	34	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerCollector/GlobalUsings.cs`	`5c1c127e6cc506d860ef45179451ebdc858b3263`	21	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerCollector/SharpProof.CompilerCollector.csproj`	`18acd1b14fcb94a9b631473e11e2b756f6c77e69`	38	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.CompilerCollector/packages.lock.json`	`f4ebe46d4230e20cf23a00bde80051164d449d0b`	254	generated/derived	Luna-03	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.CompilerProbe.TestAsset/CompilerProbeAnalyzer.cs`	`271dc9e7a789139b1219d35a82c5655740ddb339`	127	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerProbe.TestAsset/CompilerProbeContract.cs`	`8f3eac1e23efeb4f10c7ae0f997e9e9d8ee3ec92`	57	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerProbe.TestAsset/CompilerProbeGenerator.cs`	`a4af1a8f4577fb59e664c538c07aed82fecffa2b`	125	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerProbe.TestAsset/CompilerProbeSnapshot.cs`	`a65d44657b58556f19ee9022d12acdf299a612e5`	462	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerProbe.TestAsset/GlobalUsings.cs`	`f32676247f1c971e73498745df99e1c7db49e96f`	13	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerProbe.TestAsset/ProbeHash.cs`	`18a4d44309730a6938f7a65187f6ea21c2d0138e`	33	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerProbe.TestAsset/ProbeJson.cs`	`029a52f371b3ac5881b94b6efcc7d11fd3a4f071`	147	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.CompilerProbe.TestAsset/SharpProof.CompilerProbe.TestAsset.csproj`	`8cf63af4151faf959eff9f614d010037b9311462`	21	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.CompilerProbe.TestAsset/packages.lock.json`	`9a343948937ad07e0c656d6213d07a52bb112b63`	123	generated/derived	Luna-05	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.ContractForGenerator.Test/ContractForValidatorGeneratorTests.cs`	`d155aed52b272effd69860225bcda35c3163e529`	2,047	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ContractForGenerator.Test/DiagnosticDescriptorCatalogTests.cs`	`100f1963cb0571820da44b9a3677025e16bf78b5`	17	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ContractForGenerator.Test/GeneratorTestHost.cs`	`24cea733d197eddf0c86c3a7c859d1bfe0906b47`	270	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ContractForGenerator.Test/GlobalUsings.cs`	`f7fd85b99dea26ccb66678c7133664a5ab8f0a81`	10	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ContractForGenerator.Test/SharpProof.ContractForGenerator.Test.csproj`	`78fbf06cbb703c10d64b383676e78428dff7f985`	25	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.ContractForGenerator.Test/packages.lock.json`	`c795e6ca856e7caef71f6739066242325a21f324`	237	generated/derived	Luna-03	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.ContractForGenerator/ContractForValidatorGenerator.cs`	`4e1d60c0320b3ca08d02e14b3ca5428569198881`	15	required safety/soundness logic	Luna-07	retained	Rejected deletion: intentionally empty loading facade whose package behavior is tested.
`SharpProof.ContractForGenerator/GlobalUsings.cs`	`6ea9ed0edb5e46bf2bb9f346e34146a1da8634b4`	11	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.ContractForGenerator/SharpProof.ContractForGenerator.csproj`	`8d8d5e67b1e3205fd577df797c205b1ee2644c11`	27	packaging/build support	Luna-07	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.ContractForGenerator/packages.lock.json`	`1c0178d0f389bcf2d624e0a68ff12de419e0d16b`	189	generated/derived	Luna-02	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Contracts.Test/BoundContractModelTests.cs`	`73fc945e24e8ad62d2db8b5fddc9ca52d40ee9f2`	57	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Contracts.Test/ConstructedGenericContractTests.cs`	`4e7c2dc4978b3ef3a01048fe2df8703f89c8793e`	634	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Contracts.Test/ContractApiIdentityTests.cs`	`9f6d0f64bce50a40de1efcd309a601093e25cb8d`	188	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Contracts.Test/ContractBinderTests.cs`	`54ad50b00c6ae292aebc9e600bc70823dcc4f4a4`	1,689	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Contracts.Test/ContractClauseInventoryTests.cs`	`c221e4785581231bf78c1467f5cb6e65311f47f3`	344	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Contracts.Test/PartialMethodContractTests.cs`	`4c5e9c077e8142c469494285343c3996c292ef12`	307	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Contracts.Test/SharpProof.Contracts.Test.csproj`	`e08e1fb9691458dde6ce6b545b316001c9cbcd46`	19	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Contracts.Test/packages.lock.json`	`d63b947cc9a4617bf3cd0df0b97d65845fe01111`	185	generated/derived	Luna-02	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Contracts/AssemblyInfo.cs`	`3a14956d44031405222f82b88bc8a7bef3422f0a`	10	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/BoundContractModel.generated.cs`	`a9077d90f256c30699681b307697acd4aab11ed4`	117	generated/derived	Luna-10	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Contracts/BoundContractModel.schema.json`	`cca65f5acaa433f6846f5461af8732deeeebea52`	104	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/BoundContracts.cs`	`a20260f46359c6bed8e6781525773ff63f38e185`	16	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/ClosedContractAttributeValidator.cs`	`58558e15f944f191d32b55d5c13ac45293981eec`	105	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/ContractApiSymbols.cs`	`80fae99dfdc793071b23edc496ebda5680373d8d`	109	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/ContractBinder.cs`	`b85ba4ce9bffedf1c44f15f29766313ed1104d73`	366	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/ContractCanonicalization.cs`	`75f7d61f32c2850e9b63e3331799a8edeca6189d`	432	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/ContractClauseInventory.cs`	`20fc44d109a95be1a91db89cbb0120e1fd8e78fd`	25	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/ContractClauseInventoryBuilder.cs`	`9258a02b83d735a8dccfb415fbdecbaa3306ca39`	360	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/ContractExpressionBinder.cs`	`8f47802f74d8c3d39d36b0d4050725f3b6aa65fa`	158	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/ContractForSymbolMatcher.cs`	`64a4244f6ee255be8e17b380d6662b3bbcbe9d43`	739	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/ContractIntrinsicValidator.cs`	`bc20c44375bcf4a4fc0f9ffc638ee62b657483b1`	130	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/ContractProjections.generated.cs`	`360f66c7ad7be33d89a64afd51d089f117eed166`	24	generated/derived	Luna-01	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Contracts/ContractSelectionInventory.cs`	`8f04e70f0582cc68d3012c81f185e92fdab3fe9b`	272	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/DeclarativeModels.generated.cs`	`d13845158a8eb38c31312eb8b5a144a5e90e549d`	116	generated/derived	Luna-08	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Contracts/EffectiveContractModels.generated.cs`	`fa2d6bbcfc0724ec77ab9ef2581008b1092dd4a5`	51	generated/derived	Luna-07	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Contracts/EffectiveContractSourceResolver.cs`	`63e6db44f529f87dbac61bf3a77b4b4349f81e3c`	140	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/GlobalUsings.cs`	`34a122f68198e2886f4090772902360661e6f48d`	8	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/SharpProof.Contracts.csproj`	`f4b818ee6995ea54b2f3c25c25e4dd809fced213`	22	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Contracts/SharpProofConfigurationCatalog.cs`	`1a43070e41eb8b9ad40a292fe0d1476fcdae56af`	8	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Contracts/packages.lock.json`	`3ac7209986ae829d5db99506b4d747a84f94e296`	144	generated/derived	Luna-04	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Dataflow.Test/ArgumentNullGuardBoundaryTests.cs`	`0c6060e3b900000a75af36fa17dd89b5f050a013`	75	regression evidence	Luna-03	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Dataflow.Test/DependencyBoundaryTests.cs`	`5f0ea7a561c42297b0fd16ebf03ed6ffbef5cbdf`	15	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Dataflow.Test/DomainLawAssertions.cs`	`7d5388e7ceecae3af564fcd24edf991056cee8aa`	164	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Dataflow.Test/FiniteCfgConcreteOracleTests.cs`	`a1a535ef128e3ba71eac31977c797f29d8940ed8`	490	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Dataflow.Test/ForwardDataflowAnalysisTests.cs`	`35d2456e504e23ef06f64aab6aa22aede21aa66e`	215	regression evidence	Luna-03	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Dataflow.Test/GeneratedDomainPropertyTests.cs`	`400a282c003dba5e24cb144b0d661ec26e9a5dc4`	519	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Dataflow.Test/GlobalUsings.cs`	`303b84722ff7012fdcbcd6eba8d28949f92df9d1`	7	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Dataflow.Test/IntervalDomainTests.cs`	`4aee6beac5c72bc9a69818a6391f32b30c52bf31`	141	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Dataflow.Test/NullnessDomainTests.cs`	`25df05780e325bc111d976d4b281e90ce0835ef5`	75	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Dataflow.Test/SequenceCardinalityDomainTests.cs`	`37a1cb7f6c3262c64d1858547eb95b68c60da4f4`	113	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Dataflow.Test/SharpProof.Dataflow.Test.csproj`	`024034f39a8bf0e95dfb81dac820068a8701512d`	16	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Dataflow.Test/packages.lock.json`	`2d11338561fa6374e32d9b54722b9921ead3be33`	134	generated/derived	Luna-09	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Dataflow/ClosedAbstractDomain.cs`	`6c8b390720e2fb42f31b60313b58136b707ec715`	48	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Dataflow/DataflowGraph.cs`	`5f0ac5fdb932abdb8459216fc37764686780b248`	194	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Dataflow/ForwardDataflowAnalysis.cs`	`61af812d06a0bd6db05ac6389df520e53e1dec78`	215	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Dataflow/GlobalUsings.cs`	`9ceeffcdc3d78b5c31a571aba7ed6b11101d241a`	6	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Dataflow/IAbstractDomain.cs`	`559cf4d9baecf6af0a1194921edab6b83f1bce38`	22	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Dataflow/IntervalDomain.cs`	`98d07146036ed0ab635c195d78e33a5f23c28edb`	306	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Dataflow/IntervalValue.cs`	`141cded30946581e3bff15c448a53bf2710e2649`	161	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Dataflow/NullnessDomain.cs`	`417a4019812780c98e070100b6f17df0cdac446a`	81	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Dataflow/NullnessValue.cs`	`7fb626450d70f947bdd4f49b6c6eb1c64a7ba81e`	9	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Dataflow/Properties/AssemblyInfo.cs`	`725fda56f7c7c80e9fca7f0d7400a09bd1fbddf1`	4	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Dataflow/SequenceCardinalityDomain.cs`	`ead53b0442d36a7f85cce174c1cee38f9df5d706`	225	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Dataflow/SequenceCardinalityValue.cs`	`a2d0ade97a441b3db1b249ff0a7f870ac2e4ad4f`	44	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Dataflow/SharpProof.Dataflow.csproj`	`f66c381347c0bb72d13f62a7663d5cfaa6d6a792`	20	packaging/build support	Luna-07	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Dataflow/packages.lock.json`	`f29a838f0a90ee466adc75ac6bb00bf17885ce97`	62	generated/derived	Luna-05	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.DeclarativeModels.catalog.json`	`bf2b5e0e6d5b867a0aae44974c7e504715ebc84b`	1,008	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Dev.Tests.slnf`	`517429ed1a99f0f4e30edc5c6987c268fe1b5bbd`	26	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects.Test/ApiSpecResolutionCoverageTests.cs`	`22f7c8b7e5c9188a1bfd1026b42441a253007fd4`	27	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Effects.Test/EffectAnalysisTests.cs`	`ca350c96ef243af8192032a0de165f1bc3c3d25b`	7,874	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Effects.Test/EffectContractWireParityTests.cs`	`fa17d55a45c09a735005dd75165818ecc9056e87`	395	regression evidence	Luna-03	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Effects.Test/EffectLatticeTests.cs`	`8411d8857e41417b2be7a437a8d316dc44969969`	184	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Effects.Test/EffectTestHost.cs`	`889b6b28fcbc59d20c00989456699aebfd30927c`	256	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Effects.Test/EffectValueValidationTests.cs`	`850eb0e28defa1b626b32fac518b72979a93d813`	35	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Effects.Test/GlobalUsings.cs`	`73155cc184cb60a831380955d441376a3655f81f`	15	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Effects.Test/ManagedAbstractFlowTests.cs`	`1f4ea104e424b27eaf18d9f9344ccadf86a778a3`	1,202	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Effects.Test/ModuleInitializerEffectTests.cs`	`0304a72deff42ea6731c1c086912145b6b300f13`	198	regression evidence	Luna-03	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Effects.Test/RuntimeEffectOracleTests.cs`	`d9bb8d3060e9f3a05271348fb34a1c06d228da87`	495	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Effects.Test/SharpProof.Effects.Test.csproj`	`4b483de7552b444e59ea55e0fc5b7b1c72345627`	19	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Effects.Test/packages.lock.json`	`91b8ffeb88fb3209b6406bf2771c48864f27fe9e`	198	generated/derived	Luna-01	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Effects/ApiSpecResolution.cs`	`809cbe14550b3dc84e4f447f0aa0158b9d860238`	341	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/ApiSpecResolutionModels.generated.cs`	`8efcaa118bc75e6fa1d9897b3dd9b15f240c0f5c`	55	generated/derived	Luna-05	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Effects/AssemblyInfo.cs`	`78df5389b9de6405942072dcd0c6296b0f77315f`	8	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/CoalesceAssignmentFlowCaptures.cs`	`e400b9470aa6abd9c457680ad7693e7a1cf8e875`	61	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/ConversionEffectClassifier.cs`	`48fe1f68ef3a45358eb3e642112eefc188134349`	270	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/ConversionOwnershipClassifier.cs`	`1a5f85a8da1c62b575b8279bac4beeba0d74afe3`	590	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/CreationFlowCaptures.cs`	`a3403e0c919564e4a740b8630357f1a7c69aa4f7`	48	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/EffectAnalysisSession.cs`	`fd0dec8545bdb4e0a7dcaad2a9e78753e455f753`	524	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/EffectCallGraph.cs`	`50a25f7d22a39a1699e494e05cb3d240c8df0cab`	83	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/EffectCallPreconditionPolicy.cs`	`caadf485d077c610e554addcb2ee74aeeb7d1609`	231	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/EffectCallSiteResolver.cs`	`dce766f53ab649feaf390c73cdd3762a7e895b29`	201	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/EffectContractMappings.catalog.json`	`966922670c4d7c863987ce15a9dda80d0e88e921`	209	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/EffectContractMappings.cs`	`a8dab44a7520bc46d3fa7f0305fff80bc2cfee01`	179	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/EffectContractMappings.generated.cs`	`1d1855a92eae4348c01491f50b433c829d56284c`	267	generated/derived	Luna-09	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Effects/EffectContractValues.cs`	`8de678e10c1d566b676a895773ae5bbac051afce`	39	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/EffectExceptionFlow.cs`	`18fee6bc4c69d1104af6848359b357702f1db82f`	300	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/EffectMethodNodeBuilder.cs`	`74e9002998dd292881645b980f7397554aa4378f`	661	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/EffectModuleInitialization.cs`	`efc2a5ecaabfa31db9726633bcaccf65deb7aba4`	110	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/EffectProjection.cs`	`a05dfa34f149d39bf144fa5d43d4a3d32042a824`	62	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/EffectProjections.generated.cs`	`211bd1900de837c489293bd492bf3b1b218d03db`	58	generated/derived	Luna-06	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Effects/EffectRegions.cs`	`6c90ca2826925458c7d0e0732b229d3a9f166136`	164	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/EffectResultModels.generated.cs`	`dacdfa1c8d8de18300aaf4ecd621707b4b705f5b`	44	generated/derived	Luna-07	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Effects/EffectSummary.cs`	`eecf0afdadac0e9020646d1a712e41f3adb1777b`	238	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/EffectSummaryOperations.cs`	`64119e4fac76d8b7a2eee7252b0c1b6cfdfebee7`	216	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/EffectValues.cs`	`24d9b3ea29c4c6fbc828abea5998bbd41961aaa0`	288	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/ExceptionHandlerReachability.cs`	`dba9deee4439150aec5ba03c36154accbb05c739`	2,868	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/ExternalEffectResolver.cs`	`a63dc5c69ce10f2a76cda5e953b83d83aad7d99a`	401	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/GlobalUsings.cs`	`25054632b4e01532ed1bcc20174a0d0663bc196e`	11	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/InvocationEmissionPolicy.cs`	`748afacdd03c5f64dca46aa32a9d47402601e7ee`	66	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/ManagedAbstractFlow.cs`	`33fbb078502b8d2f5a3c82bcf116d51bc15fe2ce`	2,450	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/ManagedMutationFacts.cs`	`e90a5d19189a9e659fb15424bf860d052a44900c`	20	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/OperationCompletionEvaluator.cs`	`5ad43446eeae7816d068f157391cd3fa4ad0026f`	1,124	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/OperationEffectScanner.Assignments.cs`	`1d3b19f1329e7d373a14ac017a515583d6e9eab4`	162	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/OperationEffectScanner.Expressions.cs`	`7d9503fa36a6b209413f578c675a98d1381e3b81`	385	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/OperationEffectScanner.cs`	`63d0926df1437ac6fa167a9d05be686390bdc35d`	1,355	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/OperationNullnessEvaluator.cs`	`f3fbe32bc19a6cfb644656a34f0e6923a9d68172`	111	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/PrimaryConstructorParameterOwnership.cs`	`ce9a06b8ce35140ca9a59bb2a26103ab518b6fe2`	44	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/PropertyDispatchFacts.cs`	`01d5bcca0964d5788ac0a2a7928bfb5b4a26d254`	33	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/SharpProof.Effects.csproj`	`5504bdc1f3a6877f24e23e71840104eb936802dd`	26	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Effects/StringConcatenationEffectResolver.cs`	`a39434034ecfdf7c6ef5cedb55772db72059d04b`	224	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/SwitchExpressionFacts.cs`	`f97a86bc921fca2e90526b24f8741577c66e2381`	516	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/TrustedBoundaryPolicy.cs`	`6a26bcea9ac97151787fd620ad161314beefa608`	78	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/UsingDisposalEffectResolver.cs`	`dc57ea88b1c5e3369d3908d6998b56528de97993`	529	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Effects/packages.lock.json`	`5a472ff70a05c0d13f2ae74c6160bb0cbfac4e05`	156	generated/derived	Luna-10	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Frontend.Test/CSharpPreprocessorSymbolsTests.cs`	`8d8bde19a91278480ce3ec77562cd66be222f33b`	90	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Frontend.Test/CSharpScalarOperatorSemanticsTests.cs`	`097e6513e73ac0c5a40a2dffab61c07a58824997`	264	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Frontend.Test/CSharpScalarSemanticsTests.cs`	`e7b984f718383a7d6f06123a7365c0b8c09308f8`	119	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Frontend.Test/CompilationModelProviderTests.cs`	`f17a7b2461c24dad26df6f6e4a9eeda1ef942c21`	73	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Frontend.Test/ContractApiCatalogParityTests.cs`	`d9750ed966e370d8b70335d679b0a0f2e0f55098`	280	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Frontend.Test/ContractApiCatalogTests.cs`	`53cc3dbd3ae38ea4a0f9bb92d855cb70b6179be8`	69	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Frontend.Test/ContractApiIdentityResolverTests.cs`	`1b53e42b0cdbbda7d95383d439f9bf378472e3f2`	302	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Frontend.Test/FrontendLoweringTests.cs`	`72f97fdaefc590835115f1002a0d4154664bd4eb`	1,304	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Frontend.Test/ProgramLoweringTests.cs`	`43a6a1407530fdbc4c4ad149281544cd1696656b`	592	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Frontend.Test/SharpProof.Frontend.Test.csproj`	`0b25691c01687141bec45c5cf3ff0d95bfea170a`	19	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Frontend.Test/UnaryAndDefaultLoweringCoverageTests.cs`	`b9ad59201ea6c6bdaaff6474d726badf71096c76`	363	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Frontend.Test/packages.lock.json`	`bb7ceb3c74408ca631e190726b77d3e84dd4c210`	175	generated/derived	Luna-02	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Frontend/AssemblyInfo.cs`	`7241c59255622d1fea704206806aa646d13020ee`	6	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/CSharpPreprocessorSymbols.cs`	`6d31103bb8e69bbb737b9e90c25c7f271a939f2d`	56	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/CSharpScalarSemantics.generated.cs`	`8e4839d612ff77e3a33e912a3da9223f087a982e`	253	generated/derived	Luna-04	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Frontend/CSharpScalarSemantics.json`	`95251abd3633fb3c17bef948ca8e2a8fbd262279`	384	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/CompilationModelProvider.cs`	`4f2dffe73f86c0d5fbfd7ba2d1486286360d4627`	61	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/CompilerConstantAdmission.cs`	`abfb3226fce94c0508c7c135db7f2afbdfdb2a5d`	36	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/CompilerIdentityBridge.cs`	`7c56d088d5b49d9de0ad247243742bb6f08a02f5`	236	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/CompilerIdentityProjections.generated.cs`	`9e9bfdaaf1bb00f866ebcd85b318b9e08628e570`	36	generated/derived	Luna-06	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Frontend/ContractApi.catalog.json`	`f437684a9f0007376bc2f5377e84f94c48b0593a`	112	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/ContractApiIdentityResolver.cs`	`23768695502070a46ea85a11daf52bad9e4110e7`	530	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/ContractApiMetadata.generated.cs`	`c6e4dbdc0402c485f54027fae73e7b7e2df0c043`	265	generated/derived	Luna-05	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Frontend/ContractApiMetadataRuntime.cs`	`c677b8820c1b0afd28464a9a34b1abc33a693b84`	71	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/DeclarativeModels.generated.cs`	`389739101a3172b0c49b474885a41dc8bb653ba7`	88	generated/derived	Luna-06	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Frontend/FrontendSubset.cs`	`2b5286436103f8ef4e2ea7467bf7d92fd731b31a`	153	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/GlobalUsings.cs`	`586049470f87fb37d3160aee488bc61ca6405c60`	7	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/OperationSubsetClassifier.cs`	`02c9dfdd88df13bc20d4102d423aa533635be32c`	62	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/OperationSupport.catalog.json`	`9b3e970f2d2462e4aa399df1f89731cd3a4f3e38`	84	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/OperationSupportCatalog.cs`	`17ae24b19337149c60d8535779f2e07cbbf8bc31`	27	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/OperationSupportCatalog.generated.cs`	`6cb4c47d1f65055881567cf32b4c2b798c8c0f03`	93	generated/derived	Luna-01	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Frontend/OperationSupportProjections.generated.cs`	`ed0e8785dfdb8977023b144bc281e3634968406a`	23	generated/derived	Luna-06	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Frontend/ReferencedTypeSymbols.cs`	`e30ba3d412beb1b3ef38c8bade2054cc93b18341`	54	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/RoslynOperationLowerer.cs`	`b465be16b4633f64cdf4a539dff704ccc2344d6a`	987	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/RoslynProgramLowerer.cs`	`c52e24b829d4c522e2199cbc6989c7179778cf3c`	607	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Frontend/SharpProof.Frontend.csproj`	`454d4ae547c4c300d28728e6e442bfe8c7806529`	79	packaging/build support	Luna-07	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Frontend/packages.lock.json`	`67f22e3df47d9c9345ce8049523bf37ad06bd631`	135	generated/derived	Luna-08	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Fuzz.Test/FrontendSemanticEdgeCaseTests.cs`	`ece464dbe20056d75e3a9bd0958d71f270690861`	259	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Fuzz.Test/FuzzRunnerTests.cs`	`8881e39efd1a86e39b9541f723f794295cd87554`	536	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Fuzz.Test/SharpProof.Fuzz.Test.csproj`	`2650166addc144127f1bb7a166cdd67126db3954`	16	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Fuzz.Test/packages.lock.json`	`6f72bd42f66f0aee09aaceed748dd06bb44e8236`	242	generated/derived	Luna-10	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Gates.Test/CorpusGateTests.cs`	`24b0cb3283d9ed35c9c1b8413e66a67cc802722e`	247	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates.Test/PerformanceGateTests.cs`	`ec809846219307837f85696ab765aca90b41181b`	656	regression evidence	Luna-03	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates.Test/SharpProof.Gates.Test.csproj`	`f9f0503ffed8fe6f6f1070da1aa2e44795129dcb`	27	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates.Test/packages.lock.json`	`706c0f355877e49b2a9a902807d266939429ee1c`	346	generated/derived	Luna-10	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Gates/AnalyzerGateHost.cs`	`7bc3ae23a90ac5dcd2ad04a93eba622221255f29`	333	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Gates/Corpus/CorpusCatalog.cs`	`dad5accb06388cb650610e2c85d2675e1ac2c8ad`	446	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates/Corpus/CorpusGate.cs`	`4eecf95edc38fef6a8bd5cf543c63f24f6ef521a`	759	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates/Corpus/CorpusModels.cs`	`d00d62f558f8ab1adec14b232c5a93f56a8ac65d`	129	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates/Corpus/CorpusSnapshotFormat.cs`	`0cf0715d77e5b52b6b689e745217811e2d8b4235`	87	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates/Corpus/Import-OssCorpus.ps1`	`6974d59cc8493f300f733841bb9addd3886ca7c6`	34	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates/Corpus/OpenSourceCorpusCatalog.cs`	`31be07ed55958088e66f7e7e39a97d717bd98690`	366	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates/Corpus/OpenSourceCorpusImporter.cs`	`a098696b4053a02d3b4d01e92348fb6e7f2e4a4b`	466	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates/Corpus/OpenSourceCorpusRunner.cs`	`087d92bc3ec181139e41fd774792d799e4617aeb`	244	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates/Corpus/README.md`	`37e5618e399341c4f892c2585e9fffd2389fe30a`	75	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates/Corpus/expected.canonical.snapshot`	`5f1b3e6735417d30c4cdd997efa1e70c19bcb15f`	483	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates/Corpus/oss-methods.json`	`3e07b0944e3cf39600f2a1a8bb7ea7cee939e61b`	3,017	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates/Corpus/proven-to-unknown.json`	`d51fddd581d88e6fc750f0e1bf42427571e06e1f`	4	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates/Corpus/third-party/aalhour-C-Sharp-Algorithms-LICENSE.txt`	`524e114e81d56bea7f4219ffefe2531f02d168a8`	21	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates/Corpus/unknown-reason-ratchet.json`	`7f7d3025a2109f0aee40a8598185eef4ce910021`	15	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Gates/Performance/AcceptancePerformanceContract.cs`	`185281ead1066d166e92054a97d461db90a08008`	51	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Gates/Performance/PackageBuildEstimator.cs`	`0c121af90f12f969f771d4990fa04111cc8f7da6`	215	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Gates/Performance/PackageBuildSdkPin.cs`	`26218f26ed7616c212fa710ff6aacec72bb20485`	139	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Gates/Performance/PerformanceGate.cs`	`ec827b0032cf0a5a1694755adffbf92064ae6448`	1,554	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Gates/Performance/WorkerPerformanceProbe.cs`	`49ce5b76191f3bba94e743086b8712d6211493fb`	840	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Gates/Program.cs`	`7de30633d7c948b6edeb984f4fa31577a0168e43`	186	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Gates/README.md`	`1dc34dea769812012ca86919db79330e5da5a959`	153	documentation	Luna-02	retained	Retained as current user/maintainer guidance or dated evidence.
`SharpProof.Gates/RepositoryLayout.cs`	`d79c905173c32c8b455bed171f78acc91d1f4470`	26	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Gates/SharpProof.Gates.csproj`	`d9b8ce98a1a8c89d2d31a984eaa491695d6a7fb1`	48	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Gates/packages.lock.json`	`69f57ffb85f8e8054c9ad4cf84b9f25d2cc628da`	232	generated/derived	Luna-05	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Host/ContainerContract.cs`	`dd97cccf3c73f1d3f29945b1bb2b28bc098be94a`	267	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Host/ContainerNativeLibrary.cs`	`58270a8eee2348ff01856d78187c487112173964`	67	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Host/LinuxPathIdentity.cs`	`865f55b00380bda7930be29012acfdcfabcee90b`	953	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Host/LinuxWorkerProcess.cs`	`9d16724279bb3fd8ae67991f25c71b7273b7030d`	268	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Host/SharpProof.Host.csproj`	`a2479ff2be082af73aafa2784ee6f44f64614f35`	21	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Host/VerifierDiagnosticTransport.cs`	`9cdbc6a56a6e35713d34490d82f61ba44ff42c9f`	101	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Host/packages.lock.json`	`4a6311504a805cc2ce4955c348e66c432c218205`	13	generated/derived	Luna-05	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Ir.Test/ArgumentNullGuardBoundaryTests.cs`	`502eb78b1549e1317d495bf6e7216c97494608ff`	70	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Ir.Test/AtomicFileTests.cs`	`2baa719d7f2b1619afba547aa89c69255ebdfc0b`	103	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Ir.Test/CanonicalHashWriterTests.cs`	`ae7b1350af5a013dc092808fde5bab2cb8195683`	152	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Ir.Test/IrIdentifierTests.cs`	`fa06166015e1f6c9f2fb8715d6a1c95b7cf6e465`	82	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Ir.Test/IrKernelTests.cs`	`a297f78cb92daa9c5857ad82c91d1940dfb0a294`	1,105	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Ir.Test/IrModelSchemaTests.cs`	`dfb272e2712244257a35c26db13b72b3b1402205`	491	regression evidence	Luna-03	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Ir.Test/IrOperatorCatalogTests.cs`	`b913bd961328448fb817faa7dbc5b440c8389f7e`	165	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Ir.Test/IrProgramTests.cs`	`bf46b3ef93b8f38d3d4ec018de818cdb051ee552`	611	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Ir.Test/IrTraversalTests.cs`	`6f75ddbd93548e7567c7c50097e8534d209d2049`	107	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Ir.Test/SharpProof.Ir.Test.csproj`	`5530f1f55db8b53007f3574145ba7f35f8097438`	16	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Ir.Test/packages.lock.json`	`2fd65b70de2c6bfcda21f1f500e6895524ca8558`	134	generated/derived	Luna-10	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Ir/ArgumentNullGuard.cs`	`8e0d9bc1d4ff1d85e5065e81e6d0a07e2bc95831`	116	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/AssemblyInfo.cs`	`6361660de7191611a870cdceffa82a555395a075`	9	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/AtomicFile.cs`	`b8c17a864f056f0a51a4373224e2423f04aed4fb`	134	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/CanonicalHashWriter.cs`	`2c1de3cd1b313bab0e61a471e6091f63e2a530fc`	167	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/GlobalUsings.cs`	`ad47cb773f6a2a4a0487ec223785f310104f6da1`	3	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/IrFactory.cs`	`705b6ddd7107722ab0b41381c4af6975135a7c95`	820	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/IrIdentifierAliases.cs`	`81157a6617e18b1e255d70eb2450ddf969e6b300`	23	generated/derived	Luna-07	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Ir/IrInterpreter.cs`	`b1a183ef58f86fcba5aaed179145c03cb51ed3ef`	539	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/IrModel.generated.cs`	`05bdcbcc3311321a150ac321f5cb57560e63abce`	1,043	generated/derived	Luna-02	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Ir/IrModel.schema.json`	`cbf353a2d27274e3cde03dba712da41712825d50`	1,109	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/IrOperatorCatalog.generated.cs`	`42d75487a3ef3686c0aecdb46fe16524bf95fa2b`	110	generated/derived	Luna-03	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Ir/IrPrinter.cs`	`fa73068cac91f3f9c9a1dc2b7ef687da3d1ec575`	69	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/IrPrinterProjections.generated.cs`	`0b2ba5ccd07b660fddc3067065f1fe9ef653e816`	33	generated/derived	Luna-07	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Ir/IrProgram.cs`	`58da0667df155d689bc2b11006ef608f0ff41900`	41	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/IrProgramBuilder.cs`	`4bc53ba89055c3026124d3db4f6bcb8e09aa46b0`	352	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/IrProgramInterpreter.cs`	`02e40d23f4dc0dcd86735a2b7e618d0f7973b6e1`	257	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/IrSemanticTerms.cs`	`408520b3d1c5b76cdc8ed0051881047be65048e0`	166	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/IrSubstitution.cs`	`a49a4a60919a568d8650c2e61648aa7a48dfcd3d`	153	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/IrTermServices.cs`	`77eba4f4d157ad5aa79ed65d1b877cae8b539d54`	283	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/IrTraversal.cs`	`74c9c29d90c774c53024d728b75f76444708b918`	54	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/ScopedIrId.cs`	`fb7896076a47112dd381b11305bfad9db3426328`	36	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/SharpProof.Ir.csproj`	`d47e9b8fc0bbb9a7c7ba890dc1aa62712fbc3f49`	25	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Ir/Utf16WellFormedness.cs`	`8337f2a45aad6429b39a063d4c6b829619142c8d`	30	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Ir/packages.lock.json`	`f29a838f0a90ee466adc75ac6bb00bf17885ce97`	62	generated/derived	Luna-08	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Meta.Analyzers.Test/DiagnosticDescriptorCatalogTests.cs`	`1a6ce518b30639f15af1aa04e125a9ec208dfca3`	16	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Meta.Analyzers.Test/SharpProof.Meta.Analyzers.Test.csproj`	`7fd45e621a6b1c79ee6a45277cb51b9cbbf7c2a7`	21	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Meta.Analyzers.Test/SharpProofSoundnessAnalyzerTests.cs`	`36756a82969dc5a595e9d4d0e5eafa4c3501fcd4`	1,945	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Meta.Analyzers.Test/packages.lock.json`	`78ba17bbb62762648cf92b1777b6de12e4354d09`	164	generated/derived	Luna-09	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Meta.Analyzers/CacheSoundnessRules.cs`	`57f0decb99770a2c4ae452e9def53faadacb2f06`	360	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Meta.Analyzers/CancellationBoundaryAnalyzer.cs`	`4ae3569e0df465fd7632c7f8eff68d438923b198`	769	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Meta.Analyzers/MetaDiagnosticDescriptors.generated.cs`	`0e606b7b63ae9a643582e79aabdbb0b852d12d4f`	149	generated/derived	Luna-08	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Meta.Analyzers/SharpProof.Meta.Analyzers.csproj`	`f01f99aa755ab10c4ab8ddf0a4c0efb909d92a0a`	18	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Meta.Analyzers/SharpProofSoundnessAnalyzer.cs`	`ddcf066a28e69c86c0bfe8a0b4e793a5b7c2ca66`	539	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Meta.Analyzers/packages.lock.json`	`b234f8309aea57a0f0944d542fcfbdab3cd5073c`	129	generated/derived	Luna-03	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Package.Test/BuildTaskTests.cs`	`8c76adffe2cc65c54a196e9c0dc82ccc3cb96a0b`	1,961	regression evidence	Luna-03	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Package.Test/DependencyAuditScriptTests.cs`	`9d635fb128d548061df48c735f80785773da6a64`	659	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Package.Test/FinalCompilationProbeTests.cs`	`d4c090a8f6280a75b6c2b96f3e463385a45ce8ec`	954	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Package.Test/IsolatedPackageFeedConfiguration.cs`	`39d12ff98511127e1779454f1b56f0678907e260`	73	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Package.Test/LauncherArgumentTests.cs`	`d1700dc889517ca3a20047c252eccd16022e747f`	1,960	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Package.Test/PackageLayoutSmokeTests.cs`	`126eea06f5e93e735afe6862fe675d1578998e29`	3,158	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Package.Test/PackagedProductFeed.cs`	`2352aa443242844207b5353a88cf042d1af93b17`	382	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Package.Test/ProductBuildOutputs.cs`	`0c7c688041869fb12fbce9932ce86fb7326a3a87`	48	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Package.Test/ReleasePublicationScriptTests.cs`	`a27302b1527474a23fc2690fcc670322d163b58c`	1,039	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Package.Test/SharpProof.Package.Test.csproj`	`40647776480c8a0a75bc6f5a5bd463f5724828e7`	32	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Package.Test/WorkerMsBuildIntegrationTests.cs`	`90b71835bdfb277f1edae6c54b28d61721aa9a0f`	4,248	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Package.Test/packages.lock.json`	`7250816fa9fe10574c6486eaa55a46338acaf6be`	355	generated/derived	Luna-03	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Package/SharpProof.Package.csproj`	`d53f41f5eb0030f1479dbd8625797f637d955128`	48	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Package/SharpProof.nuspec`	`bb40e8f6a99ed73d27fab20eabf1bcdb98e36a79`	68	product behavior	Luna-07	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Package/buildTransitive/SharpProof.props`	`188950c533c8a1f0366f6e07c2c545bb35cf6051`	19	packaging/build support	Luna-08	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Package/buildTransitive/SharpProof.targets`	`2d1a6a793d09061d0ff15cfbc977911604905074`	91	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Package/packages.lock.json`	`209533eafb5c30bd48737473977e2d5c3b52c4be`	24	generated/derived	Luna-02	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.PackageMetadata.props`	`85b9c7886a8d5776dfa2b44dde71918183d1135c`	16	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Portable.Tests.slnf`	`ddfaa7c5ffbd81db6fed1bc753f2d651dd0c1d27`	21	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Projection.catalog.json`	`1e13cf9f12a9c17dbc1de41a9a76144e7e806eb0`	518	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Release.props`	`1db702ea98465409ac657c4a0cd04eb1a94f1240`	16	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Semantic.Tests.slnf`	`c37f8e4d2d2f5a8017b9344f1e3136fa818f7c82`	24	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Smoke.Net472/SharpProof.Smoke.Net472.csproj`	`4bc395dcee6473d83c4e2677ded09fa2846a5a52`	11	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Smoke.Net472/SmokeMath.cs`	`212262422d1ae59b3e034699eea2def6aa96217f`	14	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Smoke.Net472/packages.lock.json`	`388fa9876aa0b19a733f3d5222eaf1184ab9ec18`	25	generated/derived	Luna-10	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Smt.Test/ArgumentNullGuardBoundaryTests.cs`	`2be8be7316239dadf390730a80c4526b5bae21e8`	24	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Smt.Test/ContainerNativeLibrarySetup.cs`	`47e7144bcb120bb3a986d385c8f1a1b604c72b91`	15	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Smt.Test/GlobalUsings.cs`	`6bfb683cb9c893a768e085fb203dfe567154997c`	4	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Smt.Test/IrSmtBackendTests.cs`	`807f4bcb317bc207191abe2ec3b2dba4e541287d`	762	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Smt.Test/SharpProof.Smt.Test.csproj`	`6eede4fb66471aec5f866996e00cfcf8f89382b7`	17	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Smt.Test/packages.lock.json`	`4ba6d21e9ef41855cc3e20eb08bdae5016e12ccc`	166	generated/derived	Luna-06	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Smt/GlobalUsings.cs`	`9f7603b094060da170e7026c3bdf2c89bed8b0fc`	10	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Smt/IrSmtBackend.cs`	`f36a3291a52a7acf0d209bb9fc74c373e92ded9c`	647	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Smt/IrSmtBackendOptions.cs`	`d97172cc527c1b13e10955533d6c4226a2852b19`	17	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Smt/SharpProof.Smt.csproj`	`b994329a4b14fb7a2de9a36ebc927997dfe29cfb`	26	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Smt/Z3ExpressionOwner.cs`	`5750688fd14dc9058fef4dfecb94b80bc2e16c88`	47	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Smt/packages.lock.json`	`07574c5806b291a5dd23faf5013286be9ffb373c`	88	generated/derived	Luna-02	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Specs.Test/ApiSpecInstantiationCoverageTests.cs`	`a200a2567f24ed1d61261176df7023e38268ae9a`	542	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Specs.Test/ApiSpecRuntimeOracleTests.cs`	`414ea95f5c470bb41e2a21103312987989fd6e19`	1,821	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Specs.Test/ApiSpecRuntimeWitnesses.generated.cs`	`916e0d65cfa4e6d5a0a7e1c4bd71d15a15bcc18c`	31	generated/derived	Luna-04	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Specs.Test/ApiSpecTests.cs`	`0605ea4f4111c51f92d015419930eb4e473d14b9`	1,196	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Specs.Test/DefaultApiSpecCatalogGenerationTests.cs`	`1b87f00717ca4c2111b38d9cebdb41a474965730`	762	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Specs.Test/Generate-ApiSpecRuntimeWitnesses.ps1`	`364f8a8bad08a9ffc37525652ededbc27bad0433`	136	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Specs.Test/SharpProof.Specs.Test.csproj`	`e5034c5a6a32a672e735af61def3e93c86fbe5ef`	36	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Specs.Test/SpecIdentifierTests.cs`	`8d593be11bb123fcb5a0127ffdf97d4cc399adbe`	42	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Specs.Test/packages.lock.json`	`f4fbaa139dd6a7e1e42fc7a2467596fddfb1df5d`	218	generated/derived	Luna-07	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Specs/ApiSpecContentDigest.cs`	`e967c8f8c5052657f228eb7b7a8750359690896a`	108	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Specs/ApiSpecInstantiation.cs`	`694a5f603682938320f6eda7454e0a226c6c4a6a`	306	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Specs/ApiSpecTable.cs`	`462ac7c8049d07f78b4dd0dd0c60a7a3967a4baf`	353	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Specs/ApiSpecTermValidator.cs`	`eb344e24b1d95fa38901e4c6d36411ff5a8abedd`	226	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Specs/DeclarativeModels.generated.cs`	`74a32cfba35f3ec3f8e0874cfb90d76a2a4be173`	54	generated/derived	Luna-02	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Specs/DefaultApiSpecCatalog.generated.cs`	`45322ad44b76feb73da2d869270e8726496dfbc9`	497	generated/derived	Luna-05	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Specs/DefaultApiSpecCatalog.json`	`0c0073a95034aee719c836fc1c604b9d4a0f8c9a`	844	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Specs/FrameworkTypeMetadataNames.cs`	`73a01782fec748f454439c5ea5f33b2b6272c8b1`	38	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Specs/GlobalUsings.cs`	`ab32374fef1680434c8b08fb46899727fd68f091`	3	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Specs/Polyfills/IsExternalInit.cs`	`b05eb4a15a0aad4a7fabce90df95b9a1777e1900`	5	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Specs/Polyfills/NullableAttributes.cs`	`11cbd19f0af5ed3e38d10cde32a17c0860875a5a`	7	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Specs/RelationalSpecPackCatalog.json`	`9c3d48a0bc838b36300ce877cc23a88b8844842d`	64	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Specs/SharpProof.Specs.csproj`	`c83da69c847941fe6031e5fe6d2a9490157c7134`	17	packaging/build support	Luna-07	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Specs/SpecIdentifiers.cs`	`a007d41cd2127723ac5f94181236db0f0cd7d2eb`	97	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Specs/packages.lock.json`	`1e2eb35b4d03765bcea00b0d69e0b1989cf8e685`	68	generated/derived	Luna-08	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Summaries.Test/IrRelationalSummaryTests.cs`	`8fe5272e3a365fa59ec5877d88638b9dbd49e651`	854	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Summaries.Test/SharpProof.Summaries.Test.csproj`	`aa8f746f2d3a75e2724c4e1eebb1e0e6e8e0f527`	17	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Summaries.Test/packages.lock.json`	`10a53e38021702f5f4efd606e4880a1bbd4f3785`	141	generated/derived	Luna-05	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Summaries/GlobalUsings.cs`	`c35b0fc934a40f97abe1d114543b18e5a3d91879`	5	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Summaries/IrRelationalSummary.cs`	`e9792184857c277c3bcfba0ac4b4164bf8a538ab`	236	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Summaries/IrRelationalSummaryBuilder.cs`	`da7937dbfbe407d39f7621998cee825236c59018`	917	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Summaries/IrRelationalSummaryInstantiator.cs`	`9b3b4a270871aac68aa71595ed82628e3f688fd6`	125	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Summaries/SharpProof.Summaries.csproj`	`2a392f44621519401bf60be0e42861a697188a8b`	16	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Summaries/packages.lock.json`	`ce61c4fddb3c268abe5901e93485d342990c27d2`	68	generated/derived	Luna-09	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Testing.Test/IrCSharpDifferentialOracleTests.cs`	`698110c0d25216ac726bb12828dd51ecc62f49d0`	189	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Testing.Test/SharpProof.Testing.Test.csproj`	`49aa46fe95cd9d6848af7eca87a72e7371a0be8f`	17	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Testing.Test/packages.lock.json`	`c9bddee34ac40c0e5ec40b1620cbacc97a089481`	171	generated/derived	Luna-06	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Testing/AnalyzerTestHost.cs`	`413ff13f04942b81a92e0aa606727187cc3c8406`	154	unreachable	Luna-05	removed	Removed in f262469ad: explicitly excluded from compilation and superseded by the active analyzer-test host.
`SharpProof.Testing/IrCSharpDifferentialOracle.cs`	`53d75fc46e02471b65420b6ce62fbe687b996dc9`	510	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Testing/ReadmeExampleAttribute.cs`	`6ae6ebad0008f665de93850b3ba43f17fc5f4718`	3	unreachable	Luna-07	removed	Removed in 278e9917a: explicitly excluded from compilation and unreferenced.
`SharpProof.Testing/SharpProof.Testing.csproj`	`ab83353734dbcbb2a3b036b4aa1557fc700abe43`	18	packaging/build support	Luna-01	simplified	Removed stale Compile Remove entries and the empty item group in 278e9917a and f262469ad.
`SharpProof.Testing/WellSortedIrGenerator.cs`	`31a911d87c2d1ac73def5ea56b6f587d3445072b`	233	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Testing/packages.lock.json`	`4f0745beae23886db6a6c484e4a34faa06417c3f`	56	generated/derived	Luna-03	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Verifier/SharpProof.Verifier.csproj`	`185386cb503d791edb21d2b02db1e6e19c9d740f`	56	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Verifier/SharpProof.Verifier.nuspec`	`b754601ef0386924af2e3d4da67cf826e172473e`	63	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Verifier/buildTransitive/SharpProof.Verifier.props`	`a7e8e85f98ab7b243ea0c0e2744b0ae54d00c533`	38	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Verifier/buildTransitive/SharpProof.Verifier.targets`	`143959dbf96fd98ce827ce41bf8388e50ed31c17`	261	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Verifier/packages.lock.json`	`0204b1daa2b41f4fa8ecee4cbdf9bc8427b6db4a`	24	generated/derived	Luna-05	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Verify.Test/GlobalUsings.cs`	`076b200e74f0705cd42e1b437f425a59343376ef`	3	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Verify.Test/ProofKernelTests.cs`	`2f927226310e1c901b373159682f90525109382b`	349	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Verify.Test/SharpProof.Verify.Test.csproj`	`d6d2c6fea14ba170a1bb57674ae2aad16e4a1630`	16	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Verify.Test/packages.lock.json`	`35f1bb7d362f686b045c7024748b9db18de61d54`	148	generated/derived	Luna-09	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Verify/AssemblyInfo.cs`	`b3acef75a9f2189ca62a40b4dc0c5b9a404fb85b`	4	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Verify/Backend.cs`	`1c1f5f922cac199e7e36950ee7bd52e62e3961b1`	141	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Verify/DeclarativeModels.generated.cs`	`2c64609c0ee85ce1ff96f5a420f03c028ec447fe`	160	generated/derived	Luna-02	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Verify/Evidence.cs`	`b49bff1685f76d714ba0abece9f2cd575492d0b6`	139	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Verify/GlobalUsings.cs`	`f235612c21e42d7e05e3c841def24b137e220448`	8	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Verify/Outcomes.cs`	`5dc805960aa883e5b09129b2ff04bc1df4e2c2f1`	48	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Verify/ProofKernel.cs`	`d324ee8bd027a3cdc7eec0e21b553e9acfb4bc9c`	129	required safety/soundness logic	Luna-01	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Verify/SharpProof.Verify.csproj`	`622128da317f48acaf2325b06088df8fb2e48213`	17	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Verify/VerificationProjections.generated.cs`	`fe4e1c552f2cfde88a70f8304d9ff040bd9c32a8`	26	generated/derived	Luna-04	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Verify/packages.lock.json`	`ee157292e7338013af4c1cc918159e414a91bf83`	74	generated/derived	Luna-08	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Worker.Launcher/AssemblyInfo.cs`	`0d28cf5d8031760ee0e2408c9d80bd55abb82c44`	3	product behavior	Luna-09	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Worker.Launcher/LauncherArguments.catalog.json`	`9a08d00e5669ff354af30db167ae94ad1ac46cfc`	57	product behavior	Luna-07	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Worker.Launcher/LauncherArguments.generated.cs`	`6f634c8ebfc9246ec840193574cf577562cf32d0`	120	generated/derived	Luna-03	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Worker.Launcher/LauncherMarker.cs`	`597338b4b88ee2a347af1d22bab3934737de65bc`	3	product behavior	Luna-10	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Worker.Launcher/LauncherProjections.generated.cs`	`ecdf8eec2ae6f02f020b6f4564a48c1d115fc529`	103	generated/derived	Luna-03	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Worker.Launcher/Program.cs`	`e252b2a89818acc4f28d4e32debd4cad3ac0092c`	1,002	product behavior	Luna-10	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Worker.Launcher/SarifProjection.cs`	`dae9522037b393070c506dfa75427169e53868b0`	184	product behavior	Luna-10	retained	Retained as part of the declared three-package or Linux-amd64 product surface.
`SharpProof.Worker.Launcher/SharpProof.Worker.Launcher.csproj`	`71c27b9fa47ce959eabf80910a1ae8bf53643e33`	19	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Worker.Launcher/packages.lock.json`	`b0d07d3eac9bce5a09fcb5f77602caeda65fcf35`	69	generated/derived	Luna-01	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Worker.Protocol/ProtocolJson.cs`	`3bcf8b1ef9b2fef8b8929ce3e463b007a754bdd7`	887	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker.Protocol/ProtocolJsonSupport.cs`	`703fdf5129e463b98f3c216f464077cb5beec1ae`	319	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker.Protocol/ProtocolManifest.cs`	`a1b8a582d65f2edff36316065fcf241121c30cd4`	77	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker.Protocol/ProtocolManifestPayload.cs`	`dbed1bc725cacd22fef88496eec2fdbfc8c2200e`	47	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker.Protocol/ProtocolModel.generated.cs`	`1e5edd572a0d2716db6cf833687bfbbb1d7b53b8`	993	generated/derived	Luna-05	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Worker.Protocol/ProtocolModel.schema.json`	`e5f2d0f746a4218a4e35828bf9be6f9fd9f24fd3`	549	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker.Protocol/ResponseEvidenceAuthority.cs`	`780c169382a97eae40f644a09c73b29f1d3e4401`	11	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker.Protocol/SharpProof.Worker.Protocol.csproj`	`c6d8d1cfab3a44c15a7e0608f8d2c258880ee348`	26	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Worker.Protocol/WorkerCachePath.cs`	`5b273e89f339ff94d0952bba77f7d863bac97bb6`	16	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker.Protocol/WorkerExecutionEnvelope.cs`	`75382eabea45ef92a868d78df92dea504fd25178`	27	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker.Protocol/WorkerResultAssembler.cs`	`56c9f50857bf8cfa68bd53aa6fbd3d8c4085eb8f`	289	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker.Protocol/packages.lock.json`	`3da59fecc29ce6073634af4c566dabb5220c3aad`	113	generated/derived	Luna-07	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Worker.Test/AcyclicBlockPredicateExecutorTests.cs`	`8388e2668de0752c9b0576c37e8191b22718cf18`	749	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/CallableCounterexampleReplayerTests.cs`	`73ac06002983d7b12a97a464ad21fbc01e329ee8`	349	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/ClaimManifestBuilderTests.cs`	`f500aeac65bfef547121646e18f6b9c7c5c25f6d`	2,301	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/CompilerArtifactModelSchemaTests.cs`	`1bd6becc27da023106ef6e36196aeb8ae14ba633`	942	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/CompilerCallableLowererTests.cs`	`6bbdfb3622ad4a10ac7815adb17c77537d28eb80`	540	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/CompilerEffectReplayArtifactCodecTests.cs`	`8d7cd739e61b48967dcd8f9a5087a1bf7fddbaee`	251	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/CompilerManifestArtifactTests.cs`	`5ac257718b008036d255f06608ab347157362e41`	2,687	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/CompilerRuntimeSymbolArtifactTests.cs`	`8f6feab437fca3c1d49a1c66edbcf86d17eeb120`	167	regression evidence	Luna-03	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/CompilerSourceLocationAuthorityTests.cs`	`3d11906a1c7590caa7f15ea9f24d3b40517b8b03`	321	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/CompilerSpecificationPackProviderTests.cs`	`b26910353e5b6a3d5c3b6ec800fd795510e83d65`	432	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/ContainerContractTests.cs`	`3cf0225179fdecc423abfa8a0095f16d7f1f4280`	134	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/ContainerNativeLibrarySetup.cs`	`22f95dbf8ad97071dd9ea431cb48917fb0b9d281`	15	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/ContainerNativeLibrarySetupTests.cs`	`300350ef862b8611625094937d6d9109b7fccdcb`	17	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/EffectCounterexampleReplayTests.cs`	`28e9f2630f8ad96d15fee8cc9989fe344c8a598f`	658	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/ExceptionIdentityReplayTests.cs`	`4558ff8c527ef9c057b210ad9644434e3c647d5f`	403	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/LinuxPublicationSetTests.cs`	`873aba1daeaca156aa5101f75c4907f811eb5cbf`	822	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/PortableIrGraphCodecTests.cs`	`b4a60051df6b944ddc20628b8fb76c8dfa139073`	964	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/ProtocolJsonTests.cs`	`d706856d36b9ffeb4e3bd1424bc6cc42c7f0c6af`	2,122	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/ProtocolModelSchemaTests.cs`	`33a631b894e5a751ce52964aefb9f8fda6d95112`	687	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/RuntimeDependencyTests.cs`	`53c0bc15258881893a84829a4539781e542da101`	42	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/ScalarDifferentialMatrixTests.cs`	`28ed41024bbceda46264c855b7d795c433085c80`	1,055	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/SharpProof.Worker.Test.csproj`	`3c9ebc5dfc118f18b920f8b036f6e42f1026d28b`	28	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/SpecResultDomainProjectionTests.cs`	`34f30f8927cf0a6b07f80b2a64a0d654bf8b6cfb`	256	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/WorkerBinaryIdentityTests.cs`	`6c824f84c890362279e1348cc04504f581ba3be0`	516	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/WorkerProgramTests.cs`	`34bf745ab14998047923ef18bd66b92fa24b95a1`	326	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/WorkerTcbEdgeCaseTests.cs`	`5e95f1da640feb4373f1cfcc3fae058006811174`	1,698	regression evidence	Luna-05	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/WorkerTests.cs`	`c45c09d26932248acf907cf75f3640b810665f25`	6,795	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`SharpProof.Worker.Test/packages.lock.json`	`93d6e17ea099f4af1e71d936432925f4116c605d`	333	generated/derived	Luna-04	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Worker/AcyclicBlockPredicateExecutor.cs`	`a7b42d64c458fa870d06e3e7a7ef30cd72a8796c`	662	required safety/soundness logic	Luna-10	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/AssemblyInfo.cs`	`fadb4e8a39814f189d80db8035abc62940668c6b`	3	required safety/soundness logic	Luna-02	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/CallableClaimResultAssembler.cs`	`200419b9576f913847d61255a0b8e67fcac5322f`	158	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/CallableCounterexampleReplayer.cs`	`61277da17eb9ccf0a166baa6fbc76731c56d6747`	109	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/CallableEntryFeasibility.cs`	`c341002354439a3acb8734d10b02854beb002641`	211	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/CallableEvidenceBuilder.cs`	`e3a9b8a8f4046836058c96d7cd4e6501f8c0663b`	415	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/CallableVerificationPolicy.cs`	`fa8c6aae96d0b064979a6148943d3c4dc58d5e6c`	92	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/CallableVerifier.cs`	`dc511e718f48816954506a831042f27331b773ce`	343	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/DeclarativeModels.generated.cs`	`f33a76ce56e25d4b541453bcce4af7d8da4f02d4`	127	generated/derived	Luna-02	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Worker/EffectClaimResultAssembler.cs`	`983b4b78f93b1f753211403b6a1a7cedcf7a1dce`	127	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/EffectCounterexampleReplayer.cs`	`0a09fdb19fb2b2553b31e2a089285587aab2f781`	296	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/GlobalUsings.cs`	`f94b680ad2c90df307ba9e45a112d16682b4b37c`	15	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/MethodResourceBudget.cs`	`f66cc3926b2812ee4f81cecf35edc49c710454f9`	54	required safety/soundness logic	Luna-06	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/PostconditionObligationBuilder.cs`	`221425bfab9ddb24d8f0a08e6d9bc8a15e86f591`	186	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/Program.cs`	`39677735bbc7c1c0a52dad4bd887a9ff1f3aa7f5`	188	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/SharpProof.Worker.csproj`	`860b5e0ad773b545957b25d634346278e607bfe8`	32	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`SharpProof.Worker/SharpProofWorker.cs`	`c51d919646ecb0e53bd9c1c66655b35229c556f6`	549	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/SpecResultDomainProjection.cs`	`bb4dba2bc904804e10d0e6d357e3b1d215e6fcda`	162	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/VerificationCache.cs`	`f80d15838d203be5b42e37b6e44eaef64bbf41a3`	589	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/WorkerInputSnapshot.cs`	`b959c849c643199d599f18c9bd94677ac884cc88`	92	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`SharpProof.Worker/WorkerProjections.generated.cs`	`21b49114fdfd0deb75cd67cf14bdfb3419576496`	85	generated/derived	Luna-07	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.Worker/packages.lock.json`	`b308b86cd6611419ead853ce205be29bee5a4331`	98	generated/derived	Luna-07	retained	Retained with its owning catalog or generator and parity checks.
`SharpProof.sln`	`764ead33b974ce36489bd7ce8fb1cafe935cc707`	300	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`THIRD-PARTY-NOTICES.txt`	`1551d4ef98094d493b12b8de2fe477030671309b`	51	documentation	Luna-07	retained	Retained as current user/maintainer guidance or dated evidence.
`Tools/SharpProof.Fuzz/FiniteDomainSmtFuzzing.cs`	`8a0c04d4c04de06761d2f197f7c9ed663208aa54`	615	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`Tools/SharpProof.Fuzz/FrontendFuzzing.cs`	`8d7bfed86b08de5d375055bcb97ba33ab40db6b0`	2,043	required safety/soundness logic	Luna-04	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`Tools/SharpProof.Fuzz/FuzzDifferential.cs`	`c4696c3eed0b0d80ad8bad7623520c45e5924092`	8	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`Tools/SharpProof.Fuzz/FuzzOptions.cs`	`12493818d89b28b2c6c95cab9e3f6c354bfb1095`	108	required safety/soundness logic	Luna-07	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`Tools/SharpProof.Fuzz/FuzzRunner.cs`	`306ea0d5b14fb0cf48b66dc6bfd7b21338885618`	562	required safety/soundness logic	Luna-08	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`Tools/SharpProof.Fuzz/PartialTermSmtFuzzing.cs`	`dea54a2c7fa18db7285691c5e0e4f5d4a57275d4`	426	required safety/soundness logic	Luna-03	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`Tools/SharpProof.Fuzz/Program.cs`	`0c3c2a93bf0737ab29fac66c82e6f354c6d0f4ba`	54	required safety/soundness logic	Luna-09	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`Tools/SharpProof.Fuzz/SharpProof.Fuzz.csproj`	`f42a98b7b32594d8faddfce209d413fdc65a183b`	27	packaging/build support	Luna-08	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`Tools/SharpProof.Fuzz/packages.lock.json`	`1c9cf7a5e88e2ac4facdd0506b8c217ee73db1fd`	128	generated/derived	Luna-06	retained	Retained with its owning catalog or generator and parity checks.
`compose.yaml`	`9f5cacafa1e107f6c44db537b036760dff3ce61a`	142	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`docs/README.md`	`9c490885b9b8992d06815ca28a37ae4e20a9a1d0`	176	documentation	Luna-10	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/analysis-limits.md`	`c9963d9a2b92995a617be9603c90aa0c63ba05d8`	261	documentation	Luna-03	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/api-spec-catalog.generated.md`	`5453fb5705a5986036639db62c1b9bab4d476a5c`	49	generated/derived	Luna-10	retained	Retained with its owning catalog or generator and parity checks.
`docs/architecture.md`	`b2a1a60ae49c4b1d96247b6f45a15310698856ec`	398	documentation	Luna-09	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/container-development.md`	`604583ca085650d88116e5bace678cf1004e2ee5`	127	documentation	Luna-09	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/coverage-and-limits.md`	`f047c6a4e0b1a0cd8f9cad32fec39924d50d2663`	328	documentation	Luna-06	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/diagnostic-examples.md`	`62a339039f686231b2fd19511db1de37e01a4865`	364	documentation	Luna-07	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/native-smt-packaging.md`	`c0ba0da7d37f2d1013e9c3d25b0398f0c39be9f5`	74	documentation	Luna-04	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/preview-support.md`	`c5a3cf95042928bf98aab59cf211b5f59247f917`	61	documentation	Luna-09	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/public-api.md`	`41debf6d7b7660a1e636e5685406792deab53080`	89	documentation	Luna-09	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/release-constants.md`	`cf1b259dafdc74be36325bfc4f9151585d8564fb`	45	documentation	Luna-03	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/smt-lifecycle.md`	`bf7d8cc32ed714ef224ba5480785467891cb43f4`	86	documentation	Luna-03	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/soundness-notes/2026-07-25-api-spec-result-domains.md`	`133ceef688e977aa48e4411e64312e45a5ec0eb9`	70	documentation	Luna-05	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/soundness-notes/2026-07-25-hardening.md`	`cae03cd8c2e773be1071280355b9eaa867e65a20`	105	documentation	Luna-04	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/soundness-notes/2026-07-27-product-sweep.md`	`139d3a86810c807b6603e4d460cb7ecb42fffc2a`	85	documentation	Luna-04	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/soundness-notes/2026-07-29-formatting-neutral-source-metrics.md`	`19f39b94791812d880e5dafe64e135b5e4acba67`	45	documentation	Luna-09	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/soundness-notes/2026-07-29-production-hardening-refactor.md`	`cbac5eef5335e3abccd7d982a752c55af30bbcb1`	52	documentation	Luna-10	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/soundness-notes/2026-07-29-readable-format-coverage-baseline.md`	`620b795699ebf18872dca2d15a32ee9aed80924a`	46	documentation	Luna-03	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/soundness-notes/2026-07-29-semantic-precondition-vacuity.md`	`b231673a7cd6e577fbd661c93f970170cb46265c`	63	documentation	Luna-10	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/soundness-notes/2026-07-30-allocation-effect-replay.md`	`06fabb816d70dc51373bb2185029069361b1f9a6`	89	documentation	Luna-10	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/soundness-notes/2026-08-08-coverage-authority-and-tcb-ownership.md`	`36dc955c4f7d4dd9818843a2856892905c941b12`	47	documentation	Luna-10	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/soundness-notes/2026-08-08-relational-interprocedural-verification.md`	`7b0ae7b9d25d12a66e71c8846bfaf72b72666b81`	74	documentation	Luna-06	retained	Retained as current user/maintainer guidance or dated evidence.
`docs/unknown-reasons.md`	`77b87e776f5c14dc6164f16ea35945b0b12e2439`	375	documentation	Luna-09	retained	Retained as current user/maintainer guidance or dated evidence.
`eng/acceptance/README.md`	`20f1689ceb4e3b063b57b1b97c2b8fb144bcc181`	121	documentation	Luna-01	retained	Retained as current user/maintainer guidance or dated evidence.
`eng/acceptance/Verify.ps1`	`5e648ac9c968d98d4507ebb9187cfb8f747946d0`	796	required safety/soundness logic	Luna-09	corrected	Moved the dotnet helper before its first use and removed unused private metric output in a6be80f6b.
`eng/acceptance/algorithm-size-ratchets.json`	`bbdb276d8abb7be255384a19649ab7c9194e69fa`	124	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/acceptance/contract.json`	`aa1c5063bb673ab652110078ed0c1aaf999d77b7`	878	required safety/soundness logic	Luna-09	corrected	Rebound measured production and coordinator complexity ceilings to executable current values.
`eng/acceptance/preview-evidence.v1.json`	`147d2f3e2b5bbf19b4190e3d67dbc77ffc2e703d`	26	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/acceptance/preview-interface.v1.json`	`9e84042340aa933ab8bdb42dc095e76211ea51d1`	43	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/agent-notes/archive/comprehensive-audit-register.md`	`75c3947cd228bfb5c5afb9e35cd940f8f8c0312e`	149	documentation	Luna-01	retained	Rejected deletion: fixed historical audit evidence, not current product machinery.
`eng/agent-notes/archive/preview-debt.md`	`78dc01162442d9d0b2ead8c2c602be5a69b015d0`	57	documentation	Luna-07	retained	Rejected deletion: fixed historical audit evidence, not current product machinery.
`eng/agent-notes/archive/queue.md`	`57da58d1a95890c26db9ad8bb2d6ea6db23ad86a`	89	documentation	Luna-01	retained	Rejected deletion: fixed historical audit evidence, not current product machinery.
`eng/agent-notes/archive/unverified.md`	`e60211983c5f342833b6d5cf4811bbb69c3b6820`	182	documentation	Luna-05	retained	Rejected deletion: fixed historical audit evidence, not current product machinery.
`eng/agent-notes/status.md`	`97e98d3ae34036a15473653cfdec07c6229ea43a`	27	documentation	Luna-06	retained	Retained active handoff; stale BUGS.md references are repaired by the final audit-document commit.
`eng/container/Dockerfile`	`33d7706265eb882e3977ac44b2d787125eabf8b0`	104	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/container/New-ContainerContract.ps1`	`3b23682ef171e56ed4ca83950d490fa78b5a2b59`	35	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/container/Prepare-NativePayload.ps1`	`8ccac1a91a3225887e2deece800c14f7c55fa9ff`	91	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/container/dev-command.sh`	`5c5bd4d0278a6a3d00816a1faa057b4126b9b5c8`	13	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/container/dev-init.sh`	`f5b3ec14d173f5130b8c1a67df52730969658ad8`	35	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/container/entrypoint.sh`	`7b7654eacf9a072b19f68f33d5a285fc00e0b84c`	157	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/container/toolchain.json`	`07f45bd934e1f11abfc008c3140794e3454dc09b`	43	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/coverage/SharpProof.Attributes.runsettings`	`a6923a11305adcdc7c0397cde5da503cc10bc54d`	26	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/coverage/SharpProof.Gates.runsettings`	`4430be04ebdde53e484cf47889ce24b8416451c4`	26	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/coverage/SharpProof.Managed.runsettings`	`15dab35660b8762197d799ee70160c3c05f7195c`	28	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/coverage/baseline.json`	`07b9e66b028434078e7cdbe7801f5bc49a027eee`	33	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/diagnostics/diagnostic-descriptors.v1.json`	`9427d4aef47eea9a06b8ae1c30c9cb609906617a`	454	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/fuzz/retained-seeds.json`	`10060da8a01ea6086816fdfc81461395da53d878`	7	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/generated/approved-outputs.v1.json`	`7f933a0ced4f4d8568b8fce1309d4413d47903b3`	46	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/pilots/ArdalisContracts/ArdalisContracts.csproj`	`c7853ed7daac81df57fa3048b07b477acc9eb655`	11	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/pilots/ArdalisContracts/GuardAdapter.cs`	`05c621f49aa58901cc4de3e191ae385af519f4ed`	20	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/pilots/Directory.Build.props`	`a2769602b78fcfff53adf7be815a74daa07e8508`	23	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/pilots/Directory.Packages.props`	`5f9708a97f38de5ec3174674b50ebba430ba9504`	5	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/pilots/FluentValidationContracts/CustomerValidation.cs`	`5f466ac6f0f6816682bff55b2719ee005d3eba15`	31	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/pilots/FluentValidationContracts/FluentValidationContracts.csproj`	`a047f04795f9171394e857e8c9047eb391e93c9b`	11	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/pilots/OneOfMixedStrict/MixedAdapter.cs`	`bb45ba7e8c979567a3259ed28e0b1c791d974180`	24	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/pilots/OneOfMixedStrict/OneOfMixedStrict.csproj`	`2851e3f32be79167d539661f3793c0a80a3f36cb`	14	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/pilots/PollyEffects/PipelineAdapter.cs`	`0403adea724f2d9f0f2d62c5b18dffbc14bdd6bd`	17	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/pilots/PollyEffects/PollyEffects.csproj`	`cd5d4d678ef178e68d7611544dba0085aaea5768`	11	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/pilots/README.md`	`7b61af34135d50715bb515bfa1be323d4132482f`	21	documentation	Luna-04	retained	Retained as current user/maintainer guidance or dated evidence.
`eng/pilots/SerilogEffects/LoggingAdapter.cs`	`59b8c690856d07f75163d97c5abe0ada5b968f63`	17	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/pilots/SerilogEffects/SerilogEffects.csproj`	`54e977f18f4ab0772317fff5330671acf9899fad`	11	packaging/build support	Luna-08	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/pilots/catalog.json`	`dbcda794ef6dd701707b82c9d6f7f87ea58de584`	45	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/release/README.md`	`6b061b433221718b93642fd14f3f11cca23ba2df`	58	documentation	Luna-05	retained	Retained as current user/maintainer guidance or dated evidence.
`eng/release/environment-contract.json`	`636930fa1a755ba021567cd5d640029048ab6f91`	52	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/release/first-party-assemblies.json`	`b82b24917be33a127fca32cc48e21b08c91a64f0`	25	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/release/package-dependency-contract.json`	`2df5d8706efce87f57d423fd41a12d16e42e43f9`	57	packaging/build support	Luna-08	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/release/preview-qualification.md`	`8af2f0db75e725b0c61d2d8c5073cd6ad6cf6f5b`	27	documentation	Luna-07	retained	Retained as current user/maintainer guidance or dated evidence.
`eng/release/third-party-components.json`	`ee15d0b962b25147907f820114e90f79d049b2ef`	147	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`eng/testing/DiagnosticDescriptorCatalogAssertions.cs`	`442423c22e25ef92b6968086f1721795de221876`	233	packaging/build support	Luna-08	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`global.json`	`c29f7cf963f1fbd83f641b57653ad031e2e78760`	6	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`opencode.json`	`54671f74ce220b90343a7a48e30707eb87cf7e30`	4	required safety/soundness logic	Luna-05	retained	Retained as required analysis, verification, protocol, validation, or fail-closed soundness logic.
`samples/ContractFor/ContractFor.csproj`	`e0e5cadc9191e04b86f671542a2cab7fc9e66e2e`	10	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/ContractFor/ServiceContracts.cs`	`42a39b73cb548a22076107eb90cd5050f5e94bbd`	24	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/Diagnostics/.globalconfig`	`caed08108cf931d830bb8f239480ad0ea9dd53b7`	5	regression evidence	Luna-03	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/Diagnostics/DiagnosticExamples.cs`	`23360eb4806ce838c12cebdf2acf50427a8ad15a`	32	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/Diagnostics/Diagnostics.csproj`	`4be111bdbdacab065cd3191b0078cce715292dce`	11	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/Directory.Build.props`	`bf4e9ace7f897a803893be3e3a54b02a94b52290`	16	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/Effects/EffectExamples.cs`	`040cf1cd95a20b87b976dee86a53eed4e4676f02`	11	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/Effects/Effects.csproj`	`e0e5cadc9191e04b86f671542a2cab7fc9e66e2e`	10	regression evidence	Luna-09	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/Library/AccessPolicy.cs`	`a8faa7e1868d198bf9c83c82d72ede924bde24cb`	24	regression evidence	Luna-03	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/Library/Library.csproj`	`dd76a2f31ebc4617ca578713288c65414cf128f7`	20	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/Library/QuotaPolicy.cs`	`843e702e96c04620c5eb43382e9dc6a5ba8bac53`	24	regression evidence	Luna-04	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/Library/VerifiedLibrary.cs`	`44e303328335868da8ba8285009b35312ac22ca6`	10	regression evidence	Luna-10	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/MalformedContract/MalformedContract.csproj`	`e0e5cadc9191e04b86f671542a2cab7fc9e66e2e`	10	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/MalformedContract/MalformedContractExample.cs`	`c186c961ca987b9d498a64aed3c102e03feb58c6`	11	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/Outcomes/OutcomeExamples.cs`	`8c9812463ba4bbec89d1705924bcb79d0509e3a9`	22	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/Outcomes/Outcomes.csproj`	`ce6ed245d80f9e1e593c2d44c9809a2c80df669a`	11	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/Preconditions/PreconditionExamples.cs`	`48b96e9bc8f5f7aca966ab545a0430e35002f801`	34	regression evidence	Luna-01	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/Preconditions/Preconditions.csproj`	`e0e5cadc9191e04b86f671542a2cab7fc9e66e2e`	10	regression evidence	Luna-02	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/README.md`	`6a5051ec72b2189638adc38568db8ce2373067e8`	38	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/SharpProof.Samples.slnx`	`304a87157d59dce5c147792c1f437468388cfd36`	10	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/TrustedBoundary/TrustedBoundary.csproj`	`e0e5cadc9191e04b86f671542a2cab7fc9e66e2e`	10	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`samples/TrustedBoundary/TrustedBoundaryExamples.cs`	`8c45ee9567f4278f4e08811700aa79258d495448`	23	regression evidence	Luna-07	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`scripts/Assert-SharpProofFuzzRunnerResult.ps1`	`30c61e25039ca8c63bd10b7457e5d003843db8d2`	208	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Assert-SharpProofStandaloneGateResult.ps1`	`e50d0c7716df1ef3cda25f8fb31cdcc024a0a6d0`	166	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/CSharpSourceMetrics.ps1`	`f8e4728945210632171429c3df23f0bf3aeb455a`	216	packaging/build support	Luna-09	simplified	Removed unused metric state and narrowed the private result shape in fe35b3a62.
`scripts/Complete-SharpProofPilotReview.ps1`	`2a001a68b65bed018144fceccff734a133dff5af`	128	packaging/build support	Luna-07	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Format-CSharp.ps1`	`b4b57942052c915b1e100a130abdd55577b371a6`	89	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Generate-AnalyzerDiagnosticCatalog.ps1`	`6de1eafd9b9f02ef688abccac4bbb45dd185a23e`	97	packaging/build support	Luna-08	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Generate-ApiSpecCatalog.ps1`	`24e4de2cf308db7f46f51463550668d66c7d0ed3`	1,229	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Generate-BoundContractModel.ps1`	`85b46e7ec1a65f95b7f192b5311f4fe971cfd63e`	156	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Generate-CSharpScalarSemantics.ps1`	`c9edfe02c1dadd7fe8b44d6030c41e8435e87370`	1,164	packaging/build support	Luna-07	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Generate-CompilerArtifactModel.ps1`	`3b835656937262e4933a6a3f2c42403abb2e0ae0`	1,605	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Generate-ContractApiCatalog.ps1`	`33042a57f9a655fd84408723df545003d83ab254`	450	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Generate-DeclarativeModels.ps1`	`1bb8bbda5b42b9cb308f0ae0de0f1bff0a24f30d`	221	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Generate-DiagnosticDescriptors.ps1`	`4ded812125c9ad842432b653020cce9704d449a1`	308	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Generate-EffectContractMappings.ps1`	`0b9e9b884c709b5967e29297a7b62d4585bfa250`	235	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Generate-IrModel.ps1`	`c1e381889245c23bbe9b4fbdd86d43efa71d9c62`	637	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Generate-LauncherArguments.ps1`	`853f597f2b29d9fcbea4269a009377d8f1a9eaee`	408	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Generate-OperationSupportCatalog.ps1`	`65a64a399fa02523fcf90d016c478f987b453f88`	70	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Generate-ProjectionCatalog.ps1`	`bd4d8e33d5f3bc775601a979619a1cf219308ecc`	142	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Generate-ProtocolModel.ps1`	`fcb8cd5679792070d7f21057a8338307d70f28fe`	1,355	packaging/build support	Luna-10	simplified	Removed a 171-line if-false legacy generator branch in 278e9917a; generator verification stayed green.
`scripts/Generate-Readme.ps1`	`deefd95165c724f017d43c336f9508b19abdee88`	1,026	packaging/build support	Luna-07	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/GeneratedFileHelpers.ps1`	`efef644d1d4104752884840fab1d951c82d7b164`	147	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Get-SharpProofCoverageAuthority.ps1`	`55263c6df6a3ad0e9d0474d7d449fbba011ab3ac`	346	obsolete compatibility	Luna-09	removed	Removed in ddbb07305: no caller remained and production inventory superseded it.
`scripts/Get-SharpProofDevCheckPlan.ps1`	`651ecbab3d4f80933b8dc928cda700353d951f34`	59	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Get-SharpProofPilotPackageAuthority.ps1`	`e6c890f738a9ace1352357e63efa69933b3e6404`	54	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Get-SharpProofProductionInventory.ps1`	`8e2a050a0308c306a9c80113ec54db849b65c19b`	404	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Get-SharpProofReleaseAuthorityClosure.ps1`	`fac36b892e2aa38a98849c356f2354d39ebefc1b`	104	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Get-SharpProofReleaseDigests.ps1`	`bc69fc9d6420b2dfda79d46cf05a80ae9506db92`	457	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Get-SharpProofReleaseVersion.ps1`	`4a9834163d7f6721a2fe03347a3d736ecf80c960`	101	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Get-SharpProofTcbPaths.ps1`	`10b9a4f641e4cf5ea84b1fd5facf2c7d241f62f7`	87	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/GitHubEvidenceArtifact.ps1`	`b46d65169f9d914fed65778aede929597e95fe2e`	941	unreachable	Luna-06	removed	Removed in ddbb07305: its former human release-gate consumer had already been removed.
`scripts/Invoke-SharpProofChangedTests.ps1`	`aa3f7a1ed46f00237bfcc4bd530c07f8276e982d`	247	regression evidence	Luna-08	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`scripts/Invoke-SharpProofContainer.ps1`	`69d868d27f68663be5c2af508e5582bd3e1bf985`	453	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Invoke-SharpProofCoverage.ps1`	`4b032e1d8afced27f3fcfa865ff62c42b8585177`	252	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Invoke-SharpProofDevCheck.ps1`	`f2123f67eb3d753d512ad1d01afd408e49db04b8`	109	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Invoke-SharpProofDogfood.ps1`	`2d77bc2069b56caa06f77cfbcc4062174c00300f`	68	obsolete compatibility	Luna-05	removed	Removed in 0dd33b1d9 with the uninvoked MSBuild dogfood path.
`scripts/Invoke-SharpProofDotnet.ps1`	`1b803959fed01fdf81574e40074ac145f4af15a7`	83	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Invoke-SharpProofFuzzCampaign.ps1`	`c50a7d1b8cc163af3a8cd8184d336ddcc59984ec`	220	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Invoke-SharpProofGateEvidence.ps1`	`ee4c767f6b6ec50f0e79688665f26f78024cc8e4`	180	packaging/build support	Luna-08	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Invoke-SharpProofPackageTests.ps1`	`1b972a6d0746b8e060089ae343d21ae3b6475700`	501	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`scripts/Invoke-SharpProofReleaseContainer.ps1`	`99c9f51659a2c90c4cf59cee688cb5ee9ea2e68b`	258	packaging/build support	Luna-07	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Invoke-SharpProofSemanticTests.ps1`	`a4388c46a076e5b2f5d1821c06a0d02ad367df22`	341	regression evidence	Luna-06	retained	Retained as independent behavioral, packaging, or integration evidence; no assertion was weakened.
`scripts/Invoke-SharpProofTrustedMutationsParallel.ps1`	`46fbcfff2653100fe01e862960546d3139a03da0`	400	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/New-SharpProofReleaseEvidence.ps1`	`7005edb907ed45809c4f3de58a9b58883dfcb551`	984	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Publish-SharpProofRelease.ps1`	`7d802c5c4f5bea36f792ae8240e8a18cbe2cfd15`	1,014	packaging/build support	Luna-08	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Resolve-SharpProofContainedPath.ps1`	`563956bb1b42071faf5c08b9a7d90e4e98035bd0`	123	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Resolve-SharpProofReleaseCoverageBaseline.ps1`	`70ff60f1c2701bab1854700b7f82f3de1e1ec0ab`	125	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/SharpProof.ContainerExecution.psm1`	`48e21b99797e2deefaef4b0784d24cdb67623953`	105	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/SharpProof.FuzzEvidenceLifecycle.ps1`	`4a48f6765cc7851c76b202a9904193a173aebdd8`	197	packaging/build support	Luna-08	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/SharpProof.MutationBaselines.psm1`	`0ea6f329b41807af7a254f22e5dbe75f7d9b277a`	100	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/SharpProof.MutationEvidence.psm1`	`fd8e3a18694d565a4a91c19b6817bc404892000d`	699	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/SharpProof.MutationScheduling.psm1`	`04af32fdf040dd903a76f73ff0f37924e762f7f0`	76	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/SharpProof.PublicationDestination.ps1`	`bd90ffe83d54219f78964adcc6fe780da35ba5e7`	395	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/SharpProof.PublicationPlanIdentity.psm1`	`2abe08ab7e0fe6d2349182f522178d8aac691f1f`	479	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/SharpProof.PublicationPlanTopology.ps1`	`513fca09f7e49682abe2943a2245627fc3b15fc0`	177	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/SharpProof.ReleaseChecksums.ps1`	`cdfc0d4e69e0ed71477b4e999f0c908a6b95e648`	235	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/SharpProof.ReleaseJson.ps1`	`8a25c223e0fab650c1d68b8746d613b1fcca1352`	265	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/SharpProof.SymbolPackageValidator.cs`	`9d71c2ce504279683c25233d4022c4cf81b6948c`	304	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-CompilerArtifactModelGenerator.ps1`	`4402df62bdc65327c98c98196907402e315c9c59`	144	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-ProductionCSharpComplexity.ps1`	`b6bbf398240eda794c7f4ec13ba499eff49f8f9a`	209	packaging/build support	Luna-06	corrected	Repaired shared-source parse-option handling and numeric language-version mapping in fe35b3a62.
`scripts/Test-SharpProofAcceptanceTimingFixtures.ps1`	`2b37acf0f45dec74ae204b213c8e269f991a3c15`	78	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofContainedPathFixtures.ps1`	`5525011bc77f9645becc6e79dc83c178b2443c3d`	89	packaging/build support	Luna-07	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofContainerContract.ps1`	`dc1c1645a65d007a21b56b13475466b616fce269`	496	packaging/build support	Luna-07	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofCoverage.ps1`	`aff3e7d00abc345c1f042e198ee3f820dfc19273`	887	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofDependencyAudit.ps1`	`505a279966bcfe639381eed948b175e7cedcd0a0`	592	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofDocumentationSupportFixtures.ps1`	`05fd03a6f21b758eb67f3d8594246767a835c68e`	183	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofFuzzEvidenceLifecycle.ps1`	`29739cc28d95242a213b729787140894ee4ae1d3`	173	packaging/build support	Luna-07	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofFuzzRunnerResult.ps1`	`b41e1574d7346aeeb3697a0f53123bdbb5af54e7`	187	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofMutationBaselines.ps1`	`99750b4e2098821d6bd2f89170295a29262863ab`	87	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofMutationCatalog.ps1`	`69d10a4880bbbc6baa56f33f43426749f9b88b6d`	158	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofMutationEvidence.ps1`	`908b3cd3ca55274991d452b0d030265e1793a0c4`	1,318	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofMutationScheduling.ps1`	`6b63471dc94393823954c35f03d565e2d9322e29`	49	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofPackageConsumers.ps1`	`e8e8f2d5b63abd540a2d4906aceb6456ded7419e`	630	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofPackageDependencies.ps1`	`da494fd63b22181632478cd36b49bd10e8e619d8`	900	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofPackagePayloads.ps1`	`41df1fe52a90efe09b96fd33a988e4ca1d86e6b1`	282	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofPilotAuthorityFixtures.ps1`	`7fae16617d228f05521fbb7df5d8d996c353d230`	242	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofPilotReport.ps1`	`782d3fea6e4b90ecf40447984f380da89b965f1d`	144	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofPilots.ps1`	`0e64c5613711f7d86cd5a89f0c579a00c4f1bed2`	373	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofPortableConsumer.ps1`	`e6a2e1e0e2c0ec46052d0745ccb1eab934fb14f5`	43	packaging/build support	Luna-07	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofPublicationDestinationFixtures.ps1`	`fc22a213c368ce59836586b4f6a6fd684c215340`	269	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofPublicationPlan.ps1`	`33d1fcedd33399e20f53fc406c0a2c38b532cbcf`	12	packaging/build support	Luna-02	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofPublicationPlanIdentityFixtures.ps1`	`e0b9327d314cb28be7f21379ac30afed97688be3`	292	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofPublicationPlanTopologyFixtures.ps1`	`be048da83cac5ddb82b6d72498ccf20375c91b37`	104	packaging/build support	Luna-07	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofReleaseArtifacts.ps1`	`5bb3abe529ddc9cec2032777a6eb8c1ec67ca234`	357	packaging/build support	Luna-06	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofReleaseAuthorityClosure.ps1`	`156048181363663fa9ab672a69b3e2613e592e0b`	32	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofReleaseAuthorityClosureFixtures.ps1`	`f5c15467dc077529f6dd5325a2da25fb30994ce7`	150	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofReleaseChecksumFixtures.ps1`	`bb0205db8b02987ca23b773c2f758212de2665ef`	166	packaging/build support	Luna-08	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofReleaseConfiguration.ps1`	`03f5d375c3288199af6ab894a51a8aff4d2bb014`	314	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofReleaseConfigurationFixtures.ps1`	`39f8dbe6736fa79ffa8f98d56038f24275af7f0c`	267	packaging/build support	Luna-07	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofReleaseJsonFixtures.ps1`	`2fbe8ece491b67a164eb7f33d5c00bc7eec4020f`	159	packaging/build support	Luna-05	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofReleaseTagFixtures.ps1`	`9c1c8b034ce8d752da224faa24b09811a462bea6`	125	packaging/build support	Luna-07	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofReleaseVersionAuthorityFixtures.ps1`	`9da75c9ac2915592938ae9063756e15e25ae3c1c`	57	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofSamples.ps1`	`c5f1459944135462e6b2aa942860ded9649175a3`	442	packaging/build support	Luna-10	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofSbomArtifactScopeFixtures.ps1`	`39b2e48cfff1b109a0f76ad06b966482f99fd5e2`	150	packaging/build support	Luna-04	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofSbomReleaseIdentityFixtures.ps1`	`53155f9a147da14e2cec87a3c17a91fe50fb78f9`	118	packaging/build support	Luna-09	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofStandaloneGateEvidence.ps1`	`29bbb9eedb4d2986538ec895fb5f9ecb85d1c724`	144	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofSymbolPackages.ps1`	`3fed13779ffa55b7e83b0e6b5953a683f7c7876b`	45	packaging/build support	Luna-01	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/Test-SharpProofTrustedMutations.ps1`	`7d086be08cd2b666aeca5d923a9e920d5c765e01`	2,955	required safety/soundness logic	Luna-08	corrected	Repaired isolated log evidence and refreshed four stale mutation descriptors in 692786526 and fe6b39ce0.
`scripts/Write-SharpProofQualificationReceipt.ps1`	`403b9176ddc07fa525941153b5634ad760e28d24`	138	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.
`scripts/package-projects.json`	`ca0645da133e74fdc4cbef02802da2deaa7c1856`	8	packaging/build support	Luna-03	retained	Retained after MSBuild import, workflow, package, release, or dynamic invocation review.

FilesExpand file tree

code-usefulness-audit.md

Latest commit

History