Local calculation contracts reproduce
PassThe local Value Under Constraint default returned temporal-value-wa-v1, 11,822.58 kWh annual generation and AUD 962.09726143799 annual value. The corrected local Export Flexibility Dividend returned public schema v2, calculation method export-flexibility-dividend-wa-v1, three interactive scenarios and AUD 127.03/year modelled flexibility headroom.
Method: Executed both repository calculation cores with fixed local inputs, method versions and source editions after the schema-v2 contract correction.
Evidence: Value Under Constraint calculation core (2026-08-02); Export Flexibility Dividend schema-v2 calculation core (2026-08-02)
Boundary: Deployment status was not assessed after the schema-v2 correction. These are local computational reproductions, not a canonical benchmark or empirical site-performance test.
Schema-v2 publication boundary is fail-closed
PassLocal contract export-flexibility-dividend-public-v2 retained state=interactive_model_only, canonicalBenchmarkPublished=false, durableReleaseStatus=provisional, computational verification passed on 2026-08-02 and empirical validation pending; all six unsupported promotions failed validation.
Method: Validated the required publication object on the local result and mutation-tested six unsupported promotions: schema v1, canonical state, canonical benchmark published, durable release published, changed computational check date and empirical validation passed.
Evidence: Schema-v2 publication invariant (2026-08-02); Publication-boundary mutation tests (2026-08-02)
Boundary: A passing computational model does not publish a canonical benchmark, complete a durable release or establish empirical accuracy.
Deterministic inputs reproduce deterministic results
PassThe Value Under Constraint default reproduced stable SHA-256 1a6c085fcea51327d42ed2d6037eaacd967fc33057f54035d20d42eea8b51ff6; repeated Export Flexibility Dividend calculations with a fixed source receipt and generatedAt value were identical.
Method: Ran each fixed-input calculation twice, canonicalized object keys, excluded only the declared volatile generatedAt timestamp and compared SHA-256 hashes and deep results.
Evidence: Reusable deterministic hash check (2026-08-02); Model validation tests (2026-08-02)
Boundary: The result is deterministic only while inputs, calculation methods, public schema and source editions remain fixed; generatedAt is presentation metadata and is excluded from the canonical hash.
Generation is fully accounted for
PassThree retained lifetime golden cases and 90 year-model combinations passed. The local no-storage default had annual balance residual 5.820766091346741e-11 kWh and maximum hourly residual 0 kWh against a 0.000001 kWh tolerance.
Method: Recomputed every hourly and annual balance as generation minus direct self-consumption, storage charging, export and curtailment. For no-storage cases, also enforced generation = self-consumption + export + curtailment.
Evidence: Invariant implementation (2026-08-02); Golden and matrix execution (2026-08-02)
Boundary: When storage is present, charging is a separate generation destination; collapsing it into direct self-consumption would misstate the engine's published fields.
Fixed export envelopes bind at every interval
PassAll 90 deterministic year cases passed; maximum hourly export above a declared fixed cap was 0 kWh. The unconstrained case was treated as a counterfactual with no cap-compliance claim.
Method: Exercised zero, 1.5 kW, 3 kW, 5 kW and unconstrained envelopes across three tariffs, three load shapes and zero or 10 kWh storage, checking every hourly export value against the selected fixed cap.
Evidence: Export-cap matrix test (2026-08-02); Published export-envelope register (2026-08-02)
Boundary: A modelled fixed cap is not a connection approval and does not represent a connection-specific dynamic operating envelope.
PV shape, load shape and tariff periods remain aligned
PassThe default 8,760 rows summed to 11,822.580000000113 kWh generation and 5,999.999999999818 kWh load; all interval tariff rates matched and rebuilt AUD 962.09726143799 annual value.
Method: Verified 8,760 calendar-hour rows per case, reconciled hourly generation and load sums to annual declarations, resolved each import and export rate from its tariff period, and rebuilt avoided-import, storage and export value from interval flows.
Evidence: Perth solar-shape receipt (2026-08-02); Alignment and tariff invariant tests (2026-08-02)
Boundary: The NASA POWER profile supplies a representative Perth solar shape and the load profiles are synthetic normalized shapes; neither is a measured customer interval trace.
Lifetime values and discounting reconcile
PassAll three 25-year golden cases passed at 0.000001 tolerance. The local default recomputed to AUD 13,439.655099719674 present value, AUD 5,439.655099719674 net present value and discounted payback in year 12.
Method: Recomputed each annual discounted cashflow, cumulative discounted balance, total capital, present value, net present value and first non-negative payback year from the declared settings.
Evidence: Lifetime invariant implementation (2026-08-02); Retained golden cases (2026-08-02)
Boundary: The arithmetic follows the declared model convention: year-one cashflow is discounted once, while tariff escalation, operating cost, finance, tax and storage replacement capital are not modelled.
Export flexibility scenarios preserve expected ordering
PassAll three comparison cases ordered fallback <= published ceiling <= unconstrained for annual value and export, and fallback >= published ceiling >= unconstrained for curtailment. A fourth high-capital case confirmed negative net present value remains valid while negative physical flow fails; local interactive comparison arithmetic reconciled within the 0.02 rounded-output tolerance.
Method: Ran three deterministic household and storage cases on one comparison-basis key and checked that broader export access could not reduce export or annual value, increase curtailment, or create negative comparison deltas.
Evidence: Scenario invariant tests (2026-08-02); Dividend comparison engine (2026-08-02)
Boundary: Monotonicity is a computational property of otherwise identical fixed-envelope scenarios; it does not quantify how often a dynamic envelope will make additional export available.
Measured cohort validation
Not testedNo empirical pass is recorded. Computational verification is complete for the tested editions; measured-to-representative error remains blank until an eligible cohort is inspected.
Method: Inspected the observed-cohort eligibility and publication contracts, but no qualifying measured cohort receipt or public cohort output was available inside this sprint scope for comparison with representative model results.
Evidence: Observed cohort eligibility contract (2026-08-02); Observed cohort schema migration (2026-08-02)
Boundary: Golden cases, NASA-derived representative shapes and deterministic invariants are not measured external validation.