Skip to content

Commit 369f739

Browse files
merynzmerynz
authored
Merge pull request #326 from merynz/corpus370-source-surface-probe-repair-v1
Preserve independent surface truth when calibration fails
2 parents 481a081 + 978130c commit 369f739

19 files changed

Lines changed: 1262 additions & 4 deletions

‎.github/workflows/corpus370-evidence-slice-v1.yml‎

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
name: corpus370-evidence-slice-v1
2+
on:
3+
push:
4+
branches: [main]
5+
paths:
6+
- '.github/workflows/corpus370-evidence-slice-v1.yml'
7+
workflow_dispatch:
8+
inputs:
9+
subjects:
10+
description: 'At most12 exact subject IDs for bounded read-only source diagnostics'
11+
required: true
12+
type: string
13+
permissions:
14+
contents: read
15+
concurrency:
16+
group: corpus370-evidence-slice-v1
17+
cancel-in-progress: false
18+
jobs:
19+
readback:
20+
strategy:
21+
fail-fast: false
22+
max-parallel: 1
23+
matrix:
24+
subjects: ${{ fromJSON(inputs.subjects != '' && format('[{0}]', toJSON(inputs.subjects)) || '["corpus_0c3efd578549abdcd2fb,corpus_17fefc47c1da85befb8d","corpus_1279ca142bf9b6aed964,corpus_636a2a3217982e9a876b","corpus_000ca1ae51f9582fde9e,corpus_0fbf08618decf883f035"]') }}
25+
runs-on: [self-hosted, linux, x64, realsas]
26+
timeout-minutes: 7
27+
env:
28+
SUBJECT_IDS: ${{ matrix.subjects }}
29+
OUTPUT: /tmp/corpus370-evidence-slice-${{ github.run_id }}-${{ strategy.job-index }}
30+
PREP_ROOT: /home/monster/realsas_authority/corpus370_preparation_v1
31+
steps:
32+
- uses: actions/checkout@v4
33+
- name: Read exact small source evidence; no scientific execution
34+
run: |
35+
/home/monster/realsas_platform/current/bin/realsas-python \
36+
tools/corpus/export_corpus370_evidence_slice_v1.py \
37+
--bundle "$PREP_ROOT/CORPUS370_PLATFORM_FAMILY_INPUT_BUNDLE_V2.zip" \
38+
--expected-sha256 4462b7f90fcff58a8d56b1a975fde4f7f91cbda51417cad5121cf55f25994c5c \
39+
--subjects "$SUBJECT_IDS" --preparation-root "$PREP_ROOT" --output "$OUTPUT"
40+
- uses: actions/upload-artifact@v4
41+
with:
42+
name: corpus370-evidence-slice-${{ github.run_id }}-${{ strategy.job-index }}
43+
path: |
44+
${{ env.OUTPUT }}/EVIDENCE_SLICE.zip
45+
${{ env.OUTPUT }}/EVIDENCE_SLICE_RECEIPT.json
46+
compression-level: 0
47+
retention-days: 7
48+
if-no-files-found: error

‎.github/workflows/corpus370-postrun-regressions-v1.yml‎

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,16 @@ on:
55
paths:
66
- '.github/workflows/corpus370-postrun-regressions-v1.yml'
77
- 'tools/corpus/*causal*'
8+
- 'tools/corpus/*source*'
9+
- 'tools/corpus/export_corpus370_evidence_slice_v1.py'
10+
- 'models/iris/truth/local_oriented_probe_v1.py'
11+
- 'compiler/realsas_compiler_services/orchestrator/adapters/source_*.py'
12+
- 'compiler/realsas_compiler_services/orchestrator/adapters/corpus_family_v2.py'
13+
- 'compiler/realsas_compiler_services/orchestrator/adapters/measurement_io_v1.py'
14+
- 'canonical/CORPUS370_FAMILY_TRUTH_EXECUTION_PLAN_V3.json'
15+
- 'tests/corpus/test_source_*'
16+
- 'tests/corpus/test_isolated_local_probe_v1.py'
17+
- 'tests/corpus/test_corpus370_evidence_slice_v1.py'
818
- 'tools/corpus/run_corpus370_compute_worker_v1.py'
919
- 'tools/training/build_truth139_v32_mechanical_tessa_teacher_v1.py'
1020
- 'tools/truth_foundry/blender_teacher_scene_v1.py'
@@ -50,4 +60,8 @@ jobs:
5060
tests/corpus/test_image_buffer_contract_v1.py \
5161
tests/corpus/test_process_log_streaming_v1.py \
5262
tests/corpus/test_tessa_mechanical_surface_topology_v5.py \
63+
tests/corpus/test_source_rest_geometry_v1.py \
64+
tests/corpus/test_source_capability_separation_v1.py \
65+
tests/corpus/test_isolated_local_probe_v1.py \
66+
tests/corpus/test_corpus370_evidence_slice_v1.py \
5367
tests/training/test_tessa_candidate_diagnostics_v1.py

‎canonical/CORPUS370_FAMILY_TRUTH_EXECUTION_PLAN_V3.json‎

Lines changed: 288 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,288 @@
1+
{
2+
"architecture_scope": "FINITE_SOURCE_RESPONSE_AND_INDEPENDENT_FAMILY_COURTS__NO_TRAINING",
3+
"calibration_failure_contract": "EXPLICIT_FAILURE_RECEIPT__MASK_ABSENT_TARGETS__PRESERVE_INDEPENDENT_SURFACE",
4+
"canonical_branch": "main",
5+
"corpus370_contract": {
6+
"expected_subject_count": 370,
7+
"historical_training_authority_inherited": false,
8+
"old_truth139_split_inherited": false,
9+
"subject_failure_is_preserved_not_removed": true,
10+
"training_authorized": false,
11+
"truth_family_matrix_minted_by_execution_plan": false
12+
},
13+
"date": "2026-11-01",
14+
"name": "Corpus370 source-surface separation V3",
15+
"product_quality_axes": {
16+
"appearance": "FIRST_CLASS",
17+
"geometry": "FIRST_CLASS",
18+
"mechanics": "FIRST_CLASS",
19+
"presentation": "FIRST_CLASS",
20+
"rule": "FAIL_ON_ANY_AXIS__NO_SILENT_CROSS_LAYER_COMPENSATION"
21+
},
22+
"resume_contract": {
23+
"failure_semantics": "PRESERVE_VERIFIED_INDEPENDENT_UPSTREAM_OUTPUTS_AND_FAILED_SUBJECT_EVIDENCE",
24+
"latest_alias_forbidden": true,
25+
"repair_semantics": "ADDITIVE_CHILD_TRUTH_ONLY__NEVER_MUTATE_SEALED_SOURCE_OBSERVATION_OR_PRIOR_STAGE_OUTPUTS",
26+
"rule": "PASS_OR_CACHE_HIT_REUSE_REQUIRES_INPUT_FINGERPRINT_AND_OUTPUT_SHA"
27+
},
28+
"schema": "RealSaS.MainlineExecutionPlan.v2",
29+
"source_surface_contract": "EXACT_ADMITTED_IMPORT__NO_KINEMATIC_OR_TEXTURE_DEPENDENCY",
30+
"stage_count": 11,
31+
"stages": [
32+
{
33+
"adapter": "compiler.realsas_compiler_services.orchestrator.adapters.source:seal_source_bytes",
34+
"depends_on": [],
35+
"group": "source",
36+
"id": "01_SOURCE_BYTES_SEALED",
37+
"manifest_keys": [
38+
"source_files"
39+
],
40+
"ordinal": 1,
41+
"policy": {
42+
"cacheable": true,
43+
"fail_closed": true,
44+
"output_hash_required": true,
45+
"product_pass_authority": false
46+
},
47+
"title": "Source bytes sealed"
48+
},
49+
{
50+
"adapter": "compiler.realsas_compiler_services.orchestrator.adapters.source:seal_source_license_provenance",
51+
"depends_on": [
52+
"01_SOURCE_BYTES_SEALED"
53+
],
54+
"group": "source",
55+
"id": "02_SOURCE_LICENSE_PROVENANCE",
56+
"manifest_keys": [
57+
"source_license"
58+
],
59+
"ordinal": 2,
60+
"policy": {
61+
"cacheable": true,
62+
"fail_closed": true,
63+
"output_hash_required": true,
64+
"product_pass_authority": false
65+
},
66+
"title": "Source/license provenance sealed"
67+
},
68+
{
69+
"adapter": "compiler.realsas_compiler_services.orchestrator.adapters.preflight_v2:audit_source_mechanics_stage",
70+
"depends_on": [
71+
"01_SOURCE_BYTES_SEALED",
72+
"02_SOURCE_LICENSE_PROVENANCE"
73+
],
74+
"group": "source",
75+
"id": "03_SOURCE_MECHANICAL_AUDIT",
76+
"manifest_keys": [
77+
"source_audit",
78+
"observation"
79+
],
80+
"ordinal": 3,
81+
"policy": {
82+
"cacheable": true,
83+
"fail_closed": true,
84+
"output_hash_required": true,
85+
"product_pass_authority": false
86+
},
87+
"title": "Source mechanical audit"
88+
},
89+
{
90+
"adapter": "compiler.realsas_compiler_services.orchestrator.adapters.preflight_v2:admit_full_subject_stage",
91+
"depends_on": [
92+
"03_SOURCE_MECHANICAL_AUDIT"
93+
],
94+
"group": "observation",
95+
"id": "04_FULL_SUBJECT_ADMISSION",
96+
"manifest_keys": [
97+
"admission"
98+
],
99+
"ordinal": 4,
100+
"policy": {
101+
"cacheable": true,
102+
"fail_closed": true,
103+
"output_hash_required": true,
104+
"product_pass_authority": false
105+
},
106+
"title": "Full-subject admission"
107+
},
108+
{
109+
"adapter": "compiler.realsas_compiler_services.orchestrator.adapters.observation_v2:qualify_camera_contract_stage",
110+
"depends_on": [],
111+
"group": "observation",
112+
"id": "05_CAMERA_CONTRACT_SOLVED",
113+
"manifest_keys": [
114+
"observation"
115+
],
116+
"ordinal": 5,
117+
"policy": {
118+
"cacheable": true,
119+
"fail_closed": true,
120+
"output_hash_required": true,
121+
"product_pass_authority": false
122+
},
123+
"title": "Common 8-view camera contract"
124+
},
125+
{
126+
"adapter": "compiler.realsas_compiler_services.orchestrator.adapters.preflight_v2:materialize_observation_render_stage",
127+
"depends_on": [
128+
"04_FULL_SUBJECT_ADMISSION",
129+
"05_CAMERA_CONTRACT_SOLVED"
130+
],
131+
"group": "observation",
132+
"id": "06_OBSERVATION_RENDER_8VIEW",
133+
"manifest_keys": [
134+
"observation"
135+
],
136+
"ordinal": 6,
137+
"policy": {
138+
"cacheable": true,
139+
"fail_closed": true,
140+
"output_hash_required": true,
141+
"product_pass_authority": false
142+
},
143+
"title": "Materialize exact 8 source observations"
144+
},
145+
{
146+
"adapter": "compiler.realsas_compiler_services.orchestrator.adapters.preflight_v2:qualify_observation_contract_stage",
147+
"depends_on": [
148+
"03_SOURCE_MECHANICAL_AUDIT",
149+
"04_FULL_SUBJECT_ADMISSION",
150+
"05_CAMERA_CONTRACT_SOLVED",
151+
"06_OBSERVATION_RENDER_8VIEW"
152+
],
153+
"group": "observation",
154+
"id": "07_OBSERVATION_CONTRACT_QUALIFIED",
155+
"manifest_keys": [
156+
"observation"
157+
],
158+
"ordinal": 7,
159+
"policy": {
160+
"cacheable": true,
161+
"fail_closed": true,
162+
"output_hash_required": true,
163+
"product_pass_authority": false
164+
},
165+
"title": "Observation contract qualification"
166+
},
167+
{
168+
"adapter": "compiler.realsas_compiler_services.orchestrator.adapters.preflight_v2:qualify_normalization_domain_stage",
169+
"depends_on": [
170+
"05_CAMERA_CONTRACT_SOLVED",
171+
"07_OBSERVATION_CONTRACT_QUALIFIED"
172+
],
173+
"group": "geometry",
174+
"id": "08_NORMALIZATION_DOMAIN_QUALIFIED",
175+
"manifest_keys": [
176+
"normalization"
177+
],
178+
"ordinal": 8,
179+
"policy": {
180+
"cacheable": true,
181+
"fail_closed": true,
182+
"output_hash_required": true,
183+
"product_pass_authority": false
184+
},
185+
"title": "Normalization/field-domain qualification"
186+
},
187+
{
188+
"adapter": "compiler.realsas_compiler_services.orchestrator.adapters.source_surface_v1:produce_source_surface_stage",
189+
"depends_on": [
190+
"01_SOURCE_BYTES_SEALED",
191+
"03_SOURCE_MECHANICAL_AUDIT",
192+
"08_NORMALIZATION_DOMAIN_QUALIFIED"
193+
],
194+
"group": "truth",
195+
"id": "50_SOURCE_SURFACE_ACQUIRED",
196+
"manifest_keys": [
197+
"source_files",
198+
"source_audit",
199+
"source_surface",
200+
"observation"
201+
],
202+
"ordinal": 9,
203+
"policy": {
204+
"cacheable": true,
205+
"fail_closed": true,
206+
"output_hash_required": true,
207+
"product_pass_authority": false
208+
},
209+
"title": "Independent observation-admitted source surface"
210+
},
211+
{
212+
"adapter": "compiler.realsas_compiler_services.orchestrator.adapters.source_capabilities_v1:measure_source_capabilities_stage",
213+
"depends_on": [
214+
"01_SOURCE_BYTES_SEALED",
215+
"03_SOURCE_MECHANICAL_AUDIT",
216+
"08_NORMALIZATION_DOMAIN_QUALIFIED",
217+
"50_SOURCE_SURFACE_ACQUIRED"
218+
],
219+
"group": "truth",
220+
"id": "51_SOURCE_CAPABILITIES_ACCOUNTED",
221+
"manifest_keys": [
222+
"source_files",
223+
"source_audit",
224+
"truth_foundry",
225+
"source_surface"
226+
],
227+
"ordinal": 10,
228+
"policy": {
229+
"cacheable": true,
230+
"fail_closed": true,
231+
"output_hash_required": true,
232+
"product_pass_authority": false
233+
},
234+
"title": "Source capability measurement and explicit failure accounting"
235+
},
236+
{
237+
"adapter": "compiler.realsas_compiler_services.orchestrator.adapters.corpus_family_v2:produce_subject_family_stage",
238+
"depends_on": [
239+
"50_SOURCE_SURFACE_ACQUIRED",
240+
"51_SOURCE_CAPABILITIES_ACCOUNTED",
241+
"08_NORMALIZATION_DOMAIN_QUALIFIED"
242+
],
243+
"group": "truth",
244+
"id": "49_SUBJECT_TRUTH_FAMILIES",
245+
"manifest_keys": [
246+
"source_files",
247+
"source_audit",
248+
"observation",
249+
"source_surface"
250+
],
251+
"ordinal": 11,
252+
"policy": {
253+
"cacheable": true,
254+
"fail_closed": true,
255+
"output_hash_required": true,
256+
"product_pass_authority": false
257+
},
258+
"title": "Independent subject truth-family courts and explicit failures"
259+
}
260+
],
261+
"subject_specific_code_forbidden": true,
262+
"truth_contract": {
263+
"action_measure": "CONTROL_BALANCED__EQUAL_MASS_PER_CONTROL_THEN_PER_SEALED_SIGN_AMPLITUDE_ROW",
264+
"canonical_mesh_binding_minted_by_stage48": false,
265+
"mechanical_response_measurements": [
266+
"PRINCIPAL_SURFACE_STRETCH",
267+
"ANISOTROPY",
268+
"NONRIGID_RESPONSE_MAGNITUDE",
269+
"ADJACENT_RESPONSE_COHERENCE"
270+
],
271+
"presentation_measurements": [
272+
"POSE_CONDITIONED_RAY_ORDER",
273+
"EFFECTIVE_ALPHA",
274+
"INCOMING_TRANSMITTANCE",
275+
"CONTRIBUTION",
276+
"HIT_REMOVAL_RESPONSE"
277+
],
278+
"primary_teacher_output": "QUALIFIED_RESPONSE_EVIDENCE_NOT_SEMANTIC_PART_CLASS",
279+
"semantic_labels_forbidden": [
280+
"cape",
281+
"hair",
282+
"shirt",
283+
"weapon",
284+
"drawable_owner"
285+
],
286+
"student_supervision_minted_by_stage48": false
287+
}
288+
}

0 commit comments

Comments
 (0)