P-037 A2.2-4R5: a constructor initializer is a call site of its own (call_kind: constructor_initializer)

The A2.2-4R4 ruling re-classified the constructor-initializer argument
(formal note §10.6.10, F-CTOR-INIT, §10.1 case 3) from a vocabulary edge
to a call-like fact shape: `Holder(MemoryStream r) : base(r, true)` passes
the handle into a really invoked constructor's declared ordinal 0, the same
ownership edge object_creation was added for, and "the callee is outside
the vocabulary" would be circular. This commit lands the shape.

Production: BuildGuardedFacts emits one call fact for a constructor's
`: this(...)` / `: base(...)` through the shared EmitCall — the site is the
ConstructorInitializerSyntax (its coordinate the `:`), the callee the target
constructor's `{Type}..ctor` key with its canonical signature, first_party
by declaring syntax, the arguments bound to the target constructor's
declared ordinals (named arguments resolved; params and ref/out as
everywhere), form `statement` (it runs first and yields nothing), tagged
call_kind constructor_initializer (schema enum, producer set and spec §5.2
in step). The initializer sits beside the body, not inside it, so the
invocation and object-creation loops now walk the initializer's argument
syntax before the body's: `: base(Wrap(r), true)` captures r at Wrap and
the initializer receives a call result, the nested_call_result reading the
ruling asked for. Every member without an initializer reads exactly as
before.

Evidence: the registry's call-like forms gain constructor_initializer; the
probe gains a constructor row, CtorInit (`Probe.CtorInit..ctor`, the freeze
test learns constructor rows), whose historical columns were measured with
the extractor rebuilt at each step's commit (A' 5a0de07, A2.2-1 268bbd4,
A2.2-2 376f2e6, A2.2-2b 7de7a6f, A2.2-3P 80cd9aa: no_record at every
step, the initializer was never visited and an empty body carries nothing)
and the whole probe was re-measured into a2_2_4r5_observed with this tree's
extractor: exactly the CtorInit row moves, to
orphan_call:constructor_initializer (an empty forwarding body lowers to
nothing, so the legacy pass admits no record and the orphan carrier holds
the fact), every other row equals a2_2_3p_observed; the census gains
sidecar-ctorinit-base (the 52 earlier shapes byte-identical); the oracle
binds the site kind and attributes nested calls inside an initializer; the
hostile census gains ctorinit-nested-call and ctorinit-named-transparent
beside the re-designed vocab-constructor-initializer, all green by design;
the oracle's unclassified_argument_shape kinds are empty over every input;
F-CTOR-INIT moves to `closed`. The inertness control and the local
rehearsal against the T before-takes are unchanged on both engines. Same
instrument, no new T/R.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01QfeUtLRm6KFRWcTGQZxQQb

Author: claude

corpus/p037-hostile/README.md

@@ -57,11 +57,14 @@ plus the named cases:
   accessor, and a declared local function (the known, counted gap);
 - two receiver forms (`ext-*`): a reduced extension through `?.`, and a
   struct handle boxed into an `object` receiver;
+- three constructor-initializer sites (`ctorinit-*`, `vocab-constructor-initializer`):
+  a direct forwarding, named and reordered arguments under a reference
+  upcast, and a nested call whose result the initializer receives;
 - the argument shapes the frozen vocabulary had no name for (`vocab-*`): a
   tested operand, an interpolation hole and an indexer argument, named by the
   A2.2-4R4 ruling (`predicate_result`, `interpolation_hole`,
   `indexer_argument`), and a constructor-initializer argument, a call-like
-  fact shape pending A2.2-4R5.
+  fact shape since A2.2-4R5 (`call_kind: constructor_initializer`).
 
 The findings these witness are classified in
 `corpus/p037-relevance/oracle_findings.json`; each stays RED, by name, until a

corpus/p037-hostile/cases/ctorinit-named-transparent.cs

@@ -0,0 +1,11 @@
+// GENERATED by scripts/p037_hostile_census.py (P-037 A2.2-4 hostile census); do not edit.
+// call-like site: a constructor initializer with named, reordered arguments and a reference upcast on the handle; the target constructor's declared ordinals bind
+using System;
+using System.IO;
+using System.Collections.Generic;
+
+static class H_ctorinit_named_transparent
+{
+    class Base { public Base(Stream s, bool b) { } }
+    sealed class Holder : Base { public Holder(MemoryStream r) : base(b: true, s: (Stream)r) { } }
+}

corpus/p037-hostile/cases/ctorinit-nested-call.cs

@@ -0,0 +1,12 @@
+// GENERATED by scripts/p037_hostile_census.py (P-037 A2.2-4 hostile census); do not edit.
+// call-like site: a nested call inside a constructor initializer's argument; the inner call captures the handle, the initializer receives its result (nested_call_result)
+using System;
+using System.IO;
+using System.Collections.Generic;
+
+static class H_ctorinit_nested_call
+{
+    static Stream Wrap(Stream s) { return s; }
+    class Base { public Base(Stream s, bool b) { } }
+    sealed class Holder : Base { public Holder(MemoryStream r) : base(Wrap(r), true) { } }
+}

corpus/p037-hostile/cases/vocab-constructor-initializer.cs

@@ -1,5 +1,5 @@
 // GENERATED by scripts/p037_hostile_census.py (P-037 A2.2-4 hostile census); do not edit.
-// vocabulary edge: an owned constructor parameter forwarded through `: base(...)`, a really invoked constructor's declared ordinal 0; ruled a call-like fact shape in A2.2-4R4, landing in A2.2-4R5 (finding F-CTOR-INIT)
+// call-like site: an owned constructor parameter forwarded through `: base(...)`, a really invoked constructor's declared ordinal 0 (ruled a fact shape in A2.2-4R4, landed in A2.2-4R5: call_kind constructor_initializer)
 using System;
 using System.IO;
 using System.Collections.Generic;

corpus/p037-hostile/expected.json

@@ -246,6 +246,41 @@
    "red": {},
    "why": "composition: parentheses around a handle whose parameter type needs op_Implicit; the conversion wins over the transparent-looking syntax (\u00a710.6.3)"
   },
+  "ctorinit-named-transparent": {
+   "member": "H_ctorinit_named_transparent.M",
+   "member_override": ".Holder..ctor",
+   "carrier": "guarded_functions",
+   "occurrences": [
+    {
+     "symbol": "r",
+     "verdict": "captured",
+     "site_kind": "constructor_initializer",
+     "ordinal": 0,
+     "expected": "param"
+    }
+   ],
+   "red": {},
+   "why": "call-like site: a constructor initializer with named, reordered arguments and a reference upcast on the handle; the target constructor's declared ordinals bind"
+  },
+  "ctorinit-nested-call": {
+   "member": "H_ctorinit_nested_call.M",
+   "member_override": ".Holder..ctor",
+   "carrier": "guarded_functions",
+   "occurrences": [
+    {
+     "symbol": "r",
+     "verdict": "captured",
+     "site_kind": "invocation",
+     "ordinal": 0,
+     "expected": "param",
+     "enclosing": [
+      "nested_call_result"
+     ]
+    }
+   ],
+   "red": {},
+   "why": "call-like site: a nested call inside a constructor initializer's argument; the inner call captures the handle, the initializer receives its result (nested_call_result)"
+  },
   "ext-boxed-receiver": {
    "member": "H_ext_boxed_receiver.M",
    "carrier": "functions",
@@ -3038,19 +3073,18 @@
   "vocab-constructor-initializer": {
    "member": "H_vocab_constructor_initializer.M",
    "member_override": ".Holder..ctor",
-   "carrier": "none",
+   "carrier": "guarded_functions",
    "occurrences": [
     {
      "symbol": "r",
-     "verdict": "red",
-     "explanation": "unclassified_argument_shape:constructor_initializer"
+     "verdict": "captured",
+     "site_kind": "constructor_initializer",
+     "ordinal": 0,
+     "expected": "param"
     }
    ],
-   "red": {
-    "unclassified_argument_shape:constructor_initializer": 1
-   },
-   "finding": "F-CTOR-INIT",
-   "why": "vocabulary edge: an owned constructor parameter forwarded through `: base(...)`, a really invoked constructor's declared ordinal 0; ruled a call-like fact shape in A2.2-4R4, landing in A2.2-4R5 (finding F-CTOR-INIT)"
+   "red": {},
+   "why": "call-like site: an owned constructor parameter forwarded through `: base(...)`, a really invoked constructor's declared ordinal 0 (ruled a fact shape in A2.2-4R4, landed in A2.2-4R5: call_kind constructor_initializer)"
   },
   "vocab-indexer-argument": {
    "member": "H_vocab_indexer_argument.M",

corpus/p037-relevance/oracle_findings.json

@@ -8,13 +8,6 @@
       "evidence": "Program.cs enumerates ClassDeclarationSyntax only and, inside it, BaseMethodDeclarationSyntax with a block Body; the three A2.2-3P admission gates sit inside that loop, so these members reach neither functions[] nor guarded_functions[]. Witnessed by the probe (Box.op_Implicit, an expression-bodied conversion operator) and by four hostile cases.",
       "status": "open: a census finding; carrying these members in the orphan carrier is a production change to be classified on its own",
       "red": "occurrence_not_captured"
-    },
-    "F-CTOR-INIT": {
-      "class": "case 3",
-      "title": "a constructor initializer `: base(...)` / `: this(...)` is a call-like site without a fact shape",
-      "evidence": "`Holder(MemoryStream r) : base(r, true)` passes the owned parameter into a really invoked constructor's declared ordinal 0, the same ownership edge object_creation was added for; the frozen vocabulary has no call_kind for a ConstructorInitializerSyntax site, so no fact exists and the oracle reads the occurrence as unclassified. Ruled in A2.2-4R4 to be a fact shape (call_kind constructor_initializer; site the initializer; callee the target constructor's {Type}..ctor key; sig its canonical signature; arguments bound to the target constructor's declared ordinals; first_party by declaring syntax; the same value-flow and binding machinery), landing in A2.2-4R5. Witnessed by the hostile case vocab-constructor-initializer.",
-      "status": "open: A2.2-4R5 adds the fact shape",
-      "red": "unclassified_argument_shape:constructor_initializer"
     }
   },
   "expected_red": {
@@ -54,6 +47,13 @@
       "evidence": "Each is a candidate occurrence under a call-related syntax site that no frozen exclusion names; production emits no fact for any of them (correctly: no handle reaches a callee of the vocabulary), so each needs a name, never a bucket. Witnessed by four hostile cases.",
       "status": "closed: the A2.2-4R4 ruling. predicate_result, interpolation_hole and indexer_argument are frozen exclusions (registry, \u00a710.6.4, probe rows PredicateResult / InterpolationHole / IndexerArgument, oracle); the constructor-initializer argument is not an exclusion but a call-like fact shape, tracked as F-CTOR-INIT.",
       "red": "unclassified_argument_shape:*"
+    },
+    "F-CTOR-INIT": {
+      "class": "case 3",
+      "title": "a constructor initializer `: base(...)` / `: this(...)` is a call-like site without a fact shape",
+      "evidence": "`Holder(MemoryStream r) : base(r, true)` passes the owned parameter into a really invoked constructor's declared ordinal 0, the same ownership edge object_creation was added for; the frozen vocabulary has no call_kind for a ConstructorInitializerSyntax site, so no fact exists and the oracle reads the occurrence as unclassified. Ruled in A2.2-4R4 to be a fact shape (call_kind constructor_initializer; site the initializer; callee the target constructor's {Type}..ctor key; sig its canonical signature; arguments bound to the target constructor's declared ordinals; first_party by declaring syntax; the same value-flow and binding machinery), landing in A2.2-4R5. Witnessed by the hostile case vocab-constructor-initializer.",
+      "status": "closed: A2.2-4R5. call_kind constructor_initializer; the initializer's argument syntax is visited for nested call sites too; three hostile witnesses and the census shape sidecar-ctorinit-base are green; the probe row CtorInit reads orphan_call:constructor_initializer.",
+      "red": "unclassified_argument_shape:constructor_initializer"
     }
   }
 }

corpus/p037-relevance/probe/case.cs

@@ -30,6 +30,7 @@ static void TakeDerivedRef(Derived d) { }
     struct Token : IDisposable { public void Dispose() { } }
     static void SinkObject(object o) { }
     static void Use6(bool b) { }
+    class FwdBase { public FwdBase(Stream s, bool leaveOpen) { } }
 
     // direct
     static void Plain() { var r = new MemoryStream(); Inner(r, true); }        // implicit reference upcast at the parameter
@@ -77,4 +78,7 @@ static void Use6(bool b) { }
     static void PredicateResult() { var r = new MemoryStream(); Use6(r != null); }   // the predicate's bool is the argument
     static void InterpolationHole() { var r = new MemoryStream(); Use4($"{r}"); }   // the built string is the argument
     static void IndexerArgument() { var r = new MemoryStream(); var d = new Dictionary<Stream, int>(); d[r] = 1; }   // the handle is the index of an accessor call outside the vocabulary
+
+    // call-like: a constructor initializer (A2.2-4R5); the row is this class's constructor, `Probe.CtorInit..ctor`
+    sealed class CtorInit : FwdBase { public CtorInit(MemoryStream r) : base(r, true) { } }
 }