[woksin]

Added

• Spec guidance on choosing the cheapest real proof: hosts, kernels, containers and browsers only prove contracts the repository owns, consumer routing/e2e and service-boundary regression tests stay in the pull-request lane, and retiring a consumer assertion needs a named upstream spec. Run cratis ai update to get it. (Guidance: choose the cheapest real proof; hosts and containers only for owned contracts #1139)

[woksin]

Folded items

• l113-1139-cheapest-proof at 2c750dbba50f7f82a17e6ef47cc613de29bf65ef; cancelled runs: none

Verification

build: ai-train-1112-install (2026-11-12T21:34:46.337411Z)
test: ai-train-1112-corpus-specs (2026-11-12T21:35:00.339221Z)

[woksin]

Reviewer notes

• Train cut: this train holds only Guidance: choose the cheapest real proof; hosts and containers only for owned contracts #1139. The other pending AI branches are already on main, or (ai-arc-mcp-skill) failed review and ride a later train. PR Teach how a handled extension signal runs on Scene's signal trigger #1145 is a maintainer PR and ships separately.
• Review: cross-provider review (Opus + Sol + security lens) passed with no findings.
• Local checks: the corpus spec subset (yarn --cwd Source/Verification test:corpus) passes. The full verify and Verification suite could not pass locally: the Screenplay 6.24.0 pin needs .NET SDK 11.0.100, which is not installed on this machine, and one awk test timed out. CI's verify jobs cover these.
• The Copilot harness copy was regenerated with yarn --cwd Source/Harness.Setup setup.

cc @einari