v1.11.0

Antecedent 1.11.0

The 1.x close-out on the 1.10.0 composition contract. 1.10.0 remains the
closed composition baseline. This cut opens additional licensed cells and
identification surface, carries the S practitioner acceptance suite and
the P speed program, and includes the 1.11 review corrections below. It
does not start the 2.0 transport program.

Coverage claims for this candidate attach to remesure 6a41568f plus
replay waiver facade-reexports-02c06614 (waiver to = 02c06614, the
last core-surface commit). The 587 records were remesured after the
finding repairs; every record carries core. Docs-only commits after
02c06614 do not change that surface. The 2026-09-19 working-tree count
of 258 matching plus 329 replay-attested records is the pre-repair
snapshot; it is not the claim for this candidate.

What 1.11.0 claims

• The 1.10 inspect → preview → execute → claim → consume path remains the
  compiler lifecycle for every licensed cell.
• Ordinary one-call analyses retain reusable studies.
• The default user path uses the machine (threads>1); for_tests stays
  serial and scalar. User-sized benches live in this tree. Graph-posterior
  atoms and bootstrap replicate evaluation share one ctx.parallelism
  budget. result.refresh is the five-line second click.
• External estimator handoffs keep identification Antecedent-certified and
  estimation caller-attested.

Every Antecedent analysis retains a reusable study and exports a contracted execution; custom validator results travel as caller-attested, not re-verifiable, evidence, and a row-weight retarget re-executes only on its own data snapshot.

Every reported interval states its calibration: calibrated when a coverage record matches the execution and the execution is inside that record's scope; scope_not_assessed when a record matches but the execution is outside its scope or the record is a boundary; unavailable with a reason code when no record exists.

Identities are distinct and stable: every IdentityDomain plus target_weights is domain-separated and registered in parity/identity.toml.

Licensed cells

The generated block below is the current matrix snapshot for this workspace
version.

463 licensed of 1403 meaningful cells (1999 n/a typed impossibilities are not a coverage gap). 940 refused with a reason on file; 0 refused without a reason; 0 active allowed_unlicensed compatibility entries.

• AnomalyAttribution × Dag × explicit × Frequentist × validation none
• AverageDerivative × Dag × explicit / accepted × Frequentist × validation none
• AverageDerivative × Dag × explicit / accepted × Bayesian × validation none
• AverageEffect × Dag / Admg / Cpdag / Pag × explicit / accepted / graph_posterior × Frequentist × validation none / cheap / full
• AverageEffect × CoDetermined / Unknown × explicit × Frequentist × validation none
• AverageEffect × Dag / Admg / Cpdag / Pag × explicit / accepted / graph_posterior × Bayesian × validation none / cheap / full
• ChangeAttribution × Dag × explicit × Frequentist × validation none
• ConditionalEffect × Dag / Cpdag / Pag × explicit / accepted / graph_posterior × Frequentist × validation none / cheap / full
• ConditionalEffect × Dag / Cpdag / Pag × explicit / accepted / graph_posterior × Bayesian × validation none / cheap / full
• Counterfactual × Dag × explicit / accepted × Frequentist × validation none
• Counterfactual × Dag × explicit / accepted × Bayesian × validation none
• DirectionalDerivative × Dag × explicit / accepted × Frequentist × validation none
• DirectionalDerivative × Dag × explicit / accepted × Bayesian × validation none
• Elasticity × Dag × explicit / accepted × Frequentist × validation none
• Elasticity × Dag × explicit / accepted × Bayesian × validation none
• InterventionalDistribution × Dag × explicit / accepted × Frequentist × validation none / cheap / full
• InterventionalDistribution × Admg × explicit / accepted × Frequentist × validation none
• InterventionalDistribution × Dag × explicit / accepted × Bayesian × validation none / cheap / full
• InterventionalDistribution × Admg × explicit / accepted × Bayesian × validation none
• InterventionResponse × Dag / Admg × explicit / accepted / graph_posterior × Frequentist × validation none / cheap / full
• InterventionResponse × Cpdag × explicit × Frequentist × validation none
• InterventionResponse × Cpdag × accepted × Frequentist × validation none
• InterventionResponse × Cpdag × graph_posterior × Frequentist × validation none
• InterventionResponse × Cpdag × graph_posterior × Frequentist × validation cheap
• InterventionResponse × Cpdag × graph_posterior × Frequentist × validation full
• InterventionResponse × Pag × explicit × Frequentist × validation none
• InterventionResponse × Pag × accepted × Frequentist × validation none
• InterventionResponse × Pag × graph_posterior × Frequentist × validation none
• InterventionResponse × Pag × graph_posterior × Frequentist × validation cheap
• InterventionResponse × Pag × graph_posterior × Frequentist × validation full
• InterventionResponse × TemporalDag × explicit × Frequentist × validation none
• InterventionResponse × TemporalDag × accepted × Frequentist × validation none
• InterventionResponse × TemporalDag × graph_posterior × Frequentist × validation none
• InterventionResponse × TemporalDag × graph_posterior × Frequentist × validation cheap
• InterventionResponse × TemporalDag × graph_posterior × Frequentist × validation full
• InterventionResponse × TemporalCpdag × explicit × Frequentist × validation none
• InterventionResponse × TemporalCpdag × accepted × Frequentist × validation none
• InterventionResponse × TemporalCpdag × graph_posterior × Frequentist × validation none
• InterventionResponse × TemporalCpdag × graph_posterior × Frequentist × validation cheap
• InterventionResponse × TemporalCpdag × graph_posterior × Frequentist × validation full
• InterventionResponse × TemporalPag × explicit × Frequentist × validation none
• InterventionResponse × TemporalPag × accepted × Frequentist × validation none
• InterventionResponse × TemporalPag × graph_posterior × Frequentist × validation none
• InterventionResponse × TemporalPag × graph_posterior × Frequentist × validation cheap
• InterventionResponse × TemporalPag × graph_posterior × Frequentist × validation full
• InterventionResponse × CoDetermined × explicit × Frequentist × validation none
• InterventionResponse × Dag / Cpdag / Pag × explicit / accepted / graph_posterior × Bayesian × validation none
• InterventionResponse × Admg × explicit / accepted / graph_posterior × Bayesian × validation none / cheap / full
• InterventionResponse × TemporalDag × explicit × Bayesian × validation none
• InterventionResponse × TemporalDag × accepted × Bayesian × validation none
• InterventionResponse × TemporalDag × graph_posterior × Bayesian × validation none
• InterventionResponse × TemporalDag × graph_posterior × Bayesian × validation cheap
• InterventionResponse × TemporalDag × graph_posterior × Bayesian × validation full
• InterventionResponse × TemporalCpdag × explicit × Bayesian × validation none
• InterventionResponse × TemporalCpdag × accepted × Bayesian × validation none
• InterventionResponse × TemporalCpdag × graph_posterior × Bayesian × validation none
• InterventionResponse × TemporalCpdag × graph_posterior × Bayesian × validation cheap
• InterventionResponse × TemporalCpdag × graph_posterior × Bayesian × validation full
• InterventionResponse × TemporalPag × explicit × Bayesian × validation none
• InterventionResponse × TemporalPag × accepted × Bayesian × validation none
• InterventionResponse × TemporalPag × graph_posterior × Bayesian × validation none
• InterventionResponse × TemporalPag × graph_posterior × Bayesian × validation cheap
• InterventionResponse × TemporalPag × graph_posterior × Bayesian × validation full
• MediationEffect × Dag × explicit / accepted × Frequentist × validation none / cheap / full
• MediationEffect × Dag × explicit / accepted × Bayesian × validation none / cheap / full
• PathSpecificEffect × Dag × explicit / accepted × Frequentist × validation none / cheap / full
• PathSpecificEffect × Dag × explicit / accepted × Bayesian × validation none / cheap / full
• PointDerivative × Dag × explicit / accepted × Frequentist × validation none
• PointDerivative × Dag × explicit / accepted × Bayesian × validation none
• PulseEffect × TemporalDag / TemporalCpdag / TemporalPag × explicit / accepted / graph_posterior × Frequentist × validation none / cheap / full
• PulseEffect × TemporalDag / TemporalCpdag / TemporalPag × explicit / accepted / graph_posterior × Bayesian × validation none / cheap / full
• ResponseCurve × Dag / Admg / Cpdag / Pag / TemporalDag / TemporalCpdag / TemporalPag × explicit / accepted / graph_posterior × Frequentist × validation none
• ResponseCurve × Dag / Admg / Cpdag / Pag / TemporalDag / TemporalCpdag / TemporalPag × explicit / accepted / graph_posterior × Bayesian × validation none
• ResponseJacobian × Dag × explicit / accepted × Frequentist × validation none
• ResponseJacobian × Dag × explicit / accepted × Bayesian × validation none
• SemiElasticity × Dag × explicit / accepted × Frequentist × validation none
• SemiElasticity × Dag × explicit / accepted × Bayesian × validation none
• SustainedEffect × TemporalDag / TemporalCpdag / TemporalPag × explicit / accepted / graph_posterior × Frequentist × validation none / cheap / full
• SustainedEffect × TemporalDag / TemporalCpdag / TemporalPag × explicit / accepted / graph_posterior × Bayesian × validation none / cheap / full
• TemporalMediationEffect × TemporalDag / TemporalCpdag × explicit / accepted / graph_posterior × Frequentist × validation none / cheap / full
• TemporalMediationEffect × TemporalDag / TemporalCpdag × explicit / accepted / graph_posterior × Bayesian × validation none / cheap / full
• TransportQuery × Admg × explicit × Frequentist × validation none
• InterferenceQuery × Dag × explicit × Frequentist × validation none

Explicit refusals

Every root query on the support matrix has at least one
licensed cell. Refusals are coordinate-level (support_closed.toml), not
query-type-level. TransportQuery and InterferenceQuery run their licensed
cells on the analyze path and retain a study like every other licensed cell.

Pre-calibration review corrections

• Class and ADMG graph-posterior aggregates no longer expose the highest-weight
  atom's posterior as the aggregate posterior. A top-level posterior is retained
  only for one fully covered atom with one completion; available conditional
  posteriors stay attached to their own atoms. Other aggregate posteriors are
  withheld with an explicit diagnostic.
• Bayesian temporal class mediation now returns the accumulated weighted
  completion mean instead of the first completion's mean. It does not attach
  that first completion's uncertainty to the weighted mean.
• Capped class-posterior searches report full_mass_scope = false. Capped or
  unevaluable class-posterior results do not claim full-target point
  identification; class response payloads also withhold full-target uncertainty.

These are numerical and reporting corrections, not themselves calibration
evidence. The remesure at 6a41568f is the coverage claim for those
corrections and for the 1.11 finding repairs below.

A broader mathematical re-review also
corrected relative-weight overflow/underflow, scale-dependent retarget checks,
column-order-dependent contrasts, and intervals that silently discarded missing
completion estimates or converted invalid variance to zero uncertainty.
Those changes are inside the same remesure.

1.11 review corrections

The 1.11 finding closeout records the
eleven review findings and the closures on this tree. In brief:

• Every coverage record carries core. Shared OLS, conjugate, RNG, and
  toolchain edits stale the registry.
• Instruments that are descendants of treatment are rejected. Wald IV
  refuses covariates; 2SLS remains the adjusted IV estimator.
• Minimal adjustment search short-circuits on the empty set, prunes
  supersets, and reports examination-budget exhaustion as incomplete search.
• Conjugate Gram and kNN caches bind to column contents. Gaussian BIC drops
  the residual-variance floor and fits through equilibrated QR. Incremental
  OLS residual variance uses a stable joint scatter.
• Calibration scope n is the analysis sample (complete-case, lag-aligned,
  matched), not padded snapshot rows.
• Arrow C-data pairing is unsafe from_ffi or from_arrow_array. Safe
  artifact open_path is an owned snapshot; mapped I/O documents a
  lifetime-wide immutability contract.

Do not treat the 2026-09-19 historical attestation gate (258 matching plus
329 replay-attested, before the core rule and the remesure) as this
candidate's coverage claim.

What's Changed

• 1.11.0: close 1.x, repair review findings, remesure coverage by @nulldiver in #41

Full Changelog: v1.10.0...v1.11.0