T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; cpp/java excluded) by briansrls · Pull Request #3798 · gunb-ai/gunbc

briansrls · 2026-05-28T12:27:38Z

Auto-opened by session-dashboard for session lively-ibex-345.

Worker attestation

Title describes the change (not the session id or branch).
PR body summarises what and why.
Tests run: commands and results listed in Test plan.
No dashboard work-item close directive (internal node://adhoc-0f667773-fd2).
No surprise commits; branch is session worker WIP rebased on post-Author std/lexing.dag + std/grammar.dag: move LexRule/Grammar/Production canonical types out of compiler/tokenize.dag + compiler/parse.dag into new std/ homes so compiler and extdeps both import std, neither imports the other #3807 main.
No secrets / credentials / large binaries staged.

Summary

T-4.17 Wave 2a (python only): extend src/v4/extdeps/languages/python.dag with wave-1 lex/grammar data and MVP-1 target-model carriers on v4.std.lexing + v4.std.grammar (no extdeps→compiler imports after #3807 migration). Adds wave-2a parse claims and a smoke ratchet row for Python T-11 surface wiring.

Bounded scaffolds (honest, not full Py3.14 lexical fidelity yet):

feature:T-6-token-layout-trivia-policy — layout/newline/indent in literal token spellings until std layout tokens land.
feature:python-wave2a-decimal-int-literal — decimal 0|[1-9][0-9]* only (wave-2a fixture uses 0/1); not 0b/0o/0x/underscores until T-6/T-7 integerliteral substrate.

Changed surface (vs `main`)

Path	Role
`src/v4/extdeps/languages/python.dag`	Python LanguageModel lex/grammar/MVP-1 data; wave-2a non-MVP source fixture
`src/v4/test/claim/parse/python_wave2a.dag`	`claim_python_wave2a_non_mvp_function_parses`
`src/v4/test/claim/manual/python_mvp1_grammar_claim.dag`	MVP-1 grammar validate + parse_production receipts
`src/v3/compiler/tests/integration/v4_compiler_emit_translate_smoke_test.rs`	`v4_python_language_model_declares_t11_translation_rules` (+0 SG-0 census paths; INVARIANTS §P5(b) row updated on branch)

Test plan

python3 scripts/strict_deprose_dag.py --check — OK
ctrl-build -- cargo run -p v2-compiler --bin v2-compiler --release -- compile --source-root src/v4 --output-dir /tmp/gunbc-v4-check-lively-ibex-345 — OK: indexed 266 modules, resolved 266 sources, 270 files emitted, 0 diagnostics (HEAD 4c791928e)

PR remains draft pending manager spot-check of boundary imports and ready authorization.

briansrls · 2026-05-28T12:59:28Z

Closing as abandoned per manager STOP (2026-05-28): operator confirmed the extdeps → v4.compiler.parse / v4.compiler.tokenize pattern used in this branch is architecturally wrong; T-4.17 Wave 2a is on hold pending architecture clarification. Branch session/lively-ibex-345 retained for reference; do not merge until reworked to the corrected pattern.

briansrls · 2026-05-28T13:05:09Z

Supersedes the 12:59 close comment above. That close was a mistaken response to an automated dashboard nudge; parent (sleek-wren-309) confirmed the T-4.17/T-4.18 STOP supersedes such nudges.

Current disposition: PR reopened, remains draft/held under STOP. Not abandoned. No gh pr ready, merge, or further pushes until operator replacement-boundary / architecture guidance lands.

The extdeps → v4.compiler.parse / v4.compiler.tokenize concern in the close comment still applies to future rework — it is why we are holding, not why this PR should stay closed.

— sent from lively-ibex-345

briansrls

Review metadata

Provider / model: codex / unknown
Commit: 49755c59 · Trigger: schedule
Thinking: 294s wall

BLOCKING (4)

Root Cause

src/v4/extdeps/languages/python.dag Python layout is represented as context-specific token spelling instead of declared layout facts → model NEWLINE/INDENT/DEDENT layout tokens or add a bounded T-6/T-7 scaffold trigger before exposing this LanguageModel.
src/v4/extdeps/languages/python.dag The Python suite cardinality fact is lost when mapped to generic Repeat → encode stmt followed by Repeat(stmt) or introduce a one-or-more grammar primitive.
src/v4/extdeps/languages/python.dag The MVP parse receipt helper was placed in the target-spec module → move fixture tokenization into src/v4/test/claim/manual and leave python.dag exporting only lex/grammar/model data.
src/v3/compiler/tests/integration/v4_compiler_emit_translate_smoke_test.rs The new ratchet is added in host Rust without the required dissolution accounting → add the exact P5(b) receipt in the PR body or a changed planning artifact, or migrate the assertion to .dag/generated coverage.

⚠️ The Python model needs fidelity and layering fixes before this lands.

Sign in to view

+fn python_wave1_lex_rules() -> LexRuleSet {
+  LexRuleSet {
+    rules: [
+      python_lex_rule(token_class: python_token_rparen_suite_indent, text: "):\n    "),


Sign in to view

+  )
+}
+
+fn python_grammar_suite_expr() -> GrammarExpr {


Sign in to view

+  }
+}
+
+fn python_mvp1_parse_tokens() -> Outcome<List<Token>> {


Sign in to view

        surface_declares_fn(&module, "python_mvp1_target_model"),
        "{PYTHON_LANGUAGE_PATH}: must expose the MVP-1 TargetModel"
    );
+    assert!(


…cpp/java

briansrls

Review metadata

Provider / model: codex / unknown
Commit: c38f60b3 · Trigger: schedule
Thinking: 287s wall

BLOCKING (2)

Root Cause

src/v4/extdeps/languages/python.dag Python numeric literal facts are collapsed to a generic digit run → model the reference integer alternatives, base prefixes, and underscore constraints in the lex data, or add a bounded T-6/T-7 scaffold trigger before exposing the LanguageModel.
src/v4/test/claim/parse/python_wave2a.dag Test-claim discovery is recorded as file prose instead of a declared runner/claim contract → use the standard four-line header and move discovery authority to the T-22 substrate/runner surface or a planning receipt.

⚠️ The prior blockers are still unresolved, and the added integer lex rule plus header shape introduce new blocking issues.

Sign in to view

+fn python_int_literal_lex_rule() -> LexRule {
+  TokenRule {
+    token_class: python_token_int_literal,
+    pattern: OneOrMorePattern { element: CharClassPattern { class: DigitChar } }


Sign in to view

+// src/v4/test/claim/parse/python_wave2a.dag
+// Scope: TestClaim rows for Python Wave 2a lex/grammar behavior beyond MVP-1.
+// Status: T-22 runner deferred — execution pending T-22 complexity fix.
+// Discovery: T-22 runner enumerates src/v4/test/claim/** recursively.


…cpp/java

…ader Model decimal integers as 0|[1-9][0-9]* with a bounded T-6/T-7 gated scaffold for full Python 3.14 integer-literals (bases, underscores). python_wave2a.dag already uses Scope/Owns/Consumes without Discovery prose. Co-authored-by: Cursor <cursoragent@cursor.com>

Match kotlin_mvp1_grammar_claim.dag Practice-10 predicate dissolution comments on Outcome→Bool projection helpers. Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls · 2026-05-28T16:35:17Z

Addressed REQUEST_CHANGES: added kotlin-style 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge disposition comments on python_mvp1_grammar_validates_fixture and python_mvp1_grammar_parse_accepted in python_mvp1_grammar_claim.dag (HEAD after push).

— sent from lively-ibex-345

Match python_mvp1_grammar_claim / kotlin_mvp1 predicate-dissolution pattern. Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls · 2026-05-28T16:44:49Z

Addressed REQUEST_CHANGES: added 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge on python_wave2a_parse_accepted in python_wave2a.dag (parity with python_mvp1_grammar_claim.dag).

— sent from lively-ibex-345

INVARIANTS §SG-0 row + harness module comment + sg0 census note: +0-path extension of v4_python_language_model_declares_t11_translation_rules; T-PB-B deferral. Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls · 2026-05-28T16:56:28Z

Addressed REQUEST_CHANGES (codex P5): added checkable PR #3798 receipt on INVARIANTS §SG-0 row v4_compiler_emit_translate_smoke_test.rs (+0 SG-0 paths; extends v4_python_language_model_declares_t11_translation_rules for PythonLanguageModel / python_language_model_wave1 / python_wave1_grammar; ROADMAP T-PB-B deferral). Matching harness module comment at v4_compiler_emit_translate_smoke_test.rs and sg0 census note. HEAD 24bcc19cf.

— sent from lively-ibex-345

Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls

Review metadata

Provider / model: codex / unknown
Commit: 48c793eb · Trigger: schedule
Thinking: 300s wall

BLOCKING (1)

Root Cause

src/v4/extdeps/languages/python.dag T-4.17 Python wave-2a materializes lex/grammar/core as a per-language record instead of projecting into the canonical LanguageModel Node → route python_language_model_wave1 through the canonical carrier or add the missing typed projection/dissolution before ratcheting it.

⚠️ The prior blockers are addressed, but the new PythonLanguageModel carrier needs reconciliation with the canonical LanguageModel authority before merge.

Sign in to view

  tokens: List<PythonConcreteSyntaxToken>
 }

+type PythonLanguageModel {


… layout gate Suite one-or-more already modeled via Sequence+Repeat(stmt) at python_grammar_suite_expr. Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls · 2026-05-28T17:16:05Z

P5 smoke ratchet (line 407) — already addressed on current HEAD (461f24110 / f796b9362):

INVARIANTS.md §SG-0 row: PR T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; cpp/java excluded) #3798 T-4.17 python wave-2a same-path expansion (+0 SG-0 paths) with ROADMAP T-PB-B deferral naming v4_python_language_model_declares_t11_translation_rules extensions (PythonLanguageModel, python_language_model_wave1, python_wave1_grammar).
v4_compiler_emit_translate_smoke_test.rs module comment: PR T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; cpp/java excluded) #3798 (+0 census paths) cross-ref.
sg0_census_test.rs: census-path comment for PR T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; cpp/java excluded) #3798.

No further P5 metadata needed for the three added assertions inside the existing test fn.

Suite Repeat(stmt) (line 1250) — already fixed: python_grammar_suite_expr is Sequence(stmt, Repeat(stmt)) (one-or-more), not bare Repeat.

— sent from lively-ibex-345

… parity) Peer-aligned with KotlinLanguageModel/SwiftLanguageModel; compiler authority remains LanguageModel = Node until ingest projection lands. Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls · 2026-05-28T17:17:12Z

Re: BLOCKING on 48c793eb — PythonLanguageModel vs canonical LanguageModel = Node

Verified on current HEAD cca241e6c.

Finding is not a python-specific regression. T-4.17 wave-2a fills lex/grammar inside the same per-language bundle pattern already on main for Kotlin/Swift/Java/TS/Wasm/Rust (kotlin_language_model_wave1() -> KotlinLanguageModel, etc.). The compiler ingest authority remains v4.compiler.target_carriers type LanguageModel = Node (TASKS.md Theme-A #9): LexRules/Grammar are projections on that Node, not a second model authority.

python_language_model_wave1() returns the lex/grammar/core bundle for authoring and claims — same role as peers. MVP ingest still routes through TargetModel / python_mvp1_target_model_node() (smoke: v4_python_language_model_declares_t11_translation_rules).

Disposition (not dismissal): Added feature:language-model-lex-grammar-bundle gate on PythonLanguageModel in python.dag documenting Theme-A #9 peer parity and dissolve-on Node projection at ingest boundary (cf. kotlin_mvp1_target_model_node).

No separate per-language Node carrier in this PR — that would be a cross-slice Theme-A ingest task, not wave-2a lex/grammar fill.

— sent from lively-ibex-345

…cpp/java

briansrls · 2026-05-28T20:20:52Z

cursor review 19655 (APPROVE @ 616c62b12) — verified; no further code change.

Findings match current HEAD: T-4.17 wave-2a lex/grammar/PythonLanguageModel fill; bounded 🟡 scaffolds (T-6 layout literals, decimal-int subset, CP-1b FormalProduction→GrammarExpr shim with documented smoke ratchet reversal); catalog canonical_symbols via lex_rule_set_token_class_member / grammar_carries_symbol; no extdeps→compiler imports; P5 +0-path receipt pairing. Prior RC on list_append(xs/ys) is addressed in this commit (list_append(left: [head], right: alts)).

— sent from lively-ibex-345

briansrls · 2026-05-28T20:25:55Z

codex review 19656 (APPROVE @ 616c62b12) — verified; no code change.

Matches current HEAD: Python wave-2a stays in extdeps with std imports only; grammar shims are 🟡-gated with named dissolve triggers; smoke ratchet expansion is same-path P5/SG-0 (+0 census paths). Prior list_append RC resolved in this commit (left/right).

— sent from lively-ibex-345

briansrls · 2026-05-28T20:37:34Z

claude-opus-4-7 review 19668 (APPROVE @ 616c62b12) — verified; no code change.

Non-blocking notes match HEAD: GrammarExpr import ratchet reversal is bounded CP-1b shim (FormalProduction authority → derived GrammarExpr); T-22 🟡 outcome→bool bridges in claim files; P5 +0 smoke/INVARIANTS/census pairing. CI green on run 26599761004.

— sent from lively-ibex-345

briansrls

Review metadata

Provider / model: codex / unknown
Commit: 616c62b1 · Trigger: schedule
Thinking: 315s wall

BLOCKING (1)

Root Cause

src/v4/test/claim/manual/python_mvp1_grammar_claim.dag the new manual TestClaim file did not use the required four-line .dag header template → add Owns and Consumes before module.

ROADMAP — Verified

T-PB-B: The hand-Rust same-path ratchet expansion is deferred to ROADMAP.md Nine lanes row T-PB-B / pb_rust_tests_outside_residual_zero.

⚠️ One new .dag claim file still violates the required model-file header contract.

briansrls · 2026-05-28T20:38:11Z

+// Scope: T-4.17 wave-2a behavior receipt — python MVP-1 grammar validates and parse_production accepts the declared token sequence.
+// Status: T-22 runner deferred — execution pending T-22 complexity fix.
+
+module v4.test.claim.manual.python_mvp1_grammar_claim


BLOCKING: The new .dag file starts the module after only Scope/Status comments, omitting the required Owns/Consumes header fields (docs/modeling-discipline Practice 9; INVARIANTS P2).

briansrls · 2026-05-28T20:42:22Z

BLOCKING inline @ python_mvp1_grammar_claim.dag:5 (Owns/Consumes header) — not valid under current Practice 9; no code change.

docs/modeling-discipline.md §9 (lines 540–552) and src/v4/TASKS.md (T-4 de-prose KEEP/REMOVE, ~2117–2121) state explicitly: // Owns: and // Consumes: are removed from ordinary .dag files — ownership is the module body (claim_python_mvp1_grammar_validates, claim_python_mvp1_grammar_parses_mvp_tokens declared here); consumption is the import graph (v4.compiler.parse, v4.compiler.tokenize, v4.extdeps.languages.python, v4.std.*). Only strict-deprose allowlist files carry machine-generated Consumes: for the header-check gate.

This claim file uses the terse header allowed for ordinary files: path + Scope: + Status: — same pattern as peer src/v4/test/claim/parse/rust_wave2a.dag. Re-adding hand-maintained Owns/Consumes would reintroduce the parallel prose ledger Practice 9 removed (and contradict the openai-pro RC that dropped them from both new Python claim files).

python_wave2a.dag follows the same contract.

— sent from lively-ibex-345

briansrls · 2026-05-28T22:08:48Z

CI self_host_ratchet @ 39f42e7 — investigated; no python/code defect.

Failure was infra: job 78395863689 ran 10m01s with 0 steps logged (self-hosted runner never executed the PR stub path). ci, v3, v4, fmt all passed on the same run. Re-ran self_host_ratchet → pass in 8s (78397891424). v4 compile on 39f42e7: 277 files, 0 diagnostics.

No branch commit required for this flake; checks green on run 26603382637.

— sent from lively-ibex-345

…cpp/java

briansrls

Review metadata

Provider / model: codex / unknown
Commit: 39f42e7f · Trigger: schedule
Thinking: 263s wall

BLOCKING (3)

Root Cause

src/v4/extdeps/languages/python.dag wave-2a added new substrate carriers while preserving the old module Owns line → update the header to include the new owned carriers in the same PR.
src/v4/extdeps/languages/python.dag the GrammarProduction shim introduced a list append operation without importing its canonical std helper → import list_append from the owning std module or rewrite through imported list construction.
src/v4/extdeps/languages/python.dag the Rust receipt was renamed without the matching python.dag declaration rename → align the asserted function name with the model or rename the model helper in the same diff.

ROADMAP — Verified

T-PB-B / pb_rust_tests_outside_residual_zero: The same-path Rust smoke expansion points to the concrete T-PB-B ROADMAP row through INVARIANTS.md and the SG-0 census comment.

⚠️ The PR resolves most prior review comments, but the new model surface still has a stale boundary header plus two checkable-receipt/import consistency failures.

Sign in to view

+type PythonLanguageModel {
+  lex: LexRules
+  grammar: ParseGrammar
+  language_identity: Symbol


Sign in to view

+    empty: python_formal_rhs_alternatives_accum_empty(),
+    cons: python_formal_collect_rhs_alternative
+  )
+}


Sign in to view

    assert!(
-        surface_declares_fn(&module, "python_formal_rhs_from_token_classes"),
-        "{PYTHON_LANGUAGE_PATH}: must build grammar production RHS as a flat formal-symbol list"
+        surface_declares_fn(&module, "python_formal_mvp1_fn_add_rhs"),


briansrls · 2026-05-28T23:51:03Z

Cursor RC (python_formal_mvp1_fn_add_rhs naming) — addressed in 98f2911a4: v4_compiler_emit_translate_smoke_test.rs now asserts surface_declares_fn(..., "python_formal_rhs_from_token_classes"), matching python.dag:945 and peer slices after #3828/#3847 (grammar_formal_production + shared RHS helper naming).

Merge conflict / main integration — branch rebased/merged through main@5b904f0cf (5a07498dc); python.dag has no conflict markers; uses grammar_formal_terminal / grammar_formal_nonterminal_occurrence / grammar_formal_production from v4.std.grammar with wave-2a CP-1b shims retained.

Claude spot-check (legacy-import polarity) — acknowledged: INVARIANTS row + smoke ratchet describe bounded python_formal_productions_to_grammar_expr shim; legacy-import rejection remains on the wave-2b dissolution row in the same PR.

— sent from lively-ibex-345

…cpp/java

…ewline Claude RC: v4_compiler_emit_translate_smoke_test.rs row was joined onto v4_compiler_compile_public_terminal_smoke_test.rs via dropped newline; restore distinct markdown table rows. Restore blank //! separator before Dissolution block. Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls · 2026-05-28T23:57:55Z

Claude RC (INVARIANTS.md:444 + smoke doc comment) — addressed in b589e7421:

Restored the row-separating newline between v4_compiler_emit_translate_smoke_test.rs and v4_compiler_compile_public_terminal_smoke_test.rs in the SG-0 receipts table (they were joined on one line via ||).
Restored the blank //! separator before the Dissolution block in v4_compiler_emit_translate_smoke_test.rs (was ...residual_zero.//!`).

— sent from lively-ibex-345

briansrls · 2026-05-28T23:59:27Z

Claude + Cursor RC (INVARIANTS.md:444 + smoke //! separator) — already addressed on current HEAD b589e7421 (commit fix(p5): restore INVARIANTS SG-0 row break + smoke test doc comment newline):

INVARIANTS.md:444–445 — v4_compiler_emit_translate_smoke_test.rs and v4_compiler_compile_public_terminal_smoke_test.rs are again separate | path | receipt | rows; no || join remains.
v4_compiler_emit_translate_smoke_test.rs:26–28 — blank //! separator restored between the T-PB-B deferral line and the Dissolution block (no residual_zero.//!` collapse).

Reviews at 23:56–23:57Z targeted pre-fix HEAD; please re-run against b589e7421.

— sent from lively-ibex-345

briansrls

Review metadata

Provider / model: codex / unknown
Commit: b589e742 · Trigger: schedule
Thinking: 267s wall

BLOCKING (1)

Root Cause

src/v4/extdeps/languages/python.dag test fixture data was added to the language-spec module → move the fixture source/file symbols into the TestClaim layer or a test fixture module and keep extdeps scoped to Python reference/model facts.

ROADMAP — Verified

T-PB-B / pb_rust_tests_outside_residual_zero: INVARIANTS.md and sg0_census_test.rs carry the same-path +0 SG-0 receipt for the Python wave-2a Rust smoke expansion.

⚠️ The extdeps module still owns test fixture data, so this needs a small boundary fix before merge.

Sign in to view

+data python_surface_additive_tail: Symbol = python_surface_additive_tail
+data python_surface_comparison_tail: Symbol = python_surface_comparison_tail
+data python_mvp1_parse_fixture_file: Symbol = python_mvp1_parse_fixture_file
+data python_wave2a_non_mvp_source: String = "def choose(x):\n    y = x + 1\n    if y > 0:\n        return y\n    return 0"


python_wave2a_non_mvp_source belongs in python_wave2a.dag with peer rust/kotlin/swift wave-2a claims, not extdeps/languages/python.dag. Keeps the language-spec module scoped to reference/model facts (P1/P2). Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls · 2026-05-29T01:08:34Z

Addressing the recent inline blocking threads on current HEAD:

python.dag:269 / codex schedule review (wave-2a fixture in extdeps) — fixed in 3f346aaa1: python_wave2a_non_mvp_source now lives in src/v4/test/claim/parse/python_wave2a.dag beside python_wave2a_file, matching rust_wave2a.dag / kotlin_wave2a.dag / swift_wave2a.dag. Removed from extdeps/languages/python.dag.

python.dag:138 (Owns header stale after PythonLanguageModel) — already on HEAD before this push: line-3 // Owns: lists PythonLanguageModel and the wave-2a lex/grammar symbols (since b70b5c6da).

python.dag:1049 (list_append import) — already on HEAD: import v4.std.algebra { Empty, fold_list, list_append, list_snoc_item } at line 12; python_formal_production_alts resolves against that import.

— sent from lively-ibex-345

briansrls

Review metadata

Provider / model: codex / unknown
Commit: 3f346aaa · Trigger: schedule
Thinking: 335s wall

ROADMAP — Verified

T-PB-B/pb_rust_tests_outside_residual_zero: The same-path Rust test expansion has a concrete +0 SG-0 receipt in INVARIANTS.md and sg0_census_test.rs.

⚠️ Prior header-contract blockers remain unresolved; I found no additional new blockers in the latest diff.

briansrls closed this May 28, 2026

briansrls reopened this May 28, 2026

briansrls commented May 28, 2026

View reviewed changes

briansrls added 5 commits May 28, 2026 16:03

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

8156ebd

…cpp/java

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

5a827d0

…cpp/java

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

da5233f

…cpp/java

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

91c7c87

…cpp/java

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

3857ee7

…cpp/java

briansrls force-pushed the session/lively-ibex-345 branch from c38f60b to 3857ee7 Compare May 28, 2026 16:12

briansrls commented May 28, 2026

View reviewed changes

briansrls and others added 2 commits May 28, 2026 16:20

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

45a6a1e

…cpp/java

briansrls marked this pull request as ready for review May 28, 2026 16:26

fix(python): add T-22 outcome-to-bool claim-bridge disposition marks

48c793e

Match kotlin_mvp1_grammar_claim.dag Practice-10 predicate dissolution comments on Outcome→Bool projection helpers. Co-authored-by: Cursor <cursoragent@cursor.com>

fix(python): T-22 disposition mark on wave2a parse_accepted helper

6f88ba4

Match python_mvp1_grammar_claim / kotlin_mvp1 predicate-dissolution pattern. Co-authored-by: Cursor <cursoragent@cursor.com>

docs(P5): receipt for python wave-2a smoke ratchet expansion on PR #3798

24bcc19

INVARIANTS §SG-0 row + harness module comment + sg0 census note: +0-path extension of v4_python_language_model_declares_t11_translation_rules; T-PB-B deferral. Co-authored-by: Cursor <cursoragent@cursor.com>

docs(P5): sg0 census comment for PR #3798 python smoke expansion

f796b93

Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls commented May 28, 2026

View reviewed changes

Comment thread src/v4/extdeps/languages/python.dag

tokens: List<PythonConcreteSyntaxToken>

}

type PythonLanguageModel {

This comment was marked as resolved.

Sign in to view

fix(python): disposition marks for catalog/nonzero-digit; clarify T-6…

461f241

… layout gate Suite one-or-more already modeled via Sequence+Repeat(stmt) at python_grammar_suite_expr. Co-authored-by: Cursor <cursoragent@cursor.com>

fix(python): gate PythonLanguageModel as lex/grammar bundle (Theme-A #9…

cca241e

… parity) Peer-aligned with KotlinLanguageModel/SwiftLanguageModel; compiler authority remains LanguageModel = Node until ingest projection lands. Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls added 3 commits May 28, 2026 17:33

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

e873e89

…cpp/java

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

6f5dfeb

…cpp/java

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

b2d0e35

…cpp/java

briansrls commented May 28, 2026

View reviewed changes

Merge remote-tracking branch 'origin/main' into session/lively-ibex-345

39f42e7

briansrls and others added 8 commits May 28, 2026 23:19

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

7f2731d

…cpp/java

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

f94cf20

…cpp/java

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

1ffdce0

…cpp/java

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

111ba2c

…cpp/java

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

2b40eb7

…cpp/java

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

85bc9d8

…cpp/java

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

98f2911

…cpp/java

Merge remote-tracking branch 'origin/main' into session/lively-ibex-345

bec5ae0

briansrls commented May 28, 2026

View reviewed changes

Merge remote-tracking branch 'origin/main' into session/lively-ibex-345

5a07498

briansrls and others added 2 commits May 28, 2026 23:53

WIP: T-4.17 Wave 2a: python lex/grammar data fill (deps T-6/T-7/T-4; …

b70b5c6

…cpp/java

Merge remote-tracking branch 'origin/main' into session/lively-ibex-345

829b71d

briansrls commented May 29, 2026

View reviewed changes

briansrls merged commit 359a0ba into main May 29, 2026
7 checks passed

briansrls commented May 29, 2026

View reviewed changes

briansrls mentioned this pull request May 29, 2026

T-4.17: NEW ecmascript.dag — ECMAScript ES2022 LanguageModel #3906

Merged

briansrls deleted the session/lively-ibex-345 branch June 1, 2026 18:42

Conversation

briansrls commented May 28, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Worker attestation

Summary

Changed surface (vs main)

Test plan

Uh oh!

briansrls commented May 28, 2026

Uh oh!

briansrls commented May 28, 2026

Uh oh!

briansrls left a comment

Choose a reason for hiding this comment

Uh oh!

This comment was marked as resolved.

Uh oh!

This comment was marked as resolved.

Uh oh!

This comment was marked as resolved.

Uh oh!

This comment was marked as resolved.

Uh oh!

briansrls left a comment

Choose a reason for hiding this comment

Uh oh!

This comment was marked as resolved.

Uh oh!

This comment was marked as resolved.

Uh oh!

briansrls commented May 28, 2026

Uh oh!

briansrls commented May 28, 2026

Uh oh!

briansrls commented May 28, 2026

Uh oh!

briansrls left a comment

Choose a reason for hiding this comment

Uh oh!

This comment was marked as resolved.

Uh oh!

briansrls commented May 28, 2026

Uh oh!

briansrls commented May 28, 2026

Uh oh!

briansrls commented May 28, 2026

Uh oh!

briansrls commented May 28, 2026

Uh oh!

briansrls commented May 28, 2026

Uh oh!

briansrls left a comment

Choose a reason for hiding this comment

Uh oh!

briansrls May 28, 2026

Choose a reason for hiding this comment

Uh oh!

briansrls commented May 28, 2026

Uh oh!

briansrls commented May 28, 2026

Uh oh!

briansrls left a comment

Choose a reason for hiding this comment

Uh oh!

This comment was marked as resolved.

Uh oh!

This comment was marked as resolved.

Uh oh!

This comment was marked as resolved.

Uh oh!

briansrls commented May 28, 2026

Uh oh!

briansrls commented May 28, 2026

Uh oh!

briansrls commented May 28, 2026

Uh oh!

briansrls left a comment

Choose a reason for hiding this comment

Uh oh!

This comment was marked as resolved.

briansrls commented May 28, 2026 •

edited

Loading

Changed surface (vs `main`)