Skip the lane name guard for profile-only launches - #135

Merged

brettheap merged 6 commits into

mainfrom

002-skip-no-lane-guard

Sep 30, 2026

Commits on Sep 30, 2026

fix: skip the lane name guard for profile-only launches
brettheap
committed
275c0be
docs: reconcile the guard recovery contract with profile-only launches
brettheap
committed
64799e1
fix: exempt profile-only prompts before lane identity initialization
brettheap
committed
e968c75
docs: keep the guard contract within the instruction size limit
brettheap
committed
7068eb4
ci: verify the guard launch contract with the canonical focused suite
brettheap
committed
64f4e93
docs: record the expanded canonical guard verification
brettheap
committed
a2861bb