openflowsheet 0.1.1__py3-none-any.whl

openflowsheet/__init__.py

@@ -0,0 +1,16 @@
+"""Agent-native open process simulator, provisional import name ``openflowsheet``.
+
+This distribution is the single installable package described in blueprint v3.1 §15: one
+modular monorepo with logical layers rather than microservices. The subpackages ``ir``,
+``units``, ``models``, ``thermo``, ``compile``, ``graph``, ``numerics``, ``orchestrator``,
+and ``application`` correspond to the architectural boundaries of blueprint §3, and each one
+states its own responsibility and the work package that will introduce its behavior. Later
+layers (``studies``, ``adapters``, clients, and the web workbench) are deliberately absent
+until their packages start, per implementation plan §2.
+
+No functionality yet; introduced by package P00 (repository bootstrap only).
+"""
+
+__version__ = "0.1.1"
+
+__all__ = ["__version__"]

openflowsheet/_data/benchmarks/k04/reference_values.yaml

@@ -0,0 +1,540 @@
+generated_by: Fable 5.1, mpmath 1.3.0 at 40 significant digits, from plan §3.1 definitions and derivation §2, §4.1,
+  §5.1, §6 only; exact rational arithmetic for the triangular fixtures
+specification: docs/derivations/K04-certificate-spec.md
+independence: closed-form expectations; no verifier, solver, oracle or process_runtime code was used. The P01 reference
+  is read in --check to prove two derivations agree and is never copied.
+check_tolerances:
+  molar_flow:
+    absolute: '1.0000e-9'
+    relative: '1.0000e-8'
+    scale: '3.00000'
+    total: '3.10000e-8'
+    scaled_total: '1.03333e-8'
+  heat_rate:
+    absolute: '1.0000e-5'
+    relative: '1.0000e-8'
+    scale: '100000.'
+    total: '0.00101000'
+    scaled_total: '1.01000e-8'
+  temperature:
+    absolute: '1.0000e-6'
+    relative: '0.0'
+    scale: '100.000'
+    total: '1.00000e-6'
+    scaled_total: '1.00000e-8'
+  pressure:
+    absolute: '0.010000'
+    relative: '0.0'
+    scale: '100000.'
+    total: '0.0100000'
+    scaled_total: '1.00000e-7'
+  normalized_composition:
+    absolute: '1.0000e-10'
+    relative: '0.0'
+    scale: '1.00000'
+    total: '1.00000e-10'
+    scaled_total: '1.00000e-10'
+  molar_flow_squared:
+    absolute: '3.0000e-9'
+    relative: '1.0000e-8'
+    scale: '9.00000'
+    total: '9.30000e-8'
+    scaled_total: '1.03333e-8'
+scaled_tolerance_minimum: '1.00e-8'
+regularity_policy:
+  matrix: the 47x47 scaled target Jacobian after the two alias eliminations, evaluated at the final state (K04 §7.1)
+  recipe: splu (ADR 0004 options) -> LinearOperator -> onenormest -> rcond_1 = 1/(||J||_1 ||J^-1||_1) (plan §6.3)
+  tau_ill_conditioned: 1e-8
+  svd_rank_tolerance: n * eps * sigma_max, eps = 2^-52
+  svd_dimension_cap: 2000
+  absolute_conditioning_threshold:
+    rule: '||J^-1||_1 <= tau_hat_min / (n eps); violation is ILL_CONDITIONED(absolute)'
+    syn001_n47: '958213.'
+    seed_n1_tol_1e-8: '4.50360e+7'
+    seed_n1_tol_1e-12: '4503.60'
+  solution_error_bound: recorded evidence with a statement, never a pass/fail check (K04 §7.4, amended 2026-09-22)
+variants:
+  SYN-001-nominal:
+    r: '0.500'
+    T_flash_K: '360.00'
+    flash_regime: TWO_PHASE
+    t_star_mol_per_s:
+    - '0.29777671393051394767'
+    - '0.54639697692561612246'
+    - '0.79501723992071829724'
+    vapor_product_S4_mol_per_s:
+    - '0.70222328606948605233'
+    - '0.45360302307438387754'
+    - '0.20498276007928170276'
+    flash_liquid_S5_mol_per_s:
+    - '0.59555342786102789535'
+    - '1.0927939538512322449'
+    - '1.5900344798414365945'
+    purge_S7_mol_per_s:
+    - '0.29777671393051394767'
+    - '0.54639697692561612246'
+    - '0.79501723992071829724'
+    V_mol_per_s: '1.3608090692231516326'
+    L_mol_per_s: '3.2783818615536967347'
+    T_mix_K: '321.20013108193881014'
+    heater_outlet_regime: LIQUID
+    heater_outlet_beta: '0.0'
+    heater_outlet_sum_zK_350K: '0.96231656003527667518'
+    S3_vapor_mol_per_s:
+    - '0.0'
+    - '0.0'
+    - '0.0'
+    S3_liquid_mol_per_s:
+    - '1.2977767139305139477'
+    - '1.5463969769256161225'
+    - '1.7950172399207182972'
+    Q_heater_W: '13360.809069223151633'
+    Q_flash_W: '42977.260377520375599'
+    Q_total_W: '56338.069446743527231'
+    H_S2_W: '9835.1455846610902042'
+    H_S3_W: '23195.954653884241837'
+    H_S4_W: '46502.923862082437027'
+    H_S5_W: '19670.291169322180408'
+    H_S7_W: '9835.1455846610902042'
+    overall_energy_identity_W: '0.0'
+  SYN-001-once-through:
+    r: '0.0'
+    T_flash_K: '360.00'
+    flash_regime: TWO_PHASE
+    t_star_mol_per_s:
+    - '0.0'
+    - '0.0'
+    - '0.0'
+    vapor_product_S4_mol_per_s:
+    - '0.70222328606948605233'
+    - '0.45360302307438387754'
+    - '0.20498276007928170276'
+    flash_liquid_S5_mol_per_s:
+    - '0.29777671393051394767'
+    - '0.54639697692561612246'
+    - '0.79501723992071829724'
+    purge_S7_mol_per_s:
+    - '0.29777671393051394767'
+    - '0.54639697692561612246'
+    - '0.79501723992071829724'
+    V_mol_per_s: '1.3608090692231516326'
+    L_mol_per_s: '1.6391909307768483674'
+    T_mix_K: '300.00000000000000000'
+    heater_outlet_regime: TWO_PHASE
+    heater_outlet_beta: '0.10136872342672775985'
+    heater_outlet_sum_zK_350K: '1.0703142190807741552'
+    S3_vapor_mol_per_s:
+    - '0.20153742984785378405'
+    - '0.078098253651684779698'
+    - '0.024470486780644715795'
+    S3_liquid_mol_per_s:
+    - '0.79846257015214621595'
+    - '0.92190174634831522030'
+    - '0.97552951321935528421'
+    Q_heater_W: '23237.850393069453045'
+    Q_flash_W: '33100.219053674074186'
+    Q_total_W: '56338.069446743527231'
+    H_S2_W: '0.0'
+    H_S3_W: '23237.850393069453045'
+    H_S4_W: '46502.923862082437027'
+    H_S5_W: '9835.1455846610902042'
+    H_S7_W: '9835.1455846610902042'
+    overall_energy_identity_W: '0.0'
+  SYN-001-high-recycle:
+    r: '0.950'
+    T_flash_K: '360.00'
+    flash_regime: TWO_PHASE
+    t_star_mol_per_s:
+    - '5.6577575646797650058'
+    - '10.381542561586706327'
+    - '15.105327558493647647'
+    vapor_product_S4_mol_per_s:
+    - '0.70222328606948605233'
+    - '0.45360302307438387754'
+    - '0.20498276007928170276'
+    flash_liquid_S5_mol_per_s:
+    - '5.9555342786102789535'
+    - '10.927939538512322449'
+    - '15.900344798414365945'
+    purge_S7_mol_per_s:
+    - '0.29777671393051394767'
+    - '0.54639697692561612246'
+    - '0.79501723992071829724'
+    V_mol_per_s: '1.3608090692231516326'
+    L_mol_per_s: '32.783818615536967347'
+    T_mix_K: '354.72830684634057450'
+    heater_outlet_regime: LIQUID
+    heater_outlet_beta: '0.0'
+    heater_outlet_sum_zK_350K: '0.79151740409485847777'
+    S3_vapor_mol_per_s:
+    - '0.0'
+    - '0.0'
+    - '0.0'
+    S3_liquid_mol_per_s:
+    - '6.6577575646797650058'
+    - '11.381542561586706327'
+    - '16.105327558493647647'
+    Q_heater_W: '-16144.627684760118980'
+    Q_flash_W: '72482.697131503646211'
+    Q_total_W: '56338.069446743527231'
+    H_S2_W: '186867.76610856071388'
+    H_S3_W: '170723.13842380059490'
+    H_S4_W: '46502.923862082437027'
+    H_S5_W: '196702.91169322180408'
+    H_S7_W: '9835.1455846610902042'
+    overall_energy_identity_W: '0.0'
+  SYN-001-all-liquid-310K:
+    r: '0.500'
+    T_flash_K: '310.00'
+    flash_regime: LIQUID
+    t_star_mol_per_s:
+    - '1.0000000000000000000'
+    - '1.0000000000000000000'
+    - '1.0000000000000000000'
+    vapor_product_S4_mol_per_s:
+    - '0.0'
+    - '0.0'
+    - '0.0'
+    flash_liquid_S5_mol_per_s:
+    - '2.0000000000000000000'
+    - '2.0000000000000000000'
+    - '2.0000000000000000000'
+    purge_S7_mol_per_s:
+    - '1.0000000000000000000'
+    - '1.0000000000000000000'
+    - '1.0000000000000000000'
+    V_mol_per_s: '0.0'
+    L_mol_per_s: '6.0000000000000000000'
+    T_mix_K: '305.00000000000000000'
+    heater_outlet_regime: TWO_PHASE
+    heater_outlet_beta: '0.10136872342672775985'
+    heater_outlet_sum_zK_350K: '1.0703142190807741552'
+    S3_vapor_mol_per_s:
+    - '0.40307485969570756811'
+    - '0.15619650730336955940'
+    - '0.048940973561289431590'
+    S3_liquid_mol_per_s:
+    - '1.5969251403042924319'
+    - '1.8438034926966304406'
+    - '1.9510590264387105684'
+    Q_heater_W: '43475.700786138906090'
+    Q_flash_W: '-40475.700786138906090'
+    Q_total_W: '3000.0000000000000000'
+    H_S2_W: '3000.0000000000000000'
+    H_S3_W: '46475.700786138906090'
+    H_S4_W: '0.0'
+    H_S5_W: '6000.0000000000000000'
+    H_S7_W: '3000.0000000000000000'
+    overall_energy_identity_W: '0.0'
+  SYN-001-all-vapor-420K:
+    r: '0.500'
+    T_flash_K: '420.00'
+    flash_regime: VAPOR
+    t_star_mol_per_s:
+    - '0.0'
+    - '0.0'
+    - '0.0'
+    vapor_product_S4_mol_per_s:
+    - '1.0000000000000000000'
+    - '1.0000000000000000000'
+    - '1.0000000000000000000'
+    flash_liquid_S5_mol_per_s:
+    - '0.0'
+    - '0.0'
+    - '0.0'
+    purge_S7_mol_per_s:
+    - '0.0'
+    - '0.0'
+    - '0.0'
+    V_mol_per_s: '3.0000000000000000000'
+    L_mol_per_s: '0.0'
+    T_mix_K: '300.00000000000000000'
+    heater_outlet_regime: TWO_PHASE
+    heater_outlet_beta: '0.10136872342672775985'
+    heater_outlet_sum_zK_350K: '1.0703142190807741552'
+    S3_vapor_mol_per_s:
+    - '0.20153742984785378405'
+    - '0.078098253651684779698'
+    - '0.024470486780644715795'
+    S3_liquid_mol_per_s:
+    - '0.79846257015214621595'
+    - '0.92190174634831522030'
+    - '0.97552951321935528421'
+    Q_heater_W: '23237.850393069453045'
+    Q_flash_W: '102762.14960693054695'
+    Q_total_W: '126000.00000000000000'
+    H_S2_W: '0.0'
+    H_S3_W: '23237.850393069453045'
+    H_S4_W: '126000.00000000000000'
+    H_S5_W: '0.0'
+    H_S7_W: '0.0'
+    overall_energy_identity_W: '0.0'
+injections:
+  INJ-1-energy-bookkeeping:
+    state: nominal x(t*) with U-HEAT.Q + delta
+    fails_at_W: '1'
+    passes_at_W: 5e-4
+    row_shift: HEAT-duty by exactly delta; independent heater and overall energy checks by delta
+    energy_tolerance_W: '0.00101000'
+  INJ-2-trivial-root:
+    state: once-through x(t*) with S3's lifted split forced all-liquid and both duties closed
+    S3_liquid_forced_mol_per_s:
+    - '1.0000000000000000000'
+    - '1.0000000000000000000'
+    - '1.0000000000000000000'
+    Q_heater_spurious_W: '15000.000000000000000'
+    Q_heater_true_W: '23237.850393069453045'
+    Q_flash_spurious_W: '41338.069446743527231'
+    Q_flash_true_W: '33100.219053674074186'
+    offset_W: '8237.8503930694530451'
+    duty_sum_W: '56338.069446743527231'
+    S3_sum_xK_350K: '1.0703142190807741552'
+    S3_true_beta: '0.10136872342672775985'
+    S3_true_V_mol_per_s: '0.30410617028018327955'
+    S3_true_vapor_mol_per_s:
+    - '0.20153742984785378405'
+    - '0.078098253651684779698'
+    - '0.024470486780644715795'
+    passes: residual (all 49 rows), material balances, alias certificates, overall energy identity, regularity
+    fails: phase admissibility (S3, all_liquid); independent split (S3); heater and flash unit energy
+  INJ-3-consistent-near-state:
+    state: nominal, t* + 1e-6 e_C reconstructed through the tear map
+    t_mol_per_s:
+    - '0.29777671393051394767'
+    - '0.54639697692561612246'
+    - '0.79501823992071829724'
+    R_mol_per_s:
+    - '2.1026619074827601294e-7'
+    - '2.0915418562319922615e-7'
+    - '-4.3862216621698096089e-7'
+    R_inf_mol_per_s: '4.3862216621698096089e-7'
+    flow_tolerance_mol_per_s: '3.10000e-8'
+    mixer_margin: '4.2058543350126470152e-7'
+    fails: residual (the three SPLIT-recycle rows); material (splitter ratio rows)
+    passes: every other check
+  INJ-6-one-coordinate:
+    state: nominal x(t*) with S6.n.A + delta, rows evaluated at x directly
+    fails_at_mol_per_s: 1e-6
+    passes_at_mol_per_s: 1e-8
+    MIX_energy_shift_per_mol_per_s_W: '6000.00'
+    rows_shifted_by_delta:
+    - U-MIX:MIX-mole:A
+    - U-SPLIT:SPLIT-recycle:A
+    row_shifted_by_delta_h: U-MIX:MIX-energy
+  INJ-7-tampered-specification:
+    state: nominal x(t*) with S3.T + delta
+    fails_at_K: 1e-5
+    passes_at_K: 1e-7
+    HEAT_duty_shift_per_K_W: '-463.919093078'
+    FLASH_duty_shift_per_K_W: '463.919093078'
+    temperature_tolerance_K: '1.00e-6'
+regularity_fixtures:
+  triangular_unit_diagonal:
+    '16':
+      definition: U = I - N, N strictly upper triangular of ones; every U_ii = 1
+      rcond_1_exact: '1.9073486328125000000e-6'
+      rcond_1_exact_rational: 1/(16 * 2^15)
+      sigma_min_upper_bound: '0.000122070'
+      sigma_min_lower_bound: '7.62939e-6'
+      svd_rank_tolerance_bounds:
+      - '1.42109e-14'
+      - '5.68434e-14'
+      expected_status: NO_RANK_LOSS_DETECTED
+      expected_svd_rank: 16
+      u_diagonal_ratio: '1'
+    '32':
+      definition: U = I - N, N strictly upper triangular of ones; every U_ii = 1
+      rcond_1_exact: '1.4551915228366851807e-11'
+      rcond_1_exact_rational: 1/(32 * 2^31)
+      sigma_min_upper_bound: '2.63418e-9'
+      sigma_min_lower_bound: '8.23181e-11'
+      svd_rank_tolerance_bounds:
+      - '4.01944e-14'
+      - '2.27374e-13'
+      expected_status: ILL_CONDITIONED
+      expected_svd_rank: 32
+      u_diagonal_ratio: '1'
+    '64':
+      definition: U = I - N, N strictly upper triangular of ones; every U_ii = 1
+      rcond_1_exact: '1.6940658945086006781e-21'
+      rcond_1_exact_rational: 1/(64 * 2^63)
+      sigma_min_upper_bound: '8.67362e-19'
+      sigma_min_lower_bound: '1.35525e-20'
+      svd_rank_tolerance_bounds:
+      - '1.13687e-13'
+      - '9.09495e-13'
+      expected_status: RANK_DEFICIENT
+      expected_svd_rank: 63
+      u_diagonal_ratio: '1'
+  x_squared:
+    exact_root:
+      x: '0'
+      F: '0'
+      J: '0'
+      expected_status: RANK_DEFICIENT
+      svd_rank: 0
+    k03_newton_from_1:
+      steps: 14
+      x_final: '0.000061035156250000000000'
+      F_final: '3.7252902984619140625e-9'
+      J_final: '0.00012207031250000000000'
+      rcond_1: '1'
+      inverse_one_norm: '8192.0000000000000000'
+      absolute_threshold: '4.50360e+7'
+      solution_error_bound_scaled: '0.000030517578125000000000'
+      expected_status: NO_RANK_LOSS_DETECTED
+      expected_verdict: VERIFIED, with the bound recorded and its statement
+    k03_newton_from_1_tol_1e-12:
+      steps: 20
+      x_final: '9.5367431640625000000e-7'
+      F_final: '9.0949470177292823792e-13'
+      J_final: '1.9073486328125000000e-6'
+      rcond_1: '1'
+      inverse_one_norm: '524288.00000000000000'
+      absolute_threshold: '4503.60'
+      solution_error_bound_scaled: '4.7683715820312500000e-7'
+      expected_status: ILL_CONDITIONED(absolute)
+      expected_verdict: UNVERIFIED
+numerical_policy:
+  id: K04-numerical-policy-v1
+  relative: 1e-9
+  near_threshold_margin: '10'
+  floors:
+    residual_inf_unscaled:
+      floor: '3.10000e-8'
+      why: ADR 0001 D6 flow rule (the K03 tear rows)
+    merit:
+      floor: '5.33889e-17'
+      why: half the squared scaled flow tolerance
+    witness_max_diff:
+      floor: 1e-7
+      why: K04 §4.8 derivative-witness tolerance
+    step_inf_scaled:
+      floor: '1.03333e-8'
+      why: the scaled flow tolerance
+    residual_normalized:
+      floor: 1e-12
+      why: ADR 0004 D3.2
+    eta:
+      floor: 1e-10
+      why: K03 §3.4
+    constant_mismatch:
+      floor: 1e-2
+      why: ADR 0001 D6 pressure
+    u_diag_min_abs:
+      floor: 1e-10 x u_diag_max_abs
+      why: ADR 0004 D3.4 screen ratio
+    u_diag_max_abs:
+      floor: '0'
+      why: compared relatively
+    rcond_1:
+      floor: 1e-14
+      why: n eps at n = 47; below it the estimate is noise
+    solution_error_bound_scaled:
+      floor: '1.00e-8'
+      why: the scaled tolerance minimum (recorded evidence, not a check)
+    inverse_one_norm_estimate:
+      floor: '0'
+      why: compared relatively; its threshold is a policy-derived constant
+    check.value:
+      floor: the check's own tolerance
+      why: ADR 0007 D2.2
+    kappa_2:
+      floor: '0'
+      why: 'ADR 0009 D3 as amended: relative only, inside its comparability window'
+    gamma_inf:
+      floor: '0'
+      why: 'ADR 0009 D3 as amended: relative only, inside its comparability window'
+  comparability_windows:
+    kappa_2:
+      sibling: residual_inf_scaled
+      minimum: 1e-4
+      why: 'measured on the CI pair: <= 3.3e-13 relative where |f_k| >= 1e-4, up to 1.06e-8 below'
+    gamma_inf:
+      sibling: residual_inf_scaled
+      minimum: 1e-4
+      why: 'measured on the CI pair: <= 3.3e-13 relative where |f_k| >= 1e-4, up to 1.06e-8 below'
+  exact_fields:
+  - alpha
+  - scales
+  - bounds
+  - tolerance
+  - beta_substitution
+  - delta_scaled_inf
+  unreproducible_counts:
+  - property_calls
+  - requested_evaluations
+  - cache_hits
+  - nnz_L
+  - nnz_U
+  digests_never_compared:
+  - state_sha256
+  - full_state_sha256
+  - jacobian_identity
+  - target_state_sha256
+floors_measured_2026_09_22:
+  note: measured by Fable on the K02 flowsheet through the CasADi backend and SciPy SuperLU at the five reconstructed
+    x(t*); regression floors, not closed forms
+  residual_rows_unscaled_max:
+    molar_flow: '3.6e-15'
+    temperature: '0.0'
+    pressure_or_heat_rate: '1.5e-10'
+    molar_flow_squared: '1.8e-14'
+  material_balance_max_mol_per_s: '3.6e-15'
+  energy_balance_independent_flash_max_W: '9.4e-10'
+  specification_rows_max: '0.0'
+  alias_identity_max_Pa: '1.5e-10'
+  rcond_1_target_47x47_scaled:
+    nominal: '1.161e-3'
+    once_through: '1.851e-3'
+    high_recycle: '1.331e-4'
+    all_liquid_310K: '2.019e-3'
+    all_vapor_420K: '7.705e-4'
+    trivial_root_spurious: '2.194e-3'
+  rcond_1_target_47x47_unscaled_range: 9.0e-12 to 5.9e-11
+  onenormest_over_exact_one_norm: 1.000 at every state and fixture
+  u_diagonal_ratio_range: 4.4e-3 to 2.6e-1
+  solution_error_bound_scaled_max: 6.9e-13 (high recycle)
+  fd_compiled_function_scaled_max_abs:
+    delta=1e-4: '2.7e-8'
+    delta=1e-5: '2.8e-10'
+    delta=1e-6: '2.8e-9'
+    delta=1e-7: '1.2e-8'
+    off_pattern: '0.0'
+  smallest_nonzero_scaled_jacobian_entry: '1.6e-4'
+  provider_vs_oracle_enthalpy_J_per_mol: '0.0'
+  provider_vs_oracle_K_relative: '6.3e-16'
+checks_passed:
+- 'SYN-001-nominal: R(t*) = 0 to 1e-35'
+- 'SYN-001-nominal: Q_h + Q_f = H(S4) + H(S7) - H(S1) = c_p (T_f - 300) F_tot + V sum y_i L_i to 1e-30'
+- 'SYN-001-nominal: mixer, flash and envelope component balances close to 1e-35'
+- 'SYN-001-once-through: R(t*) = 0 to 1e-35'
+- 'SYN-001-once-through: Q_h + Q_f = H(S4) + H(S7) - H(S1) = c_p (T_f - 300) F_tot + V sum y_i L_i to 1e-30'
+- 'SYN-001-once-through: mixer, flash and envelope component balances close to 1e-35'
+- 'SYN-001-high-recycle: R(t*) = 0 to 1e-35'
+- 'SYN-001-high-recycle: Q_h + Q_f = H(S4) + H(S7) - H(S1) = c_p (T_f - 300) F_tot + V sum y_i L_i to 1e-30'
+- 'SYN-001-high-recycle: mixer, flash and envelope component balances close to 1e-35'
+- 'SYN-001-all-liquid-310K: R(t*) = 0 to 1e-35'
+- 'SYN-001-all-liquid-310K: Q_h + Q_f = H(S4) + H(S7) - H(S1) = c_p (T_f - 300) F_tot + V sum y_i L_i to 1e-30'
+- 'SYN-001-all-liquid-310K: mixer, flash and envelope component balances close to 1e-35'
+- 'SYN-001-all-vapor-420K: R(t*) = 0 to 1e-35'
+- 'SYN-001-all-vapor-420K: Q_h + Q_f = H(S4) + H(S7) - H(S1) = c_p (T_f - 300) F_tot + V sum y_i L_i to 1e-30'
+- 'SYN-001-all-vapor-420K: mixer, flash and envelope component balances close to 1e-35'
+- '360 K variants: vapor product and total duty invariant in r to 1e-35 / 1e-30'
+- 'INJ-2: forcing S3 all-liquid at once-through gives Q_h = c_p (350 - 300) F_tot = 15000 W exactly; the offset
+  V_h sum y_h,i L_i exceeds 8000 W; the duty sum is invariant; sum x K(350 K) > 1 + 1e-3'
+- 'INJ-3: |R(t* + 1e-6 e_C)| exceeds 10x the flow tolerance; the three rows are distinct; the mixer admits the state'
+- 'INJ-6: +1e-6 mol/s on S6.n.A fails two flow rows by > 10x and MIX-energy by > 5x; +1e-8 passes every row by >
+  3x'
+- 'INJ-7: +1e-5 K on S3.T fails HEAT-T by > 9x and both duty rows by > 4x; +1e-7 K passes by > 9x'
+- 'INJ-1: +1 W on the heater duty fails HEAT-duty by > 900x; +5e-4 W passes by > 2x'
+- 'triangular fixtures: n=16 rcond_1 > 100 tau_ill; n=32 rcond_1 < tau_ill/100 with sigma_min > 100x the SVD rank
+  tolerance (full rank); n=64 sigma_min < 1e-4 x the SVD rank tolerance (rank deficient)'
+- scaled tolerance minimum over row kinds is 1e-8 (temperature rows)
+- absolute-conditioning threshold for SYN-001 exceeds 2000x the measured maximum ||J^-1||_1 of 476.1
+- 'SQ-1: x^2 = 0 from x0 = 1 at tolerance 1e-8: 14 halvings land on 2^-14; F = 2^-28; the recorded bound 2^-15 exceeds
+  1000x the scaled tolerance; ||J^-1||_1 = 2^13 sits 5000x under the absolute threshold, so the verdict is VERIFIED
+  with the bound recorded'
+- 'SQ-2: x^2 = 0 from x0 = 1 at tolerance 1e-12: 20 halvings land on 2^-20; ||J^-1||_1 = 2^19 exceeds 100x the absolute
+  threshold 1e-12/eps, so the status is ILL_CONDITIONED(absolute) and the verdict UNVERIFIED'
+- every certified quantity agrees with the P01 20-digit reference to 4.76e-20 relative (independent derivation)