feat(typed-builder): OrderBackend vertical-slice MVP over OwnIR v2/H1 - #391
Merged
Merged
Conversation
Registers the Typed Builder + ASP.NET Core + EF Core Order vertical slice before any product code: kill-first answers read off the base, exact layout, entity, persisted state, generated API, refinement boundary, raw-entity contract, HTTP contract, corpus with expected results, hostile controls H1-H18, official run order and the acceptance verdict. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011ZFvhLx1fM9Gerg4dKsZcL
…ET Core + EF Core sample, gate) Implements docs/notes/tb-mvp-01-preregistration.md: - frontend/roslyn/Own.TypedBuilder: a syntax-only generator. From one annotated declaration ([TypedProtocol], [ProtocolState], [BuilderRequired], [Transition]) it writes the state tokens, transitions, checked region entries, strict state storage and a staged builder. Output is deterministic and committed (not *.g.cs: the extractor must scan it as source). - samples/OrderBackend: one ordinary EF Core Order entity under all typed states, a minimal API with create/submit/approve/ship/get/list, SQLite. A pure helper inside the Ship region goes through H1 proven_call. - corpus: 8 positive, 20 negative (compiler / extractor / core), 2 stated limits, each pinned to its registered answer. - Acceptance: real HTTP on real SQLite, with raw-SQL, ChangeTracker and HTTP oracles outside the typed API; fixed clock, deterministic transcript. - scripts/typed_builder_gate.py (+ --clean-checkout) and the CI step. No change under ownlang/, rust/, spec/, the extractor or T0 calibration. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011ZFvhLx1fM9Gerg4dKsZcL
…ild output The first official clean-checkout run reported the tracked Rust source directory rust/crates/own-shadow/src/bin as build output. Only a bin/ or obj/ beside a .csproj is .NET build output. Gate mechanics only; no registered expectation changes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011ZFvhLx1fM9Gerg4dKsZcL
Official run history (run 1 FAIL on a gate-check defect, fixed in e946d82; run 2 PASS), counts, transition evidence, H1-H18, the 18 GO conditions and what the slice does not claim. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011ZFvhLx1fM9Gerg4dKsZcL
This was referenced Oct 3, 2026
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
2 participants
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.
Что и зачем
TB-MVP-01: end-to-end vertical slice поверх уже слитого OwnIR v2/H1 (#390).
cf7eb01);Orderостаётся единственным tracked entity;proven_callреально используется в Ship дляShipping.TrackingNumber(int), без special-case;877ee69f: пустой поownlang/,rust/,spec/, extractor core, T0/calibration иperf_baseline.py.История gate
Первый официальный run упал только на дефекте самого clean-checkout checker: tracked Rust source
rust/crates/own-shadow/src/binбыл принят за .NET build output.e946d82сузил правило доbin/objрядом с.csproj; preregistered expectations не менялись.Второй официальный run: PASS, два свежих worktree, evidence byte-identical.
Ключевые результаты
7/ case-insensitiveapproved.Вне scope
Подробности и точные evidence digests:
docs/notes/tb-mvp-01-report.md.