Deterministic, local-first run evidence for AI agent workflows.
Vifei records canonical run truth as an append-only EventLog, then projects that truth into operator views and proof artifacts you can rerun and verify.
Presentation showcase: docs/showcase/index.md
Trust-first cockpit with deterministic proof surfaces:
Quick launch commands:
scripts/demo/trust_demo_cut.sh /tmp/vifei_trust_cut fixtures/small-session.jsonl
scripts/demo/visual_showcase_cut.sh /tmp/vifei_visual_cut
scripts/demo/package_launch_bundle.sh .tmp/launch-media-bundle- Deterministic replay evidence you can rerun and verify locally.
- Incident-first and forensic-first views with an always-visible Truth HUD.
- Share-safe export that fails closed with explicit refusal reports.
Most agent workflows have logs but weak replay guarantees under stress. Vifei keeps truth auditable when pressure rises.
- Canonical ordering uses
commit_indexfrom one append writer. - Truth stays intact under overload; only projection quality degrades.
- Share-safe export refuses unsafe bundles and emits explicit refusal reports.
Teams lose deals when execution context is fragmented across tools and people. Vifei demonstrates an engineering posture that keeps operational workflows fast and trustworthy.
- Faster root-cause analysis for stalled workflow states through deterministic replay.
- More consistent follow-through with explicit, inspectable run evidence.
- Safer automation boundaries with fail-closed export and refusal diagnostics.
- Run deterministic stress Tour:
cargo run -p vifei-tui --bin vifei -- tour fixtures/large-stress.jsonl --stress --output-dir tour-output- Confirm proof artifacts:
ls -1 tour-output
cat tour-output/viewmodel.hash
cat tour-output/metrics.json- Optional human-readable CLI surface check:
cargo run -p vifei-tui --bin vifei -- --human --helpExpected artifact files:
metrics.jsonviewmodel.hashansi.capturetimetravel.capture
| Claim | How to verify |
|---|---|
| Replay determinism | Run Tour twice and compare viewmodel.hash |
| Tier A truth protection | Confirm tier_a_drops is 0 in metrics.json |
| Share-safe export posture | Run export with --share-safe; inspect refusal report behavior |
| Constitutional alignment | Run cargo test (docs_guard enforces constitutional drift checks) |
Use this path during active investigation on a full terminal.
- Human CLI adapter track (operator-readable snippets):
docs/showcase/adapter-human-cli-track.md - Robot JSON adapter track (automation snippets + contract expectations):
docs/showcase/adapter-robot-json-track.md - Refusal and safety adapter track (security and governance proofs):
docs/showcase/adapter-refusal-safety-track.md
cat tour-output/viewmodel.hash
cargo run -p vifei-tui --bin vifei -- tour fixtures/large-stress.jsonl --stress --output-dir tour-output-rerun
cat tour-output-rerun/viewmodel.hashExpected result: both hash files match.
Shortcut demo script:
scripts/demo/determinism_duel.sh --fastUse --full for stress-grade replay duel.
cargo run -p vifei-tui --bin vifei -- view docs/assets/readme/sample-eventlog.jsonlRun in a real interactive terminal (TTY).
A standalone read-only cockpit built on FrankenTUI with animated gradient title, live spinner, color-coded event breakdown, and deterministic BLAKE3 viewmodel hash.
cargo run --release -p vifei-ftui -- --events docs/assets/readme/sample-eventlog.jsonlHeadless mode for CI and scripted verification:
cargo run --release -p vifei-ftui -- --events docs/assets/readme/sample-eventlog.jsonl --headlessUse this path when you need high-signal proof checks quickly in limited width.
- Run Tour and check hash + drops.
- Run refusal radar for export safety proof.
- Read the latest bakeoff report for one-file summary evidence.
scripts/demo/determinism_duel.sh --fast
scripts/demo/refusal_radar.sh --fast
cat .tmp/competitor-bakeoff/run-*/bakeoff-report.jsoncargo run -p vifei-tui --bin vifei -- \
view docs/assets/readme/sample-eventlog.jsonl --profile showcaseshowcase only changes presentation chrome and emphasis; truth ordering and proof semantics remain unchanged.
Incident Lens (standard):
Incident Lens (showcase):
Forensic Lens (showcase):
Truth HUD (showcase):
cargo run -p vifei-tui --bin vifei -- export \
docs/assets/readme/sample-export-clean-eventlog.jsonl \
--share-safe \
--output out/bundle.tar.zst \
--refusal-report out/refusal-report.jsonRefusal Radar demo script:
scripts/demo/refusal_radar.sh --fastcargo run -p vifei-tui --bin vifei -- incident-pack \
docs/assets/readme/sample-export-clean-eventlog.jsonl \
docs/assets/readme/sample-export-clean-eventlog.jsonl \
--output-dir out/incident-packThis writes deterministic local artifacts (compare/delta.json, replay summaries, share-safe bundles, and manifest.json) and fails closed with EXPORT_REFUSED if scanner findings block export.
Input format flags for mixed-source comparisons:
cargo run -p vifei-tui --bin vifei -- incident-pack \
fixtures/small-session.jsonl \
docs/assets/readme/sample-export-clean-eventlog.jsonl \
--left-format cassette \
--right-format eventlog \
--output-dir out/incident-packManifest input labels are share-safe file labels (not absolute local paths).
cargo run -p vifei-tui --bin vifei -- compare \
docs/assets/readme/sample-export-clean-eventlog.jsonl \
docs/assets/readme/sample-export-clean-eventlog.jsonlOptional mixed-format compare:
cargo run -p vifei-tui --bin vifei -- compare \
fixtures/small-session.jsonl \
docs/assets/readme/sample-export-clean-eventlog.jsonl \
--left-format cassette \
--right-format eventlogExit behavior:
0when no divergence is found5when divergences are found (DIFF_FOUNDenvelope in robot mode)
scripts/demo/competitor_bakeoff.sh --fastThis produces a timestamped proof bundle under .tmp/competitor-bakeoff/ with:
- determinism duel hash agreement
- refusal-report blocked-item evidence
- Truth HUD explainability token checks
- incident-pack artifact validation
Run:
scripts/demo/competitor_bakeoff.sh --fullInspect:
cat .tmp/competitor-bakeoff/run-*/bakeoff-report.jsonLatest run summary (2026-02-18T22:36:20Z):
- determinism hash agreement:
000573091386a86cabe6935bbe997897a83f42cf89595238e55c2f9c8d45eda6 - refusal semantics:
blocked_count=4 - explainability tokens present:
Level,Agg,Pressure,Drops,Export,Version - incident pack artifacts validated:
manifest.jsonandcompare/delta.json
Generate governance + demo evidence in one place:
mkdir -p .tmp/final-audit
scripts/testing/check_bead_closure_evidence.py \
--audit-output-json .tmp/final-audit/bead-risk-parity.json \
--audit-output-markdown .tmp/final-audit/bead-risk-parity.md
scripts/testing/validate_defer_register.py docs/testing/defer-register-v0.1.json
scripts/testing/check_coverage_contract.sh
scripts/testing/demo_smoke.sh .tmp/final-audit/demo-smokePrimary outputs:
.tmp/final-audit/bead-risk-parity.json.tmp/final-audit/bead-risk-parity.md.tmp/final-audit/demo-smoke/duel/*/viewmodel.hash.tmp/final-audit/demo-smoke/radar/refusal-report.json.tmp/final-audit/demo-smoke/bakeoff/*/bakeoff-report.json
scripts/demo/live_incident_wall.sh --fastThis prepares premium showcase wall assets under docs/assets/readme/.
scripts/capture_showcase_cast.sh --fast /tmp/vifei-showcase-castRequires asciinema; output is a replayable .cast file for launch/demo channels.
Use machine-readable mode for automation:
cargo run -p vifei-tui --bin vifei -- \
--json tour fixtures/large-stress.jsonl \
--stress --output-dir tour-outputBehavior contract:
--jsonreturns compact structured output for success and errors.- When stdout is piped, CLI auto-switches to JSON (unless
--humanis set). - Error payloads include
code,message, andsuggestions. - Parser authority is explicit:
clapowns subcommand aliases and parse semantics. - Normalization is bounded to known option spelling repairs and never rewrites positionals (including after
--).
Force human-readable output even when piping:
cargo run -p vifei-tui --bin vifei -- \
--human --helpStrict trust verification command:
cargo run -p vifei-tui --bin vifei -- \
--json verify --strict --full --output-dir verify-outputThis emits a single structured result that checks determinism stability, Tier A drop safety, refusal semantics, and explainability token presence.
Robot JSON contract keys (schema_version=vifei-cli-robot-v1.1):
| Key | Type | Notes |
|---|---|---|
schema_version |
string | Contract version for parsers |
ok |
bool | Success/failure discriminator |
code |
string | Stable status code (OK, INVALID_ARGS, NOT_FOUND, EXPORT_REFUSED, RUNTIME_ERROR, DIFF_FOUND) |
message |
string | Human-readable summary |
suggestions |
array[string] | Actionable next commands or hints |
exit_code |
number | Process exit code mirror |
data |
object | Success payload (present on success envelopes) |
notes |
array[string] | Optional normalization notes when intent-repair was applied |
Exit codes:
0: success1: not found2: invalid args3: export refused (share-safe scanner refusal)4: runtime error5: diff found (compare divergence)
flowchart TD
A[Agent Cassette JSONL] --> B[Importer]
B --> C[Append Writer<br/>assigns commit_index]
C --> D[EventLog JSONL + Blob Store]
D --> E[Reducer]
E --> F[Projection]
F --> G[ViewModel]
G --> H[Incident Lens + Forensic Lens + Truth HUD]
D --> I[Tour stress harness]
I --> J[metrics.json]
I --> K[viewmodel.hash]
I --> L[ansi.capture]
I --> M[timetravel.capture]
Workspace crates:
crates/vifei-core: event schema, append writer, reducer, projectioncrates/vifei-import: Agent Cassette importercrates/vifei-export: bundle export and share-safe scanningcrates/vifei-tour: stress harness and proof artifact emissioncrates/vifei-tui: CLI and terminal UI lensestools/vifei-ftui: FrankenTUI cockpit sidecar viewer
docs/CAPACITY_ENVELOPE.mddocs/BACKPRESSURE_POLICY.mddocs/UX_SCOPE.mddocs/UX_MODALITY_MATRIX.mddocs/UX_VISUAL_TONE.mddocs/PUBLIC_REPO_SETTINGS_CHECKLIST.md
docs/TESTING.mddocs/DEMO_SCRIPT.mddocs/RELEASE_TRUST_VERIFICATION.mddocs/RELEASE_PACKAGING_CHECKLIST.md
CONTRIBUTING.md: contribution expectations and report quality checklistSUPPORT.md: support channels and triage prioritiesSECURITY.md: private vulnerability reporting policydocs/COMMUNITY_TRIAGE_PLAYBOOK.md: maintainer triage and severity flow.github/ISSUE_TEMPLATE/: issue intake forms for bug and determinism reports.github/pull_request_template.md: PR evidence and risk template
Vifei v0.1 implements the core truth pipeline with deterministic replay, share-safe export, and evidence artifacts.
cargo fmt --check
cargo clippy --all-targets -- -D warnings
cargo testtour intentionally refuses non-stress mode in v0.1. Add --stress.
export requires --share-safe.
Treat as determinism regression. Re-run on an idle machine, then inspect recent reducer/projection changes.
view expects EventLog JSONL, not Agent Cassette fixture JSONL.
Reference captures and visuals live under docs/assets/readme/:
docs/assets/readme/incident-lens.txtdocs/assets/readme/incident-lens.svgdocs/assets/readme/incident-lens-showcase.txtdocs/assets/readme/incident-lens-showcase.svgdocs/assets/readme/forensic-lens.txtdocs/assets/readme/forensic-lens.svgdocs/assets/readme/forensic-lens-showcase.txtdocs/assets/readme/forensic-lens-showcase.svgdocs/assets/readme/truth-hud-degraded.txtdocs/assets/readme/truth-hud-degraded.svgdocs/assets/readme/truth-hud-showcase.txtdocs/assets/readme/truth-hud-showcase.svgdocs/assets/readme/export-refusal.txtdocs/assets/readme/architecture.mmd
Refresh deterministically:
scripts/refresh_readme_assets.sh

