../ checker/Start type inference and Hoon imports4 days ago clay-fixtures/Parse type holes and reject duplicate record fields3 days ago golden/Lexer: report a cut-off escape as one, and test the character rules1 day ago importer/Prove structural Hoon union overlaps3 days ago lib/Lexer: report a cut-off escape as one, and test the character rules1 day ago type-api-evidence/Analyze API supporting definitions3 days ago type-api-paths/Restore raw-poke command helpers1 day ago type-buttons/Report unresolved tags at their source1 day ago type-cell-branch/Check empty molds and contextual cell branches3 days ago type-deferred-context/Report alias overlaps and retain deferred branch context3 days ago type-deferred-prepared/Recover prepared tuple initializers in reports2 days ago type-deferred-resolver/Keep deferred call fits stable across substitutions3 days ago type-deferred/Resolve bounded deferred constructor constraints3 days ago type-direct-gate/Add source-backed UI and program prelude2 days ago type-empty/Check empty molds and contextual cell branches3 days ago type-full-overlap/Preserve full-module overlap source evidence3 days ago type-gate-free/Restore raw-poke command helpers1 day 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 overlaps3 days ago type-import-structural/Prove structural Hoon union overlaps3 days ago type-import/Prove structural Hoon union overlaps3 days ago type-list-alias/Add source-backed UI and program prelude2 days ago type-mark/Cache library interfaces and import record faces4 days ago type-module-scope/Import recursive Tlon unions and prepare comparison interface3 days ago type-page-main/Restore raw-poke command helpers1 day ago type-poke/Restore raw-poke command helpers1 day 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 helpers1 day 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 helpers1 day ago type-todo-full/Restore raw-poke command helpers1 day ago type-todo-partial/Add source-backed UI and program prelude2 days ago type-union-alias-overlap/Report alias overlaps and retain deferred branch context3 days ago type-union-source/Add source-backed UI and program prelude2 days ago