Repository navigation
Phase 4 public report: W01-W08 public in-memory audit - #36
Draft
DavidWallstructurallaw wants to merge 21 commits into
Draft
DavidWallstructurallaw wants to merge 21 commits into
DavidWallstructurallaw wants to merge 21 commits into
Conversation
Owner-approved P4-W01 only. Preserve all product bytes and current refusals. SIT-Phase-Unit: P4-W01
3772 tests and 445 separate subtests passed on the preceding exact source tree. Update execution evidence only; hosted exact-head checks follow in the draft implementation PR. SIT-Phase-Unit: P4-W01
SIT-Phase-Unit: P4-W01
SIT-Phase-Unit: P4-W02
SIT-Phase-Unit: P4-W01
Preserve first CI failures, verify the W01 stage repair, and cover every closed object and member without activating later work units. SIT-Phase-Unit: P4-W02
Retain the incomplete Windows 3.11 run and all original verification tests. Use a delayed real bootstrap seed and independent complete repository copies with fresh Git checks; add destructive-copy isolation coverage. Complete local V02 validation passed all 211 cases. Final exact-head four-profile verification remains pending. SIT-Phase-Unit: P4-W01
Build the immutable logical envelope from accepted private outcomes and an explicit selected-disclosure contract. Close report and prepared-input links, preserve retained witnesses and exact values, and aggregate five global domains with fifteen capability families per Inquiry. Keep the public entry points refused and defer runtime disclosure selection and encoders to their owners. Add focused assembly and identity coverage, retain exploratory failures, and record actual local validation without claiming the pending hosted result. SIT-Phase-Unit: P4-W03
The W03 Windows 3.11 suite reached its unchanged 2400-second timeout, while Windows 3.13 completed with only seconds remaining. Current module verification repeatedly parsed and walked the same active sources for dependencies, effects and cycles. Share one freshly parsed, read-only AST and its import targets only within the current call, while retaining every rule and fresh later reads. Preserve all existing verification tests and add direct source-mutation and combined-diagnostic controls. Record the incomplete hosted result and pending post-commit validation without changing workflow, test scope or budgets. SIT-Phase-Unit: P4-W01
…elds Connect the real selected-field producer to logical assembly through one supplied internal port. Preserve native attribution, support, qualifications, ordered owner material and unresolved or protected relationships while excluding unselected source content. Recognize retained correction components in their already validated Finding homes. Add actual-selector and privacy preservation controls, keep independent goldens and public entry-point refusals, and record the separately owned verification repair and actual local results. Hosted final-candidate status remains external. SIT-Phase-Unit: P4-W04
Implement explicit frozen-value J encoding with scalar key ordering, exact numeric spelling, prescribed control escapes and one final LF. Reserve each output fragment prospectively and retain ordered arrays and raw fractions. Attach separate fixed format counters to the existing finalization ledger, preserve first-cause stopping and map safe report aborts without changing private analysis behavior. Add independent byte and resource-boundary tests. Record 432 passing focused tests and the completed prior W04 hosted status. Markdown, whole-invocation composition and public delivery remain pending. SIT-Phase-Unit: P4-W05
The W05 hosted matrix completed with two identical V02 failures in each profile: its inactive-body and16KiB probes still targeted json_report.py, which is correctly active from stage5. Target the permanently inactive output_directory.py slot while retaining every case ID and assertion. Record the original failure and pending clean-checkpoint validation. No guard, product, workflow or budget changes. SIT-Phase-Unit: P4-W01
Add charged pretty-J and minimal safe fences while preserving the existing JSON encoder. Emit the fixed sixteen-root layout, complete Result and Reason details, exact half-up fraction displays and one final LF from the same frozen logical document. Keep source strings inside encoded data blocks. Verify independent reference bytes, substantive omission controls, literal-data rendering and actual output boundaries. Record341passing focused tests and the separately owned213-test verification repair without claiming public delivery. SIT-Phase-Unit: P4-W06
SIT-Phase-Unit: P4-W03
SIT-Phase-Unit: P4-W03
Keep preparation, analysis, disclosure, report assembly, both encodings and content consistency on one original ledger, deadline and emergency reserve. Retain atomic stopped outcomes and charge only actual new witness occurrences. Use bounded native scalar passes and local frozen-key ordering reuse without changing limits, exact output rules or analytical meanings. Preserve read-only report delivery and safe exception compatibility. Record the actual scoped regression and constructor-message closure, inherited W03 empty-trace repair and remaining public activation boundary. SIT-Phase-Unit: P4-W07
Accept the actual frozen-assignment exception variants while retaining the rejected write, source identity, cached encodings and no-runtime-reentry checks. Record both real Python 3.13 hosted failures and the scoped local closure. SIT-Phase-Unit: P4-W07
Preserve the original W02 refusal and exact exports before W08. After verified activation, require actual safe public report delivery, fixed usage failure, cached encodings and the continuing file refusal. Preserve the original test identity and record this static preventive test-wiring repair. SIT-Phase-Unit: P4-W02
The original refusal control passes at verified activation stage7 on the clean repair checkpoint. Stage8 public behavior remains for the W08 candidate run. SIT-Phase-Unit: P4-W02
Expose the seven approved public names and validate fixed invocation options before touching the dossier. Reuse the existing single-budget audit path and preserve immutable report delivery and safe exception propagation. Migrate former bundle refusals to direct public behavior while retaining file, CLI, private-runtime and effect controls. Extend existing installed receipts with actual public reports from direct wheel, sdist and rebuilt wheel installs. Keep per-field public obligation closure and final platform acceptance pending. SIT-Phase-Unit: P4-W08
Bind the actual 231 passing scoped tests and 145 successful subtest events to unchanged source bytes and all three real installed distribution paths. Preserve earlier failures, separate-owner repairs and exact evidence limits. Public field obligation closure and final hosted acceptance remain pending. SIT-Phase-Unit: P4-W08
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
P4-W08 checkpoint
W08 activates the public in-memory
audit_bundleinterface. Published head7102222dc62461ce44d3a32c46f1a947b4baea59, tree3cc336fc224069d8211becbe902e3441feeb8f44. PR remains draft; version remains0.1.0.dev0.None,{}and{"raw_file_digest": False}options are equivalent. Exact type checks reject unsupported or hostile options before dossier access, equality/hash/repr hooks or runtime creation. The API calls the existing same-invocation implementation without a second budget.c8b6df2fda2aa7c5fdd276b3c1ad277f9711a206changes N12/D05 only to preserve the immutable-assignment test across Python exception-type differences. W02 repairsaa0e0b16af29fa5bda3bd63cb0c697e1b7cb8942and5de0c24a217ec15b7ae3457752580d3d568a4041change N01/D05 only: the retained assertion uses verified activation history, keeping the old stage-7 refusals and checking actual stage-8 public behavior. Each repair's stage-7 targeted test passed; the final W08 run also passed the stage-8 branch.W08 implementation and scoped local/installed verification are complete. W09 and W10 have not started. All 228 per-field public obligation rows/counts and prior evidence remain preserved. File/native/CLI audit execution, owner acceptance, merge and release remain at their approved later stages.
Preserved W07 checkpoint
W07 composes internal audit delivery under one original invocation budget, deadline and emergency reserve. Published head
e9b6bfd3f65de31841606a7b1d44e0fe4cb3282d, tree813157051432dadfba98388578da4a7b3859bc2c. PR remains draft._audit_valuenow composes preparation, original analysis, disclosure selection, frozen report assembly, JSON, Markdown, content consistency and immutable delivery on the same ledger. Existing analytical schedules, fixed limits, independent goldens, schemas, workflow, tool pins, version and module inventory remain unchanged.AuditReport(). Four constructor-default lines restored that behavior; the original assertion was retained. Final targeted closure: 6 passed, zero failures/errors/skips, 15.528 JUnit seconds, all 232 hashes stable. The other 231 files match the unified run. This records scoped closure, not a new all-green 6,276-case rerun.a996abcdbf606953c7a8f78565b632cd6bfc72f9and59bf1de37eb4fe334453777092d205d99ff23b84change only P03/N02/D05 and retain activation stage 6. Strictly empty complete traces retain their original payload using the existing scoped-no-witness carrier, preserving unavailable/null/zero-denominator semantics. Final clean W03 checkpoint: 69 passed, 42.012 JUnit seconds, 230 stable source hashes. Its initial incorrect new assertion and 68 passed/1 failed run remain recorded.At the W07 checkpoint, W08 had not started and public APIs still refused execution. W08 above now activates audit_bundle. All 228 per-field public obligation closures, file/CLI adapters, merge and release remain at their approved later stages.
Preserved W06 checkpoint
W06 implements exact bounded Markdown and independent JSON/Markdown parity from one selected frozen report. Published head
e2cd1217ac7873c338d1d0503c0cdef259ce2f3c, tree3a7207fc515a2bc529aea613b9a0b6dd5417a3e1. PR remains draft.6cbe03b8f89ad7422a8fdb7ac25aa2cb48c4a0b8changes V02/D05 only, activation stage 5. Two outdated inert-slot fixture path literals now target permanently protectedio/output_directory.py; all original 213 ordered cases and assertions remain. Full V02 on the actual clean W01 checkpoint passed 213 tests, zero failures/errors/skips, 187.770 seconds; 228 source hashes were unchanged.At the W06 checkpoint, W07 had not started. The W07 checkpoint above now records internal whole-invocation integration. All 228 public pipeline/rendering obligations remain pending; public API activation, merge and release await their approved stages.
Preserved W05 checkpoint
W05 implements exact JSON bytes for the frozen logical report and prospectively bounded encoding on the existing finalization ledger. Published head
98dd68b71f84dad3286355dfdb05d528f3bcfab1, tree60327a132ca62f444a132f42542fdbcb411f5357. PR remains draft.W06 was pending at the W05 checkpoint and is now implemented above. All 228 public pipeline/rendering obligations remain pending. Public APIs still refuse execution; whole-invocation report delivery, merge and release await their approved stages.
Preserved W04 checkpoint
W04 implements explicit, bounded disclosure selection from real private analytical outcomes and connects those selected fields to internal logical report assembly. Published head:
dfbbbac7a187cbb7a37d775ea7fbc786b82d1110, treef3c5754321a17c4a7ee6971fa13e406846394a78. PR remains draft.ea96496b43365e5c5f5f7f4869945be4f5ea085fchanges only V01/V02/D05, retaining activation stage 3. It reuses a fresh read-only AST and import targets within one verification call, without cross-call caches or rule/budget changes. All 211 previous ordered V02 cases remain, with two new regressions. Its seven-file validation passed 384 tests plus 192 successful subtests, zero failures/errors/skips; all 224 source hashes were unchanged.Earlier unsuccessful local runs, fixture corrections, the two actual product defects and the old Windows timeout remain in the evidence package. The phase plan SHA-256 remains
5fac7a2a796338faae9b98af6e0cc4519396e378ba10b8c5afeb4d029d97cd48.Preserved W03 checkpoint
W03 implements bounded internal logical report assembly, stable semantic IDs and closed references on the approved Phase 4 branch. The exact published head is
95a8462105e5e5c5cfb3ab7f24cbf8b8cb37611f(tree55e8522ef226481ed380f59b0623d39e4a3fc000).7919288.At the W03 checkpoint, public APIs still refused execution and W04+ remained pending. W04 is now implemented as recorded above. Renderers, same-invocation runtime integration and public delivery remain pending; merge and release have not occurred.
Preserved W02 history
P4-W02 验收完成。最终 head
7919288509e9a9232f5b26b004be5ba1d0a810f6,tree82265150e952099466d7cbd5f49f03260a857538的四环境完整 CI 全部成功,并已逐组核对原始工件。每组实际 9,589 tests,另 533 successful subtests,JUnit 合计 10,122,零失败、错误、跳过或不完整。最终提交归属 W01 的仓库准备修复,activation stage 仍为 2,交付任务为 W02。PR 保持 draft;W03-W10、merge 与 release 尚未启动。公共报告此前没有正式闭合契约和独立字节预期。W02 增加不可变 AuditReport 声明、安全 transport、仓库 report schema,以及一个可完整运行私有核心案例的独立 JSON/Markdown 参考。现有分析语义保持,两个 public audit 入口仍立即拒绝;组装、披露、编码及公共执行留在后续工作单元。
已实现:
验证与修复:
最初候选
05d51fce的 run 38672908042, attempt 1 在四环境均失败:每组 27 failed、4,789 passed、另 533 successful subtests。失败身份完全一致,来自既有 V02 当前源码探针仍假定 stage 1:1 项冻结字节、8 项模块边界、18 项效果/依赖。四组均无超时、错误或跳过。W01 归属修复
d0121946c9a13a9b035d74921a7ac99c3ce0389f只改 V02 与共享 D05。它读取已验证历史的实际阶段,并保留原 48 模块锚点、当前冻结字节及显式阶段反例。干净同树本地检查点通过全部 210 个 V02 测试,包括三种无 Git 收集模式;owner W01、activation stage 2。W02 后续提交补齐独立复核发现的嵌套覆盖缺口。最终 8 文件组合通过 6,217 tests 和另 12 successful subtests,83.33 秒,零失败/错误/跳过;N01 的 5,725 个测试全部实际执行。只读 schema 解码复用前后,6,217 个有序测试身份完全相同,测试输入和断言不变,schema 值/原字节前后校验通过。
第二轮本地检查点
23a07fd6a1fc135a82ee79ca4128586c09cb2af2与当时远端候选3b9d8a9的 tree 相同。实际发布提交的历史、clean checkout、48 模块与 workflow 边界检查通过。修订候选的 Current verification run 38677156662, attempt 1 已结束且整体 failure。Ubuntu 3.11 / 3.13 和 Windows 3.13 各 9,588 tests + 533 successful subtests,并已独立对账;Windows 3.11 的 pytest 在 2,400 秒处 TimeoutExpired,退出记录为 null/incomplete/timed_out,没有 JUnit 或末尾通过汇总,不能推导 partial 通过数量。全部四个原始工件保留。成功组的逐项耗时表明 V02 临时 Git 仓库用例有显著准备开销;这不证明 Windows 3.11 超时时正在执行哪一项。旧 selected-toolchain 工作流按现有条件 skipped,不计为成功 profile。
W01 归属的第二次修复只改 V02 与 D05:延迟创建一个真实 bootstrap seed,为每个 case 完整复制独立
.git/工作树,并重新核对 HEAD/tree/clean。原 45 个测试函数及 210 个有序 case 保持,新增一项破坏单副本内容/ref/shallow/object 的隔离回归,seed 和另一副本完整字节保持。没有 guard、AST 或判定结果缓存。干净本地检查点
d3940ead3805a903bbb711aa60f370225c81a9bb完整 V02 为 211 passed,411.58 秒,零失败/错误/跳过,222 个源文件前后哈希一致。随后只更新 D05 已知证据;最终本地0f5cf7b与发布候选7919288同 tree。发布后真实 Git 历史、owner/stage、clean checkout、48 模块和 workflow 检查通过。最终 Current verification run 38682280459, attempt 1 已 completed/success。Ubuntu 3.11 / 3.13、Windows 3.11 / 3.13 各实际 9,589 tests + 533 successful subtests,均零失败/错误/跳过。逐组 54 份原始文件、75 个测试文件、222 个前后相同源哈希、12 份完整零退出凭据、7 个实际 Git 提交、固定工具版本、6 份构建 inventory 和 W08/W14 安装见证均已独立核对。四组有序 collection 与源哈希完全一致;最终 API run/jobs/artifacts、PR head/base/draft 及未变 main 也完成聚合核对。
实际 pytest 耗时:Ubuntu 3.11 为 1,114.72 秒;Ubuntu 3.13 为 1,082.82 秒;Windows 3.11 为 1,963.36 秒;Windows 3.13 为 1,692.04 秒。现有 2,400 秒 suite / 50 分钟 job 预算保持。最终只读聚合
p4w02-final-hosted-review.jsonSHA-256 为0c24ebeb9176d85e53dddef93e333afd58748cac36363afb53149cd23f8ab068。范围与证据边界:
5fac7a2a796338faae9b98af6e0cc4519396e378ba10b8c5afeb4d029d97cd48不变。没有改 guard、workflow、pins、预算、API、renderers 或后续产品模块。历史 W01 检查点:
f69cc5dd0a1de025dcf16ebdc4064cc1f20746b2的 run 38536145728, attempt 1 四组全部成功;各 3,774 tests、另 533 successful subtests、73 文件、215 source hashes 和 12 份完整零退出凭据。先前 local 的 pip-check 原始退出记录不完整,原因未知,未追认其完整证明;单独复查和后续修复的 hosted 证据各按真实范围记录。被修复取代的旧 W01 run 38534506589 取消记录仍保留。基线仍为 PR #35 接受 mergefdad8c3449d2d223420c5d52bb9b4c1e863a9e3c。phase4/implementation_evidence.json 只记录发布前已知事实。最终 exact-head hosted 结果记录在本 PR 及外部原始验收包中,没有追加自引用的“成功记录”提交。验收包保留两轮失败、全部最终原始工件、独立复核及逐文件 SHA-256 清单。