Common journey evidence
This page is generated. Program outputs come from each canonical expected.txt; the logger evidence label and claim come from the validated serialized docfact. The page does not contain a hand-copied terminal transcript.
canonical source → check/query → env | oracle | compiled → expected output| Moment | Canonical source | Expected on env/oracle/compiled |
|---|---|---|
| Thunk/force | examples/thunk-force/main.bang | 7 |
| Effect arithmetic | examples/effect-op-arith/main.bang | 70 |
| Counting handler | examples/logger-counting/main.bang | 3 |
| Silent handler | examples/logger-silent/main.bang | 0 |
The executable journey additionally checks 1 + 2, exact check --json output, the query dump schema, and that the two logger programs differ only in the handler clause.
Serialized logger evidence
Differential-tested — The counting and silent programs differ only in the handler clause; the env, oracle, and compiled engines produce each committed expected output byte-for-byte, and check --json plus query dump succeed for both.
Sources:
examples/logger-counting/main.bangexamples/logger-counting/expected.txtexamples/logger-silent/main.bangexamples/logger-silent/expected.txttools/test-docfacts-logger.sh
Validating commands:
just test-docfacts-loggerComplete common-journey gate
nix develop --command bash -lc 'just check-examples && just check-examples-env && just docs-check'
nix develop --command bash -lc 'just check-examples && just check-examples-env && just docs-check' --json --require-clean > /tmp/bang-onboarding-journey.jsonThe machine artifact records the source SHA, binary hash, every required step result, and explicit pass/fail/skip counts. --require-clean refuses dirty provenance.