git.iko.soy/jibb
on a211c34 help sign in
a211c34Fix checker regressions from the repository reviewiko f1bf92cAdd a review of Jibb's syntaxClaude f583172Add a flake that builds the desks and runs every checkClaude 0a86d7cAdd tools/check, one runner for every checkClaude 537afdaRun the Clay fixtures self-test's fake ship with this PythonClaude f43d2eeopen-questions: question 25 is settled by @iko's eq workClaude a3ea2ccselftest: expect tools/golden to split a dying batch in halvesClaude bf65f8fRecord the answers to review questions 24 to 45; list the spec rulings for @ikoClaude 673eb51Record the answers to review questions 1 to 23Claude 452f64ctools/golden: split a dying batch in halves; prepare the prelude under muleClaude 941c486tools/ship: find the ship by its binary; read empty .txt filesClaude 68d9b76Lexer: report a cut-off escape as one, and test the character rulesClaude 0858191Infer gate-free equality constraintsiko 4f4978fNote the commits that landed during the reviewClaude 9440a2dLay out the review questions' options as listsClaude e146134List the decisions the repository review raisesClaude c7cd17dAdd a review of the whole repositoryClaude 5ccd150Add the hunt prelude gateiko 0e8ecb4Check the remaining doc fragmentsiko fb6373fRestore raw-poke command helpersiko 2d74861Report unresolved tags at their sourceiko 4bf477eCheck the unchanged cart store and basketiko 0517053Add the theme mold and explicit unit syntaxiko 1e17d5fCheck static and direct data-page mainsiko 46748b0Check the unchanged todo islandiko a163965Recover direct program update contextiko 2e4d582Add source-backed UI and program preludeiko 642d2c0Prove direct request watchability for programsiko 26bf7a7Recover direct program initializer contextiko b4703e7Check closed subscription-free program mainsiko aa277c9Recover prepared tuple initializers in reportsiko ab6fdc1Add source-backed text conversion wrappersiko b5cdc80Preserve full-module overlap source evidenceiko 2826c93Report alias overlaps and retain deferred branch contextiko b93a94bProve source-backed generic union case tagsiko 341bcb4Keep deferred call fits stable across substitutionsiko 22f3788Check empty molds and contextual cell branchesiko 72d85abResolve bounded deferred constructor constraintsiko 30b0a9eCheck source-proven recursive tree patternsiko d9d51e6Check source-proven recursive tree constructioniko 190a9d5Add source-backed list flatteningiko c96597dTrack source-proven generic recursive identitiesiko 142f2e2Prove structural Hoon union overlapsiko 179d717Diagnose source-proven Hoon union overlapsiko 09db390Skip unused capital-promotion scansiko 4da6891Add source-backed comparison gatesiko cc8e389Add source-backed list length and todo regressioniko 651b8ecInfer direct higher-order gates from sourceiko 706035cAnalyze gate-free source moldsiko 72acdb3Infer nested tagged-union payloads from contextiko