Skip to content

docs(readme): mark links into archived trial, sandbox and google-drive as (archived) #31

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

Merged
d6g8k5htny-coder merged 1 commit into from
Oct 15, 2026
Merged

docs(readme): mark links into archived trial, sandbox and google-drive as (archived) #31

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
10 changes: 5 additions & 5 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,11 +24,11 @@
| [**Math-**](https://github.com/d6g8k5htny-coder/Math-) | Full proof texts, exact-arithmetic programs, their tests and recorded outputs | [PROOF_INDEX.md](https://github.com/d6g8k5htny-coder/Math-/blob/main/PROOF_INDEX.md) |
| **meta-framework** (this repository) | Exact source identities for curated public artifacts; repository roles | [registry.json](registry.json) |
| [**query-**](https://github.com/d6g8k5htny-coder/query-) | Standard-library, read-only lookup and local byte verification against this catalog | [README](https://github.com/d6g8k5htny-coder/query-#readme) |
| [**google-drive**](https://github.com/d6g8k5htny-coder/google-drive) | Deliberately selected public replicas of Drive outputs, each with a `SOURCE.json` custody record | [replicas/](https://github.com/d6g8k5htny-coder/google-drive/tree/main/replicas) |
| [**google-drive**](https://github.com/d6g8k5htny-coder/google-drive) (archived) | Deliberately selected public replicas of Drive outputs, each with a `SOURCE.json` custody record | [replicas/](https://github.com/d6g8k5htny-coder/google-drive/tree/main/replicas) (archived) |
| [**Universal-Law-Workspace**](https://github.com/d6g8k5htny-coder/Universal-Law-Workspace) | Federation map; every repository pinned as a submodule at a recorded commit; structural checks | [README](https://github.com/d6g8k5htny-coder/Universal-Law-Workspace#readme) |
| [**governance-**](https://github.com/d6g8k5htny-coder/governance-) | The cross-repository working contract and measured process amendments | [README](https://github.com/d6g8k5htny-coder/governance-#readme) |
| [**trial**](https://github.com/d6g8k5htny-coder/trial) | Engineering integration tests, portable patches, multi-agent access notes | [README](https://github.com/d6g8k5htny-coder/trial#readme) |
| [**sandbox**](https://github.com/d6g8k5htny-coder/sandbox) | Exploratory and adversarial experiments, visible so that failed probes are on record too. Not a source of published results: nothing from it is cataloged, fetched or verified here | [README](https://github.com/d6g8k5htny-coder/sandbox#readme) |
| [**trial**](https://github.com/d6g8k5htny-coder/trial) (archived) | Engineering integration tests, portable patches, multi-agent access notes | [README](https://github.com/d6g8k5htny-coder/trial#readme) (archived) |
| [**sandbox**](https://github.com/d6g8k5htny-coder/sandbox) (archived) | Exploratory and adversarial experiments, visible so that failed probes are on record too. Not a source of published results: nothing from it is cataloged, fetched or verified here | [README](https://github.com/d6g8k5htny-coder/sandbox#readme) (archived) |

The site at [d6g8k5htny-coder.github.io/main/site](https://d6g8k5htny-coder.github.io/main/site/) renders the status board, a pinned coefficient viewer and the searchable source inventory; its [museum](https://d6g8k5htny-coder.github.io/main/site/museum.html) shows claim cards with quoted scope and source identities.

Expand Down Expand Up @@ -92,7 +92,7 @@ Every proof text states its own scope, the exact parent it depends on, and what
| Cross-model lanes | `cross-model-lanes` |
| Review-notes index | `review-notes-index` … `-v92` |

The catalog contains 592 public artifacts (CI upper bound 600), including code, tests, outputs, the full-price replay runner, the fixed-remote RN sources, the merged downstream hard-gate package (PR13 + PR15 identities), SHA-matched public Drive replicas (SIDE24 enclosure, marked-cylinder, matrix-cap/lifetime, consecutive-palette, P15-B), merged Math- D5 Hermite/axial-density identities, merged Math- PR70 hardening-custody MANIFEST/verify/readme, merged Math- PR83 STAGE_E falsifier recovery MANIFEST/verify/readme, merged Math- PR84 H5 ledger recovery MANIFEST/verify/readme, merged Math- PR86 H5 rim contract repair package, merged Math- PR82 D5 nested microdisk NOTE+QUARTIC, merged Math- PR89 BF six-pin scalar+hessian certificates, merged Math- PR92 source-bound Lean formal lane, merged Math- PR94 transverse-contact import, merged Math- PR95 collision companions, merged Math- PR80 contact-kernel reconstruction, merged Math- PR81 drive-hole ledger, merged Math- PR88 PUBLIC_READING_MAP, merged Math- PR53 pin-neighborhood recon, merged Math- PR87 cycle-4 Harper packet, merged Math- PR96 required formal gates, note-only main PR189 OP-PRIVACY allow, note-only main PR188 required formal, note-only main PR187 queue recon §7, note-only main PR186 Dropbox import, note-only main PR185 OP-PRIVACY, note-only main PR184 Dropbox reconcile, note-only main PR183 formal CI fail-closed, note-only main PR181 formal converge, note-only main PR182 library publication, note-only main PR180 release custody, note-only main PR179 queue recon §6, note-only main PR178 Layer 1 formal SIDE24 pilot, note-only main PR177 formal guidance/museum, note-only main PR176 exact-version recovery, note-only main PR175 embedded q0 recovery, note-only main PR174 queue reconciliation, note-only main PR173 source census, note-only main PR171 H3-RUNG-FLOOR gate, note-only main PR170 Grok Part1, note-only main PR169 H3 interval claims_check, note-only main PR168 R2/autonomy, note-only main PR134 claims firewall, note-only main PR148 operator-directive, note-only main PR136 noncertifying/float-labelling, note-only main PR140 pinned-sources index, note-only main PR166 museum conditionals, note-only main PR161 LB-RATE HOLD landing, note-only main PR159 drive-lane-map, note-only main PR163 grok-session replay ledger, note-only main PR135 interval prose/test hardening, merged Math- PR76 downstream-gate workflow display name, merged governance- two-key review topology, and nonauthor review/replay routing notes. All earlier identities remain unchanged. Campaign dispatch [#61](https://github.com/d6g8k5htny-coder/main/issues/61) is closed (`completed`, 2026-09-25); downstream [#86](https://github.com/d6g8k5htny-coder/main/issues/86) is closed (`not_planned`, 2026-09-27). Current agent actions start with [main's agent entry](https://github.com/d6g8k5htny-coder/main/blob/main/AGENTS.md) and [current workflow](https://github.com/d6g8k5htny-coder/main/blob/main/governance/OP-WORKFLOW-20260930.md), coordinate on [main #307](https://github.com/d6g8k5htny-coder/main/issues/307), and follow the relevant task-local issue or PR's current scope and claim; [main #275](https://github.com/d6g8k5htny-coder/main/issues/275) holds the closure-evidence decision and its bounded-task discussion. The cataloged `multi-agent-dispatch-20260925-v91` remains a source record. The full-range theorem removes the probability ceiling but retains demand>=2 and the realized-family hypotheses; [review issue #74](https://github.com/d6g8k5htny-coder/main/issues/74) is closed (`completed`, 2026-09-26). The demand-one counterexample is not retracted. Math- PR7/PR9 mesoscopic work is coordinated via notes only until merge; not cataloged as finished sources. The hard-gate package is engineering integrity control (`lemma_closed` stays false), not analytic acceptance. `#90` is CLOSED at engineering-gate scope only (PR98 merge `ebedb780`; `promotion_permission:false`); not theorem acceptance. Catalog includes Math- PR63 P15 full-price nonauthor ACCEPT. [trial PR138](https://github.com/d6g8k5htny-coder/trial/pull/138) is closed without merge (2026-09-27); its review remains bound to main PR98 at `cc6a578b`.
The catalog contains 592 public artifacts (CI upper bound 600), including code, tests, outputs, the full-price replay runner, the fixed-remote RN sources, the merged downstream hard-gate package (PR13 + PR15 identities), SHA-matched public Drive replicas (SIDE24 enclosure, marked-cylinder, matrix-cap/lifetime, consecutive-palette, P15-B), merged Math- D5 Hermite/axial-density identities, merged Math- PR70 hardening-custody MANIFEST/verify/readme, merged Math- PR83 STAGE_E falsifier recovery MANIFEST/verify/readme, merged Math- PR84 H5 ledger recovery MANIFEST/verify/readme, merged Math- PR86 H5 rim contract repair package, merged Math- PR82 D5 nested microdisk NOTE+QUARTIC, merged Math- PR89 BF six-pin scalar+hessian certificates, merged Math- PR92 source-bound Lean formal lane, merged Math- PR94 transverse-contact import, merged Math- PR95 collision companions, merged Math- PR80 contact-kernel reconstruction, merged Math- PR81 drive-hole ledger, merged Math- PR88 PUBLIC_READING_MAP, merged Math- PR53 pin-neighborhood recon, merged Math- PR87 cycle-4 Harper packet, merged Math- PR96 required formal gates, note-only main PR189 OP-PRIVACY allow, note-only main PR188 required formal, note-only main PR187 queue recon §7, note-only main PR186 Dropbox import, note-only main PR185 OP-PRIVACY, note-only main PR184 Dropbox reconcile, note-only main PR183 formal CI fail-closed, note-only main PR181 formal converge, note-only main PR182 library publication, note-only main PR180 release custody, note-only main PR179 queue recon §6, note-only main PR178 Layer 1 formal SIDE24 pilot, note-only main PR177 formal guidance/museum, note-only main PR176 exact-version recovery, note-only main PR175 embedded q0 recovery, note-only main PR174 queue reconciliation, note-only main PR173 source census, note-only main PR171 H3-RUNG-FLOOR gate, note-only main PR170 Grok Part1, note-only main PR169 H3 interval claims_check, note-only main PR168 R2/autonomy, note-only main PR134 claims firewall, note-only main PR148 operator-directive, note-only main PR136 noncertifying/float-labelling, note-only main PR140 pinned-sources index, note-only main PR166 museum conditionals, note-only main PR161 LB-RATE HOLD landing, note-only main PR159 drive-lane-map, note-only main PR163 grok-session replay ledger, note-only main PR135 interval prose/test hardening, merged Math- PR76 downstream-gate workflow display name, merged governance- two-key review topology, and nonauthor review/replay routing notes. All earlier identities remain unchanged. Campaign dispatch [#61](https://github.com/d6g8k5htny-coder/main/issues/61) is closed (`completed`, 2026-09-25); downstream [#86](https://github.com/d6g8k5htny-coder/main/issues/86) is closed (`not_planned`, 2026-09-27). Current agent actions start with [main's agent entry](https://github.com/d6g8k5htny-coder/main/blob/main/AGENTS.md) and [current workflow](https://github.com/d6g8k5htny-coder/main/blob/main/governance/OP-WORKFLOW-20260930.md), coordinate on [main #307](https://github.com/d6g8k5htny-coder/main/issues/307), and follow the relevant task-local issue or PR's current scope and claim; [main #275](https://github.com/d6g8k5htny-coder/main/issues/275) holds the closure-evidence decision and its bounded-task discussion. The cataloged `multi-agent-dispatch-20260925-v91` remains a source record. The full-range theorem removes the probability ceiling but retains demand>=2 and the realized-family hypotheses; [review issue #74](https://github.com/d6g8k5htny-coder/main/issues/74) is closed (`completed`, 2026-09-26). The demand-one counterexample is not retracted. Math- PR7/PR9 mesoscopic work is coordinated via notes only until merge; not cataloged as finished sources. The hard-gate package is engineering integrity control (`lemma_closed` stays false), not analytic acceptance. `#90` is CLOSED at engineering-gate scope only (PR98 merge `ebedb780`; `promotion_permission:false`); not theorem acceptance. Catalog includes Math- PR63 P15 full-price nonauthor ACCEPT. [trial PR138](https://github.com/d6g8k5htny-coder/trial/pull/138) (archived) is closed without merge (2026-09-27); its review remains bound to main PR98 at `cc6a578b`.

With sibling checkouts:

Expand Down Expand Up @@ -150,7 +150,7 @@ Top-level fields: `schema_version`, `scientific_status_authority: false`, `campa

## How the catalog is checked

The [`catalog.yml`](.github/workflows/catalog.yml) workflow runs on pull requests and on pushes to `main` when changes touch `registry.json`, `.github/workflows/catalog.yml` or `catalog_tests/**`; it also supports manual dispatch. It fetches each declared artifact from `raw.githubusercontent.com` at its recorded commit, rejects any byte-length or SHA-256 mismatch, runs the pinned `query-` lookup tool and the pinned cross-repository federation tests from [`trial`](https://github.com/d6g8k5htny-coder/trial) in both normal and optimized Python modes, and uploads the evidence — including on failure — as a workflow artifact. Only six public repositories can be sources: `Math-`, `meta-framework`, `query-`, `google-drive`, `trial` and `governance-`; the job refuses anything else. A green run certifies declared public payload identity and lookup behavior, not scientific acceptance.
The [`catalog.yml`](.github/workflows/catalog.yml) workflow runs on pull requests and on pushes to `main` when changes touch `registry.json`, `.github/workflows/catalog.yml` or `catalog_tests/**`; it also supports manual dispatch. It fetches each declared artifact from `raw.githubusercontent.com` at its recorded commit, rejects any byte-length or SHA-256 mismatch, runs the pinned `query-` lookup tool and the pinned cross-repository federation tests from [`trial`](https://github.com/d6g8k5htny-coder/trial) (archived) in both normal and optimized Python modes, and uploads the evidence — including on failure — as a workflow artifact. Only six public repositories can be sources: `Math-`, `meta-framework`, `query-`, `google-drive`, `trial` and `governance-`; the job refuses anything else. A green run certifies declared public payload identity and lookup behavior, not scientific acceptance.

## Add useful entries

Expand Down