Truss Determinacy Checker

Inspectable records

Ledger state

The current ledger marks this instrument verified clean within the source-bound verification corpus.

Area

Mechanical, Civil & Structural Engineering — Statics/Dynamics, Strength of Materials, Machine Design, Civil, HVAC, Vibration

Tranche

tranche-4

Evidence ID

t4-142

Ledger rows

1

No ledger note is attached.

Review findings

The exact ambiguity is whether this instrument is intended to report only the planar Maxwell count or to make a definitive structural classification. As written, it claims definitive classification but lacks assumptions and geometry/connectivity checks. Revise the honest label to something such as 'preliminary planar truss determinacy count' unless full stability and rank analysis is added.

Formula and scope findings

• m+r=2j is the planar Maxwell count, not a sufficient test for determinacy, indeterminacy, or stability. Connectivity, support arrangement, member geometry, and joint geometry must also be checked.
• The formulas require an explicit planar, pin-jointed, ideal-truss assumption. A spatial truss generally uses m+r=3j instead.
• m+r>2j indicates a positive count of excess constraints only if the truss is stable and the constraints are independent; it does not by itself prove static indeterminacy.
• m+r<2j indicates a constraint deficiency or possible mechanism, but does not by itself prove instability for every geometry.
• For m+r<2j, m+r-2j is a negative deficiency/index, not technically a degree of static indeterminacy. The output definition must distinguish these.

Unit assumptions

• m, r, and j are dimensionless, nonnegative integer counts: members, independent reaction components, and joints.
• The count assumes a planar pin-jointed truss analyzed with two equilibrium equations per joint.
• Each reaction component is counted independently; a pin support normally contributes two reactions and a roller support normally contributes one in a planar model.
• No length, force, or other physical units are involved.

Boundary hardening

BREAK_CLAIMED · SELF_FLAGGED

The classifier has no division-by-zero operation, but extreme counts overflow JavaScript arithmetic and produce an infinite degree. More importantly, the meaning of r is convention-sensitive: counting supports instead of scalar reaction components can change the computed reaction count and classification unless the support model is explicitly defined.

Errata and corrections

No applied erratum is attached to this unique-name record.

Inspectable example

4 review vectors are recorded. One source-bound sample is shown below.

{
  "inputs": {
    "m": 3,
    "r": 3,
    "j": 3
  },
  "expected_outputs": {
    "classification": "determinate",
    "degree_of_indeterminacy": 0
  },
  "working": "m+r = 3+3 = 6. 2j = 2×3 = 6. Since 6 = 6, classification = determinate. Degree = (m+r)−2j = 6−6 = 0."
}

Related workflows

No source-defined multi-instrument workflow membership is recorded.

Sources and evidence

These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.

• VERIFIED_LEDGER.json · VERIFIED_CLEAN
• evidence-tranche4/tranche4-results.json
• BOUNDARY_HAZARD_CATALOG.json