Skip to content

feat(cli): explain event receipts and clarify stance guarantees - #92

Open
BitmapAsset wants to merge 4 commits into
chore/0.14.1-cleanupfrom
feat/0.15-usability-1
Open

BitmapAsset wants to merge 4 commits into
chore/0.14.1-cleanupfrom
feat/0.15-usability-1

Conversation

@BitmapAsset

Copy link
Copy Markdown
Owner

Operators can now run probbit explain STRAND --event N [--json] to inspect logged inputs, before/after stance odds, binding habits, chain hashes and whether the event recomputes. It reuses authoritative replay/turn APIs, checks the prefix through N, and leaves existing engine semantics and outputs intact. The README and new SOUL-to-habits guide explain that stance habits do not guarantee model obedience.

Stacked on #91 (chore/0.14.1-cleanup); this PR shows only the three usability commits.

Validation: all 13 new regression tests passed; existing stdout goldens, generated man page and command-table checks passed. CLI-binary Clippy and formatting of the new files passed. Full unfiltered workspace suite on a macOS host (cargo test --workspace --no-fail-fast, 2026-11-05): 477 passed, 0 failed, 4 ignored, exit 0, including the socket-bind, process-priority, loopback-server and deadline tests that an earlier sandboxed run could not execute. Two pre-existing baseline issues are unchanged by this branch: workspace cargo fmt --check fails on the same 93 files as before, and all-targets Clippy rejects an existing approximate-PI constant in probbit-decide/src/amp.rs.

The windows-latest runner checks out with core.autocrlf=true, so the fixture already had CRLF on disk and the test LF -> CRLF replace produced CR CR LF, which `explain` rightly reports as a header that is not as written. Normalise to LF first so the test exercises real CRLF on every platform.

Verified locally: `cargo test -p probbit-cli --test explain` passes with the fixture on disk as LF and as CRLF (13/13 both ways).

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant