Drop the deleted partition query, join budget and filtered sizing tests from the coverage contract

4207a08 deleted PartitionQueryGrantTests, PartitionQueryPublicBudgetTests,
the SQL inner join budget/deadline tests and the filtered-search sizing
sources with the operation limits, but the functional coverage contract, the
product contributor registry and the manifest expansion identities still
listed them. The manifest check then expected 25 query cases against 22
contributor rows and 37 candidate identities against 30.

- The contract lists 19 contributor sources, 8 classes and 21 exact cases,
  and its KeyLoad.Query source inventory follows the current tree (266 files,
  including the ScriptDom syntax and keyset page sources added on 2026-10-23).
- The registry has 41 unit rows; the coverage script's fixed counts and class
  list match the contract.
- Seven expansion identities of deleted join budget/deadline methods are gone.

Verification: unit tests build with -warnaserror; dotnet format verify;
governance PASS; locally AcCq045, AcCq046 and
ImagesProduceClosedManifestAndRejectTamperingWithoutReplacingEvidence pass.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Author: KSemenenko

scripts/Features/CodeQuality/functional-coverage.contract.json

@@ -80,6 +80,7 @@
     "src/KeyLoad.Query/QueryExecution/Execution/PartitionQuery/PartitionQueryRemoteExecution.cs",
     "src/KeyLoad.Query/QueryExecution/Execution/PartitionQuery/PartitionQueryRetention.cs",
     "src/KeyLoad.Query/QueryExecution/Execution/QueryCursorExecution.cs",
+    "src/KeyLoad.Query/QueryExecution/Execution/QueryKeysetPage.cs",
     "src/KeyLoad.Query/QueryExecution/Execution/QueryProjectionRedactions.cs",
     "src/KeyLoad.Query/QueryExecution/Execution/QueryReadCutObservationDispatch.cs",
     "src/KeyLoad.Query/QueryExecution/Execution/QueryRowProjection.cs",
@@ -114,6 +115,14 @@
     "src/KeyLoad.Query/QueryExecution/Parsing/ScriptDom/ScriptDomWindowLowering.cs",
     "src/KeyLoad.Query/QueryExecution/Parsing/SqlGraphPathParser.cs",
     "src/KeyLoad.Query/QueryExecution/Parsing/SqlGraphSearchParser.cs",
+    "src/KeyLoad.Query/QueryExecution/Parsing/Syntax/ScriptDomBoundedReader.cs",
+    "src/KeyLoad.Query/QueryExecution/Parsing/Syntax/ScriptDomCheckedTokens.cs",
+    "src/KeyLoad.Query/QueryExecution/Parsing/Syntax/ScriptDomErrors.cs",
+    "src/KeyLoad.Query/QueryExecution/Parsing/Syntax/ScriptDomParsingObservation.cs",
+    "src/KeyLoad.Query/QueryExecution/Parsing/Syntax/ScriptDomSlots.cs",
+    "src/KeyLoad.Query/QueryExecution/Parsing/Syntax/ScriptDomSlotVisitor.cs",
+    "src/KeyLoad.Query/QueryExecution/Parsing/Syntax/ScriptDomSyntax.cs",
+    "src/KeyLoad.Query/QueryExecution/Parsing/Syntax/ScriptDomTokenBounds.cs",
     "src/KeyLoad.Query/QueryExecution/Queries/EventEntityRefJoinExecutor.cs",
     "src/KeyLoad.Query/QueryExecution/Queries/PredicateEvaluator.cs",
     "src/KeyLoad.Query/QueryExecution/Queries/PreparedQuery.cs",
@@ -171,7 +180,6 @@
     "src/KeyLoad.Query/Search/Admission/AnnSearchMode.cs",
     "src/KeyLoad.Query/Search/Admission/AnnSearchResult.cs",
     "src/KeyLoad.Query/Search/Admission/AnnWorkBudget.cs",
-    "src/KeyLoad.Query/Search/Admission/FilteredSearchRequestSizer.cs",
     "src/KeyLoad.Query/Search/Admission/PackedAnnAdmission.cs",
     "src/KeyLoad.Query/Search/Admission/PackedAnnIdentityReservations.cs",
     "src/KeyLoad.Query/Search/Admission/PackedAnnReservations.cs",
@@ -232,7 +240,6 @@
     "src/KeyLoad.Query/Search/Queries/Ann/SearchEngine.cs",
     "src/KeyLoad.Query/Search/Queries/AnnLifetimeProjection.cs",
     "src/KeyLoad.Query/Search/Queries/FilteredSearch/FilteredSearchBranch.cs",
-    "src/KeyLoad.Query/Search/Queries/FilteredSearch/FilteredSearchCountingStream.cs",
     "src/KeyLoad.Query/Search/Queries/FilteredSearch/FilteredSearchErrors.cs",
     "src/KeyLoad.Query/Search/Queries/GlobalBranch/GlobalBranchByteAdmission.cs",
     "src/KeyLoad.Query/Search/Queries/GlobalBranch/GlobalBranchOrder.cs",
@@ -285,10 +292,8 @@
       "tests/KeyLoad.UnitTests/QueryExecution/Cases/Partition/PartitionQueryAuthorizationTests.cs",
       "tests/KeyLoad.UnitTests/QueryExecution/Cases/Partition/PartitionQueryCancellationTests.cs",
       "tests/KeyLoad.UnitTests/QueryExecution/Cases/Partition/PartitionQueryContractTests.cs",
-      "tests/KeyLoad.UnitTests/QueryExecution/Cases/Partition/PartitionQueryGrantTests.cs",
       "tests/KeyLoad.UnitTests/QueryExecution/Cases/Partition/PartitionQueryMergeTests.cs",
       "tests/KeyLoad.UnitTests/QueryExecution/Cases/Partition/PartitionQueryPublicAuthorizationTests.cs",
-      "tests/KeyLoad.UnitTests/QueryExecution/Cases/Partition/PartitionQueryPublicBudgetTests.cs",
       "tests/KeyLoad.UnitTests/QueryExecution/Cases/Partition/PartitionQueryPublicContractTests.cs",
       "tests/KeyLoad.UnitTests/QueryExecution/Cases/Partition/PartitionQueryPublicMergeTests.cs",
       "tests/KeyLoad.UnitTests/QueryExecution/ClientApi/Assertions/PartitionQueryMcpCatalogAssertions.cs",
@@ -307,11 +312,9 @@
       "PartitionQueryAuthorizationTests",
       "PartitionQueryCancellationTests",
       "PartitionQueryContractTests",
-      "PartitionQueryGrantTests",
       "PartitionQueryMcpContractTests",
       "PartitionQueryMergeTests",
       "PartitionQueryPublicAuthorizationTests",
-      "PartitionQueryPublicBudgetTests",
       "PartitionQueryPublicContractTests",
       "PartitionQueryPublicMergeTests"
     ],
@@ -393,51 +396,6 @@
         ],
         "operationOutcomeAndState": "real plan factory rejects empty/oversized/null leaf input and preserves store position"
       },
-      {
-        "className": "KeyLoad.UnitTests.QueryExecution.PartitionQueryGrantTests",
-        "methodName": "ActualReadBytesAndExaminedRecordsAdmitExactlyAndRejectOneLess",
-        "instanceName": "ActualReadBytesAndExaminedRecordsAdmitExactlyAndRejectOneLess",
-        "acceptance": [
-          "AC-PQUERY-004"
-        ],
-        "requirements": [
-          "REQ-PQUERY-004"
-        ],
-        "executedModules": [
-          "KeyLoad.Query"
-        ],
-        "operationOutcomeAndState": "measured ZoneTree observer charges exact bytes/records; exact allowances pass and each one-under bound returns BudgetExceeded"
-      },
-      {
-        "className": "KeyLoad.UnitTests.QueryExecution.PartitionQueryGrantTests",
-        "methodName": "MaxBatchAdmitsTheCompleteMergeAtItsExactBoundAndNoRowsBelowIt",
-        "instanceName": "MaxBatchAdmitsTheCompleteMergeAtItsExactBoundAndNoRowsBelowIt",
-        "acceptance": [
-          "AC-PQUERY-004"
-        ],
-        "requirements": [
-          "REQ-PQUERY-004"
-        ],
-        "executedModules": [
-          "KeyLoad.Query"
-        ],
-        "operationOutcomeAndState": "independent serialization/retention bound admits a complete real merge at exact bytes and rejects one byte less"
-      },
-      {
-        "className": "KeyLoad.UnitTests.QueryExecution.PartitionQueryGrantTests",
-        "methodName": "OneGrantChargesIndexRangeAndDocumentPointReadsTogether",
-        "instanceName": "OneGrantChargesIndexRangeAndDocumentPointReadsTogether",
-        "acceptance": [
-          "AC-PQUERY-004"
-        ],
-        "requirements": [
-          "REQ-PQUERY-004"
-        ],
-        "executedModules": [
-          "KeyLoad.Query"
-        ],
-        "operationOutcomeAndState": "execution index range plus point read share the leaf allowance; exact bound passes and one-under examined cap rejects"
-      },
       {
         "className": "KeyLoad.UnitTests.QueryExecution.PartitionQueryMergeTests",
         "methodName": "RealZoneTreeLeavesMatchIndependentGlobalOrderBeforeProjection",
@@ -530,21 +488,6 @@
         ],
         "operationOutcomeAndState": "Invokes the actual public query path twice and checks exact OwnershipLost and PermissionDenied results; the typed terminal failures are the observed denied operation outcomes and neither returns a page. Root independently reviewed the full body against the accepted AC-CQ-039 operation/outcome criterion."
       },
-      {
-        "className": "KeyLoad.UnitTests.QueryExecution.PartitionQueryPublicBudgetTests",
-        "methodName": "OversizedRequestAndPublicPageRetentionFailAtTheirExactBoundaries",
-        "instanceName": "OversizedRequestAndPublicPageRetentionFailAtTheirExactBoundaries",
-        "acceptance": [
-          "AC-PQUERY-001"
-        ],
-        "requirements": [
-          "REQ-PQUERY-001"
-        ],
-        "executedModules": [
-          "KeyLoad.Query"
-        ],
-        "operationOutcomeAndState": "oversized request fails before store reads; exact complete public retention succeeds and one byte under fails"
-      },
       {
         "className": "KeyLoad.UnitTests.QueryExecution.PartitionQueryPublicContractTests",
         "methodName": "GeneratedPublicPageRoundTripsFullReferencesAndPerLeafWitnesses",

scripts/Features/CodeQuality/functional-coverage.product-contributors.json

@@ -179,22 +179,6 @@
       ],
       "operationOutcomeAndState": "A wrong server-owned physical tuple returns OwnershipLost with unchanged position, then the correct owner reads the exact row. A protected sort-field denial returns PermissionDenied with unchanged position; a valid same-reader query returns the visible projection and exact persisted-redaction metadata."
     },
-    {
-      "suite": "unit",
-      "className": "KeyLoad.UnitTests.QueryExecution.PartitionQueryPublicBudgetTests",
-      "methodName": "OversizedRequestAndPublicPageRetentionFailAtTheirExactBoundaries",
-      "instanceName": "OversizedRequestAndPublicPageRetentionFailAtTheirExactBoundaries",
-      "requirements": [
-        "REQ-PQUERY-001"
-      ],
-      "acceptance": [
-        "AC-PQUERY-001"
-      ],
-      "executedModules": [
-        "KeyLoad.Query"
-      ],
-      "operationOutcomeAndState": "oversized request fails before store reads; exact complete public retention succeeds and one byte under fails"
-    },
     {
       "suite": "unit",
       "className": "KeyLoad.UnitTests.QueryExecution.PartitionQueryPublicContractTests",

scripts/Features/CodeQuality/functional-coverage.shared.ps1

@@ -11,10 +11,10 @@ $script:FunctionalCoverage = [ordered]@{
     SettingsCopyName = 'functional-coverage.settings.xml'
     DeploymentDirectory = 'tests/KeyLoad.UnitTests/bin/Debug/net10.0'
     SourceDirectory = 'src/KeyLoad.Query'
-    SourceCount = 259
-    ContributorSourceCount = 21
-    ContributorClassCount = 10
-    ContributorCaseCount = 25
+    SourceCount = 266
+    ContributorSourceCount = 19
+    ContributorClassCount = 8
+    ContributorCaseCount = 21
     TestNamespace = 'KeyLoad.UnitTests.QueryExecution'
     DllName = 'KeyLoad.Query.dll'
     PdbName = 'KeyLoad.Query.pdb'
@@ -151,7 +151,7 @@ function Read-FcContract([string] $Path) {
         $contract.contributors.testNamePrefix -cne 'PartitionQuery' -or
         $contract.contributors.filter -cne '/KeyLoad.UnitTests/*/PartitionQuery*/*' -or
         (@($contract.contributors.suiteNames) -join ',') -cne 'unit' -or
-        (@($contract.contributors.testClasses | Sort-Object) -join ',') -cne 'PartitionQueryAuthorizationTests,PartitionQueryCancellationTests,PartitionQueryContractTests,PartitionQueryGrantTests,PartitionQueryMcpContractTests,PartitionQueryMergeTests,PartitionQueryPublicAuthorizationTests,PartitionQueryPublicBudgetTests,PartitionQueryPublicContractTests,PartitionQueryPublicMergeTests' -or
+        (@($contract.contributors.testClasses | Sort-Object) -join ',') -cne 'PartitionQueryAuthorizationTests,PartitionQueryCancellationTests,PartitionQueryContractTests,PartitionQueryMcpContractTests,PartitionQueryMergeTests,PartitionQueryPublicAuthorizationTests,PartitionQueryPublicContractTests,PartitionQueryPublicMergeTests' -or
         $contract.contributors.exactCases.Count -ne $t.ContributorCaseCount -or
         $contract.bounds.originalXmlBytes -ne 33554432 -or $contract.bounds.sources -ne 5000 -or
         $contract.bounds.distinctLineLocations -ne 100000 -or

tests/KeyLoad.UnitTests/CodeQuality/Assertions/Compilation/ProductionSourceManifestContributorAssertions.cs

@@ -4,7 +4,7 @@ namespace KeyLoad.UnitTests.CodeQuality.Assertions;
 
 internal static class ProductionSourceManifestContributorAssertions
 {
-    private const int ExpectedUnitRows = 42;
+    private const int ExpectedUnitRows = 41;
     private const int ExpectedClusterRows = 9;
     private const int MaximumIdentityFieldCharacters = 512;
     private const int MaximumOperationCharacters = 4096;

tests/KeyLoad.UnitTests/CodeQuality/Assertions/Compilation/ProductionSourceManifestExpansionIdentities.cs

@@ -4,12 +4,7 @@ internal static class ProductionSourceManifestExpansionIdentities
 {
     internal static readonly string[] Values =
     [
-        "unit|KeyLoad.UnitTests.QueryExecution.SqlInnerJoinBudgetTests|AcJoinWorkCountsLeftRecordsAndRightProbesAndLeavesStoreUsableAfterRejection|AcJoinWorkCountsLeftRecordsAndRightProbesAndLeavesStoreUsableAfterRejection",
-        "unit|KeyLoad.UnitTests.QueryExecution.SqlInnerJoinBudgetTests|AcJoinActualZoneTreeReadBudgetAdmitsTheMeasuredScanAndAllRightProbesAtItsExactBoundary|AcJoinActualZoneTreeReadBudgetAdmitsTheMeasuredScanAndAllRightProbesAtItsExactBoundary",
-        "unit|KeyLoad.UnitTests.QueryExecution.SqlInnerJoinBudgetTests|AcJoinPageBytesIncludeBothSourcesAndAdmitOnlyTheExactSerializedPageBound|AcJoinPageBytesIncludeBothSourcesAndAdmitOnlyTheExactSerializedPageBound",
-        "unit|KeyLoad.UnitTests.QueryExecution.SqlInnerJoinBudgetTests|AcJoinResultCountAdmitsTwoActualRowsAndRejectsTheNextRequestedResultWithHealthyFollowUp|AcJoinResultCountAdmitsTwoActualRowsAndRejectsTheNextRequestedResultWithHealthyFollowUp",
         "unit|KeyLoad.UnitTests.QueryExecution.SqlInnerJoinCancellationTests|AcJoinCancellationAfterRangeProgressSettlesTheOriginalReadAndKeepsTheStoreHealthy|AcJoinCancellationAfterRangeProgressSettlesTheOriginalReadAndKeepsTheStoreHealthy",
-        "unit|KeyLoad.UnitTests.QueryExecution.SqlInnerJoinCancellationTests|AcJoinDeadlineAfterRangeProgressSettlesTheReadAndKeepsTheStoreHealthy|AcJoinDeadlineAfterRangeProgressSettlesTheReadAndKeepsTheStoreHealthy",
         "unit|KeyLoad.UnitTests.QueryExecution.SqlInnerJoinExecutionTests|Q2InnerJoinUsesRealZoneTreeRowsAndReturnsOrdinalPairsWithSourceRevisions|Q2InnerJoinUsesRealZoneTreeRowsAndReturnsOrdinalPairsWithSourceRevisions",
         "unit|KeyLoad.UnitTests.QueryExecution.SqlInnerJoinExecutionTests|NoncurrentDialectOrAstFormatsRejectBeforeReadingAndCurrentJoinStillRuns|NoncurrentDialectOrAstFormatsRejectBeforeReadingAndCurrentJoinStillRuns",
         "unit|KeyLoad.UnitTests.QueryExecution.SqlInnerJoinExecutionTests|Q1AliasNamedInnerStaysSupportedAndAnInnerJoinRequiresQ2|Q1AliasNamedInnerStaysSupportedAndAnInnerJoinRequiresQ2",
@@ -23,8 +18,6 @@ internal static class ProductionSourceManifestExpansionIdentities
         "cluster|KeyLoad.IntegrationTests.RelationalStorage.RelationalSqlClusterJoinAuthorizationTests|RightResourceAndJoinFieldUseDenialsHaveNoEffectsAndHealthyCallersStillRead|RightResourceAndJoinFieldUseDenialsHaveNoEffectsAndHealthyCallersStillRead",
         "cluster|KeyLoad.IntegrationTests.RelationalStorage.RelationalSqlClusterJoinCancellationTests|CallerCancellationOnSdkAndOfficialMcpJoinPathsIsFollowedByHealthyReads|CallerCancellationOnSdkAndOfficialMcpJoinPathsIsFollowedByHealthyReads",
         "cluster|KeyLoad.IntegrationTests.RelationalStorage.RelationalSqlClusterJoinReadCutTests|ConcurrentAtomicPairChangesNeverExposeAMixedClusterGeneration|ConcurrentAtomicPairChangesNeverExposeAMixedClusterGeneration",
-        "cluster|KeyLoad.IntegrationTests.RelationalStorage.RelationalSqlClusterJoinBudgetTests|JoinWorkBudgetReturnsSafeErrorsAndPreservesStateBeforeHealthyFollowUp|JoinWorkBudgetReturnsSafeErrorsAndPreservesStateBeforeHealthyFollowUp",
-        "cluster|KeyLoad.IntegrationTests.RelationalStorage.RelationalSqlClusterJoinBudgetTests|JoinReadByteBudgetReturnsSafeErrorsAndPreservesStateBeforeHealthyFollowUp|JoinReadByteBudgetReturnsSafeErrorsAndPreservesStateBeforeHealthyFollowUp",
         "cluster|KeyLoad.IntegrationTests.RelationalStorage.RelationalSqlClusterJoinBudgetTests|JoinedPageByteBudgetReturnsSafeErrorsAndPreservesStateBeforeHealthyFollowUp|JoinedPageByteBudgetReturnsSafeErrorsAndPreservesStateBeforeHealthyFollowUp",
         "unit|KeyLoad.UnitTests.QueryExecution.SqlInnerJoinDeclaredProjectionTests|AcceptedSqlAndDeclaredColumnsUseRealRowsWithExactAstParityAndHealthyQ1Followup|AcceptedSqlAndDeclaredColumnsUseRealRowsWithExactAstParityAndHealthyQ1Followup",
         "unit|KeyLoad.UnitTests.StorageRecovery.MaintenancePeriodicLifetimeTests|AcStorageMaintenanceJoin002003ActualPeriodicCleanupJoinsBeforeOwnerFilesAndHealthyReopen|AcStorageMaintenanceJoin002003ActualPeriodicCleanupJoinsBeforeOwnerFilesAndHealthyReopen(False)",