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
  •  
  •  
  •  
14 changes: 14 additions & 0 deletions .gitattributes
Original file line number Diff line number Diff line change
Expand Up @@ -18,3 +18,17 @@ 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

# Frozen replicated E8 sources and witnesses preserve their committed bytes.
research/e8-r740-replica32/** -text
# Byte-identical PR442 proof packages, including original whitespace.
research/e8-early-reset-kernel/** -text -whitespace
research/e8-early-reset-reuse/** -text -whitespace
research/idle-axis-hosting/** -text -whitespace
research/split-centres-global/** -text -whitespace
# Preserve source pins and the literal evidence diff, including removed whitespace.
research/e8-target-mixing-whole/** -text
research/e8-target-mixing-whole-validation/FINAL-COSMETIC.diff -text -whitespace
# R715 source-pinned words and upstream discovery artifacts retain exact bytes.
research/e8-r715-whole-hosted/** -text
research/e8-r715-whole-hosted/upstream*/** -whitespace
42 changes: 42 additions & 0 deletions .github/workflows/complementary-fft-reservoirs.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
name: complementary-fft-reservoirs
on:
pull_request:
paths:
- 'research/complementary-fft-reservoirs/**'
- 'research/e8-r715-whole-hosted/EXPECTED.json'
- 'research/e8-r740-replica32/code/engines/outer.py'
- 'notes/compact-control-*.tex'
- 'upstream/build/sections/05-layers.tex'
- 'upstream/build/sections/06-transforms.tex'
- 'references/semantic-bulk/rad20/**'
- '.github/workflows/complementary-fft-reservoirs.yml'
push:
paths:
- 'research/complementary-fft-reservoirs/**'
- 'research/e8-r715-whole-hosted/EXPECTED.json'
- 'research/e8-r740-replica32/code/engines/outer.py'
- 'notes/compact-control-*.tex'
- 'upstream/build/sections/05-layers.tex'
- 'upstream/build/sections/06-transforms.tex'
- 'references/semantic-bulk/rad20/**'
- '.github/workflows/complementary-fft-reservoirs.yml'
workflow_dispatch:
permissions:
contents: read
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 10
strategy:
fail-fast: false
matrix:
python-version: ['3.11', '3.14']
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
with:
persist-credentials: false
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
with:
python-version: ${{ matrix.python-version }}
- run: python -B research/complementary-fft-reservoirs/verify.py "$RUNNER_TEMP/complementary-fft-controls"
- run: git diff --exit-code
60 changes: 60 additions & 0 deletions .github/workflows/e8-complex-adapted-kernel.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,60 @@
name: e8-complex-adapted-kernel
on:
pull_request:
paths:
- 'research/r740-idle-hosted-replicas/**'
- 'research/r740-hosted-eleven/**'
- 'research/r740-hosted-rank149/**'
- 'research/e8-target-mixing-whole/**'
- 'research/e8-complex-adapted-kernel/**'
- 'research/whole-hosted-format-ceiling/**'
- 'research/cross-family-residual-obstruction/**'
- 'research/split-centres-global/**'
- 'research/e8-early-reset-reuse/**'
- 'research/e8-early-reset-kernel/**'
- 'research/idle-axis-hosting/**'
- 'research/e8-r740-replica32/**'
- '.github/workflows/e8-complex-adapted-kernel.yml'
push:
paths:
- 'research/r740-idle-hosted-replicas/**'
- 'research/r740-hosted-eleven/**'
- 'research/r740-hosted-rank149/**'
- 'research/e8-target-mixing-whole/**'
- 'research/e8-complex-adapted-kernel/**'
- 'research/whole-hosted-format-ceiling/**'
- 'research/cross-family-residual-obstruction/**'
- 'research/split-centres-global/**'
- 'research/e8-early-reset-reuse/**'
- 'research/e8-early-reset-kernel/**'
- 'research/idle-axis-hosting/**'
- 'research/e8-r740-replica32/**'
- '.github/workflows/e8-complex-adapted-kernel.yml'
workflow_dispatch:
permissions:
contents: read
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 60
strategy:
fail-fast: false
matrix:
python-version: ['3.11', '3.14']
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
with:
persist-credentials: false
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
with:
python-version: ${{ matrix.python-version }}
- run: sudo apt-get update && sudo apt-get install -y libboost-dev
- run: python -m pip install -r research/e8-r740-replica32/parent436/requirements.txt
- name: Exact cross-family route obstruction
run: python -B research/cross-family-residual-obstruction/verify.py
- name: Exact scoped architecture ceiling
run: python -B research/whole-hosted-format-ceiling/verify.py
- name: Full parent, local phases and both eleven-stage suppliers
run: E8_REPLAY_PHASES=1 python -B research/e8-complex-adapted-kernel/verify.py "$RUNNER_TEMP/e8-complex-adapted-kernel-full"
- name: Require an unchanged tracked tree
run: git diff --exit-code
62 changes: 62 additions & 0 deletions .github/workflows/e8-r715-whole-hosted.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,62 @@
name: e8-r715-whole-hosted
on:
pull_request:
paths:
- 'research/e8-r715-whole-hosted/**'
- 'research/r740-idle-hosted-replicas/**'
- 'research/r740-hosted-eleven/**'
- 'research/r740-hosted-rank149/**'
- 'research/e8-target-mixing-whole/**'
- 'research/e8-complex-adapted-kernel/**'
- 'research/whole-hosted-format-ceiling/**'
- 'research/cross-family-residual-obstruction/**'
- 'research/split-centres-global/**'
- 'research/e8-early-reset-reuse/**'
- 'research/e8-early-reset-kernel/**'
- 'research/idle-axis-hosting/**'
- 'research/e8-r740-replica32/**'
- '.github/workflows/e8-r715-whole-hosted.yml'
push:
paths:
- 'research/e8-r715-whole-hosted/**'
- 'research/r740-idle-hosted-replicas/**'
- 'research/r740-hosted-eleven/**'
- 'research/r740-hosted-rank149/**'
- 'research/e8-target-mixing-whole/**'
- 'research/e8-complex-adapted-kernel/**'
- 'research/whole-hosted-format-ceiling/**'
- 'research/cross-family-residual-obstruction/**'
- 'research/split-centres-global/**'
- 'research/e8-early-reset-reuse/**'
- 'research/e8-early-reset-kernel/**'
- 'research/idle-axis-hosting/**'
- 'research/e8-r740-replica32/**'
- '.github/workflows/e8-r715-whole-hosted.yml'
workflow_dispatch:
permissions:
contents: read
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 60
strategy:
fail-fast: false
matrix:
python-version: ['3.11', '3.14']
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
with:
persist-credentials: false
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
with:
python-version: ${{ matrix.python-version }}
- run: sudo apt-get update && sudo apt-get install -y libboost-dev
- run: python -m pip install -r research/e8-r740-replica32/parent436/requirements.txt
- name: Exact cross-family route obstruction
run: python -B research/cross-family-residual-obstruction/verify.py
- name: Exact scoped architecture ceiling
run: python -B research/whole-hosted-format-ceiling/verify.py
- name: Full paid-complex parent and R715 whole-hosted composition
run: E8_REPLAY_PHASES=1 python -B research/e8-r715-whole-hosted/verify.py "$RUNNER_TEMP/e8-r715-whole-hosted-full"
- name: Require an unchanged tracked tree
run: git diff --exit-code
34 changes: 34 additions & 0 deletions .github/workflows/e8-r740-replica32.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
name: e8-r740-replica32
on:
pull_request:
paths:
- 'research/e8-r740-replica32/**'
- '.github/workflows/e8-r740-replica32.yml'
push:
paths:
- 'research/e8-r740-replica32/**'
- '.github/workflows/e8-r740-replica32.yml'
workflow_dispatch:
permissions:
contents: read
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 60
strategy:
fail-fast: false
matrix:
python-version: ['3.11', '3.14']
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
with:
persist-credentials: false
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
with:
python-version: ${{ matrix.python-version }}
- run: sudo apt-get update && sudo apt-get install -y libboost-dev
- run: python -m pip install -r research/e8-r740-replica32/parent436/requirements.txt
- name: Full parent reconstruction and kernel verification
run: bash research/e8-r740-replica32/verify.sh "$RUNNER_TEMP/e8-r740-replica32-full"
- name: Require an unchanged tracked tree
run: git diff --exit-code
54 changes: 54 additions & 0 deletions .github/workflows/e8-target-mixing-whole.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,54 @@
name: e8-target-mixing-whole
on:
pull_request:
paths:
- 'research/r740-idle-hosted-replicas/**'
- 'research/r740-hosted-eleven/**'
- 'research/r740-hosted-rank149/**'
- 'research/e8-target-mixing-whole/**'
- 'research/cross-family-residual-obstruction/**'
- 'research/split-centres-global/**'
- 'research/e8-early-reset-reuse/**'
- 'research/e8-early-reset-kernel/**'
- 'research/idle-axis-hosting/**'
- 'research/e8-r740-replica32/**'
- '.github/workflows/e8-target-mixing-whole.yml'
push:
paths:
- 'research/r740-idle-hosted-replicas/**'
- 'research/r740-hosted-eleven/**'
- 'research/r740-hosted-rank149/**'
- 'research/e8-target-mixing-whole/**'
- 'research/cross-family-residual-obstruction/**'
- 'research/split-centres-global/**'
- 'research/e8-early-reset-reuse/**'
- 'research/e8-early-reset-kernel/**'
- 'research/idle-axis-hosting/**'
- 'research/e8-r740-replica32/**'
- '.github/workflows/e8-target-mixing-whole.yml'
workflow_dispatch:
permissions:
contents: read
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 60
strategy:
fail-fast: false
matrix:
python-version: ['3.11', '3.14']
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
with:
persist-credentials: false
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
with:
python-version: ${{ matrix.python-version }}
- run: sudo apt-get update && sudo apt-get install -y libboost-dev
- run: python -m pip install -r research/e8-r740-replica32/parent436/requirements.txt
- name: Exact cross-family route obstruction
run: python -B research/cross-family-residual-obstruction/verify.py
- name: Full parent, local phases and both eleven-stage suppliers
run: E8_REPLAY_PHASES=1 python -B research/e8-target-mixing-whole/verify.py "$RUNNER_TEMP/e8-target-mixing-whole-full"
- name: Require an unchanged tracked tree
run: git diff --exit-code
46 changes: 46 additions & 0 deletions .github/workflows/r740-hosted-eleven.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@
name: r740-hosted-eleven
on:
pull_request:
paths:
- 'research/r740-idle-hosted-replicas/**'
- 'research/r740-hosted-eleven/**'
- 'research/split-centres-global/**'
- 'research/e8-early-reset-reuse/**'
- 'research/e8-early-reset-kernel/**'
- 'research/idle-axis-hosting/**'
- 'research/e8-r740-replica32/**'
- '.github/workflows/r740-hosted-eleven.yml'
push:
paths:
- 'research/r740-idle-hosted-replicas/**'
- 'research/r740-hosted-eleven/**'
- 'research/split-centres-global/**'
- 'research/e8-early-reset-reuse/**'
- 'research/e8-early-reset-kernel/**'
- 'research/idle-axis-hosting/**'
- 'research/e8-r740-replica32/**'
- '.github/workflows/r740-hosted-eleven.yml'
workflow_dispatch:
permissions:
contents: read
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 60
strategy:
fail-fast: false
matrix:
python-version: ['3.11', '3.14']
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
with:
persist-credentials: false
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
with:
python-version: ${{ matrix.python-version }}
- run: sudo apt-get update && sudo apt-get install -y libboost-dev
- run: python -m pip install -r research/e8-r740-replica32/parent436/requirements.txt
- name: Full parent reconstruction and hosted verification
run: python -B research/r740-hosted-eleven/verify.py "$RUNNER_TEMP/r740-hosted-eleven-full"
- name: Require an unchanged tracked tree
run: git diff --exit-code
52 changes: 52 additions & 0 deletions .github/workflows/r740-hosted-rank149.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,52 @@
name: r740-hosted-rank149
on:
pull_request:
paths:
- 'research/r740-idle-hosted-replicas/**'
- 'research/r740-hosted-eleven/**'
- 'research/r740-hosted-rank149/**'
- 'research/cross-family-residual-obstruction/**'
- 'research/split-centres-global/**'
- 'research/e8-early-reset-reuse/**'
- 'research/e8-early-reset-kernel/**'
- 'research/idle-axis-hosting/**'
- 'research/e8-r740-replica32/**'
- '.github/workflows/r740-hosted-rank149.yml'
push:
paths:
- 'research/r740-idle-hosted-replicas/**'
- 'research/r740-hosted-eleven/**'
- 'research/r740-hosted-rank149/**'
- 'research/cross-family-residual-obstruction/**'
- 'research/split-centres-global/**'
- 'research/e8-early-reset-reuse/**'
- 'research/e8-early-reset-kernel/**'
- 'research/idle-axis-hosting/**'
- 'research/e8-r740-replica32/**'
- '.github/workflows/r740-hosted-rank149.yml'
workflow_dispatch:
permissions:
contents: read
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 60
strategy:
fail-fast: false
matrix:
python-version: ['3.11', '3.14']
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
with:
persist-credentials: false
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
with:
python-version: ${{ matrix.python-version }}
- run: sudo apt-get update && sudo apt-get install -y libboost-dev
- run: python -m pip install -r research/e8-r740-replica32/parent436/requirements.txt
- name: Exact cross-family route obstruction
run: python -B research/cross-family-residual-obstruction/verify.py
- name: Full parent, local phases and both eleven-stage suppliers
run: E8_REPLAY_PHASES=1 python -B research/r740-hosted-rank149/verify.py "$RUNNER_TEMP/r740-hosted-rank149-full"
- name: Require an unchanged tracked tree
run: git diff --exit-code
Loading
Loading