Wave Loop 441 — baseline-aware suite summary + OSCFSEL 0..7 theorem matrix + CI schema tests#1416

Closed

gHashTag wants to merge 53 commits into

Commits on Jul 4, 2026

feat(igla): Wave Loop 420 — VCD exact-terminator + real-net auto-threshold, PVT process-corner monotonicity

Dmitrii Vasilev
and
claude
committed
docs(now): record W420 PR #1362 and merge-pending status

Dmitrii Vasilev
and
claude
committed
docs(issue): set current issue to Wave Loop 421

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 421 — VCD $timescale exact terminator, combined PVT monotonicity, competitor snapshot

Dmitrii Vasilev
and
claude
committed
docs(issue): set current issue to Wave Loop 422\n\nCloses #1365\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Dmitrii Vasilev
committed

Commits on Jul 5, 2026

feat(igla): Wave Loop 422 — live XC7A200T SRAM boot, Verilog keyword escape, PVT worst-case bound

Dmitrii Vasilev
and
claude
committed
docs(issue): set current issue to Wave Loop 423

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 423 — CSV time units, VCD slope filter, PVT worst-case, competitor refresh (Closes #1368)

Dmitrii Vasilev
and
claude
committed
setup(igla): Wave Loop 424 branch and issue (#1371)

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 424 — FPGA tooling hardening, PVT context, CSV voltage units, non-blocking continue, W425 setup

Dmitrii Vasilev
and
claude
committed
chore(tri): update session log and commit count after W424 close-out

Dmitrii Vasilev
and
claude
committed
docs(tri): W425 issue + NOW setup (#1374, wave-loop-425)

Dmitrii Vasilev
and
claude
committed
docs(tri): correct W425 issue reference to #1374

Dmitrii Vasilev
and
claude
committed
merge W424 into W425

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 425 — OSCFSEL 0–7 sweep, PVT worst-case envelope theorems (closes #1374)

Dmitrii Vasilev
and
claude
committed
docs(w426): set up Wave Loop 426 current issue (#1376)
Dmitrii Vasilev
committed
chore(w426): merge wave-loop-425 close-out into W426 branch
Dmitrii Vasilev
committed
feat(igla): Wave Loop 426 — finite-grid PVT theorems, machine-readable tri fpga JSON, competitor refresh (Variant C)

Dmitrii Vasilev
and
claude
committed
docs(w427): set up current issue for Wave Loop 427 (#1379)
Dmitrii Vasilev
committed
feat(igla): Wave Loop 427 — per-OSCFSEL PVT envelope theorems, tri fpga sweep-report --json, competitor refresh (Variant C)

Dmitrii Vasilev
and
claude
committed
docs(issue): set current issue to Wave Loop 428 (#1383)

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 428 — unified OSCFSEL PVT theorems, tri fpga pvt-envelope --json, competitor refresh

Dmitrii Vasilev
and
claude
committed
chore(w429): seed current-issue.md for Wave Loop 429

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 429 — raw-ns OSCFSEL theorems, measured-to-lean --json, W429 report and W430 cooperation (Closes #1385)

Dmitrii Vasilev
and
claude
committed
docs: Wave Loop 430 current-issue setup (Refs #1388)

Dmitrii Vasilev
and
claude
committed
docs: Wave Loop 429 experience log

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 430 — live XADC readout, PVT-envelope bridge, W431 cooperation\n\n- Add tri fpga read-xadc and --xadc flags on boot-log/cold-por/cclk-sweep.\n- Parse openFPGALoader --read-xad…
Dmitrii Vasilev
committed
docs(trinity): W431 setup — current issue, NOW, experience (Wave Loop 430 close-out)\n\n- Point .trinity/current-issue.md and docs/NOW.md to W431 (#1389).\n- Add W430 learnings to .trinity/experien…
Dmitrii Vasilev
committed
feat(igla): Wave Loop 431 — XADC→PVT context bridge, computable envelope, measured-to-lean --json summary hardening

Dmitrii Vasilev
and
claude
committed
docs: record PR #1392 in NOW.md and experience.md

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 432 — per-process-corner raw-ns OSCFSEL theorems, master-merge feasibility probe, W432 close-out artifacts

Dmitrii Vasilev
and
claude
committed
docs(experience): W432 learnings — per-process-corner theorem, master-merge probe, blocked bench redirect

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 433 — formal bridge fallback, compose W431 XADC envelope with W432 per-corner raw-ns OSCFSEL theorem

Dmitrii Vasilev
and
claude
committed
docs(experience): W433 learnings and missing W429-W431 plan files

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 434 — live XADC → PVT context theorem, synthetic CCLK proof-of-pipeline, W435 issue #1398 + branch

Dmitrii Vasilev
and
claude
committed
chore(trinity): update current_task counters after W434 verification run

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 435 — live XADC → PVT context CLI export, OSCFSEL 0..7 synthetic theorem matrix, end-to-end integration test

Dmitrii Vasilev
and
claude
committed
docs(w435): record PR #1403 in NOW.md
Dmitrii Vasilev
committed
chore(now): merge master into wave-loop-435 and update NOW.md for W435 close-out
Dmitrii Vasilev
committed
feat(igla): Wave Loop 436 — live XADC → PVT context in boot logs and sweep reports, closed-vocabulary source labels, quantified combined-check theorem

Dmitrii Vasilev
and
claude
committed
chore(w437): update issue references to #1405 after GitHub creation

Dmitrii Vasilev
and
claude
committed
chore(now): set W436 PR number to #1406

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 437 — dry-run synthetic XADC→PVT validation, verify-lean gate, public PVT resolver

Dmitrii Vasilev
and
claude
committed
chore(now): set W437 PR number to #1408

Dmitrii Vasilev
and
claude
committed
chore(w438): update current-issue.md for Wave Loop 438

Dmitrii Vasilev
and
claude
committed
feat(w438): integrate synthetic dry-run + verify-lean into FPGA smoke gate

Dmitrii Vasilev
and
claude
committed
docs(w438): close-out report, evidence, and W439 cooperation variants

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 439 — wire smoke-gate into tri test, add --json report, regression test

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 440 — consume smoke-gate JSON report, add suite --json summary, harden skip/fail handling, restore 127 active tests (Closes #1411)

Dmitrii Vasilev
and
claude
committed
docs(w440): correct issue/PR numbers — W440 PR #1414, W441 issue #1413

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 441 — baseline-aware suite summary, OSCFSEL 0..7 theorem matrix, CI schema tests (Closes #1413)

Dmitrii Vasilev
and
claude
committed
docs(w441): add PR #1416 to close-out report (Closes #1413)

Dmitrii Vasilev
and
claude
committed
docs(w441): record PR #1416 in NOW.md (Closes #1413)

Dmitrii Vasilev
and
claude
committed