Skip to content

Commit 4f19ced

Browse files
Mister-MeeseeksMister-Meeseeks
committed
Select conditional PR4470 frontier and migrate publication metadata
1 parent f626db5 commit 4f19ced

46 files changed

Lines changed: 3075 additions & 351 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎.github/workflows/frontier1094.yml‎

Lines changed: 1 addition & 141 deletions
Original file line numberDiff line numberDiff line change
@@ -1,147 +1,7 @@
11
name: Rare-pattern T16 composition
2+
# Historical checkpoint: available explicitly, not rerun for new selections.
23
on:
34
workflow_dispatch:
4-
push:
5-
branches: [main]
6-
paths:
7-
- scripts/verify_hpe_lean_binding.py
8-
- scripts/historical-ci-inputs/verify_hpe_lean_binding.py
9-
- research/hyperplane-end-lean/HyperplaneEnd/Exact.lean
10-
- 'research/complex-t16-rare-pattern-exchanges/**'
11-
- 'research/gauge44-leaver8/**'
12-
- 'research/gauge44-slots/**'
13-
- 'research/gauge44-slots-t16/**'
14-
- 'scripts/verify_frontier1094.py'
15-
- '.github/workflows/frontier1094.yml'
16-
# Selected-record inputs checked by scripts/check_selected_ci_inputs.py
17-
- 'research/complex-sw4-frame8/**'
18-
- 'research/e8-bit-p111-tuned/**'
19-
- 'research/e8-bit-carrier-skeleton/**'
20-
- 'research/direct-delivery504-global/**'
21-
- 'research/gauge44-frames-x/**'
22-
- 'research/complex-t21-owners/**'
23-
- 'research/complex-t21-owner-bound/**'
24-
- 'research/complex-t37-owners/**'
25-
- 'research/gauge44-leaver/**'
26-
- 'research/community-frontier1094-audit/**'
27-
- 'certificates/checkpoints/frontier1042.json'
28-
- 'certificates/replay-coverage/pr741-sw4-v1.json'
29-
- 'certificates/selected-result.json'
30-
- 'research/community-frontier1042-audit/**'
31-
- 'scripts/verify_frontier1042.py'
32-
- 'scripts/verify_frontier741.py'
33-
- 'scripts/verify_frontier741_bindings.py'
34-
- 'scripts/verify_frontier741_bridge_coverage.py'
35-
- 'scripts/verify_frontier799.py'
36-
- 'scripts/verify_frontier799_bindings.py'
37-
- 'scripts/verify_replay_coverage.py'
38-
- 'scripts/verify_selected_result.py'
39-
# Live-checkout files the replay hash-asserts through UPSTREAM-PINS / INPUTS main
40-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CANONICAL-WORD.json.gz'
41-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CLIFFORD-RECIPES.json'
42-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CLIFFORD-REVIEW.json'
43-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json'
44-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INDEPENDENT-REPLAY.json'
45-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INTEGRATION.json'
46-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/LOCAL-CHECKS.json'
47-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz'
48-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json'
49-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json'
50-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/WRAPPER-CHECKS.json'
51-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/work/complex-nine-native/DATA-PHASES.json'
52-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/controller-input/split-centres/CANONICAL-WORD.json.gz'
53-
- 'research/complex-k492-owner-repair/vendor/direct_delivery/inputs/hamming/PACKET-PROGRAMS.json.gz'
54-
- 'research/complex-k492-owner-repair/vendor/direct_delivery/inputs/hamming/PROTOTYPE.json'
55-
- 'research/complex-k492-owner-repair/vendor/joint_prefix/code/build_joint_prefix.py'
56-
- 'research/complex-k492-owner-repair/vendor/joint_prefix/data/JOINT-PREFIX.json'
57-
- 'research/complex-k492-owner-repair/vendor/multicold/code/build_cold_kernel.py'
58-
- 'research/complex-k492-owner-repair/vendor/multicold/code/run_portable.py'
59-
- 'research/complex-k492-owner-repair/vendor/multicold/data/EIGHT-COLD.json'
60-
- 'research/complex-k492-owner-repair/vendor/multicold/engines/base_two_moment.py'
61-
- 'research/complex-k492-owner-repair/vendor/multicold/engines/moment.py'
62-
- 'research/complex-k492-owner-repair/vendor/multicold/engines/outer.py'
63-
- 'research/complex-k492-owner-repair/vendor/multicold/inputs/PR543-EXPECTED.json'
64-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/code/phases_full.py'
65-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/code/prepare_supplier_base.py'
66-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/evidence/audit/PREFIX-AND-INVOICE.json'
67-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/vendor/clifford/clifford_exact.py'
68-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor535/inputs/ROUND20-PARENT-TEMPLATE.json.gz'
69-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/inputs/phase-baseline/CANONICAL-WORD.json.gz'
70-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/static44/gk/gk_common.py'
71-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/static44/gk/gk_word.py'
72-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/static44/inputs/RAW504.json.gz'
73-
- 'research/structural-gain/frontier-composition/global-replay/base/split-centres/FULL-WORD.json.gz'
74-
- 'research/structural-gain/frontier-composition/multicold-eight-word/FULL-WORD.json.gz'
75-
pull_request:
76-
paths:
77-
- scripts/verify_hpe_lean_binding.py
78-
- scripts/historical-ci-inputs/verify_hpe_lean_binding.py
79-
- research/hyperplane-end-lean/HyperplaneEnd/Exact.lean
80-
- 'research/complex-t16-rare-pattern-exchanges/**'
81-
- 'research/gauge44-leaver8/**'
82-
- 'research/gauge44-slots/**'
83-
- 'research/gauge44-slots-t16/**'
84-
- 'scripts/verify_frontier1094.py'
85-
- '.github/workflows/frontier1094.yml'
86-
# Selected-record inputs checked by scripts/check_selected_ci_inputs.py
87-
- 'research/complex-sw4-frame8/**'
88-
- 'research/e8-bit-p111-tuned/**'
89-
- 'research/e8-bit-carrier-skeleton/**'
90-
- 'research/direct-delivery504-global/**'
91-
- 'research/gauge44-frames-x/**'
92-
- 'research/complex-t21-owners/**'
93-
- 'research/complex-t21-owner-bound/**'
94-
- 'research/complex-t37-owners/**'
95-
- 'research/gauge44-leaver/**'
96-
- 'research/community-frontier1094-audit/**'
97-
- 'certificates/checkpoints/frontier1042.json'
98-
- 'certificates/replay-coverage/pr741-sw4-v1.json'
99-
- 'certificates/selected-result.json'
100-
- 'research/community-frontier1042-audit/**'
101-
- 'scripts/verify_frontier1042.py'
102-
- 'scripts/verify_frontier741.py'
103-
- 'scripts/verify_frontier741_bindings.py'
104-
- 'scripts/verify_frontier741_bridge_coverage.py'
105-
- 'scripts/verify_frontier799.py'
106-
- 'scripts/verify_frontier799_bindings.py'
107-
- 'scripts/verify_replay_coverage.py'
108-
- 'scripts/verify_selected_result.py'
109-
# Live-checkout files the replay hash-asserts through UPSTREAM-PINS / INPUTS main
110-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CANONICAL-WORD.json.gz'
111-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CLIFFORD-RECIPES.json'
112-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CLIFFORD-REVIEW.json'
113-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json'
114-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INDEPENDENT-REPLAY.json'
115-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INTEGRATION.json'
116-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/LOCAL-CHECKS.json'
117-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz'
118-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json'
119-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json'
120-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/WRAPPER-CHECKS.json'
121-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/work/complex-nine-native/DATA-PHASES.json'
122-
- 'research/community-k492-audit/pr622/replay/baseline558/complex-global/controller-input/split-centres/CANONICAL-WORD.json.gz'
123-
- 'research/complex-k492-owner-repair/vendor/direct_delivery/inputs/hamming/PACKET-PROGRAMS.json.gz'
124-
- 'research/complex-k492-owner-repair/vendor/direct_delivery/inputs/hamming/PROTOTYPE.json'
125-
- 'research/complex-k492-owner-repair/vendor/joint_prefix/code/build_joint_prefix.py'
126-
- 'research/complex-k492-owner-repair/vendor/joint_prefix/data/JOINT-PREFIX.json'
127-
- 'research/complex-k492-owner-repair/vendor/multicold/code/build_cold_kernel.py'
128-
- 'research/complex-k492-owner-repair/vendor/multicold/code/run_portable.py'
129-
- 'research/complex-k492-owner-repair/vendor/multicold/data/EIGHT-COLD.json'
130-
- 'research/complex-k492-owner-repair/vendor/multicold/engines/base_two_moment.py'
131-
- 'research/complex-k492-owner-repair/vendor/multicold/engines/moment.py'
132-
- 'research/complex-k492-owner-repair/vendor/multicold/engines/outer.py'
133-
- 'research/complex-k492-owner-repair/vendor/multicold/inputs/PR543-EXPECTED.json'
134-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/code/phases_full.py'
135-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/code/prepare_supplier_base.py'
136-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/evidence/audit/PREFIX-AND-INVOICE.json'
137-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/vendor/clifford/clifford_exact.py'
138-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor535/inputs/ROUND20-PARENT-TEMPLATE.json.gz'
139-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/inputs/phase-baseline/CANONICAL-WORD.json.gz'
140-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/static44/gk/gk_common.py'
141-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/static44/gk/gk_word.py'
142-
- 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/static44/inputs/RAW504.json.gz'
143-
- 'research/structural-gain/frontier-composition/global-replay/base/split-centres/FULL-WORD.json.gz'
144-
- 'research/structural-gain/frontier-composition/multicold-eight-word/FULL-WORD.json.gz'
1455
permissions:
1466
contents: read
1477
jobs:

‎.github/workflows/frontier4359.yml‎

Lines changed: 1 addition & 71 deletions
Original file line numberDiff line numberDiff line change
@@ -1,77 +1,7 @@
11
name: Productive-helper conditional construction
2+
# Historical checkpoint: available explicitly, not rerun for new selections.
23
on:
34
workflow_dispatch:
4-
push:
5-
branches: [main]
6-
paths:
7-
- "scripts/verify_hpe_lean_binding.py"
8-
- "scripts/historical-ci-inputs/verify_hpe_lean_binding.py"
9-
- "research/kappa-0023-productive-jobs/**"
10-
- "research/kappa-accounted-composition/**"
11-
- "research/kappa-causal-continuation/**"
12-
- "research/kappa-function-composition/**"
13-
- "research/kappa-global-routing/**"
14-
- "research/kappa-native-resume/**"
15-
- "research/kappa-observation-integration/**"
16-
- "research/kappa-rebuild/**"
17-
- "notes/batched-bit-rows.tex"
18-
- "notes/batched-complex-rows.tex"
19-
- "notes/compact-control-movement.tex"
20-
- "notes/general-clifford-frames.tex"
21-
- "notes/stopped-product-complex.tex"
22-
- "notes/three-stage-cover-bit.tex"
23-
- "notes/three-stage-cover-rows.tex"
24-
- "references/semantic-bulk/pr23/semantic-bulk-17-note.tex"
25-
- "research/e8-bit-carrier-skeleton/code/bit/export_records.py"
26-
- "research/e8-bit-carrier-skeleton/code/nine/geometry.py"
27-
- "research/e8-bit-p111-tuned/code/gen_p3.py"
28-
- "research/e8-bit-p111-tuned/code/xcheck_p.py"
29-
- "research/e8-bit-p111-tuned/tune/EXPECTED.json"
30-
- "research/e8-bit-p111-tuned/tune/apply.py"
31-
- "research/e8-bit-p111-tuned/tune/wlib.py"
32-
- "research/t74-native-fast/vendor/native/new/code/borrow/vendor/clifford/clifford_exact.py"
33-
- "scripts/verify_frontier4359.py"
34-
- "scripts/verify_selected_result.py"
35-
- "certificates/selected-result.json"
36-
- "certificates/frontier4359-source.json"
37-
- "docs/research/pr-intake-evidence/pr4359/PROOF-REVIEW.md"
38-
- "Makefile"
39-
- ".github/workflows/frontier4359.yml"
40-
pull_request:
41-
paths:
42-
- "scripts/verify_hpe_lean_binding.py"
43-
- "scripts/historical-ci-inputs/verify_hpe_lean_binding.py"
44-
- "research/kappa-0023-productive-jobs/**"
45-
- "research/kappa-accounted-composition/**"
46-
- "research/kappa-causal-continuation/**"
47-
- "research/kappa-function-composition/**"
48-
- "research/kappa-global-routing/**"
49-
- "research/kappa-native-resume/**"
50-
- "research/kappa-observation-integration/**"
51-
- "research/kappa-rebuild/**"
52-
- "notes/batched-bit-rows.tex"
53-
- "notes/batched-complex-rows.tex"
54-
- "notes/compact-control-movement.tex"
55-
- "notes/general-clifford-frames.tex"
56-
- "notes/stopped-product-complex.tex"
57-
- "notes/three-stage-cover-bit.tex"
58-
- "notes/three-stage-cover-rows.tex"
59-
- "references/semantic-bulk/pr23/semantic-bulk-17-note.tex"
60-
- "research/e8-bit-carrier-skeleton/code/bit/export_records.py"
61-
- "research/e8-bit-carrier-skeleton/code/nine/geometry.py"
62-
- "research/e8-bit-p111-tuned/code/gen_p3.py"
63-
- "research/e8-bit-p111-tuned/code/xcheck_p.py"
64-
- "research/e8-bit-p111-tuned/tune/EXPECTED.json"
65-
- "research/e8-bit-p111-tuned/tune/apply.py"
66-
- "research/e8-bit-p111-tuned/tune/wlib.py"
67-
- "research/t74-native-fast/vendor/native/new/code/borrow/vendor/clifford/clifford_exact.py"
68-
- "scripts/verify_frontier4359.py"
69-
- "scripts/verify_selected_result.py"
70-
- "certificates/selected-result.json"
71-
- "certificates/frontier4359-source.json"
72-
- "docs/research/pr-intake-evidence/pr4359/PROOF-REVIEW.md"
73-
- "Makefile"
74-
- ".github/workflows/frontier4359.yml"
755
permissions:
766
contents: read
777
concurrency:

‎.github/workflows/frontier4470.yml‎

Lines changed: 74 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,74 @@
1+
name: Joint-helper conditional construction
2+
on:
3+
workflow_dispatch:
4+
push:
5+
branches: [main]
6+
paths:
7+
- '.github/workflows/frontier4470.yml'
8+
- 'LICENSE'
9+
- 'certificates/checkpoints/frontier4359.json'
10+
- 'certificates/frontier4359-source.json'
11+
- 'certificates/frontier4470-source.json'
12+
- 'certificates/frontier4470/**'
13+
- 'certificates/frontier4470/CLAIM.json'
14+
- 'certificates/frontier4470/prior-task-catalog.json'
15+
- 'certificates/selected-result.json'
16+
- 'docs/research/pr-intake-evidence/pr4359/**'
17+
- 'docs/research/pr-intake-evidence/pr4416/**'
18+
- 'docs/research/pr-intake-evidence/pr4470/**'
19+
- 'notes/batched-bit-rows.tex'
20+
- 'notes/batched-complex-rows.tex'
21+
- 'notes/compact-control-movement.tex'
22+
- 'notes/general-clifford-frames.tex'
23+
- 'notes/stopped-product-complex.tex'
24+
- 'notes/three-stage-cover-bit.tex'
25+
- 'notes/three-stage-cover-rows.tex'
26+
- 'references/semantic-bulk/pr23/semantic-bulk-17-note.tex'
27+
- 'research/e8-bit-carrier-skeleton/**'
28+
- 'research/e8-bit-p111-tuned/**'
29+
- 'research/fresh-helper-boundary/**'
30+
- 'research/fresh-helper-thinned/**'
31+
- 'research/higher-moment-strictification/**'
32+
- 'research/joint-helper-lattice/**'
33+
- 'research/kappa-0023-productive-jobs/**'
34+
- 'research/kappa-accounted-composition/**'
35+
- 'research/kappa-causal-continuation/**'
36+
- 'research/kappa-function-composition/**'
37+
- 'research/kappa-global-routing/**'
38+
- 'research/kappa-native-resume/**'
39+
- 'research/kappa-observation-integration/**'
40+
- 'research/kappa-rebuild/**'
41+
- 'research/missing-join-frame/**'
42+
- 'research/pr4359-p7-padding/**'
43+
- 'research/pr4470-arithmetic-check/**'
44+
- 'research/pr4470-frame-audit/**'
45+
- 'research/query-thinned-controllers/**'
46+
- 'research/stage-zero-commutation-audit/**'
47+
- 'research/stage-zero-forced-translation/**'
48+
- 'research/t74-native-fast/**'
49+
- 'scripts/verify_frontier4470.py'
50+
- 'scripts/verify_selected_result.py'
51+
permissions:
52+
contents: read
53+
concurrency:
54+
group: selected-frontier4470-${{ github.ref }}
55+
cancel-in-progress: true
56+
jobs:
57+
replay:
58+
runs-on: ubuntu-latest
59+
timeout-minutes: 35
60+
steps:
61+
- uses: actions/checkout@v4
62+
- uses: actions/setup-python@v5
63+
with:
64+
python-version: '3.12'
65+
- run: python3 -B scripts/verify_frontier4470.py --work "$RUNNER_TEMP/frontier4470"
66+
- run: git diff --exit-code
67+
- uses: actions/upload-artifact@v4
68+
if: always()
69+
with:
70+
name: frontier4470-replay
71+
path: |
72+
${{ runner.temp }}/frontier4470/VALIDATION.json
73+
${{ runner.temp }}/frontier4470/source/review-evidence/*.log
74+
${{ runner.temp }}/frontier4470/source/review-evidence/*.json

0 commit comments

Comments
 (0)