Skip to content

Latest commit

 

History

History
137 lines (127 loc) · 8.92 KB

File metadata and controls

137 lines (127 loc) · 8.92 KB

Per-Variant Requirements Traces

Generated by analysis/reporting/makeVariantTraceMatrix.m after a green runAllTests - do not hand-edit. One trace per candidate physical architecture (no baseline is committed; ADR-035), then a side-by-side comparison. Implemented = Implement links from the variant model (direct) and/or the variant-independent functional architecture. Gate = the variant's verdict from the formal Requirements Table gate. Test evidence = Verify-linked simulation cases (verified) or the pinned regression-baseline finding (FAILS).

HyperCook

SR Requirement Implemented Gate Test evidence
SR-GS-001 Recipe count functional - verified: "HyperCook recipe rotation"
SR-GS-002 Throughput functional PASS verified: "HyperCook nominal"
SR-GS-003 Automation level functional PASS -
SR-GS-004 Operator count functional PASS -
SR-GS-005 Shipping manifest functional - -
SR-GS-006 Transport loading time functional - verified: "HyperCook transport loading"
SR-GS-007 Contamination detection direct + functional - verified: "HyperCook contamination 2 percent"
SR-GS-008 Serving temperature direct + functional - -
SR-GS-009 Container seal life direct + functional - -
SR-GS-010 Inventory accuracy functional - -
SR-GS-011 Mass budget direct PASS -
SR-GS-012 Power budget direct FAIL no test case; formal gate FAILS
SR-GS-013 Cost budget direct FAIL no test case; formal gate FAILS
SR-GS-014 Volume budget direct FAIL no test case; formal gate FAILS
SR-GS-015 Gravity operating range direct + functional PASS verified: "HyperCook at 0.1 g"; "HyperCook at 12 g"
SR-GS-016 Structural 12 g tolerance direct + functional - -
SR-GS-017 Concurrent rocket support direct + functional - -
SR-GS-018 Rocket turnaround direct + functional - verified: "HyperCook rocket turnaround"
SR-GS-019 Rocket refueling direct + functional - -
SR-GS-020 Temperature-controlled storage direct + functional - -
SR-GS-021 Ingredient storage capacity direct + functional - verified: "HyperCook storage endurance"
SR-GS-022 Cooking capacity functional - -
SR-GS-023 Internal transfer time functional - -
SR-GS-024 Internal transport automation functional - -
SR-GS-025 Startup readiness functional - verified: "HyperCook nominal"
SR-GS-026 Fault-induced throughput degredation functional - FAILS - single-string collapse, 0% retention ("HyperCook worst fault - regression baseline")
SR-GS-027 Production coordination functional - -
SR-GS-028 Preparation zone functional - -

LeanBroth

SR Requirement Implemented Gate Test evidence
SR-GS-001 Recipe count functional - -
SR-GS-002 Throughput functional FAIL FAILS - 196.8 bph vs 200 floor ("LeanBroth nominal - regression baseline")
SR-GS-003 Automation level functional PASS -
SR-GS-004 Operator count functional PASS -
SR-GS-005 Shipping manifest functional - -
SR-GS-006 Transport loading time functional - verified: "LeanBroth transport loading"
SR-GS-007 Contamination detection direct + functional - -
SR-GS-008 Serving temperature direct + functional - -
SR-GS-009 Container seal life direct + functional - -
SR-GS-010 Inventory accuracy functional - -
SR-GS-011 Mass budget direct PASS -
SR-GS-012 Power budget direct PASS -
SR-GS-013 Cost budget direct PASS -
SR-GS-014 Volume budget direct PASS -
SR-GS-015 Gravity operating range direct + functional PASS -
SR-GS-016 Structural 12 g tolerance direct + functional - -
SR-GS-017 Concurrent rocket support direct + functional - -
SR-GS-018 Rocket turnaround direct + functional - FAILS - 1241.5 s vs 1200 s limit ("LeanBroth rocket turnaround - regression baseline")
SR-GS-019 Rocket refueling direct + functional - -
SR-GS-020 Temperature-controlled storage direct + functional - -
SR-GS-021 Ingredient storage capacity direct + functional - verified: "LeanBroth storage endurance"
SR-GS-022 Cooking capacity functional - -
SR-GS-023 Internal transfer time functional - -
SR-GS-024 Internal transport automation functional - -
SR-GS-025 Startup readiness functional - -
SR-GS-026 Fault-induced throughput degredation functional - FAILS - single-string collapse, 0% retention ("LeanBroth worst fault - regression baseline")
SR-GS-027 Production coordination functional - -
SR-GS-028 Preparation zone functional - -

EverSimmer

SR Requirement Implemented Gate Test evidence
SR-GS-001 Recipe count functional - verified: "EverSimmer recipe rotation"
SR-GS-002 Throughput functional PASS verified: "EverSimmer nominal"
SR-GS-003 Automation level functional PASS -
SR-GS-004 Operator count functional PASS -
SR-GS-005 Shipping manifest functional - -
SR-GS-006 Transport loading time functional - verified: "EverSimmer transport loading"
SR-GS-007 Contamination detection direct + functional - verified: "EverSimmer contamination 2 percent"
SR-GS-008 Serving temperature direct + functional - verified: "EverSimmer nominal"
SR-GS-009 Container seal life direct + functional - -
SR-GS-010 Inventory accuracy functional - -
SR-GS-011 Mass budget direct PASS -
SR-GS-012 Power budget direct PASS -
SR-GS-013 Cost budget direct PASS -
SR-GS-014 Volume budget direct PASS -
SR-GS-015 Gravity operating range direct + functional PASS FAILS at 0.1 g - 189.3 bph vs 200 floor ("EverSimmer at 0.1 g - regression baseline"; ADR-026)
SR-GS-016 Structural 12 g tolerance direct + functional - -
SR-GS-017 Concurrent rocket support direct + functional - -
SR-GS-018 Rocket turnaround direct + functional - verified: "EverSimmer rocket turnaround"
SR-GS-019 Rocket refueling direct + functional - -
SR-GS-020 Temperature-controlled storage direct + functional - -
SR-GS-021 Ingredient storage capacity direct + functional - verified: "EverSimmer storage endurance"
SR-GS-022 Cooking capacity functional - -
SR-GS-023 Internal transfer time functional - -
SR-GS-024 Internal transport automation functional - -
SR-GS-025 Startup readiness functional - verified: "EverSimmer nominal"
SR-GS-026 Fault-induced throughput degredation functional - verified: "EverSimmer worst fault"
SR-GS-027 Production coordination functional - -
SR-GS-028 Preparation zone functional - -

Comparison

verified = Verify-linked simulation case passed for that variant; FAILS = pinned finding or formal gate failure; gate PASS = formal gate evidence only; - = no variant-specific evidence (analysis-chain coverage may still apply).

SR Requirement HyperCook LeanBroth EverSimmer
SR-GS-001 Recipe count verified - verified
SR-GS-002 Throughput verified FAILS verified
SR-GS-003 Automation level gate PASS gate PASS gate PASS
SR-GS-004 Operator count gate PASS gate PASS gate PASS
SR-GS-005 Shipping manifest - - -
SR-GS-006 Transport loading time verified verified verified
SR-GS-007 Contamination detection verified - verified
SR-GS-008 Serving temperature - - verified
SR-GS-009 Container seal life - - -
SR-GS-010 Inventory accuracy - - -
SR-GS-011 Mass budget gate PASS gate PASS gate PASS
SR-GS-012 Power budget FAILS gate PASS gate PASS
SR-GS-013 Cost budget FAILS gate PASS gate PASS
SR-GS-014 Volume budget FAILS gate PASS gate PASS
SR-GS-015 Gravity operating range verified gate PASS FAILS
SR-GS-016 Structural 12 g tolerance - - -
SR-GS-017 Concurrent rocket support - - -
SR-GS-018 Rocket turnaround verified FAILS verified
SR-GS-019 Rocket refueling - - -
SR-GS-020 Temperature-controlled storage - - -
SR-GS-021 Ingredient storage capacity verified verified verified
SR-GS-022 Cooking capacity - - -
SR-GS-023 Internal transfer time - - -
SR-GS-024 Internal transport automation - - -
SR-GS-025 Startup readiness verified - verified
SR-GS-026 Fault-induced throughput degredation FAILS FAILS verified
SR-GS-027 Production coordination - - -
SR-GS-028 Preparation zone - - -