../ checker/Start type inference and Hoon imports3 days ago clay-fixtures/Parse type holes and reject duplicate record fields3 days ago golden/Restore raw-poke command helpers22 hours ago importer/Prove structural Hoon union overlaps2 days ago lib/Restore raw-poke command helpers22 hours ago type-api-evidence/Analyze API supporting definitions3 days ago type-api-paths/Restore raw-poke command helpers22 hours ago type-buttons/Report unresolved tags at their source1 day 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-prepared/Recover prepared tuple initializers in reports2 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/Add source-backed UI and program prelude2 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/Restore raw-poke command helpers22 hours ago type-generic-construction/Add source-backed UI and program prelude2 days ago type-generic-pattern/Add source-backed UI and program prelude2 days ago type-generic-recursion/Add source-backed UI and program prelude2 days ago type-import-default/Recognize default-wrapped imported unions3 days ago type-import-diagnostic/Parse type holes and reject duplicate record fields3 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/Add source-backed UI and program prelude2 days ago type-mark/Cache library interfaces and import record faces3 days ago type-module-scope/Import recursive Tlon unions and prepare comparison interface3 days ago type-page-main/Restore raw-poke command helpers22 hours ago type-poke/Restore raw-poke command helpers22 hours ago type-program-main/Add source-backed UI and program prelude2 days ago type-program-update/Recover direct program update context2 days ago type-program-watch/Prove direct request watchability for programs2 days ago type-store/Restore raw-poke command helpers22 hours ago type-theme/Add the theme mold and explicit unit syntax1 day ago type-tlon/Contextualize union branches and report nested tags3 days ago type-todo-api/Restore raw-poke command helpers22 hours ago type-todo-full/Restore raw-poke command helpers22 hours ago type-todo-partial/Add source-backed UI and program prelude2 days ago type-union-alias-overlap/Report alias overlaps and retain deferred branch context2 days ago type-union-source/Add source-backed UI and program prelude2 days ago