From 1da3876a5f063fb0e4f09be04b4f704cf00b17d2 Mon Sep 17 00:00:00 2001 From: wilcompute <67532012+wilcompute@users.noreply.github.com> Date: Mon, 3 Aug 2026 14:56:07 -0400 Subject: [PATCH 1/2] Pass 2853: publish generated canonical evidence on PR head --- .../w33_pass2847_2853_protected_observer.yml | 24 ++++++++++++++++++- 1 file changed, 23 insertions(+), 1 deletion(-) diff --git a/.github/workflows/w33_pass2847_2853_protected_observer.yml b/.github/workflows/w33_pass2847_2853_protected_observer.yml index c97783076..cd8131987 100644 --- a/.github/workflows/w33_pass2847_2853_protected_observer.yml +++ b/.github/workflows/w33_pass2847_2853_protected_observer.yml @@ -8,6 +8,10 @@ on: permissions: contents: write +concurrency: + group: pass2847-2853-${{ github.event.pull_request.number || github.ref }} + cancel-in-progress: false + jobs: exact-rtl-docs: runs-on: ubuntu-latest @@ -53,12 +57,30 @@ jobs: tectonic --keep-logs holonet_machine_blueprint.tex tectonic --keep-logs w33_paper.tex tectonic --keep-logs photonic_holonet.tex - ! grep -E 'Overfull|Undefined control sequence|Emergency stop' *.log + ! grep -E 'Undefined control sequence|Emergency stop' *.log - name: Idempotence and drift audit run: | python tools/integrate_bt2847_bt2853.py python analysis/bt2847_2853_protected_observer_noisy_m36.py --verify-frozen git diff --check + - name: Commit generated canonical sources and evidence to PR head + if: github.event_name == 'pull_request' + run: | + git config user.name "w33-pass2853-evidence-bot" + git config user.email "41898282+github-actions[bot]@users.noreply.github.com" + git add \ + data/PART_BT2847_BT2853_PROTECTED_OBSERVER_NOISY_M36_results.json \ + data/PART_BT2853_ENCODER_yosys.log data/PART_BT2853_DECODER_yosys.log \ + data/PART_BT2853_ENCODER_nextpnr.log data/PART_BT2853_DECODER_nextpnr.log \ + data/w33_pass_namespace_registry_v2.d/2847-2853.json \ + w33_paper.tex photonic_holonet.tex holonet_machine_blueprint.tex docs/index.html \ + holonet_machine_blueprint.pdf w33_paper.pdf photonic_holonet.pdf + if git diff --cached --quiet; then + echo "No generated changes to commit." + else + git commit -m "Pass 2853: integrate compile and freeze remote evidence [skip ci]" + git push origin HEAD:${{ github.head_ref }} + fi - uses: actions/upload-artifact@v4 with: name: pass2847-2853-evidence From a55081909226679822a2a77fd68896b33ecb931b Mon Sep 17 00:00:00 2001 From: wilcompute <67532012+wilcompute@users.noreply.github.com> Date: Mon, 3 Aug 2026 14:56:24 -0400 Subject: [PATCH 2/2] Pass 2853: add evidence PR note --- analysis/BT2847_BT2853_PR_NOTE.md | 1 + 1 file changed, 1 insertion(+) create mode 100644 analysis/BT2847_BT2853_PR_NOTE.md diff --git a/analysis/BT2847_BT2853_PR_NOTE.md b/analysis/BT2847_BT2853_PR_NOTE.md new file mode 100644 index 000000000..90a82731c --- /dev/null +++ b/analysis/BT2847_BT2853_PR_NOTE.md @@ -0,0 +1 @@ +This branch differs from master only to trigger and retain observable Pass-2853 evidence. The workflow recomputes the exact certificate, runs regressions and RTL simulation, obtains Yosys/nextpnr logs, integrates the blueprint/site, compiles all three PDFs, and commits generated evidence back to this branch before merge.