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
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions .gitattributes
Original file line number Diff line number Diff line change
Expand Up @@ -18,3 +18,7 @@ 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
# E8 staged bit word in B3 with #377 complex: MANIFEST.sha256 and the git-blob pins fix exact bytes.
research/e8-kernel-bit-b3/** -text -whitespace
# #377 nine-stage component with the #378 re-timed E8 unit: MANIFEST.sha256 and the git-blob pins fix exact bytes.
research/e8-far-nine-complex/** -text -whitespace
37 changes: 37 additions & 0 deletions .github/workflows/e8-clean-padding.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
name: e8-clean-padding

on:
pull_request:
paths:
- 'research/e8-clean-padding/**'
- '.github/workflows/e8-clean-padding.yml'
push:
paths:
- 'research/e8-clean-padding/**'
- '.github/workflows/e8-clean-padding.yml'
workflow_dispatch:

permissions:
contents: read

jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 45
strategy:
fail-fast: false
matrix:
python-version: ['3.12', '3.14']
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
with:
persist-credentials: false
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
with:
python-version: ${{ matrix.python-version }}
- name: Quick verification (manifest, pins, gx.check1, local-program replay, sinks, profile, kappa)
run: bash research/e8-clean-padding/verify.sh --quick "$RUNNER_TEMP/e8c-quick"
- name: Full verification (adds the sink re-search)
run: bash research/e8-clean-padding/verify.sh "$RUNNER_TEMP/e8c-full"
- name: Require an unchanged tree
run: git diff --exit-code
37 changes: 37 additions & 0 deletions .github/workflows/e8-clean-r781.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
name: e8-clean-r781

on:
pull_request:
paths:
- 'research/e8-clean-r781/**'
- '.github/workflows/e8-clean-r781.yml'
push:
paths:
- 'research/e8-clean-r781/**'
- '.github/workflows/e8-clean-r781.yml'
workflow_dispatch:

permissions:
contents: read

jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 45
strategy:
fail-fast: false
matrix:
python-version: ['3.12', '3.14']
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
with:
persist-credentials: false
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
with:
python-version: ${{ matrix.python-version }}
- name: Quick verification (manifest, pins, gx.check1, local-program replay, sinks, profile, kappa)
run: bash research/e8-clean-r781/verify.sh --quick "$RUNNER_TEMP/e8c3-quick"
- name: Full verification (adds the sink re-search)
run: bash research/e8-clean-r781/verify.sh "$RUNNER_TEMP/e8c3-full"
- name: Require an unchanged tree
run: git diff --exit-code
37 changes: 37 additions & 0 deletions .github/workflows/e8-far-nine-complex.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
name: e8-far-nine-complex

on:
pull_request:
paths:
- 'research/e8-far-nine-complex/**'
- '.github/workflows/e8-far-nine-complex.yml'
push:
paths:
- 'research/e8-far-nine-complex/**'
- '.github/workflows/e8-far-nine-complex.yml'
workflow_dispatch:

permissions:
contents: read

jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 30
strategy:
fail-fast: false
matrix:
python-version: ['3.12', '3.14']
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
with:
persist-credentials: false
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
with:
python-version: ${{ matrix.python-version }}
- name: Quick verification (manifest, pins, certificate checks, operator identity, #377 profile, kappa)
run: bash research/e8-far-nine-complex/verify.sh --quick "$RUNNER_TEMP/e8n-quick"
- name: Full verification (adds the m = 73 regeneration)
run: bash research/e8-far-nine-complex/verify.sh "$RUNNER_TEMP/e8n-full"
- name: Require an unchanged tree
run: git diff --exit-code
41 changes: 41 additions & 0 deletions .github/workflows/e8-kernel-bit-b3.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
name: e8-kernel-bit-b3

on:
pull_request:
paths:
- 'research/e8-kernel-bit-b3/**'
- '.github/workflows/e8-kernel-bit-b3.yml'
push:
paths:
- 'research/e8-kernel-bit-b3/**'
- '.github/workflows/e8-kernel-bit-b3.yml'
workflow_dispatch:

permissions:
contents: read

jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 30
strategy:
fail-fast: false
matrix:
python-version: ['3.12', '3.14']
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
with:
persist-credentials: false
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
with:
python-version: ${{ matrix.python-version }}
- name: Install a C++17 compiler and Boost headers
run: |
sudo apt-get update
sudo apt-get install -y g++ libboost-dev
- name: Quick verification (manifest, pins, stages, legality, B3 columns, banks, guard, kappa)
run: bash research/e8-kernel-bit-b3/verify.sh --quick "$RUNNER_TEMP/e8b-quick"
- name: Full verification (adds the #370 five-stage regression)
run: bash research/e8-kernel-bit-b3/verify.sh "$RUNNER_TEMP/e8b-full"
- name: Require an unchanged tree
run: git diff --exit-code
37 changes: 37 additions & 0 deletions .github/workflows/e8-repivot-fusion.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
name: e8-repivot-fusion

on:
pull_request:
paths:
- 'research/e8-repivot-fusion/**'
- '.github/workflows/e8-repivot-fusion.yml'
push:
paths:
- 'research/e8-repivot-fusion/**'
- '.github/workflows/e8-repivot-fusion.yml'
workflow_dispatch:

permissions:
contents: read

jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 45
strategy:
fail-fast: false
matrix:
python-version: ['3.12', '3.14']
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
with:
persist-credentials: false
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
with:
python-version: ${{ matrix.python-version }}
- name: Quick verification (manifest, pins, #399+#402 controls, #404 word, re-pivot, fusion, re-synthesis, replay, banks, kappa)
run: bash research/e8-repivot-fusion/verify.sh --quick "$RUNNER_TEMP/e8p-quick"
- name: Full verification (adds every regeneration)
run: bash research/e8-repivot-fusion/verify.sh "$RUNNER_TEMP/e8p-full"
- name: Require an unchanged tree
run: git diff --exit-code
37 changes: 37 additions & 0 deletions .github/workflows/e8-response-resynth.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
name: e8-response-resynth

on:
pull_request:
paths:
- 'research/e8-response-resynth/**'
- '.github/workflows/e8-response-resynth.yml'
push:
paths:
- 'research/e8-response-resynth/**'
- '.github/workflows/e8-response-resynth.yml'
workflow_dispatch:

permissions:
contents: read

jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 45
strategy:
fail-fast: false
matrix:
python-version: ['3.12', '3.14']
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
with:
persist-credentials: false
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
with:
python-version: ${{ matrix.python-version }}
- name: Quick verification (manifest, pins, #399 control, #401 word, re-synthesis, replay, banks, kappa)
run: bash research/e8-response-resynth/verify.sh --quick "$RUNNER_TEMP/e8r-quick"
- name: Full verification (adds every regeneration)
run: bash research/e8-response-resynth/verify.sh "$RUNNER_TEMP/e8r-full"
- name: Require an unchanged tree
run: git diff --exit-code
2 changes: 1 addition & 1 deletion certificates/joint-dual-kappa.json
Original file line number Diff line number Diff line change
Expand Up @@ -842,7 +842,7 @@
"scripts/experiments/pin_joint_dual_sources.py": "4d31cc0e38b7902709ca5f8f714cba109760d2592346dd7f8dc0b900a2d9fe00",
"scripts/experiments/verify_joint_dual.py": "7a31bba1e9c0ded32ae285df2ca9bc91ef20c330f6789fdba361876f3c7a1985"
},
"source_manifest_sha256": "4f3c15b82a2d97335d4fe95fb8bcb96bd2a921087da289d9da16c68213a17f17",
"source_manifest_sha256": "698fe862a620e5b80b85fbc6034c9456fa0fa9aea638dbbbcb3f9edd24c0415e",
"sources": [
{
"files": {
Expand Down
2 changes: 1 addition & 1 deletion certificates/joint-dual-validation.json
Original file line number Diff line number Diff line change
Expand Up @@ -226,7 +226,7 @@
}
},
"bit_saving": "2382370177/50000000000000",
"certificate_sha256": "9801147b1502cf1e43d5fa39aa37f5291f03b48c30c4dd4f272e0877894a1c24",
"certificate_sha256": "6f684fa7f747073a132e8d0b5652cf12a8afa389f2a16ff6ade8e080d786dd22",
"kappa": "4764513337/100000000000000",
"margins": 7,
"producer_words_regenerated_and_matched": true,
Expand Down
1 change: 1 addition & 0 deletions research/e8-clean-padding/.gitattributes
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
data/pr390/* -text
Loading
Loading