feat(interval): compose mixed function instantiation

[kim-em]

Summary

• prove the mixed arbitrary-function target Real.exp (Real.sin (-x)) ≤ 3
• use a sine-owned structural matcher to extend the exact four-node graph to six nodes with sin x, -(sin x), and the oddness equality
• authenticate the live chronology: instance → sine → negation → equality transport → exponential, including every version, predecessor, fact, assumption, and source
• replay the base-to-extended prefix and equality transport through the unchanged generic runner, reifier, quotation, proof frontend, and closure
• preserve separate source, negation, sine, and exponential packages over shared fact/value semantics

Validation

• cold focused build: 2,288 jobs
• trust-surface and factor-freshness checks
• PNT inventory tests and inventory validation
• exact main ancestry, Lake blob, source-inventory, diff, and banned-construct checks
• prepared-to-direct-main range-diff: all ten feature commits patch-identical

Scope

This is an acceptance experiment for structural discovery and dynamic instantiation across independently registered functions. The current matcher still uses fixed numeric slots and recognizes one exact graph shape; stable-key arbitrary graph discovery and package-independent generalization remain future work.