13 — Supertrack M: feasibility / scale final scan

Verdict: FEASIBILITY_SCALE_VERIFIED.

Check	Result	Basis
PG16.13 + pgcrypto feasibility	✅	digest(...,'sha256'), JSONB explicit-key build, typed domains, declarative range partitioning — all PG16 native
object-count-independent readiness	✅	CP-08: growth follows plans/runs, not business-object count; readiness is exact-set over sealed manifests
no hot-path full scan	✅	7 high-volume tables range-partitioned on immutable event time; active lookup indexes defined (CP-08 doc 09)
no row-by-row apply path introduced by RP corrections	✅	corrections add fact tables + bindings + a deferred FK + manifest fields; no per-row apply loop
no unbounded hash over runtime object data	✅	H02/H05 aggregates are scoped per-activation/per-run and bounded by retention/partition; H01 excludes lifecycle/evidence
no unbounded dependency recursion	✅	H06 inputs already byte-defined; dependency total order is finite and bounded
no production-blocking locks	✅	DDL is candidate-phase, operator-gated; seal/activate gated on checks; no live lock introduced
retention / partitioning coherent	✅	storage-class-driven interval/capacity; archive copy→readback→hash-verify→detach; operator-gated maintenance
rollback returns safe-blocked state	✅	append-only; reversal = exact reverse order dropping only empty candidate-only objects; active/history never dropped
implementation can proceed without guessing after final approval	⚠️	blocked by P-01/P-02/P-03 — H04/H05/H02 are not yet byte-implementable without guessing (evidence-hash dereference, scope_hash composition, runtime-aggregate total orders)

Calibration

The only failing bullet is "without guessing," and its failure mode is spec completeness, not scale or PG16 feasibility. There is no SCALE_RISK_FAIL: no hot-path scan, no unbounded hash, no row-by-row apply, no blocking lock. I therefore return FEASIBILITY_SCALE_VERIFIED and route the no-guess deficiency to the proposal package (P-01..P-03), which is what drives the overall verdict.

Conclusion

Feasible on PG16.13 + pgcrypto, scale-safe, rollback-safe. Byte-implementable-without-guessing is gated on the three CP-06 hash-binding proposals.