# Decision workspace implementation boundary

This preview connects an applicability assessment of the Intelligence Bound to a conditional conservation budget comparison. The root is never quantitatively passed: information-unit correspondence and the conservation process mapping are unresolved.

Run-139 uses clipped fractional allocation with a shared-budget multiplier found by bounded bisection. This existing application implementation is pinned separately from the Lean source. Its feasibility, coordinate stationarity and complementary budget checks are numerical checks. They do not prove floating-point correctness. The public Lean certificate covers six named algebraic targets, not full solver optimality, field suitability or prices.

The application code remains proprietary. Open Canon source and record-specific archive licenses retain their own terms. No new field measurements, sensor network, empirical effects, ecological scoring weights, customer results or production approvals are inferred.

The new package composition is a local review preview. No nightly candidate is loaded at runtime; a versioned static release lock controls exactly which packages are evaluated. Saved decision records retain the release, source references, input provenance, assumptions and result. Their SHA-256 hash detects modifications through recomputation; it is not a signature or independent certification.