Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
431 commits
Select commit Hold shift + click to select a range
ee0e09a
fix(test): #4250's serve prefill count follows #4214's two-span split…
noahgift Sep 25, 2026
b9903ed
ci(cuda-nightly): run #4250's serve batched-prefill test on gx10; a S…
noahgift Sep 26, 2026
bbfbe9f
fix(cuda-nightly): #4251's --exact filter needs the full test path, o…
noahgift Sep 26, 2026
486b6e2
fix(guards): clear #4318's two guard reds — contract ID order, and a …
noahgift Sep 25, 2026
0975f36
feat(release): aarch64-apple-darwin apr CPU asset, required by the as…
noahgift Sep 26, 2026
fc00d76
feat(release): darwin lane runs on the self-hosted mini-builder, not …
noahgift Sep 26, 2026
ba23332
fix(release): #4292 darwin lane passes check_runner_labels + grep-q r…
noahgift Sep 24, 2026
ee68338
test(serve): /health and /v1/effective-config agree through the route…
noahgift Sep 25, 2026
ad8dc29
fix(release): stamp_rc_version.sh stamps without python3, and reads e…
noahgift Sep 25, 2026
5fe8eb5
fix(roadmap): regenerate the aggregate after the 0.69.4 picks (PMAT-4…
noahgift Sep 25, 2026
0b5e19f
qwen-story-daily builds apr in place instead of cargo-installing into…
noahgift Sep 26, 2026
70d1944
docs(audits): PMAT-4346 quorum receipt for c4fd00a36 -- 3/3 PASS, deg…
noahgift Sep 25, 2026
491c4c4
install.sh: --channel rc installs the newest -rc prerelease (closes #…
noahgift Sep 24, 2026
b42a213
feat(install): curl | bash e2e in a clean container, per channel, nig…
noahgift Sep 26, 2026
c3ddce6
docs(audits): PMAT-3546 quorum receipt -- 3/3 PASS, degraded same-fam…
noahgift Sep 25, 2026
344ac7a
evidence(pr-review): #4318 receipt at f23083206 — DEGRADED (cuda-docs…
noahgift Sep 25, 2026
3d677a8
fix(release): darwin apr lane stamps the rc version and checks it (#4…
noahgift Sep 26, 2026
e84ff3c
docs(quorum): 0.69.4 batch1 receipt — 3/3 PASS after darwin rc-stamp …
noahgift Sep 25, 2026
8555a6a
chore(pr-review): sign this PR's receipt (PR-REVIEW-SKILL-002 v2 §4.3…
claude Sep 25, 2026
7823114
fix(release): pin apr in the curl|bash e2e and stamp the darwin lane'…
noahgift Sep 26, 2026
6135c12
fix(install-e2e): bashrs 0 warnings on the pinned-apr line (#4318)
noahgift Sep 25, 2026
fd39a16
fix(release): stamp_rc_version.sh restores nullglob without eval (bas…
noahgift Sep 25, 2026
1a67a51
fix(#4318): three code reds at 90f8ec7a5 — FUSION pins, generate comp…
noahgift Sep 25, 2026
8ea9b35
test(qwen35): f16 budget from the measured reading x10; fits refuses …
noahgift Sep 25, 2026
891b902
fix(claims): drop 3 tok/s literals from the #4273 split-decode comments
noahgift Sep 25, 2026
09434ed
fix(backport): #4269 test calls st_cpu_generate with a QuantizedGener…
noahgift Sep 26, 2026
bcae0ac
ci: carry the 0.69.x workflow-only backports onto car (86d3775af, f6d…
noahgift Sep 26, 2026
196bf34
test(build-sha): re-anchor the no-retry plant after the #4254 backpor…
noahgift Sep 26, 2026
03dacd5
evidence(pr-review): #4479 receipt at 97f0982a1 — FINDINGS
noahgift Sep 26, 2026
6aecaec
chore(pr-review): sign this PR's receipt (PR-REVIEW-SKILL-002 v2 §4.3…
claude Sep 26, 2026
111298f
Merge branch 'main' into fix/fat-signer-secret-b64
noahgift Sep 26, 2026
bda8cd8
fix(b2): two B2 guards read ci.yml, where #4441 left no guard step — …
noahgift Sep 26, 2026
994abc2
fix(fold): B2's setsid wraps and ordinals did not carry into car's la…
noahgift Sep 26, 2026
160d650
fix(roadmap): B1's three roadmap picks spliced their entries into car…
noahgift Sep 26, 2026
c739c3d
merge origin/main (57d7f8edd) into car/0.70.0: #4471 workspace-test s…
noahgift Sep 26, 2026
570b89e
evidence(pr-review): rebind #4429 receipt to c739c3d24 (r19 + r20 3/3…
noahgift Sep 26, 2026
548dd2c
test(lint): lint_severity_filter was vacuous on the knob corpus — req…
noahgift Sep 26, 2026
6f5d2ea
evidence(pr-review): #4479 v2 receipt at 111298fda — DEGRADED (Arm 4 …
noahgift Sep 26, 2026
63bc1e8
chore(pr-review): sign this PR's receipt (PR-REVIEW-SKILL-002 v2 §4.3…
claude Sep 26, 2026
c9e720f
fix(guard): the perf-receipt producer guard's tail window could decid…
noahgift Sep 26, 2026
7c0f74f
chore(pr-review): sign this PR's receipt (PR-REVIEW-SKILL-002 v2 §4.3…
claude Sep 26, 2026
3ba1518
evidence(pr-review): #4431 receipt at 7061eb6dd — FINDINGS, pmat tran…
noahgift Sep 26, 2026
9da3231
ci: run checks on the signed receipt head
noahgift Sep 26, 2026
dd829c5
evidence(pr-review): drop #4479's superseded v1 receipt — Arm 4 match…
noahgift Sep 26, 2026
b1cd8c0
evidence(pr-review): drop #4431's superseded 8b59 receipt (B1: pmat u…
noahgift Sep 26, 2026
cf2af2e
ONT-4c: README.md, CLAUDE.md, one .apr and one CSV as graded contract…
noahgift Sep 24, 2026
0d67507
ONT-4c: Σ entity_type_target_class is cross-checked against entity_ty…
noahgift Sep 24, 2026
fbfb4f9
ONT-4c: restore the receipt's frontmatter fence and put the test tall…
noahgift Sep 24, 2026
9dea906
ONT-4c: receipt status is `complete`, the only value check_receipt_co…
noahgift Sep 24, 2026
e776923
PMAT-3847: CI — shapes ratchet names ONT-4c's four shapes; CLAUDE.md …
noahgift Sep 24, 2026
245ad9a
ONT-4c: explicit targetClass on the three new shapes; entity-props-ok…
noahgift Sep 25, 2026
bbcb741
docs(guard): check_guard_steps_isolated said ci.yml calls no guard — …
noahgift Sep 26, 2026
c0292f1
fix(shapes): by_entity_type keys follow Σ; an implemented type with n…
noahgift Sep 26, 2026
cb3dd7f
fix(ont): the ratchet's consumer probe asked the runner's bare pv, no…
noahgift Sep 24, 2026
4e90942
ci: PR-body guards read the LIVE body, not the event snapshot (#3298)
noahgift Sep 26, 2026
b757dd9
fix(binding): a #[kernel] beside its CPU reference was a BINDING-006 …
noahgift Sep 26, 2026
9534849
ONT-10 slices S4/S10/S16: binary contracts for aprender-orchestrate (…
noahgift Sep 26, 2026
bde6d8e
fix(serve): clippy borrow_deref_ref in residual.rs — car/0.70.0 cuda …
noahgift Sep 26, 2026
ff9587b
roadmap(PMAT-4199): PVL-001 EV-6b completed — leanchecker accept rc 0…
noahgift Sep 26, 2026
8a94f58
PMAT-4481: receipt states the BINDING-006 / SC2171 fix delta
noahgift Sep 26, 2026
c4464a7
ONT-10 slice S15: binary contracts for aprender-profile and aprender-…
noahgift Sep 26, 2026
56a0707
ONT-10 slice S3: aprender-orchestrate HTTP route contract (92 banco r…
noahgift Sep 26, 2026
b6cf6d2
ONT-10 slice S9: apr (apr-cli) identity + full CLI contract, 264 comm…
noahgift Sep 26, 2026
a2baf87
feat(ont-4g): binary-surface-v1 + the pv per-binary exemplar (S1) — t…
noahgift Sep 26, 2026
501c31c
ONT-10 S5/S11/S17: CLI surface contracts for six binaries — and three…
noahgift Sep 26, 2026
c854e95
ONT-10 slices S2/S8/S14/S20: binary contracts for aprender-test-cli, …
noahgift Sep 26, 2026
dafb819
fix(ont-4g): one bin: vocabulary — binary-surface-v1 adopts the names…
noahgift Sep 26, 2026
acc3827
ONT-10 slices S7/S13: binary contracts for apr (aprender) 1/2, simula…
noahgift Sep 26, 2026
19826dc
PMAT-4481: scope the CI-fix delta in the ticket; two-references RED i…
noahgift Sep 26, 2026
8e88b8f
ONT-10 S9/S15: move apr(apr-cli), aprender-profile, aprender-zram-gen…
noahgift Sep 26, 2026
2d367b4
ONT-10 S19: per-binary contracts for aprender-cbtop, aprender-compute…
noahgift Sep 26, 2026
51c1490
PMAT-4481: delta quorum receipt over c074ace09d
noahgift Sep 27, 2026
f6fa4cf
fix(roadmap): regenerate roadmap.yaml from entries/ (make roadmap-agg…
noahgift Sep 27, 2026
7491128
ONT-10 S5/S11/S17: six binary contracts to the ONT-4g exemplar shape …
noahgift Sep 27, 2026
dee666f
merge origin/batch/ont-10 — census and README regenerated
noahgift Sep 27, 2026
5586e95
fix(eval): --task validates against the dispatch arms — unknown names…
noahgift Sep 27, 2026
068b8e4
WIP ONT-10 S2/S8/S20: move to contracts/bin-*-v1.yaml on the exemplar…
noahgift Sep 27, 2026
03ffe66
ONT-4c: claim fences read ci/sections.yml; README frontmatter + one v…
noahgift Sep 27, 2026
ba7dbbd
Merge remote-tracking branch 'origin/batch/ont-10' into e6/ont-4c-on-…
noahgift Sep 27, 2026
53248ad
fix(serve): ship the gguf-header-slices fixtures inside the crate (#4…
noahgift Sep 24, 2026
57607a0
fix(tests): four crates read their out-of-crate test fixtures at run …
noahgift Sep 24, 2026
dfe3dad
fix(package): four crates no longer ship tests that cannot compile fr…
noahgift Sep 24, 2026
fcb2f2d
fix(apr-cli): tests that read workspace files skip by name out of tre…
noahgift Sep 24, 2026
67ff608
fix(guard): tree-reader oracle was blind to workspace_*_or_skip! call…
noahgift Sep 24, 2026
71888b0
fix(#4130): aprender-core unit tests read repo-root contracts at run …
noahgift Sep 24, 2026
0aca6cd
PMAT-4481: criterion 1 names the CI-fix delta instead of claiming not…
noahgift Sep 27, 2026
9f390a3
fix(serve): fusion call-site guard reads its contract at run time (#4…
noahgift Sep 27, 2026
108578e
fix(ci): fat_driver moves an undeletable leftover section tree aside …
noahgift Sep 27, 2026
07234b2
ONT-10 S6: apr(aprender) 2/2 — the facade's 41 HTTP routes + 9 MCP to…
noahgift Sep 27, 2026
3b5ba02
fix(S19): cbtop/compute-xtask/apr-qa-readme-sync live REDs → GREEN
noahgift Sep 27, 2026
b99f508
ONT-10 S18: bin contracts for aprender-ptx-debug, aprender-explain, a…
noahgift Sep 27, 2026
8f8417b
fix(make): contracts recipe laundered cargo test's exit code; gate tr…
noahgift Sep 27, 2026
8170316
PMAT-4481: restore the 3/3 quorum artifact (367ae45bd6); failed delta…
noahgift Sep 27, 2026
a787679
ONT-4g: ledger the 12 pv/apr commands the binary snapshot found unled…
noahgift Sep 27, 2026
ed1c843
ONT-10 S2/S8/S20: witness regenerated after the census change; contra…
noahgift Sep 27, 2026
5ca2645
ONT-10 slice S12: binary contracts for trueno-rag (aprender-rag-cli) …
noahgift Sep 27, 2026
ba68ed9
ONT-10 S12: migrate trueno-rag + score binary contracts into contract…
noahgift Sep 27, 2026
80088e9
ONT-10 S12: rewrite trueno-rag + score contracts to the ONT-4g exempl…
noahgift Sep 27, 2026
b331a30
chore(guard): tree-reader registry follows the ported #4129/#4130 rea…
noahgift Sep 27, 2026
c985c5a
Merge remote-tracking branch 'origin/batch/ont-10' into m0694/ont10-s…
noahgift Sep 27, 2026
433186b
Merge remote-tracking branch 'origin/batch/ont-10' into m0694/ont10-s…
noahgift Sep 27, 2026
ee73d39
ONT-10: regenerate census/nt/shapes/README/witness after S12 + ledger…
noahgift Sep 27, 2026
2827bd5
ONT-4c: count readme/llm-context/csv in by_entity_type; shapes_n 37 n…
noahgift Sep 27, 2026
b4f6d22
Merge remote-tracking branch 'origin/batch/ont-10' into e6/ont-4c-on-…
noahgift Sep 27, 2026
e97853e
ONT-10 S3/S4: aprender-orchestrate binary contract on the exemplar — …
noahgift Sep 27, 2026
2191526
evidence(perf041): fresh PP-26 witness on lambda 4090 at car/0.70.0@f…
noahgift Sep 27, 2026
911f1e1
feat(ont-4g): surface_audit.csv covers every [[bin]] N/N; 0 rows is R…
noahgift Sep 26, 2026
68d9f08
feat(ont-4g): dogfood_surfaces.sh --snapshot writes evidence/binary/s…
noahgift Sep 27, 2026
6cde060
fix(S18): ptx-debug/explain/db live REDs → GREEN
noahgift Sep 27, 2026
a5f9fec
ONT-10 S10/S16: alimentar, apr-qa, aprender-train-lora contracts; lor…
noahgift Sep 27, 2026
354ace0
fix(ONT-10): aprender-orchestrate --version/--help named the binary "…
noahgift Sep 27, 2026
3d00d21
ONT-4c: regen after ONT-10 S2/S6/S12/S18; shapes_n 45 names every bin…
noahgift Sep 27, 2026
918e08c
Merge remote-tracking branch 'origin/batch/ont-10' into e6/ont-4c-on-…
noahgift Sep 27, 2026
6cabb83
ONT-4g: ledger pv-sat — surface_audit_bins_gate was RED 28/29 (#4476)
noahgift Sep 27, 2026
1309d4f
fix(ONT-10 S2): aprender-test-cli says its own name, and a bare `llm …
noahgift Sep 27, 2026
1cdb4a6
PMAT-4481: delta quorum 3/3 at 8170316368 over c074ace09d; the 367ae4…
noahgift Sep 27, 2026
8a9c75c
merge origin/batch/ont-10 — census and README regenerated
noahgift Sep 27, 2026
b77996c
ONT-4c: regen after ONT-10 S3/S4/S18; shapes_n 46 (orchestrate surface)
noahgift Sep 27, 2026
61caa48
Merge remote-tracking branch 'origin/batch/ont-10' into e6/ont-4c-on-…
noahgift Sep 27, 2026
40125d2
ONT-10: move 8 staged binary slices to contracts/ in the pv exemplar …
noahgift Sep 27, 2026
a3c8bdd
Merge remote-tracking branch 'origin/batch/ont-10' into m0694/ont10-s…
noahgift Sep 27, 2026
755dc65
ONT-10: regenerate census/nt/shapes/README/witness after the 8 moved …
noahgift Sep 27, 2026
134e256
fix(trueno-rag): query/eval enumerated flags are parsed by clap (G1.3…
noahgift Sep 27, 2026
19442a2
merge origin/batch/ont-10 — census and README regenerated
noahgift Sep 27, 2026
5f7706f
fix(clippy): speed-fold did not compile, and serve --features cuda --…
noahgift Sep 27, 2026
e3eda5d
ONT-10 S12: trueno-rag eval orphans are the enumerated FEATURE_GATED …
noahgift Sep 27, 2026
8f92b90
merge origin/batch/ont-10: S10/S16 contracts keep aprender-bb's moved…
noahgift Sep 27, 2026
da1e417
ONT-10 S4: aprender-orchestrate --version names itself; ledger the 4 …
noahgift Sep 27, 2026
d2b6c27
fix(G1.4): ptop --explode and simular render --domain accept any valu…
noahgift Sep 27, 2026
4893d12
Merge remote-tracking branch 'origin/batch/ont-10' into m0694/ont10-s…
noahgift Sep 27, 2026
68bc33a
merge origin/batch/ont-10 — census and README regenerated
noahgift Sep 27, 2026
eb01cbe
merge origin/batch/ont-10 — census and README regenerated
noahgift Sep 27, 2026
b4e5899
fix(S15): aprender-profile + aprender-zram-generator --version name R…
noahgift Sep 27, 2026
b24a743
ONT-10: regen census/nt/witness after merging batch/ont-10
noahgift Sep 27, 2026
f6547b0
Merge remote-tracking branch 'origin/batch/ont-10' into m0694/ont10-s…
noahgift Sep 27, 2026
13c143c
car/0.70.0: integrate gate fixes (2e contracts-exit + perf041-witness…
noahgift Sep 27, 2026
cec9250
fix(#4175): every in-tree decision goes through the shared tree.rs ru…
noahgift Sep 27, 2026
cadc832
ONT-10 S8: the 2 cuda-only route orphans are declared by the ledger, …
noahgift Sep 27, 2026
d684986
Merge remote-tracking branch 'origin/fix/fat-signer-secret-b64' into …
noahgift Sep 27, 2026
e130aae
Merge remote-tracking branch 'origin/84/speed-fold' into e6/car-fold-…
noahgift Sep 27, 2026
f9b8c77
fix(ONT-10 S14/S16): train-shell and train-lora --version name themse…
noahgift Sep 27, 2026
04db69c
Merge #4437 (PMAT-4430 aprender-* bin names) into car fold
noahgift Sep 27, 2026
1274d04
merge #4481 (batch/ont-4480-4473) into the car ONT fold
noahgift Sep 27, 2026
db22edf
ONT-10 S4: trace orchestrate's 6 ledgerOrphan mcp rows — 3 declare ba…
noahgift Sep 27, 2026
0f74f7a
docs(#4175): receipt describes phase 2, the diff under review, with i…
noahgift Sep 27, 2026
87497eb
Merge remote-tracking branch 'origin/car/0.70.0' into fix/4175-on-car…
noahgift Sep 27, 2026
da98bb9
fix(ONT-4c): valid-under fixtures carry entity_type_target_class; the…
noahgift Sep 27, 2026
53eae25
fix(pv): the pv binary REDs — version names the commit, pv-sat has --…
noahgift Sep 27, 2026
de42f9f
fix(ONT-10 S17): train-bench/distill/inspect --version name themselve…
noahgift Sep 27, 2026
8930a28
feat(ont-4g): evidence/binary/snapshot.jsonl -- 30 bin targets at 68d…
noahgift Sep 27, 2026
66f34e4
ONT-10 S9/S7: ledger the 11 `apr pv` commands the apr node found unle…
noahgift Sep 27, 2026
dfdc108
feat(binary-debt): ledger every shipped binary; guard derives the uni…
noahgift Sep 25, 2026
e8ff489
fix(binary-debt): self-test scratch dir leaked — local td was out of …
noahgift Sep 25, 2026
da8c11b
fix(binary-debt): ledger pv-sat — the guard found it unledgered on re…
noahgift Sep 27, 2026
61902cb
fix(#4175): ptop suite-exists check on the shared in-tree rule (the c…
noahgift Sep 27, 2026
3057edd
ONT-10 S6: apr (aprender facade) 2/2 HTTP+MCP moved to contracts/bin-…
noahgift Sep 27, 2026
30fcb39
ONT-10: regen nt/census/witness after binary-debt-v1 (#4058) landed o…
noahgift Sep 27, 2026
219367a
fix(car r25): contracts_gate recomputes the census fresh, never rewri…
noahgift Sep 27, 2026
b1b87f9
fix(guard): pathonly-devdeps MEASURES on python 3.10 — intel-clean-ro…
noahgift Sep 27, 2026
e7f7703
fix(G0.1): simular and ptop --version name the commit — a stale binar…
noahgift Sep 27, 2026
08fe9a7
feat(ont-4g): extract:binary — every bin target is an ont:Binary, key…
noahgift Sep 27, 2026
7b402cb
merge origin/main (#4467, #4427) into car/0.70.0 — car wins, main's i…
noahgift Sep 27, 2026
d845894
merge fix/4175-on-car-f6fa@61902cbf7c (GH-4175, quorum 3/3 PASS by ap…
noahgift Sep 27, 2026
9c91c9b
fix(car rc.1 reds): make_contracts_propagates stale since #4475; fat-…
noahgift Sep 27, 2026
c7169cf
merge origin/main into batch/ont-10 — WIP handoff, NOT pushed (census…
noahgift Sep 27, 2026
83f242d
evidence(pr-review): rebind #4429 receipt to 9c91c9be7 (r21-r28 delta…
noahgift Sep 27, 2026
40d5d0a
chore(pr-review): sign this PR's receipt (PR-REVIEW-SKILL-002 v2 §4.3…
claude Sep 27, 2026
a69d090
regen(ont-10): census 1888 + README count + pv extract after merging …
noahgift Sep 27, 2026
c55f51a
fix(provenance): lint-provenance.sh needed rg, which the CI runner la…
noahgift Sep 27, 2026
f73b993
evidence(pr-review): rebind #4429 receipt to c55f51a86 (ff e6 rg->gre…
noahgift Sep 27, 2026
e9954f9
chore(pr-review): sign this PR's receipt (PR-REVIEW-SKILL-002 v2 §4.3…
claude Sep 27, 2026
797a488
fix(ont-4g): snap_routes saw 36 of the 41 default-build apr routes
noahgift Sep 27, 2026
5340a04
fix(ont-10 S1): pv exemplar — the three LIVE RED gates are GREEN at a…
noahgift Sep 27, 2026
30ed965
docs(roadmap): PMAT-4502 row — the ticket the #4502 batch quorum judg…
noahgift Sep 27, 2026
ced0fcd
ONT-10 S13: table records G0.1 fixed on simular/ptop; simular's 3 web…
noahgift Sep 27, 2026
81a239c
ONT-9: record the measured KANI-ONT-9-1 run — cut off at 2400 s in CB…
noahgift Sep 24, 2026
9f4ffec
ONT-9: the witness checker is generic over its id type; KANI-ONT-9-1 …
noahgift Sep 24, 2026
e976968
ONT-9: KANI-ONT-9-1 PROVED at 3 ids — four harnesses VERIFICATION SUC…
noahgift Sep 24, 2026
bf6a1b7
fix(pin): check_ont_ratchet resolved pv from PATH — check_apr_bin_pin…
noahgift Sep 27, 2026
3021a71
evidence(pr-review): rebind #4429 receipt to bf6a1b7bf (check_ont_rat…
noahgift Sep 27, 2026
cabe264
regen(ont-10): shapes.ttl from pv extract after folding ont10-88 + ONT-9
noahgift Sep 27, 2026
6439107
chore(pr-review): sign this PR's receipt (PR-REVIEW-SKILL-002 v2 §4.3…
claude Sep 27, 2026
dcdcae0
Merge remote-tracking branch 'origin/batch/ont-10' into untangle/ont-10
noahgift Sep 27, 2026
816973c
merge origin/main (aca6f2d7f6) into batch/ont-10 — 1 conflict, roadma…
noahgift Sep 27, 2026
698afb7
docs(ont-10 S13): ptop — bin:option is declared now; snapshot has the…
noahgift Sep 27, 2026
9bb0f3a
merge origin/main (aca6f2d7f6 FLOW-003 v1.1) into car — roadmap regen…
noahgift Sep 27, 2026
a6bf027
chore(roadmap): adopt PMAT-4507 as a fragment — it was added to roadm…
noahgift Sep 27, 2026
08bde31
evidence(pr-review): rebind #4429 receipt to a6bf027d1 (main merge ac…
noahgift Sep 27, 2026
3d31451
feat(ont-10): FALSIFY-BIN-*-004 surface gates for nine bins, and the …
noahgift Sep 27, 2026
ffdea24
merge origin/batch/ont-10 — census and README regenerated
noahgift Sep 27, 2026
466cc57
fix(ci): three batch-only explicit-test cmds shared an ordinal with m…
noahgift Sep 27, 2026
d2e51b9
ONT-10 S13: simular's 3 library routes become `unserved:` ledger rows…
noahgift Sep 27, 2026
76502d3
chore(pr-review): sign this PR's receipt (PR-REVIEW-SKILL-002 v2 §4.3…
claude Sep 27, 2026
8810fdf
merge #4429 (release car @08bde31912) into ONT-10 — resolution only
noahgift Sep 27, 2026
a070131
ONT-10: follow #4430's bin renames into the per-binary contracts
noahgift Sep 27, 2026
d3fa68a
resolution fixup: ptx-debug main.rs takes #4429's thin shim; ONT-10's…
noahgift Sep 27, 2026
faff3aa
ONT-10: dogfood_surfaces.sh comments name the renamed bins (#4430)
noahgift Sep 27, 2026
75de427
Merge commit 'refs/untangle/car' into untangle/ont-10
noahgift Sep 27, 2026
44bbbee
Merge commit 'refs/untangle/ont10' into untangle/ont-10
noahgift Sep 27, 2026
efce678
fix(readme): install fences are text, not CI-verified claims — car #4…
noahgift Sep 27, 2026
5899e47
regen: README contract count (readme_sync.sh --write)
noahgift Sep 27, 2026
d7a7ace
regen: contracts.nt, shapes.ttl, pv-sat witness (contracts_gate.sh re…
noahgift Sep 27, 2026
9c9be27
regen: census.json 1890 (pv census; README and census agree, as ONT-1…
noahgift Sep 27, 2026
47d1982
resolution fixup: README/CLAUDE claim check follows #4415's guard-car…
noahgift Sep 27, 2026
17d4ef1
fix(readme): the #4467 install fences are claims no CI step runs — sh…
noahgift Sep 27, 2026
d04131e
evidence(pr-review): rebind #4429 receipt to 17d4ef1f2 (README instal…
noahgift Sep 27, 2026
84aed23
chore(pr-review): sign this PR's receipt (PR-REVIEW-SKILL-002 v2 §4.3…
claude Sep 27, 2026
30c8283
resolution fixup: a reason on every ALLOWED_GAPS entry the ONT-3a mer…
noahgift Sep 27, 2026
6b2235b
fmt: cargo fmt --all (merge + rename left 4 files unformatted)
noahgift Sep 27, 2026
d13f869
regen: tree_reader_tests.txt (check_tree_reader_tests.sh --update): +…
noahgift Sep 27, 2026
f9dcdc3
fix(car): drop 7 machine-specific paths added on car/0.70.0 (guard-tr…
noahgift Sep 27, 2026
b686064
fix(car): cuda-nightly #4251 step — model default from $HOME, not a m…
noahgift Sep 27, 2026
c059ce8
fix(car): clear the x86-main reds on car/0.70.0 except cb200
noahgift Sep 27, 2026
76ee838
Merge remote-tracking branch 'origin/car-fix-fb' into e6/car-x86fix
noahgift Sep 27, 2026
53bacdd
fix(cb200): split the 2 below-B definitions the car inherited from ma…
noahgift Sep 27, 2026
5e2b5da
fix(pv): an unarmed kernel shape's vacuity fed the shapes meet (ONT-4c4)
noahgift Sep 27, 2026
3990584
fix(ont-10): workspace-test shard 2 — build-sha takes the car's lib.r…
noahgift Sep 27, 2026
cac8773
fix(bindings): 229 ghosts to 0 unallowlisted: include stems resolve, …
noahgift Sep 27, 2026
20511d4
merge 0d/4502-bindings @cac87730e4 + df/ont-4c4-unarmed-kernel-vacuit…
noahgift Sep 27, 2026
f2f6f8c
fix(ont): regenerate contracts.nt — README contractCount 1844 -> 1837…
noahgift Sep 27, 2026
4dce8a5
regen(lean): pv discharge gen-axioms — sigmoid_lt_exp was pinned twic…
noahgift Sep 27, 2026
2c47ca9
evidence(pr-review/4502): v2 receipt at 4dce8a54f (unsigned; CI signe…
noahgift Sep 27, 2026
ad4a0b0
fix(pv): challenge gen restates a root once across contracts — 132 DU…
noahgift Sep 27, 2026
4ea0ab8
merge origin/batch/ont-10 @2c47ca9465 (88's pr-review receipt) under …
noahgift Sep 27, 2026
e781e47
chore(pr-review): sign this PR's receipt (PR-REVIEW-SKILL-002 v2 §4.3…
claude Sep 27, 2026
29104f3
docs(PMAT-4431): receipt row-diff line re-measured at e781e47604 — th…
noahgift Sep 27, 2026
3b8f6de
fix(roadmap): adopt the PMAT-4502 fragment — the row was added to roa…
noahgift Sep 27, 2026
fbf106b
fix(readme_sync): frontmatter contract_count follows the tracked cens…
noahgift Sep 27, 2026
668d985
evidence(pr-review/4502): v2 receipt at 3b8f6dea82 (unsigned; CI sign…
noahgift Sep 27, 2026
cf31b0f
chore(pr-review): sign this PR's receipt (PR-REVIEW-SKILL-002 v2 §4.3…
claude Sep 27, 2026
1228278
fix(4502): answer the final-round gemini findings — GH-4198 names ci …
noahgift Sep 27, 2026
48b8708
evidence(pr-review): rebind #4429 receipt to fbf106b2c0 (deltas r32-r…
noahgift Sep 27, 2026
6a80c6a
evidence(pr-review/4502): v2 receipt at 12282780c8 (unsigned; CI sign…
noahgift Sep 27, 2026
59e35ff
chore(pr-review): sign this PR's receipt (PR-REVIEW-SKILL-002 v2 §4.3…
claude Sep 27, 2026
7d0d403
ci(pr-review): re-trigger pr-review-quorum on the signed head (bot si…
noahgift Sep 27, 2026
5c54a8e
merge origin/car/0.70.0 (7d0d403ad0) into batch/ont-10 — untangle, ge…
noahgift Sep 27, 2026
6d34dd4
chore(pr-review): receipt for #4502 at 5c54a8e964 (car merge + regen)
noahgift Sep 27, 2026
9d59eac
fix(simulate): --version test expects the #4430 bin name aprender-sim…
noahgift Sep 27, 2026
4ce40de
ont10: move 28 unbound modules out of the root import cone (to 0.70.1)
noahgift Sep 27, 2026
c469d2f
feat(refinement): gate HEAD against BASE for unrefined and ORPHANED-R…
noahgift Sep 27, 2026
8e02db9
ont10 (ii) staged: move 26 of the 27 bound modules out of the root im…
noahgift Sep 27, 2026
9f56095
ont10 (ii) staged: move the absolute ORPHANED-ROOT rule (EV-6c) out t…
noahgift Sep 27, 2026
098fae4
fix(#4502): delete the dead cooperative-matrix GEMM chain (#4347)
noahgift Sep 27, 2026
0109128
ont10 C: regenerate Axioms.lean after the cooperative-matrix chain de…
noahgift Sep 27, 2026
919a1dd
ont10 C: cargo fmt discharge/tests.rs
noahgift Sep 27, 2026
cb9324b
fix(#4502): challenge only the in-cone roots; the 7 orphaned-root cha…
noahgift Sep 27, 2026
4f143be
ont10 C: regenerate discharge-summary.json (pv discharge run, all arm…
noahgift Sep 27, 2026
5b77993
chore(pr-review): receipt for #4502 at 4f143beb44; drop the void 5c54…
noahgift Sep 27, 2026
185868d
chore(pr-review): sign this PR's receipt (PR-REVIEW-SKILL-002 v2 §4.3…
claude Sep 27, 2026
8d021f6
chore(#4502): human commit so present reruns on the signed receipt
noahgift Sep 27, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
2 changes: 1 addition & 1 deletion .claude/skills/apr-dogfood/SKILL.md
Original file line number Diff line number Diff line change
Expand Up @@ -1591,7 +1591,7 @@ The nine clusters at zero, largest first: `http-orchestrate-banco` (95),
`test-harness` (49), `rag-eval` (44), `qa-cgp` (37), `simulation` (18),
`orchestrate-pacha-secrets` (17).

**Report both numbers or neither (T2).** "5 of 14 clusters gated (35.7%)" without "144 of 864 features gated (16.7%)" beside it is a proxy masquerading as coverage, and the gate refuses to emit it — *on this line too*.
**Report both numbers or neither (T2).** "5 of 14 clusters gated (35.7%)" without "144 of 894 features gated (16.1%)" beside it is a proxy masquerading as coverage, and the gate refuses to emit it — *on this line too*.

The rule is about the NUMBER, not about a phrasing, and it is enforced on every
surface that can emit one: the gate's own report, the receipt, the output of
Expand Down
8 changes: 4 additions & 4 deletions .claude/skills/pr-review/SKILL.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ difference is a defect in this file.
**Contract**: `contracts/pr-review-skill-v2.yaml` (§1 grounding, §7 blocking, §8 metrics)
**Guard**: `scripts/check_pr_review_receipt.sh` — it validates what you emit here, it has
its own positive controls, and its mutation set (`scripts/mutate-guard.sh`) reports
233/233. **Run it on your own receipt before you post anything.**
237/237. **Run it on your own receipt before you post anything.**

## Context

Expand Down Expand Up @@ -438,7 +438,7 @@ Bash guards are exercised with `bats-core` fixtures. For the receipt guard itsel
mutation set already exists and is a derivation, not a list:

```bash
bash scripts/mutate-guard.sh # 233/233 on scripts/check_pr_review_receipt.sh
bash scripts/mutate-guard.sh # 237/237 on scripts/check_pr_review_receipt.sh
```

**`attempted: 0` with `status: consulted` is rejected** (fixture row 2). A mutation set
Expand Down Expand Up @@ -1192,7 +1192,7 @@ the real merged commits, not from the spec's reasoning about them.
## §13 Autonomous merge on quorum (DESIGNED AND BUILT, **NOT ARMED**)

Spec §13. Operator instruction, 2026-08-31: PRs auto-merge once the review quorum passes.
The mechanism exists — `scripts/pr_review_quorum_arm.sh`, a table of 83 rows, a 134-mutant
The mechanism exists — `scripts/pr_review_quorum_arm.sh`, a table of 90 rows, a 134-mutant
set at 100% — and **it is reachable from no workflow that can merge anything.** §13.11 is
the arming ladder; rung 0 is where this file is written.

Expand Down Expand Up @@ -1345,7 +1345,7 @@ That is the first falsifiable property of the section, and `q-44` plus the
### §13.9 Verifying the mechanism

```bash
bats tests/pr-review-quorum.bats # 83 rows: one per refusal path, four that PERMIT
bats tests/pr-review-quorum.bats # 90 rows: one per refusal path, four that PERMIT
bash scripts/mutate_quorum_arm.sh # 134/134 — §13.10 fixes this at one, no ratchet
bash scripts/mutate_quorum_arm.sh --list # the catalogue, no mutants run
```
Expand Down
5 changes: 5 additions & 0 deletions .claude/skills/pre-release/SKILL.md
Original file line number Diff line number Diff line change
Expand Up @@ -326,6 +326,11 @@ regression this repo has on record, and its power *falls* as data accumulates
Richer fields (surface counts, findings, notable, verdict) are encouraged — the receipts
already under `evidence/dogfood/` are the worked examples.

**The tracked implementation of this step** is `scripts/release/host_receipt.sh`, which
`scripts/release/autopilot.sh` ships to each host after publish (#3731). Never hand-roll
the sweep; `scripts/check_dogfood_shim.sh` row 1b allows those two scripts only while
this paragraph names them.

**The sweep must `cargo install` the PUBLISHED crate**, not build the local tree.
Building the tree tests what you have; installing tests what a user gets. On a box with a
pre-existing `apr` the install correctly fails closed (rc=101) *before* compiling — use
Expand Down
5 changes: 5 additions & 0 deletions .gitattributes
Original file line number Diff line number Diff line change
Expand Up @@ -23,3 +23,8 @@
#
# scripts/check_append_only_ledgers.sh holds that distinction as a case table.
docs/audits/*.jsonl merge=union
# Append-only ledgers one level down. `docs/audits/*.jsonl` does not cross a `/`,
# so these two resolved no merge driver (check_append_only_ledgers, after the
# main merge into #4431). Named file by file: the scope rule above still holds.
docs/audits/review-corpus/corpus-v1.jsonl merge=union
docs/audits/rex-001/rex-04-admission.jsonl merge=union
10 changes: 10 additions & 0 deletions .githooks/pre-push
Original file line number Diff line number Diff line change
Expand Up @@ -19,4 +19,14 @@ cargo doc --no-deps -q 2>/dev/null || echo "WARN: cargo doc failed"
echo "── ComputeBrick Compliance ──"
pmat comply check --failures-only 2>/dev/null || true

echo "── #4415/#4416: CI guard steps (scripts/ci_guards.sh, the script CI runs) ──"
# The drift check is a YAML parse, so it always runs. The full guard run takes
# many minutes; opt in with APR_PREPUSH_GUARDS=1 (or run `make guards-local`).
rc=0; bash scripts/ci_guards.sh --check-coverage || rc=$?
[ "$rc" -eq 1 ] && exit 1
[ "$rc" -eq 0 ] || echo "WARN: guard drift check could not run (rc=$rc)"
if [ "${APR_PREPUSH_GUARDS:-0}" = 1 ]; then
bash scripts/ci_guards.sh || exit 1
fi

echo "✅ Pre-push passed"
2 changes: 2 additions & 0 deletions .github/actionlint.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -24,3 +24,5 @@ self-hosted-runner:
- apple-silicon
- m4
- mini
# #4292 / infra#1042: the mini's dedicated repo-level release runner
- mini-builder
Loading
Loading