v1.10.0

Antecedent 1.10.0

1.10 is a composition release of the
already-licensed support matrix: 341 licensed cells of 1423 meaningful
combinations. It does not add query kinds or identification theory.

What 1.10 claims

• Every licensed cell has a first-class inspect/contract coordinate.
• Every licensed cell completes the Rust compiler path
  inspect → preview → execute → claim → consume
  (every_licensed_cell_completes_the_compiler_path). Independent consume
  must accept a verified program. TemporalPag uses the identified-PAG
  envelope fixture so execute cannot terminate as an unidentified refuse.
• Domain-separated identities, four reasoning slots, portable claims, and
  independent consume of contracted analysis_result artifacts.
• Ordinary one-call analyses retain reusable studies. analyze is
  prepare(...).estimate().

Reuse, calibration, and identities

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.

• Parent-estimator oracle evidence is not inherited by the compiler
  path. The 341-cell lifecycle is composition-seam evidence
  (internal_cross_check on synthetic licensed-coordinate fixtures).
• result.answer is the safe consumption interface. Historical .effect /
  .ate warn when a point display would misrepresent; they still return the
  scalar unless ANTECEDENT_STRICT_ANSWER=1. .posterior / .response
  remain accessible.
• program_id is the compiled program. claim_id is the execution claim.

Release process

gate_release.sh is the PR inventory / composition umbrella. A green local
run is not an RC. Cut with scripts/gate_release_candidate.sh: a green CI
run on the candidate SHA, this inventory, Python lint/pytest, and one local
wheel. The inventory includes the calibration attestation
(scripts/gate_calibration_attestation.sh): every coverage record's
statistical surface is unchanged since the commit it was measured at, or a
valid replay waiver attests it. The same attestation runs first in every PR's
gates job and in both publish workflows (publish-release.yml,
publish-crates.yml), so nothing is built or published against a stale
registry. The CI python-wheels matrix remains required on the candidate SHA.
No PR or release job runs the 400-replicate calibration; it is measured
locally (scripts/measure_calibration.sh) before upload.

Licensed cells

The licensed inventory is unchanged from 1.9.0. The generated block below is
the current matrix snapshot for this workspace version.

341 licensed of 1423 meaningful cells (1979 n/a typed impossibilities are not a coverage gap). 1082 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 × explicit / accepted / graph_posterior × Frequentist × validation none / cheap / full
• AverageEffect × Admg / Cpdag / Pag × explicit / accepted × Frequentist × validation none / cheap / full
• AverageEffect × CoDetermined / Unknown × explicit × Frequentist × validation none
• AverageEffect × Dag × explicit / accepted / graph_posterior × Bayesian × validation none / cheap / full
• AverageEffect × Admg / Cpdag / Pag × explicit / accepted × Bayesian × validation none / cheap / full
• ChangeAttribution × Dag × explicit × Frequentist × validation none
• ConditionalEffect × Dag × explicit / accepted / graph_posterior × Frequentist × validation none / cheap / full
• ConditionalEffect × Cpdag / Pag × explicit / accepted × Frequentist × validation none / cheap / full
• ConditionalEffect × Dag × explicit / accepted / graph_posterior × Bayesian × validation none / cheap / full
• ConditionalEffect × Cpdag / Pag × explicit / accepted × 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 × explicit / accepted / graph_posterior × Frequentist × validation none / cheap / full
• InterventionResponse × Cpdag / Pag / TemporalDag / TemporalCpdag / TemporalPag × explicit / accepted × Frequentist × validation none
• InterventionResponse × CoDetermined × explicit × Frequentist × validation none
• InterventionResponse × Dag × explicit / accepted / graph_posterior × Bayesian × validation none
• InterventionResponse × Cpdag / Pag / TemporalDag / TemporalCpdag / TemporalPag × explicit / accepted × Bayesian × validation none
• 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 × explicit / accepted / graph_posterior × Frequentist × validation none / cheap / full
• PulseEffect × TemporalCpdag / TemporalPag × explicit / accepted × Frequentist × validation none / cheap / full
• PulseEffect × TemporalDag × explicit / accepted / graph_posterior × Bayesian × validation none / cheap / full
• PulseEffect × TemporalCpdag / TemporalPag × explicit / accepted × Bayesian × validation none / cheap / full
• ResponseCurve × Dag × explicit / accepted / graph_posterior × Frequentist × validation none
• ResponseCurve × Cpdag / Pag / TemporalDag / TemporalCpdag / TemporalPag × explicit / accepted × Frequentist × validation none
• ResponseCurve × Dag × explicit / accepted / graph_posterior × Bayesian × validation none
• ResponseCurve × Cpdag / Pag / TemporalDag / TemporalCpdag / TemporalPag × explicit / accepted × 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 × explicit / accepted / graph_posterior × Frequentist × validation none / cheap / full
• SustainedEffect × TemporalCpdag / TemporalPag × explicit / accepted × Frequentist × validation none / cheap / full
• SustainedEffect × TemporalDag × explicit / accepted / graph_posterior × Bayesian × validation none / cheap / full
• SustainedEffect × TemporalCpdag / TemporalPag × explicit / accepted × Bayesian × validation none / cheap / full
• TemporalMediationEffect × TemporalDag × explicit × Frequentist × validation none
• TemporalMediationEffect × TemporalDag × explicit × Frequentist × validation cheap
• TemporalMediationEffect × TemporalDag × explicit × Frequentist × validation full
• TemporalMediationEffect × TemporalDag × accepted × Frequentist × validation none
• TemporalMediationEffect × TemporalDag × accepted × Frequentist × validation cheap
• TemporalMediationEffect × TemporalDag × accepted × Frequentist × validation full
• TemporalMediationEffect × TemporalDag × graph_posterior × Frequentist × validation none
• TemporalMediationEffect × TemporalCpdag × explicit / accepted × Frequentist × validation none / cheap / full
• TemporalMediationEffect × TemporalDag × explicit / accepted / graph_posterior × Bayesian × validation none / cheap / full
• TemporalMediationEffect × TemporalCpdag × explicit / accepted × 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.