chore(deps)(deps): bump anyhow from 1.0.102 to 1.0.103 by dependabot[bot] · Pull Request #1468 · gHashTag/t27

dependabot · 2026-07-13T09:21:58Z

Bumps anyhow from 1.0.102 to 1.0.103.

Release notes

1.0.103

Fix Stacked Borrows violation (UB) in Error::downcast_mut (#451, #452)

Commits

5bdb0e2 Release 1.0.103
e621bd3 Merge pull request #452 from dtolnay/downcast
6e8c000 Eliminate pointer->reference->pointer during downcast
67c4abd Add regression test for issue 451
917a169 Update actions/upload-artifact@v6 -> v7
d9dc3fa Update actions/checkout@v6 -> v7
841522b Raise minimum tested compiler to rust 1.85
See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

@dependabot rebase will rebase this PR
@dependabot recreate will recreate this PR, overwriting any edits that have been made to it
@dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
@dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
@dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
@dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.102 to 1.0.103. - [Release notes](https://github.com/dtolnay/anyhow/releases) - [Commits](dtolnay/anyhow@1.0.102...1.0.103) --- updated-dependencies: - dependency-name: anyhow dependency-version: 1.0.103 dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com>

dependabot · 2026-07-13T09:21:59Z

Labels

The following labels could not be found: dependencies, rust. Please create them before Dependabot can add them to a pull request.

Please fix the above issues or remove invalid values from dependabot.yml.

github-actions · 2026-07-13T09:22:14Z

PR Dashboard

Generated at: 2026-07-13 09:22:10 UTC

chore(deps)(deps): bump anyhow from 1.0.102 to 1.0.103 #1468 chore(deps)(deps): bump anyhow from 1.0.102 to 1.0.103 | Created: 2026-07-13 | Updated: 2026-07-13 | 14 failing / 16 total
chore(deps)(deps): bump ignore from 0.4.25 to 0.4.28 #1467 chore(deps)(deps): bump ignore from 0.4.25 to 0.4.28 | Created: 2026-07-13 | Updated: 2026-07-13 | 3 failing / 18 total
chore(deps)(deps): bump regex from 1.12.3 to 1.13.0 #1466 chore(deps)(deps): bump regex from 1.12.3 to 1.13.0 | Created: 2026-07-13 | Updated: 2026-07-13 | 1 failing / 18 total
fix(codegen): faithful Rust/C emit — don't run optimizer on source backends (#1455) #1456 fix(codegen): faithful Rust/C emit — don't run optimizer on source backends (#1455) | Created: 2026-07-10 | Updated: 2026-07-10 | 3 failing / 30 total
ring-105: ecosystem .tri rewrite (7 repos -> t27 SSOT) #1454 ring-105: ecosystem .tri rewrite (7 repos -> t27 SSOT) | Created: 2026-07-08 | Updated: 2026-07-08 | 1 failing / 17 total
chore(license): align README/Cargo.toml/.zenodo.json/CITATION.cff to Apache-2.0 #1437 chore(license): align README/Cargo.toml/.zenodo.json/CITATION.cff to Apache-2.0 | Created: 2026-07-07 | Updated: 2026-07-07 | 23 failing / 44 total
Wave Loop 459 — gen-verilog array parameters from test/invariant/bench + yosys warning gate + ROM style pragma #1434 Wave Loop 459 — gen-verilog array parameters from test/invariant/bench + yosys warning gate + ROM style pragma | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 27 total
feat(igla): Wave Loop 458 — gen-verilog warning hygiene + module-level array parameters #1432 feat(igla): Wave Loop 458 — gen-verilog warning hygiene + module-level array parameters | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 27 total
feat(igla): Wave Loop 457 — RAM style pragma support for module-level arrays #1430 feat(igla): Wave Loop 457 — RAM style pragma support for module-level arrays | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 27 total
Wave Loop 454 — high-VCCINT adversarial witness + duty-cycle/jitter robustness theorems #1426 Wave Loop 454 — high-VCCINT adversarial witness + duty-cycle/jitter robustness theorems | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 26 total
feat(igla): Wave Loop 436 — live XADC → PVT context in boot logs and sweep reports (closes #1402) #1406 feat(igla): Wave Loop 436 — live XADC → PVT context in boot logs and sweep reports (closes #1402) | Created: 2026-07-05 | Updated: 2026-07-05 | 5 failing / 27 total
feat(igla): Wave Loop 435 — live XADC → PVT context CLI export, OSCFSEL 0..7 synthetic theorem matrix #1403 feat(igla): Wave Loop 435 — live XADC → PVT context CLI export, OSCFSEL 0..7 synthetic theorem matrix | Created: 2026-07-05 | Updated: 2026-07-06 | 10 failing / 52 total
feat(igla): Wave Loop 434 — live XADC → PVT theorem, synthetic CCLK proof-of-pipeline #1400 feat(igla): Wave Loop 434 — live XADC → PVT theorem, synthetic CCLK proof-of-pipeline | Created: 2026-07-05 | Updated: 2026-07-06 | 1 failing / 6 total
Wave Loop 433: formal bridge fallback (closes #1393) #1396 Wave Loop 433: formal bridge fallback (closes #1393) | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
feat(igla): Wave Loop 432 — per-process-corner raw-ns OSCFSEL theorems, W432 close-out #1394 feat(igla): Wave Loop 432 — per-process-corner raw-ns OSCFSEL theorems, W432 close-out | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 7 total
feat(igla): Wave Loop 431 — XADC→PVT context bridge, computable envelope, measured-to-lean --json summary hardening #1392 feat(igla): Wave Loop 431 — XADC→PVT context bridge, computable envelope, measured-to-lean --json summary hardening | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 7 total
Wave Loop 430 — live XADC readout and PVT-envelope bridge #1390 Wave Loop 430 — live XADC readout and PVT-envelope bridge | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
Wave Loop 429 — raw-ns OSCFSEL theorems, measured-to-lean --json, W430 cooperation #1387 Wave Loop 429 — raw-ns OSCFSEL theorems, measured-to-lean --json, W430 cooperation | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
Wave Loop 428 — unified OSCFSEL PVT theorems, pvt-envelope --json, competitor refresh #1384 Wave Loop 428 — unified OSCFSEL PVT theorems, pvt-envelope --json, competitor refresh | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
feat(igla): Wave Loop 427 — per-OSCFSEL PVT envelope theorems, tri fpga sweep-report --json, competitor refresh (Variant C) #1382 feat(igla): Wave Loop 427 — per-OSCFSEL PVT envelope theorems, tri fpga sweep-report --json, competitor refresh (Variant C) | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 4 total
Wave Loop 426 — finite-grid PVT theorems, machine-readable tri fpga JSON, competitor refresh (Closes #1376) #1378 Wave Loop 426 — finite-grid PVT theorems, machine-readable tri fpga JSON, competitor refresh (Closes #1376) | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
feat(igla): Wave Loop 425 — OSCFSEL 0–7 sweep, PVT worst-case envelope theorems #1375 feat(igla): Wave Loop 425 — OSCFSEL 0–7 sweep, PVT worst-case envelope theorems | Created: 2026-07-05 | Updated: 2026-07-06 | 4 failing / 27 total
feat(igla): Wave Loop 424 — FPGA tooling hardening, PVT context, CSV voltage units, non-blocking continue, W425 setup #1373 feat(igla): Wave Loop 424 — FPGA tooling hardening, PVT context, CSV voltage units, non-blocking continue, W425 setup | Created: 2026-07-05 | Updated: 2026-07-06 | 8 failing / 49 total
feat(igla): Wave Loop 423 — CSV time units, VCD slope filter, PVT worst-case, competitor refresh #1372 feat(igla): Wave Loop 423 — CSV time units, VCD slope filter, PVT worst-case, competitor refresh | Created: 2026-07-05 | Updated: 2026-07-06 | 6 failing / 50 total
Wave Loop 422 — live XC7A200T SRAM boot, Verilog keyword escape, PVT worst-case bound #1369 Wave Loop 422 — live XC7A200T SRAM boot, Verilog keyword escape, PVT worst-case bound | Created: 2026-07-05 | Updated: 2026-07-06 | 6 failing / 50 total
feat(igla): Wave Loop 421 — VCD $timescale exact terminator, combined PVT monotonicity, competitor snapshot #1364 feat(igla): Wave Loop 421 — VCD $timescale exact terminator, combined PVT monotonicity, competitor snapshot | Created: 2026-07-04 | Updated: 2026-07-06 | 7 failing / 48 total
feat(igla): Wave Loop 420 — VCD exact-terminator + auto-threshold, PVT process-corner monotonicity #1362 feat(igla): Wave Loop 420 — VCD exact-terminator + auto-threshold, PVT process-corner monotonicity | Created: 2026-07-04 | Updated: 2026-07-06 | 3 failing / 26 total
docs(metrics): сводка ключевых метрик 83 числовых форматов (SSOT-derived) #1225 docs(metrics): сводка ключевых метрик 83 числовых форматов (SSOT-derived) | Created: 2026-06-28 | Updated: 2026-07-06 | 6 failing / 31 total
ci(trust): OpenSSF Scorecard + SBOM + Sigstore signed releases #1141 ci(trust): OpenSSF Scorecard + SBOM + Sigstore signed releases | Created: 2026-06-15 | Updated: 2026-07-06 | 6 failing / 31 total
fix(gen): untrack stale gen/numeric catalog artifacts (committed gen drifts 77 vs SSOT 83) -- Closes #1120 #1128 fix(gen): untrack stale gen/numeric catalog artifacts (committed gen drifts 77 vs SSOT 83) -- Closes #1120 | Created: 2026-06-14 | Updated: 2026-07-06 | 0 failing / 22 total

Summary

Status	Count
Total Open PRs	30
PRs with Failing Checks	18
PRs with All Checks Green	12
READY	9
FAILING	18
PENDING	0

Seal Status

⚠️ STALE -- sha256(compiler.rs)=b4cb28350b49 != manifest seal=49e55df6d444.
The committed NMSE numbers were certified against an older compiler.rs.
Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

github-actions · 2026-07-13T09:22:21Z

📓 NotebookLM Notebook linked to this PR

Notebook ID: b83263109fb055dc
URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

github-actions · 2026-08-06T10:51:01Z

PR Dashboard

Generated at: 2026-08-06 10:50:56 UTC

feat(gen-verilog): clocked on_clock process — first sequential spec-first design (#1764) #1782 feat(gen-verilog): clocked on_clock process — first sequential spec-first design (#1764) | Created: 2026-08-06 | Updated: 2026-08-06 | 2 failing / 19 total
Merge Wave Loop Ladder W774-W776 + README update #1489 Merge Wave Loop Ladder W774-W776 + README update | Created: 2026-07-24 | Updated: 2026-07-24 | 3 failing / 25 total
chore(deps)(deps): bump candle-core from 0.10.2 to 0.11.0 #1470 chore(deps)(deps): bump candle-core from 0.10.2 to 0.11.0 | Created: 2026-07-13 | Updated: 2026-07-13 | 3 failing / 25 total
chore(deps)(deps): bump ed25519-dalek from 2.2.0 to 3.0.0 #1469 chore(deps)(deps): bump ed25519-dalek from 2.2.0 to 3.0.0 | Created: 2026-07-13 | Updated: 2026-07-13 | 3 failing / 25 total
chore(deps)(deps): bump anyhow from 1.0.102 to 1.0.103 #1468 chore(deps)(deps): bump anyhow from 1.0.102 to 1.0.103 | Created: 2026-07-13 | Updated: 2026-08-06 | 21 failing / 27 total
chore(deps)(deps): bump ignore from 0.4.25 to 0.4.28 #1467 chore(deps)(deps): bump ignore from 0.4.25 to 0.4.28 | Created: 2026-07-13 | Updated: 2026-07-13 | 3 failing / 25 total
chore(deps)(deps): bump regex from 1.12.3 to 1.13.0 #1466 chore(deps)(deps): bump regex from 1.12.3 to 1.13.0 | Created: 2026-07-13 | Updated: 2026-07-13 | 3 failing / 25 total
fix(codegen): faithful Rust/C emit — don't run optimizer on source backends (#1455) #1456 fix(codegen): faithful Rust/C emit — don't run optimizer on source backends (#1455) | Created: 2026-07-10 | Updated: 2026-07-10 | 3 failing / 30 total
ring-105: ecosystem .tri rewrite (7 repos -> t27 SSOT) #1454 ring-105: ecosystem .tri rewrite (7 repos -> t27 SSOT) | Created: 2026-07-08 | Updated: 2026-07-08 | 1 failing / 17 total
chore(license): align README/Cargo.toml/.zenodo.json/CITATION.cff to Apache-2.0 #1437 chore(license): align README/Cargo.toml/.zenodo.json/CITATION.cff to Apache-2.0 | Created: 2026-07-07 | Updated: 2026-07-07 | 23 failing / 44 total
Wave Loop 459 — gen-verilog array parameters from test/invariant/bench + yosys warning gate + ROM style pragma #1434 Wave Loop 459 — gen-verilog array parameters from test/invariant/bench + yosys warning gate + ROM style pragma | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 27 total
feat(igla): Wave Loop 458 — gen-verilog warning hygiene + module-level array parameters #1432 feat(igla): Wave Loop 458 — gen-verilog warning hygiene + module-level array parameters | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 27 total
feat(igla): Wave Loop 457 — RAM style pragma support for module-level arrays #1430 feat(igla): Wave Loop 457 — RAM style pragma support for module-level arrays | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 27 total
Wave Loop 454 — high-VCCINT adversarial witness + duty-cycle/jitter robustness theorems #1426 Wave Loop 454 — high-VCCINT adversarial witness + duty-cycle/jitter robustness theorems | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 26 total
feat(igla): Wave Loop 436 — live XADC → PVT context in boot logs and sweep reports (closes #1402) #1406 feat(igla): Wave Loop 436 — live XADC → PVT context in boot logs and sweep reports (closes #1402) | Created: 2026-07-05 | Updated: 2026-07-05 | 5 failing / 27 total
feat(igla): Wave Loop 435 — live XADC → PVT context CLI export, OSCFSEL 0..7 synthetic theorem matrix #1403 feat(igla): Wave Loop 435 — live XADC → PVT context CLI export, OSCFSEL 0..7 synthetic theorem matrix | Created: 2026-07-05 | Updated: 2026-07-06 | 10 failing / 52 total
feat(igla): Wave Loop 434 — live XADC → PVT theorem, synthetic CCLK proof-of-pipeline #1400 feat(igla): Wave Loop 434 — live XADC → PVT theorem, synthetic CCLK proof-of-pipeline | Created: 2026-07-05 | Updated: 2026-07-06 | 1 failing / 6 total
Wave Loop 433: formal bridge fallback (closes #1393) #1396 Wave Loop 433: formal bridge fallback (closes #1393) | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
feat(igla): Wave Loop 432 — per-process-corner raw-ns OSCFSEL theorems, W432 close-out #1394 feat(igla): Wave Loop 432 — per-process-corner raw-ns OSCFSEL theorems, W432 close-out | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 7 total
feat(igla): Wave Loop 431 — XADC→PVT context bridge, computable envelope, measured-to-lean --json summary hardening #1392 feat(igla): Wave Loop 431 — XADC→PVT context bridge, computable envelope, measured-to-lean --json summary hardening | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 7 total
Wave Loop 430 — live XADC readout and PVT-envelope bridge #1390 Wave Loop 430 — live XADC readout and PVT-envelope bridge | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
Wave Loop 429 — raw-ns OSCFSEL theorems, measured-to-lean --json, W430 cooperation #1387 Wave Loop 429 — raw-ns OSCFSEL theorems, measured-to-lean --json, W430 cooperation | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
Wave Loop 428 — unified OSCFSEL PVT theorems, pvt-envelope --json, competitor refresh #1384 Wave Loop 428 — unified OSCFSEL PVT theorems, pvt-envelope --json, competitor refresh | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
feat(igla): Wave Loop 427 — per-OSCFSEL PVT envelope theorems, tri fpga sweep-report --json, competitor refresh (Variant C) #1382 feat(igla): Wave Loop 427 — per-OSCFSEL PVT envelope theorems, tri fpga sweep-report --json, competitor refresh (Variant C) | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 4 total
Wave Loop 426 — finite-grid PVT theorems, machine-readable tri fpga JSON, competitor refresh (Closes #1376) #1378 Wave Loop 426 — finite-grid PVT theorems, machine-readable tri fpga JSON, competitor refresh (Closes #1376) | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
feat(igla): Wave Loop 425 — OSCFSEL 0–7 sweep, PVT worst-case envelope theorems #1375 feat(igla): Wave Loop 425 — OSCFSEL 0–7 sweep, PVT worst-case envelope theorems | Created: 2026-07-05 | Updated: 2026-07-06 | 4 failing / 27 total
feat(igla): Wave Loop 424 — FPGA tooling hardening, PVT context, CSV voltage units, non-blocking continue, W425 setup #1373 feat(igla): Wave Loop 424 — FPGA tooling hardening, PVT context, CSV voltage units, non-blocking continue, W425 setup | Created: 2026-07-05 | Updated: 2026-07-06 | 8 failing / 49 total
feat(igla): Wave Loop 423 — CSV time units, VCD slope filter, PVT worst-case, competitor refresh #1372 feat(igla): Wave Loop 423 — CSV time units, VCD slope filter, PVT worst-case, competitor refresh | Created: 2026-07-05 | Updated: 2026-07-06 | 6 failing / 50 total
Wave Loop 422 — live XC7A200T SRAM boot, Verilog keyword escape, PVT worst-case bound #1369 Wave Loop 422 — live XC7A200T SRAM boot, Verilog keyword escape, PVT worst-case bound | Created: 2026-07-05 | Updated: 2026-07-06 | 6 failing / 50 total
feat(igla): Wave Loop 421 — VCD $timescale exact terminator, combined PVT monotonicity, competitor snapshot #1364 feat(igla): Wave Loop 421 — VCD $timescale exact terminator, combined PVT monotonicity, competitor snapshot | Created: 2026-07-04 | Updated: 2026-07-06 | 7 failing / 48 total
feat(igla): Wave Loop 420 — VCD exact-terminator + auto-threshold, PVT process-corner monotonicity #1362 feat(igla): Wave Loop 420 — VCD exact-terminator + auto-threshold, PVT process-corner monotonicity | Created: 2026-07-04 | Updated: 2026-07-06 | 3 failing / 26 total
docs(metrics): сводка ключевых метрик 83 числовых форматов (SSOT-derived) #1225 docs(metrics): сводка ключевых метрик 83 числовых форматов (SSOT-derived) | Created: 2026-06-28 | Updated: 2026-07-06 | 6 failing / 31 total
ci(trust): OpenSSF Scorecard + SBOM + Sigstore signed releases #1141 ci(trust): OpenSSF Scorecard + SBOM + Sigstore signed releases | Created: 2026-06-15 | Updated: 2026-07-06 | 6 failing / 31 total
fix(gen): untrack stale gen/numeric catalog artifacts (committed gen drifts 77 vs SSOT 83) -- Closes #1120 #1128 fix(gen): untrack stale gen/numeric catalog artifacts (committed gen drifts 77 vs SSOT 83) -- Closes #1120 | Created: 2026-06-14 | Updated: 2026-07-06 | 0 failing / 22 total

Summary

Status	Count
Total Open PRs	34
PRs with Failing Checks	24
PRs with All Checks Green	10
READY	9
FAILING	24
PENDING	0

Seal Status

⚠️ STALE -- sha256(compiler.rs)=6770cc28c320 != manifest seal=87e5cbd3ad94.
The committed NMSE numbers were certified against an older compiler.rs.
Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

github-actions · 2026-08-06T10:51:03Z

📓 NotebookLM Notebook linked to this PR

Notebook ID: b83263109fb055dc
URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

github-actions · 2026-08-06T10:55:29Z

PR Dashboard

Generated at: 2026-08-06 10:55:26 UTC

feat(gen-verilog): clocked on_clock process — first sequential spec-first design (#1764) #1782 feat(gen-verilog): clocked on_clock process — first sequential spec-first design (#1764) | Created: 2026-08-06 | Updated: 2026-08-06 | 3 failing / 27 total
chore(deps)(deps): bump candle-core from 0.10.2 to 0.11.0 #1470 chore(deps)(deps): bump candle-core from 0.10.2 to 0.11.0 | Created: 2026-07-13 | Updated: 2026-08-06 | 6 failing / 33 total
chore(deps)(deps): bump ed25519-dalek from 2.2.0 to 3.0.0 #1469 chore(deps)(deps): bump ed25519-dalek from 2.2.0 to 3.0.0 | Created: 2026-07-13 | Updated: 2026-08-06 | 6 failing / 33 total
chore(deps)(deps): bump anyhow from 1.0.102 to 1.0.103 #1468 chore(deps)(deps): bump anyhow from 1.0.102 to 1.0.103 | Created: 2026-07-13 | Updated: 2026-08-06 | 11 failing / 17 total
chore(deps)(deps): bump ignore from 0.4.25 to 0.4.28 #1467 chore(deps)(deps): bump ignore from 0.4.25 to 0.4.28 | Created: 2026-07-13 | Updated: 2026-08-06 | 4 failing / 35 total
chore(deps)(deps): bump regex from 1.12.3 to 1.13.0 #1466 chore(deps)(deps): bump regex from 1.12.3 to 1.13.0 | Created: 2026-07-13 | Updated: 2026-08-06 | 4 failing / 33 total
fix(codegen): faithful Rust/C emit — don't run optimizer on source backends (#1455) #1456 fix(codegen): faithful Rust/C emit — don't run optimizer on source backends (#1455) | Created: 2026-07-10 | Updated: 2026-07-10 | 3 failing / 30 total
ring-105: ecosystem .tri rewrite (7 repos -> t27 SSOT) #1454 ring-105: ecosystem .tri rewrite (7 repos -> t27 SSOT) | Created: 2026-07-08 | Updated: 2026-07-08 | 1 failing / 17 total
chore(license): align README/Cargo.toml/.zenodo.json/CITATION.cff to Apache-2.0 #1437 chore(license): align README/Cargo.toml/.zenodo.json/CITATION.cff to Apache-2.0 | Created: 2026-07-07 | Updated: 2026-07-07 | 23 failing / 44 total
docs(metrics): сводка ключевых метрик 83 числовых форматов (SSOT-derived) #1225 docs(metrics): сводка ключевых метрик 83 числовых форматов (SSOT-derived) | Created: 2026-06-28 | Updated: 2026-07-06 | 6 failing / 31 total
ci(trust): OpenSSF Scorecard + SBOM + Sigstore signed releases #1141 ci(trust): OpenSSF Scorecard + SBOM + Sigstore signed releases | Created: 2026-06-15 | Updated: 2026-07-06 | 6 failing / 31 total
fix(gen): untrack stale gen/numeric catalog artifacts (committed gen drifts 77 vs SSOT 83) -- Closes #1120 #1128 fix(gen): untrack stale gen/numeric catalog artifacts (committed gen drifts 77 vs SSOT 83) -- Closes #1120 | Created: 2026-06-14 | Updated: 2026-07-06 | 0 failing / 22 total

Summary

Status	Count
Total Open PRs	12
PRs with Failing Checks	10
PRs with All Checks Green	2
READY	1
FAILING	10
PENDING	0

Seal Status

⚠️ STALE -- sha256(compiler.rs)=6f381bc4d862 != manifest seal=87e5cbd3ad94.
The committed NMSE numbers were certified against an older compiler.rs.
Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

github-actions · 2026-08-06T10:55:32Z

📓 NotebookLM Notebook linked to this PR

Notebook ID: b83263109fb055dc
URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

dependabot Bot requested a review from gHashTag as a code owner July 13, 2026 09:21

This was referenced Jul 13, 2026

chore(deps)(deps): bump ed25519-dalek from 2.2.0 to 3.0.0 #1469

Merged

chore(deps)(deps): bump candle-core from 0.10.2 to 0.11.0 #1470

Merged

This was referenced Aug 6, 2026

[GOLD-RING] fix(gen-rust): bool negation and integer-width coercion #1777

Merged

feat(gen-verilog): clocked on_clock process — first sequential spec-first design (#1764) #1782

Merged

Merge branch 'master' into dependabot/cargo/anyhow-1.0.103

1c14c54

This was referenced Aug 6, 2026

chore(deps)(deps): bump regex from 1.12.3 to 1.13.0 #1466

Merged

chore(deps)(deps): bump ignore from 0.4.25 to 0.4.28 #1467

Merged

batch: merge Wave Loops 420–459 + W774-W776 ladder backlog #1783

Merged

Merge branch 'master' into dependabot/cargo/anyhow-1.0.103

b53dbc9

gHashTag merged commit 92f20b8 into master Aug 6, 2026
17 of 18 checks passed

dependabot Bot deleted the dependabot/cargo/anyhow-1.0.103 branch August 6, 2026 10:56

Navigation Menu

chore(deps)(deps): bump anyhow from 1.0.102 to 1.0.103 - #1468

chore(deps)(deps): bump anyhow from 1.0.102 to 1.0.103#1468
gHashTag merged 3 commits into
masterfrom
dependabot/cargo/anyhow-1.0.103

dependabot Bot commented on behalf of github Jul 13, 2026

Uh oh!

dependabot Bot commented on behalf of github Jul 13, 2026

Uh oh!

github-actions Bot commented Jul 13, 2026

Uh oh!

github-actions Bot commented Jul 13, 2026

Uh oh!

github-actions Bot commented Aug 6, 2026

Uh oh!

github-actions Bot commented Aug 6, 2026

Uh oh!

github-actions Bot commented Aug 6, 2026

Uh oh!

github-actions Bot commented Aug 6, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

dependabot Bot commented on behalf of github Jul 13, 2026

1.0.103

Uh oh!

dependabot Bot commented on behalf of github Jul 13, 2026

Labels

Uh oh!

github-actions Bot commented Jul 13, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Jul 13, 2026

Uh oh!

github-actions Bot commented Aug 6, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Aug 6, 2026

Uh oh!

github-actions Bot commented Aug 6, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Aug 6, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant