Skip to content
Merged
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
2 changes: 1 addition & 1 deletion audits/final_quantitative_review.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

> **Dated review.** The later [calibration erratum](calibration_scale_erratum.md) corrects a small-scale implementation exception without changing the theorem. Claims below about unchanged sources and fingerprints refer to the reviewed version; use [current reproduction](../docs/REPRODUCIBILITY.md) for today's code.

26 September 2026. Reviewed head: `6d460bef7041f17cba1658c99d6797ef4b00275c` (PR28). Integration base: `98d4fe9fdab36d0b10176e0105b1283889c9b227`. This is a falsification-oriented reconstruction by the research assistant, not independent human review or proof-assistant verification. Manuscript drafting remains on hold.
26 September 2026. Reviewed head: `6d460bef7041f17cba1658c99d6797ef4b00275c` (PR28). Integration base: `98d4fe9fdab36d0b10176e0105b1283889c9b227`. This is a falsification-oriented reconstruction by the research assistant, not independent human review or proof-assistant verification.

## 1. Verdict

Expand Down
2 changes: 1 addition & 1 deletion audits/hopf_style_integration.md
Original file line number Diff line number Diff line change
Expand Up @@ -25,4 +25,4 @@ Local checks recovered the original eight pages with their prior fingerprints an

Network git checkout was unavailable locally. Full tracked-file preservation, current link targets, the unchanged 63/74/23 exact scientific reports in normal/-O/-OO, and strict-versus-bounded historical replay are therefore verified by the actual GitHub workflow. Its results must be read from the PR job logs; an aggregate green status is not a strict-byte-replay claim. Neither saved output nor replay tolerance is changed.

No new scientific assertion, manuscript, release, or unrelated pending branch is included. Manuscript drafting remains on hold.
No new scientific assertion, manuscript, release, or unrelated pending branch is included.
2 changes: 1 addition & 1 deletion audits/physics_teaching_integration.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,4 +24,4 @@ The workflow separately runs unchanged strict historical replay and unchanged bo

Local work used connector-read sources and hash-verified reconstructions of the three modified baseline files. Network checkout was unavailable in the local container. Local syntax/arithmetic and documentation checks must therefore not be described as a complete local repository replay; the full baseline/candidate comparison runs in GitHub Actions. The PR records its actual job results after execution.

This is teaching and reader maintenance, not new research, a fresh scientific audit, manuscript drafting, a release, or a claim of independent expert review. Manuscript writing remains on hold.
This is teaching and reader maintenance, not new research, a fresh scientific audit, manuscript drafting, a release, or a claim of independent expert review.
2 changes: 1 addition & 1 deletion audits/release_preparation.md
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,7 @@ manifest; legacy rendering limitations remain documented in the archive index.

These are implementation, preservation, and release-readiness checks, not a new
scientific campaign, independent human review, complete audit of the research
backlog, or proof-assistant verification. Manuscript writing remains on hold.
backlog, or proof-assistant verification.

## Integration regression caught before merge

Expand Down
16 changes: 13 additions & 3 deletions checks/release_integrity.py
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,8 @@
"""Current file integrity with a separate, immutable pre-release baseline.

The manifest declares an intentional delta; it is not a cryptographic proof
of the mathematical results. Historical manifests are never rewritten here.
of the mathematical results. Historical scientific fingerprints stay unchanged;
an exact, pinned documentation-only manifest correction is permitted below.
"""
from __future__ import annotations
import argparse
Expand All @@ -17,6 +18,13 @@
BASE = 'ecd0623e9de41b49754b6ca16dc23752443143af'
BASE_TREE = '20c5252c0bd5e83d6a908ee226e5799e947280fc'
PROOFS = ('research/uniform_extraction_core.md', 'research/sharpness_and_calibration.md')
# Only this exact scope-prose edit is allowed in otherwise protected metadata.
PROSE_ONLY_DELTAS = {
'results/final_core_integration.json': (
'4f94eb48f23c07e0905c6f8940b5eb6f0cdae4866c7ae96006b8b96bb4af30cb',
'6a1f4247a7663ef16ede4a479df7e4ef610f280da6bff592b7fbf3e3463cce96',
),
}


def require(ok: bool, message: str) -> None:
Expand Down Expand Up @@ -62,8 +70,10 @@ def verify_files(root: Path = ROOT, baseline: Path | None = None) -> dict:
names = [e['path'] for e in entries]
require(len(names) == len(set(names)) and MANIFEST not in names,
'Duplicate or self-referential release manifest')
require(not any(protected(e['path']) for e in m['modified']),
'Protected historical source or evidence declared modified')
for e in m['modified']:
require(not protected(e['path']) or
(e.get('previous_sha256'), e['sha256']) == PROSE_ONLY_DELTAS.get(e['path']),
'Protected historical source or evidence declared modified')
for e in entries:
raw = safe(root, e['path']).read_bytes()
require(len(raw) == e['bytes'] and sha(raw) == e['sha256'],
Expand Down
2 changes: 1 addition & 1 deletion docs/BOUNDED_CORE_STATUS.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@

# Bounded research core: status and remaining integration work

26 September 2026. Manuscript writing remains on hold. This is a status map, not manuscript prose. Private submission planning is not included.
26 September 2026. This is a status map, not manuscript prose. Private submission planning is not included.

## What the chosen contribution now contains

Expand Down
2 changes: 1 addition & 1 deletion results/final_core_integration.json
Original file line number Diff line number Diff line change
Expand Up @@ -78,5 +78,5 @@
"sha256": "2b863f6f9edbc17abed7eaf4bb6bc832cf0f356d44280467a5fcc51ac6b495e2"
}
],
"scope": "Seven declared reader/status/verification metadata changes; six additions including this self-excluded manifest. Every other baseline file is preserved byte-for-byte. No old scientific output, proof, checker, license or archive changes. Manuscript remains on hold."
"scope": "Seven declared reader/status/verification metadata changes; six additions including this self-excluded manifest. Every other baseline file is preserved byte-for-byte. No old scientific output, proof, checker, license or archive changes."
}
124 changes: 94 additions & 30 deletions results/release_preparation.json
Original file line number Diff line number Diff line change
Expand Up @@ -35,10 +35,22 @@
},
{
"path": "audits/final_quantitative_review.md",
"bytes": 10064,
"sha256": "7b35653147032837fabfa6b8ad3c0fa6043bc53c82f27f2d7d9af56cff32f4b0",
"bytes": 10027,
"sha256": "f0f4de13e14bc10caf271584cc5543acb4e3adb38ae2aa42733c49ddb293f60b",
"previous_sha256": "3a1810f167c9646d49726bf036a6af589d6d8bebcd228c2be63c9b7fed19a408"
},
{
"path": "audits/hopf_style_integration.md",
"bytes": 3989,
"sha256": "776b0a5372d81fe61cfc6ec7ca75109fa59e01eb33b28ec277ffeb26e0de7ee1",
"previous_sha256": "f8534d589a8e11ac708de7dd0ad980da6bc211a672f0cfa49125f04c0c3ecde0"
},
{
"path": "audits/physics_teaching_integration.md",
"bytes": 4048,
"sha256": "6ae1aa3516426b2f2a30f56ca5903096d4792485a318a0fd3dd2327d2882750c",
"previous_sha256": "bdf8b83b4d970dcfab7fb4b50cfd150fc11d94fd3f498bfca2527207f6da601b"
},
{
"path": "checks/audit_quantitative_core.py",
"bytes": 9949,
Expand All @@ -59,8 +71,8 @@
},
{
"path": "docs/BOUNDED_CORE_STATUS.md",
"bytes": 5873,
"sha256": "697788ff568f6234d33d7f3c7c0ae4b72d266c488f5becceb1371874df385143",
"bytes": 5837,
"sha256": "f9805745431902f7d5122e2cf75a371f04a68b3a72ced00d4111b51ff0feb695",
"previous_sha256": "dc450a28853e99a909660b400783cc6d1886491249644a64fbcc77d38b273340"
},
{
Expand Down Expand Up @@ -111,11 +123,23 @@
"sha256": "c9164c5f2bbb3e3a7a46911064d35323be161c23b1b1e6f65090f02af3ee918f",
"previous_sha256": "2bf8232fa14ecdd28a108d5e911ee500cf4f1498df3a1c5517ae6b895a22be6c"
},
{
"path": "results/final_core_integration.json",
"bytes": 3183,
"sha256": "6a1f4247a7663ef16ede4a479df7e4ef610f280da6bff592b7fbf3e3463cce96",
"previous_sha256": "4f94eb48f23c07e0905c6f8940b5eb6f0cdae4866c7ae96006b8b96bb4af30cb"
},
{
"path": "snapshot_manifest.json",
"bytes": 10216,
"sha256": "79655b7b39b7389309e8b86798875aa9c5cf6f6aceba7fe28b85b40bfccc03b9",
"sha256": "6ba16c5d42ed6cd53dbe28922e4c1aeb4a3bc22212f30a54a7318bdf0ff85a36",
"previous_sha256": "3e798b9d48a94406348f65e65acc9673d17cab380849631244be6002c240134d"
},
{
"path": "work_orders/CURRENT.md",
"bytes": 2072,
"sha256": "e09b9f6abfac0793f10e2eaa4048ed4a5ceeeed84a1d2cd01d5a3210db862c2c",
"previous_sha256": "36f01aabd62c23e4ee157da5cd95bfe01f1f55a62eac55ff08847035ef688f26"
}
],
"added": [
Expand All @@ -141,13 +165,13 @@
},
{
"path": "audits/release_preparation.md",
"bytes": 4374,
"sha256": "55eb0a9635ca844432625e9907d8f6e370d7610a26f71d2cae7d4531d94a0220"
"bytes": 4338,
"sha256": "8c002e9d0b4a72b4d858c3214f10b0013a2934a783af93f0b343c1572d631373"
},
{
"path": "checks/release_integrity.py",
"bytes": 5168,
"sha256": "6ef07ba7e6efe709c101ab2637e5da373a5fb939d49e02bfd29f2320f89708b1"
"bytes": 5658,
"sha256": "2fd315d8b4b141a03007dedb64d48d5fa56f793718ed61d041bc568e89051281"
},
{
"path": "checks/scale_safe_roots.py",
Expand Down Expand Up @@ -241,11 +265,6 @@
"bytes": 2261,
"sha256": "e10b268c0668b9dec24dec715f6462fda7cf2d6df04fbc3694def4dcb886fd66"
},
{
"path": "audits/hopf_style_integration.md",
"bytes": 4026,
"sha256": "f8534d589a8e11ac708de7dd0ad980da6bc211a672f0cfa49125f04c0c3ecde0"
},
{
"path": "audits/integration_20260925.md",
"bytes": 4941,
Expand All @@ -261,11 +280,6 @@
"bytes": 1897,
"sha256": "f0144624a15ca5beb602a173184b8a1f9f2d84616fb24f5e49b4dd44a8854667"
},
{
"path": "audits/physics_teaching_integration.md",
"bytes": 4084,
"sha256": "bdf8b83b4d970dcfab7fb4b50cfd150fc11d94fd3f498bfca2527207f6da601b"
},
{
"path": "audits/priority_matrix.md",
"bytes": 5616,
Expand Down Expand Up @@ -546,11 +560,6 @@
"bytes": 249,
"sha256": "a2bca27d98f91806f527103ca01f11699cf3e1b78b92050a24ae56f690ccf156"
},
{
"path": "results/final_core_integration.json",
"bytes": 3211,
"sha256": "4f94eb48f23c07e0905c6f8940b5eb6f0cdae4866c7ae96006b8b96bb4af30cb"
},
{
"path": "results/hopf_style_changes.json",
"bytes": 3620,
Expand Down Expand Up @@ -651,11 +660,6 @@
"bytes": 6660,
"sha256": "db5adc341da7c3382b7ba208b287324b20627bc1f5fa9d5b54a4d81ddccd1ce8"
},
{
"path": "work_orders/CURRENT.md",
"bytes": 2143,
"sha256": "36f01aabd62c23e4ee157da5cd95bfe01f1f55a62eac55ff08847035ef688f26"
},
{
"path": "work_orders/INDEPENDENT_AUDIT.md",
"bytes": 4133,
Expand Down Expand Up @@ -821,7 +825,7 @@
},
"purpose_contact_maintenance": {
"base_commit": "aef97f5f99871aac1b32fcdbe03b24e95ab3493f",
"scope": "Replace current reader-facing manuscript-hold/contact notices with the author\u2019s purpose and contact wording and clickable email. No scientific claims, proofs, mathematics, verification status, limitations, references, authorship, licensing, historical records, checkers, saved reports or protected scientific hashes changed. No generated website or reading-page copies are present.",
"scope": "Replace current reader-facing purpose and contact notices with the author\u2019s purpose and contact wording and clickable email. No scientific claims, proofs, mathematics, verification status, limitations, references, authorship, licensing, historical records, checkers, saved reports or protected scientific hashes changed. No generated website or reading-page copies are present.",
"changes": [
{
"path": "README.md",
Expand Down Expand Up @@ -872,5 +876,65 @@
"bytes": 10216
}
]
},
"editorial_status_cleanup": {
"base_commit": "78e2a87356eac45164249997bebfc0f9821f9ff1",
"scope": "Owner-requested removal of obsolete drafting-status sentences from repository documentation, work orders, and manifest prose, including dated records. Scientific source files, report payloads and recorded scientific hashes are unchanged. The sole protected-manifest prose correction is pinned by exact full-file before/after hashes in the integrity checker. Existing Git history is retained.",
"changes": [
{
"path": "audits/final_quantitative_review.md",
"previous_sha256": "7b35653147032837fabfa6b8ad3c0fa6043bc53c82f27f2d7d9af56cff32f4b0",
"sha256": "f0f4de13e14bc10caf271584cc5543acb4e3adb38ae2aa42733c49ddb293f60b",
"bytes": 10027
},
{
"path": "audits/hopf_style_integration.md",
"previous_sha256": "f8534d589a8e11ac708de7dd0ad980da6bc211a672f0cfa49125f04c0c3ecde0",
"sha256": "776b0a5372d81fe61cfc6ec7ca75109fa59e01eb33b28ec277ffeb26e0de7ee1",
"bytes": 3989
},
{
"path": "audits/physics_teaching_integration.md",
"previous_sha256": "bdf8b83b4d970dcfab7fb4b50cfd150fc11d94fd3f498bfca2527207f6da601b",
"sha256": "6ae1aa3516426b2f2a30f56ca5903096d4792485a318a0fd3dd2327d2882750c",
"bytes": 4048
},
{
"path": "audits/release_preparation.md",
"previous_sha256": "55eb0a9635ca844432625e9907d8f6e370d7610a26f71d2cae7d4531d94a0220",
"sha256": "8c002e9d0b4a72b4d858c3214f10b0013a2934a783af93f0b343c1572d631373",
"bytes": 4338
},
{
"path": "checks/release_integrity.py",
"previous_sha256": "6ef07ba7e6efe709c101ab2637e5da373a5fb939d49e02bfd29f2320f89708b1",
"sha256": "2fd315d8b4b141a03007dedb64d48d5fa56f793718ed61d041bc568e89051281",
"bytes": 5658
},
{
"path": "docs/BOUNDED_CORE_STATUS.md",
"previous_sha256": "697788ff568f6234d33d7f3c7c0ae4b72d266c488f5becceb1371874df385143",
"sha256": "f9805745431902f7d5122e2cf75a371f04a68b3a72ced00d4111b51ff0feb695",
"bytes": 5837
},
{
"path": "results/final_core_integration.json",
"previous_sha256": "4f94eb48f23c07e0905c6f8940b5eb6f0cdae4866c7ae96006b8b96bb4af30cb",
"sha256": "6a1f4247a7663ef16ede4a479df7e4ef610f280da6bff592b7fbf3e3463cce96",
"bytes": 3183
},
{
"path": "snapshot_manifest.json",
"previous_sha256": "79655b7b39b7389309e8b86798875aa9c5cf6f6aceba7fe28b85b40bfccc03b9",
"sha256": "6ba16c5d42ed6cd53dbe28922e4c1aeb4a3bc22212f30a54a7318bdf0ff85a36",
"bytes": 10216
},
{
"path": "work_orders/CURRENT.md",
"previous_sha256": "36f01aabd62c23e4ee157da5cd95bfe01f1f55a62eac55ff08847035ef688f26",
"sha256": "e09b9f6abfac0793f10e2eaa4048ed4a5ceeeed84a1d2cd01d5a3210db862c2c",
"bytes": 2072
}
]
}
}
Loading
Loading