Lens proposal: A4 system-model usage rescue in shared Boot#third_argument #1529
Labels
No labels
P0
P1
P2
P3
bug
category/code-change
category/cross-repo
category/eval-run
category/investigation
category/no-test-target
category/owner-ruling
category/prose-artifact
category/recurring-chore
category/structure
category/umbrella
crc-refactor
create
delete
enhancement
filed-by/agent
filed-by/user
frozen
lint-rule
needs-info
needs-triage
next
plugin/cc-architect
plugin/os
plugin/os-adr
plugin/os-aidd-lint
plugin/os-backlog
plugin/os-context
plugin/os-doc-hygiene
plugin/os-sdlc
plugin/os-vault
project/cc-os
ready-for-agent
ready-for-human
recurring
review
rule-proposal
update
waiting
wayfinder:grilling
wayfinder:map
wayfinder:map
wayfinder:research
wayfinder:task
wayfinder:task
wontfix
worklist/deviations
worklist/lint-rule
worklist/new-implement-build
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
jared/cc-os#1529
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Problem
Boot#third_argument(plugins/os-sdlc/lib/os_sdlc/boot.rb:71-79) is shared by all commands. It now holds a rescue that only system-model uses: on a bind error it appendsInputs::SYSTEM_MODEL_USAGE, keyed onInput#project_scan(lens A4). The contract-auditor marked the breakJUSTIFIED: yes: one sender, and the rescue keeps two pinned usage refusals.LENS line:
LENS: A4 broken at plugins/os-sdlc/lib/os_sdlc/boot.rb:75-78 -- BREAKS: shared Boot#third_argument holds a system-model-only rescue that appends Inputs::SYSTEM_MODEL_USAGE, keyed on the system-model-only Input#project_scan flag; JUSTIFIED: yes, one sender only, and the rescue keeps pinned usage refusals (system_model_coverage_test.rb:72, system_model_opportunities_cli_test.rb:71); a general usage field on Input is speculative (principle 1); PROPOSAL: NONE: a second sender is the signal to move the usage text onto Input.Challenge verdict: heuristic holds. The rescue is error translation at the entry edge, as
Boot#preparedalready does (boot.rb:66-68). Ausagefield onInputwould not replaceproject_scan, which also drivesInput#project?. No lens edit. Trigger to revisit: a second command needs its own usage text on a bind error.Run ticket: #1516.
Reproduce
n/a: lens proposal from implementation 225.
Origin
VERDICT: CREATE