feat(spectral): integrate TCS bounds and axioms#131

gift-framework merged 3 commits intomaingift-framework/core:mainfrom

claude/integrate-tcs-lean-WcJBqgift-framework/core:claude/integrate-tcs-lean-WcJBqCopy head branch name to clipboard