git.iko.soy/jibb
on master help sign in
history ofaa277c9..master
compare
ec7c6d4Cover forward dependency resolutioniko ba67080Stop committing the generated golden test fileClaude 93d6b23Recover every direct initializer by one pathClaude 839f6b0Resolve top-level definitions dependencies firstClaude 96d1784Stop the printer's 26-variable cap from gating what checksClaude c0a0b85Take fresh IDs from one pass instead of a budgeted scanClaude 38c711cUnify branch result joiningiko 84b8527Run the eval checks in CIClaude 7bc7d54Let the repository spec win, and keep settled questions in DecisionsClaude 116178bLicense Jibb under MITClaude cdf53c8Add tools/hoon --no-debug, for timingsClaude ce69a3bKeep the reasons full module checks already findClaude f0411adReport a local definition's own definite errorClaude 2b9666cPass projected pairs to the overlap witness and state its orderClaude 447a592Report projected union overlaps from the full module checkClaude 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