../ checker/Start type inference and Hoon imports3 days ago clay-fixtures/Parse type holes and reject duplicate record fields2 days ago golden/Add source-backed text conversion wrappers2 days ago importer/Prove structural Hoon union overlaps2 days ago lib/Add source-backed text conversion wrappers2 days ago type-api-evidence/Analyze API supporting definitions2 days ago type-api-paths/Analyze API paths and import Ford union marks2 days ago type-cell-branch/Check empty molds and contextual cell branches2 days ago type-deferred-context/Report alias overlaps and retain deferred branch context2 days ago type-deferred-resolver/Keep deferred call fits stable across substitutions2 days ago type-deferred/Resolve bounded deferred constructor constraints2 days ago type-direct-gate/Infer direct higher-order gates from source2 days ago type-empty/Check empty molds and contextual cell branches2 days ago type-full-overlap/Preserve full-module overlap source evidence2 days ago type-gate-free/Analyze gate-free source molds2 days ago type-generic-construction/Check source-proven recursive tree construction2 days ago type-generic-pattern/Resolve bounded deferred constructor constraints2 days ago type-generic-recursion/Check source-proven recursive tree patterns2 days ago type-import-default/Recognize default-wrapped imported unions2 days ago type-import-diagnostic/Parse type holes and reject duplicate record fields2 days ago type-import-overlap/Prove structural Hoon union overlaps2 days ago type-import-structural/Prove structural Hoon union overlaps2 days ago type-import/Prove structural Hoon union overlaps2 days ago type-list-alias/Infer supported annotation holes and prelude list aliases2 days ago type-mark/Cache library interfaces and import record faces3 days ago type-module-scope/Import recursive Tlon unions and prepare comparison interface2 days ago type-poke/Expose transparent poke from internal prelude2 days ago type-tlon/Contextualize union branches and report nested tags2 days ago type-todo-api/Infer nested tagged-union payloads from context2 days ago type-todo-partial/Add source-backed text conversion wrappers2 days ago type-union-alias-overlap/Report alias overlaps and retain deferred branch context2 days ago type-union-source/Prove source-backed generic union case tags2 days ago