evidence(ladder): 0.68.1 receipts re-measured at main a6f54e84c on both hosts — eight rungs with sha256, RED by construction on Qwen3.5 (#3510) by noahgift · Pull Request #3523 · paiml/aprender

noahgift · 2026-09-19T09:50:14Z

Replaces evidence/dogfood/models/0.68.1/{lambda,gx10}.json with receipts from scripts/model_ladder.sh at main a6f54e8 (the first main carrying #3507's per-rung sha256 and #3511's four dense rungs), apr 0.68.1 (a6f54e84c), lambda RTX 4090 (cc 8.9) and gx10 GB10 (cc 12.1).

rung	lambda	gx10
qwen2-1.5b-q4km	green	green
qwen3-1.7b-q4km	green	green
qwen3-8b-q4km (optional)	golden "Empty output" (#3486)	green
qwen35-0.8b-q4km	cuda FELL BACK (main has no GDN device path until #3517)	same
qwen35-2b-q4km	same	same (+ cpu golden empty)
qwen35-4b/9b/27b-q4km	qa rc=101, `forward_qwen35.rs:132` assert 2048 ≠ 4096/4096/6144 (GQA inside GDN, #3346 root cause)	same

Why commit a red receipt: every rung is present, sha_ok, and carries the measured sha256 — the witness the ontology's ladder-measured shape (ONT-4c1, #3508) needs tracked on main the day it is armed; ladder-green stays unarmed until the bump (#3498) and will name exactly these rungs. The T-2 judge (check_model_ladder.sh) is not a PR check, so this changes no gate. Two cosmetic ladder defects seen in this run, filed separately: the "why" block prints a blank reason when apr qa crashed (rc 101), and the optional 8B rung's Empty output on lambda persists.

Closes #3524
keep-open: #3510 (closes when the five dense rungs are green), #3477 (epic closes at the tag), #3346 (dense-sizes branch), #3486
ont-delta: none — evidence files only

🤖 Generated with Claude Code

… hosts — all eight rungs with sha256, RED by construction on the Qwen3.5 rungs (#3510, ONT-4c1 witness) Both receipts produced by scripts/model_ladder.sh at a6f54e8 (the first main with #3507's sha256 rows and #3511's four dense rungs), apr 0.68.1 (a6f54e8), lambda RTX 4090 cc 8.9 and gx10 GB10 cc 12.1. Every rung present, sha_ok, and carries the measured sha256 — the witness ONT-4c1's ladder-measured shape needs on day one. Green: qwen2-1.5b, qwen3-1.7b (both hosts), qwen3-8b (gx10; lambda optional rung: golden Empty output, #3486). Red by construction: qwen35-0.8b/2b fall back to CPU on main until #3517 merges; qwen35-4b/9b/27b exit 101 at forward_qwen35.rs:132 (GQA inside GDN, nk != nv — #3346 root cause). The T-2 judge is not a PR check; this changes no gate. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

noahgift · 2026-09-19T09:51:39Z

quorum-review (AD-04): three PASS — agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "PMAT-3524",
 "head": "4e0d1c69339e73cde472fe26d5770d91cefe2abd",
 "width": 3,
 "executor": "agy",
 "agreed": true,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "PASS",
   "findings": 0
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 2
  },
  {
   "lane": 3,
   "verdict": "PASS",
   "findings": 2
  }
 ]
}

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

github-actions · 2026-09-19T10:18:38Z

§13.11 rung 1 — quorum shadow verdict

S13-SHADOW pr=3523 head=ebd57d10d8070f163d1de801fe02e490a902daa0 verdict=REFUSE class=Q1 arm_rc=1

Shadow mode: this records a verdict and merges nothing. A refusal
to arm is not a block (§13 adds zero rows to §7) — the pull request is
exactly as green as it was.

…tract::all, and the ladder receipts of #3523 as witnesses The reconciliation this branch carried on a scratch branch is now the rebase: extract::all is the ONE walk the shapes gate and pv extract share (pv_contract -> json per document -> gguf -> apr_model -> receipts::read_all -> resolve), ExtractFailure carries both a json declaration fault and a receipt schema fault, and ShapesOutcome::ExtractFailed maps both to exit 3. Measured on this head, with #3523 receipts on main: pv lint contracts --gate shapes Pass, shapes_n 3, focus_nodes_n 1741, violations 0, WITNESSES 16, armed [ladder-measured, ont-shapes-v1], reported [ladder-green], by_entity_type.gguf 8, pc_extract gguf+apr-model fired; pv extract contracts 9582 triples; aprender-contracts lib 1645/1645; ont4c1_model_receipts 12/12; ont_extract_json 7/7; ont4b_shapes_gate 11/11; check_ont_ratchet.sh PASS; clippy -D warnings clean. Pmat-Ticket: PMAT-3508 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

…3523 (Refs PMAT-3508) Pmat-Ticket: PMAT-3508 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

…ymbol/ and world/ roots), 16 vendored W3C SHACL-Core cases run by the gate, the pinned oracle differential out of gate extract:code walks the BOUND symbols only — every module_path + function a binding.yaml declares — through a syn module-tree walk (inline mods, file mods, #[path], one re-export hop, impl methods, both [package] and [lib] crate names, a facade and the crate it re-exports tried in order). Fail-closed IN THE GRAPH: a symbol the walk cannot find is still an ont:Symbol with sym:resolved false and sym:unresolvedReason naming the file and the segment, so a ghost binding is a violation naming the symbol instead of a smaller graph. Measured on this tree: 270 bound symbols, 169 resolved, 101 genuinely absent. extract:lean reads the in-tree theorems through ONT-2a's own scan and rule (a file carrying `sorry` grounds nothing), joins them to the contracts that cite them by ONT-2a's name forms, and counts references that name nothing (lean_refs_unresolved) rather than guessing. 410 statements on this tree. The W3C arm is two-sided. 16 of ONT-0's 32-case table are translated into the contract dialect and RUN BY THE GATE every time (ontology::w3c); the other 16 are listed by name with the form that puts them outside the subset, so the count is over the cases the subset claims and a case refused by design is never scored as a failure. A failing case declines Unknown{Differential} — never a corpus verdict. tests/oracle/ is a scratch crate DETACHED from the workspace with shacl pinned =0.3.21 (ONT-0's verdict ORACLE, R-13 release gate only); `make oracle` validates the ORIGINAL case files and the real corpus through it and writes the tracked tests/oracle/differential.json (17 cases, 0 disagreements). A planted sh:minCount change in shapes.ttl makes it disagree — measured. Four conformance fixes the cases and the oracle found in the in-house validator: - sh:class and targetClass use the rdfs:subClassOf closure (SHACL 2.1.1; W3C class-001), through one index per validate() instead of a scan per node — the corpus gate went 27.2s -> 6.9s in the same commit. - sh:datatype checks the lexical form is WELL FORMED for the type ("300"^^xsd:byte is a violation; W3C datatype-ill-formed). - sh:node reports ONE result per failing value on the outer path, with the nested findings as its detail (W3C node-001/-002). - sh:in is TERM equality: an entry carries the datatype its YAML scalar gives it and the export writes it typed. Before, `in: ["true"]` accepted "true"^^xsd:boolean, which the oracle refuses — 490 results of difference on the real corpus, which is how it was found. Sigma: code and lean implemented: true, concepts Symbol and Statement. The shapes bound-symbols-resolve and lean-statements-grounded ship COMPUTED AND REPORTED, not armed (§3.9): 101 ghosts and three admitted theorem files exist on main today, and a gate red on its own target the day it merges trains bypass. Arming is one string in lint-baseline.json for the release that cleans them. check_ont_ratchet.sh, two defects fixed with rows that go red without the fix: entity_types_registered and extractors_implemented grepped the Rust for `EntityType::` and `impl Extractor`, two forms this codebase has never used, so both measured 0 while the baseline carried 1 and 1 from an older tree — they now read Sigma; and `--write` DELETED formal_prose and legacy_unresolved_depends_on, two shrink-only ratchets the sigma and relations gates read from that same file, so updating one ratchet disarmed two others. Self-test 17 -> 23 rows. Known red, all three the same inherited assertion and none of them this row's: lint_passes_on_real_contracts, ont4b_shapes_gate::the_repo_corpus_passes_..., ont4c1_model_receipts::the_repo_corpus_reports_... assert the real corpus PASSES, and the armed ladder-measured finds 0 witnesses until the re-measured receipts of #3523 are on main (#3526's waiting note). Proven by measurement: with ladder-measured unarmed for one run the same corpus is Pass, 0 violations, 113 reported. Pmat-Ticket: PMAT-3509 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

…n) — ordinal 343, the sh:in message carries the path AND the terms, regenerated census / contracts.nt / tree-reader registry (Refs PMAT-3509) The branch was built on the reconciled 4c1 scratch base; only its two own commits were replayed (`git rebase --onto origin/main bd89c88`). One real conflict, shapes.rs check_lexical: #3530 put the property path at the front of the `in` message (`ont:study/scale: quadratic is not one of …`) and 4b2 renders the value and the list as TERMS (`sh:in` is term equality). Merged: `<path>: <term> is not one of [<terms>]` — #3530's CLI legs (contains path ∧ value ∧ "is not one of") and 4b2's still hold. The four generated files took main's copy and were regenerated with this tree's pv: `pv extract contracts --check` 0; sigma Pass, relations Pass, shapes Pass (shapes_n=5, focus_nodes_n=2318, symbols 169 resolved / 101 unresolved reported, W3C 16/16). Ordinal 340 was apr-cli-pixel-regression on main; 4b2 takes 343 (342 is 4c1's). Pmat-Ticket: PMAT-3509 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

…xtract:apr-model, the ladder rungs as model:Model, resolves: receipt over the tracked ladder receipts by measured sha256, and arming per shape: ladder-measured armed, ladder-green reported until the bump arms it (paiml#3526) * PMAT-3508 / ONT-4c1: model receipts as focus nodes — extract:gguf + extract:apr-model, the ladder rungs as model:Model, resolves: receipt over the tracked ladder receipts, per-shape arming (ladder-measured armed, ladder-green reported) Pmat-Ticket: PMAT-3508 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * PMAT-3508: the hosts test discriminates (rung listed on lambda only), the roadmap acceptance from the diff, the receipt Pmat-Ticket: PMAT-3508 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * PMAT-3508: rebased onto main with extract:json (paiml#3516) — one walk, extract::all, and the ladder receipts of paiml#3523 as witnesses The reconciliation this branch carried on a scratch branch is now the rebase: extract::all is the ONE walk the shapes gate and pv extract share (pv_contract -> json per document -> gguf -> apr_model -> receipts::read_all -> resolve), ExtractFailure carries both a json declaration fault and a receipt schema fault, and ShapesOutcome::ExtractFailed maps both to exit 3. Measured on this head, with paiml#3523 receipts on main: pv lint contracts --gate shapes Pass, shapes_n 3, focus_nodes_n 1741, violations 0, WITNESSES 16, armed [ladder-measured, ont-shapes-v1], reported [ladder-green], by_entity_type.gguf 8, pc_extract gguf+apr-model fired; pv extract contracts 9582 triples; aprender-contracts lib 1645/1645; ont4c1_model_receipts 12/12; ont_extract_json 7/7; ont4b_shapes_gate 11/11; check_ont_ratchet.sh PASS; clippy -D warnings clean. Pmat-Ticket: PMAT-3508 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * PMAT-3508: README states the censused count with ont-model-receipts-v1 in the corpus (1798) Pmat-Ticket: PMAT-3508 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * audit: quorum-PMAT-3508 AGREED 3/3 on the head rebased over paiml#3516 and paiml#3523 (Refs PMAT-3508) Pmat-Ticket: PMAT-3508 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * ci: ONT-4c1's explicit-test ordinal moves 339 -> 342 (339 is paiml#3516's), and the facades lock learns the sha2 edge (Refs PMAT-3508) Four reds on dc717bb from run 35444437778, three defects, none in the code: 1. `REFUSE ordinal 339 is shared by 339-…-ont-extract-json.cmd and 339-…-ont4c1-model-receipts.cmd` on workspace-test shards 2/3 and 3/3. paiml#3516 (extract:json) landed on 339 while this branch was rebased over it; ordinals are picked by hand per branch and nothing checks them until the docker step after a 2-minute build. 340 is apr-cli-pixel-regression on main and 341 is paiml#3530's, so this one takes 342. 2. `FAIL R5 crates/facades/Cargo.lock is stale` on guard-cargo AND guard-tree. ONT-4c1 added `sha2 = { workspace = true }` to aprender-contracts for the receipt hashes; the facades resolve aprender-contracts by PATH under their own lock, so the lock needed sha2 and its eight transitive edges. Every version the facades resolved matches the root Cargo.lock where the root has one. Nothing in the facades' API changed: `27 vendored 0.3.1 examples + probes compile against the facades` was ok on the same run. 3. `FAIL: non-closing ref(s) with no keep-open reason: paiml#3477` — the PR body, not the tree; fixed in the body with a `keep-open:` line. Pmat-Ticket: PMAT-3508 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> --------- Co-authored-by: Noah Gift <noah@paiml.com> Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>

…table's 32 W3C SHACL-Core cases vendored in the gate, 16 accounted for by excluding form; the pinned oracle differential out of it (Refs PMAT-3509) (paiml#3528) * PMAT-3509: file ONT-4b2 (extract:code + extract:lean, the W3C cases, the oracle differential) against paiml#3509 Pmat-Ticket: PMAT-3509 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * PMAT-3509 / ONT-4b2: extract:code + extract:lean into contracts.nt (symbol/ and world/ roots), 16 vendored W3C SHACL-Core cases run by the gate, the pinned oracle differential out of gate extract:code walks the BOUND symbols only — every module_path + function a binding.yaml declares — through a syn module-tree walk (inline mods, file mods, #[path], one re-export hop, impl methods, both [package] and [lib] crate names, a facade and the crate it re-exports tried in order). Fail-closed IN THE GRAPH: a symbol the walk cannot find is still an ont:Symbol with sym:resolved false and sym:unresolvedReason naming the file and the segment, so a ghost binding is a violation naming the symbol instead of a smaller graph. Measured on this tree: 270 bound symbols, 169 resolved, 101 genuinely absent. extract:lean reads the in-tree theorems through ONT-2a's own scan and rule (a file carrying `sorry` grounds nothing), joins them to the contracts that cite them by ONT-2a's name forms, and counts references that name nothing (lean_refs_unresolved) rather than guessing. 410 statements on this tree. The W3C arm is two-sided. 16 of ONT-0's 32-case table are translated into the contract dialect and RUN BY THE GATE every time (ontology::w3c); the other 16 are listed by name with the form that puts them outside the subset, so the count is over the cases the subset claims and a case refused by design is never scored as a failure. A failing case declines Unknown{Differential} — never a corpus verdict. tests/oracle/ is a scratch crate DETACHED from the workspace with shacl pinned =0.3.21 (ONT-0's verdict ORACLE, R-13 release gate only); `make oracle` validates the ORIGINAL case files and the real corpus through it and writes the tracked tests/oracle/differential.json (17 cases, 0 disagreements). A planted sh:minCount change in shapes.ttl makes it disagree — measured. Four conformance fixes the cases and the oracle found in the in-house validator: - sh:class and targetClass use the rdfs:subClassOf closure (SHACL 2.1.1; W3C class-001), through one index per validate() instead of a scan per node — the corpus gate went 27.2s -> 6.9s in the same commit. - sh:datatype checks the lexical form is WELL FORMED for the type ("300"^^xsd:byte is a violation; W3C datatype-ill-formed). - sh:node reports ONE result per failing value on the outer path, with the nested findings as its detail (W3C node-001/-002). - sh:in is TERM equality: an entry carries the datatype its YAML scalar gives it and the export writes it typed. Before, `in: ["true"]` accepted "true"^^xsd:boolean, which the oracle refuses — 490 results of difference on the real corpus, which is how it was found. Sigma: code and lean implemented: true, concepts Symbol and Statement. The shapes bound-symbols-resolve and lean-statements-grounded ship COMPUTED AND REPORTED, not armed (§3.9): 101 ghosts and three admitted theorem files exist on main today, and a gate red on its own target the day it merges trains bypass. Arming is one string in lint-baseline.json for the release that cleans them. check_ont_ratchet.sh, two defects fixed with rows that go red without the fix: entity_types_registered and extractors_implemented grepped the Rust for `EntityType::` and `impl Extractor`, two forms this codebase has never used, so both measured 0 while the baseline carried 1 and 1 from an older tree — they now read Sigma; and `--write` DELETED formal_prose and legacy_unresolved_depends_on, two shrink-only ratchets the sigma and relations gates read from that same file, so updating one ratchet disarmed two others. Self-test 17 -> 23 rows. Known red, all three the same inherited assertion and none of them this row's: lint_passes_on_real_contracts, ont4b_shapes_gate::the_repo_corpus_passes_..., ont4c1_model_receipts::the_repo_corpus_reports_... assert the real corpus PASSES, and the armed ladder-measured finds 0 witnesses until the re-measured receipts of paiml#3523 are on main (paiml#3526's waiting note). Proven by measurement: with ladder-measured unarmed for one run the same corpus is Pass, 0 violations, 113 reported. Pmat-Ticket: PMAT-3509 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * ONT-4b2: rebased onto 45decaf (ONT-4c1 + paiml#3530 + paiml#3523 + paiml#3516 on main) — ordinal 343, the sh:in message carries the path AND the terms, regenerated census / contracts.nt / tree-reader registry (Refs PMAT-3509) The branch was built on the reconciled 4c1 scratch base; only its two own commits were replayed (`git rebase --onto origin/main bd89c88`). One real conflict, shapes.rs check_lexical: paiml#3530 put the property path at the front of the `in` message (`ont:study/scale: quadratic is not one of …`) and 4b2 renders the value and the list as TERMS (`sh:in` is term equality). Merged: `<path>: <term> is not one of [<terms>]` — paiml#3530's CLI legs (contains path ∧ value ∧ "is not one of") and 4b2's still hold. The four generated files took main's copy and were regenerated with this tree's pv: `pv extract contracts --check` 0; sigma Pass, relations Pass, shapes Pass (shapes_n=5, focus_nodes_n=2318, symbols 169 resolved / 101 unresolved reported, W3C 16/16). Ordinal 340 was apr-cli-pixel-regression on main; 4b2 takes 343 (342 is 4c1's). Pmat-Ticket: PMAT-3509 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> * ont4c1 corpus test: ladder-green is one of the reported shapes, not the only one — ONT-4b2 reports two more unarmed (Refs PMAT-3509) On the 4b2 tree not_armed_shapes is [ladder-green, bound-symbols-resolve, lean-statements-grounded]; the corpus test pinned the list to one entry, a fact about ONT-4c1's tree rather than about ONT-4c1. Membership is what the row promises (§3.9 reported-first); the fixture test keeps its exact-list form. Pmat-Ticket: PMAT-3509 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> * lint.rs: decide_named_gate's arms are expressions, not returns; drop the unused ShapesOutcome import (clippy 1.93 -D warnings) (Refs PMAT-3509) Pmat-Ticket: PMAT-3509 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> * ont4c1 corpus test: ladder-green is reported and known (armed ∪ not_armed), never pinned to one side of the arming line (Refs PMAT-3509) aprender-ba, on paiml#3528: the 0.68.2 bump (paiml#3498, head 5b22fb2) arms ladder-green, so a test asserting ladder-green ∈ not_armed_shapes goes red on the release branch the moment paiml#3528 lands under it. The row's fact is that the gate computes and reports the shape (a by_shape entry) and lists it on one side or the other; which side is the bump's, not the row's. Pmat-Ticket: PMAT-3509 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> * ONT-4b2: make oracle without cd (.ONESHELL); the facades lock learns the syn edge; the ticket says 16 vendored + 16 accounted for, not 32; the differential re-run on the rebased tree (Refs PMAT-3509) Quorum round 2 on bb738fa, three lanes, three findings, all real: 1. (flash, measured) `make oracle` under this Makefile's .ONESHELL: line 1376 `cd tests/oracle && cargo build` moved the shell for line 1377, whose `$(cd tests/oracle …)` then failed with "No such file" and tried to run `/release/ont-oracle`. Both lines now use --manifest-path and no cd. Proven by running `make oracle-check` after the change: the oracle built, ran, and diffed — which is the second finding. 2. tests/oracle/differential.json was the pre-rebase tree's. Fresh on 45decaf+4b2: cases=17, disagreements=0, corpus agree=true with 103 violations on BOTH sides (was 113/113 — the corpus moved under the rebase: paiml#3530's entity-property fixes and main's contracts). The oracle and pv still agree on every case and on the corpus; the file is the run's output. 3. (pro-high, pro-low) the ticket title said "32 vendored W3C SHACL-Core cases"; the diff vendors 16 and accounts for the other 16 by excluding form (a constraint on the node shape itself, outside the subset), which `the_table_of_ont_0_is_accounted_for_case_by_case` asserts as 16 + 16 = 32 with no id twice. The title now says that, and six acceptance criteria are written from the diff (not the plan) — the CLI leg's `n >= 16` is what is vendored. Roadmap re-aggregated. Also: crates/facades/Cargo.lock regenerated for the `syn` edge aprender-contracts gained (guard-tree R5 on bb738fa: "Cargo.lock is stale"); `cargo metadata --locked` rc 0 in crates/facades. Pmat-Ticket: PMAT-3509 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> * audit: quorum-PMAT-3509 round 3 AGREED 3/3 on f5dd5d7 (Refs PMAT-3509) Round 1 lapsed to the arming-neutral ladder-green assertion (aprender-ba's finding); round 2's three findings — the .ONESHELL cd in make oracle, the stale differential, the 32-vs-16 title — were each answered in the diff. Pmat-Ticket: PMAT-3509 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> * README: the CONTRACT_COUNT block states 1799 — ONT-4b2 adds contracts/ont-code-symbols-v1.yaml (make readme-sync) (Refs PMAT-3509) guard-cargo on the merge tree: FALSIFY-README-002 (the block is generated, an equality, not a ratchet). Regenerated with the generator the guard names; readme-sync-check and check_readme_claims.sh pass. Pmat-Ticket: PMAT-3509 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> * audit: quorum-PMAT-3509 round 4 AGREED 3/3 on a692709 (Refs PMAT-3509) Round 3's 3/3 lapsed to the README CONTRACT_COUNT regeneration (guard-cargo FALSIFY-README-002 on the merge tree). Pmat-Ticket: PMAT-3509 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> * audit: quorum-PMAT-3509 round 6 AGREED 3/3 on 3329c7c (Refs PMAT-3509) Round 4's 3/3 lapsed to the merge of main ebda31d (paiml#3533 lifted the same function 4b2 had already split; resolution: keep decide_named_gate/decide_shapes_gate, drop single_gate_outcome). Round 5 was two PASS and one lane timed out at 25 min (no verdict, not a finding); round 6 agreed. Pmat-Ticket: PMAT-3509 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> --------- Co-authored-by: Noah Gift <noah@paiml.com> Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>

audit: quorum artifact for PR #3523 (3/3 PASS, PMAT-3524)

ebd57d1

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

noahgift enabled auto-merge September 19, 2026 09:54

noahgift added this pull request to the merge queue Sep 19, 2026

Merged via the queue into main with commit 0c9bd0b Sep 19, 2026
21 of 22 checks passed

noahgift deleted the evidence/ladder-receipts-0.68.1-remeasured branch September 19, 2026 11:49

noahgift pushed a commit that referenced this pull request Sep 19, 2026

audit: quorum-PMAT-3508 AGREED 3/3 on the head rebased over #3516 and #…

dc717bb

…3523 (Refs PMAT-3508) Pmat-Ticket: PMAT-3508 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

Navigation Menu

Repository navigation

evidence(ladder): 0.68.1 receipts re-measured at main a6f54e84c on both hosts — eight rungs with sha256, RED by construction on Qwen3.5 (#3510) - #3523

evidence(ladder): 0.68.1 receipts re-measured at main a6f54e84c on both hosts — eight rungs with sha256, RED by construction on Qwen3.5 (#3510)#3523
noahgift merged 2 commits into
mainfrom
evidence/ladder-receipts-0.68.1-remeasured

noahgift commented Sep 19, 2026 •

edited

Loading

Uh oh!

noahgift commented Sep 19, 2026

Uh oh!

github-actions Bot commented Sep 19, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

noahgift commented Sep 19, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

noahgift commented Sep 19, 2026

Uh oh!

github-actions Bot commented Sep 19, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

noahgift commented Sep 19, 2026 •

edited

Loading