# Source8 containment and staged syntax evidence

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`.
- Instruction/document-history merge: `e8a18a7cf97a9ebf4992f00521d06792d6c012e4`; implementation bytes remain those of S1.
- The commit adding this directory changes only tests and evidence: it strengthens exact mixed-precedence child topology and flat Binary128/129 plus completed-deep-child failure cleanup. It does not change the S0/S1 implementation.

Preserved reports:

- [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.

The added tests are `language::analysis_source::tests::mixed_precedence_and_grouping_have_independent_expected_child_topology` and `language::analysis_source::tests::flat_binary_depth_and_malformed_constructor_retain_bounded_completed_children`. There are now eleven staged syntax tests plus four source-save guard tests. The existing public checked-save regression remains unchanged and the public parser still rejects source8; its save refusal is expected until the complete adapter is implemented.

Only source inspection, rustfmt and whitespace/copy-hash checks were performed for this checkpoint. **Compilation, tests, timing/RSS and native acceptance are unrun here.** The independent reviews found no blocking source defect at their stated pins; they are not execution evidence. Root retains the compiler lease, final migration/version/resource adoption and integration/publication ownership. JSON/depth-switch behavior, model types, public source header admission and ordinary tokenizer implementations are unchanged.