Skip to content

Passes 2847–2853: protected observer, noisy M36, and active diagnosis evidence #217

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wilcompute wants to merge 2 commits into
base: master
Choose a base branch
from
+24 −1
Draft

Passes 2847–2853: protected observer, noisy M36, and active diagnosis evidence #217

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
1da3876
Pass 2853: publish generated canonical evidence on PR head
wilcompute Aug 3, 2026
a550819
Pass 2853: add evidence PR note
wilcompute Aug 3, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
24 changes: 23 additions & 1 deletion .github/workflows/w33_pass2847_2853_protected_observer.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -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
Expand Down
1 change: 1 addition & 0 deletions analysis/BT2847_BT2853_PR_NOTE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.
Loading