CONSEQUENTIAL REACHABILITY — ISSUANCE DESIGN SPACE
Engine: kore-engine.mjs computeReachability (real code, imported read-only)
Date: 2026-10-15

=== D1 — ICO ===
control (full graph):     startCount=1 reachableCount=6 depthReached=6 targetReachable=true
filtered (hard trips removed: D1:ISSUER_SALE_OF_UNITS, D1:DISCRETIONARY_TREASURY_MINT, D1:PROFIT_ORIENTED_MARKETING):
                          startCount=1 reachableCount=1 depthReached=1 targetReachable=false
filtered reachable set:   D1:GENESIS
constraints tripped:      HOWEY_PATTERN @ D1:ISSUER_SALE_OF_UNITS, D1:DISCRETIONARY_TREASURY_MINT, D1:PROFIT_ORIENTED_MARKETING; JUNK_FLOOD @ D1:ISSUER_SALE_OF_UNITS; CONSTITUTIONAL_BREACH @ D1:DISCRETIONARY_TREASURY_MINT
flags (non-blocking):     none
VERDICT: NOT VIABLE

=== D2 — PoW mining ===
control (full graph):     startCount=1 reachableCount=6 depthReached=6 targetReachable=true
filtered (hard trips removed: D2:ISSUANCE_FOR_HASH_WORK):
                          startCount=1 reachableCount=1 depthReached=1 targetReachable=false
filtered reachable set:   D2:GENESIS
constraints tripped:      JUNK_FLOOD @ D2:ISSUANCE_FOR_HASH_WORK
flags (non-blocking):     none
VERDICT: NOT VIABLE

=== D3 — Staking issuance ===
control (full graph):     startCount=1 reachableCount=5 depthReached=5 targetReachable=true
filtered (hard trips removed: D3:ISSUANCE_FOR_LOCKED_CAPITAL):
                          startCount=1 reachableCount=1 depthReached=1 targetReachable=false
filtered reachable set:   D3:GENESIS
constraints tripped:      JUNK_FLOOD @ D3:ISSUANCE_FOR_LOCKED_CAPITAL
flags (non-blocking):     none
VERDICT: NOT VIABLE

=== D4 — Public airdrop ===
control (full graph):     startCount=1 reachableCount=5 depthReached=5 targetReachable=true
filtered (hard trips removed: D4:FREE_AIRDROP_DISTRIBUTION):
                          startCount=1 reachableCount=1 depthReached=1 targetReachable=false
filtered reachable set:   D4:GENESIS
constraints tripped:      JUNK_FLOOD @ D4:FREE_AIRDROP_DISTRIBUTION
flags (non-blocking):     none
VERDICT: NOT VIABLE

=== D5 — Closed-loop constitutional mint ===
control (full graph):     startCount=1 reachableCount=8 depthReached=8 targetReachable=true
filtered (hard trips removed: none):
                          startCount=1 reachableCount=8 depthReached=8 targetReachable=true
filtered reachable set:   D5:GENESIS | D5:MECHANICAL_QUORUM_MINT | D5:EARNED_BY_WITNESSED_CONTRIBUTION | D5:NEVER_SOLD_BY_ISSUER | D5:LEDGER_INTERNAL_EXISTENCE | D5:TRANSFER_ONLY_AS_WITNESSED_SETTLEMENT | D5:MECHANISM_ONLY_MARKETING | D5:LIVE_UNIT_OPERATING
constraints tripped:      none
flags (non-blocking):     none
VERDICT: VIABLE

=== D6 — Closed-loop constitutional mint + settled bridge (later) ===
control (full graph):     startCount=1 reachableCount=9 depthReached=9 targetReachable=true
filtered (hard trips removed: none):
                          startCount=1 reachableCount=9 depthReached=9 targetReachable=true
filtered reachable set:   D6:GENESIS | D6:MECHANICAL_QUORUM_MINT | D6:EARNED_BY_WITNESSED_CONTRIBUTION | D6:NEVER_SOLD_BY_ISSUER | D6:LEDGER_INTERNAL_EXISTENCE | D6:TRANSFER_ONLY_AS_WITNESSED_SETTLEMENT | D6:MECHANISM_ONLY_MARKETING | D6:SETTLED_BRIDGE_EXCHANGE | D6:LIVE_UNIT_OPERATING
constraints tripped:      none
flags (non-blocking):     EDGE_OBLIGATION @ D6:SETTLED_BRIDGE_EXCHANGE
VERDICT: VIABLE (with flag)

=== D7 — Earned-but-transferable ===
control (full graph):     startCount=1 reachableCount=7 depthReached=7 targetReachable=true
filtered (hard trips removed: D7:FREE_TRANSFER_OFF_LEDGER):
                          startCount=1 reachableCount=4 depthReached=4 targetReachable=false
filtered reachable set:   D7:GENESIS | D7:MECHANICAL_QUORUM_MINT | D7:EARNED_BY_WITNESSED_CONTRIBUTION | D7:NEVER_SOLD_BY_ISSUER
constraints tripped:      CONSTITUTIONAL_BREACH @ D7:FREE_TRANSFER_OFF_LEDGER
flags (non-blocking):     none
VERDICT: NOT VIABLE

=== SUMMARY ===
D1 ICO: NOT VIABLE [tripped: HOWEY_PATTERN, JUNK_FLOOD, CONSTITUTIONAL_BREACH] | full reachable=6/6 filtered reachable=1/3 depth(full/filtered)=6/1 starts=1/1 control=PASS
D2 PoW mining: NOT VIABLE [tripped: JUNK_FLOOD] | full reachable=6/6 filtered reachable=1/5 depth(full/filtered)=6/1 starts=1/1 control=PASS
D3 Staking issuance: NOT VIABLE [tripped: JUNK_FLOOD] | full reachable=5/5 filtered reachable=1/4 depth(full/filtered)=5/1 starts=1/1 control=PASS
D4 Public airdrop: NOT VIABLE [tripped: JUNK_FLOOD] | full reachable=5/5 filtered reachable=1/4 depth(full/filtered)=5/1 starts=1/1 control=PASS
D5 Closed-loop constitutional mint: VIABLE | full reachable=8/8 filtered reachable=8/8 depth(full/filtered)=8/8 starts=1/1 control=PASS
D6 Closed-loop constitutional mint + settled bridge (later): VIABLE [flag: EDGE_OBLIGATION] | full reachable=9/9 filtered reachable=9/9 depth(full/filtered)=9/9 starts=1/1 control=PASS
D7 Earned-but-transferable: NOT VIABLE [tripped: CONSTITUTIONAL_BREACH] | full reachable=7/7 filtered reachable=4/6 depth(full/filtered)=7/4 starts=1/1 control=PASS

encoding.json written (exact engine inputs + annotations).
