own_model: cell 23 verified -- all 17 ML specs compile after nn/attention #10163

Goal

Record in specs/igla/own_model.t27 that cell 23 ("ML specs that compile") has its passing test: after #10095 made specs/nn/attention.t27 compile, all 17 measured ML specs compile and pass on the Railway lab. Part of epic #10024.

Boundary

Touches only specs/igla/own_model.t27 and specs/igla/own_model_board.t27 (the board event mirrors the map's STATUS and PCT). No compiler change, no other spec.

Scenarios

• t27c test-report specs/nn/attention.t27 on the lab at master ba78d6d: 35/35 pass, 9 invariants proved, 0 vacuous.
• The other seven non-coder ML specs re-run on the same checkout: cross_entropy_loss 5/5, sgd 4/4, adam 4/4, adamw 12/12, lamb 4/4, nn/hslm 61/61, hslm/forward_pass 14/14.
• The nine coder specs compile since spec(igla): make the nine IGLA CODER specs compile and pass with 0 vacuous (Closes #10075) #10101.

Requirements

• TEST_PASS[22] true, STATUS[22] VERIFIED, PCT[22] = share_pct(17, 17) = 100, ML_SPECS_COMPILING = 17.
• Tally becomes 1 published, 16 verified, 5 drafts, 5 gaps; overall stays 54 percent; harness lens 36 -> 37.
• The board spec's MSG, LENS_PCT, CELL_STATUS, CELL_PCT and METRICS_BYTES follow, and its tests still refuse a wrong tally.

Close criteria

• Both specs pass t27c test-report with 0 vacuous on the lab.
• PR merged with Closes this issue.