RubyGems - hecks - Versions diffs - 3.14.0 → 4.0.0 - Mend

hecks 3.14.0 → 4.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (419) hide show

checksums.yaml +4 -4
data/examples/pizzas/adapters/fake_processor.rb +34 -0
data/examples/pizzas/adapters/payment_signature.rb +66 -0
data/examples/pizzas/adapters/payment_webhook.rb +87 -0
data/examples/pizzas/bluebook/pizzas.behaviors +33 -0
data/examples/pizzas/bluebook/pizzas.hecksagon +5 -3
data/examples/pizzas/config.ru +22 -0
data/lib/hecks/adapters/driven/prism.rb +0 -2
data/lib/hecks/adapters/driven.rb +0 -2
data/lib/hecks/adapters/driving/json.rb +1 -7
data/lib/hecks/bluebook/dsl/bootstrap_table.rb +2 -2
data/lib/hecks/bluebook/dsl/derivation_words.rb +58 -0
data/lib/hecks/bluebook/dsl/translation_builder.rb +6 -37
data/lib/hecks/bluebook/expression/ast_json.rb +0 -9
data/lib/hecks/bluebook/hecksagon.rb +1 -1
data/lib/hecks/bluebook/meta_validator/translation_judge/rules.rb +7 -10
data/lib/hecks/bluebook/meta_validator/translation_judge.rb +4 -8
data/lib/hecks/bluebook/meta_validator.rb +0 -11
data/lib/hecks/bluebook/translation.rb +18 -10
data/lib/hecks/bluebook/translation_expression/evaluator.rb +63 -0
data/lib/hecks/bluebook/translation_expression/parser.rb +127 -0
data/lib/hecks/bluebook/translation_expression.rb +39 -0
data/lib/hecks/bluebook/translation_plan.rb +70 -0
data/lib/hecks/bluebook.rb +2 -0
data/lib/hecks/chapters.rb +3 -3
data/lib/hecks/composer/adapters/claude_composer.adapter +3 -0
data/lib/hecks/composer/adapters/claude_composer.rb +83 -0
data/lib/hecks/composer/adapters/fake_agent.adapter +3 -0
data/lib/hecks/composer/adapters/fake_agent.rb +55 -0
data/lib/hecks/composer/adapters/jev.adapter +3 -0
data/lib/hecks/composer/adapters/jev.rb +66 -0
data/lib/hecks/composer/agent.rb +113 -0
data/lib/hecks/composer/assistant.rb +110 -0
data/lib/hecks/composer/behavior_run.rb +53 -0
data/lib/hecks/composer/bluebook/composer.bluebook +178 -0
data/lib/hecks/composer/bluebook/composer.hecksagon +16 -0
data/lib/hecks/composer/board.rb +65 -0
data/lib/hecks/composer/board_edit/command_text.rb +39 -0
data/lib/hecks/composer/board_edit/source.rb +84 -0
data/lib/hecks/composer/board_edit.rb +144 -0
data/lib/hecks/composer/check.rb +89 -0
data/lib/hecks/composer/domains.rb +81 -0
data/lib/hecks/composer/jobs.rb +134 -0
data/lib/hecks/composer/layout.rb +37 -0
data/lib/hecks/composer/live.rb +150 -0
data/lib/hecks/composer/outline.rb +48 -0
data/lib/hecks/composer/page.html +989 -0
data/lib/hecks/composer/panels.rb +142 -0
data/lib/hecks/composer/parse.rb +83 -0
data/lib/hecks/composer/plain.rb +28 -0
data/lib/hecks/composer/ports/composer_agent.port +7 -0
data/lib/hecks/composer/session.rb +141 -0
data/lib/hecks/composer/toolbox.rb +166 -0
data/lib/hecks/composer/web.rb +156 -0
data/lib/hecks/composer/workbench.rb +51 -0
data/lib/hecks/composer/workspace.rb +81 -0
data/lib/hecks/composer.rb +17 -0
data/lib/hecks/corpus/adapters.rb +22 -0
data/lib/hecks/corpus/rust.rb +1 -1
data/lib/hecks/corpus/worlds.rb +19 -0
data/lib/hecks/corpus.rb +5 -0
data/lib/hecks/forms/app/commands.rb +2 -3
data/lib/hecks/forms/app/queries.rb +2 -3
data/lib/hecks/forms/app/records.rb +17 -5
data/lib/hecks/forms/command_form_renderer.rb +42 -16
data/lib/hecks/forms/field_controls.rb +2 -2
data/lib/hecks/forms/field_renderer.rb +1 -1
data/lib/hecks/forms/field_shape.rb +36 -17
data/lib/hecks/forms/index_renderer.rb +2 -1
data/lib/hecks/forms/page.rb +1 -1
data/lib/hecks/forms/params.rb +0 -13
data/lib/hecks/forms/query_form_renderer.rb +7 -6
data/lib/hecks/forms/record_renderer.rb +11 -7
data/lib/hecks/forms/rule_words.rb +100 -0
data/lib/hecks/forms/value_object_shape.rb +2 -1
data/lib/hecks/fuzzing/bounded_exhaustive_expressions.rb +0 -3
data/lib/hecks/fuzzing/isolated_boot/worlds.rb +3 -6
data/lib/hecks/fuzzing/replay/filters.rb +2 -6
data/lib/hecks/gate/stages.yml +25 -0
data/lib/hecks/grammar/evolve/seeds.rb +0 -6
data/lib/hecks/grammar/evolve.rb +0 -3
data/lib/hecks/grammar/translation.bluebook +1 -1
data/lib/hecks/hecks/adapters/codebase/composing.rb +56 -0
data/lib/hecks/hecks/adapters/codebase/source_tree.rb +3 -1
data/lib/hecks/hecks/adapters/journal_store/changes.rb +0 -26
data/lib/hecks/hecks/adapters/journal_store/examination.rb +2 -23
data/lib/hecks/hecks/adapters/journal_store/readings.rb +3 -11
data/lib/hecks/hecks/adapters/journal_store.rb +0 -11
data/lib/hecks/hecks/adapters/rehearsal/inquiry.rb +4 -11
data/lib/hecks/hecks/adapters/rehearsal/memory_store.rb +0 -9
data/lib/hecks/hecks/adapters/rehearsal/postgres_reading.rb +0 -4
data/lib/hecks/hecks/codebase.behaviors +6 -0
data/lib/hecks/hecks/codebase.bluebook +21 -0
data/lib/hecks/hecks/composer.behaviors +68 -0
data/lib/hecks/hecks/context_map.hecksagon +1 -1
data/lib/hecks/hecks/custodian.behaviors +0 -6
data/lib/hecks/hecks/custodian.bluebook +3 -80
data/lib/hecks/hecks/hecks.hecksagon +2 -2
data/lib/hecks/hecks/hecks.world +1 -1
data/lib/hecks/hecks/rehearsal.bluebook +7 -13
data/lib/hecks/kernel_capabilities/templates.rb +4 -4
data/lib/hecks/kernel_capabilities.rb +1 -1
data/lib/hecks/language/bluebook/vocabulary.bluebook +2 -3
data/lib/hecks/language/translation/translation_aggregate.bluebook +21 -24
data/lib/hecks/ports/access_control.rb +2 -2
data/lib/hecks/ports/persistence/plugins/era/era_check.rb +3 -41
data/lib/hecks/ports/persistence/plugins/era/lineage/coverage.rb +7 -7
data/lib/hecks/ports/persistence/plugins/era/lineage/rewrite.rb +25 -2
data/lib/hecks/ports/persistence/plugins/era/lineage/rules.rb +4 -4
data/lib/hecks/ports/persistence/plugins/era/lineage.rb +17 -25
data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/base_sql.rb +0 -12
data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/domain_rename.rb +1 -1
data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/era_store.rb +2 -22
data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/provisioning.rb +0 -1
data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage.rb +9 -3
data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/minter.rb +3 -29
data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/refusals.rb +2 -26
data/lib/hecks/ports/persistence/plugins/era/translation/audit/layer_two.rb +6 -33
data/lib/hecks/ports/persistence/plugins/era/translation/audit/unfed_report.rb +3 -3
data/lib/hecks/ports/persistence/plugins/era/translation/audit.rb +2 -4
data/lib/hecks/ports/persistence/plugins/era/translation/expression_sql.rb +52 -0
data/lib/hecks/ports/persistence/plugins/era/translation/rule_compiler.rb +23 -29
data/lib/hecks/ports/persistence/plugins/era/translation/scaffold.rb +1 -1
data/lib/hecks/ports/persistence/plugins/era/translation.rb +0 -1
data/lib/hecks/ports/persistence/plugins/era.rb +3 -6
data/lib/hecks/ports.rb +0 -1
data/lib/hecks/projection_files.rb +3 -1
data/lib/hecks/projections/deploy/templates/lambda/nat_comment_oauth.tmpl +1 -1
data/lib/hecks/projections/glossary/entries.rb +10 -4
data/lib/hecks/projections/glossary/groups.rb +42 -0
data/lib/hecks/projections/glossary/html/page.rb +7 -2
data/lib/hecks/projections/glossary/html/parser.rb +1 -1
data/lib/hecks/projections/glossary/html/sections.rb +31 -11
data/lib/hecks/projections/glossary/html.rb +1 -2
data/lib/hecks/projections/glossary/markdown.rb +31 -28
data/lib/hecks/projections/glossary/mermaid.rb +3 -0
data/lib/hecks/projections/glossary/page.css +143 -153
data/lib/hecks/projections/glossary/page.js +63 -3
data/lib/hecks/projections/glossary/sentences/actions.rb +88 -0
data/lib/hecks/projections/glossary/sentences/paths.rb +77 -0
data/lib/hecks/projections/glossary/sentences/queries.rb +90 -0
data/lib/hecks/projections/glossary/sentences/value_objects.rb +32 -5
data/lib/hecks/projections/glossary/sentences.rb +13 -3
data/lib/hecks/projections/glossary/slugs.rb +4 -1
data/lib/hecks/projections/glossary.rb +2 -1
data/lib/hecks/projections/plain_english.rb +97 -0
data/lib/hecks/projections/rust_vocabulary/arguments.rb +2 -2
data/lib/hecks/projections/rust_vocabulary/enum_body.rb +20 -25
data/lib/hecks/projections/rust_vocabulary/tests.rb +2 -2
data/lib/hecks/projections/rust_vocabulary.rb +14 -6
data/lib/hecks/projections/site/cms_editor/color.rb +0 -6
data/lib/hecks/projections/statements/actions.rb +99 -0
data/lib/hecks/projections/statements/relationships.rb +86 -0
data/lib/hecks/projections/statements.rb +15 -24
data/lib/hecks/projector/exporter/adapters.rb +112 -0
data/lib/hecks/projector/exporter/translations.rb +18 -35
data/lib/hecks/projector/exporter/worlds.rb +103 -0
data/lib/hecks/projector/exporter.rb +5 -1
data/lib/hecks/quality_control/adapters/agent.rb +6 -7
data/lib/hecks/quality_control/adapters/agent_profile.rb +16 -114
data/lib/hecks/quality_control/cli/qa_mine_combinations.rb +1 -1
data/lib/hecks/runtime/loader/boot_steps.rb +0 -20
data/lib/hecks/runtime/outbox.rb +2 -9
data/lib/hecks/runtime/port_operation_interpreter.rb +1 -9
data/lib/hecks/runtime/remote_dispatcher.rb +2 -2
data/lib/hecks/runtime/value.rb +13 -0
data/lib/hecks/rust_build/project_rust/target_ir.rb +23 -4
data/lib/hecks/rust_build/wasm.rb +0 -12
data/lib/hecks/rust_build/write_if_changed.rb +12 -12
data/lib/hecks/rust_format.rb +77 -0
data/lib/hecks/tools/fuzz_sweep/findings.rb +3 -9
data/lib/hecks/tools/fuzz_sweep.rb +1 -3
data/lib/hecks/tools/translation_audit/verdicts.rb +3 -28
data/lib/hecks/tools/translation_audit.rb +8 -10
data/lib/hecks/tools/translation_scaffold/reporting.rb +1 -1
data/lib/hecks/version.rb +1 -1
data/lib/hecks/vocabulary.rb +2 -1
data/lib/hecks.rb +3 -0
data/prebuilt/{a883a7e568667aa5ac904c82daff356bdf9e996252a36af6def4a4a43efb967e.marshal → 02c09c73b272c1fb5a9ae6d87bb5e5e529208e00f6b4b597dc2c0fd70a9c0964.marshal} +0 -0
data/prebuilt/{1a6f596be124228be93eba1d86dbc9d2933190fa389b284331241cb9f27115a0.marshal → bb84a835cf6a15136bad5ca03aa5bf93a5b92f5f72444618d3ef2412b987fb32.marshal} +0 -0
data/prebuilt/{verdicts-872993b1aa26d73fe48f28251374b8585fed145d02aab42be0f00de386b6ff80.json → verdicts-f1f10da14c8e8f01b4c9b7e3e2d74be8cd2bf4676364ed17fa16975d2a076d75.json} +1 -1
data/rust/Cargo.toml +40 -0
data/rust/build/Cargo.toml +36 -0
data/rust/build/clippy.toml +4 -0
data/rust/build/src/adapters_pass.rs +196 -0
data/rust/build/src/binding_pass.rs +54 -13
data/rust/build/src/build_artifact.rs +23 -5
data/rust/build/src/cargo_sync.rs +69 -26
data/rust/build/src/lineage_pass.rs +101 -87
data/rust/build/src/main.rs +11 -2
data/rust/build/src/pipeline.rs +80 -19
data/rust/build/src/reserved_names.rs +6 -50
data/rust/build/src/resolve.rs +82 -35
data/rust/build/src/rustfmt.rs +100 -0
data/rust/build/src/seams_pass.rs +85 -16
data/rust/build/src/subprocess.rs +30 -6
data/rust/build/src/tmp.rs +5 -2
data/rust/build/src/translation_pass.rs +72 -22
data/rust/build/src/world_pass.rs +109 -0
data/rust/clippy.toml +4 -0
data/rust/codegen/Cargo.toml +36 -0
data/rust/codegen/clippy.toml +4 -0
data/rust/codegen/src/asks.rs +40 -14
data/rust/codegen/src/attr.rs +2 -2
data/rust/codegen/src/bridging.rs +676 -117
data/rust/codegen/src/commands.rs +979 -373
data/rust/codegen/src/constraints.rs +88 -25
data/rust/codegen/src/dependency_planning.rs +128 -34
data/rust/codegen/src/domain_generator.rs +300 -170
data/rust/codegen/src/exemplar.rs +87 -32
data/rust/codegen/src/expr_emitter.rs +54 -6
data/rust/codegen/src/fielded.rs +193 -41
data/rust/codegen/src/hecks_naming.rs +124 -16
data/rust/codegen/src/hecks_naming_tests.rs +81 -0
data/rust/codegen/src/json.rs +80 -44
data/rust/codegen/src/json_codec.rs +585 -149
data/rust/codegen/src/literal.rs +104 -138
data/rust/codegen/src/main.rs +145 -52
data/rust/codegen/src/manifest.rs +76 -14
data/rust/codegen/src/mutations.rs +1212 -239
data/rust/codegen/src/naming.rs +111 -60
data/rust/codegen/src/optional_pass.rs +90 -28
data/rust/codegen/src/ports.rs +5 -4
data/rust/codegen/src/prelude.rs +139 -49
data/rust/codegen/src/queries.rs +601 -226
data/rust/codegen/src/reactions.rs +268 -74
data/rust/codegen/src/read_models.rs +606 -205
data/rust/codegen/src/reference_specs.rs +16 -3
data/rust/codegen/src/registry.rs +128 -79
data/rust/codegen/src/reserved_names.rs +6 -50
data/rust/codegen/src/shared.rs +71 -22
data/rust/codegen/src/sidecars.rs +15 -5
data/rust/codegen/src/skip_reason.rs +8 -2
data/rust/codegen/src/types.rs +306 -108
data/rust/host/Cargo.lock +1 -0
data/rust/host/Cargo.toml +40 -4
data/rust/host/HECKS_RELEASE +1 -1
data/rust/host/clippy.toml +4 -0
data/rust/host/src/api.rs +698 -218
data/rust/host/src/auth.rs +491 -214
data/rust/host/src/b64.rs +91 -0
data/rust/host/src/bin/expr_harness.rs +6 -2
data/rust/host/src/bin/lineage_harness.rs +47 -11
data/rust/host/src/bin/mint_harness.rs +70 -37
data/rust/host/src/bin/validate_harness.rs +16 -8
data/rust/host/src/boot.rs +144 -68
data/rust/host/src/boundary_fuzz/api.rs +130 -32
data/rust/host/src/boundary_fuzz/auth.rs +108 -23
data/rust/host/src/boundary_fuzz/expr_json.rs +85 -11
data/rust/host/src/boundary_fuzz/ir.rs +164 -12
data/rust/host/src/boundary_fuzz/server.rs +283 -36
data/rust/host/src/boundary_fuzz/web.rs +56 -8
data/rust/host/src/checkout.rs +78 -32
data/rust/host/src/clock.rs +8 -0
data/rust/host/src/commerce_ir.rs +333 -95
data/rust/host/src/crypto.rs +33 -0
data/rust/host/src/dispatch.rs +990 -331
data/rust/host/src/expr_json.rs +1021 -273
data/rust/host/src/extension.rs +24 -4
data/rust/host/src/field_hints.rs +11 -7
data/rust/host/src/fuzz_support.rs +85 -13
data/rust/host/src/host.rs +100 -0
data/rust/host/src/http.rs +22 -0
data/rust/host/src/ir.rs +326 -16
data/rust/host/src/journal.rs +277 -176
data/rust/host/src/lambda_client.rs +219 -53
data/rust/host/src/lib.rs +16 -4
data/rust/host/src/log.rs +62 -11
data/rust/host/src/mint.rs +1153 -326
data/rust/host/src/needs.rs +185 -44
data/rust/host/src/payments/keystore.rs +197 -45
data/rust/host/src/payments/roles.rs +39 -7
data/rust/host/src/payments/tests.rs +1427 -282
data/rust/host/src/payments.rs +391 -112
data/rust/host/src/platform_signin/attack_tests.rs +5 -5
data/rust/host/src/platform_signin/config.rs +11 -11
data/rust/host/src/platform_signin/cookie.rs +2 -2
data/rust/host/src/platform_signin/extension.rs +2 -1
data/rust/host/src/platform_signin/handler.rs +9 -8
data/rust/host/src/platform_signin/jti.rs +4 -2
data/rust/host/src/platform_signin/jwks.rs +2 -1
data/rust/host/src/platform_signin/jws.rs +2 -37
data/rust/host/src/platform_signin/known_answer_tests.rs +5 -1
data/rust/host/src/platform_signin/mode_tests.rs +5 -3
data/rust/host/src/platform_signin/pages.rs +20 -20
data/rust/host/src/platform_signin/session.rs +8 -1
data/rust/host/src/platform_signin/settings.rs +6 -6
data/rust/host/src/platform_signin/strict_json.rs +12 -9
data/rust/host/src/platform_signin/verify.rs +41 -41
data/rust/host/src/platform_signin/wiring_support.rs +13 -18
data/rust/host/src/presentation.rs +207 -63
data/rust/host/src/presentation_write.rs +502 -187
data/rust/host/src/query_step.rs +69 -18
data/rust/host/src/rate_limit.rs +541 -142
data/rust/host/src/reference_transform.rs +77 -25
data/rust/host/src/reference_validate.rs +443 -104
data/rust/host/src/resend.rs +190 -55
data/rust/host/src/secrets.rs +116 -21
data/rust/host/src/server.rs +483 -104
data/rust/host/src/storage_shape.rs +88 -21
data/rust/host/src/test_pg.rs +17 -7
data/rust/host/src/ui_schema.rs +495 -207
data/rust/host/src/wasm_runner.rs +21 -6
data/rust/host/src/web/commerce.rs +101 -23
data/rust/host/src/web/newsletter/cooldown.rs +10 -3
data/rust/host/src/web/newsletter/template.rs +26 -7
data/rust/host/src/web/newsletter/tests.rs +112 -23
data/rust/host/src/web/newsletter.rs +209 -59
data/rust/host/src/web/newsletter_send.rs +251 -79
data/rust/host/src/web/registration_receipt/tests.rs +16 -4
data/rust/host/src/web/registration_receipt.rs +100 -24
data/rust/host/src/web/registrations.rs +1384 -332
data/rust/host/src/web/resend_webhook.rs +138 -80
data/rust/host/src/web.rs +2416 -508
data/rust/lsp/Cargo.toml +36 -0
data/rust/lsp/clippy.toml +4 -0
data/rust/lsp/src/json.rs +29 -22
data/rust/lsp/src/main.rs +81 -31
data/rust/lsp/src/outline.rs +23 -7
data/rust/lsp/src/rpc.rs +17 -4
data/rust/parser/Cargo.toml +36 -0
data/rust/parser/clippy.toml +4 -0
data/rust/parser/src/build/closed_sets.rs +6 -1
data/rust/parser/src/build/identity.rs +4 -3
data/rust/parser/src/build/mod.rs +1 -1
data/rust/parser/src/build/named_pattern.rs +4 -1
data/rust/parser/src/build/naming.rs +2 -80
data/rust/parser/src/build/pattern_subset.rs +6 -8
data/rust/parser/src/build/query_derive.rs +3 -1
data/rust/parser/src/build/query_inference.rs +14 -5
data/rust/parser/src/build/read_model.rs +4 -1
data/rust/parser/src/build/references.rs +4 -3
data/rust/parser/src/canonical.rs +34 -15
data/rust/parser/src/emit.rs +187 -105
data/rust/parser/src/expr/ast_json.rs +134 -42
data/rust/parser/src/expr/evaluator.rs +27 -9
data/rust/parser/src/expr/mod.rs +54 -13
data/rust/parser/src/expr/resolver.rs +299 -92
data/rust/parser/src/ir.rs +35 -3
data/rust/parser/src/keywords.rs +7168 -516
data/rust/parser/src/lex.rs +11 -25
data/rust/parser/src/lib.rs +1 -0
data/rust/parser/src/main.rs +65 -6
data/rust/parser/src/parse/adapter.rs +157 -0
data/rust/parser/src/parse/aggregate.rs +19 -10
data/rust/parser/src/parse/chapter.rs +16 -17
data/rust/parser/src/parse/command.rs +35 -16
data/rust/parser/src/parse/domain_port.rs +4 -7
data/rust/parser/src/parse/entity.rs +21 -11
data/rust/parser/src/parse/hecksagon.rs +10 -4
data/rust/parser/src/parse/lifecycle.rs +9 -5
data/rust/parser/src/parse/mod.rs +22 -91
data/rust/parser/src/parse/needs.rs +21 -12
data/rust/parser/src/parse/policy.rs +2 -2
data/rust/parser/src/parse/process_manager.rs +9 -11
data/rust/parser/src/parse/query.rs +8 -4
data/rust/parser/src/parse/read_model.rs +57 -16
data/rust/parser/src/parse/value_object.rs +7 -2
data/rust/parser/src/parse/world.rs +322 -0
data/rust/parser/src/ruby_value.rs +7 -6
data/rust/src/exemplar/json.rs +4 -4
data/rust/src/exemplar/mutations.rs +18 -0
data/rust/src/exemplar/read_models.rs +1 -10
data/rust/src/kernel/attribute_shapes/composite.rs +54 -14
data/rust/src/kernel/attribute_shapes/list.rs +2 -2
data/rust/src/kernel/attribute_shapes/mod.rs +8 -8
data/rust/src/kernel/attribute_shapes/scalar.rs +2 -2
data/rust/src/kernel/cli.rs +229 -112
data/rust/src/kernel/dispatch.rs +323 -115
data/rust/src/kernel/dispatch_guard_tests.rs +327 -65
data/rust/src/kernel/expr.rs +203 -86
data/rust/src/kernel/expression_operators/arithmetic.rs +138 -25
data/rust/src/kernel/expression_operators/comparison.rs +87 -2
data/rust/src/kernel/expression_operators/enumeration.rs +106 -22
data/rust/src/kernel/expression_operators/logical.rs +9 -3
data/rust/src/kernel/expression_operators/membership.rs +3 -1
data/rust/src/kernel/expression_operators/mod.rs +34 -21
data/rust/src/kernel/expression_operators/pattern_match.rs +46 -11
data/rust/src/kernel/expression_operators/positional.rs +84 -30
data/rust/src/kernel/expression_operators/presence.rs +52 -13
data/rust/src/kernel/expression_operators/sign_test.rs +3 -1
data/rust/src/kernel/expression_operators/sized.rs +24 -8
data/rust/src/kernel/expression_operators/text.rs +120 -27
data/rust/src/kernel/expression_operators/to_string.rs +10 -4
data/rust/src/kernel/json.rs +230 -148
data/rust/src/kernel/mod.rs +46 -33
data/rust/src/kernel/named_query.rs +63 -15
data/rust/src/kernel/needs.rs +112 -25
data/rust/src/kernel/orchestrate.rs +980 -581
data/rust/src/kernel/orchestrate_guard_tests.rs +538 -140
data/rust/src/kernel/pattern.rs +107 -34
data/rust/src/kernel/query_comparators.rs +118 -41
data/rust/src/kernel/query_ordering.rs +13 -5
data/rust/src/kernel/read_model.rs +479 -181
data/rust/src/kernel/reference_lookup.rs +122 -26
data/rust/src/kernel/repository.rs +293 -66
data/rust/src/kernel/routing.rs +58 -42
data/rust/src/kernel/ruby_float.rs +139 -0
data/rust/src/kernel/vocab/aggregate_dispatch_order.rs +57 -57
data/rust/src/kernel/vocab/entity_dispatch_order.rs +54 -54
data/rust/src/kernel/vocab/field_hint.rs +19 -25
data/rust/src/kernel/vocab/mod.rs +6 -6
data/rust/src/kernel/vocab/query_comparator.rs +23 -24
data/rust/src/kernel/vocab/refusal_template.rs +501 -297
data/rust/src/lib.rs +50 -0
data/rust/src/main.rs +4 -1
data/rust/web/Cargo.toml +36 -0
data/rust/web/clippy.toml +4 -0
metadata +82 -15
data/examples/pizzas/bluebook/hecksagon/mock_stripe_payment_adapter.rb +0 -36
data/lib/hecks/adapters/driven/google_authentication.adapter +0 -3
data/lib/hecks/adapters/driven/google_authentication.rb +0 -99
data/lib/hecks/adapters/driven/mock_stripe_adapter.adapter +0 -3
data/lib/hecks/adapters/driven/mock_stripe_adapter.rb +0 -32
data/lib/hecks/ports/authentication.port +0 -6
data/lib/hecks/ports/authentication.rb +0 -67
data/lib/hecks/ports/persistence/plugins/era/translation/approval_file.rb +0 -255
data/lib/hecks/ports/persistence/plugins/era/translation/audit/approval_digest.rb +0 -22
data/rust/host/src/approval.rs +0 -652

data/lib/hecks/composer/page.html ADDED Viewed

@@ -0,0 +1,989 @@
+<!doctype html>
+<html lang="en">
+<head>
+<meta charset="utf-8">
+<meta name="viewport" content="width=device-width, initial-scale=1">
+<title>Hecks Composer</title>
+<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.65.16/codemirror.min.css">
+<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.65.16/addon/hint/show-hint.min.css">
+<style>
+  :root {
+    --bg: #f6f6f4; --panel: #ffffff; --edge: #dcdcd6; --ink: #1d1d1b; --dim: #6b6b64;
+    --accent: #2f6fed; --bad: #c0392b; --warn: #b7791f; --ok: #2f855a; --line: #fdecea;
+  }
+  @media (prefers-color-scheme: dark) {
+    :root {
+      --bg: #161616; --panel: #1e1e1e; --edge: #333330; --ink: #e8e8e3; --dim: #9a9a92;
+      --accent: #6c9cff; --bad: #ff7b6b; --warn: #e0b04a; --ok: #6fcf97; --line: #3a2220;
+    }
+  }
+  * { box-sizing: border-box; }
+  html, body { height: 100%; margin: 0; }
+  body { background: var(--bg); color: var(--ink); font: 13px/1.45 ui-sans-serif, system-ui, sans-serif; display: flex; flex-direction: column; }
+  header { display: flex; align-items: center; gap: 12px; padding: 6px 12px; border-bottom: 1px solid var(--edge); background: var(--panel); }
+  header h1 { font-size: 13px; margin: 0; letter-spacing: .04em; }
+  header .grow { flex: 1; }
+  header select { margin: 0; max-width: 280px; }
+  #modes button { border-radius: 0; margin: 0; } #modes button:first-child { border-radius: 4px 0 0 4px; } #modes button:last-child { border-radius: 0 4px 4px 0; border-left: 0; }
+  #modes button.on { background: var(--accent); color: #fff; border-color: var(--accent); }
+  main[hidden], #boardView[hidden], #boardForm[hidden] { display: none; }
+  #boardView { flex: 1; display: flex; flex-direction: column; min-height: 0; background: var(--panel); }
+  #boardBar { display: flex; align-items: center; gap: 8px; padding: 6px 12px; border-bottom: 1px solid var(--edge); flex-wrap: wrap; }
+  #boardActions { display: inline-flex; gap: 6px; flex-wrap: wrap; } #boardHint { color: var(--dim); }
+  #boardForm { display: flex; gap: 8px; align-items: center; padding: 6px 12px; background: var(--bg); border-bottom: 1px solid var(--edge); flex-wrap: wrap; }
+  #boardForm input { font: inherit; color: var(--ink); background: var(--panel); border: 1px solid var(--edge); border-radius: 4px; padding: 4px 8px; min-width: 190px; }
+  #boardMsg { padding: 0 12px; min-height: 18px; color: var(--ok); } #boardMsg.bad { color: var(--bad); }
+  #boardScroll { flex: 1; min-height: 0; overflow: auto; }
+  #boardSvg { display: block; }
+  .lane-band { fill: var(--bg); stroke: var(--edge); } .lane-title { fill: var(--dim); font-size: 10px; text-transform: uppercase; letter-spacing: .08em; }
+  .note rect { stroke: rgba(0, 0, 0, .25); stroke-width: 1; cursor: pointer; } .note text { fill: #1d1d1b; font-size: 12px; pointer-events: none; }
+  .note .kind { font-size: 9px; opacity: .65; text-transform: uppercase; }
+  .note.aggregate rect { fill: #f2d04c; } .note.command rect { fill: #6fb1ff; } .note.event rect { fill: #ff9f5a; } .note.policy rect { fill: #b98cff; }
+  .note.selected rect { stroke: var(--ink); stroke-width: 3; } .note.target rect { stroke: var(--ok); stroke-width: 3; stroke-dasharray: 5 3; }
+  .link { fill: none; stroke: var(--dim); stroke-width: 1.5; } .link.policy { stroke: #b98cff; stroke-width: 2; }
+  button { font: inherit; color: var(--ink); background: var(--panel); border: 1px solid var(--edge); border-radius: 4px; padding: 3px 10px; cursor: pointer; }
+  button:hover { border-color: var(--accent); }
+  main { flex: 1; display: grid; grid-template-columns: 200px minmax(0, 1fr) 6px var(--right, 42%); grid-template-rows: minmax(0, 1fr); min-height: 0; overflow: hidden; }
+  aside, section { background: var(--panel); min-height: 0; overflow: auto; }
+  aside { border-right: 1px solid var(--edge); }
+  .title { padding: 6px 10px; color: var(--dim); font-size: 11px; text-transform: uppercase; letter-spacing: .08em; }
+  .file { display: flex; padding: 3px 10px; cursor: pointer; gap: 6px; }
+  .file:hover { background: var(--bg); }
+  .file.active { background: var(--bg); border-left: 2px solid var(--accent); padding-left: 8px; }
+  .file .dot { color: var(--warn); visibility: hidden; }
+  .file.dirty .dot { visibility: visible; }
+  .file .side { margin-left: auto; color: var(--dim); font-size: 11px; }
+  #editor { display: flex; flex-direction: column; min-width: 0; min-height: 0; overflow: hidden; }
+  #tabs { display: flex; border-bottom: 1px solid var(--edge); overflow-x: auto; }
+  #tabs .tab { padding: 5px 12px; border-right: 1px solid var(--edge); color: var(--dim); white-space: nowrap; cursor: pointer; }
+  #tabs .tab.active { color: var(--ink); background: var(--bg); }
+  .CodeMirror { flex: 1; height: auto; font: 13px/1.5 ui-monospace, Menlo, monospace; background: var(--panel); color: var(--ink); }
+  .CodeMirror-gutters { background: var(--panel); border-right: 1px solid var(--edge); }
+  .CodeMirror-cursor { border-left-color: var(--ink); }
+  .cm-s-default .cm-keyword { color: var(--accent); }
+  .cm-s-default .cm-string, .cm-s-default .cm-string-2 { color: var(--ok); }
+  .cm-s-default .cm-comment { color: var(--dim); }
+  .cm-s-default .cm-atom, .cm-s-default .cm-number { color: var(--warn); }
+  .cm-s-default .cm-variable, .cm-s-default .cm-variable-2, .cm-s-default .cm-def { color: var(--ink); }
+  .bad-line { background: var(--line); }
+  #splitter { background: var(--edge); cursor: col-resize; }
+  #right { display: flex; flex-direction: column; }
+  #panels { display: flex; border-bottom: 1px solid var(--edge); }
+  #panels .tab { padding: 5px 12px; color: var(--dim); cursor: pointer; }
+  #panels .tab.active { color: var(--ink); border-bottom: 2px solid var(--accent); }
+  .pane { display: none; padding: 10px 12px; overflow: auto; flex: 1; min-height: 0; }
+  .pane.active { display: block; }
+  .pane ul { margin: 0; padding-left: 18px; }
+  .pane li { margin: 2px 0; }
+  .finding.error { color: var(--bad); } .finding.warning { color: var(--warn); }
+  #diagram svg { max-width: 100%; height: auto; }
+  select { font: inherit; color: var(--ink); background: var(--panel); border: 1px solid var(--edge); border-radius: 4px; margin-bottom: 8px; }
+  footer { padding: 4px 12px; border-top: 1px solid var(--edge); background: var(--panel); color: var(--dim); display: flex; gap: 12px; }
+  footer #status { flex: 1; min-width: 0; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
+  footer .bad { color: var(--bad); } footer .ok { color: var(--ok); }
+  .jump { cursor: pointer; text-decoration: underline dotted; }
+  .entry { display: flex; padding: 1px 10px 1px 16px; cursor: pointer; gap: 6px; }
+  .entry:hover { background: var(--bg); }
+  .entry .kind { color: var(--dim); font-size: 11px; min-width: 52px; }
+  #lower { border-top: 1px solid var(--edge); background: var(--panel); height: 36%; min-height: 120px; display: flex; flex-direction: column; }
+  #lowerTabs { display: flex; align-items: center; border-bottom: 1px solid var(--edge); }
+  #lowerTabs .tab { padding: 4px 12px; color: var(--dim); cursor: pointer; }
+  #lowerTabs .tab.active { color: var(--ink); border-bottom: 2px solid var(--accent); }
+  #lowerTabs .grow { flex: 1; } #lowerTabs button { margin-right: 8px; }
+  .lane { display: none; overflow: auto; flex: 1; min-height: 0; padding: 6px 12px; }
+  .lane.active { display: block; }
+  .lane pre { margin: 0 0 8px; font: 12px/1.45 ui-monospace, Menlo, monospace; white-space: pre-wrap; }
+  .lane .row { display: flex; gap: 8px; align-items: flex-start; margin-bottom: 6px; flex-wrap: wrap; }
+  .lane textarea { font: 12px/1.4 ui-monospace, Menlo, monospace; color: var(--ink); background: var(--bg); border: 1px solid var(--edge); border-radius: 4px; min-width: 280px; min-height: 64px; }
+  .lane input[type=text], .lane input[type=number] { font: inherit; color: var(--ink); background: var(--bg); border: 1px solid var(--edge); border-radius: 4px; padding: 3px 6px; }
+  .lane .ok, pre.ok { color: var(--ok); } .lane .bad, pre.bad { color: var(--bad); }
+  .lane .title { padding: 4px 0; } .lane .rev { display: flex; gap: 10px; align-items: center; margin: 2px 0; }
+  .run-mark { color: var(--ok); cursor: pointer; padding-left: 3px; } .run-gutter { width: 16px; }
+  #palette { position: fixed; inset: 0; background: rgba(0, 0, 0, .35); z-index: 20; display: flex; justify-content: center; align-items: flex-start; padding-top: 10vh; }
+  #palette[hidden] { display: none; }
+  #palette .box { width: min(720px, 92vw); max-height: 76vh; overflow: auto; background: var(--panel); border: 1px solid var(--edge); border-radius: 6px; padding: 10px; }
+  #palette .head { display: flex; gap: 10px; align-items: center; } #paletteInput { flex: 1; font: inherit; color: var(--ink); background: var(--bg); border: 1px solid var(--edge); border-radius: 4px; padding: 6px 8px; }
+  .pitem { padding: 3px 6px; cursor: pointer; border-radius: 3px; } .pitem:hover { background: var(--bg); }
+  #paletteDetail { margin-top: 8px; } #paletteDetail textarea, #paletteDetail input { width: 100%; margin: 4px 0; }
+  #turns .turn { margin: 2px 0; } #turns .who { color: var(--dim); font-size: 11px; text-transform: uppercase; margin-right: 6px; }
+  #turns .agent .who { color: var(--accent); }
+  #askForm { display: flex; gap: 8px; margin-top: 6px; } #prompt { flex: 1; font: inherit; color: var(--ink); background: var(--bg); border: 1px solid var(--edge); border-radius: 4px; padding: 5px 8px; }
+  #changes .file-diff { margin: 6px 0; border: 1px solid var(--edge); border-radius: 4px; } #changes .head { display: flex; gap: 8px; padding: 3px 8px; background: var(--bg); }
+  #changes pre { margin: 0; padding: 4px 8px; font: 12px/1.45 ui-monospace, Menlo, monospace; max-height: 200px; overflow: auto; }
+  #changes .add { background: rgba(47, 133, 90, .18); } #changes .del { background: rgba(192, 57, 43, .18); }
+  #tip { position: fixed; z-index: 10; max-width: 340px; padding: 4px 8px; background: var(--ink); color: var(--bg); border-radius: 4px; display: none; pointer-events: none; }
+  table.wire { border-collapse: collapse; margin-bottom: 12px; } table.wire td, table.wire th { border-bottom: 1px solid var(--edge); padding: 2px 10px 2px 0; text-align: left; }
+  #diagramView .node, #diagramView .nodeLabel { cursor: pointer; }
+  @media (max-width: 760px) { main { grid-template-columns: 1fr; } aside, #splitter { display: none; } }
+</style>
+</head>
+<body>
+<header>
+  <h1>HECKS COMPOSER</h1>
+  <span id="modes"><button id="modeEditor" class="on">Editor</button><button id="modeBoard">Board</button></span>
+  <span id="workspace" class="grow" style="color:var(--dim)"></span>
+  <select id="domainPick" title="Open one of the known domains, as a copy"><option value="">Open a domain…</option></select>
+  <button id="save" title="Save the open file (Ctrl/Cmd-S)">Save</button>
+</header>
+<main id="main">
+  <aside><div class="title">Explorer</div><div id="files"></div><div class="title">Outline</div><div id="outline"></div></aside>
+  <div id="editor"><div id="tabs"></div><div id="cm" style="flex:1;min-height:0;display:flex"></div></div>
+  <div id="splitter"></div>
+  <section id="right">
+    <div id="panels">
+      <div class="tab active" data-pane="diagram">Diagram</div>
+      <div class="tab" data-pane="statements">Statements</div>
+      <div class="tab" data-pane="findings">Findings <span id="findingCount"></span></div>
+      <div class="tab" data-pane="wiring">Wiring</div>
+    </div>
+    <div class="pane active" id="diagram"><select id="diagramPick"></select><div id="diagramView"></div></div>
+    <div class="pane" id="statements"><ul id="statementList"></ul></div>
+    <div class="pane" id="findings"><ul id="findingList"></ul></div>
+    <div class="pane" id="wiring"><div id="wiringView"></div></div>
+  </section>
+</main>
+<section id="boardView" hidden>
+  <div id="boardBar">
+    <button id="boardAddAggregate">+ Aggregate</button>
+    <span id="boardActions"></span>
+    <span id="boardHint">Click a note to see what you can do with it.</span>
+  </div>
+  <form id="boardForm" hidden></form>
+  <div id="boardMsg"></div>
+  <div id="boardScroll"><svg id="boardSvg" xmlns="http://www.w3.org/2000/svg"></svg></div>
+</section>
+<section id="lower">
+  <div id="lowerTabs">
+    <div class="tab active" data-lane="agent">Agent</div>
+    <div class="tab" data-lane="console">Console</div>
+    <div class="tab" data-lane="records">Records</div>
+    <div class="tab" data-lane="behaviors">Behaviors</div>
+    <div class="tab" data-lane="eras">Eras</div>
+    <div class="tab" data-lane="fuzz">Fuzz</div>
+    <div class="tab" data-lane="timeline">Timeline</div>
+    <span class="grow"></span>
+    <button id="paletteOpen" title="Hecks commands (Ctrl/Cmd-K)">Commands ⌘K</button>
+  </div>
+  <div class="lane active" id="lane-agent">
+    <div id="turns"></div>
+    <div id="changes"></div>
+    <form id="askForm"><input id="prompt" placeholder="Ask the agent to change the domain, or how it is wired…" autocomplete="off"><button id="ask">Ask</button></form>
+  </div>
+  <div class="lane" id="lane-console">
+    <div class="row"><select id="consoleVerb"></select><input type="text" id="consoleTo" placeholder="record id"><button id="consoleRun">Run</button><span id="consoleGoal" style="color:var(--dim)"></span></div>
+    <div class="row"><textarea id="consoleArgs" spellcheck="false" placeholder="arguments as JSON"></textarea></div>
+    <pre id="consoleOut"></pre>
+  </div>
+  <div class="lane" id="lane-records"><div class="row"><button id="recordsRefresh">Refresh</button></div><div id="recordsView"></div></div>
+  <div class="lane" id="lane-behaviors"><div class="row"><button id="behaviorsRun">Run behaviors</button></div><pre id="behaviorsView"></pre></div>
+  <div class="lane" id="lane-eras"><div class="row"><button id="erasRefresh">Refresh</button><span style="color:var(--dim)">read-only: the era queries over the workspace</span></div><div id="erasView"></div></div>
+  <div class="lane" id="lane-fuzz">
+    <div class="row">
+      <label>seeds <input type="number" id="fuzzSeeds" value="5" min="1" style="width:70px"></label>
+      <label>steps <input type="number" id="fuzzSteps" value="20" min="1" style="width:70px"></label>
+      <button id="fuzzStart">Fuzz</button>
+      <input type="text" id="conformArtifact" placeholder="Rust artifact path" style="width:240px"><button id="conformStart">Check conformance</button>
+      <button id="jobCancel">Cancel</button><span id="jobStatus" style="color:var(--dim)">idle</span>
+    </div>
+    <pre id="jobOut"></pre>
+  </div>
+  <div class="lane" id="lane-timeline"><div id="timelineView"></div></div>
+</section>
+<div id="palette" hidden>
+  <div class="box">
+    <div class="head"><input id="paletteInput" placeholder="Search Hecks commands and queries…" autocomplete="off"><label><input type="checkbox" id="paletteGuarded"> show guarded</label></div>
+    <div id="paletteList"></div>
+    <div id="paletteDetail"></div>
+  </div>
+</div>
+<div id="tip"></div>
+<footer><span id="status">loading</span><span id="timing"></span></footer>
+<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.65.16/codemirror.min.js"></script>
+<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.65.16/mode/ruby/ruby.min.js"></script>
+<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.65.16/addon/hint/show-hint.min.js"></script>
+<script src="https://cdnjs.cloudflare.com/ajax/libs/mermaid/10.9.1/mermaid.min.js"></script>
+<script>
+(() => {
+  const $ = (id) => document.getElementById(id);
+  const api = async (method, path, body) => {
+    const res = await fetch("/composer/" + path, { method, headers: { "content-type": "application/json" }, body: body && JSON.stringify(body) });
+    return res.json();
+  };
+  const dark = matchMedia("(prefers-color-scheme: dark)").matches;
+  mermaid.initialize({ startOnLoad: false, theme: dark ? "dark" : "default", securityLevel: "strict" });
+  const state = { docs: {}, disk: {}, open: null, diagrams: {}, diagnostic: null, badLine: null, serial: 0, outline: [], lane: "agent",
+                  mode: "editor", board: null, boardStale: false, boardSelected: null, boardConnect: null, boardSelect: null };
+  const editor = CodeMirror($("cm"), { mode: "ruby", lineNumbers: true, indentUnit: 2, gutters: ["CodeMirror-linenumbers", "run-gutter"], extraKeys: {
+    "Ctrl-S": save, "Cmd-S": save, "Ctrl-Space": complete
+  } });
+  editor.setSize("100%", "100%");
+  const dirty = (path) => state.docs[path].getValue() !== state.disk[path];
+  const side = (path) => path.endsWith(".bluebook") ? "bluebook" : path.endsWith(".behaviors") ? "behaviors" : "hecksagon";
+  const buffers = () => Object.fromEntries(Object.keys(state.docs).filter(dirty).map((p) => [p, state.docs[p].getValue()]));
+  function renderFiles() {
+    $("files").replaceChildren(...Object.keys(state.docs).sort().map((path) => {
+      const row = document.createElement("div");
+      row.className = "file" + (path === state.open ? " active" : "") + (dirty(path) ? " dirty" : "");
+      row.innerHTML = `<span class="dot">●</span><span></span><span class="side">${side(path)}</span>`;
+      row.children[1].textContent = path;
+      row.onclick = () => openFile(path);
+      return row;
+    }));
+    $("tabs").replaceChildren(...(state.open ? [state.open] : []).map((path) => {
+      const tab = document.createElement("div");
+      tab.className = "tab active";
+      tab.textContent = path + (dirty(path) ? " ●" : "");
+      return tab;
+    }));
+  }
+  function openFile(path) {
+    state.open = path;
+    editor.swapDoc(state.docs[path]);
+    paintBadLine();
+    markRunGutter();
+    renderFiles();
+    editor.focus();
+    if (state.lane === "timeline") loadTimeline();
+  }
+  function paintBadLine() {
+    if (state.badLine !== null) { editor.removeLineClass(state.badLine, "background", "bad-line"); state.badLine = null; }
+    const d = state.diagnostic;
+    if (d && d.file === state.open && d.line) {
+      state.badLine = d.line - 1;
+      editor.addLineClass(state.badLine, "background", "bad-line");
+    }
+  }
+  function showDiagnostic(d) {
+    state.diagnostic = d;
+    paintBadLine();
+    const status = $("status");
+    if (!d) { status.className = "ok"; status.textContent = "ok"; return; }
+    status.className = "bad";
+    const where = d.line ? `${d.file}:${d.line} ` : "";
+    const expected = d.expected && d.expected.length ? ` — expected one of: ${d.expected.join(", ")}` : "";
+    status.textContent = where + d.message + expected;
+    status.title = status.textContent;
+  }
+  let parseTimer, checkTimer;
+  function changed() {
+    renderFiles();
+    clearTimeout(parseTimer); clearTimeout(checkTimer);
+    const serial = ++state.serial;
+    parseTimer = setTimeout(async () => {
+      const { diagnostic } = await api("POST", "parse", { buffers: buffers() });
+      if (serial === state.serial) showDiagnostic(diagnostic);
+    }, 120);
+    checkTimer = setTimeout(async () => {
+      const result = await api("POST", "check", { buffers: buffers() });
+      if (serial === state.serial) applyCheck(result);
+    }, 450);
+  }
+  function entryNamed(name) {
+    const last = String(name).split(/[.:\s]/).filter(Boolean).pop();
+    return state.outline.find((e) => e.name === name) || state.outline.find((e) => e.name === last);
+  }
+  function jumpTo(file, line) {
+    if (file !== state.open) openFile(file);
+    editor.setCursor({ line: line - 1, ch: 0 });
+    editor.scrollIntoView({ line: line - 1, ch: 0 }, 120);
+    editor.focus();
+  }
+  function renderOutline() {
+    $("outline").replaceChildren(...state.outline.filter((e) => e.kind !== "value_object").map((e) => {
+      const row = document.createElement("div");
+      row.className = "entry";
+      row.innerHTML = '<span class="kind"></span><span></span>';
+      row.children[0].textContent = e.kind;
+      row.children[1].textContent = e.name;
+      row.onclick = () => jumpTo(e.file, e.line);
+      return row;
+    }));
+  }
+  function renderWiring(w) {
+    const view = $("wiringView");
+    if (!w) { view.textContent = "Nothing is wired until the workspace loads."; return; }
+    const table = (heads, rows) => {
+      const t = document.createElement("table");
+      t.className = "wire";
+      t.innerHTML = "<tr>" + heads.map((h) => `<th>${h}</th>`).join("") + "</tr>";
+      rows.forEach((r) => { const tr = document.createElement("tr"); r.forEach((c) => { const td = document.createElement("td"); td.textContent = c ?? ""; tr.appendChild(td); }); t.appendChild(tr); });
+      return t;
+    };
+    const facts = [["default adapter", w.default_adapter || "(none)"], ["attaches", w.attaches.join(", ") || "(none)"],
+                   ["driven by", w.driving.join(", ") || "(any)"]];
+    const ports = Object.entries(w.ports).map(([port, adapters]) => [port, adapters.join(", ") || "unbound"]);
+    view.replaceChildren(table(["", ""], facts), table(["bind", "aggregate", "adapter", "role"], w.binds.map((b) => [b.verb, b.aggregate, b.adapter, b.role])), table(["port", "adapters"], ports));
+  }
+  function applyCheck(result) {
+    showDiagnostic(result.diagnostic);
+    $("timing").textContent = result.elapsed_ms == null ? "" : `${result.elapsed_ms} ms`;
+    state.outline = result.outline || [];
+    renderOutline();
+    markRunGutter();
+    if (["records", "timeline"].includes(state.lane)) refreshLane(state.lane);
+    state.boardStale = Boolean(result.diagnostic);
+    if (!result.diagnostic && result.board) state.board = result.board;
+    if (state.mode === "board") renderBoard();
+    if (result.diagnostic) return;
+    renderWiring(result.wiring);
+    state.diagrams = result.diagrams;
+    const pick = $("diagramPick");
+    const names = Object.keys(result.diagrams);
+    const keep = names.includes(pick.value) ? pick.value : (names.find((n) => n.endsWith("_surface.mmd")) || names[0]);
+    pick.replaceChildren(...names.map((n) => new Option(n.replace(/\.mmd$/, ""), n)));
+    pick.value = keep;
+    drawDiagram();
+    $("statementList").replaceChildren(...result.statements.map((s) => Object.assign(document.createElement("li"), { textContent: s })));
+    $("findingList").replaceChildren(...result.findings.map((f) => {
+      const li = Object.assign(document.createElement("li"), { className: "finding " + f.severity, textContent: `${f.kind} ${f.subject} — ${f.message}` });
+      const hit = entryNamed(f.subject);
+      if (hit) { li.classList.add("jump"); li.onclick = () => jumpTo(hit.file, hit.line); }
+      return li;
+    }));
+    $("findingCount").textContent = result.findings.length ? `(${result.findings.length})` : "";
+  }
+  async function drawDiagram() {
+    const text = state.diagrams[$("diagramPick").value];
+    if (!text) { $("diagramView").replaceChildren(); return; }
+    try {
+      const { svg } = await mermaid.render("d" + Date.now(), text);
+      $("diagramView").innerHTML = svg;
+    } catch (e) {
+      $("diagramView").textContent = String(e.message || e);
+    }
+  }
+  $("diagramPick").onchange = drawDiagram;
+  $("diagramView").addEventListener("click", (e) => {
+    const node = e.target.closest(".node, .nodeLabel, .label, text");
+    const hit = node && entryNamed(node.textContent.trim());
+    if (hit) jumpTo(hit.file, hit.line);
+  });
+  const tip = $("tip");
+  editor.getWrapperElement().addEventListener("mousemove", (e) => {
+    const at = editor.coordsChar({ left: e.clientX, top: e.clientY }, "window");
+    const entry = state.outline.find((o) => o.file === state.open && o.line === at.line + 1 && o.summary);
+    if (!entry) { tip.style.display = "none"; return; }
+    tip.textContent = entry.summary;
+    tip.style.left = e.clientX + 14 + "px"; tip.style.top = e.clientY + 14 + "px"; tip.style.display = "block";
+  });
+  editor.getWrapperElement().addEventListener("mouseleave", () => { tip.style.display = "none"; });
+  async function complete() {
+    const d = state.diagnostic;
+    if (!d || !d.expected || !d.expected.length) return;
+    CodeMirror.showHint(editor, () => {
+      const cur = editor.getCursor();
+      return { list: d.expected, from: cur, to: cur };
+    }, { completeSingle: false });
+  }
+  async function save() {
+    const path = state.open;
+    if (!path) return;
+    const text = state.docs[path].getValue();
+    await api("PUT", "file", { path, text });
+    state.disk[path] = text;
+    renderFiles();
+    if (state.lane === "timeline") loadTimeline();
+  }
+  $("save").onclick = save;
+  async function saveAll() {
+    for (const path of Object.keys(state.docs).filter(dirty)) {
+      const text = state.docs[path].getValue();
+      await api("PUT", "file", { path, text });
+      state.disk[path] = text;
+    }
+    renderFiles();
+  }
+  // Puts what the agent left on disk into the editor's documents without marking them unsaved.
+  function adopt(path, text) {
+    if (text === null) { delete state.docs[path]; delete state.disk[path]; if (state.open === path) state.open = Object.keys(state.docs).sort()[0] || null; return; }
+    state.disk[path] = text;
+    if (state.docs[path]) state.docs[path].setValue(text);
+    else state.docs[path] = CodeMirror.Doc(text, "ruby");
+  }
+  // A line diff by longest common subsequence: enough for files of a few hundred lines.
+  function lineDiff(before, after) {
+    const a = (before ?? "").split("\n"), b = (after ?? "").split("\n");
+    const table = Array.from({ length: a.length + 1 }, () => new Array(b.length + 1).fill(0));
+    for (let i = a.length - 1; i >= 0; i--) for (let j = b.length - 1; j >= 0; j--)
+      table[i][j] = a[i] === b[j] ? table[i + 1][j + 1] + 1 : Math.max(table[i + 1][j], table[i][j + 1]);
+    const out = []; let i = 0, j = 0;
+    while (i < a.length && j < b.length) {
+      if (a[i] === b[j]) { out.push([" ", a[i]]); i++; j++; }
+      else if (table[i + 1][j] >= table[i][j + 1]) out.push(["-", a[i++]]);
+      else out.push(["+", b[j++]]);
+    }
+    while (i < a.length) out.push(["-", a[i++]]);
+    while (j < b.length) out.push(["+", b[j++]]);
+    return out;
+  }
+  function showChanges(changed) {
+    const box = $("changes");
+    const paths = Object.keys(changed);
+    if (!paths.length) { box.replaceChildren(); return; }
+    const files = paths.map((path) => {
+      const card = document.createElement("div");
+      card.className = "file-diff";
+      const pre = document.createElement("pre");
+      for (const [mark, line] of lineDiff(changed[path].before, changed[path].after)) {
+        if (mark === " ") continue;
+        const row = document.createElement("div");
+        row.className = mark === "+" ? "add" : "del";
+        row.textContent = mark + " " + line;
+        pre.appendChild(row);
+      }
+      const head = document.createElement("div");
+      head.className = "head";
+      head.textContent = path + (changed[path].before === null ? " (new)" : "");
+      card.append(head, pre);
+      return card;
+    });
+    const keep = Object.assign(document.createElement("button"), { textContent: "Keep" });
+    const undo = Object.assign(document.createElement("button"), { textContent: "Undo" });
+    keep.onclick = () => box.replaceChildren();
+    undo.onclick = async () => {
+      for (const path of paths) {
+        const before = changed[path].before;
+        if (before === null) await api("DELETE", "file", { path });
+        else await api("PUT", "file", { path, text: before });
+        adopt(path, before);
+      }
+      if (state.open && state.docs[state.open]) openFile(state.open);
+      box.replaceChildren();
+      renderFiles();
+      applyCheck(await api("POST", "check", { buffers: {} }));
+    };
+    const bar = document.createElement("div");
+    bar.append(keep, " ", undo);
+    box.replaceChildren(...files, bar);
+  }
+  function showTurns(draft) {
+    $("turns").replaceChildren(...((draft && draft.turns) || []).map((turn) => {
+      const row = document.createElement("div");
+      row.className = "turn " + turn.speaker;
+      row.innerHTML = '<span class="who"></span><span></span>';
+      row.children[0].textContent = turn.speaker;
+      row.children[1].textContent = turn.said;
+      return row;
+    }));
+  }
+  $("askForm").onsubmit = async (event) => {
+    event.preventDefault();
+    const prompt = $("prompt").value.trim();
+    if (!prompt) return;
+    $("ask").disabled = true;
+    editor.setOption("readOnly", "nocursor");
+    $("status").className = ""; $("status").textContent = "asking the agent…";
+    try {
+      await saveAll();
+      const result = await api("POST", "ask", { prompt });
+      if (result.error) { $("status").className = "bad"; $("status").textContent = result.error; return; }
+      for (const [path, { after }] of Object.entries(result.changed)) adopt(path, after);
+      if (state.open && state.docs[state.open]) { editor.swapDoc(state.docs[state.open]); }
+      $("prompt").value = "";
+      renderFiles();
+      applyCheck(result.check);
+      showChanges(result.changed);
+      if (result.layout) { showRight(result.layout.right); showLower(result.layout.bottom); }
+      showTurns((await api("GET", "draft")).draft);
+      if (!result.check.diagnostic) { $("status").className = "ok"; $("status").textContent = `${result.intent}: ${result.note}`; }
+    } finally {
+      editor.setOption("readOnly", false);
+      $("ask").disabled = false;
+    }
+  };
+  function showRight(name) {
+    document.querySelectorAll("#panels .tab, .pane").forEach((el) => el.classList.remove("active"));
+    document.querySelector(`#panels .tab[data-pane="${name}"]`)?.classList.add("active");
+    $(name)?.classList.add("active");
+  }
+  document.querySelectorAll("#panels .tab").forEach((tab) => tab.onclick = () => showRight(tab.dataset.pane));
+  // The lower drawer: one lane at a time, each loading what it shows when it opens.
+  function showLower(name) {
+    document.querySelectorAll("#lowerTabs .tab").forEach((tab) => tab.classList.toggle("active", tab.dataset.lane === name));
+    document.querySelectorAll(".lane").forEach((lane) => lane.classList.toggle("active", lane.id === "lane-" + name));
+    state.lane = name;
+    return refreshLane(name);
+  }
+  document.querySelectorAll("#lowerTabs .tab").forEach((tab) => tab.onclick = () => showLower(tab.dataset.lane));
+  function refreshLane(name) {
+    const loaders = { console: loadConsole, records: loadRecords, behaviors: runBehaviors, eras: loadEras, fuzz: renderJob, timeline: loadTimeline };
+    return loaders[name] ? loaders[name]() : Promise.resolve();
+  }
+  function section(title, lines) {
+    const box = document.createElement("div");
+    const head = Object.assign(document.createElement("div"), { className: "title", textContent: title });
+    const pre = Object.assign(document.createElement("pre"), { textContent: lines.join("\n") || "(none)" });
+    box.append(head, pre);
+    return box;
+  }
+  // Console: dispatch a command of the workspace against a booted copy of it.
+  const consoleState = { commands: [] };
+  const currentCommand = () => consoleState.commands.find((c) => c.verb === $("consoleVerb").value);
+  async function loadConsole() {
+    const result = await api("POST", "live/commands", { buffers: buffers() });
+    if (result.error) { $("consoleOut").className = "bad"; $("consoleOut").textContent = result.error; return; }
+    consoleState.commands = result.commands;
+    const pick = $("consoleVerb");
+    const keep = pick.value;
+    pick.replaceChildren(...result.commands.map((c) => new Option(`${c.aggregate}.${c.command}`, c.verb)));
+    if (result.commands.some((c) => c.verb === keep)) pick.value = keep;
+    fillConsoleForm();
+  }
+  function fillConsoleForm() {
+    const command = currentCommand();
+    if (!command) return;
+    $("consoleTo").style.display = command.creates ? "none" : "";
+    $("consoleArgs").value = JSON.stringify(command.template, null, 2);
+    $("consoleGoal").textContent = command.goal || "";
+  }
+  $("consoleVerb").onchange = fillConsoleForm;
+  $("consoleRun").onclick = async () => {
+    const command = currentCommand();
+    if (!command) return;
+    let args;
+    try { args = JSON.parse($("consoleArgs").value || "{}"); }
+    catch (e) { $("consoleOut").className = "bad"; $("consoleOut").textContent = "the arguments are not JSON: " + e.message; return; }
+    const reply = await api("POST", "live/dispatch", { buffers: buffers(), verb: command.verb, to: command.creates ? null : $("consoleTo").value, with: args });
+    $("consoleOut").className = reply.ok ? "ok" : "bad";
+    $("consoleOut").textContent = reply.ok ? `${reply.events.join(", ")}\n${JSON.stringify(reply.instance, null, 2)}` : `${reply.kind || "error"}: ${reply.error}`;
+  };
+  // A play mark beside each command of the open file opens it in the Console.
+  function markRunGutter() {
+    editor.clearGutter("run-gutter");
+    let aggregate = null;
+    for (const entry of state.outline.filter((o) => o.file === state.open)) {
+      if (entry.kind === "aggregate") aggregate = entry.name;
+      if (entry.kind !== "command") continue;
+      const mark = Object.assign(document.createElement("span"), { textContent: "▶", className: "run-mark", title: `Run ${entry.name} in the Console` });
+      const owner = aggregate;
+      mark.onclick = () => runFromGutter(owner, entry.name);
+      editor.setGutterMarker(entry.line - 1, "run-gutter", mark);
+    }
+  }
+  async function runFromGutter(aggregate, command) {
+    await showLower("console");
+    const found = consoleState.commands.find((c) => c.aggregate === aggregate && c.command === command);
+    if (found) { $("consoleVerb").value = found.verb; fillConsoleForm(); }
+  }
+  // Records and history of the booted copy the Console runs against.
+  async function loadRecords() {
+    const reply = await api("POST", "live/records", { buffers: buffers() });
+    if (reply.error) { $("recordsView").textContent = reply.error; return; }
+    const tables = Object.entries(reply.records).map(([name, rows]) => section(`${name} (${rows.length})`, rows.map((row) => JSON.stringify(row))));
+    const events = reply.history.slice().reverse().map((e) => `${e.name}  ${e.id ?? ""}  ${JSON.stringify(e.payload)}`);
+    $("recordsView").replaceChildren(...tables, section(`History (${reply.history.length})`, events));
+  }
+  $("recordsRefresh").onclick = loadRecords;
+  async function runBehaviors() {
+    const reply = await api("POST", "behaviors", { buffers: buffers() });
+    if (!reply.files || !reply.files.length) { $("behaviorsView").textContent = "This workspace has no .behaviors file."; return; }
+    const lines = [];
+    for (const file of reply.files) {
+      lines.push(file.path);
+      if (file.parse_error) lines.push("  PARSE ERROR — " + file.parse_error);
+      for (const run of file.runs) {
+        lines.push(`  ${run.status === "pass" ? "ok  " : "FAIL"} ${run.description}`);
+        if (run.message) lines.push("       " + run.message);
+      }
+    }
+    const s = reply.summary;
+    lines.push("", `${s.total} tests: ${s.passed} passed, ${s.failed} failed, ${s.errored} errored`);
+    $("behaviorsView").textContent = lines.join("\n");
+  }
+  $("behaviorsRun").onclick = runBehaviors;
+  async function loadEras() {
+    const reply = await api("GET", "eras");
+    $("erasView").replaceChildren(...Object.entries(reply).map(([name, run]) => section(name.replace(/_/g, " "), [run.output || run.error || ""])));
+  }
+  $("erasRefresh").onclick = loadEras;
+  // Fuzz and conformance run as one background job on the saved files; the page polls it.
+  let jobTimer = null;
+  function startJob(verb, args) {
+    if (Object.keys(state.docs).some(dirty)) { $("jobOut").textContent = "Save your files first: a job runs on what is on disk."; return; }
+    if (state.diagnostic) { $("jobOut").textContent = "Fix the refusal first: a job needs a workspace that loads."; return; }
+    api("POST", "job", { kind: "command", verb, args }).then((reply) => { if (!reply.started) $("jobOut").textContent = reply.error; renderJob(); });
+  }
+  $("fuzzStart").onclick = () => startJob("fuzz_run.fuzz", { "domain.value": "$WORKSPACE", "seeds.value": $("fuzzSeeds").value, "steps.value": $("fuzzSteps").value, "workers.value": "1", "adapter.value": "memory" });
+  $("conformStart").onclick = () => startJob("build.fuzz_conformance", { "domain.value": "$WORKSPACE", "artifact.value": $("conformArtifact").value });
+  $("jobCancel").onclick = async () => { await api("DELETE", "job"); renderJob(); };
+  async function renderJob() {
+    const job = await api("GET", "job");
+    $("jobStatus").textContent = job.status + (job.verb ? ` — ${job.verb}` : "");
+    $("jobOut").textContent = job.output || "";
+    clearTimeout(jobTimer);
+    if (job.status === "running") jobTimer = setTimeout(renderJob, 2000);
+  }
+  // Timeline: what the open file held at each save, with a way back to any of it.
+  async function loadTimeline() {
+    const path = state.open;
+    if (!path) return;
+    const { revisions } = await api("POST", "timeline", { path });
+    const box = $("timelineView");
+    if (!revisions.length) { box.textContent = "Nothing saved for this file yet. Save it to start its timeline."; return; }
+    box.replaceChildren(...revisions.map((rev) => {
+      const row = Object.assign(document.createElement("div"), { className: "rev" });
+      const load = Object.assign(document.createElement("button"), { textContent: "Load into editor" });
+      load.onclick = () => { state.docs[path].setValue(rev.text ?? ""); changed(); };
+      row.append(Object.assign(document.createElement("span"), { textContent: `${rev.at}  ${rev.name}` }), load);
+      return row;
+    }));
+  }
+  // The command palette: Hecks's own commands and queries, the guarded ones hidden until asked for.
+  let catalog = null;
+  async function openPalette() {
+    $("palette").hidden = false;
+    $("paletteInput").value = "";
+    $("paletteDetail").replaceChildren();
+    $("paletteInput").focus();
+    if (!catalog) catalog = (await api("GET", "catalog")).catalog;
+    renderPalette();
+  }
+  function closePalette() { $("palette").hidden = true; editor.focus(); }
+  function paletteRows() {
+    const needle = $("paletteInput").value.toLowerCase();
+    const guarded = $("paletteGuarded").checked;
+    return (catalog || []).filter((r) => (guarded || !r.guarded) && `${r.verb} ${r.goal || ""}`.toLowerCase().includes(needle)).slice(0, 60);
+  }
+  function renderPalette() {
+    $("paletteList").replaceChildren(...paletteRows().map((row) => {
+      const item = Object.assign(document.createElement("div"), { className: "pitem" });
+      item.textContent = `${row.kind === "query" ? "?" : "!"} ${row.verb}${row.guarded ? "  [guarded]" : ""} — ${row.goal || ""}`;
+      item.onclick = () => choose(row);
+      return item;
+    }));
+  }
+  function parseArgs(text) {
+    return Object.fromEntries(text.split("\n").map((l) => l.trim()).filter(Boolean).map((l) => [l.slice(0, l.indexOf("=")), l.slice(l.indexOf("=") + 1)]));
+  }
+  async function choose(row) {
+    const { help } = await api("POST", "help", { kind: row.kind, verb: row.verb });
+    const detail = $("paletteDetail");
+    const text = Object.assign(document.createElement("pre"), { textContent: help });
+    const args = Object.assign(document.createElement("textarea"), { placeholder: "name.value=…, one per line; $WORKSPACE is this workspace", rows: 3 });
+    const confirm = Object.assign(document.createElement("input"), { placeholder: `type RUN ${row.verb} to run a guarded command` });
+    const out = Object.assign(document.createElement("pre"), { textContent: "" });
+    const run = Object.assign(document.createElement("button"), { textContent: "Run" });
+    run.onclick = async () => {
+      const reply = await api("POST", "run", { kind: row.kind, verb: row.verb, args: parseArgs(args.value), confirm: confirm.value });
+      out.className = reply.ok ? "ok" : "bad";
+      out.textContent = reply.ok ? reply.output : (reply.error || reply.output);
+    };
+    detail.replaceChildren(text, args, ...(row.guarded ? [confirm] : []), run, out);
+  }
+  $("paletteOpen").onclick = openPalette;
+  $("paletteInput").oninput = renderPalette;
+  $("paletteGuarded").onchange = renderPalette;
+  $("paletteInput").onkeydown = (e) => { if (e.key === "Enter") { const first = paletteRows()[0]; if (first) choose(first); } };
+  $("palette").onclick = (e) => { if (e.target === $("palette")) closePalette(); };
+  addEventListener("keydown", (e) => {
+    if ((e.metaKey || e.ctrlKey) && e.key.toLowerCase() === "k") { e.preventDefault(); openPalette(); }
+    if (e.key === "Escape" && !$("palette").hidden) closePalette();
+  }, true);
+  $("splitter").onmousedown = (down) => {
+    const move = (e) => $("main").style.setProperty("--right", Math.max(240, innerWidth - e.clientX) + "px");
+    const up = () => { removeEventListener("mousemove", move); removeEventListener("mouseup", up); };
+    addEventListener("mousemove", move); addEventListener("mouseup", up);
+    down.preventDefault();
+  };
+  editor.on("change", (cm, change) => { if (change.origin !== "setValue") changed(); });
+  editor.on("inputRead", (cm, change) => { if (/\w/.test(change.text.join("")) && state.diagnostic && state.diagnostic.expected.length) complete(); });
+  // The board: the chapter as event-storming notes, one lane per aggregate, read from the check's
+  // `board`. Every action on a note is one edit of the text (see BoardEdit), applied to the editor
+  // like typing, so the board never holds anything the text does not.
+  const NOTE = { w: 140, h: 46, pillW: 130, pillH: 26 };
+  const svgEl = (tag, attrs = {}, text) => {
+    const node = document.createElementNS("http://www.w3.org/2000/svg", tag);
+    for (const [key, value] of Object.entries(attrs)) node.setAttribute(key, value);
+    if (text !== undefined) node.textContent = text;
+    return node;
+  };
+  const clip = (text, max = 17) => (text.length > max ? text.slice(0, max - 1) + "…" : text);
+  const past = (name) => (name.endsWith("e") ? name + "d" : name + "ed");
+  function setMode(mode) {
+    state.mode = mode;
+    $("main").hidden = mode === "board";
+    $("boardView").hidden = mode !== "board";
+    $("modeEditor").classList.toggle("on", mode === "editor");
+    $("modeBoard").classList.toggle("on", mode === "board");
+    if (mode === "board") renderBoard(); else editor.refresh();
+  }
+  $("modeEditor").onclick = () => setMode("editor");
+  $("modeBoard").onclick = () => setMode("board");
+  // Where every note goes: an aggregate's lane holds its commands left to right, each with its events beside it.
+  function layoutBoard(board) {
+    const notes = [], lanes = [], commandAt = {}, eventAt = {};
+    let y = 14;
+    for (const aggregate of board.aggregates) {
+      const stack = Math.max(1, ...aggregate.commands.map((c) => Math.max(1, c.emits.length)));
+      const height = stack * (NOTE.h + 10) + 16;
+      lanes.push({ y, height });
+      notes.push({ kind: "aggregate", key: `aggregate:${aggregate.name}`, label: aggregate.name, x: 16, y: y + 8, w: NOTE.w, h: NOTE.h, at: aggregate.at, aggregate: aggregate.name });
+      let x = 190;
+      for (const command of aggregate.commands) {
+        const note = { kind: "command", key: `command:${aggregate.name}.${command.name}`, label: command.name, x, y: y + 8, w: NOTE.w, h: NOTE.h, at: command.at, aggregate: aggregate.name, command: command.name };
+        notes.push(note); commandAt[note.key] = note;
+        command.emits.forEach((event, row) => {
+          const ev = { kind: "event", key: `event:${aggregate.name}.${event}`, label: event, x: x + NOTE.w + 34, y: y + 8 + row * (NOTE.h + 10), w: NOTE.w, h: NOTE.h, at: command.at, aggregate: aggregate.name, command: command.name, event };
+          notes.push(ev); eventAt[ev.key] = { ...ev, owner: note };
+        });
+        x += NOTE.w * 2 + 74;
+      }
+      y += height + 12;
+    }
+    return { notes, lanes, commandAt, eventAt, width: Math.max(900, ...notes.map((n) => n.x + n.w + 40)), height: y + 16 };
+  }
+  // The arrows: a command to each event it emits, and a policy from an event to the command it triggers.
+  function boardLinks(board, plan) {
+    const links = [], pills = [], unplaced = [];
+    for (const note of plan.notes.filter((n) => n.kind === "event")) {
+      const from = plan.commandAt[`command:${note.aggregate}.${note.command}`];
+      links.push({ d: `M${from.x + from.w},${from.y + from.h / 2} L${note.x},${note.y + note.h / 2}`, cls: "link" });
+    }
+    for (const policy of board.policies) {
+      const source = plan.eventAt[`event:${policy.on}`], target = plan.commandAt[`command:${policy.trigger}`];
+      if (!source || !target) { unplaced.push(policy.name); continue; }
+      const [sx, sy, tx, ty] = [source.x + source.w, source.y + source.h / 2, target.x, target.y + target.h / 2];
+      const forward = tx > sx + 40, reach = forward ? Math.max(60, (tx - sx) / 2) : 90, lift = forward ? 0 : -70;
+      const [c1x, c1y, c2x, c2y] = [sx + reach, sy + lift, tx - reach, ty + lift];
+      links.push({ d: `M${sx},${sy} C${c1x},${c1y} ${c2x},${c2y} ${tx},${ty}`, cls: "link policy" });
+      pills.push({ kind: "policy", key: `policy:${policy.name}`, label: policy.name, at: policy.at, w: NOTE.pillW, h: NOTE.pillH,
+                   x: (sx + 3 * c1x + 3 * c2x + tx) / 8 - NOTE.pillW / 2, y: (sy + 3 * c1y + 3 * c2y + ty) / 8 - NOTE.pillH / 2, policy });
+    }
+    return { links, pills, unplaced };
+  }
+  function noteNode(note) {
+    const picked = state.boardSelected === note.key;
+    const target = state.boardConnect && note.kind === "command";
+    const group = svgEl("g", { class: `note ${note.kind}${picked ? " selected" : ""}${target ? " target" : ""}`, transform: `translate(${note.x},${note.y})` });
+    const pill = note.kind === "policy";
+    group.append(svgEl("rect", { width: note.w, height: note.h, rx: pill ? 13 : 4 }), svgEl("text", { x: 8, y: pill ? 17 : 31 }, clip(note.label, pill ? 18 : 17)), svgEl("title", {}, note.label));
+    if (!pill) group.append(svgEl("text", { x: 8, y: 13, class: "kind" }, note.kind));
+    group.onclick = (event) => { event.stopPropagation(); clickNote(note); };
+    return group;
+  }
+  function renderBoard() {
+    const svg = $("boardSvg");
+    svg.replaceChildren();
+    const board = state.board;
+    if (!board) {
+      svg.setAttribute("width", 600); svg.setAttribute("height", 60);
+      svg.append(svgEl("text", { x: 20, y: 34, fill: "currentColor" }, "Nothing to draw until the workspace loads."));
+      state.boardIndex = {}; renderBoardActions(); return;
+    }
+    const plan = layoutBoard(board);
+    const { links, pills, unplaced } = boardLinks(board, plan);
+    const notes = [...plan.notes, ...pills];
+    state.boardIndex = Object.fromEntries(notes.map((n) => [n.key, n]));
+    if (state.boardSelect && state.boardIndex[state.boardSelect]) state.boardSelected = state.boardSelect;
+    state.boardSelect = null;
+    svg.setAttribute("width", plan.width); svg.setAttribute("height", plan.height);
+    const arrow = svgEl("marker", { id: "arrow", markerWidth: 8, markerHeight: 8, refX: 7, refY: 4, orient: "auto" });
+    arrow.append(svgEl("path", { d: "M0,0 L8,4 L0,8 z", fill: "currentColor" }));
+    svg.append(svgEl("defs"), ...plan.lanes.map((l) => svgEl("rect", { class: "lane-band", x: 4, y: l.y, width: plan.width - 8, height: l.height, rx: 6 })));
+    svg.firstChild.append(arrow);
+    svg.append(...links.map((l) => svgEl("path", { d: l.d, class: l.cls, "marker-end": "url(#arrow)" })), ...notes.map(noteNode));
+    $("boardHint").textContent = hintFor(unplaced);
+    renderBoardActions();
+  }
+  function hintFor(unplaced) {
+    if (state.boardStale) return "The text does not parse yet, so this is the last board that did.";
+    if (state.boardConnect) return "Click the command this event should trigger. Esc cancels.";
+    const extra = unplaced.length ? ` ${unplaced.length} policy note(s) point at something this board cannot place: ${unplaced.join(", ")}.` : "";
+    return `Click a note to see what you can do with it.${extra}`;
+  }
+  function clickNote(note) {
+    if (state.boardConnect && note.kind === "command") return askPolicy(state.boardConnect, note);
+    state.boardConnect = null;
+    state.boardSelected = note.key;
+    renderBoard();
+  }
+  $("boardSvg").onclick = () => { state.boardSelected = null; state.boardConnect = null; closeBoardForm(); renderBoard(); };
+  addEventListener("keydown", (e) => { if (e.key === "Escape" && state.boardConnect) { state.boardConnect = null; renderBoard(); } });
+  function actionButton(label, run) {
+    return Object.assign(document.createElement("button"), { textContent: label, onclick: run });
+  }
+  // The buttons for the selected note; a delete asks twice, so a stray click cannot take a note away.
+  function renderBoardActions() {
+    const note = state.boardIndex && state.boardIndex[state.boardSelected];
+    const box = $("boardActions");
+    box.replaceChildren();
+    if (!note) return;
+    const jump = actionButton("Jump to source", () => { if (note.at) { setMode("editor"); jumpTo(note.at.file, note.at.line); } });
+    const remove = (args, said) => twice("Delete", () => boardEdit("delete", args, null, said));
+    const kinds = {
+      aggregate: () => [actionButton("+ Command", () => askCommand(note)), jump, remove({ kind: "aggregate", name: note.label }, `Deleted ${note.label}.`)],
+      command: () => [actionButton("+ Event", () => askEvent(note)), actionButton("▶ Run", () => runFromGutter(note.aggregate, note.label)), jump, remove({ kind: "command", aggregate: note.aggregate, name: note.label }, `Deleted ${note.label}.`)],
+      event: () => [actionButton("Trigger a command →", () => { state.boardConnect = note; renderBoard(); }), jump,
+                    twice("Delete event", () => boardEdit("delete_event", { aggregate: note.aggregate, command: note.command, name: note.label }, null, `Deleted ${note.label}.`))],
+      policy: () => [jump, remove({ kind: "policy", name: note.label }, `Deleted ${note.label}.`)]
+    };
+    box.append(...kinds[note.kind]());
+  }
+  function twice(label, run) {
+    const button = actionButton(label, () => {
+      if (button.dataset.armed) return run();
+      button.dataset.armed = "1"; button.textContent = "Really?";
+      setTimeout(() => { delete button.dataset.armed; button.textContent = label; }, 3500);
+    });
+    return button;
+  }
+  function closeBoardForm() { $("boardForm").hidden = true; $("boardForm").replaceChildren(); }
+  // A small inline form; its first field is focused, and Enter submits.
+  function boardForm(title, fields, submit) {
+    const form = $("boardForm");
+    form.hidden = false;
+    form.replaceChildren(Object.assign(document.createElement("strong"), { textContent: title }));
+    const inputs = fields.map((f) => Object.assign(document.createElement("input"), { name: f.name, placeholder: f.placeholder, value: f.value || "" }));
+    const cancel = Object.assign(document.createElement("button"), { textContent: "Cancel", type: "button", onclick: closeBoardForm });
+    form.append(...inputs, Object.assign(document.createElement("button"), { textContent: "Add", type: "submit" }), cancel);
+    form.onsubmit = (e) => { e.preventDefault(); const values = Object.fromEntries(inputs.map((i) => [i.name, i.value.trim()])); closeBoardForm(); submit(values); };
+    inputs[0].focus();
+    return inputs;
+  }
+  $("boardAddAggregate").onclick = () => boardForm("New aggregate", [{ name: "name", placeholder: "Aggregate, e.g. Invoice" }],
+    (v) => boardEdit("add_aggregate", { name: v.name }, `aggregate:${v.name}`, `Added aggregate ${v.name}.`));
+  function askCommand(aggregate) {
+    const [name, event] = boardForm(`New command on ${aggregate.label}`, [{ name: "name", placeholder: "Command, e.g. Close" }, { name: "event", placeholder: "Event it emits, e.g. AccountClosed" }],
+      (v) => boardEdit("add_command", { aggregate: aggregate.label, name: v.name, event: v.event }, `command:${aggregate.label}.${v.name}`, `Added command ${v.name}.`));
+    name.oninput = () => { if (!event.dataset.touched) event.value = name.value ? aggregate.label + past(name.value) : ""; };
+    event.oninput = () => { event.dataset.touched = "1"; };
+  }
+  function askEvent(command) {
+    boardForm(`New event from ${command.label}`, [{ name: "name", placeholder: "Event, e.g. BalanceChanged" }],
+      (v) => boardEdit("add_event", { aggregate: command.aggregate, command: command.label, name: v.name }, `event:${command.aggregate}.${v.name}`, `Added event ${v.name}.`));
+  }
+  function askPolicy(event, command) {
+    state.boardConnect = null;
+    boardForm(`When ${event.label} happens, trigger ${command.label}`, [{ name: "name", placeholder: "Policy name", value: `${command.label}When${event.label}` }],
+      (v) => boardEdit("add_policy", { name: v.name, on: `${event.aggregate}.${event.label}`, trigger: `${command.aggregate}.${command.label}` }, `policy:${v.name}`, `Added policy ${v.name}.`));
+  }
+  // Asks the server for the edit, then puts the patched file into the editor as an ordinary change, so Undo works.
+  async function boardEdit(op, args, select, said) {
+    const message = $("boardMsg");
+    message.className = "";
+    const reply = await api("POST", "board/edit", { buffers: buffers(), op, args });
+    if (reply.error) { message.className = "bad"; message.textContent = reply.error; return; }
+    const doc = state.docs[reply.path];
+    doc.replaceRange(reply.text, { line: 0, ch: 0 }, { line: doc.lastLine(), ch: doc.getLine(doc.lastLine()).length });
+    state.boardSelect = select;
+    if (!select) state.boardSelected = null;
+    message.textContent = `${said} The change is in the editor, unsaved; Ctrl-Z there undoes it.`;
+    changed();
+  }
+  // Loads the server's workspace into the editor, forgetting whatever the last one left on screen.
+  async function loadWorkspace() {
+    const { files } = await api("GET", "files");
+    Object.assign(state, { docs: {}, disk: {}, open: null, diagrams: {}, diagnostic: null, badLine: null, outline: [],
+                           board: null, boardStale: false, boardSelected: null, boardConnect: null });
+    consoleState.commands = [];
+    for (const id of ["turns", "changes", "consoleOut", "recordsView", "behaviorsView", "erasView", "jobOut", "timelineView"]) $(id).textContent = "";
+    for (const { path, text } of files) { state.disk[path] = text; state.docs[path] = CodeMirror.Doc(text, "ruby"); }
+    const first = Object.keys(state.docs).sort().find((p) => p.endsWith(".bluebook")) || Object.keys(state.docs).sort()[0];
+    if (first) openFile(first); else editor.swapDoc(CodeMirror.Doc("", "ruby"));
+    $("workspace").textContent = `${files.length} files`;
+    renderFiles();
+    renderOutline();
+    applyCheck(await api("POST", "check", { buffers: {} }));
+    if (state.lane !== "agent") refreshLane(state.lane);
+  }
+  // The known domains, grouped; choosing one opens a scratch copy of it, never the real files.
+  async function loadDomains() {
+    const { domains } = await api("GET", "domains");
+    const pick = $("domainPick");
+    const groups = {};
+    for (const domain of domains) {
+      groups[domain.group] ||= Object.assign(document.createElement("optgroup"), { label: domain.group });
+      groups[domain.group].append(new Option(domain.id, domain.id));
+    }
+    pick.replaceChildren(new Option("Open a domain…", ""), ...Object.values(groups));
+  }
+  $("domainPick").onchange = async () => {
+    const pick = $("domainPick");
+    const id = pick.value;
+    if (!id) return;
+    if (Object.keys(state.docs).some(dirty)) {
+      $("status").className = "bad"; $("status").textContent = "Save or undo your changes before opening another domain.";
+      pick.value = "";
+      return;
+    }
+    $("status").className = ""; $("status").textContent = `opening ${id}…`;
+    const reply = await api("POST", "open", { id });
+    if (reply.error) { $("status").className = "bad"; $("status").textContent = reply.error; return; }
+    await loadWorkspace();
+    $("workspace").textContent = `${id} (a copy) · ${Object.keys(state.docs).length} files`;
+  };
+  loadWorkspace();
+  loadDomains();
+})();
+</script>
+</body>
+</html>