

STATIC CONSTRAINT PROFILE -- problem corner-topo
generated by tech/constraint-profile.lisp -- NEVER HAND-EDITED


MC  MECHANIC COVERAGE  [grade 1]
--------------------------------------------------------------

  public technologies spliced (5): 5 covered, 0 UNCOVERED
    beam-crossing     COVERED    contract (also BX scenario)
    beam-relay        COVERED    contract (also S6 RC; RL scenario)
    gate              COVERED    extractors S1 S3 S4
    visibility        COVERED    infrastructure -- line of sight; read by S6
    walkability       COVERED    infrastructure -- derives walk-kind facts; read by S3

  UNCOVERED (0):
    READING: UNCOVERED means no static contract is declared for that technology.  The coverage gate (Problem-Solving Guide, Phase 0 step 2) requires a hand contract in the Briefing, or a component, before going on.  COVERED by extractors or infrastructure means the named components carry its static consequences; it is not a contract.

  contract beam-crossing
    controls  the derived CROSSING-ACTIVE of each crossing in the published CURRENT-BEAM-CROSSINGS pool, recomputed in every propagation before relay and receiver status
    moves     nothing; an active crossing cuts every beam through it, and a cut link neither lights its relay nor activates its receiver
    requires  both beams live for cutting and each reaching the crossing: no earlier active crossing on it from its live source, and no closed gate whose BEAM-CROSSINGS-BEFORE-GATE> list for that direction omits it. Live: transmitter to a location whose connector is paired with it, lit or not; a lit connector to a paired receiver or repeater, or to a location whose connector is paired with it either way; a fixed coupled beam from a transmitter with a clear corridor, or from a lit repeater. Liveness ignores current visibility, bodies, walls and receiver hue; only gates split a crossing order, and fixed coupled beams have no split. Fixed point; a two-set oscillation is resolved by the validated union, else nearest-to-source arbitration, else the state is inconsistent. Proper 2D intersections, no height filter
    pool: 37 crossings; 25 stored directed beams with crossings
    directed beams, crossings in order from the source, |gate| at its split (a<->b: both directions stored, positions counted from a):
      location1->location2: crossing19 (x transmitter2->location4), crossing14 (x transmitter1->location4), crossing35 (x location3->receiver1)
      location1->location3: crossing20 (x transmitter2->location4), crossing15 (x transmitter1->location4), crossing9 (x transmitter2->location2), crossing6 (x transmitter1->location2)
      location1->location4: crossing36 (x location3->receiver1), crossing30 (x location2->receiver1), |gate1|
      location1->receiver2: crossing16 (x transmitter2->location4), crossing23 (x location3->receiver1), crossing21 (x location2->receiver1), crossing11 (x transmitter1->location4), crossing25 (x location2<->location4), crossing26 (x location3<->location4), crossing22 (x location2->receiver3), crossing24 (x location3->receiver3)
      location1->receiver3: crossing28 (x location3->receiver1), crossing27 (x location2->receiver1), crossing29 (x location4->receiver1)
      location2->location1: crossing35 (x location3->receiver1), crossing14 (x transmitter1->location4), crossing19 (x transmitter2->location4)
      location2->location4: crossing25 (x location1->receiver2)
      location2->receiver1: crossing12 (x transmitter1->location4), crossing21 (x location1->receiver2), crossing17 (x transmitter2->location4), crossing30 (x location1<->location4), crossing27 (x location1->receiver3)
      location2->receiver2: crossing32 (x location3<->location4), crossing31 (x location3->receiver3)
      location2->receiver3: crossing34 (x location3<->location4), crossing22 (x location1->receiver2), crossing33 (x location4->receiver2)
      location3->location1: crossing6 (x transmitter1->location2), crossing9 (x transmitter2->location2), crossing15 (x transmitter1->location4), crossing20 (x transmitter2->location4)
      location3->location4: crossing32 (x location2->receiver2), crossing34 (x location2->receiver3), crossing26 (x location1->receiver2)
      location3->receiver1: crossing5 (x transmitter1->location2), crossing8 (x transmitter2->location2), crossing35 (x location1<->location2), crossing13 (x transmitter1->location4), crossing23 (x location1->receiver2), crossing18 (x transmitter2->location4), crossing36 (x location1<->location4), crossing28 (x location1->receiver3)
      location3->receiver3: crossing31 (x location2->receiver2), crossing24 (x location1->receiver2), crossing37 (x location4->receiver2)
      location4->location1: |gate1|, crossing30 (x location2->receiver1), crossing36 (x location3->receiver1)
      location4->location2: crossing25 (x location1->receiver2)
      location4->location3: crossing26 (x location1->receiver2), crossing34 (x location2->receiver3), crossing32 (x location2->receiver2)
      location4->receiver1: crossing29 (x location1->receiver3)
      location4->receiver2: crossing33 (x location2->receiver3), crossing37 (x location3->receiver3)
      transmitter1->location1: crossing2 (x transmitter2->location3), crossing1 (x transmitter2->location2), crossing3 (x transmitter2->location4)
      transmitter1->location2: crossing4 (x transmitter2->location3), crossing6 (x location1<->location3), crossing5 (x location3->receiver1)
      transmitter1->location4: crossing10 (x transmitter2->location3), crossing7 (x transmitter2->location2), crossing15 (x location1<->location3), crossing14 (x location1<->location2), crossing13 (x location3->receiver1), crossing12 (x location2->receiver1), crossing11 (x location1->receiver2), |gate1|
      transmitter2->location2: crossing1 (x transmitter1->location1), crossing7 (x transmitter1->location4), crossing9 (x location1<->location3), crossing8 (x location3->receiver1)
      transmitter2->location3: crossing2 (x transmitter1->location1), crossing10 (x transmitter1->location4), crossing4 (x transmitter1->location2)
      transmitter2->location4: crossing3 (x transmitter1->location1), crossing20 (x location1<->location3), crossing19 (x location1<->location2), crossing16 (x location1->receiver2), crossing18 (x location3->receiver1), crossing17 (x location2->receiver1), |gate1|
    potential beams with no crossing: 6
    crossing index (37):
      crossing1 at (9.94,0.58): transmitter1->location1 2/3 x transmitter2->location2 1/4
      crossing2 at (10.00,0.55): transmitter1->location1 1/3 x transmitter2->location3 1/3
      crossing3 at (9.70,0.68): transmitter1->location1 3/3 x transmitter2->location4 1/6
      crossing4 at (10.00,4.05): transmitter1->location2 1/3 x transmitter2->location3 3/3
      crossing5 at (9.39,6.45): location3->receiver1 1/8 x transmitter1->location2 3/3
      crossing6 at (9.59,5.69): location1<->location3 4/4 x transmitter1->location2 2/3
      crossing7 at (9.75,2.08): transmitter1->location4 2/7 x transmitter2->location2 2/4
      crossing8 at (9.27,5.91): location3->receiver1 2/8 x transmitter2->location2 4/4
      crossing9 at (9.44,4.52): location1<->location3 3/4 x transmitter2->location2 3/4
      crossing10 at (10.00,1.68): transmitter1->location4 1/7 x transmitter2->location3 2/3
      crossing11 at (8.33,4.32): location1->receiver2 4/8 x transmitter1->location4 7/7
      crossing12 at (8.49,4.06): location2->receiver1 1/5 x transmitter1->location4 6/7
      crossing13 at (8.74,3.68): location3->receiver1 4/8 x transmitter1->location4 5/7
      crossing14 at (9.00,3.26): location1<->location2 2/3 x transmitter1->location4 4/7
      crossing15 at (9.24,2.89): location1<->location3 2/4 x transmitter1->location4 3/7
      crossing16 at (8.64,2.79): location1->receiver2 1/8 x transmitter2->location4 4/6
      crossing17 at (8.39,3.27): location2->receiver1 3/5 x transmitter2->location4 6/6
      crossing18 at (8.56,2.94): location3->receiver1 6/8 x transmitter2->location4 5/6
      crossing19 at (9.00,2.08): location1<->location2 1/3 x transmitter2->location4 3/6
      crossing20 at (9.11,1.86): location1<->location3 1/4 x transmitter2->location4 2/6
      crossing21 at (8.45,3.72): location1->receiver2 3/8 x location2->receiver1 2/5
      crossing22 at (7.47,8.55): location1->receiver2 7/8 x location2->receiver3 2/3
      crossing23 at (8.59,3.05): location1->receiver2 2/8 x location3->receiver1 5/8
      crossing24 at (7.27,9.58): location1->receiver2 8/8 x location3->receiver3 2/3
      crossing25 at (7.59,8.00): location1->receiver2 5/8 x location2<->location4 1/1
      crossing26 at (7.51,8.38): location1->receiver2 6/8 x location3<->location4 3/3
      crossing27 at (8.22,1.96): location1->receiver3 2/3 x location2->receiver1 5/5
      crossing28 at (8.30,1.86): location1->receiver3 1/3 x location3->receiver1 8/8
      crossing29 at (7.57,2.77): location1->receiver3 3/3 x location4->receiver1 1/1
      crossing30 at (8.31,2.62): location1<->location4 2/2 x location2->receiver1 4/5
      crossing31 at (8.02,9.42): location2->receiver2 2/2 x location3->receiver3 1/3
      crossing32 at (8.56,8.64): location2->receiver2 1/2 x location3<->location4 1/3
      crossing33 at (6.33,8.97): location2->receiver3 3/3 x location4->receiver2 1/2
      crossing34 at (7.78,8.44): location2->receiver3 1/3 x location3<->location4 2/3
      crossing35 at (9.00,4.79): location1<->location2 3/3 x location3->receiver1 3/8
      crossing36 at (8.42,2.35): location1<->location4 1/2 x location3->receiver1 7/8
      crossing37 at (6.59,9.72): location3->receiver3 3/3 x location4->receiver2 2/2
    These are possible crossings: none is claimed active, no row claims its two beams can be live together, and nothing is claimed reachable. Evaluated cuts need a settled state (REPORT-BEAM-CROSSING-SCENARIO).

  contract beam-relay
    controls  the derived COLOR of every relay (connector or repeater), recomputed in each propagation after the crossing set, and each receiver's ACTIVE fact (RECORDING-ACTIVE in the recording view)
    moves     connectors only: PICKUP-CONNECTOR lifts one and deletes every PAIRED fact it owns and every one naming it; PICKUP-CONNECTOR-RETAINING-PAIRINGS keeps them, but a held connector has no location and neither receives nor sends a beam; PUT-CONNECTOR places without pairing; CONNECT-CONNECTOR places the held connector at a location the agent reaches and stores 1 to *max-connector-pairings* outgoing PAIRED facts, to termini structurally visible from any location the agent can walk to, never to a connector at the placement location
    requires  lighting runs in propagation layers from every transmitter (layer 0). A relay settles in the first layer in which any clear link from a lit source reaches it: one hue lights it; two or more hues in that layer leave it dark, and a dark relay feeds nothing; a hue arriving in a later layer is ignored. A connector is also dark when a connector at its location is already lit. Clear link: a stored PAIRED fact in either direction (COUPLED for fixed apparatus), a live sightline in the reading view, and no cut by an active crossing (physical view only). Pairings persist while their beam is blocked or cut; only pickup clears them. Capacity counts a connector's outgoing pairings; incoming links are unlimited. A receiver is reached only by a relay of its hue whose own outgoing pairing (or coupling) names it, visible and uncut; beam-direct may reach it independently. CONNECT-CONNECTOR needs no lit connector of the same recorder layer at the placement location. Layers are propagation order, not travel time or action order
    capacity: 3 outgoing pairings per connector (*max-connector-pairings*); incoming links unlimited
    transmitters by hue: blue transmitter2; red transmitter1
    receivers by hue: blue receiver3; red receiver1, receiver2
    connectors (3): connector1, connector2, connector3
    repeaters (0)
    start-state links (0 stored pairings): none
    direct feeds by RC station (4 with a visible transmitter; 3 COMPETING HUES), each transmitter with the gates it requires open:
      location1@1: blue transmitter2 ALWAYS; red transmitter1 ALWAYS  COMPETING HUES
      location2@1: blue transmitter2 ALWAYS; red transmitter1 ALWAYS  COMPETING HUES
      location3@1: blue transmitter2 ALWAYS; red transmitter1 ALWAYS  COMPETING HUES
      location4@1: red transmitter1 requires open gate1
    Pairing one connector to two hues settles it in layer 1 with a CONFLICT (dark, feeds nothing). A direct transmitter link reaches a connector in layer 1, ahead of any relayed hue, so a relayed hue lights it only while that direct link is unpaired, blocked or cut. Separately possible per-hue routes are not claimed to compose; a joint arrangement needs REPORT-RELAY-LIGHTING-SCENARIO.


S0  TYPE EXTENT CENSUS  [grade 1]
--------------------------------------------------------------

  type extents (53 types)
    agent  1  authored  SINGLETON
    angled-blower  0  optional  EMPTY
    angled-blower+floor-blower  0  synthesized  EMPTY  components floor-blower angled-blower
    angled-gears  0  optional  EMPTY
    beam-blocker  4  authored  components agent box jammer connector
    beam-node  9  authored  components transmitter receiver floor-repeater wall-repeater location
    box  0  optional  EMPTY
    cargo  3  authored  components box jammer connector fan tray
    connector  3  authored
    crossing  0  optional  EMPTY
    edge  0  optional  EMPTY
    edge+wall  2  synthesized  components wall edge
    elevated-object  12  authored  components location gate screen wall edge transmitter receiver gun switch wall-gears wall-blower floor-repeater wall-repeater
    fan  0  optional  EMPTY
    fixed-beam-sink  3  authored  components floor-repeater wall-repeater receiver
    fixed-beam-source  2  authored  components transmitter floor-repeater wall-repeater
    fixed-position-object  0  authored  EMPTY  components pressure-plate toggle-plate ladder floor-gears wall-gears angled-gears floor-blower wall-blower angled-blower recorder
    floor-blower  0  optional  EMPTY
    floor-gears  0  optional  EMPTY
    floor-repeater  0  optional  EMPTY
    gate  1  authored  SINGLETON
    gate+screen  1  synthesized  SINGLETON  components gate screen
    gun  0  optional  EMPTY
    heighted-object  7  authored  components box gate agent screen wall edge jammer connector floor-repeater wall-repeater
    hue  2  authored
    jammer  0  optional  EMPTY
    ladder  0  optional  EMPTY
    location  4  authored
    los-endpoint  9  authored  components transmitter receiver floor-repeater wall-repeater gun location
    mobile-object  4  authored  components agent box jammer connector fan tray
    mode  2  authored
    plate  0  authored  EMPTY  components pressure-plate toggle-plate
    pressure-plate  0  optional  EMPTY
    reach-target  4  authored  components location switch
    receiver  3  authored
    relay  3  authored  components connector floor-repeater wall-repeater
    repeater  0  authored  EMPTY  components floor-repeater wall-repeater
    screen  0  optional  EMPTY
    support  0  authored  EMPTY  components pressure-plate toggle-plate box fan tray floor-blower angled-blower
    support-occupant  4  authored  components agent box jammer connector fan tray
    switch  0  optional  EMPTY
    terminus  8  authored  components transmitter receiver connector floor-repeater wall-repeater
    threat  0  authored  EMPTY  components gun
    toggle-plate  0  optional  EMPTY
    transmitter  2  authored
    tray  0  optional  EMPTY
    vertical-object  16  authored  components location agent box connector jammer tray fan gate screen wall edge floor-repeater wall-repeater transmitter receiver gun switch pressure-plate toggle-plate floor-blower angled-blower
    visibility-object  10  authored  components gate transmitter receiver floor-repeater wall-repeater gun location
    wall  2  authored
    wall-blower  0  optional  EMPTY
    wall-gears  0  optional  EMPTY
    wall-repeater  0  optional  EMPTY
    window  1  authored  SINGLETON

  empty types (26)
    angled-blower  optional
    angled-blower+floor-blower  synthesized  alias over floor-blower angled-blower
    angled-gears  optional
    box  optional
    crossing  optional
    edge  optional
    fan  optional
    fixed-position-object  authored  alias over pressure-plate toggle-plate ladder floor-gears wall-gears angled-gears floor-blower wall-blower angled-blower recorder
    floor-blower  optional
    floor-gears  optional
    floor-repeater  optional
    gun  optional
    jammer  optional
    ladder  optional
    plate  authored  alias over pressure-plate toggle-plate
    pressure-plate  optional
    repeater  authored  alias over floor-repeater wall-repeater
    screen  optional
    support  authored  alias over pressure-plate toggle-plate box fan tray floor-blower angled-blower
    switch  optional
    threat  authored  alias over gun
    toggle-plate  optional
    tray  optional
    wall-blower  optional
    wall-gears  optional
    wall-repeater  optional

  singleton types (4)
    agent == agent1  authored
    gate == gate1  authored
    gate+screen == gate1  synthesized
    window == window1  authored

  relations over an empty type (9 relations, 9 positions)
    crossing-active  dynamic  position 1 of (crossing)  empty type (crossing)
    lethal  dynamic  position 1 of (threat)  empty type (threat)
    on  dynamic  position 2 of (support-occupant support)  empty type (support)
    switched-on  dynamic  position 1 of (switch)  empty type (switch)
    beam-crossing>  static  position 1 of (crossing los-endpoint los-endpoint los-endpoint los-endpoint)  empty type (crossing)
    edge-segment>  static  position 1 of (edge rational rational rational rational rational)  empty type (edge)
    has-position  static  position 1 of (fixed-position-object location)  empty type (fixed-position-object)
    screen-segment>  static  position 1 of (screen rational rational rational rational rational)  empty type (screen)
    threatens  static  position 1 of (threat location)  empty type (threat)

  constant quantifier sites (11)
    beam-coordinates-potential-beams  doall (?repeater repeater)  ->  true
    edge-segment-records  doall (?edge edge)  ->  true
    physical-supports-at  doall (?plate plate)  ->  true
    physical-supports-at  doall (?fan fan)  ->  true
    physical-supports-at  doall (?fixed (either floor-blower angled-blower))  ->  true
    physical-supports-at  doall (?box box)  ->  true
    physical-supports-at  doall (?tray tray)  ->  true
    safe  exists (?t threat)  ->  false
    screen-segment-records  doall (?screen screen)  ->  true
    terrain-edge-spans  doall (?edge edge)  ->  true
    update-gate-status!  exists (?j jammer)  ->  false

  constant predicates (1)
    safe == true


S1  CONTROL ALGEBRA  [grade 1]
--------------------------------------------------------------

  control table (1 entries)
    gate1 == receiver1

  device state axioms (1)
    open asserted by update-gate-status!
      condition  (or (exists (?j jammer) (jamming ?j ?gate)) (control-on ?gate nil))
      aggregate  (control-on ?gate nil)
      reading    state == aggregate  premise: jammer empty

  exclusion pairs (0)

  equivalence pairs (0)

  pair qualification
    UNCONDITIONAL, on a stated premise.  All 1 device state axioms reduce to their control aggregate because jammer is empty, so the table and the pairs are claims about device state.  Populate that type and both become false.

  primitive controllers (1)
    receiver1  device-mediated  status relation active

  device depth
    gate1  depth 2

  cycles: none

  notes
    receiver1 is device-mediated through its status relation active, which an update derives from another device's derived output.  The extra level is recorded; the identity of the supplying device is not decidable from the control algebra and is deferred to the sightline extractor.


S2  FUNCTIONAL-RELATION CENSUS  [grade 1 -> 2]
--------------------------------------------------------------

  functional relations (26: 4 dynamic, 22 static)
    2 bijective index relations excluded, as S0 excludes them
    apparatus-coords>  static  key (1)  value (2 3 4)  signature ((either floor-repeater gun receiver switch transmitter wall-repeater) rational rational rational)
    beam-crossing>  static  key (1)  value (2 3 4 5)  signature (crossing los-endpoint los-endpoint los-endpoint los-endpoint)
    beam-crossings-before-gate>  static  key (1 3 4)  value (2)  signature (los-endpoint list gate los-endpoint)
    beam-via  static  key (1 3)  value (2)  signature (fixed-beam-source list fixed-beam-sink)
    boundary-wall  static  key none -- keyless global fluent  value (1)  signature (list)
    color  dynamic  key (1)  value (2)  signature (relay hue)
    controls  static  key (2)  value (1 3)  signature (list (either angled-blower angled-gears floor-blower floor-gears gate gun wall-blower wall-gears) mode)
    crossings-along-beam>  static  key (1 3)  value (2)  signature (los-endpoint list los-endpoint)
    current-beam-crossings  static  key none -- keyless global fluent  value (1)  signature (list)
    edge-segment>  static  key (1)  value (2 3 4 5 6)  signature (edge rational rational rational rational rational)
    gate-segment>  static  key (1)  value (2 3 4 5 6)  signature (gate rational rational rational rational rational)
    has-chroma  static  key (1)  value (2)  signature ((either receiver transmitter) hue)
    has-elevation  static  key (1)  value (2)  signature (elevated-object rational)
    has-height  static  key (1)  value (2)  signature (heighted-object rational)
    has-location  dynamic  key (1)  value (2)  signature (mobile-object location)
    has-position  static  key (1)  value (2)  signature (fixed-position-object location)
    holding  dynamic  key none -- bijective, functional both ways  value (1 2)  signature (agent cargo)
    location-coords>  static  key (1)  value (2 3 4)  signature (location rational rational rational)
    los-barrier-crossings>  static  key (1 3)  value (2)  signature (los-endpoint list visibility-object)
    los-via  static  key (1 3)  value (2)  signature (visibility-object list visibility-object)
    on  dynamic  key (1)  value (2)  signature (support-occupant support)
    screen-segment>  static  key (1)  value (2 3 4 5 6)  signature (screen rational rational rational rational rational)
    traverse-via  static  key (1 3)  value (2)  signature (location list location)
    traverse-via>  static  key (1 3)  value (2)  signature (location list location)
    wall-segment>  static  key (1)  value (2 3 4 5 6)  signature (wall rational rational rational rational rational)
    window-segment>  static  key (1)  value (2 3 4 5 6)  signature (window rational rational rational rational rational)

  occupancy pools (5 placement relations; 0 layer pairs)
    color  dynamic  relay at 1  ->  hue at 2
        key   pool relay (3): 0 live, 0 ghost, 3 unpaired
              connector1[unpaired] connector2[unpaired] connector3[unpaired]
        value pool hue (2): 0 live, 0 ghost, 2 unpaired
              blue[unpaired] red[unpaired]
    has-chroma  static  (either receiver transmitter) at 1  ->  hue at 2
        key   pool (either receiver transmitter) (5): 0 live, 0 ghost, 5 unpaired
              receiver1[unpaired] receiver2[unpaired] receiver3[unpaired] transmitter1[unpaired] transmitter2[unpaired]
        value pool hue (2): 0 live, 0 ghost, 2 unpaired
              members listed above
    has-location  dynamic  mobile-object at 1  ->  location at 2
        key   pool mobile-object (4): 0 live, 0 ghost, 4 unpaired
              agent1[unpaired] connector1[unpaired] connector2[unpaired] connector3[unpaired]
        value pool location (4): 0 live, 0 ghost, 4 unpaired
              location1[unpaired] location2[unpaired] location3[unpaired] location4[unpaired]
    has-position  static  fixed-position-object at 1  ->  location at 2
        key   pool fixed-position-object (0): 0 live, 0 ghost, 0 unpaired
        value pool location (4): 0 live, 0 ghost, 4 unpaired
              members listed above
    on  dynamic  support-occupant at 1  ->  support at 2
        key   pool support-occupant (4): 0 live, 0 ghost, 4 unpaired
              agent1[unpaired] connector1[unpaired] connector2[unpaired] connector3[unpaired]
        value pool support (0): 0 live, 0 ghost, 0 unpaired

  cardinality bounds  [grade 2: the keying is structural, so no action moves it]
    color: relay -> hue
      |occupied hue| <= 3 - |unavailable relay|
      injective: the relation is keyed by its relay argument, so two distinct occupied values need two distinct witnesses
      BODIES by layer, not yet a claim about any predicate: live + unpaired 3, ghost + unpaired 3, total 3
      consumers (1 relation): the bound each one actually reads
        active [derived]  asserted by update-receiver-status!  via beam-reaches-receiver
          site in relay-beam-reaches-receiver: NONE -- layer-blind, it reads every occupant
          witnesses it reads: 3 -- the whole pool
      NOTE: assertion side only.  A query used in an action's precondition is not listed here.
      NOTE: the switch walk descends AND, OR, NOT, IF and the queries those call.  A switch inside any other form is not found, so "no switch found" is weaker than "no switch".
      *start-state* reading, NOT the bound: 0 of 3 keys assigned, 0 distinct values occupied
    has-location: mobile-object -> location
      |occupied location| <= 4 - |unavailable mobile-object|
      injective: the relation is keyed by its mobile-object argument, so two distinct occupied values need two distinct witnesses
      BODIES by layer, not yet a claim about any predicate: live + unpaired 4, ghost + unpaired 4, total 4
      consumers (1 relation): the bound each one actually reads
        active [derived]  asserted by update-receiver-status!  via beam-reaches-receiver
          site in relay-beam-reaches-receiver: NONE -- layer-blind, it reads every occupant
          site in base: NONE -- layer-blind, it reads every occupant
          site in beam-blocker-occludes-location: OTHER -- restricted by something that is not a layer by (beam-blocker-spans-elevation ?blocker ?beam-elevation)
          site in beam-blocker-occludes-location-for-object: OTHER -- restricted by something that is not a layer by (recording-shadow-object-present ?blocker), (beam-blocker-spans-elevation ?blocker ?beam-elevation)
          witnesses it reads: 4 -- the whole pool
      NOTE: assertion side only.  A query used in an action's precondition is not listed here.
      NOTE: the switch walk descends AND, OR, NOT, IF and the queries those call.  A switch inside any other form is not found, so "no switch found" is weaker than "no switch".
      *start-state* reading, NOT the bound: 4 of 4 keys assigned, 3 distinct values occupied
    on: support-occupant -> support
      |occupied support| <= 4 - |unavailable support-occupant|
      injective: the relation is keyed by its support-occupant argument, so two distinct occupied values need two distinct witnesses
      BODIES by layer, not yet a claim about any predicate: live + unpaired 4, ghost + unpaired 4, total 4
      consumers (1 relation): the bound each one actually reads
        active [derived]  asserted by update-receiver-status!  via beam-reaches-receiver
          site in base: NONE -- layer-blind, it reads every occupant
          witnesses it reads: 4 -- the whole pool
      NOTE: assertion side only.  A query used in an action's precondition is not listed here.
      NOTE: the switch walk descends AND, OR, NOT, IF and the queries those call.  A switch inside any other form is not found, so "no switch found" is weaker than "no switch".
      *start-state* reading, NOT the bound: 0 of 4 keys assigned, 0 distinct values occupied


T6  MECHANIZED BUDGET ARITHMETIC  [grade 1 -> 2]
--------------------------------------------------------------
  no body-cost devices found.


S5  HEIGHT AND REACH LATTICE  [grade 2]
--------------------------------------------------------------
  type heights (21 types; 0 authored overrides)
    location  height 0  axis NONE  base 0
    agent  height 3/2  axis VERTICAL  base 0
    box  height 1  axis VERTICAL  base 0
    connector  height 1  axis VERTICAL  base 0
    jammer  height 1  axis VERTICAL  base 0
    tray  height 0  axis VERTICAL  base 0
    fan  height 0  axis VERTICAL  base 0
    pressure-plate  height 0  axis VERTICAL  base 0
    toggle-plate  height 0  axis VERTICAL  base 0
    floor-blower  height 0  axis VERTICAL  base 0
    angled-blower  height 0  axis VERTICAL  base 0
    gate  height 4  axis VERTICAL  base 0
    screen  height 4  axis VERTICAL  base 0
    wall  height 4  axis VERTICAL  base 0
    edge  height 3/2  axis VERTICAL  base 0
    floor-repeater  height 1  axis VERTICAL  base 0
    wall-repeater  height 1  axis HORIZONTAL  base 1
    transmitter  height 0  axis NONE  base 1
    receiver  height 0  axis NONE  base 1
    switch  height 0  axis NONE  base 1
    gun  height 0  axis NONE  base 1

  location levels
    location1  0
    location2  0
    location3  0
    location4  0

  achievable carried-object tops
    connector1  1
    connector2  1
    connector3  1

  placement legality matrix (agent base -> support top)
    agent1 0 -> ground 0  YES

  unreachable from ground (placement reach limit 1)
    none


S6  BEAM SIGHTLINE TABLE  [grade 2]
--------------------------------------------------------------
  direct gate subsets: 2; no propagation applied

  visibility rows
    location1 @ 1 -> transmitter1  ALWAYS
    location1 @ 1 -> transmitter2  ALWAYS
    location1 @ 1 -> receiver1  ALWAYS
    location1 @ 1 -> receiver2  NEVER
    location1 @ 1 -> receiver3  NEVER
    location2 @ 1 -> transmitter1  ALWAYS
    location2 @ 1 -> transmitter2  ALWAYS
    location2 @ 1 -> receiver1  ALWAYS
    location2 @ 1 -> receiver2  ALWAYS
    location2 @ 1 -> receiver3  ALWAYS
    location3 @ 1 -> transmitter1  ALWAYS
    location3 @ 1 -> transmitter2  ALWAYS
    location3 @ 1 -> receiver1  ALWAYS
    location3 @ 1 -> receiver2  ALWAYS
    location3 @ 1 -> receiver3  ALWAYS
    location4 @ 1 -> transmitter1  CONDITIONAL  requires open gate1
    location4 @ 1 -> transmitter2  NEVER
    location4 @ 1 -> receiver1  NEVER
    location4 @ 1 -> receiver2  ALWAYS
    location4 @ 1 -> receiver3  ALWAYS

  location-occluder kill list
    location4 @ 1 -> transmitter2 blocked at location1


RC  RELAY CHAIN TABLE  [grade 2]

  SUPPLIED RELAY SCENARIO (T33): CLEAR is conditional, not stable/reachable/validated.
    PHYSICAL UNRESOLVED: no explicit scenario supplied
    RECORDING UNRESOLVED: no explicit scenario supplied
--------------------------------------------------------------
  GEOMETRIC ENUMERATION SCOPE: physical view only; supplied scenario views are separate.  Hops are
  tested on start-state copies with gate OPEN bits forced and no propagation.  A
  hop's required gates are those whose closing alone blocks it (monotone reading).
  Stations are placements, not reachability claims.  Bodies count the connector and
  its riser (ground 0, held tray 2, other support 1); a station with a plate is
  counted as keeping it, so off-plate counts are least values within this enumeration.
  GEOMETRIC CANDIDATES: stable simultaneous occupancy and support motion UNRESOLVED.
  BOOTSTRAP/LATCH are geometric classes, not validated realizations. Connector height
  is that used by station enumeration; differing connector heights are not enumerated.
  connectors 3; fixed couplings 0 (not enumerated); exclusion pairs 

  stations (4): location, then top (supports) per achievable connector top
    location1  1 (ground)
    location2  1 (ground)
    location3  1 (ground)
    location4  1 (ground)

  station-to-endpoint hops (16 visible)
    location1@1 -> transmitter1  ALWAYS
    location1@1 -> transmitter2  ALWAYS
    location1@1 -> receiver1  ALWAYS
    location2@1 -> transmitter1  ALWAYS
    location2@1 -> transmitter2  ALWAYS
    location2@1 -> receiver1  ALWAYS
    location2@1 -> receiver2  ALWAYS
    location2@1 -> receiver3  ALWAYS
    location3@1 -> transmitter1  ALWAYS
    location3@1 -> transmitter2  ALWAYS
    location3@1 -> receiver1  ALWAYS
    location3@1 -> receiver2  ALWAYS
    location3@1 -> receiver3  ALWAYS
    location4@1 -> transmitter1  requires open gate1
    location4@1 -> receiver2  ALWAYS
    location4@1 -> receiver3  ALWAYS

  station-to-station hops (10 visible, 10 groups): source -> target, source>target tops, gates required
    location1 -> location2  all tops  ALWAYS
    location1 -> location3  all tops  ALWAYS
    location1 -> location4  all tops  requires open gate1
    location2 -> location1  all tops  ALWAYS
    location2 -> location3  all tops  ALWAYS
    location3 -> location1  all tops  ALWAYS
    location3 -> location2  all tops  ALWAYS
    location3 -> location4  all tops  ALWAYS
    location4 -> location1  all tops  requires open gate1
    location4 -> location3  all tops  ALWAYS

  chains to receiver1 (23); LATCH needs a device this receiver controls
    1  transmitter1 -> location1@1 -> receiver1  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 1; risers ground; bodies 1, on plates 0, off plates 1
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    2  transmitter1 -> location2@1 -> receiver1  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 1; risers ground; bodies 1, on plates 0, off plates 1
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    3  transmitter1 -> location3@1 -> receiver1  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 1; risers ground; bodies 1, on plates 0, off plates 1
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    4  transmitter1 -> location1@1 -> location2@1 -> receiver1  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    5  transmitter1 -> location1@1 -> location3@1 -> receiver1  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    6  transmitter1 -> location2@1 -> location1@1 -> receiver1  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    7  transmitter1 -> location2@1 -> location3@1 -> receiver1  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    8  transmitter1 -> location3@1 -> location1@1 -> receiver1  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    9  transmitter1 -> location3@1 -> location2@1 -> receiver1  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    10  transmitter1 -> location1@1 -> location2@1 -> location3@1 -> receiver1  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    11  transmitter1 -> location1@1 -> location3@1 -> location2@1 -> receiver1  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    12  transmitter1 -> location2@1 -> location1@1 -> location3@1 -> receiver1  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    13  transmitter1 -> location2@1 -> location3@1 -> location1@1 -> receiver1  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    14  transmitter1 -> location3@1 -> location1@1 -> location2@1 -> receiver1  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    15  transmitter1 -> location3@1 -> location2@1 -> location1@1 -> receiver1  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    16  transmitter1 -> location4@1 -> location1@1 -> receiver1  LATCH
        gates gate1; plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    17  transmitter1 -> location4@1 -> location3@1 -> receiver1  LATCH
        gates gate1; plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    18  transmitter1 -> location1@1 -> location4@1 -> location3@1 -> receiver1  LATCH
        gates gate1; plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    19  transmitter1 -> location3@1 -> location4@1 -> location1@1 -> receiver1  LATCH
        gates gate1; plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    20  transmitter1 -> location4@1 -> location1@1 -> location2@1 -> receiver1  LATCH
        gates gate1; plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    21  transmitter1 -> location4@1 -> location1@1 -> location3@1 -> receiver1  LATCH
        gates gate1; plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    22  transmitter1 -> location4@1 -> location3@1 -> location1@1 -> receiver1  LATCH
        gates gate1; plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    23  transmitter1 -> location4@1 -> location3@1 -> location2@1 -> receiver1  LATCH
        gates gate1; plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED

  summary for receiver1
    chains 23: bootstrap 15, latch 8, excluded 0, infeasible 0
    gates open in every bootstrap chain:  none
    least off-plate bodies over bootstrap chains: 1
    with 1 connector: 3 chains, least off-plate bodies 1, receiver-end stations location1@1, location2@1, location3@1
    with 2 connectors: 6 chains, least off-plate bodies 2, receiver-end stations location3@1, location1@1, location2@1
    with 3 connectors: 6 chains, least off-plate bodies 3, receiver-end stations location3@1, location2@1, location1@1

  chains to receiver2 (22); LATCH needs a device this receiver controls
    1  transmitter1 -> location2@1 -> receiver2  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 1; risers ground; bodies 1, on plates 0, off plates 1
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    2  transmitter1 -> location3@1 -> receiver2  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 1; risers ground; bodies 1, on plates 0, off plates 1
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    3  transmitter1 -> location4@1 -> receiver2  BOOTSTRAP
        gates gate1; plates for them  (none)
        connectors 1; risers ground; bodies 1, on plates 0, off plates 1
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    4  transmitter1 -> location1@1 -> location2@1 -> receiver2  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    5  transmitter1 -> location1@1 -> location3@1 -> receiver2  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    6  transmitter1 -> location1@1 -> location4@1 -> receiver2  BOOTSTRAP
        gates gate1; plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    7  transmitter1 -> location2@1 -> location3@1 -> receiver2  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    8  transmitter1 -> location3@1 -> location2@1 -> receiver2  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    9  transmitter1 -> location3@1 -> location4@1 -> receiver2  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    10  transmitter1 -> location4@1 -> location3@1 -> receiver2  BOOTSTRAP
        gates gate1; plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    11  transmitter1 -> location1@1 -> location2@1 -> location3@1 -> receiver2  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    12  transmitter1 -> location1@1 -> location3@1 -> location2@1 -> receiver2  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    13  transmitter1 -> location1@1 -> location3@1 -> location4@1 -> receiver2  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    14  transmitter1 -> location1@1 -> location4@1 -> location3@1 -> receiver2  BOOTSTRAP
        gates gate1; plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    15  transmitter1 -> location2@1 -> location1@1 -> location3@1 -> receiver2  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    16  transmitter1 -> location2@1 -> location1@1 -> location4@1 -> receiver2  BOOTSTRAP
        gates gate1; plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    17  transmitter1 -> location2@1 -> location3@1 -> location4@1 -> receiver2  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    18  transmitter1 -> location3@1 -> location1@1 -> location2@1 -> receiver2  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    19  transmitter1 -> location3@1 -> location1@1 -> location4@1 -> receiver2  BOOTSTRAP
        gates gate1; plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    20  transmitter1 -> location4@1 -> location1@1 -> location2@1 -> receiver2  BOOTSTRAP
        gates gate1; plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    21  transmitter1 -> location4@1 -> location1@1 -> location3@1 -> receiver2  BOOTSTRAP
        gates gate1; plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    22  transmitter1 -> location4@1 -> location3@1 -> location2@1 -> receiver2  BOOTSTRAP
        gates gate1; plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED

  summary for receiver2
    chains 22: bootstrap 22, latch 0, excluded 0, infeasible 0
    gates open in every bootstrap chain:  none
    least off-plate bodies over bootstrap chains: 1
    with 1 connector: 3 chains, least off-plate bodies 1, receiver-end stations location2@1, location3@1, location4@1
    with 2 connectors: 7 chains, least off-plate bodies 2, receiver-end stations location2@1, location4@1, location3@1
    with 3 connectors: 12 chains, least off-plate bodies 3, receiver-end stations location4@1, location3@1, location2@1

  chains to receiver3 (17); LATCH needs a device this receiver controls
    1  transmitter2 -> location2@1 -> receiver3  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 1; risers ground; bodies 1, on plates 0, off plates 1
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    2  transmitter2 -> location3@1 -> receiver3  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 1; risers ground; bodies 1, on plates 0, off plates 1
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    3  transmitter2 -> location1@1 -> location2@1 -> receiver3  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    4  transmitter2 -> location1@1 -> location3@1 -> receiver3  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    5  transmitter2 -> location1@1 -> location4@1 -> receiver3  BOOTSTRAP
        gates gate1; plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    6  transmitter2 -> location2@1 -> location3@1 -> receiver3  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    7  transmitter2 -> location3@1 -> location2@1 -> receiver3  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    8  transmitter2 -> location3@1 -> location4@1 -> receiver3  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 2; risers ground, ground; bodies 2, on plates 0, off plates 2
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    9  transmitter2 -> location1@1 -> location2@1 -> location3@1 -> receiver3  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    10  transmitter2 -> location1@1 -> location3@1 -> location2@1 -> receiver3  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    11  transmitter2 -> location1@1 -> location3@1 -> location4@1 -> receiver3  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    12  transmitter2 -> location1@1 -> location4@1 -> location3@1 -> receiver3  BOOTSTRAP
        gates gate1; plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    13  transmitter2 -> location2@1 -> location1@1 -> location3@1 -> receiver3  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    14  transmitter2 -> location2@1 -> location1@1 -> location4@1 -> receiver3  BOOTSTRAP
        gates gate1; plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    15  transmitter2 -> location2@1 -> location3@1 -> location4@1 -> receiver3  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    16  transmitter2 -> location3@1 -> location1@1 -> location2@1 -> receiver3  BOOTSTRAP
        gates  (none); plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    17  transmitter2 -> location3@1 -> location1@1 -> location4@1 -> receiver3  BOOTSTRAP
        gates gate1; plates for them  (none)
        connectors 3; risers ground, ground, ground; bodies 3, on plates 0, off plates 3
        GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED

  summary for receiver3
    chains 17: bootstrap 17, latch 0, excluded 0, infeasible 0
    gates open in every bootstrap chain:  none
    least off-plate bodies over bootstrap chains: 1
    with 1 connector: 2 chains, least off-plate bodies 1, receiver-end stations location2@1, location3@1
    with 2 connectors: 6 chains, least off-plate bodies 2, receiver-end stations location3@1, location2@1, location4@1
    with 3 connectors: 9 chains, least off-plate bodies 3, receiver-end stations location3@1, location2@1, location4@1


S7  LANDMARK GRAPH AND ORDERINGS  [grade 4]
--------------------------------------------------------------
  relaxation: delete relaxation; achieved landmarks persist.
  no simultaneous-role, keeper-return, segment, or route claim is emitted.

  explicit goal landmarks
    (has-location agent1 location4)  movement/query landmark; S1 expansion unavailable.
    (active receiver2)  movement/query landmark; S1 expansion unavailable.
    (active receiver3)  movement/query landmark; S1 expansion unavailable.

  S1 controller expansions
    none: the explicit goal has no controlled-device condition.

  greedy-necessary orderings
    none: route/order extraction needs a separately stated movement relaxation.


S3  GATE-LABELLED REGION QUOTIENT  [grade 2]
--------------------------------------------------------------

  traversal arcs read (6)
    6 symmetric (traverse-via), 0 directed (traverse-via>)
    kind walk: 6 arcs, 3 with an empty family

  contraction rule: two endpoints share a region when an arc of traverse-via joins them with an EMPTY door family.  Static separators -- staircases, edges, floor drives -- are not doors.  Arcs of traverse-via> are never contracted, whatever their family.
  NOTE: a region is a set of endpoints NO DOOR separates.  Each kind carries its own predicate -- a jump's reach limit, a ladder's position -- which this extractor does not evaluate, having no state to evaluate it in.  Two endpoints in one region therefore need not be mutually reachable.

  regions (2 over 4 endpoints of type location)
    R1  (3): location1 location2 location3
    R2  (1): location4

  region crossings (1 rows: 1 spine, 0 composed)
    NOTE: these rows are the transitive CLOSURE, one minimal door-set per location pair. The spine preserves reachability; it is not a physical doorway count.
    R1 <-> R2  kind walk  family ((gate1))  3 location arcs  SPINE

  adjacency spine (1)
    R1 <-> R2  kind walk  family ((gate1))

  doors on arcs (1)
    gate1

  controlled devices labelling NO traversal arc (0 of 1)
    none: every controlled device gates some crossing
    READING: such a device is movement-irrelevant, meaning that no traversal clause names it.  It is NOT a claim that the device is inert -- a device may act on objects rather than on passage -- and it is NOT a claim about reaching, which a separate relation carries and this extractor does not read.

  doors that are NOT controlled devices (0)
    
    these are obstacles with no CONTROLS entry, so no plate or switch opens them and S1's algebra says nothing about them.


S4  CUT-KEEPER TABLE  [conditional bounds; graph candidates]
--------------------------------------------------------------
  SCOPE: graph reachability relaxes all other doors, elevation and cargo conditions.
  It omits non-traversal relocation, support transitions and recorder lifecycle.
  Graph cuts and approach-only regions therefore do NOT prove concrete stranding.
  Pressure counts require ON's functional key and the relevant view's occupancy semantics.
  Device-state conclusions additionally require the printed S1 axiom premises.

  controlled devices (1); spine rows (1); spine check :VERIFIED-AGAINST-QUOTIENT

    gate1 == receiver1
      state open: state == aggregate; empty-type premises (jammer)
      controller receiver1: RECEIVER; position unresolved; region UNRESOLVED
        beam dependency unresolved; requires sightline analysis.
      positive pressure alternatives (nil); individually mandatory nil
      conditional shortage: available eligible ON witnesses < 0 implies
        this normal aggregate cannot activate (minimum simultaneous plate demand).
      spine kind walk, family ((gate1))
        R1 -> R2, device absent: source reaches ("R1"); destination reaches ("R2")
          graph cut in this direction: YES
        R2 -> R1, device absent: source reaches ("R2"); destination reaches ("R1")
          graph cut in this direction: YES

  explicit goal destinations (1); goal form (and (has-location agent1 location4) (active receiver2) (active receiver3))
    UNRESOLVED goal form (active receiver2); no destination extracted.
    UNRESOLVED goal form (active receiver3); no destination extracted.
    agent1: location1 (R1) -> location4 (R2)
      GRAPH-REQUIRED candidates (gate1); concrete necessity UNRESOLVED.
    connector1: initially location1; no explicit destination, crossings UNRESOLVED.
    connector2: initially location2; no explicit destination, crossings UNRESOLVED.
    connector3: initially location3; no explicit destination, crossings UNRESOLVED.

  keeper supply from S2
    on: support-occupant -> support
      |occupied support| <= 4 - |unavailable support-occupant|
      injective: the relation is keyed by its support-occupant argument, so two distinct occupied values need two distinct witnesses
      BODIES by layer, not yet a claim about any predicate: live + unpaired 4, ghost + unpaired 4, total 4
      consumers (1 relation): the bound each one actually reads
        active [derived]  asserted by update-receiver-status!  via beam-reaches-receiver
          site in base: NONE -- layer-blind, it reads every occupant
          witnesses it reads: 4 -- the whole pool
      NOTE: assertion side only.  A query used in an action's precondition is not listed here.
      NOTE: the switch walk descends AND, OR, NOT, IF and the queries those call.  A switch inside any other form is not found, so "no switch found" is weaker than "no switch".
      *start-state* reading, NOT the bound: 0 of 4 keys assigned, 0 distinct values occupied
    Available eligible witnesses are a parameter for each view and segment.
    Total sequential crossers are NOT simultaneous body demand.

  UNCONDITIONAL STRANDING: unresolved; no verdict emitted.


CC  COUPLING CENSUS  [grade 1; occluder role grade 2]
--------------------------------------------------------------
  subsystems: route (barrier), beam (occluder, beam-driven), lift (lift), transport (horizontal-transport, transport), occupancy (support-controller)

  role table (2 objects)
    gate1  device  barrier occluder  subsystems route beam
    receiver1  primitive  beam-driven  subsystems beam

  K1 fan-out (0)
    none

  K2 multi-role (1)
    gate1  route beam

  K3 beam feedback (1)
    receiver1  drives gate1
      last-hop gates (0)

  G15 lift-barrier couplings (0)
    none


NH  NECESSITY HINTS  [grade per hint]

  SUPPLIED RELAY SCENARIO (T33): CLEAR is conditional, not stable/reachable/validated.
    PHYSICAL UNRESOLVED: no explicit scenario supplied
    RECORDING UNRESOLVED: no explicit scenario supplied
--------------------------------------------------------------
  READING: a hint restates static limits as a candidate plan element for the Briefing (Problem-Solving Guide, Phase 1 step 3).  NECESSARY: every plan meets it, under the grade shown.  CANDIDATE: one way to meet a limit; others may exist.  A hint is not a plan, and a graph candidate is not a proof.

  hints (4): 1 NECESSARY, 3 CANDIDATE

  H1 body budget (0)
    none

  H2 keepers left behind (0)
    none

  H3 beam-held devices (4)
    H3.1  NECESSARY  [grade 2; S1 RC]
      limit  gate1 == receiver1 holds only while receiver1 is active; within RC's enumerated physical geometric candidates, every chain to receiver1 (15 bootstrap, 8 latch) needs no common gate
      hint   within those geometric candidates for gate1, at least 1 body is off plates for the beam
      note   S1's receiver condition is necessary; RC gate/body bounds are conditional on its physical geometric enumeration, not all recording-view beams
      note   Recording sightlines, body/view assignment, forced transport and occupancy stability UNRESOLVED; geometric chains are not validated realizations
    H3.2  CANDIDATE  [grade 2; RC]
      limit  physical geometric candidates to receiver1 with last connector at location1 (R1): least off-plate bodies 1
      hint   transmitter1 -> location1@1 -> receiver1  risers ground; bodies 1, off plates 1
      note   GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    H3.3  CANDIDATE  [grade 2; RC]
      limit  physical geometric candidates to receiver1 with last connector at location2 (R1): least off-plate bodies 1
      hint   transmitter1 -> location2@1 -> receiver1  risers ground; bodies 1, off plates 1
      note   GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED
    H3.4  CANDIDATE  [grade 2; RC]
      limit  physical geometric candidates to receiver1 with last connector at location3 (R1): least off-plate bodies 1
      hint   transmitter1 -> location3@1 -> receiver1  risers ground; bodies 1, off plates 1
      note   GEOMETRIC CANDIDATE, physical sightlines only; recording sightlines, body/view assignment and occupancy stability UNRESOLVED

  H4 controllers off the goal route (0)
    none

  H5 lift landings (0)
    none

  H6 active at the start (0)
    none

  H7 placement limits (0)
    none


SD  SERVICES AND SETUP DEPENDENCIES  [grade 2]
--------------------------------------------------------------
  SCOPE: a monotone premise closure over passage services (every gate; each drive a traversal clause names) and receiver literals.  Providers: S1 CONTROL options, MC jam sites (OVERRIDE), gears with no fan (EQUIPMENT), RC chains and fixed corridors to a receiver.  No ordering, simultaneity, bodies, reach, occupancy or view is checked.
  CLASSES: DIRECT no premise; SUPPORTED premises available without this service; NEEDS <service> FIRST: installing this provider needs the service it will provide (a setup dependency); UNSUPPORTED IN SCOPE.  A service with only NEEDS-FIRST options is a SETUP QUESTION, not an impossibility.  "Through standing providers" repeats the test with premises supplied only by CONTROL, chains, corridors and equipment, never another jam, and is printed when that exposes a setup dependency a further jammer would hide.

  goal actor agent1: start location1 (R1) -> goal location4 (R2)
    transit door sets (R1 -> R2, 1): (gate1)
      necessary: gate1
    return door sets (R2 -> R1, 1): (gate1)
      necessary: gate1
    final services: (active receiver2) (active receiver3)
    temporary services (in some transit set, not final): gate1 via receiver1
      READING: TEMPORARY means needed while crossing and expendable afterward, unless a return or a later crossing needs it again.

  access from R1 (minimal door sets to each region; kind predicates not evaluated)
    R1  ()
    R2  (gate1)

  retrieval (start places of jammers, connectors and fans)
    connector1  location1 (R1)
    connector2  location2 (R1)
    connector3  location3 (R1)

  services (4): 4 SUPPORTED, 0 SETUP QUESTION, 0 NO PROVIDER IN SCOPE
    gate1 open  == receiver1  start BLOCKED  verdict SUPPORTED  route TRANSIT necessary, RETURN necessary, TEMPORARY
      CONTROL SUPPORTED: receiver1 active
    receiver1 active  start INACTIVE  verdict SUPPORTED
      CHAINS DIRECT: 15 RC chains (bootstrap); no premise
      CHAINS NEEDS receiver1 active FIRST (path gate1 open -> receiver1 active): 8 RC chains (latch); gate1 open
    receiver2 active  start INACTIVE  verdict SUPPORTED  route FINAL
      CHAINS SUPPORTED: 9 RC chains (bootstrap); gate1 open
      CHAINS DIRECT: 13 RC chains (bootstrap); no premise
    receiver3 active  start INACTIVE  verdict SUPPORTED  route FINAL
      CHAINS SUPPORTED: 4 RC chains (bootstrap); gate1 open
      CHAINS DIRECT: 13 RC chains (bootstrap); no premise

  opposed controls (a primitive needed in both states by different services)
    none

  setup dependencies (options whose premises lead back to their own service)
    receiver1 active: 1 option, 1 even with further jams
    setup questions: none

  NOT CLAIMED: an order, simultaneous availability, a body or reach allocation, occupancy, view or a realized setup.  A premise-free provider still needs placing, and a NEEDS-FIRST provider needs another provider in force while it is installed (a handover).  Access is to a site's own region; placement or pickup from another location within reach is not modelled.  For concrete consequences use REPORT-SERVICE-TRANSITION on two settled states.
RO requires an explicit segment input and is not generated; call
REPORT-ROLE-OBLIGATIONS with a stated scenario.
