From 17dfebd25ac48bcaf921db6bfcb0857981985844 Mon Sep 17 00:00:00 2001 From: Seth Juarez Date: Fri, 16 Oct 2026 10:33:58 -0700 Subject: [PATCH 1/2] chore: check out Go sources with LF so gofmt passes on Windows core.autocrlf=true checks hand-authored Go fixtures out as CRLF, which fails the validate:fixtures gofmt stage. Committed blobs are already LF, so renormalization is a no-op. Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com> Copilot-Session: 25c59b95-6ae9-4775-bd14-86a11b625d8d --- .gitattributes | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 .gitattributes diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..26b97eb --- /dev/null +++ b/.gitattributes @@ -0,0 +1,2 @@ +# gofmt rejects CRLF; keep Go sources LF on every checkout. +*.go text eol=lf From 01d991dca652dbaba9572676cd074be4f7485211 Mon Sep 17 00:00:00 2001 From: Seth Juarez Date: Fri, 16 Oct 2026 10:33:58 -0700 Subject: [PATCH 2/2] docs(roadmap): drop stale HTTP transport deferral The transport roadmap (#189) is complete and contracts.mdx already says transport builds on callable/vector conformance. Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com> Copilot-Session: 25c59b95-6ae9-4775-bd14-86a11b625d8d --- docs/src/content/docs/roadmap.mdx | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/docs/src/content/docs/roadmap.mdx b/docs/src/content/docs/roadmap.mdx index b7efab4..b969948 100644 --- a/docs/src/content/docs/roadmap.mdx +++ b/docs/src/content/docs/roadmap.mdx @@ -8,8 +8,9 @@ Typra moves toward an agent drift prevention layer: TypeSpec is the durable source of truth, and Typra projects equivalent runtime behavior across languages with executable evidence. -The current priority is callable and vector conformance informed by Prompty's -consumer needs, not HTTP transport projection. Prompty is evidence for what must +Callable and vector conformance, informed by Prompty's consumer needs, came +first. HTTP transport projection now builds on that foundation rather than +driving the contract shape. Prompty is evidence for what must work; Typra's principles decide what should become the durable contract model. If this reveals a better way to build Prompty with Typra, that is a valid success path, not a regression. @@ -25,8 +26,8 @@ success path, not a regression. 5. Add `@vector` for callable behavior backed by a callable conformance oracle. 6. Add shared structural CodeModel and target renderers to reduce per-language emitter duplication. -7. Defer HTTP transport projection until callable/vector - conformance is proven. +7. Layer [HTTP transport projection](/mappings/operations/#http-transport) on + callable IR, adding producer and consumer targets as real consumers need them. ## Executable conformance specification