fix(tick): PR #688 harvest — c00's anchor never gates + the transcript fence repair

Two Copilot findings on #688, both real, both fixed:

1. c00 gated on `(= carrier 1)` while its material-basis claimed the
   anchor is "never gating". Now `(when #t)` with an explicit
   `(domain NodeType/INSTITUTION)` — forced, not stylistic: an
   unreferenced anchor under a vacuous guard is E-LOAD-004-undeterminable
   at load (domain.rs's candidate set is reference-fed), which surfaced a
   latent engine gap: resolve_domain (load) and subject_type_of (tick)
   derive the subject independently and nothing cross-checks them. The
   pack header records the finding for the future reader. Fuel
   re-measured: computed 78, declared 79.

2. The Task-8 transcript extension had mangled the doc comment's fence
   structure (three ```text openings, one close). Rebuilt as one fenced
   block, verified byte-for-byte against the mirror's stdout.

Corpus digest re-pinned for the pack's two text moves; content-file line
cites to control-ratio.bsl stripped (the citation sentinel binds bare
:N to the nearest frozen-source mention — content-file references carry
no line numbers now).

Co-Authored-By: Kimi Code <noreply@moonshot.cn>

Author: percy-raskova

rust/crates/babylon-bsl/tests/content_corpus_digests.rs

@@ -69,7 +69,7 @@ fn corpus_files() -> Vec<PathBuf> {
 const PINNED_DIGESTS: &[(&str, &str)] = &[
     (
         "community.bsl",
-        "d841d50bce7d9940947f5ece4e3145a85d63fe29bd0b50c59915d9d285873c6d",
+        "9c9599f79f8cd4d92c0dfae36c498d13654d14cc933d90e202beabd81add9557",
     ),
     (
         "consciousness.bsl",

rust/crates/babylon-tick/content/rules/community.bsl

@@ -19,7 +19,7 @@
 ; never read again, never gating anything (the binding exists because
 ; tick.rs::subject_type_of requires >=1 :field binding to derive
 ; INSTITUTION; this sentence exists so no reader mistakes it for a gate —
-; control-ratio.bsl:277's pattern, verbatim in intent). A second
+; control-ratio.bsl's pattern, verbatim in intent). A second
 ; INSTITUTION node in any world loading this pack double-applies every
 ; hyperedge write (each carrier-subject rule iterates EVERY institution);
 ; §8c guard 4 (`exactly_one_institution_carrier`,
@@ -44,6 +44,21 @@
 ; four repression helpers (:210-279) await a verb layer (D-NF+11). c07/c08
 ; are DG-2-gated (Director question, unresolved at authoring).
 ;
+; THE EXPLICIT-DOMAIN NOTE (PR #688 review, Copilot finding 1 — a REAL
+; latent engine gap, named here for the future pack reader): c00's carrier
+; binding is never referenced (its guard is `#t`), which makes the rule
+; E-LOAD-004-undeterminable at LOAD — domain.rs::resolve_domain's
+; None-branch candidate set is REFERENCE-fed, so an anchor that is bound
+; but never read contributes nothing there, while tick.rs's
+; subject_type_of counts every :field binding, referenced or not. The two
+; derivations can therefore disagree and NOTHING cross-checks them
+; (run_tick ignores the loaded domain entirely) — control-ratio.bsl's
+; (when #t) precedent passes only because its :expr fold bodies feed the
+; candidate set. This pack declares `(domain NodeType/INSTITUTION)`
+; explicitly on every carrier rule whose guard is vacuous, which keeps
+; both derivations honest by construction. Filed as a follow-up, not
+; silently absorbed.
+;
 ; THE FLOOR TABLE: the 14 ADR214 defconst rows live in each WORLD's .bscn
 ; (the scenario's defconst registry IS the driver's defines env — §6.2's
 ; "re-declared per scenario" precedent), never in this pack; the
@@ -79,11 +94,12 @@
 
 ; ============================================================ c00 — the reset
 (rule community/c00-census-reset
-  :material-basis "The per-tick rebuild (community.py:392-397 mints a fresh community_agents map on every step, and community.py:460-462 writes back via model_copy): every accumulator this pack reads derives from THIS tick's writes, so the tick begins by zeroing them. The institution/community-carrier binding is a SUBJECT-TYPE ANCHOR ONLY (tick.rs::subject_type_of requires >=1 :field binding to derive INSTITUTION) — never read again, never gating anything."
-  :fuel 81
+  :material-basis "The per-tick rebuild (community.py:392-397 mints a fresh community_agents map on every step, and community.py:460-462 writes back via model_copy): every accumulator this pack reads derives from THIS tick's writes, so the tick begins by zeroing them. The institution/community-carrier binding is a SUBJECT-TYPE ANCHOR ONLY (tick.rs::subject_type_of requires >=1 :field binding to derive INSTITUTION) — never read again, never gating anything (`when #t`), so the domain is declared EXPLICITLY: an unreferenced anchor plus a vacuous guard is E-LOAD-004-undeterminable at load (domain.rs's candidate set is reference-fed), and control-ratio.bsl's precedent passes only because its fold bodies feed that set — recorded in the pack header."
+  :fuel 79
   (bindings
     (binding carrier :field institution/community-carrier))
-  (when (= carrier 1))
+  (domain NodeType/INSTITUTION)
+  (when #t)
   (effects
     (for-each (hyperedges HyperedgeType/COMMUNITY)
       (update-hyperedge it community/member-count (set 0))

rust/crates/babylon-tick/tests/community_conformance.rs

@@ -87,100 +87,6 @@
 //! n4 unaffiliated: community-cost-modifier = 1.0
 //! n5 inactive-member: org-r-weight = 0.0, org-l-weight = 0.0, org-f-weight = 0.0, org-count = 0.0
 //! n5 inactive-member: community-cost-modifier = ABSENT (honest null)
-//! ```text
-//! community-conformance world 1 — mirror output (the oracle)
-//! h0 new-afrikan kind=NEW_AFRIKAN
-//!   member-count = 2.0
-//!   density-sum  = 1.5
-//!   r = 0.8648648648648649
-//!   l = 0.13513513513513511
-//!   f = 0.0
-//!   contestation = 0.36048485321765583   (DG-2-gated)
-//!   dominant     = REVOLUTIONARY   (DG-2-gated)
-//!   decayed heat               = 0.475
-//!   decayed cohesion           = 0.7275
-//!   decayed education-pressure = 0.225
-//! h1 settler kind=SETTLER
-//!   member-count = 1.0
-//!   density-sum  = 2.0
-//!   r = 0.0
-//!   l = 0.5
-//!   f = 0.5
-//!   contestation = 0.6309297535714574   (DG-2-gated)
-//!   dominant     = LIBERAL   (DG-2-gated)
-//!   decayed heat               = 0.2375
-//!   decayed cohesion           = 0.485
-//!   decayed education-pressure = 0.1125
-//! h2 queer kind=QUEER
-//!   member-count = 1.0
-//!   density-sum  = 2.0
-//!   r = 0.7619047619047619
-//!   l = 0.23809523809523808
-//!   f = 0.0
-//!   contestation = 0.4996069952489026   (DG-2-gated)
-//!   dominant     = REVOLUTIONARY   (DG-2-gated)
-//!   decayed heat               = 0.7124999999999999
-//!   decayed cohesion           = 0.60625
-//!   decayed education-pressure = 0.45
-//! n1 na-worker: community-cost-modifier = 1.09375
-//! n2 na-organizer: community-cost-modifier = 0.875
-//! n3 settler-la: community-cost-modifier = 1.0
-//! n4 unaffiliated: community-cost-modifier = 1.0
-//! n5 inactive-member: community-cost-modifier = ABSENT (honest null)
-//! ```text
-//! community-conformance world 1 — mirror output (the oracle)
-//! h0 new-afrikan kind=NEW_AFRIKAN
-//!   member-count = 2.0
-//!   r-raw = 0.4
-//!   l-raw = 0.0625
-//!   f-raw = 0.0
-//!   density-sum  = 1.5
-//!   r = 0.8648648648648649
-//!   l = 0.13513513513513511
-//!   f = 0.0
-//!   contestation = 0.36048485321765583   (DG-2-gated)
-//!   dominant     = REVOLUTIONARY   (DG-2-gated)
-//!   decayed heat               = 0.475
-//!   decayed cohesion           = 0.7275
-//!   decayed education-pressure = 0.225
-//! h1 settler kind=SETTLER
-//!   member-count = 1.0
-//!   r-raw = 0.0
-//!   l-raw = 0.125
-//!   f-raw = 0.125
-//!   density-sum  = 2.0
-//!   r = 0.0
-//!   l = 0.5
-//!   f = 0.5
-//!   contestation = 0.6309297535714574   (DG-2-gated)
-//!   dominant     = LIBERAL   (DG-2-gated)
-//!   decayed heat               = 0.2375
-//!   decayed cohesion           = 0.485
-//!   decayed education-pressure = 0.1125
-//! h2 queer kind=QUEER
-//!   member-count = 1.0
-//!   r-raw = 0.4
-//!   l-raw = 0.125
-//!   f-raw = 0.0
-//!   density-sum  = 2.0
-//!   r = 0.7619047619047619
-//!   l = 0.23809523809523808
-//!   f = 0.0
-//!   contestation = 0.4996069952489026   (DG-2-gated)
-//!   dominant     = REVOLUTIONARY   (DG-2-gated)
-//!   decayed heat               = 0.7124999999999999
-//!   decayed cohesion           = 0.60625
-//!   decayed education-pressure = 0.45
-//! n1 na-worker: org-r-weight = 0.4, org-l-weight = 0.125, org-f-weight = 0.0, org-count = 2.0
-//! n1 na-worker: community-cost-modifier = 1.09375
-//! n2 na-organizer: org-r-weight = 0.4, org-l-weight = 0.0, org-f-weight = 0.0, org-count = 1.0
-//! n2 na-organizer: community-cost-modifier = 0.875
-//! n3 settler-la: org-r-weight = 0.0, org-l-weight = 0.125, org-f-weight = 0.125, org-count = 2.0
-//! n3 settler-la: community-cost-modifier = 1.0
-//! n4 unaffiliated: org-r-weight = 0.0, org-l-weight = 0.0, org-f-weight = 0.0, org-count = 0.0
-//! n4 unaffiliated: community-cost-modifier = 1.0
-//! n5 inactive-member: org-r-weight = 0.0, org-l-weight = 0.0, org-f-weight = 0.0, org-count = 0.0
-//! n5 inactive-member: community-cost-modifier = ABSENT (honest null)
 //! ```
 //!
 //! # THE SPIKE (Task 7 Step 5) — the seven-shape verdicts