Repository navigation

Family-neutral BMC first contact for Mt. Jade unit 1 - #11620

Merged

briansrls merged 31 commits into

mainfrom

session/proud-owl-749-mtjade-bmc

Sep 19, 2026

Commits on Sep 18, 2026
- Start Mt. Jade BMC intake as family-neutral first contact, not an OpenBMC factory login.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  67a8215
- Name the Jade first 1DPC fill as sixteen Slot0 positions, not Collins J-odd silk.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  06e45c6
- Drop the unauthorable Redfish-family fold and the Jade-only unit-key type.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  bb56f9f
- Cite the Ampere Mt. Jade PVT/DVT GSG Issue 1.00 for Table 11 1DPC silk.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  ea5d355
- Model Jade residence fan failsafe: not indefinite, first-POST finding typed.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  883c78f
- Keep the Jade probe's HTTP code and stop minting constant-Bool walls.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  5220716
- Keep Table 3 TBD distinct from a missing cell, and consume the Jade SecretRef.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  0f5519f
- Split curl write-out: status-only vs body-then-newline-status.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  35f831e
- Enroll the Jade GSG modules and derive Table 11 silk from MCU pairs.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  3823a16
- Cite the Jade GSG publisher locator first; keep the Drive copy as a mirror.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  6185672
- Take 1DPC topology as an argument so the mixing checks can go red.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  fd88f10
- Let the Jade standing claims go red, and consume the GSG digest.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  0fa31ec
- mt jade GSG witnesses: drop the != "" conjuncts over NonEmptyStr (no authorable RED) and delete gsg_unstated_topic_eq; the rail-kit claim asserts row identity with the GSG, not prose equality (revi…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  327018a
- Hoist the ProbeServiceRoot note to module grain, and finish reviews 67912/67931
  
  Brian Searls
  and
  claude
  committed
  f3979b5
- Declare the stated GSG rows a coverage frontier and delete the literal-copy witness
  
  Brian Searls
  and
  claude
  committed
  cfacbd3
- Fix four IMPORT-MEMBER-ABSENT declarations the parse failure had been masking
  
  Brian Searls
  and
  claude
  committed
  ab4c379
- Move the GSG coverage frontier out of prose into std.roster_frontier rows
  
  Brian Searls
  and
  claude
  committed
  998b9d6
- Name the fourth transport axis, and fix the two types that declared no constructor
  
  Brian Searls
  and
  claude
  committed
  3a4c9d7
- Put the gunbc-side Jade rows on the same typed frontier as the document rows
  
  Brian Searls
  and
  claude
  committed
  89e9db4
- Delete two aliases whose only reader asserted x == x, and roster the rows they hid
  
  Brian Searls
  and
  claude
  committed
  d2b2e2a
Commits on Sep 19, 2026
- Replace the roster count conjuncts with an identity join, and drop two more literal copies
  
  Brian Searls
  and
  claude
  committed
  36a5f10
- Delete three more aliases and roster five more dangling names, by census not by name
  
  Brian Searls
  and
  claude
  committed
  a250a57
- Restore the per-read digests a §3 fix had collapsed, and cut two more decorations
  
  Brian Searls
  and
  claude
  committed
  743db79
- Drop two unread imports and roster the row one of them was hiding
  
  Brian Searls
  and
  claude
  committed
  0bdf6c7
- Join the digest on its hex, not on a wire form the receipts never use
  
  Brian Searls
  and
  claude
  committed
  790d22f
- Delete two more literal-copy conjuncts and roster the module the roster could not see
  
  Brian Searls
  and
  claude
  committed
  acd9ade
- Census every added declaration at once, and roster the fourth and fifth modules
  
  Brian Searls
  and
  claude
  committed
  314702d
- Fix four resolution errors CI found: builtin imports, a wrong field, a non-exhaustive match
  
  Brian Searls
  and
  claude
  committed
  6b148f1
- Separate reachability from family observation, and unroster three consumed helpers
  
  Brian Searls
  and
  claude
  committed
  fa31698
- Delete the decoration I built as the operator's RED, and state the real rung
  
  Brian Searls
  and
  claude
  committed
  c747b4f
- Say unconstructible on the sibling trigger too, and fix a mangled clause
  
  Brian Searls
  and
  claude
  committed
  84d51d1

Navigation Menu

Repository navigation

Family-neutral BMC first contact for Mt. Jade unit 1 - #11620

Family-neutral BMC first contact for Mt. Jade unit 1#11620
briansrls merged 31 commits into
mainfrom
session/proud-owl-749-mtjade-bmc

Commits on Sep 18, 2026

Start Mt. Jade BMC intake as family-neutral first contact, not an OpenBMC factory login.

Name the Jade first 1DPC fill as sixteen Slot0 positions, not Collins J-odd silk.

Drop the unauthorable Redfish-family fold and the Jade-only unit-key type.

Cite the Ampere Mt. Jade PVT/DVT GSG Issue 1.00 for Table 11 1DPC silk.

Model Jade residence fan failsafe: not indefinite, first-POST finding typed.

Keep the Jade probe's HTTP code and stop minting constant-Bool walls.

Keep Table 3 TBD distinct from a missing cell, and consume the Jade SecretRef.

Split curl write-out: status-only vs body-then-newline-status.

Enroll the Jade GSG modules and derive Table 11 silk from MCU pairs.

Cite the Jade GSG publisher locator first; keep the Drive copy as a mirror.

Take 1DPC topology as an argument so the mixing checks can go red.

Let the Jade standing claims go red, and consume the GSG digest.

mt jade GSG witnesses: drop the != "" conjuncts over NonEmptyStr (no authorable RED) and delete gsg_unstated_topic_eq; the rail-kit claim asserts row identity with the GSG, not prose equality (revi…

Hoist the ProbeServiceRoot note to module grain, and finish reviews 67912/67931

Declare the stated GSG rows a coverage frontier and delete the literal-copy witness

Fix four IMPORT-MEMBER-ABSENT declarations the parse failure had been masking

Move the GSG coverage frontier out of prose into std.roster_frontier rows

Name the fourth transport axis, and fix the two types that declared no constructor

Put the gunbc-side Jade rows on the same typed frontier as the document rows

Delete two aliases whose only reader asserted x == x, and roster the rows they hid

Commits on Sep 19, 2026

Replace the roster count conjuncts with an identity join, and drop two more literal copies

Delete three more aliases and roster five more dangling names, by census not by name

Restore the per-read digests a §3 fix had collapsed, and cut two more decorations

Drop two unread imports and roster the row one of them was hiding

Join the digest on its hex, not on a wire form the receipts never use

Delete two more literal-copy conjuncts and roster the module the roster could not see

Census every added declaration at once, and roster the fourth and fifth modules

Fix four resolution errors CI found: builtin imports, a wrong field, a non-exhaustive match

Separate reachability from family observation, and unroster three consumed helpers

Delete the decoration I built as the operator's RED, and state the real rung

Say unconstructible on the sibling trigger too, and fix a mangled clause