{ "schema": "semiagora.process-device-yield-metric-contract.v1", "version": "2026-08-30-process-device-yield-v1", "experimentId": "SA-INT-PROCESS-DEVICE-YIELD-042", "stateContractVersion": "2026-08-30-process-device-yield-v1", "executionMode": "deterministic-normalized-teaching-replay", "coefficientOrigin": "original SemiAgora dimensionless teaching choices for this packet; not source-derived, fitted, calibrated, physical, optimal, transferable, or recommended", "sourceNumericUse": "none", "roundDigits": 9, "numericClosureTolerance": 0, "sweep": { "rowCount": 5760, "physicalRows": 2880, "evidencePairs": 2880, "orderedIntegrationStateCount": 8, "orderedIntegrationStateIsTime": false, "axisOrder": [ "integration_boundary_state", "variation_family", "downstream_observation_state", "device_evidence_state", "circuit_margin_evidence_state", "reliability_yield_evidence_state", "ordered_integration_state", "evidence_posture" ], "cardinality": [ 3, 5, 3, 2, 2, 2, 8, 2 ] }, "axisCoefficients": { "integration_boundary_state": { "process-module-boundary-like": { "graphBoundaryReadiness": 0.82, "lineageBoundaryTolerance": 0.68, "downstreamObservationSeparation": 0.64, "deviceEvidenceBoundaryControl": 0.58, "circuitEvidenceBoundaryControl": 0.52, "evidenceFlow": 0.66 }, "process-device-interface-boundary-like": { "graphBoundaryReadiness": 0.74, "lineageBoundaryTolerance": 0.82, "downstreamObservationSeparation": 0.78, "deviceEvidenceBoundaryControl": 0.76, "circuitEvidenceBoundaryControl": 0.66, "evidenceFlow": 0.74 }, "device-circuit-yield-integration-boundary-like": { "graphBoundaryReadiness": 0.64, "lineageBoundaryTolerance": 0.72, "downstreamObservationSeparation": 0.84, "deviceEvidenceBoundaryControl": 0.68, "circuitEvidenceBoundaryControl": 0.84, "evidenceFlow": 0.8 } }, "variation_family": { "film-variation-like": { "variationRepresentativeness": 0.42, "downstreamObservationReadiness": 0.48, "deviceInterfaceReadiness": 0.6, "yieldLineageSupport": 0.46, "modelLimitBurden": 0.62, "evidenceFlow": 0.52 }, "profile-variation-like": { "variationRepresentativeness": 0.38, "downstreamObservationReadiness": 0.54, "deviceInterfaceReadiness": 0.56, "yieldLineageSupport": 0.5, "modelLimitBurden": 0.66, "evidenceFlow": 0.48 }, "interface-variation-like": { "variationRepresentativeness": 0.46, "downstreamObservationReadiness": 0.62, "deviceInterfaceReadiness": 0.72, "yieldLineageSupport": 0.54, "modelLimitBurden": 0.58, "evidenceFlow": 0.6 }, "contact-variation-like": { "variationRepresentativeness": 0.5, "downstreamObservationReadiness": 0.7, "deviceInterfaceReadiness": 0.76, "yieldLineageSupport": 0.58, "modelLimitBurden": 0.54, "evidenceFlow": 0.64 }, "equipment-lineage-variation-like": { "variationRepresentativeness": 0.78, "downstreamObservationReadiness": 0.74, "deviceInterfaceReadiness": 0.7, "yieldLineageSupport": 0.82, "modelLimitBurden": 0.28, "evidenceFlow": 0.78 } }, "downstream_observation_state": { "device-characterization-observation-like": { "observationAttributionMargin": 0.72, "observationTraceStabilityMargin": 0.66, "observationLineageReadiness": 0.74, "modelLimitBurden": 0.34 }, "circuit-margin-observation-like": { "observationAttributionMargin": 0.6, "observationTraceStabilityMargin": 0.58, "observationLineageReadiness": 0.62, "modelLimitBurden": 0.48 }, "reliability-yield-observation-like": { "observationAttributionMargin": 0.52, "observationTraceStabilityMargin": 0.72, "observationLineageReadiness": 0.8, "modelLimitBurden": 0.44 } }, "device_evidence_state": { "device-evidence-limited-like": { "deviceCharacterizationReadiness": 0.3, "deviceModelReadiness": 0.34, "modelLimitBurden": 0.72 }, "device-evidence-supported-like": { "deviceCharacterizationReadiness": 0.82, "deviceModelReadiness": 0.78, "modelLimitBurden": 0.24 } }, "circuit_margin_evidence_state": { "circuit-margin-evidence-limited-like": { "circuitCharacterizationReadiness": 0.32, "circuitMarginReadiness": 0.28, "modelLimitBurden": 0.74 }, "circuit-margin-evidence-supported-like": { "circuitCharacterizationReadiness": 0.8, "circuitMarginReadiness": 0.76, "modelLimitBurden": 0.26 } }, "reliability_yield_evidence_state": { "reliability-yield-evidence-limited-like": { "reliabilityEvidenceReadiness": 0.3, "stressUseSeparationReadiness": 0.34, "yieldLossAttributionReadiness": 0.28, "lotDieTraceabilityReadiness": 0.32, "modelLimitBurden": 0.76 }, "reliability-yield-evidence-supported-like": { "reliabilityEvidenceReadiness": 0.78, "stressUseSeparationReadiness": 0.74, "yieldLossAttributionReadiness": 0.8, "lotDieTraceabilityReadiness": 0.76, "modelLimitBurden": 0.24 } } }, "proxyEquations": { "ordered_integration_state_norm": "round9(orderedIntegrationStateIndex / 7)", "integration_boundary_readiness_proxy": "round9(clamp01(0.10 + 0.30*integrationBoundary.graphBoundaryReadiness + 0.16*variationFamily.evidenceFlow + 0.16*downstreamObservation.observationTraceStabilityMargin + 0.12*deviceEvidence.deviceCharacterizationReadiness + 0.10*circuitMarginEvidence.circuitCharacterizationReadiness + 0.06*(1 - abs(stateNorm - 0.43))))", "variation_family_readiness_proxy": "round9(clamp01(0.08 + 0.32*variationFamily.variationRepresentativeness + 0.18*variationFamily.downstreamObservationReadiness + 0.18*variationFamily.deviceInterfaceReadiness + 0.14*integrationBoundary.lineageBoundaryTolerance + 0.10*(1 - abs(stateNorm - 0.29))))", "downstream_observation_attribution_readiness_proxy": "round9(clamp01(0.08 + 0.34*downstreamObservation.observationAttributionMargin + 0.22*downstreamObservation.observationTraceStabilityMargin + 0.16*integrationBoundary.downstreamObservationSeparation + 0.10*variationFamily.deviceInterfaceReadiness + 0.10*reliabilityYieldEvidence.reliabilityEvidenceReadiness))", "device_evidence_readiness_proxy": "round9(clamp01(0.08 + 0.40*deviceEvidence.deviceCharacterizationReadiness + 0.24*deviceEvidence.deviceModelReadiness + 0.14*integrationBoundary.deviceEvidenceBoundaryControl + 0.08*downstreamObservation.observationAttributionMargin + 0.06*(1 - abs(stateNorm - 0.57))))", "circuit_margin_evidence_readiness_proxy": "round9(clamp01(0.08 + 0.36*circuitMarginEvidence.circuitCharacterizationReadiness + 0.26*circuitMarginEvidence.circuitMarginReadiness + 0.16*integrationBoundary.circuitEvidenceBoundaryControl + 0.08*variationFamily.yieldLineageSupport + 0.06*(1 - abs(stateNorm - 0.71))))", "reliability_yield_evidence_readiness_proxy": "round9(clamp01(0.08 + 0.26*reliabilityYieldEvidence.reliabilityEvidenceReadiness + 0.24*reliabilityYieldEvidence.stressUseSeparationReadiness + 0.16*downstreamObservation.observationTraceStabilityMargin + 0.12*variationFamily.yieldLineageSupport + 0.14*integrationBoundary.evidenceFlow))", "process_device_lineage_readiness_proxy": "round9(clamp01(0.08 + 0.30*reliabilityYieldEvidence.yieldLossAttributionReadiness + 0.22*reliabilityYieldEvidence.lotDieTraceabilityReadiness + 0.16*integrationBoundary.evidenceFlow + 0.14*p.reliability_yield_evidence_readiness_proxy + 0.10*(1 - abs(stateNorm - 0.43))))", "measurement_model_traceability_readiness_proxy": "round9(clamp01(0.08 + 0.18*integrationBoundary.evidenceFlow + 0.16*variationFamily.evidenceFlow + 0.20*reliabilityYieldEvidence.lotDieTraceabilityReadiness + 0.18*deviceEvidence.deviceModelReadiness + 0.14*circuitMarginEvidence.circuitMarginReadiness + 0.06*(1 - abs(stateNorm - 0.50))))", "variation_source_ambiguity_burden_proxy": "round9(clamp01(0.05 + 0.36*(1 - downstreamObservation.observationAttributionMargin) + 0.24*(1 - variationFamily.variationRepresentativeness) + 0.18*(1 - downstreamObservation.observationTraceStabilityMargin) + 0.10*abs(stateNorm - 0.50)))", "device_model_transfer_uncertainty_burden_proxy": "round9(clamp01(0.06 + 0.40*(1 - deviceEvidence.deviceCharacterizationReadiness) + 0.24*(1 - deviceEvidence.deviceModelReadiness) + 0.18*(1 - integrationBoundary.deviceEvidenceBoundaryControl) + 0.08*abs(stateNorm - 0.50)))", "circuit_context_mismatch_burden_proxy": "round9(clamp01(0.05 + 0.40*(1 - circuitMarginEvidence.circuitMarginReadiness) + 0.22*(1 - circuitMarginEvidence.circuitCharacterizationReadiness) + 0.18*(1 - integrationBoundary.circuitEvidenceBoundaryControl) + 0.08*stateNorm))", "reliability_stress_context_burden_proxy": "round9(clamp01(0.05 + 0.30*(1 - reliabilityYieldEvidence.stressUseSeparationReadiness) + 0.24*(1 - reliabilityYieldEvidence.reliabilityEvidenceReadiness) + 0.18*(1 - downstreamObservation.observationTraceStabilityMargin) + 0.12*(1 - variationFamily.yieldLineageSupport) + 0.08*abs(stateNorm - 0.50)))", "yield_lineage_gap_burden_proxy": "round9(clamp01(0.05 + 0.36*(1 - reliabilityYieldEvidence.yieldLossAttributionReadiness) + 0.24*(1 - reliabilityYieldEvidence.lotDieTraceabilityReadiness) + 0.16*(1 - integrationBoundary.evidenceFlow) + 0.10*(1 - p.measurement_model_traceability_readiness_proxy)))", "process_measurement_alignment_readiness_proxy": "round9(clamp01(0.08 + 0.30*deviceEvidence.deviceModelReadiness + 0.22*circuitMarginEvidence.circuitMarginReadiness + 0.18*p.measurement_model_traceability_readiness_proxy + 0.12*integrationBoundary.evidenceFlow + 0.10*variationFamily.yieldLineageSupport))", "device_circuit_interface_readiness_proxy": "round9(clamp01(0.08 + 0.20*integrationBoundary.evidenceFlow + 0.18*variationFamily.yieldLineageSupport + 0.18*downstreamObservation.observationTraceStabilityMargin + 0.18*circuitMarginEvidence.circuitMarginReadiness + 0.12*reliabilityYieldEvidence.reliabilityEvidenceReadiness + 0.06*(1 - abs(stateNorm - 0.50))))", "lot_wafer_die_traceability_proxy": "round9(clamp01(0.08 + 0.24*p.measurement_model_traceability_readiness_proxy + 0.20*integrationBoundary.evidenceFlow + 0.16*p.device_circuit_interface_readiness_proxy + 0.14*reliabilityYieldEvidence.yieldLossAttributionReadiness + 0.10*variationFamily.yieldLineageSupport + 0.08*(1 - abs(stateNorm - 0.50))))", "model_limit_burden_proxy": "round9(clamp01(0.05 + 0.18*variationFamily.modelLimitBurden + 0.16*downstreamObservation.modelLimitBurden + 0.17*deviceEvidence.modelLimitBurden + 0.17*circuitMarginEvidence.modelLimitBurden + 0.18*reliabilityYieldEvidence.modelLimitBurden + 0.07*p.variation_source_ambiguity_burden_proxy))", "process_device_yield_review_readiness_proxy": "round9(clamp01(0.06 + 0.12*p.integration_boundary_readiness_proxy + 0.12*p.variation_family_readiness_proxy + 0.12*p.downstream_observation_attribution_readiness_proxy + 0.11*p.device_evidence_readiness_proxy + 0.11*p.circuit_margin_evidence_readiness_proxy + 0.11*p.reliability_yield_evidence_readiness_proxy + 0.11*p.process_device_lineage_readiness_proxy + 0.08*p.measurement_model_traceability_readiness_proxy + 0.06*(1 - p.model_limit_burden_proxy)))", "public_atlas_handoff_readiness_proxy": "round9(clamp01(0.06 + 0.20*p.process_device_yield_review_readiness_proxy + 0.14*p.process_measurement_alignment_readiness_proxy + 0.14*p.device_circuit_interface_readiness_proxy + 0.14*p.lot_wafer_die_traceability_proxy + 0.10*p.process_device_lineage_readiness_proxy + 0.10*(1 - p.reliability_stress_context_burden_proxy) + 0.08*(1 - p.model_limit_burden_proxy) + 0.04*p.integration_boundary_readiness_proxy))" }, "integerLedgerEquations": { "process_variation_boundary_total_tokens": "74 + 4*integrationBoundaryStateIndex + 3*variationFamilyIndex + downstreamObservationStateIndex + orderedIntegrationStateIndex", "process_context_review_tokens": "15 + 2*integrationBoundaryStateIndex + 2*variationFamilyIndex + (orderedIntegrationStateIndex % 3)", "variation_source_review_tokens": "13 + 3*variationFamilyIndex + downstreamObservationStateIndex + (orderedIntegrationStateIndex % 2)", "unresolved_process_variation_boundary_tokens": "process_variation_boundary_total_tokens - process_context_review_tokens - variation_source_review_tokens", "process_variation_boundary_ledger_residual": "process_variation_boundary_total_tokens - process_context_review_tokens - variation_source_review_tokens - unresolved_process_variation_boundary_tokens", "device_observation_evidence_total_tokens": "80 + 2*integrationBoundaryStateIndex + 3*downstreamObservationStateIndex + 4*deviceEvidenceIndex + orderedIntegrationStateIndex", "device_characterization_review_tokens": "17 + 3*downstreamObservationStateIndex + 2*deviceEvidenceIndex + (variationFamilyIndex % 3)", "device_model_review_tokens": "15 + 4*deviceEvidenceIndex + integrationBoundaryStateIndex + (orderedIntegrationStateIndex % 3)", "unresolved_device_observation_evidence_tokens": "device_observation_evidence_total_tokens - device_characterization_review_tokens - device_model_review_tokens", "device_observation_evidence_ledger_residual": "device_observation_evidence_total_tokens - device_characterization_review_tokens - device_model_review_tokens - unresolved_device_observation_evidence_tokens", "circuit_reliability_yield_handoff_total_tokens": "90 + 2*integrationBoundaryStateIndex + 3*circuitMarginEvidenceIndex + 3*reliabilityYieldEvidenceIndex + orderedIntegrationStateIndex", "circuit_margin_review_tokens": "17 + 4*circuitMarginEvidenceIndex + downstreamObservationStateIndex + (orderedIntegrationStateIndex % 2)", "reliability_review_tokens": "16 + 4*reliabilityYieldEvidenceIndex + downstreamObservationStateIndex + (orderedIntegrationStateIndex % 3)", "yield_lineage_review_tokens": "14 + 3*reliabilityYieldEvidenceIndex + integrationBoundaryStateIndex + (variationFamilyIndex % 2)", "unresolved_circuit_reliability_yield_handoff_tokens": "circuit_reliability_yield_handoff_total_tokens - circuit_margin_review_tokens - reliability_review_tokens - yield_lineage_review_tokens", "circuit_reliability_yield_handoff_ledger_residual": "circuit_reliability_yield_handoff_total_tokens - circuit_margin_review_tokens - reliability_review_tokens - yield_lineage_review_tokens - unresolved_circuit_reliability_yield_handoff_tokens" }, "decisionThresholds": { "integrationBoundaryLimited": 0.58, "variationFamilyLimited": 0.54, "downstreamObservationAttributionLimited": 0.62, "deviceEvidenceLimited": 0.55, "circuitMarginEvidenceLimited": 0.54, "reliabilityYieldEvidenceLimited": 0.54, "processDeviceLineageLimited": 0.68, "variationSourceAmbiguityHigh": 0.6, "deviceModelTransferUncertaintyHigh": 0.6, "circuitContextMismatchHigh": 0.6, "reliabilityStressContextHigh": 0.6, "yieldLineageGapHigh": 0.6, "measurementModelTraceabilityLimited": 0.56, "modelLimitHigh": 0.6 }, "bandRules": { "commonReadiness": { "limitedBelow": 0.57, "boundedAtOrAbove": 0.7 }, "burden": { "lowerAtOrBelow": 0.38, "higherAbove": 0.6 }, "priority": { "highAbove": 0.45, "lowerAtOrBelow": 0.32 }, "evidenceGate": { "readyAtOrAbove": 0.7, "limitedBelow": 0.55 }, "modelLimitPriority": { "highAbove": 0.45, "lowerAtOrBelow": 0.32 }, "roleModelLimitGate": { "reviewAbove": 0.6 }, "traceabilityGate": { "readyAtOrAbove": 0.68, "limitedBelow": 0.54 }, "publicAtlasHandoffReadiness": { "limitedBelow": 0.55, "boundedAtOrAbove": 0.7 }, "upstreamMetrologyBridgeInput": "mean(device_evidence_readiness_proxy, measurement_model_traceability_readiness_proxy)", "deviceModelPriority": { "lowerAtOrBelow": 0.28, "highAbove": 0.58 } }, "boundary": "All coefficients and thresholds are original normalized teaching choices for this packet. No source body, numeric value, measured process, device, circuit, reliability, test, defect, or yield value, model parameter, process condition, equipment setting, result, automatic action, acceptance, qualification, signoff, publication, compliance conclusion, or production disposition enters any equation.", "roleGatePrecedence": { "processIntegrationEngineer": [ "process-module boundary, variation family, equipment lineage, measurement, and process-device interface evidence review", "owned process, equipment, metrology, variation-source, and genealogy replacement evidence", "bounded handoff without automatic recipe, tool, process-control, qualification, or disposition action" ], "deviceModelingEngineer": [ "device structure, I-V, C-V, contact, variability, extraction, compact-model, corner, and applicability evidence review", "owned device-characterization and model-validation replacement evidence", "model-limit and process-to-device transfer review" ], "circuitReliabilityEngineer": [ "circuit topology, PVT, parasitic, delay, stability, margin, reliability mechanism, stress, and use-condition evidence review", "owned circuit and reliability replacement evidence", "human-controlled signoff, guardband, qualification, and release review" ], "yieldLearningEngineer": [ "test, defect, spatial, lot-wafer-die genealogy, loss taxonomy, denominator, uncertainty, and causal-learning evidence review", "owned test, yield, lineage, and uncertainty replacement evidence", "bounded evidence comparison without automatic binning, acceptance, or disposition" ] }, "serialization": { "numericFormat": "finite decimal rounded to 9 places; no exponent notation", "integerLedgers": "base-10 integers with exact zero residuals", "categoricalLabels": "closed enumerations only", "csvJsonIdentity": "Every CSV cell must equal the canonical JSON value under string conversion." }, "validationGates": [ "full Cartesian row count and order", "physical identity across evidence pairs", "all 20 normalized proxy equations independently recomputed", "all eight process-device-yield regimes represented", "all role, bridge, priority, and evidence labels represented", "three integer ledgers and all 16 ledger equations close exactly", "all 112 prohibited fields remain numeric zero", "CSV and JSON agree cell-for-cell", "two isolated unchanged-input generator reruns are byte-identical", "source-body, physical-value, model-parameter, operational-action, pass/fail, qualification, signoff, publication, disposition, and production-decision import remain absent" ], "reachabilityAmendments": [ { "id": "PDY-RA01", "reason": "Keep a distinct process-device-lineage-limited branch after reliability-yield precedence while preserving a bounded upper review region.", "change": "processDeviceLineageLimited 0.58 -> 0.68", "sourceNumericUse": "none" }, { "id": "PDY-RA02", "reason": "Reach all three owned device-model-transfer priority teaching bands across the locked Cartesian sweep.", "change": "device-model-transfer uncertainty burden owned base term 0.05 -> 0.06", "sourceNumericUse": "none" }, { "id": "PDY-RA03", "reason": "Represent the cross-domain genealogy handoff as a joint process-device lineage and lot-wafer-die traceability review.", "change": "upstream cross-domain genealogy input -> mean(process-device-lineage readiness, lot-wafer-die traceability)", "sourceNumericUse": "none" }, { "id": "PDY-RA04", "reason": "Preserve an explicit integration-boundary-limited branch and all three integration-boundary readiness bands in the locked sweep.", "change": "integrationBoundaryLimited 0.52 -> 0.58; common readiness limitedBelow 0.55 -> 0.57", "sourceNumericUse": "none" }, { "id": "PDY-RA05", "reason": "Preserve a distinct downstream-observation-attribution branch before device-evidence precedence.", "change": "downstreamObservationAttributionLimited 0.54 -> 0.62", "sourceNumericUse": "none" }, { "id": "PDY-RA06", "reason": "Reach all three owned priority bands for every burden family without changing any source boundary.", "change": "priority lowerAtOrBelow 0.38 -> 0.32; highAbove 0.60 -> 0.45", "sourceNumericUse": "none" }, { "id": "PDY-RA07", "reason": "Keep lower, review, and high device-model-transfer priority bands despite the intentionally binary device-evidence axis.", "change": "device-model priority lowerAtOrBelow 0.32 -> 0.28; highAbove 0.45 -> 0.58", "sourceNumericUse": "none" } ], "status": "metric-contract-locked", "processDeviceYieldRegimePrecedence": [ "integration-boundary-limited", "variation-family-context-limited", "downstream-observation-attribution-limited", "device-evidence-limited", "circuit-margin-evidence-limited", "reliability-yield-evidence-limited", "process-device-lineage-limited", "bounded-process-device-yield-review" ] }