Repository navigation
T27 OS: one installer built with make, README says so, TRI CLAW is a component - #11069
Merged
Merged
Conversation
…omponent (Closes #11044) make install builds tri, t27c and t27b and installs them under PREFIX (default /usr/local); make -n prints the plan; make uninstall removes exactly the files the install listed in share/t27/install.list. CLAW=on also installs TRI CLAW's service spec (specs/claw/service.t27 and text.t27, with their two seals) and runs t27c seal --verify on it: TRI CLAW has no server of its own, so that check is its start. EARN=on is refused before anything changes, because no lab node ships in this checkout. Both flags are off unless typed exactly as on. The decisions are specs/t27os/install.t27 (platforms, which platforms get t27b, prefix rules, the file list, idempotence, dry run, the manifest that only grows, the version pin, the two flags) with 16 tests. The Makefile names the same files; no generator turns a .t27 spec into a Makefile, so the agreement is checked by reading make -n output against the spec's lists, not by a gate. The Makefile stays under the foreign-line budget: 40 lines added, 41 deleted. The deleted lines are the dead install-hooks target (no file calls it), the hand-written help echo block, and comment text the new help lines now carry. README Quick Start: the build step is replaced by the make install path, one sentence for the opt-in earn flag, one that phones join through the trios app. Not in this commit: the seal .trinity/seals/t27os_T27osInstall.json. The sandbox that wrote it could not run the zig test runner (zig cache directory not writable), so a seal made there would record the tests as blocked. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…component (Closes #11044) Merge of master plus sealing, gates run on the merged tree with t27c from master: tests clean with vacuous passes 0, seal --verify MATCH, tri types ratchet CLEAN, dupe_scan failure set a subset of master's. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Contributor
3 tasks
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #11044
T27 OS: one installer built with make, README says so, TRI CLAW is a component
Gates run on the merged tree (t27c from master): 1 spec(s) with tests clean and vacuous passes 0, seal --verify MATCH, tri types ratchet CLEAN, dupe_scan failure set a subset of master's (inherited red).
TEST specs/t27os/install.t27 tests=[16] fail=[0] vacuous=[0]
SEAL specs/t27os/install.t27 :: all hashes MATCH
TYPES RATCHET: CLEAN
DUPE failing=15 extra-vs-master=[]
🤖 Generated with Claude Code