Declarations

and attribution. The author name follows the supplied predecessor metadata. The principal free construction and exact upgrade obstruction are credited to N. Cheung's X-G. The predecessor action, scalar completion, and three trees retain their separate attribution.

status. The supplied ST files are source records, not registration certificates. The parent X-G is cited by its versioned rendered record and internal labels. A source quotation or restatement is not independent proof verification. No internal publication date, DOI, or registration is invented.

scope. The proof constructs a free causal graded algebra and proves a classical obstruction within a named upgrade class. It does not equate free nilpotence with an interacting quantum BRST theorem. The compact pairing hypothesis of the obstruction is explicit.

scope. The instrument encodes supplied finite evaluations. It is not a continuum field detector or an acquisition theorem. Clock consumption does not consume geometric time, and the regular route does not derive microscopic gravity.

. No successful execution, proof-assistant verification, symbolic-program execution, numerical evaluation, hardware synthesis, repository integration, independent execution, experiment, independent referee review, or journal acceptance is asserted. The mathematical release consists of the definitions and written proofs in this source.