sorokin.oleg.edu/ARCADIA-Studio
1
0
Fork 0
Code Issues 37 Pull Requests 2 Packages Projects Releases 9 Wiki Activity

Record the bounded canonical Negate writer correction

Browse Source
This commit is contained in:
sorokin.oleg.edu
2026-09-13 00:10:35 -07:00
parent a2a28f8d23
commit bed5b0e832
2 changed files with 71 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
harness/analysis-source8-20260913/README.md
+3 -1
View File
@@ -2,6 +2,8 @@
This directory preserves branch-specific design and source-review evidence. It is not a live task ledger or an integrated/released capability claim. All copied Markdown files retain their original bytes, source pins and historical statements; `copied-evidence-sha256.json` records verified copy hashes.
Current writer guidance: [Canonical Negate correction](writer-canonical-negate-20260913.md) supersedes only the r2/S2 recommendation to parenthesize every unary Negate operand. It records the frame-limit counterexample, accepted prefix spelling and required tests. This is a design/source-review correction; writer implementation and executable roundtrip verification remain outstanding.
- Input analysis candidate: `847b1caa7e75bb82f6ce5193c45bcfc45973ad1a`.
- Checked-source-save containment S0: `112e0d910bd2b2c9a191f29536fecb0fbc0177b0`.
- Private test-staged expression syntax S1: `02b9d5ce4c73d0446146b13b46a228e6fd4d7735`.
@@ -10,7 +12,7 @@ This directory preserves branch-specific design and source-review evidence. It i
Preserved reports:
- [Revised design](analysis-source8-repair-design-r2-20260913.md): root-selected syntax/oracle corrections, proposed resource calibration and implementation partitions. Resource numbers are experimental candidates, not measured adoption.
- [Revised design](analysis-source8-repair-design-r2-20260913.md): root-selected syntax/oracle corrections, proposed resource calibration and implementation partitions. Its mandatory Negate-grouping recommendation is superseded by the [canonical writer correction](writer-canonical-negate-20260913.md); the original copied design remains unchanged for provenance. Resource numbers are experimental candidates, not measured adoption.
- [S0 independent review](analysis-source-save-guard-independent-review-20260913.md).
- [S1 independent review](analysis-source8-s1-independent-review-20260913.md).
- [Original S0/S1 source handoff](analysis-source8-s0-s1-handoff-20260913.md): exact scope and the original four S0/nine S1 tests. Historical `.local` paths and worktree statements in copied reports are provenance, not current branch status.