Skip to content

Add Phase 2 types, operators, scopes, binders, script-block and tooling study documents - #9

Merged
FredRavandi merged 2 commits into
mainfrom
claude/powershell-repo-history-i93gx6
Nov 3, 2026
Merged

FredRavandi merged 2 commits into
mainfrom
claude/powershell-repo-history-i93gx6

Conversation

@FredRavandi

Copy link
Copy Markdown
Collaborator

PR Summary

Second batch of Phase 2 (language pipeline) documents of the static PowerShell v7.6.9 architecture study, under docs-out/:

  • T26: BINDER-CATALOG.md (30 binders; generated by tools/gen_T26.py), RUNTIME-OPERATIONS.md (51 helper types, the statement error-action algorithm).
  • T28: 02.6-types-and-operators.md (CF-PIP-001 enumeration and output unrolling), OPERATOR-TABLE.md (CF-OP-001, 75 operator kinds, generated), CONVERSION-RULES.md (CF-CNV-001, ConversionRank table generated).
  • T29: SCOPE-AND-VARIABLES.md (CF-SCP-001), 03-runtime/execution-context-and-session-state.md.
  • T210: 02.7-language-features.md, HOWTO-extend-language.md (six recipes with traces), SCRIPT-BLOCKS.md.
  • T211: 02.8-language-tooling.md.
  • Registers: canonical facts CF-SCP-001, CF-OP-001, CF-CNV-001, CF-PIP-001; deviations DEV-BIND-050, DEV-RTOPS-051, DEV-TYP-070, DEV-SCP-080, DEV-CTX-081, DEV-SB-090, DEV-FEAT-091, DEV-TOOLS-100; contradictions CON-011/012; backlog VB-017..023; decision D-019; PROGRESS.md; stale "planned" links in earlier documents updated.

No source, test or build file is changed. All changes are under docs-out/.

PR Context

Static-only study (no .NET SDK or pwsh): behaviour claims are labelled FACT-SRC / INFERENCE / UNVERIFIED. These documents were written without prior reading notes, so reading depth is partial for Binders.cs, LanguagePrimitives.cs and MiscOps.cs: each document states the windows actually read in its Verification line and section 19, the ledger records partial ranges only, and the gaps are backlog items VB-017..VB-023 (decision D-019).

Checks run: render-canonical --check, check-claims, lint-terms, check-front-matter, check-links, numbers lint pass. validate-refs passes (1779 refs, 0 failures) with its pin gate bypassed in a throwaway interpreter, because post-pin .github/ changes trip the gate while src/ and test/ equal the pin (D-012).

PR Checklist

  • PR has a meaningful title
  • Summarized changes
  • Copyright header: N/A (no .h, .cpp, .cs, .ps1, .psm1 files added)
  • This PR is ready to merge
  • Breaking changes
    • None
  • User-facing changes
    • Not Applicable
  • Testing - New and feature
    • N/A or can only be tested interactively

Generated by Claude Code

…/operators/conversions, scope and variables, script blocks, language features, extension guide, tooling

Adds BINDER-CATALOG, RUNTIME-OPERATIONS, 02.6-types-and-operators, OPERATOR-TABLE,
CONVERSION-RULES, SCOPE-AND-VARIABLES, execution-context-and-session-state,
SCRIPT-BLOCKS, 02.7-language-features, HOWTO-extend-language, 02.8-language-tooling;
tools gen_T26/T28/T29/T210; CF-SCP-001, CF-OP-001, CF-CNV-001, CF-PIP-001; 8 DEVs;
CON-011/012; VB-017..023; decision D-019; stale 'planned' links updated.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01HnR7RpZuh9mvNMRTtzxTvk
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01HnR7RpZuh9mvNMRTtzxTvk
@FredRavandi
FredRavandi merged commit 8ffece4 into main Nov 3, 2026
2 of 3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants