Repository navigation
Commit e05a1b4
committed
ApiSurfaceTest: fence the raw register, name every array breach (T2/T3)
Extends the consumer-surface fence to the T2/T3 membrane
(.claude/knowledge/membrane-tiers.md in lance-graph; wardens there too): a
public consumer signature may carry NAMES (handle, classid, field name,
version), counts and statuses — never a raw content register or an un-named
array population.
- Raw-register fence: a byte[] anywhere in a public signature is a [u8;12]
rail array / payload crossing the wall. check() now flags an array whose
component is byte (the package-prefix match never sees a primitive
component). Ledger L6.
- Named-breach rule: a public method returning any array must be named
materialize*/import* — the GraphHopTest allowlist, enforced on the
COMPILED surface so a bridge/inherited return can't slip a source grep.
Ledger L7.
Green on the current surface by construction (only Mask.materializeRows()
returns an array, named; no public byte[]). Predicate behaviour proven
standalone 5/5 (byte[] return+param flagged, unnamed int[] return flagged,
materialize*/import* pass). Full Java suite not run in-session (JDK 21 here
vs repo's JDK 27 + preview FFM + Valhalla); CI runs it. The gate catches the
mechanical subset only — ofFacets(int...) (L1) and served strides (L2) are
semantic leaks the bbb-warden reviews, stated honestly in the doctrine.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_016WkNBjHc2e3zuyz9i8qJEv1 parent e8388e9 commit e05a1b4
2 files changed
Lines changed: 77 additions & 0 deletions
File tree
- .claude/board
- java/src/test/java/com/adaworldapi/lancegraph
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
1 | 34 | | |
2 | 35 | | |
3 | 36 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
83 | 83 | | |
84 | 84 | | |
85 | 85 | | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
| 91 | + | |
| 92 | + | |
| 93 | + | |
| 94 | + | |
| 95 | + | |
| 96 | + | |
| 97 | + | |
| 98 | + | |
| 99 | + | |
| 100 | + | |
| 101 | + | |
| 102 | + | |
| 103 | + | |
| 104 | + | |
| 105 | + | |
| 106 | + | |
| 107 | + | |
| 108 | + | |
| 109 | + | |
| 110 | + | |
| 111 | + | |
| 112 | + | |
| 113 | + | |
| 114 | + | |
| 115 | + | |
86 | 116 | | |
87 | 117 | | |
88 | 118 | | |
| |||
135 | 165 | | |
136 | 166 | | |
137 | 167 | | |
| 168 | + | |
138 | 169 | | |
139 | 170 | | |
140 | 171 | | |
| |||
144 | 175 | | |
145 | 176 | | |
146 | 177 | | |
| 178 | + | |
| 179 | + | |
| 180 | + | |
| 181 | + | |
| 182 | + | |
| 183 | + | |
| 184 | + | |
| 185 | + | |
| 186 | + | |
| 187 | + | |
| 188 | + | |
| 189 | + | |
| 190 | + | |
147 | 191 | | |
148 | 192 | | |
149 | 193 | | |
| |||
0 commit comments