Skip to content

feat(bar): surface Lex-native signals in the bar walk #129

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
alpibrupa merged 1 commit into from
Sep 5, 2026
Merged

feat(bar): surface Lex-native signals in the bar walk #129

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 14 additions & 1 deletion src/tools/bar_check.lex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,8 @@ import "../bar/checks" as checks

import "../bar/ledger" as ledger

import "./effect_minimality" as effmin

import "./util" as util

fn params() -> s.ModelSchema {
Expand Down Expand Up @@ -56,9 +58,20 @@ fn run_one(root :: Str, path :: Str, id :: Str) -> [io, proc] Result[jv.Json, e.
}
}

# Lex-native evidence the ledger's two source books have no way to ask
# for — they were written for prose checklists, not a typed effect
# system — so this is deliberately a separate section, not a 15th
# ledger item pretending to be sourced from either book (#121). #119's
# effect_minimality probe is the first signal here: a declared effect
# row wider than the body needs, something no general-purpose review
# tool could check at all.
fn lex_native_signals(path :: Str) -> [io, proc] Str {
str.join(["\nLEX-NATIVE SIGNALS — not from either source book; specific to what a typed effect system can prove about itself.\n\n", effmin.report(path)], "")
}

fn run_walk(root :: Str, path :: Str) -> [io, proc] Result[jv.Json, e.Errors] {
let probes := checks.run_all(root, path)
Ok(JStr(str.join(["MINIMUM BAR — repository probes over ", root, "\n\n", str.join(list.map(probes, checks.render), "\n\n"), "\n", open_items()], "")))
Ok(JStr(str.join(["MINIMUM BAR — repository probes over ", root, "\n\n", str.join(list.map(probes, checks.render), "\n\n"), "\n", lex_native_signals(path), "\n", open_items()], "")))
}

fn execute(args :: jv.Json) -> [net, io, proc] Result[jv.Json, e.Errors] {
Expand Down
Loading