Issue 19 ยท Crosswalk

Unseen and Unenforced

Every Structure claim, mapped to the outside pressure that supports, bounds, or cannot reach it.

CrosswalkStructure ↔ Reference

Reference Dependency Crosswalk

This connects claims to outside pressure, not to certainty.

For every Structure claim, this table shows whether Reference supplies outside-world support or marks the dependency as synthesis, scope limit, or process boundary.

Structure claimOutside supportReferenceWhat it does and does not cover
SL-019-01
The dividing line is enforceability: a promise can be changed; a binding rule can be enforced.
Satisfied as fact; argued as standardRL-019-01, RL-019-04, RL-019-07The pledge's voluntary character and the orders' binding terms are documented; making enforceability THE dividing line is the essay's standard, not a citation.
SL-019-02
The build case and the payer question are different questions; the build case is real.
Satisfied, with judgment limitsRL-019-03, RL-019-05, RL-019-09The shortfall, deals, tax base, and federal framing are sourced; the two-questions split and the decision to state the build case first are the essay's structure.
SL-019-03
The shortfall points two ways: build faster, or discipline connections.
SatisfiedRL-019-03Both readings exist in the documents (the operator's posture; the monitor's position and its denied complaint). The essay adopts neither; events after the as-of date can move the picture.
SL-019-04
The watchdog pair: fair under tested rules, exposed in the modeled future.
SatisfiedRL-019-02Both halves come from one study read directly, scenario labels included. The pairing rule — never quote one half alone — is the essay's discipline.
SL-019-05
Magnitude discipline: one-year and cumulative estimates, never a range; share contested, mechanism not.
Satisfied, with model limitsRL-019-03The monitor's decomposition supplies the figures; the operator's dispute and the alternative attribution are carried. All are counterfactual models, not measurements.
SL-019-06
Rules exist; even the states with the best rules have no receipt.
Partly satisfied; absence claim is search-scopedRL-019-01, RL-019-06, RL-019-07The rules are verified instruments. The missing-receipt half is an absence claim limited to the disclosed searches — falsifiable by one counterexample, and the essay publishes that failure condition.
SL-019-07
Two ledgers, never netted; price tag before the decision, receipt after.
Structural / synthesis, feasibility-supportedRL-019-06, RL-019-10The studies show forecast-grade accounting exists; rate-making practice shows the pieces exist. The two-ledger design and the temporal split are the essay's proposal, not a cited standard.
SL-019-08
No single body weighs the whole bargain; the vote comes after the numbers.
Satisfied as record; argued as reformRL-019-02, RL-019-07, RL-019-08, RL-019-09The fragmented approval chain is verified layer by layer for the worked example; Utah supplies clearance prior art. The sequencing reform and the ministerial-or-call-it-a-veto rule are the essay's synthesis.
SL-019-09
Process is not proof.
Structural, not externalThis recordThe public record exposes pressure and choices; it does not make the claims true. The published close carries its own falsifiers, and the sealed pre-process diagnostic is disclosed but never quoted as validation.