Skip to content

spec(igla): own_model.t27 -- the 27-part map of our own model (Closes #10026) - #10028

Merged
gHashTag merged 2 commits into
masterfrom
feat/own-model-map
Oct 17, 2026
Merged

spec(igla): own_model.t27 -- the 27-part map of our own model (Closes #10026)#10028
gHashTag merged 2 commits into
masterfrom
feat/own-model-map

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 17, 2026

Copy link
Copy Markdown
Owner

Closes #10026. Part of epic #10024.

What

specs/igla/own_model.t27: one 27-cell T27F map of our own model. It has three lenses: IGLA CODER, HSLM in t27, and the harness. It uses the same workflow as reel_t27_basics.t27 and reel_gf16_nmse.t27:

  • Statuses are earned through topic_engine::earned_status from four measurements per cell, and checked with topic_reel::statuses_earned.
  • Gaps are named in MISSING and checked with gaps_are_named.
  • Slide text is checked with slides_fit and stage_slides_bare.
  • PCT is a separate estimate per cell. Its basis is in SOURCES, and it never feeds a status. The lens and overall figures are equal-weight means, and the spec says that this weighting is a convention.

Measured 2026-10-17 (Railway lab, t27c from efe3c94, zig 0.16.0)

  • Of 17 ML specs, 4 compile and pass: cross_entropy_loss 5/5, sgd 4/4, adam 4/4, lamb 4/4.
  • The other 13 are blocked, including all nine specs/igla/coder/*.t27, nn/hslm.t27, hslm/forward_pass.t27, nn/attention.t27 and optimizer/adamw.t27.
  • Hugging Face: tern-tc-9m and tern-tc-9m-t27 return 200. tern-tc-100m returns 401, the same as a made-up name.
  • IGLA board /state returns 200, but its snapshot is dated 2026-10-05.
  • Result: 1 published, 11 verified, 8 drafts, 7 gaps, about 39 percent overall.

Verified

  • The spec's test report on the lab: 8 tests, 8 pass, 0 vacuous, 1 invariant proved.
  • Planted fault: drawing cell 7 (the 9M model, live but unreviewed) as published turned a_status_is_earned_not_chosen red. The file was then restored.
  • The still is drawn with the t27f_view host from the same STATUS and LABELS.

Only .t27; no other file changed.

🤖 Generated with Claude Code

@gHashTag @claude
spec(igla): own_model.t27 -- the 27-part map of our own model (Closes #…
a3d1279 
…10026)

One map for IGLA CODER, HSLM in t27 and the harness, through the T27F topic
workflow: statuses earned by topic_engine::earned_status from measurements
taken 2026-10-17 on the Railway lab (4 of 17 ML specs compile, 0 of 9
IGLA CODER specs), Hugging Face and the IGLA board. 1 published, 11
verified, 8 drafts, 7 gaps; about 39 percent overall, equal weight per
cell. Epic #10024.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@github-actions github-actions Bot mentioned this pull request Oct 17, 2026
Merged
@github-actions

github-actions Bot commented Oct 17, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-17 17:03:21 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 48
PRs with All Checks Green 2
READY 0
FAILING 48
PENDING 0
NO CHECKS YET 0

These columns do not partition: 0 + 48 + 0 + 0 = 48, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=e769ef021713 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@github-actions github-actions Bot mentioned this pull request Oct 17, 2026
Merged
@gHashTag
gHashTag enabled auto-merge (squash) October 17, 2026 17:06
@github-actions

github-actions Bot commented Oct 17, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-17 17:06:58 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 49
PRs with All Checks Green 1
READY 0
FAILING 49
PENDING 0
NO CHECKS YET 0

These columns do not partition: 0 + 49 + 0 + 0 = 49, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=e769ef021713 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag
gHashTag merged commit f787afb into master Oct 17, 2026
24 of 28 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

spec(igla): own_model.t27 -- the 27-part map of our own model

1 participant

@gHashTag