feat(core): select from explicit WCAG feasibility (#296-B)

.cargo/mutants.toml

@@ -25,6 +25,7 @@ examine_globs = [
     "crates/labcolors-core/src/wcag22_evidence.rs",
     "crates/labcolors-core/src/wcag22_feasibility.rs",
     "crates/labcolors-core/src/wcag22_feasibility/explicit.rs",
+    "crates/labcolors-core/src/wcag22_feasibility/explicit/selection.rs",
     "crates/labcolors-core/src/wcag22/kernel.rs",
 ]
 

.github/workflows/ci.yml

@@ -317,6 +317,8 @@ jobs:
         run: python3 scripts/verify_wcag22_feasibility_identity.py
       - name: verify explicit WCAG22 feasibility identity and anti-vacuum mutations
         run: python3 scripts/verify_wcag22_explicit_feasibility_identity.py --self-test
+      - name: verify explicit WCAG22 selection identity and anti-vacuum mutations
+        run: python3 scripts/verify_wcag22_explicit_selection_identity.py --self-test
       - name: validate historical and current WCAG22 feasibility benchmark evidence
         run: |
           historical_artifact="crates/labcolors-core/contracts/wcag22-feasibility-benchmark-v1.json"
@@ -332,7 +334,7 @@ jobs:
           )
           historical_checker_snapshot=6001cf41e0a8364f25543e7955ceaf64d50129b4
           historical_applicability_snapshot=94efeeeb1811f5515558ab2d79014a5e4c3a570a
-          historical_root="$RUNNER_TEMP/wcag22-feasibility-slice-a-$GITHUB_RUN_ID-$GITHUB_RUN_ATTEMPT"
+          historical_root="$RUNNER_TEMP/wcag22-feasibility-history-$GITHUB_RUN_ID-$GITHUB_RUN_ATTEMPT"
           git worktree add --detach "$historical_root" "$historical_checker_snapshot"
           cleanup_history() {
             git worktree remove --force "$historical_root"
@@ -356,12 +358,42 @@ jobs:
               --self-test
           )
           cleanup_history
+
+          v2_artifact="crates/labcolors-core/contracts/wcag22-feasibility-benchmark-v2.json"
+          v2_snapshot=4afe61b124b05e13b999f83a9de580ef43405080
+          v2_protocol=(
+            --admit-revision 965eb42642beb1c072a74886be1d016027afeae5
+            --admit-rustc-release 1.96.0
+            --admit-target-triple aarch64-apple-darwin
+            --admit-target-arch aarch64
+            --admit-target-os macos
+            --admit-pointer-width-bits 64
+            --admit-package-version 0.2.0
+            --admit-sample-count 5
+          )
+          git worktree add --detach "$historical_root" "$v2_snapshot"
+          (
+            cd "$historical_root"
+            python3 scripts/check_wcag22_feasibility_benchmark.py \
+              "$v2_artifact" "${v2_protocol[@]}" \
+              --verify-current-subjects \
+              --artifact-sha256 d8d5c7f3eda834bca9912d835fe3ada13d9dcd5a11cb47a131736716b0b51202 \
+              --self-test
+            python3 scripts/check_wcag22_feasibility_applicability.py \
+              "$v2_artifact" \
+              --artifact-sha256 d8d5c7f3eda834bca9912d835fe3ada13d9dcd5a11cb47a131736716b0b51202 \
+              --self-test
+          )
+          cleanup_history
           trap - EXIT
 
-          current_artifact="crates/labcolors-core/contracts/wcag22-feasibility-benchmark-v2.json"
+          current_artifact="crates/labcolors-core/contracts/wcag22-feasibility-benchmark-v3.json"
           current_protocol=(
-            --admit-revision 965eb42642beb1c072a74886be1d016027afeae5
             --admit-rustc-release 1.96.0
+            --admit-cargo-release 1.96.0
+            --admit-rustc-binary-sha256 c5922366bfe3d6d028a65d626f4e629b3adad066995cf0b60c8a4b617bba5ffe
+            --admit-cargo-binary-sha256 fec239e6b74df873f54ef52912bfcfcc8d8414bc14a7ae1e0be80460bae72841
+            --admit-benchmark-binary-sha256 6ac07bad81a204ee8fcee8f94a3c445f881d1ca10edaf4cc4a86a5db0b232e3a
             --admit-target-triple aarch64-apple-darwin
             --admit-target-arch aarch64
             --admit-target-os macos
@@ -371,12 +403,7 @@ jobs:
           )
           python3 scripts/check_wcag22_feasibility_benchmark.py \
             "$current_artifact" "${current_protocol[@]}" \
-            --verify-current-subjects \
-            --artifact-sha256 d8d5c7f3eda834bca9912d835fe3ada13d9dcd5a11cb47a131736716b0b51202 \
-            --self-test
-          python3 scripts/check_wcag22_feasibility_applicability.py \
-            "$current_artifact" \
-            --artifact-sha256 d8d5c7f3eda834bca9912d835fe3ada13d9dcd5a11cb47a131736716b0b51202 \
+            --artifact-sha256 46ec939523a9aff4f253c4c74e997dfd95812a694b2507fae885ff60244ade3a \
             --self-test
 
   audit:
@@ -483,25 +510,25 @@ jobs:
           node-version: ${{ env.NODE_TOOLCHAIN }}
           cache: npm
           cache-dependency-path: packages/colors/package-lock.json
-      - name: "verify committed #296-A canonical whole-call WASM boundary evidence"
+      - name: "verify committed #296-B canonical whole-call WASM boundary evidence"
         # The admitted JSON binds exact deterministic bytes/shapes and the
         # reviewed Uint8Array package root to this built Linux x64 WASM. Fresh
         # latency/maxRSS/pages remain observations only.
         working-directory: packages/colors
         run: >-
           node bench/wcag22-feasibility-boundary.bench.mjs
           --verify
-      - name: independently fingerprint the exact #296-A WASM
+      - name: independently fingerprint the exact #296-B WASM
         run: |
           bytes="$(wc -c < packages/colors/pkg/labcolors_bg.wasm | tr -d '[:space:]')"
           sha256="$(sha256sum packages/colors/pkg/labcolors_bg.wasm | cut -d ' ' -f1)"
           echo "canonical candidate raw=${bytes}B sha256=${sha256}"
-      - name: "upload exact #296-A verified whole-call evidence"
+      - name: "upload exact #296-B verified whole-call evidence"
         uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4.6.2
         with:
           name: wcag22-feasibility-wasm-boundary-${{ github.sha }}-attempt-${{ github.run_attempt }}
           path: |
-            packages/colors/bench/wcag22-feasibility-wasm-boundary-v1.json
+            packages/colors/bench/wcag22-feasibility-wasm-boundary-v2.json
             packages/colors/pkg/labcolors_bg.wasm
           if-no-files-found: error
           retention-days: 30

CHANGELOG.md

@@ -32,6 +32,10 @@ Migration-note: [exact alpha / typed Glow](docs/migrations/exact-alpha-glow.md),
   финальный sRGB8», канонизирует точные UTF-8-байты ID и использует тот же
   exhaustive kernel. Возможность включена в default Core, но не проецируется в
   Protocol/WASM/FFI/npm/Swift.
+- Только полный `Feasible`-терминал минтит sealed capability выбора. Клиент
+  передаёт непрозрачный ID политики и порядок кандидатов; Core полностью
+  проверяет декларацию, выбирает первый feasible ID и повторно проверяет его
+  строку тем же exact evaluator без heap-allocation после создания source/policy.
 - Conformance pack 5.0.0 добавляет ровно одно семейство
   `wcag22-feasibility.json`: exact 7/2/0/92/59, mixed/all NotApplicable,
   typed conflict/resource failures и opaque-ID law. Шесть прежних family
@@ -75,11 +79,26 @@ Migration-note: [exact alpha / typed Glow](docs/migrations/exact-alpha-glow.md),
   `evidence/wcag22-srgb8-q55-proof-v1.json` не меняются: это отдельные version
   domains, а доказанная математика и finite artifact прежние.
 - WASM size history стала append-only: immutable V1 сохраняет допуск #284
-  (`454385 B`), V2 — transport #295 (`521240 B` / `d37841…9ca0`), а V3 —
-  Core-срез #296-A (`521231 B` / `779379…e029`). Каждый допуск имеет нулевой
-  headroom и точную ссылку на неизменяемый V1 build recipe; V1/V2 не переписаны.
-  Canonical whole-call artifact фиксирует 10 крайних форм × 5 свежих процессов;
-  latency, process maxRSS и WASM pages остаются наблюдениями, не SLO.
+  (`454385 B`), V2 — transport #295 (`521240 B` / `d37841…9ca0`), V3 —
+  Core-срез #296-A (`521231 B` / `779379…e029`), а текущий V4 — #296-B
+  (`520920 B` / `c179f4…f94ed`). Каждый допуск имеет нулевой headroom и точную
+  ссылку на неизменяемый V1 build recipe; V1/V2/V3 не переписаны. Whole-call V2
+  сохраняет детерминированную request/outcome-проекцию 10 крайних форм × 5
+  свежих процессов из V1 и привязан к текущему native admission; latency,
+  process maxRSS и WASM pages остаются наблюдениями, не SLO.
+- Native feasibility admission также append-only относительно принятого
+  `main`: V1/V2 проверяются в исторических snapshots, а текущий V3 связывает
+  artifact SHA
+  `46ec939523a9aff4f253c4c74e997dfd95812a694b2507fae885ff60244ade3a`
+  с одним точным dependency cone. Source-bound recorder проверяет Git objects,
+  SHA-256 verifier/subject-файлов и точный `Cargo.lock` до сборки и после
+  запуска; fresh target, пустая Cargo-config hierarchy и закрытая среда
+  исключают ambient profile/flags/wrappers. Receipt фиксирует Rust/Cargo 1.96.0,
+  SHA-256 обоих toolchain executables и реально запущенного benchmark binary,
+  явный feature set и explicit-empty compiler overrides; 71 негативная мутация
+  проверяет fail-closed границы.
+  Сырые наблюдения сохранены без timing threshold, а промежуточные draft-
+  артефакты не становятся публичной историей.
 - Conformance pack 4.0.0 добавил `wcag22.json`; pack 5.0.0 добавляет только
   versioned complete-feasibility transport family, поэтому `packDigest`
   закономерно изменён. `manifest.numericalCapabilities` зеркалит single public

crates/labcolors-core/Cargo.toml

@@ -66,3 +66,11 @@ required-features = ["wcag22-feasibility"]
 [[test]]
 name = "wcag22_explicit_feasibility"
 required-features = ["wcag22-explicit-feasibility"]
+
+[[test]]
+name = "wcag22_explicit_selection"
+required-features = ["wcag22-explicit-feasibility"]
+
+[[test]]
+name = "wcag22_explicit_selection_alloc"
+required-features = ["wcag22-explicit-feasibility"]

crates/labcolors-core/README.md

@@ -57,7 +57,8 @@ Core-only API и не попадает в транспортный артефа
 их повторы и сам выводит мощность, digest, матрицу и partition. Разные ID с
 одинаковыми физическими байтами остаются разными кандидатами. Ни один из входов
 не выводит размер текста, компонентную семантику, применимость или предпочтение
-из ID; выбор среди допустимых кандидатов в этот контракт не входит.
+из ID. Feasibility сам ничего не ранжирует; явный клиентский порядок применяется
+только отдельным запечатанным selection-шагом после полного доказательства.
 
 Для `C` кандидатов и `E` канонических применимых рёбер выполняется ровно
 `W=C×E` атомарных проверок. При `E>0` единственный упакованный буфер имеет
@@ -124,6 +125,9 @@ use labcolors_core::{
         OccurrenceId, RelationId, RelationV1, ResourceProfileIdV1,
         explicit::{
             CandidateId, CandidateV1, DomainRequestV1, RequestV1, evaluate,
+            selection::{
+                FirstFeasibleInDeclaredOrderV1, PolicyId, SelectionOutcomeV1, select,
+            },
         },
     },
 };
@@ -145,11 +149,38 @@ let result = evaluate(RequestV1::try_new(
 )?)?;
 
 assert_eq!(result.evaluated().map(|value| value.candidates().len()), Some(2));
+let source = result
+    .selection_source()
+    .expect("this fixture has at least one feasible candidate");
+let policy = FirstFeasibleInDeclaredOrderV1::try_new(
+    PolicyId::try_new("article/foreground-order")?,
+    vec![
+        CandidateId::try_new("brand/paper")?,
+        CandidateId::try_new("brand/ink")?,
+    ],
+)?;
+let outcome = select(source, policy)?;
+let selected = match &outcome {
+    SelectionOutcomeV1::Selected { selected, .. } => {
+        selected.candidate().candidate_id().as_str()
+    }
+    SelectionOutcomeV1::NoSelection { .. } => panic!("fixture must select"),
+};
+assert_eq!(selected, "brand/ink");
 # Ok(())
 # }
 # fn main() {}
 ```
 
+`selection_source()` возвращает `Some` только для `Feasible`: `Infeasible` и
+`NotEvaluated` не могут начать выбор. Политика перечисляет допустимое подмножество
+ID в точном клиентском порядке. Core сначала проверяет весь список, затем берёт
+первый уже доказанный feasible-ID и повторно проверяет его ровно по всем `E`
+каноническим применимым рёбрам тем же вычислителем WCAG. Валидный список без
+feasible-ID возвращает исчерпывающий `NoSelection`; неизвестный/повторный ID и
+расхождение финальной проверки являются разными типизированными отказами, без
+fallback.
+
 В примере `Sc143TextDefault` означает явно объявленный клиентом критерий
 SC 1.4.3 для обычного текста с отношением 4.5:1; Core не угадывает его по ID или
 типографике. `0x75` и `0x76` — вычисленные граничные результаты именно для двух