git.iko.soy/jibb
on 16c08c8 help sign in
history ofdocs/development.md
all commits
e97aebeRewrite status.md as a capability tableClaude f84a29eRemove the GitHub Actions workflowClaude d43c99bMove the importer-only fixtures to a jibb-fixtures deskClaude 8125287Read my-app's sources on the test desk instead of copiesClaude 933bc83Move the importer's test fixtures into its test suiteClaude 32f4b78Check spans and the Hoon references with test armsClaude d74b5e2Run the test suites' arms under eval with one runnerClaude ba67080Stop committing the generated golden test fileClaude 84b8527Run the eval checks in CIClaude 7bc7d54Let the repository spec win, and keep settled questions in DecisionsClaude cdf53c8Add tools/hoon --no-debug, for timingsClaude a211c34Fix checker regressions from the repository reviewiko f583172Add a flake that builds the desks and runs every checkClaude 0a86d7cAdd tools/check, one runner for every checkClaude 941c486tools/ship: find the ship by its binary; read empty .txt filesClaude 0858191Infer gate-free equality constraintsiko 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 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 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 911ca0cCompare constructor heads by noun valueiko a1c5f35Infer the todo API request interfacesiko dde791cInfer a source-backed API request gateiko ae1ec26Recognize default-wrapped imported unionsiko 3f55af7Add source-backed transparent requestsiko