feat: strengthen canonical cancellation context and propagation

.github/feature-test-timings.json

@@ -39,6 +39,11 @@
     "tests/Feature/V2/V2AvroAdapterCodecTest.php": 5.000000,
     "tests/Feature/V2/V2AvroParitySuiteTest.php": 2.612838,
     "tests/Feature/V2/V2AwaitWorkflowTest.php": 23.893981,
+    "tests/Feature/V2/V2CancellationCascadeViewTest.php": 30.0,
+    "tests/Feature/V2/V2CancellationCleanupOutcomeTest.php": 30.0,
+    "tests/Feature/V2/V2CancellationRequestConcurrencyTest.php": 10.0,
+    "tests/Feature/V2/V2CancellationScopeDescendantsTest.php": 134.011351,
+    "tests/Feature/V2/V2CancellationScopeHistoryTest.php": 10.0,
     "tests/Feature/V2/V2ChildWorkflowExternalOutputReplayTest.php": 0.114765,
     "tests/Feature/V2/V2ChildWorkflowNamespaceProjectionTest.php": 0.162660,
     "tests/Feature/V2/V2CompatibilityWorkflowTest.php": 7.354094,
@@ -138,6 +143,11 @@
     "tests/Feature/V2/V2AvroAdapterCodecTest.php": 6.000000,
     "tests/Feature/V2/V2AvroParitySuiteTest.php": 2.820501,
     "tests/Feature/V2/V2AwaitWorkflowTest.php": 16.564047,
+    "tests/Feature/V2/V2CancellationCascadeViewTest.php": 30.0,
+    "tests/Feature/V2/V2CancellationCleanupOutcomeTest.php": 30.0,
+    "tests/Feature/V2/V2CancellationRequestConcurrencyTest.php": 10.0,
+    "tests/Feature/V2/V2CancellationScopeDescendantsTest.php": 182.205493,
+    "tests/Feature/V2/V2CancellationScopeHistoryTest.php": 10.0,
     "tests/Feature/V2/V2ChildWorkflowExternalOutputReplayTest.php": 0.191675,
     "tests/Feature/V2/V2ChildWorkflowNamespaceProjectionTest.php": 0.216388,
     "tests/Feature/V2/V2CompatibilityWorkflowTest.php": 11.312729,

.github/pr-test-selection.json

@@ -4,10 +4,13 @@
   "unit_contracts": [
     "tests/Unit/Serializers/ExternalStorageEnvelopeTest.php",
     "tests/Unit/Traits/ResolvesMethodDependenciesTest.php",
+    "tests/Unit/V2/ActivityCancellationCompletionTest.php",
+    "tests/Unit/V2/CancellationContextTest.php",
     "tests/Unit/V2/CompiledWorkflowDefinitionTest.php",
     "tests/Unit/V2/ExternalPayloadStorageTest.php",
     "tests/Unit/V2/PlatformProtocolSpecsTest.php",
     "tests/Unit/V2/ReadmeBranchDestinationsTest.php",
+    "tests/Unit/V2/ScopedCancellationContextTest.php",
     "tests/Unit/V2/StartOptionsTest.php",
     "tests/Unit/V2/VersionMarkerWireFormatTest.php",
     "tests/Unit/V2/WorkflowFiberRunnerTest.php",

.github/workflows/php.yml

@@ -330,6 +330,18 @@ jobs:
           vendor/bin/phpunit --testdox \
           --log-junit build/test-results/pr-unit-contracts.xml
 
+    - name: Run workflow command normalizer unit cases
+      run: >-
+        vendor/bin/phpunit tests/Unit/V2/WorkflowCommandNormalizerTest.php
+        --fail-on-warning --log-junit build/test-results/pr-workflow-command-normalizer.xml
+      env:
+        REDIS_HOST: 127.0.0.1
+
+    - name: Run cancellation timeline unit cases
+      run: >-
+        vendor/bin/phpunit tests/Unit/V2/CancellationHistoryTimelineTest.php
+        --fail-on-warning --log-junit build/test-results/pr-cancellation-timeline.xml
+
   pr-feature-mysql:
     needs: preflight
     if: ${{ github.event_name == 'pull_request' }}
@@ -478,6 +490,138 @@ jobs:
         QUEUE_CONNECTION: redis
         XDEBUG_MODE: off
 
+    - name: Run scoped Activity fencing and original stop receipt cases
+      run: >-
+        vendor/bin/phpunit tests/Feature/V2/V2ScopedActivityCancellationTest.php
+        --testsuite feature
+        --fail-on-warning --log-junit build/test-results/pr-smoke-scoped-activities.xml
+      env:
+        DB_CONNECTION: mysql
+        QUEUE_CONNECTION: redis
+        XDEBUG_MODE: off
+
+    - name: Run scoped timer fencing and late fire cases
+      run: >-
+        vendor/bin/phpunit tests/Feature/V2/V2ScopedTimerCancellationTest.php
+        --testsuite feature
+        --fail-on-warning --log-junit build/test-results/pr-smoke-scoped-timers.xml
+      env:
+        DB_CONNECTION: mysql
+        QUEUE_CONNECTION: redis
+        XDEBUG_MODE: off
+
+    - name: Run canonical operation scope delivery boundary cases
+      run: >-
+        vendor/bin/phpunit tests/Feature/V2/V2CancellationScopeDeliveryTest.php
+        --testsuite feature
+        --fail-on-warning --log-junit build/test-results/pr-smoke-scope-delivery.xml
+      env:
+        DB_CONNECTION: mysql
+        QUEUE_CONNECTION: redis
+        XDEBUG_MODE: off
+
+    - name: Run canonical operation scope request authority cases
+      run: >-
+        vendor/bin/phpunit tests/Feature/V2/V2CancellationScopeRequestsTest.php
+        --testsuite feature
+        --fail-on-warning --log-junit build/test-results/pr-smoke-scope-requests.xml
+      env:
+        DB_CONNECTION: mysql
+        QUEUE_CONNECTION: redis
+        XDEBUG_MODE: off
+
+    - name: Run canonical operation scope admission cases
+      run: >-
+        vendor/bin/phpunit tests/Feature/V2/V2CancellationScopeHistoryTest.php
+        --testsuite feature
+        --fail-on-warning --log-junit build/test-results/pr-smoke-scope-admission.xml
+      env:
+        DB_CONNECTION: mysql
+        QUEUE_CONNECTION: redis
+        XDEBUG_MODE: off
+
+    - name: Run activity cancellation policy and portable admission cases
+      run: >-
+        vendor/bin/phpunit tests/Feature/V2/V2PortableCancellationDeliveryTest.php
+        --testsuite feature
+        --filter '/testInternal.*(ActivityWait|ActivityAbandon)|testPortableRemoteActivityPolicy/'
+        --fail-on-warning --log-junit build/test-results/pr-smoke-activity-cancellation-wait.xml
+      env:
+        DB_CONNECTION: mysql
+        QUEUE_CONNECTION: redis
+        XDEBUG_MODE: off
+
+    - name: Run local callback original-claim receipt cases
+      run: >-
+        vendor/bin/phpunit tests/Feature/V2/V2PortableCancellationDeliveryTest.php
+        --testsuite feature
+        --filter '/(testLocalStopReceipt|testLocalOriginalOwner|testLateLocalReceipt)/'
+        --fail-on-warning --log-junit build/test-results/pr-smoke-local-claim.xml
+      env:
+        DB_CONNECTION: mysql
+        QUEUE_CONNECTION: redis
+        XDEBUG_MODE: off
+
+    - name: Run portable local preparation cases
+      run: >-
+        vendor/bin/phpunit tests/Feature/V2/V2PortableLocalActivityPreparationTest.php
+        --testsuite feature
+        --fail-on-warning --log-junit build/test-results/pr-smoke-local-preparation.xml
+      env:
+        DB_CONNECTION: mysql
+        QUEUE_CONNECTION: redis
+        XDEBUG_MODE: off
+
+    - name: Run portable local retained-claim checkpoint cases
+      run: >-
+        vendor/bin/phpunit tests/Feature/V2/V2PortableLocalActivityCheckpointTest.php
+        --testsuite feature
+        --fail-on-warning --log-junit build/test-results/pr-smoke-local-checkpoint.xml
+      env:
+        DB_CONNECTION: mysql
+        QUEUE_CONNECTION: redis
+        XDEBUG_MODE: off
+
+    - name: Run portable local prepared outcome cases
+      run: >-
+        vendor/bin/phpunit tests/Feature/V2/V2PortableLocalActivityOutcomeTest.php
+        --testsuite feature
+        --fail-on-warning --log-junit build/test-results/pr-smoke-local-outcomes.xml
+      env:
+        DB_CONNECTION: mysql
+        QUEUE_CONNECTION: redis
+        XDEBUG_MODE: off
+
+    - name: Run portable local cold recovery cases
+      run: >-
+        vendor/bin/phpunit tests/Feature/V2/V2PortableLocalActivityRecoveryTest.php
+        --testsuite feature
+        --fail-on-warning --log-junit build/test-results/pr-smoke-local-recovery.xml
+      env:
+        DB_CONNECTION: mysql
+        QUEUE_CONNECTION: redis
+        XDEBUG_MODE: off
+
+    - name: Run portable local supervisor control cases
+      run: >-
+        vendor/bin/phpunit tests/Feature/V2/V2PortableLocalActivityControlTest.php
+        --testsuite feature
+        --fail-on-warning --log-junit build/test-results/pr-smoke-local-control.xml
+      env:
+        DB_CONNECTION: mysql
+        QUEUE_CONNECTION: redis
+        XDEBUG_MODE: off
+
+    - name: Run portable local cleanup and application heartbeat cases
+      run: >-
+        vendor/bin/phpunit tests/Feature/V2/V2PortableLocalActivityCleanupTest.php
+        --testsuite feature
+        --fail-on-warning --log-junit build/test-results/pr-smoke-local-cleanup.xml
+      env:
+        DB_CONNECTION: mysql
+        QUEUE_CONNECTION: redis
+        XDEBUG_MODE: off
+
     - name: Upload pull-request MySQL smoke timing report
       if: ${{ always() && github.server_url == 'https://github.com' }}
       uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a  # v7
@@ -498,7 +642,7 @@ jobs:
     needs: preflight
     if: ${{ github.event_name != 'pull_request' }}
     runs-on: ubuntu-latest
-    timeout-minutes: 18
+    timeout-minutes: 21
 
     strategy:
       fail-fast: false
@@ -597,7 +741,7 @@ jobs:
 
     - name: Run feature test suite (MySQL shard ${{ matrix.shard }})
       id: mysql_suite
-      timeout-minutes: 12
+      timeout-minutes: 15
       run: |
         mkdir -p build/test-results
         php scripts/ci/split-feature-tests.php \
@@ -612,7 +756,7 @@ jobs:
         cp /tmp/mysql-shard-files "build/test-results/mysql-shard-${{ matrix.shard }}-files.txt"
         started_at=$(date +%s)
         set +e
-        timeout --foreground 12m xargs -a /tmp/mysql-shard-files \
+        timeout --foreground 15m xargs -a /tmp/mysql-shard-files \
           vendor/bin/phpunit --testdox --testsuite feature \
           --coverage-clover "build/test-results/mysql-shard-${{ matrix.shard }}-coverage.xml" \
           --log-junit "build/test-results/mysql-shard-${{ matrix.shard }}.xml"

composer.json

@@ -79,7 +79,7 @@
             "dev-main": "2.0.x-dev"
         },
         "durable-workflow": {
-            "product-train": "2.3.5",
+            "product-train": "2.4.0-rc.1",
             "laravel-embedded-upgrade-contract": "resources/laravel-embedded-upgrade-contract.json",
             "laravel-dependency-security-policy": "resources/laravel-dependency-security-policy.json"
         },