on master help sign in
history ofa211c34..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