2432 — Source Authority Forms a Typed Partial Category
Verdict
Source-authority grants compose only partially. A composite is admitted when its endpoints, authority kind, variance, evidence domain, admissible transformations, and coherence witness agree. Transport preserves authority; domain intersection restricts it; genuine extension requires an independent grant for every newly authorized evidence atom. None of these operations may silently strengthen authority kind.
On this typed domain, identities hold and triple composition is associative only through an explicit zero-defect coherence cell. The hostile suite rejects all six attempted failures, including authority laundering, evidence-preserving base change that loses authority, triple incoherence, and factorization-dependent composites.
Grothendieck's folded-theta construction yields a readout-authority square commuting only through the moving-endpoint seam/reflection cell. Kitaev's conditional nonlinear synthesis and five-rail support data yield no composable physical authority map: the source-derived coupler grant and encoded intertwining grant are absent.
Scope
This is a standalone calculus. Nima's shared data-descent kernel is unchanged. The smallest proposed extension is one partial-composition record carrying the composition mode, variance, result grant, and coherence cell.
Durable verification
- Contract:
research/strominger/contracts/authority-grant-composition.v1.json - Hostiles:
research/strominger/contracts/authority-grant-composition-hostile-fixtures.v1.json - Compiler:
research/strominger/authority_grant_composition.py - Checker:
research/strominger/checkers/authority_grant_composition_checks.py - Result:
research/strominger/results/authority_grant_composition.json - Interpretation:
research/strominger/authority-grant-composition-interpretation.md - Semantic gates: 10/10
- Hostile fixtures: 6/6
- Deterministic replay: byte-identical SHA-256 output
- Graph admission:
ev-000000003326-a7906de2-56d8-4960-b197-4bb644444f8c - Ledger allocation:
seqclaim-190babe906d3c533597a1400