# Linear Static MITC4 Shell Reference Cases

## Metadata

- feature_id: `linear-static-mitc4-shell`
- source_requirement: `docs/requirements/linear-static-mitc4-shell.md`
- source_io_definition: `docs/io-definitions/linear-static-mitc4-shell-io.md`
- status: `approved-for-implementation-planning`
- owner_agent: `reference-model-agent`
- date: `2026-08-13`
- artifact_policy: `read-only-existing-files`
- authoritative_fesa_output: `results.h5`

## 1. Purpose and boundary

This document is the lightweight inventory and comparison contract for the sole
approved full-integration S4 reference case. Abaqus supplies an external displacement reference;
it does not define FESA element equations, integration, stabilization, recovery, or
implementation structure. FESA and Abaqus are not required to operate identically.

Reference readiness requires only:

- the declared Abaqus `.inp` file and displacement CSV for each case;
- the FESA `results.h5` generated from that case's `.inp`;
- deterministic source-instance/node/component matching;
- the approved tolerance and decision rule in Section 5.

README, `metadata.json`, canonical naming, legacy-alias approval, Abaqus version or
generation provenance, duplicated unit/coordinate/model/step/frame/material/section
descriptions, and a CSV schema-version record are not required. If `metadata.json`
later exists, it is optional read-only context and does not override the declared
input, CSV, row mapping, or tolerance.

## 2. Read-only case inventory

| case_id | source label | role | exact path | SHA-256 | observed content |
| --- | --- | --- | --- | --- | --- |
| `shell-s4` | `S4` | input | `reference/shell/shell.inp` | `4005851E1AB22FD3A16AC17A8D5DA3E051233F69F37419079F3553AD134ECFCF` | `TYPE=S4`; one linear-static case |
| `shell-s4` | `S4` | required reference | `reference/shell/shell displacements.csv` | `C81D94E0B4A849F87AA0F79C83A79B94D5661AC79E44ED826919AB432C87746B` | 49 data rows; U and UR components |

The existing reaction and stress CSVs in `reference/shell/` are optional inspection
evidence only. Existing files under `reference/shellR/` are also optional inspection
evidence and are not consumed by acceptance comparison. They are not pass/fail inputs.
No agent may rename, rewrite, normalize, repair, regenerate, or restore any reference
artifact unless a later phase explicitly authorizes that operation.

## 3. Required CSV mapping

Trim surrounding whitespace from header names, then apply this exact projection:

| Abaqus CSV column | normalized identity/value | FESA HDF5 source |
| --- | --- | --- |
| `Part Instance Name` | `instance_name` | `/model/nodes.instance_name` |
| `Node Label` | `source_node_label` | `/model/nodes.source_label` |
| `U-U1` | `U1` | `/steps/Step-1/frames/0/nodal/displacement[:,0]` (`UX`) |
| `U-U2` | `U2` | `/steps/Step-1/frames/0/nodal/displacement[:,1]` (`UY`) |
| `U-U3` | `U3` | `/steps/Step-1/frames/0/nodal/displacement[:,2]` (`UZ`) |
| `UR-UR1` | `UR1` | `/steps/Step-1/frames/0/nodal/displacement[:,3]` (`URX`) |
| `UR-UR2` | `UR2` | `/steps/Step-1/frames/0/nodal/displacement[:,4]` (`URY`) |
| `UR-UR3` | `UR3` | `/steps/Step-1/frames/0/nodal/displacement[:,5]` (`URZ`) |

The normalized row key is
`(case_id,instance_name,source_node_label,component)`. Stable comparison order is
case `shell-s4`; then FESA instance declaration order; stable source-node order; and
component order `[U1,U2,U3,UR1,UR2,UR3]`.

## 4. Precheck

Before numerical comparison, each case shall satisfy all of the following:

1. The declared input, displacement CSV, and FESA `results.h5` exist.
2. The six required displacement headers map exactly as Section 3 specifies.
3. Each required CSV and HDF5 value is finite.
4. Each normalized row key is unique.
5. CSV and HDF5 normalized row-key sets are exactly equal.

Missing, extra, duplicate, nonfinite, header-mismatched, or source-identity-mismatched
required rows fail reference verification before tolerance evaluation. Values are not
zero-clamped and mismatched rows are not omitted, averaged, or synthesized.

## 5. Tolerance and decision rule

For every matched row:

```text
tolerance = 1.0e-5
absolute_error_i = abs(fesa_value_i - abaqus_value_i)
```

The fixed `1.0e-5` value is expressed in the model's user-consistent length unit for
`U1/U2/U3` and is dimensionless for `UR1/UR2/UR3`. Neither a component reference scale
nor a row-specific denominator changes the value. Reference scale may be reported as
non-decision diagnostic information. The separate B33 mixed tolerance is unchanged.

- Every matched `U1/U2/U3` row must satisfy `absolute_error_i <= tolerance`.
  Any U exceedance fails that case and the feature reference comparison.
- `UR1/UR2/UR3` uses the same fixed value. Every exceedance produces a deterministic
  warning containing the case, source row, component, error, and tolerance, but does
  not change pass/fail.

The comparison report records every U/UR row decision, maximum absolute error,
fixed-tolerance-normalized error, RMS error, vector-norm error, worst source
row/component, and every UR warning.

## 6. Coverage and handoff

The S4 case is the complete required reference inventory for this feature:

- `shell-s4` checks the approved full-integration `S4 -> FESA-MITC4` input path against Abaqus U.
- `S4R -> FESA-MITC4` support is verified by parser, common-kernel,
  deterministic-assembly and HDF5 source-metadata tests without consuming an Abaqus
  S4R reference artifact.

They do not prove Abaqus formulation equivalence or general MITC4 accuracy outside
the modeled cases. Additional flat/thin/thick/distorted/curved models, mesh studies,
drilling sweeps, drilling-energy criteria, `NR-O03`, and `NR-O04` are not required
before Implementation Planning or feature completion.

Numerical Review may use this inventory as downstream comparison input, but missing
bundle-administration data shall not change a mathematically consistent formulation
verdict. The revised Numerical Review passes the formulation and authorizes
Implementation Planning; this does not authorize implementation or Harness execution.
