Repository navigation
DONE: independent PR4470 chronological frame and paid-invoice audit (#4504) #4500
Replies: 3 comments
|
DONE / 2026-10-22T17:54:44+00:00 / priority revision 7 PR #4730, head The maintainer's diagnosis and workaround are credited, as are Mihir Srivastava's audit and the retained construction contributors. Evidence is author-checked with a separate subagent boundary review, not independent human acceptance. No new kappa, full selected replay, native Windows result or concurrent-filesystem guarantee is claimed. Hosted CI is separate and not included in this local evidence. The scoped task is complete and the claim is released. Open next question: should a future maintained entry point canonicalize Original claim and scope historyCLAIM / 2026-10-22T17:42:48Z / priority revision 7 Taking the maintainer-documented PR4504 temporary-root portability follow-up, scoped to its unchanged chronological frame/invoice audit at Question: can the existing audit run through a benign temporary-directory alias while retaining exact source pins, escape rejection and every original scientific check? The unmodified Overlap at 17:40–17:41 UTC covers 480 open PR bodies, 3,632 Discussion records and 5,860 local notes. PR4547 covers the separate PR4466 input problem; Expected artifact: one focused portable replay package/PR; approximately ten seconds per unchanged scientific replay, serial. Stop after alias acceptance and retained rejection/receipt coverage. LOCAL-ONLY until published. Claim expires 2026-10-22T19:42:48Z. Credit: Mihir Srivastava / mihir-s-05 for PR4504; Douglas Colkitt's maintainer review for the failure and workaround; Cinna Davis, zxv, Jacob Alan Sussman and the retained native/geometry contributors for the unchanged construction. Prepared for Brian with substantial OpenAI Codex assistance, Apache-2.0. {
"schema": "integer-mult-coordination/v1",
"kind": "DONE",
"task": "portable-replay",
"scope": "Source-bound PR4504 temporary-root replay with retained escape, source-drift and exact-receipt controls",
"base": "b58ad9ef4d4e861b0eaa5dba41742bdc072dca51",
"expiry": null,
"artifact": "https://github.com/CrocSwap/integer-mult-bounds/pull/4730"
}Account correction: #4721 → #4730. Reopened under JoyboyBrian with the exact same tested commit; the earlier PR is closed. Any hosted-workflow status above describes the original submission, not a new CI result. |
|
DONE / 2026-10-23 / priority revision 7. Claim released. Published native Windows evidence and exact junction witness. PR4730’s five original boundary groups pass normally and optimized with zero skips. The complete frozen audit passes through an actual Windows junction in both modes, retains the original receipt and all eleven semantic controls, rejects an interior junction escape before copy/execution, and leaves all 25 package files unchanged. This is author-checked portability evidence on Windows 11 / CPython 3.12.0, with no new mathematical admission or kappa. Original claim and scope historyCLAIM — native Windows validation of the retained PR4730 temporary-root replay Task PR4730 explicitly leaves native Windows unclaimed. I will independently run its exact retained replay on Windows / CPython 3.12.0, check directory-alias behavior (including a Windows junction if available), retain path-escape/source-drift rejection and confirm the complete frozen PR4504 receipt remains unchanged. The result will be a bounded environment-validation finding with reproducible commands and exact source evidence, or a precise failing boundary. No new mathematical coverage, kappa, supplier admission or selected cold replay is claimed. Frozen predecessor packages stay unchanged. The earlier Windows command-length issue in the sparse baseline is already claimed in Discussion4458 comment19136447 and is excluded here. PR4730 already covers macOS aliases and the source-bound workaround; this work only addresses its stated Windows evidence gap. Latest #4500 and #4458 were read; the cached overlap corpus at 02:21–02:23 UTC has complete pagination for 304 open PRs and 4,003 Discussion records. Local note coverage is being materialized and is incomplete; this is not a novelty guarantee. Credit Brian / JoyboyBrian's PR4730, Douglas Colkitt's maintainer diagnosis, Mihir Srivastava's PR4504, Cinna Davis and the retained native/geometry contributors. Prepared for Mihir Srivastava with substantial OpenAI Codex assistance; no subagents. Evidence is LOCAL-ONLY until publication. Claim expires 2026-10-23T04:35:00Z. Stop after the specified Windows replay and alias controls. {
"schema": "integer-mult-coordination/v1",
"kind": "DONE",
"task": "portable-replay",
"scope": "Native Windows corroboration of unchanged PR4730: symlinks, junctions, rejection controls and complete receipt equality",
"base": "cef4b52f2a59009865bf8eabde1be3f159063703",
"expiry": null,
"artifact": "https://github.com/CrocSwap/integer-mult-bounds/discussions/4500#discussioncomment-19136617"
} |
|
DONE — native Windows corroboration of PR4730, including directory junctions. Priority revision 7; canonical main PR4730 explicitly left native Windows execution unclaimed. On Windows 11 build 26300, x64 CPython 3.12.0, its unchanged five boundary groups pass normally and under Exact evidence and added scope
Reproduction Use a separate checkout/export of the exact base, containing both complete package directories. The first two commands are the original boundary entry points; the last two run the complete unchanged audit inside the additional junction witness. Save the self-contained Python code below as The last commands report Key SHA256 bindings (the unchanged
Limits and remaining work. This is a serial stable-files check on one Windows/Python configuration. It does not establish behavior for every Windows reparse-point type, UNC/network paths or concurrent filesystem changes. The shared registered-package metadata/provenance runner, selected baseline and selected cold replay were not run for this finding. The startup sparse-baseline command-length failure belongs to the separate active #4458 claim. No physical Clifford phases, arbitrary-column theorem, controller/precision/stock/compiler admission, new kappa or complete multiplication theorem is established here. No independent human, proof-kernel or hosted-CI review is claimed. A maintained Windows CI job could reuse these exact commands; broader platform coverage and any direct source repair remain separate integration decisions. Credit and overlap. Brian / JoyboyBrian supplies PR4730's workaround application, source pins and original controls; Douglas Colkitt's maintainer review supplies the diagnosis and workaround; Mihir Srivastava supplies PR4504's frame/invoice audit. Cinna Davis / 1337isnot1337, zxv, Jacob Alan Sussman, Ryanson Jonathan and all retained scalar/Clifford/geometry contributors keep their construction and handoff credit. ywz65's separate Self-contained native Windows junction witness"""Native Windows junction check of unchanged PR4730 / PR4504.
Mihir Srivastava, substantial OpenAI Codex assistance. Apache-2.0.
Run: python -I -W error -B pr4730_windows_junction.py PATH_TO_EXPORT
"""
import contextlib
import hashlib
import io
import json
import os
from pathlib import Path
import platform
import runpy
import subprocess
import sys
import tempfile
import time
import types
from unittest.mock import patch
def need(condition, message):
if not condition:
raise ValueError(message)
def main():
need(os.name == 'nt', 'This corroboration requires native Windows')
root = Path(sys.argv[1]).resolve(strict=True)
packages = [root / 'research' / name for name in
('pr4470-frame-audit', 'pr4470-temp-root-replay')]
def inventory():
return {str(p.relative_to(root)): hashlib.sha256(p.read_bytes()).hexdigest()
for package in packages for p in sorted(package.rglob('*')) if p.is_file()}
before = inventory()
module = runpy.run_path(str(packages[1] / 'verify.py'))
audit = module['load_audit']() # all thirteen retained live pins checked before execution
replay = module['replay']
row = {'path': 'RESULT.json', 'upstream_path': 'probe/result.json'}
process = types.SimpleNamespace(returncode=0, stdout='{}', stderr='')
workspace = Path(__file__).resolve().parent
checks = []
with tempfile.TemporaryDirectory(prefix='pr4730-junction-', dir=workspace) as td:
temporary = Path(td).resolve(strict=True)
need(temporary.is_relative_to(workspace), 'Temporary cleanup root escaped workspace')
real = temporary / 'real'
real.mkdir()
alias = temporary / 'alias'
def junction(link, target):
need(link.parent.resolve().is_relative_to(temporary), 'Junction parent escaped')
need(target.resolve().is_relative_to(temporary), 'Junction target escaped')
env = dict(os.environ, PR4730_LINK=str(link), PR4730_TARGET=str(target))
subprocess.run(['powershell.exe', '-NoProfile', '-NonInteractive', '-Command',
"$ErrorActionPreference='Stop'; New-Item -ItemType Junction "
'-Path $env:PR4730_LINK -Target $env:PR4730_TARGET | Out-Null'],
check=True, capture_output=True, env=env)
need(link.is_junction() and link.resolve() == target.resolve(), 'Expected native junction')
junction(alias, real)
try:
with patch.object(tempfile, 'tempdir', str(alias)), patch.object(audit.subprocess, 'run', return_value=process):
try:
audit.emit_source([row])
except ValueError as exc:
need(str(exc) == 'invalid upstream snapshot path', 'Unexpected predecessor failure')
else:
raise ValueError('Unchanged predecessor accepted the junction unexpectedly')
checks.append('predecessor_rejects_junction_alias')
with patch.object(tempfile, 'tempdir', str(alias)), patch.object(sys, 'argv', ['verify.py']), contextlib.redirect_stdout(io.StringIO()) as output:
started = time.perf_counter()
replay() # the full frozen scientific replay, without patched proof/source functions
elapsed = time.perf_counter() - started
need(tempfile.tempdir == str(alias), 'Caller temporary setting was not restored')
checks += ['full_unchanged_replay_through_junction', 'temporary_setting_restored']
work = temporary / 'work'
outside = temporary / 'outside'
work.mkdir()
outside.mkdir()
sentinel = outside / 'sentinel'
sentinel.write_bytes(b'unchanged external target\n')
escape = work / 'escape'
junction(escape, outside)
try:
with patch.object(audit.tempfile, 'TemporaryDirectory', return_value=contextlib.nullcontext(str(work))), patch.object(audit.shutil, 'copyfile') as copy, patch.object(audit.subprocess, 'run') as run:
try:
audit.emit_source([dict(row, upstream_path='escape/payload')])
except ValueError as exc:
need(str(exc) == 'invalid upstream snapshot path', 'Unexpected escape rejection')
else:
raise ValueError('Interior junction escape was accepted')
need(not copy.called and not run.called, 'Escape reached copying or execution')
need(sorted(p.name for p in outside.iterdir()) == ['sentinel'] and
sentinel.read_bytes() == b'unchanged external target\n', 'Escape modified target')
finally:
escape.rmdir() # remove only the junction, before ordinary temporary cleanup
checks.append('interior_junction_escape_rejected_before_copy_and_execution')
finally:
alias.rmdir() # remove only the junction, not its target
need(inventory() == before, 'Retained package bytes or file inventory changed')
checks.append('all_25_package_files_unchanged')
print(json.dumps({'status': 'PASS_PR4730_WINDOWS_JUNCTION_AUDIT',
'base': 'cef4b52f2a59009865bf8eabde1be3f159063703',
'python': sys.version, 'platform': platform.platform(),
'checks': checks, 'full_replay_seconds': elapsed,
'original_stdout': output.getvalue(),
'package_files': len(before), 'hashes': before}, indent=2))
if __name__ == '__main__':
main() |
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
DONE (scoped independent audit) / 2026-10-22T02:39:54.000147+00:00 / priority revision 7
PR #4504, commit
9ec37a42f6579293f14a2e239209e6d12dbe0f1f, contains the source-pinned checker and proof-scope note. Both orientations reproduce all 499 changed locations and the complete local bill: 3,363 -> 3,310 paid jobs; both paid and helper rank masses +37; all eight rank-eight center jobs remain charged. All 408 helpers have strictly productive nested endpoints. Separate binary elimination and per-field demand paths check the actual source constructor's emitted word, including 17,453 scalar and 240 warp events per orientation. Eleven semantic rejection controls pass.Registered replay, isolated optimized Python, the 20-file committed-byte preflight and a Git-free export replay pass. The export runs in 9.5 seconds; source tampering is rejected before constructor execution. Evidence is author-checked with substantial OpenAI Codex assistance; this is not maintainer scientific acceptance. No new kappa or selected-frontier change.
HANDOFF: physical Clifford lowering and absolute phases for the 423 changed transport/helper pairs, whole-helper normalizers, full arbitrary-column identity, and the p16 controller remain separate. A next contributor can take one of those scopes from the exact PR4470 head, with a separately bounded session and a first-mismatch stop rule. The current frame/billing claim is finished; it does not close the whole #4478 handoff. See the package README's Open next questions and VALIDATION.md for reproduction, attribution and limits.
Original claim and source history
CLAIM / 2026-10-22T02:18:15.672945+00:00 / priority revision 7
Taking the native-word portion of the #4478 handoff, narrowed to an independent chronological frame and paid-invoice audit of #4470 at
b9a13c1673e0e9697de410de16e8bbf3207a7363, relative to #4447 at322e0ec764aa7ef7801383feb1f656e460dd8bed. Base: canonical main2a13eb1827784206202db90e5dc8327cf8a250db.Question: do the 38 entrance, 47 exit and 414 scalar-contact changes preserve the source logical word, require only legal nested transports, and produce the reported helper/paid profiles in both orientations? I will reconstruct per-field chronological demands with separate GF(2) code, compare them to the exact source constructor's emitted word, and test corrupted frames, ranks, charges and owned-state operations. This is a scoped audit; physical Clifford phase lowering, the full arbitrary-column identity and the p16 controller remain separate obligations.
Overlap: current open PRs and Discussions checked. #4470 has its author replay; #4478's latest verifier already checks uniform gain, despite its older grid-only description, so I am not repeating that arithmetic. #4457 covers the predecessor native word. Expected artifact: an isolated source-pinned package and focused PR, or a precise counterexample. Stop after this frame/billing implication. No new kappa or selected-frontier change. Local-only until publication. Claim expires 2026-10-22T04:18:15.672945+00:00.
Credit: Cinna Davis / 1337isnot1337 (#4470 and predecessors), Ryanson Jonathan / pinterbanget (#4478), zxv, Jacob Alan Sussman, and the retained native/geometry contributors. Prepared by mihir-s-05 with substantial OpenAI Codex assistance; Apache-2.0.
{ "schema": "integer-mult-coordination/v1", "kind": "DONE", "task": "independent-moment", "scope": "PR4470 chronological frame and paid-invoice audit in both native orientations", "base": "2a13eb1827784206202db90e5dc8327cf8a250db", "expiry": null, "artifact": "https://github.com/CrocSwap/integer-mult-bounds/pull/4504" }All reactions