manutej sheaf-glue
Decision skill. Occupies V (verification stalk) and evaluates Φ on the whole sheaf.
Predicate
Φ(c) = ∧v [s_v ∈ G_v] ∧ ∧{e=vw} [ρ_v s_v = ρ_w s_w]
Also report:
- mismatch ledger (edge, field, left, right)
- whether the linearized relative class vanishes
Hard rules
- Never accept on vanishing H¹ alone.
- Never let a soft score override a restriction failure.
- If the class vanishes and Φ fails, name it: linearization missed a discrete type mismatch (string path vs integer handle, etc.).
- Verification still executes tests. This skill is not a substitute for running the oracle.
Requires
sheaf-localize and sheaf-preserve have filled L, C, O, P. Kernel graph present.
On failure
Hand the mismatch ledger to sheaf-repair. Do not patch fields in this skill.