Add generated hammock Dwyer-Kan core

[miuchan]

Summary

• smallify the full generated hammock-path mapping categories in the same universe as the linear and actual target local categories
• construct generated-to-linear and direct generated-to-target categorical equivalences, categorical-nerve equivalence witnesses, and explicit simplicial homotopy inverses
• prove the direct generated target comparison factors strictly through the independent linear hammock comparison
• package these local results with outer essential surjectivity as GeneratedHammockDwyerKanCore and expose them through the mapping/global comparison cores
• update the axiom audit, blueprint, model matrix, conjecture boundary, and four-language research status

Verification

• lake build Ript.Higher.CostExactZigzagMappingSpace
• lake build Ript.Higher.CostExactZigzagGlobalComparison
• ./scripts/check-source-quality.sh
• ./scripts/check-axioms.sh
• ./scripts/quality-gate.sh (3664 build targets, declaration lint, executable examples, and axiom allowlist all passed)

Remaining boundary

This is an audited project-local generated-hammock Dwyer--Kan core. It does not yet identify the generated presentation with the classical reduced arbitrary-grid hammock localization or another standard derived mapping-space construction. Critical-pair coherence, reduced-hammock invariance, standard weak-equivalence packaging, and the final global complete-Segal/Rezk theorem remain open.