Find file in wolf-lang/pelt@trunk
- .github/workflows/ci.yml
- .gitignore
- CLAUDE.md
- LICENSE
- LICENSE-TRAINING-DATA
- README.md
- ci/nightly-red.sh
- ci/tiers-test.py
- ci/tiers.py
- ci/tl28-prediction.md
- ci/tl30-prediction.md
- docs/CENSUS.md
- docs/CHANGELOG.md
- docs/PLAN.md
- notes/r40p-prediction.txt
- notes/sh01-evidence/gauntlet-9dcdd27.log
- notes/sh01-evidence/gauntlet-plant-a56d609-mislabelled-header.log
- notes/sh01-evidence/plant-a56d609-native.log
- notes/sh01-evidence/witness-002e675-native.log
- notes/sh01-evidence/witness-55a7e7a-native.log
- notes/sh01-evidence/witness-9dcdd27-native.log
- notes/sh01-the-language.md
- notes/sh02-evidence/demo-1ba87c0.txt
- notes/sh02-evidence/demo-eof.keys
- notes/sh02-evidence/demo.keys
- notes/sh02-evidence/gauntlet-1ba87c0.log
- notes/sh02-evidence/plant-c940f04-release.log
- notes/sh02-evidence/witness-f0014da-native.log
- notes/sh02-the-prompt.md
- notes/sh03-evidence/difftest-head-0750bf0-release.log
- notes/sh03-evidence/difftest-trunk-code-at-pin-release.log
- notes/sh03-evidence/head-0750bf0.log
- notes/sh03-evidence/pin-alone-1d7c8da.log
- notes/sh03-evidence/session-head-0750bf0-release.log
- notes/sh03-evidence/session-trunk-code-at-pin-release.log
- notes/sh03-the-plumbing.md
- notes/sh04-evidence/base-dd22a86.log
- notes/sh04-evidence/rss-dd22a86-dfbe7ae.log
- notes/sh04-evidence/witness-green-dfbe7ae.log
- notes/sh04-evidence/witness-red-0f7b8cc.log
- notes/sh04-the-glob.md
- notes/sh05-evidence/base-3e7516c.log
- notes/sh05-evidence/census-head-8aecb7c.txt
- notes/sh05-evidence/census-trunk-3e7516c-at-0.2.26.txt
- notes/sh05-evidence/census-trunk-code-at-0.2.27.txt
- notes/sh05-evidence/difftest-head-8aecb7c-native-taskset.log
- notes/sh05-evidence/difftest-head-8aecb7c-release.log
- notes/sh05-evidence/difftest-head-aab5b78-native-taskset-red.log
- notes/sh05-evidence/head-8aecb7c.log
- notes/sh05-evidence/head-aab5b78-before-the-barrier.log
- notes/sh05-evidence/pin-alone-9312eae.log
- notes/sh05-evidence/plant-c6ba091-release.log
- notes/sh05-evidence/poll-race-wolf-0.2.27.log
- notes/sh05-evidence/session-head-8aecb7c-release.log
- notes/sh05-evidence/session-head-aab5b78-release-taskset-red.log
- notes/sh05-evidence/spawn-and-gaps-aab5b78.log
- notes/sh05-evidence/stress-8aecb7c.log
- notes/sh05-the-exec.md
- notes/sh06-evidence/a_quote_token_param.census
- notes/sh06-evidence/b_expansion.census
- notes/sh06-evidence/c_redir_errors.census
- notes/sh06-evidence/d_commands.census
- notes/sh06-evidence/e_jobs_signals_env_pattern.census
- notes/sh06-evidence/f_special_builtins.census
- notes/sh06-evidence/g_utilities.census
- notes/sh06-evidence/gen.py
- notes/sh06-evidence/h_beyond.census
- notes/sh06-evidence/i_scripts.census
- notes/sh06-evidence/leak.py
- notes/sh06-evidence/logs/diff-release-base.log
- notes/sh06-evidence/logs/g1-diff-native.log
- notes/sh06-evidence/logs/g1-diff-release-taskset.log
- notes/sh06-evidence/logs/g1-diff-release.log
- notes/sh06-evidence/logs/g1-oracle-check.log
- notes/sh06-evidence/logs/g1-sess-native.log
- notes/sh06-evidence/logs/g1-sess-release-taskset.log
- notes/sh06-evidence/logs/g1-sess-release.log
- notes/sh06-evidence/logs/g2-diff-native.log
- notes/sh06-evidence/logs/g2-diff-release-taskset.log
- notes/sh06-evidence/logs/g2-diff-release.log
- notes/sh06-evidence/logs/g2-oracle-check.log
- notes/sh06-evidence/logs/icensus-native.log
- notes/sh06-evidence/logs/icensus-release.log
- notes/sh06-evidence/logs/leak-release.log
- notes/sh06-evidence/logs/leak2-dash.log
- notes/sh06-evidence/logs/leak2-native.log
- notes/sh06-evidence/logs/leak2-release.log
- notes/sh06-evidence/logs/loopmem-release.log
- notes/sh06-evidence/logs/sess-release-base.log
- notes/sh06-evidence/loopmem.sh
- notes/sh06-evidence/pend.py
- notes/sh06-evidence/pending.tsv
- notes/sh06-evidence/scripts/constructs.md
- notes/sh06-evidence/scripts/final-aided.log
- notes/sh06-evidence/scripts/final-unaided.log
- notes/sh06-evidence/scripts/scripts-aided.tsv
- notes/sh06-evidence/scripts/scripts.tsv
- notes/sh06-evidence/scripts/speed-pinned.txt
- notes/sh06-evidence/scripts/speed-unpinned.txt
- notes/sh06-evidence/scripts/speed.md
- notes/sh06-evidence/sess.py
- notes/sh06-evidence/witness/argv_bytes/argv_bytes.log
- notes/sh06-evidence/witness/argv_bytes/argv_bytes.lu
- notes/sh06-evidence/witness/drive.log
- notes/sh06-evidence/witness/drive.py
- notes/sh06-evidence/witness/read_vs_signal/read_vs_signal.lu
- notes/sh06-evidence/witness/stop_report/stop_report.lu
- notes/sh06-evidence/witness/term_keys/term_keys.lu
- notes/sh06-evidence/witness/winch/winch.lu
- notes/sh06-the-census.md
- notes/sh07-evidence/access/access.sh
- notes/sh07-evidence/access/dirsize.sh
- notes/sh07-evidence/access/witness-644b48b.log
- notes/sh07-evidence/access/witness.sh
- notes/sh07-evidence/bench/heads
- notes/sh07-evidence/bench/instructions.txt
- notes/sh07-evidence/bench/load-pinned.txt
- notes/sh07-evidence/bench/load-unpinned.txt
- notes/sh07-evidence/bench/speed-pinned.txt
- notes/sh07-evidence/bench/speed-unpinned.txt
- notes/sh07-evidence/logs/base-clause.log
- notes/sh07-evidence/logs/base-diff-native.log
- notes/sh07-evidence/logs/base-diff-release.log
- notes/sh07-evidence/logs/base-sess-release.log
- notes/sh07-evidence/logs/h2.status
- notes/sh07-evidence/logs/h3-cases-on-trunk-pelt.log
- notes/sh07-evidence/logs/h3-clause.log
- notes/sh07-evidence/logs/h3-diff-native.log
- notes/sh07-evidence/logs/h3-diff-release-taskset.log
- notes/sh07-evidence/logs/h3-diff-release.log
- notes/sh07-evidence/logs/h3-exec-native.log
- notes/sh07-evidence/logs/h3-exec-release.log
- notes/sh07-evidence/logs/h3-fmt.log
- notes/sh07-evidence/logs/h3-glob-native.log
- notes/sh07-evidence/logs/h3-glob-release.log
- notes/sh07-evidence/logs/h3-loop-native.log
- notes/sh07-evidence/logs/h3-loop-release.log
- notes/sh07-evidence/logs/h3-oracle-check.log
- notes/sh07-evidence/logs/h3-sess-native.log
- notes/sh07-evidence/logs/h3-sess-release-taskset.log
- notes/sh07-evidence/logs/h3-sess-release.log
- notes/sh07-evidence/logs/h3-test.log
- notes/sh07-evidence/logs/h3.status
- notes/sh07-evidence/scripts/after-aided-and-pfetch.log
- notes/sh07-evidence/scripts/after-aided.tsv
- notes/sh07-evidence/scripts/after-unaided.log
- notes/sh07-evidence/scripts/after-unaided.tsv
- notes/sh07-evidence/scripts/base-unaided.log
- notes/sh07-evidence/scripts/base-unaided.tsv
- notes/sh07-evidence/scripts/final-unaided.log
- notes/sh07-evidence/scripts/final-unaided.tsv
- notes/sh07-evidence/scripts/step1-f3f0d15.tsv
- notes/sh07-evidence/scripts/step2-df1a62e.tsv
- notes/sh07-evidence/scripts/step3-d5bd035.tsv
- notes/sh07-evidence/scripts/step4-c130113.tsv
- notes/sh07-evidence/scripts/step5-b0d0814.tsv
- notes/sh07-evidence/scripts/steps.out
- notes/sh07-the-script-walls.md
- notes/sh08-evidence/bench/heads
- notes/sh08-evidence/bench/instructions.txt
- notes/sh08-evidence/bench/load-pinned.txt
- notes/sh08-evidence/bench/load-unpinned.txt
- notes/sh08-evidence/bench/speed-pinned.txt
- notes/sh08-evidence/bench/speed-unpinned.txt
- notes/sh08-evidence/logs/base-diff-native.log
- notes/sh08-evidence/logs/base-loop-native.log
- notes/sh08-evidence/logs/base-loop-release.log
- notes/sh08-evidence/logs/base-sess-native.log
- notes/sh08-evidence/logs/base-shapes.log
- notes/sh08-evidence/logs/base.status
- notes/sh08-evidence/logs/head1.status
- notes/sh08-evidence/logs/head2.status
- notes/sh08-evidence/logs/head3-clause.log
- notes/sh08-evidence/logs/head3-diff-native.log
- notes/sh08-evidence/logs/head3-diff-release-taskset.log
- notes/sh08-evidence/logs/head3-diff-release.log
- notes/sh08-evidence/logs/head3-edit-native.log
- notes/sh08-evidence/logs/head3-edit-release.log
- notes/sh08-evidence/logs/head3-exec-native.log
- notes/sh08-evidence/logs/head3-exec-release.log
- notes/sh08-evidence/logs/head3-glob-native.log
- notes/sh08-evidence/logs/head3-glob-release.log
- notes/sh08-evidence/logs/head3-loop-native.log
- notes/sh08-evidence/logs/head3-loop-release.log
- notes/sh08-evidence/logs/head3-oracle-check.log
- notes/sh08-evidence/logs/head3-sess-native.log
- notes/sh08-evidence/logs/head3-sess-release-taskset.log
- notes/sh08-evidence/logs/head3-sess-release.log
- notes/sh08-evidence/logs/head3-shape-native.log
- notes/sh08-evidence/logs/head3-shape-release.log
- notes/sh08-evidence/logs/head3-test.log
- notes/sh08-evidence/logs/head3.status
- notes/sh08-evidence/logs/instructions-per-command.txt
- notes/sh08-evidence/logs/plant-selftest.log
- notes/sh08-evidence/logs/prof-base/loop1.txt
- notes/sh08-evidence/logs/prof-base/loop2.txt
- notes/sh08-evidence/logs/prof-base/loop3.txt
- notes/sh08-evidence/logs/prof-base/loop4.txt
- notes/sh08-evidence/logs/prof-base/loop5.txt
- notes/sh08-evidence/logs/prof-base/loop6.txt