Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
6 changes: 6 additions & 0 deletions .gitattributes
Original file line number Diff line number Diff line change
Expand Up @@ -18,3 +18,9 @@ research/coordinated-frames-and-entrance-banks/** -text -whitespace
# Frozen PR210 package and round-nine evidence retain their audited bytes.
research/five-stage-source527-banks/** -text -whitespace
research/community-round9-audit/** -text -whitespace
research/p10b-oriented-constructed42/** -text
research/p10b-donor-flow52/** -text -whitespace
research/p10b-donor-refresh54/** -text -whitespace
research/p10b-carrier16/** -text -whitespace
research/p10b-sinkaware15/** -text -whitespace
research/p10b-sinkaware-flow15/** -text -whitespace
37 changes: 37 additions & 0 deletions .github/workflows/p10b-carrier16.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
name: p10b exact-subspace grouping and sixteen carrier switches
on:
pull_request:
paths:
- 'research/p10b-carrier16/**'
- '.github/workflows/p10b-carrier16.yml'
push:
paths:
- 'research/p10b-carrier16/**'
- '.github/workflows/p10b-carrier16.yml'
workflow_dispatch:
permissions:
contents: read
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 60
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.12'
- run: sudo apt-get update && sudo apt-get install -y libboost-dev
- run: python -m pip install -r research/p10b-carrier16/requirements.txt
- name: Replay complete immutable construction
run: python -B research/p10b-carrier16/verify.py --output "$RUNNER_TEMP/p10b-carrier16-proof" --cxx g++ --boost-include /usr/include
- uses: actions/upload-artifact@v4
if: always()
with:
name: p10b-carrier16-verification
path: |
${{ runner.temp }}/p10b-carrier16-proof/VERIFICATION.json
${{ runner.temp }}/p10b-carrier16-proof/CERTIFICATE.json
${{ runner.temp }}/p10b-carrier16-proof/FAILURE.json
${{ runner.temp }}/p10b-carrier16-proof/source-regeneration/REGENERATION.json
${{ runner.temp }}/p10b-carrier16-proof/PRODUCER-BINDING-CONTROLS.json
${{ runner.temp }}/p10b-carrier16-proof/logs/
37 changes: 37 additions & 0 deletions .github/workflows/p10b-donor-flow52.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
name: p10b all-rank donor flow and 52 retimings
on:
pull_request:
paths:
- 'research/p10b-donor-flow52/**'
- '.github/workflows/p10b-donor-flow52.yml'
push:
paths:
- 'research/p10b-donor-flow52/**'
- '.github/workflows/p10b-donor-flow52.yml'
workflow_dispatch:
permissions:
contents: read
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 60
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.12'
- run: sudo apt-get update && sudo apt-get install -y libboost-dev
- run: python -m pip install -r research/p10b-donor-flow52/requirements.txt
- name: Replay complete immutable construction
run: python -B research/p10b-donor-flow52/verify.py --output "$RUNNER_TEMP/p10b-donor-flow52-proof" --cxx g++ --boost-include /usr/include
- uses: actions/upload-artifact@v4
if: always()
with:
name: p10b-donor-flow52-verification
path: |
${{ runner.temp }}/p10b-donor-flow52-proof/VERIFICATION.json
${{ runner.temp }}/p10b-donor-flow52-proof/CERTIFICATE.json
${{ runner.temp }}/p10b-donor-flow52-proof/FAILURE.json
${{ runner.temp }}/p10b-donor-flow52-proof/source-regeneration/REGENERATION.json
${{ runner.temp }}/p10b-donor-flow52-proof/PRODUCER-BINDING-CONTROLS.json
${{ runner.temp }}/p10b-donor-flow52-proof/logs/
37 changes: 37 additions & 0 deletions .github/workflows/p10b-donor-refresh54.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
name: p10b refreshed donors and 54 retimings
on:
pull_request:
paths:
- 'research/p10b-donor-refresh54/**'
- '.github/workflows/p10b-donor-refresh54.yml'
push:
paths:
- 'research/p10b-donor-refresh54/**'
- '.github/workflows/p10b-donor-refresh54.yml'
workflow_dispatch:
permissions:
contents: read
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 60
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.12'
- run: sudo apt-get update && sudo apt-get install -y libboost-dev
- run: python -m pip install -r research/p10b-donor-refresh54/requirements.txt
- name: Replay complete immutable construction
run: python -B research/p10b-donor-refresh54/verify.py --output "$RUNNER_TEMP/p10b-donor-refresh54-proof" --cxx g++ --boost-include /usr/include
- uses: actions/upload-artifact@v4
if: always()
with:
name: p10b-donor-refresh54-verification
path: |
${{ runner.temp }}/p10b-donor-refresh54-proof/VERIFICATION.json
${{ runner.temp }}/p10b-donor-refresh54-proof/CERTIFICATE.json
${{ runner.temp }}/p10b-donor-refresh54-proof/FAILURE.json
${{ runner.temp }}/p10b-donor-refresh54-proof/source-regeneration/REGENERATION.json
${{ runner.temp }}/p10b-donor-refresh54-proof/PRODUCER-BINDING-CONTROLS.json
${{ runner.temp }}/p10b-donor-refresh54-proof/logs/
37 changes: 37 additions & 0 deletions .github/workflows/p10b-oriented-constructed42.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
name: p10b oriented source and constructed42
on:
pull_request:
paths:
- 'research/p10b-oriented-constructed42/**'
- '.github/workflows/p10b-oriented-constructed42.yml'
push:
paths:
- 'research/p10b-oriented-constructed42/**'
- '.github/workflows/p10b-oriented-constructed42.yml'
workflow_dispatch:
permissions:
contents: read
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 60
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.12'
- run: sudo apt-get update && sudo apt-get install -y libboost-dev
- run: python -m pip install -r research/p10b-oriented-constructed42/requirements.txt
- name: Replay complete immutable construction
run: python -B research/p10b-oriented-constructed42/verify.py --output "$RUNNER_TEMP/p10b-oriented-constructed42-proof" --cxx g++ --boost-include /usr/include
- uses: actions/upload-artifact@v4
if: always()
with:
name: p10b-oriented-constructed42-verification
path: |
${{ runner.temp }}/p10b-oriented-constructed42-proof/VERIFICATION.json
${{ runner.temp }}/p10b-oriented-constructed42-proof/CERTIFICATE.json
${{ runner.temp }}/p10b-oriented-constructed42-proof/FAILURE.json
${{ runner.temp }}/p10b-oriented-constructed42-proof/source-regeneration/REGENERATION.json
${{ runner.temp }}/p10b-oriented-constructed42-proof/PRODUCER-BINDING-CONTROLS.json
${{ runner.temp }}/p10b-oriented-constructed42-proof/logs/
37 changes: 37 additions & 0 deletions .github/workflows/p10b-sinkaware-flow15.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
name: p10b sink-preserving donor flow and fifty final retimings
on:
pull_request:
paths:
- 'research/p10b-sinkaware-flow15/**'
- '.github/workflows/p10b-sinkaware-flow15.yml'
push:
paths:
- 'research/p10b-sinkaware-flow15/**'
- '.github/workflows/p10b-sinkaware-flow15.yml'
workflow_dispatch:
permissions:
contents: read
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 60
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.12'
- run: sudo apt-get update && sudo apt-get install -y libboost-dev
- run: python -m pip install -r research/p10b-sinkaware-flow15/requirements.txt
- name: Replay complete immutable construction
run: python -B research/p10b-sinkaware-flow15/verify.py --output "$RUNNER_TEMP/p10b-sinkaware-flow15-proof" --cxx g++ --boost-include /usr/include
- uses: actions/upload-artifact@v4
if: always()
with:
name: p10b-sinkaware-flow15-verification
path: |
${{ runner.temp }}/p10b-sinkaware-flow15-proof/VERIFICATION.json
${{ runner.temp }}/p10b-sinkaware-flow15-proof/CERTIFICATE.json
${{ runner.temp }}/p10b-sinkaware-flow15-proof/FAILURE.json
${{ runner.temp }}/p10b-sinkaware-flow15-proof/source-regeneration/REGENERATION.json
${{ runner.temp }}/p10b-sinkaware-flow15-proof/PRODUCER-BINDING-CONTROLS.json
${{ runner.temp }}/p10b-sinkaware-flow15-proof/logs/
37 changes: 37 additions & 0 deletions .github/workflows/p10b-sinkaware15.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
name: p10b source orientations preserving fifteen sinks
on:
pull_request:
paths:
- 'research/p10b-sinkaware15/**'
- '.github/workflows/p10b-sinkaware15.yml'
push:
paths:
- 'research/p10b-sinkaware15/**'
- '.github/workflows/p10b-sinkaware15.yml'
workflow_dispatch:
permissions:
contents: read
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 60
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.12'
- run: sudo apt-get update && sudo apt-get install -y libboost-dev
- run: python -m pip install -r research/p10b-sinkaware15/requirements.txt
- name: Replay complete immutable construction
run: python -B research/p10b-sinkaware15/verify.py --output "$RUNNER_TEMP/p10b-sinkaware15-proof" --cxx g++ --boost-include /usr/include
- uses: actions/upload-artifact@v4
if: always()
with:
name: p10b-sinkaware15-verification
path: |
${{ runner.temp }}/p10b-sinkaware15-proof/VERIFICATION.json
${{ runner.temp }}/p10b-sinkaware15-proof/CERTIFICATE.json
${{ runner.temp }}/p10b-sinkaware15-proof/FAILURE.json
${{ runner.temp }}/p10b-sinkaware15-proof/source-regeneration/REGENERATION.json
${{ runner.temp }}/p10b-sinkaware15-proof/PRODUCER-BINDING-CONTROLS.json
${{ runner.temp }}/p10b-sinkaware15-proof/logs/
9 changes: 9 additions & 0 deletions research/p10b-carrier16-independent-audit/ASSEMBLY-AUDIT.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
{
"status": "PASS_INDEPENDENT_CLOSED_FORM_BOOTSTRAP_COMPLEX_CLIPPING_AND_OUTER_GRID",
"kappa": "7776299656948249002253/10000000000000000000000000",
"complex_b": "779597612622781/1000000000000000000",
"ordinary_saving": "778235144663672218746281/1000000000000000000000000000",
"bootstrap_levels": 8,
"refinement_sha256": "db3359bf1f98dfaed14c235d2155a79aeba7282068696a7b61dd154348169aac",
"scope": "Independently recomputed all finite recurrence levels by closed form, their cutoffs, strict complex cap, seven outer margins and final grid; full structural and moment admission remain the complete verifier responsibility."
}
Loading
Loading