feat(cli): tri igla — search/list/gate/check/triplet for IGLA RACE ledger#542
Open
feat(cli): tri igla — search/list/gate/check/triplet for IGLA RACE ledger#542
Conversation
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
…dger
Adds a five-subcommand `tri igla` family that reads the
trios-trainer-igla `assertions/seed_results.jsonl` ledger
plus `assertions/embargo.txt`:
- search — filter by --seed/--bpb-max/--step-min/--sha/--gate-status,
emits canonical R7 triplet per match
- list — last N rows in triplet form (default 10)
- gate — Gate-2 quorum (>= 3 seeds with bpb<target AND step>=4000)
- check — embargo refusal (R9), exits non-zero on hit
- triplet — print canonical R7 triplet for a row index
Triplet (R7):
BPB=<v> @ step=<N> seed=<S> sha=<7c> jsonl_row=<L> gate_status=<g>
Constitutional discipline:
- Spec authored first at `specs/cli/igla.t27`
(10 `test`, 6 `invariant`, 3 `bench`; ASCII-only).
- Backend at `cli/tri/src/igla.rs` matches the spec 1:1.
- Skill begin / spec seal / verdict / experience save /
commit recorded under `.trinity/`.
Tests: 17 `cargo test` cases pass; e2e smoke verifies all five
subcommands against a synthetic three-seed Gate-2 PASS ledger and
the eight-SHA embargo file.
Closes #541
6704490 to
b96a293
Compare
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
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
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.
Summary
Adds a
tri iglasubcommand family — five commands for querying the IGLA RACE training ledger (trios-trainer-igla/assertions/seed_results.jsonl) and the embargo list.tri igla search--seed,--bpb-max,--step-min,--sha,--gate-status. Emits canonical R7 triplet per match.tri igla list --last Ntri igla gate --target Tbpb < TANDstep ≥ 4000. Exit 0 on PASS, 2 on NOT YET.tri igla check <sha>assertions/embargo.txt.tri igla triplet <i>i.Triplet (R7)
Constitutional discipline
specs/cli/igla.t27(10test, 6invariant, 3bench, ASCII-only). Backend atcli/tri/src/igla.rsmirrors the spec 1:1..trinity/state/,.trinity/seals/CliIgla.json,.trinity/events/akashic-log.jsonl.Hashes
spec_hash_after = cf443c08…3063fgen_hash_after = 3d5ed0ea…46698test_vector_hash = 6a6256e8…17a15aTests
cargo test(incli/tri/): 17/17 pass — all spec tests, invariants, format-bpb edge cases.gate --target 1.85→PASS quorum=3/3(rc=0)check 477e3377(embargoed) →REFUSED(rc=1)check 2446855(clean) →OK(rc=0)search --bpb-max 1.85 --step-min 4000→ 3 hitstriplet 0→BPB=2.497 @ step=12000 seed=43 sha=6a40e17 jsonl_row=1 gate_status=below_target_evidencecargo fmt --checkclean.Files
specs/cli/igla.t27(new, 401 lines)cli/tri/src/igla.rs(new, 551 lines incl. tests)cli/tri/src/main.rs(+1 import, +1 enum variant, +1 dispatch arm)cli/tri/Cargo.toml(decoupled from workspace socli/tribuilds standalone).trinity/state/active-skill.json,.trinity/state/issue-binding.json.trinity/seals/CliIgla.json.trinity/events/akashic-log.jsonlCloses #541