Skip to content

M1-ND salvage phase diagram and uniform blind wedge candidate #49

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

Closed
Waschtl904 wants to merge 20 commits into from
Closed

M1-ND salvage phase diagram and uniform blind wedge candidate #49

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
5253704
Open M1-ND salvage phase-diagram firewall
Waschtl904 Sep 1, 2026
f1721fa
Certify salvage counting firewall
Waschtl904 Sep 1, 2026
934066a
Add salvage full-saturation phase diagram probe
Waschtl904 Sep 1, 2026
475c89b
Run salvage phase-diagram firewall and probe
Waschtl904 Sep 1, 2026
db1f0b5
Certify uniform blind wedge geometry
Waschtl904 Sep 1, 2026
fbbe302
Document uniform blind wedge candidate
Waschtl904 Sep 1, 2026
2a4182b
Run exact salvage uniform blind wedge certificate
Waschtl904 Sep 1, 2026
75befbc
Add uniform blind wedge review packet
Waschtl904 Sep 1, 2026
a1cd7be
Close salvage uniform-wedge analytic handoff candidate
Waschtl904 Sep 1, 2026
17b085d
Track salvage uniform-wedge audit packet in CI provenance
Waschtl904 Sep 1, 2026
21aa4e1
Harden salvage wedge lower-chamber scope
Waschtl904 Sep 1, 2026
c6066a3
Repair and harden uniform blind wedge candidate audit
Waschtl904 Sep 1, 2026
dfa99b0
Repair uniform blind wedge review packet
Waschtl904 Sep 1, 2026
8127723
Repair and harden uniform wedge analytic handoff
Waschtl904 Sep 1, 2026
03339f8
Add direct complement invariance cross-check
Waschtl904 Sep 1, 2026
08f5285
Run direct complement salvage cross-check
Waschtl904 Sep 1, 2026
b91558e
Add epsilon-uniform raw-word graph cross-check
Waschtl904 Sep 1, 2026
07074ad
Run epsilon-uniform raw-word graph cross-check
Waschtl904 Sep 1, 2026
9e9451e
Make salvage saturation measurability and null boundaries explicit
Waschtl904 Sep 1, 2026
2ed1583
Add saturation measurability to salvage review gate
Waschtl904 Sep 1, 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
63 changes: 63 additions & 0 deletions .github/workflows/sw1-m1-nd-salvage-phase-diagram.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,63 @@
name: SW1 M1-ND salvage phase diagram

on:
push:
branches:
- research/sw1-m1-nd-salvage-phase-diagram
paths:
- 'audits/P11_R32_SW1_M1_ND_SALVAGE_A0_PHASE_DIAGRAM_FIREWALL.md'
- 'scripts/certify_sw1_m1_nd_salvage_a0_counting_firewall.py'
- 'scripts/probe_sw1_m1_nd_salvage_phase_diagram.py'
- 'scripts/certify_sw1_m1_nd_salvage_a1_a2_uniform_blind_wedge.py'
- 'scripts/certify_sw1_m1_nd_salvage_direct_complement_crosscheck.py'
- 'scripts/certify_sw1_m1_nd_salvage_uniform_raw_word_graph.py'
- 'audits/P11_R32_SW1_M1_ND_SALVAGE_A1_A2_UNIFORM_BLIND_WEDGE_CANDIDATE.md'
- 'audits/P11_R32_SW1_M1_ND_SALVAGE_A1_A2_REVIEW_PACKET.md'
- 'audits/P11_R32_SW1_M1_ND_SALVAGE_A1_A2_ANALYTIC_HANDOFF_CANDIDATE.md'
- '.github/workflows/sw1-m1-nd-salvage-phase-diagram.yml'
workflow_dispatch:

jobs:
salvage:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4

- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: '3.12'

- name: Install SymPy
run: python -m pip install sympy==1.14.0

- name: Record provenance
run: |
python --version
python -c "import sympy; print('sympy='+sympy.__version__)"
git rev-parse HEAD
git hash-object audits/P11_R32_SW1_M1_ND_SALVAGE_A0_PHASE_DIAGRAM_FIREWALL.md
git hash-object scripts/certify_sw1_m1_nd_salvage_a0_counting_firewall.py
git hash-object scripts/probe_sw1_m1_nd_salvage_phase_diagram.py
git hash-object audits/P11_R32_SW1_M1_ND_SALVAGE_A1_A2_ANALYTIC_HANDOFF_CANDIDATE.md
git hash-object audits/P11_R32_SW1_M1_ND_SALVAGE_A1_A2_REVIEW_PACKET.md
git hash-object scripts/certify_sw1_m1_nd_salvage_a1_a2_uniform_blind_wedge.py
git hash-object scripts/certify_sw1_m1_nd_salvage_direct_complement_crosscheck.py
git hash-object scripts/certify_sw1_m1_nd_salvage_uniform_raw_word_graph.py
git hash-object audits/P11_R32_SW1_M1_ND_SALVAGE_A1_A2_UNIFORM_BLIND_WEDGE_CANDIDATE.md

- name: Run counting firewall certificate
run: python scripts/certify_sw1_m1_nd_salvage_a0_counting_firewall.py

- name: Run full-saturation phase diagram probe
run: python scripts/probe_sw1_m1_nd_salvage_phase_diagram.py

- name: Run exact uniform blind wedge certificate
run: python scripts/certify_sw1_m1_nd_salvage_a1_a2_uniform_blind_wedge.py

- name: Run direct complement invariance cross-check
run: python scripts/certify_sw1_m1_nd_salvage_direct_complement_crosscheck.py

- name: Run epsilon-uniform raw-word graph cross-check
run: python scripts/certify_sw1_m1_nd_salvage_uniform_raw_word_graph.py
Loading
Loading