@@ -56,7 +56,7 @@ A task's checks are active from the moment it lands, as listed in the design's t
 | T1.25b Text times by a fixed list of formats | 1a | done | Landed at 87f1700; candidate run 38255383371 green at 37bda41; landing runs 38256721426 (lane) and 38256721903 (phase) green; `BASE_SHA` and `CHECKPOINT_SHA` de247a3 (3 review rounds, 1 fix round) | Added by the owner 2026-10-11 (E66(h)). `sdm-engine::time::text` reads text by `date-rules.md`'s "The core's text formats" (ISO 8601 and RFC 3339 and the client's two shapes, parsed by `jiff`'s `strtime`), everything else refused by name (`text_time`; an open order `text_time_order`); contract unchanged (E68); DT-6 rejected, DT-15 approved by the owner's T1.25b answer, DT-16 and DT-17 approved by the owner 2026-10-11; T1.18's floor-cell waiver removed; as built in [as-built.md](as-built.md#t125b), notes in [Fix-round histories](#fix-round-histories) |
 | T1.26a Provider sampling-policy capabilities | 1b | done | Landed at 30d27a2; candidate run 38173187192 green at fc458d7; landing runs 38175050328 (lane) and 38175050165 (phase) green; `BASE_SHA` and `CHECKPOINT_SHA` 4207083; both approve at fc458d7 (1 review round, 0 fix rounds) | Contract version 15 (E63): the tie-break's null order (`null_order`) and the index advice (`index_advice`) declared by the provider, `sdm-data` declaring DuckDB's (`last`, `single_column`), no dialect in domain code; no null order refused by name (`null_order`), no advice no index read and no warning; an index the reader cannot resolve (DuckDB's comma, a host's null name) `Unresolved`, covering nothing, as the reference counts it; DuckDB's statements, warnings and payloads unchanged (51 generated sources on all four runners); T1.25's carries (two `text-times.json` columns pinned, P1B-2's wording, the reader unchanged); the fix-round histories moved to [fix-round-history.md](fix-round-history.md); as built in [as-built.md](as-built.md#t126a) |
 | T1.26b Sampling | 1b | done | Landed at c52f280; candidate run 38191557540 green at 195624e; landing runs 38193268457 (lane) and 38193268537 (phase) green; `BASE_SHA` and `CHECKPOINT_SHA` 30d27a2; both approve at 195624e (3 review rounds, 2 fix rounds) | Contract version 16 (E64): the subgraph walked as the reference's SQL sampler walks it (`sdm-core`'s `subgraph`: foreign keys looked up by key and example, the tables referring read up to each anchor, asked together; `deeper_hop` and `parent_lookup` lifted), a text feature sent as the reference's words (`sdm_engine::words`, held by `words.json`; `text_column` lifted), both `neighbors` forms held on DuckDB to the reference's rows by L1 vectors (`neighbors.json`, ORD-2, the zoned case per DT-13); the sampler's requests and null order refused before any fetch (T1.26a's review P3); a null where the walk tells rows apart read as no link (P1B-13, the owner's decision (b), E66); E52's state value (`SamplerState`, left done or failed, handed back; H9's counts on a second call 6 then 4 on `python-core`, the old route and `rust-host`), the coverage warning once in a process in `sdm-host` (`context_coverage` lifted); the ledger's two rows gone, the bridge's changes declared moved; the AdventureWorks map's T1.26b entries gone, its journey reaching `predict` without `inference_config` on both hosts; 112 generated sources against the reference; the gate passing with no transition; as built in [as-built.md](as-built.md#t126b) |
-| T1.27 Labels | 1b | in progress | Started on lane `rust-core-phase-1-lane-1b` at 51c387b; part 1 first, the freeze's bug fix (E56(a)), landed at fed8174: an `allowance` declaration the merge base already holds, of an entry unchanged against it, is spent and tolerated as a spent `moved` one is; the candidate rebased onto T1.6b's landing, then at fix round 1 onto T1.28w part 1's (3c11481), `BASE_SHA` and `CHECKPOINT_SHA` 3c11481; candidate complete, for review (both reviewers, E73(c)); lands by its landing commit, whose SHA and CI run the next package records (E25). Measured before the push: both hosts' label tests (`sdm-testkit`'s `tests/labels.rs`, the client's `tests_test_ops/test_the_labels.py`) hold `base.regression`, `base.binary`, `base.multiclass` and `decimal.target-38-18` to the reference's context exactly; `sdm-engine`'s `tests/labels.rs` holds 5,601 vectors recorded from the reference's executor and pandas; the three seeded faults (Kahan removed, the month-end clamp flipped, `Gt` flipped) each fail tests; `contract/tools/differential.py` over 100 sources (seeds 27 and 28): no UNCLASSIFIED, 54 agree, 46 proposed under P1B-3 with the core's labels and `_by_time` seeds the reference's; the maps rewritten from both runners. Reach: AdventureWorks unchanged (`inference_config`, T1.28a, then `predict`'s result); `base.regression` to `predict`'s result; `base.binary` and `base.multiclass` to `classification_task` (T1.28a) after their labels. Decision rows E72 (T1.27) and E73 (the owner's decisions of 2026-10-12); register P1B-3 rewritten, P1B-18, P1B-19 and SMP-1 to SMP-3 proposed, P1B-1's and P1B-13's notes; fix rounds 3 (1: the differential's edits and evidence, a time column of an identifier refused as the reference refuses it; 2: a decimal average no longer refused as the caller's error; 3: a decimal sum's total alone checked, its terms added wrapping; see [Fix-round histories](fix-round-history.md)) | In Rust over fetched Arrow, compared exactly (E19); a tolerance rule goes to the owner only if exactness proves costly. Scope from T1.21b (E51(e)): the refusal map has no T1.27 entry, so, from T1.21e (E57), the family maps' T1.27 entries (`static_target`, with `base.binary`'s condition target, `COUNT(*)`, `orders.*` and boolean label masked behind it; `target_type`); a rule no map needs stays refused (P1B); from T1.24b's review, it moves T1.24b's eight edit cases from `contract/fixtures/edit-cases` into `contract/cases`, with their reference lines into the reference file, once its checkpoint's case loader takes the format's new edits, and takes T1.24b's code P3s (a time column given as `np.str_` kept as given; a cross-host case keying a VARCHAR time column) |
+| T1.27 Labels | 1b | in progress | Started on lane `rust-core-phase-1-lane-1b` at 51c387b; part 1 first, the freeze's bug fix (E56(a)), landed at fed8174: an `allowance` declaration the merge base already holds, of an entry unchanged against it, is spent and tolerated as a spent `moved` one is; the candidate rebased onto T1.6b's landing, then at fix round 1 onto T1.28w part 1's (3c11481) and at fix round 3 onto its part 2's (7314f1e), `BASE_SHA` and `CHECKPOINT_SHA` 7314f1e; candidate complete, for review (both reviewers, E73(c)); lands by its landing commit, whose SHA and CI run the next package records (E25). Measured before the push: both hosts' label tests (`sdm-testkit`'s `tests/labels.rs`, the client's `tests_test_ops/test_the_labels.py`) hold `base.regression`, `base.binary`, `base.multiclass` and `decimal.target-38-18` to the reference's context exactly; `sdm-engine`'s `tests/labels.rs` holds 5,601 vectors recorded from the reference's executor and pandas; the three seeded faults (Kahan removed, the month-end clamp flipped, `Gt` flipped) each fail tests; `contract/tools/differential.py` over 100 sources (seeds 27 and 28): no UNCLASSIFIED, 54 agree, 46 proposed under P1B-3 with the core's labels and `_by_time` seeds the reference's; the maps rewritten from both runners. Reach: AdventureWorks unchanged (`inference_config`, T1.28a, then `predict`'s result); `base.regression` to `predict`'s result; `base.binary` and `base.multiclass` to `classification_task` (T1.28a) after their labels. Decision rows E72 (T1.27) and E73 (the owner's decisions of 2026-10-12); register P1B-3 rewritten, P1B-18, P1B-19 and SMP-1 to SMP-3 proposed, P1B-1's and P1B-13's notes; fix rounds 3 (1: the differential's edits and evidence, a time column of an identifier refused as the reference refuses it; 2: a decimal average no longer refused as the caller's error; 3: a decimal sum's total alone checked, its terms added wrapping; see [Fix-round histories](fix-round-history.md)) | In Rust over fetched Arrow, compared exactly (E19); a tolerance rule goes to the owner only if exactness proves costly. Scope from T1.21b (E51(e)): the refusal map has no T1.27 entry, so, from T1.21e (E57), the family maps' T1.27 entries (`static_target`, with `base.binary`'s condition target, `COUNT(*)`, `orders.*` and boolean label masked behind it; `target_type`); a rule no map needs stays refused (P1B); from T1.24b's review, it moves T1.24b's eight edit cases from `contract/fixtures/edit-cases` into `contract/cases`, with their reference lines into the reference file, once its checkpoint's case loader takes the format's new edits, and takes T1.24b's code P3s (a time column given as `np.str_` kept as given; a cross-host case keying a VARCHAR time column) |
 | T1.28a Wire and payload rules | 1b | not started | | From checkpoint 7 (E71): the payload rules only (context leakage, statistics, mode, limits and notices, the seven ledger rows, the classification payload exit), through T1.28w's types, on lane 1b after T1.27, starting only after T1.28w lands. Split from T1.28 at T1.12b (checkpoint 4, subagent P3); own landing and stop-rule counter row: `sdm-wire` and the payload's rules in `sdm-request` (the context drop, the statistic, the limits, the run mode, the notices; seven ledger rows). Scope from T1.21b (E51(e)): the refusal map's `inference_config` and its gap plus, from T1.21e (E57), the family maps' T1.28a entries and gap (`wire_dtype`; the empty indices, the reference's own refusal in the host) and the classification payload masked behind `static_target`; a rule no map needs stays refused (P1B); the `StatePayload` lock derived from the typed `sdm-wire` structs, or at the owner's option by its version only (E52); carried from T1.27's review (subagent P3-1, P3-4): a static boolean target the reference takes as multiclass sends its labels as the strings 'False' and 'True' (its classes `['False', 'True']`, dtype string), where the `labels` operation gives booleans; `AVG(...) = NULL` and `!= NULL`, which the reference fails INTERNAL_ERROR and the core labels and refuses (`classification_task`), stays a named refusal when the classification layout is lifted; carried from T1.27's fix round 3: the reference's decimal sum fails at the column's declared precision (DECIMAL(4, 0): 9999 + 1 refused INVALID_REQUEST), where the core's fails only past 38 digits, whatever the precision, a difference the decimal feature's `wire_dtype` refusal hides today and which surfaces when a decimal feature has its wire dtype |
 | T1.28b Predict-side rules and the result | 1b | not started | | Split from T1.28 at T1.12b (checkpoint 4, subagent P3); own landing and stop-rule counter row: `_preflight`, `_prepare`, the empty answer and the merge (four ledger rows), the response and the result's layout, the boundary-vector matrix; from T1.21e (E57), no family map entry, the classification result's predictions masked behind `static_target`; E56(d)'s proposed sunset of the freeze's secondary layer falls at its landing |
 | T1.29 Baseline cases | 1b | not started | | `base.regression` joins the acceptance corpus here at the latest; owner check-in after it (H12); E27: an AdventureWorks-style relational dataset in DuckDB is one of the four baseline cases, in addition to the 40-case inventory (E31), its reference observation recorded on `python-ref`, and gates T1.29. From checkpoint 4 (T1.12b): joint acceptance, not first discovery; T1.21e adds the inventory cases and baselines, and every package from T1.23 to T1.28 reruns the unstripped AdventureWorks journey, the baselines and the family maps; the pin stays until here under T1.11f's condition |