From 82c812c45fbc2bc2751e5a0d02a3631af25c3cba Mon Sep 17 00:00:00 2001 From: Chris R Date: Mon, 19 Oct 2026 18:14:38 +1100 Subject: [PATCH] Audit QQ16 centre provenance and actual outer consumer obstructions Trace all eight already removed centres, pin real bridge/recovery boundaries, and independently price the conditional fallback. No new kappa. --- .../PREDECESSORS.json | 78 + .../PROOF.md | 230 ++ .../README.md | 112 + .../RESULT.json | 3297 +++++++++++++++++ .../REVIEWS.json | 43 + .../SOURCES.json | 84 + .../TASK.json | 144 + .../VERIFICATION.json | 46 + .../VERIFY.json | 46 + .../budget.py | 105 + .../centres.py | 278 ++ .../continuation.py | 143 + .../outer.py | 98 + .../test_verify.py | 94 + .../vendor/pr3952/WORD.json | 1412 +++++++ .../verify.py | 91 + 16 files changed, 6301 insertions(+) create mode 100644 research/qq16-centre-lifetime-boundary-audit/PREDECESSORS.json create mode 100644 research/qq16-centre-lifetime-boundary-audit/PROOF.md create mode 100644 research/qq16-centre-lifetime-boundary-audit/README.md create mode 100644 research/qq16-centre-lifetime-boundary-audit/RESULT.json create mode 100644 research/qq16-centre-lifetime-boundary-audit/REVIEWS.json create mode 100644 research/qq16-centre-lifetime-boundary-audit/SOURCES.json create mode 100644 research/qq16-centre-lifetime-boundary-audit/TASK.json create mode 100644 research/qq16-centre-lifetime-boundary-audit/VERIFICATION.json create mode 100644 research/qq16-centre-lifetime-boundary-audit/VERIFY.json create mode 100644 research/qq16-centre-lifetime-boundary-audit/budget.py create mode 100644 research/qq16-centre-lifetime-boundary-audit/centres.py create mode 100644 research/qq16-centre-lifetime-boundary-audit/continuation.py create mode 100644 research/qq16-centre-lifetime-boundary-audit/outer.py create mode 100644 research/qq16-centre-lifetime-boundary-audit/test_verify.py create mode 100644 research/qq16-centre-lifetime-boundary-audit/vendor/pr3952/WORD.json create mode 100644 research/qq16-centre-lifetime-boundary-audit/verify.py diff --git a/research/qq16-centre-lifetime-boundary-audit/PREDECESSORS.json b/research/qq16-centre-lifetime-boundary-audit/PREDECESSORS.json new file mode 100644 index 000000000..85d529eb5 --- /dev/null +++ b/research/qq16-centre-lifetime-boundary-audit/PREDECESSORS.json @@ -0,0 +1,78 @@ +{ + "schema_version": 1, + "canonical_source_base": "20ecf2891d80b5acf18d980b2164fb44ea7faa90", + "retained_pending_sources": [ + { + "pr": 3952, + "head": "996ff698d3efd0bdce606e240f3b00e6ab91e7fc", + "source_path": "research/qq16-f17-demand-projection/WORD.json", + "local_path": "vendor/pr3952/WORD.json", + "sha256": "f513d235b8206211a4716d013a6dacf34aaebda6839da721b0231981cb8b905e", + "git_blob": "c23da2f205170b11f40299c5ec1dcab45b134861", + "purpose": "Exact owned output/temporary boundary of112-H1 projection. Only data is retained; no pending executable or Git object is needed during replay. Package-local invalidation covers this snapshot." + } + ], + "predecessors": [ + { + "source": "research/joint-query/source_data.py and frozen certificate", + "credit": "Ali Romman / QQ16, centre-encoding campaign and portable clean-J reconstruction; retained lane/source notices", + "role": "Already removed all8H8 per orientation, with paid dirty-state correction. Reimplemented independently, not new retirement." + }, + { + "pr": 2707, + "head": "efa51a6c7ffec6edd556a98deedfe9deeba65809", + "credit": "ywz65", + "role": "Literal full decoder/checkpoint and suffix. Source is a pinned canonical input; no executable imported." + }, + { + "pr": 2681, + "head": "ea96706295631be10d92ae149b63c3e24acaeabc", + "credit": "Arham Tahir", + "role": "Complete logical inverse lineage." + }, + { + "pr": 2512, + "head": "851dd3486a2d0549b51e85978a65ccb4eec619c0", + "credit": "ywz65", + "role": "Actual96-output F17 demand; inherited via3952." + }, + { + "pr": 2346, + "head": "653520d7f18f686ea3a274b4963981f5be563477", + "credit": "alephnan", + "role": "Retained global ordinary bridge/terminal boundary; pinned canonical scope map." + }, + { + "pr": 2470, + "head": "1b2eee3bf1ec67e68c0b0fa7f47c7b2a66febe56", + "credit": "thakrarsagar", + "role": "Retention census and constant-cover counterexample methodology; no executable imported." + }, + { + "pr": 3908, + "head": "0d8880e38ed7c88d70eec6a48e5aa829d0fb22f3", + "credit": "1337isnot1337", + "role": "Scoped full-consumer fixed-profile obstruction." + }, + { + "pr": 3946, + "head": "8dec5c663ace6285aeee49ec3f8eeae9a8bc9a58", + "credit": "Clear1nsight", + "role": "Independent quadrature and historical thresholds. New budget.py imports none of it and uses independent atanh arithmetic." + }, + { + "pr": 3181, + "head": "80fc72d14546088e9fce3c06dc12bc67270da0af", + "credit": "dcharb78", + "role": "Historical retained-H8 profile premise; distinguished from literal QQ16 word." + } + ], + "additional_credit": [ + "ywz65 PR2492/2468 native read lineage", + "starship-s and Ross Richardson decoder/record lineage", + "Douglas Colkitt and Sagar Thakrar supplier/coverage lineage", + "retained gauge44,T16 and source notices" + ], + "license": "New work Apache-2.0. Retained source notices unchanged; snapshot is prior Clear1nsight package data.", + "new_result": "Exact centre source-impact audit, lifetimes and corrected-word reconstruction; actual bridge and recovery readset counterexamples; independent budget-scope clarification." +} diff --git a/research/qq16-centre-lifetime-boundary-audit/PROOF.md b/research/qq16-centre-lifetime-boundary-audit/PROOF.md new file mode 100644 index 000000000..5e4ac9095 --- /dev/null +++ b/research/qq16-centre-lifetime-boundary-audit/PROOF.md @@ -0,0 +1,230 @@ +# Centre provenance and two actual continuation boundaries + +This is a source-impact and interface audit. The centre elimination is existing +QQ16 work, not a new saving. The counterexamples exclude the specified +substitutions; they do not exclude new consumers reading retained current state. +All event indices below are zero-based JSON indices. + +## 1. Which eight rank-eight children actually exist? + +The frozen selected supplier's `slots/local/LOCAL-PROGRAMS.json.gz` has eight +`center` events in each orientation. Forward copies the eight L registers +`[92,57,81,224,11,240,9,256]` into C[0..7], transforms their frames 415..422 to +identity with rank-eight children, and distributes them to L. Backward gathers +L values into C in identity frame, applies the reverse frame change and adds +each result to its corresponding centre L register. + +Each C lifetime is confined to this centre phase. For both orientations the +last C clear is event 12758 and phase B begins at 12759; call exit is 24766. +The complete read/write table, frame bases and every consumer L register are +in RESULT.json. Forward private zeros exit in identity frame. Backward baseline +private zeros exit in frames 415..422; zero content does not make those frame +IDs identical. No nonzero C value survives into an outer call. + +That selected phase is already removed in canonical +`research/joint-query/source_data.py:169` (`corrected_program`). The new prefix +adds 580 dirty-correction ADDs and 16 CLEARs before phase A, and the whole old +centre phase is deleted. Independently regenerating that construction from +the selected scalar prefix gives exactly both frozen 25155-event QQ16 cores. + +| Core quantity | Selected forward | Selected backward | Existing clean QQ16 core | +|---|---:|---:|---:| +| Rank-eight centre children | 8 | 8 | 0 | +| Child rank mass | 5586 | 5586 | 5522 | +| Scalar primitive allowance | 198766 | 198814 | 202138 | +| Scalar allowance inserted | — | — | 5532 | +| Old centre-phase scalar allowance removed | 2160 | 2208 | — | +| Net scalar increase | — | — | 3372 forward /3324 backward | + +The correction is paid already. Its 580 ADDs are not a standalone new saving. +The checker independently verifies all 712 scalar input columns (704 persistent +fields plus 8 arbitrary private inputs), 480 restored helper outputs, zero +private outputs and the full canonical frame ledger. Persistent native events +are literally unchanged. Deleting an H8 alone violates the old frame contract; +deleting one correction ADD corrupts exact data/helper outputs. These are +controls on this construction, not universal lower bounds. + +The actual packet F0 and B1_2 macros each invoke one clean core and respectively +8 and 24 rank-one native lines. Every line recipe is checked to have rank one. +Their profiles are + + F0: {1:2420,2:418,3:432,4:142,5:82}, mass 5530; + B1_2: {1:2436,2:418,3:432,4:142,5:82}, mass 5546. + +Both have zero H8. There is therefore no remaining literal set of eight H8 +centre children to retire from these QQ16 producer calls. PR3952's separate +retained-eight profile was explicitly conditional and historical; its +arithmetic did not establish that those operations occur in the QQ16 word. +The audit closes the proposed second-retirement question at its source premise. + +## 2. A real outer continuation: the ordinary bridge before F2 + +The actual selected replay archive contains +`t16/global/hosted/GLOBAL-TEMPLATE.json.gz`. Its logical recipe starts F0, +B1 on pair 0, bridge(+1,src1,dst0), F2 on pair 0. Its physical replica0 prefix +also includes an idle sweep preparing pair 1 between B1 and the bridge: + +| Physical source_event | Operation | +|---:|---| +|0|local stage 0| +|1|local stage 1| +|2|idle pair 1, level−1 to1| +|3|bridge src1 to dst0, coefficient+1| +|4|local stage 2| + +The source bridge semantics are pinned in +`docs/research/qq16-controller-scope-map.md`: on ordinary U ports, + + X_dst += c X_src; Y_src -= c Y_dst. (1) + +These are real source instructions and typed demands. The template's selected +provider is still gauge44; this audit does not claim the altered QQ16 locals +have been admitted as a whole replacement supplier. We test this existing +bridge as a proposed continuation of the new QQ16 local endpoint. The inserted +idle sweep cannot be omitted from physical accounting; in the counterexample +it acts on zero fields, which it preserves. + +PR3952 gives *earlier* y1_U in owned F17 outputs. The bridge reads *current* +post-B1 Y2_U (and other current X/Y fields), with the source endpoint gauges. +These values differ even if all frame conversions are granted free. + +Use the actual raw 8-by-112 R and K=R^T/4. For a chosen channel j put a=4e_j. +Define original pair 0 inputs, constant in BOTH owner and payload, by + + x0_U=K_U a, x0_A=−11P_A a, x0_T=0; + y0_U=0, y0_A= 11P_A a, y0_T=P_T a. + +All amplitudes are integers of absolute value at most 11. The real Gram +identities on U,A,T are respectively48I,4I,4I. Applying the conserved F0 +formula gives x1=P_T a,y1=0. Applying B1 gives + + Y2_U=K_U a, Y2_A=0, Y2_T=−11P_T a, + X2_U=0, X2_A=0, X2_T=12P_T a, + Q_1(Y2)=a. + +Consequently the projected output `Y2_U−K_U Q_1(Y2)` is 96 zeros, exactly as +for the all-zero original execution. All other pairs are held zero. But (1) +produces `Y_pair 1,U=−K_U a`, with48 nonzero integer coordinates for each j. +The identity R_U R_U^T=48I proves eight independent separating directions. + +This is a genuine observation collision: no deterministic consumer of the +96 projected outputs alone, with other-pair state fixed, can implement that +bridge output on both cases. The counterexamples are valid for actual routes +and native gauges: constant-owner fields are fixed by owner permutations, +constant-payload fields are fixed by translations and normalized C_q lines, +and tensor products preserve this constant sector. A nonzero witness on an +invariant sector disproves an arbitrary-array equality. + +This does NOT say the bridge is impossible. PR3952 leaves current borrowed X/Y +intact. Reading those fields still implements the original demand; the +projection is then an added observer and does not replace the live state or +justify a retirement credit. A changed composition must specify the additional +query/access and physical invoice. The eight missing logical directions are +not a theorem requiring eight new full-cover families. + +## 3. A genuine consumer of y1_U: the retained F0-inverse suffix + +PR2707's literal word has checkpoint2740, with Z=x1 and W=y1 in F17. Its +continuation begins at2741: + + W0 += Z0. + +A complete read-before-first-write audit finds all 112 Z and112 W fields are +required at suffix entry. PR3952 provides W_U (96 fields); its 16 selected W temporaries +are zero in identity frame and it provides no Z bank. Thus 128 required boundary +values are absent. The first event fails its declared owned/frame input contract. +The required private sweep also has16 fields rather than the projection's 8. + +A stronger information witness keeps the entire current Y bank identically +zero and changes current X only at port 0 from 0 to 1. PR3952 returns the same 96 +zero outputs in both cases, but required checkpoint Z0 and the recovered +original inputs differ. The checker verifies F0 inversion and F0/B1 forward +composition for this pair, plus all 128 omitted checkpoint basis directions. +These are constant-owner and constant-payload counterexamples; the separate +universal identity/F17 frame mismatch is not inferred from constant values. + +The suffix's complete local invoice, *assuming its 224 inputs already exist*, +is 584 unit ADDs, 448 quarter ADDs and 48 CLEARs, scalar allowance 10144, no native +children or maps, and 16 private arrays. Adding 10144 to the projected allowance +9376 would omit the cost of producing the missing boundary and is not a complete +construction. Missing checkpoint values do not imply128 new physical families: +a redesigned consumer could read existing borrowed inputs or use an encoding. + +One fully specified fallback is the retained full PR2707 decoder: + + 336 H1; 672 wrappers; 464 cover maps; + 1808 unit ADDs; 896 quarter ADDs; 312 CLEARs; + scalar allowance 25840;224 owned outputs; peak private 16. + +This supplies the full required boundary by its original prefix. It is a +source-priced fallback, not a lower bound on every possible completion. + +## 4. Budget applicability: fixed mass is not a retirement schedule + +The independent budget checker imports no predecessor arithmetic. It binds +the reported source model m=73, W=896/9, centre=64,selected exponent +`a=836330098538459/499163669901461541`, and average actual F0/B1 profile +`{1:2428,2:418,3:432,4:142,5:82}`. Under the predecessor's *conditional* one +consumer per two calls and fixed mass T=72W+64=7232, every idle rank is at most 51. +Price per rank-mass unit decreases with rank, so fractional rank51 idle work +is a favorable relaxation. Its moment is + + G=[sum_r n_r(r/73)^(1−a)+(T−sum_r r n_r)/51*(51/73)^(1−a)]/W. + +Exact independent rational enclosures are: + +| Conditional consumer / retained H8 across pair | G | +|---|---| +|112 H1 /0 H8|[0.999995759878777677,0.999995759878777678]| +|112 H1 /2 H8|[0.999999183632341047,0.999999183632341048]| +|112 H1 /3 H8|[1.000000895509122732,1.000000895509122733]| +|112 H1 /16 H8|[1.000023149907284635,1.000023149907284636]| +|Full 336 H1 fallback /0 H8|[1.000097677880011248,1.000097677880011249]| + +The two/three threshold and older 61/62 and 121/122 brackets are correct within +that fixed model. The full retained consumer still fails even with H8 absent; +unknown physical costs cannot rescue that fixed-profile screen. This says +nothing universal about a cheaper different completion or changed coverage. + +The phrase "retire fourteen of sixteen" describes fixed-T reallocation of H8 +mass into ideal idle work. It is not an actual task to remove fourteen still +existing QQ16 children: none exist. Literal deletion also changes total mass; +changing the family count or unpaid-coordinate allowance requires a new +coverage argument. The selected W and centre 64 identity are checked on its +896-family/nine-call/144-invocation assembly, not proved for a changed controller. +Similarly, one consumer per pair does not supply a physical 9-call invocation +schedule (4.5 demand invocations cannot simply be assumed). + +For the independent arithmetic, reduce logarithm arguments into [1,2], use +40 positive atanh terms with tail at most `2z^81/[81(1−z²)]`, then a positive +degree 14 exponential sum and geometric tail. Decimal endpoints round outward; +all decisions compare exact Fractions. Deliberately labelled family-count, +incidence and literal-deletion sensitivities in RESULT are hypothetical tests, +not proposed admitted constructions. + +## 5. Decision and next bounded question + +The proposed centre-lifetime saving has no remaining literal target. A real +outer bridge and a real recovery suffix have been pinned, and both require +information outside the projected 96-output interface. Retaining current state +avoids those information obstructions but supplies no source-retirement saving. +The original full recovery fallback is priced and fails the fixed pair screen. +No fully costed new retirement schedule follows. + +The next useful task is to bind a cheaper composition at one of these exact +boundaries. For full recovery, choose a paid encoding or reconstruction of the +128 missing x1/selected-y1 values from retained current X/Y and show actual +eliminated work, legal frames, lifetimes and cleanup. For the ordinary bridge, +state which current-bank reads can truly disappear and how the old T query is +made available; simply decoding y1 and reconstituting current Y repays the +projection. Establish productive-family and invocation counts before applying +the numerical screen. Stop on an unspecified read/return boundary or failed +complete allowance; do not pursue another centre-deletion or precision loop. + +Credit for the existing centre removal, clean-J correction, global recipes, +QQ16 algebra, decoder, native and coverage proofs stays with the retained source +lineage. This audit adds exact provenance/lifetimes, independently reconstructed +source impact, actual continuation counterexamples and budget-scope clarification. +Separate AI-agent checks and reviews are recorded in REVIEWS.json; no independent +human or formal-kernel review, huge native payload execution or selected cold +replay is claimed. diff --git a/research/qq16-centre-lifetime-boundary-audit/README.md b/research/qq16-centre-lifetime-boundary-audit/README.md new file mode 100644 index 000000000..a5b270b6e --- /dev/null +++ b/research/qq16-centre-lifetime-boundary-audit/README.md @@ -0,0 +1,112 @@ +# The centre copies are already removed: an outer-boundary audit + +**Scoped source-impact result and counterexamples; no new supplier or kappa.** + +The actual QQ16 F0/B1 core contains **zero rank-eight centre children**. +Canonical `joint-query/source_data.py` already deletes the selected supplier's +centre phase and inserts a paid dirty-state correction. Independently tracing +all eight original C lifetimes and regenerating both corrected words confirms +there is no second retirement credit to claim. The old centre buffers are +cleared before local call exit; their effects have already been applied to L. + +The existing removal costs 580 ADDs plus 16 CLEARs per core. After subtracting +the removed scalar phase, the net scalar increase is 3,372 forward / 3,324 +backward; the complete corrected core scalar allowance is 202,138 and native +rank mass is 5,522. Actual QQ16 F0 and B1_2 add 8 and 24 H1 lines respectively, +with no H8. The construction and credit are inherited, not new here. + +Two actual continuation boundaries show why PR3952's useful **96-output F17 +projection** does not yet supply a complete caller: + +| Pinned continuation | Required information beyond the projected outputs | Exact evidence | +|---|---|---| +| The real ordinary bridge before F2, including the preceding idle sweep | Current post-B1 Y values, rather than earlier y1_U alone | Eight independent integer, constant-owner and constant-payload collisions: projected outputs are 96 zeros, but the bridge output differs | +| PR2707's full F0-inverse suffix after checkpoint 2740 | All 112 x1 and all 112 y1 fields in F17; 128 are absent from the projection | First event 2741 is W0+=Z0; Z0 is absent, selected W0 is cleared. A same-current-Y collision and all 128 missing basis directions are checked | + +Current borrowed X/Y remain available. A new consumer may read them; these are +obstructions to the named **projection-only** substitutions, not universal +information or storage lower bounds. The selected global template still names +its original provider; a complete QQ16 substitution is not admitted here. + +The full suffix costs scalar allowance 10,144, assuming its required boundary +already exists. Adding that to the projection would omit reconstruction of +its missing inputs. The retained complete decoder fallback costs **336 H1, +672 wrappers, 464 maps and scalar allowance 25,840**. Under the same conditional +fixed-coverage pair screen, even with all H8 absent, its moment is strictly +above one: **[1.000097677880011248, 1.000097677880011249]**. + +The old two/three H8 threshold is independently reproduced, but it describes +fixed-total-mass reallocation into ideal idle work. It is not an actual task +to remove fourteen surviving QQ16 children: those children are already absent. +Family stock, invocation counts and coverage must be proved for any new global +composition. [PROOF.md](PROOF.md) gives the complete argument and limits. + +## Reproduce + +CPython 3.12, standard library; from repository root: + +```sh +python3 -I -Werror -B research/qq16-centre-lifetime-boundary-audit/verify.py +python3 -I -O -Werror -B research/qq16-centre-lifetime-boundary-audit/test_verify.py +python3 -B scripts/research_package.py --package research/qq16-centre-lifetime-boundary-audit +``` + +Default replay is read-only and compares the complete RESULT.json. Expected +marker: `PASS_QQ16_CENTRE_LIFETIME_BOUNDARY_AUDIT no_new_kappa`. The checkers +import no predecessor executable. Evidence covers literal centre lifetimes, +exact corrected-word equality, 712 scalar columns, helper/private cleanup and +canonical frames, actual outer collisions, complete suffix/input census, +local invoices and independent rational intervals. Seven export/integrity +test groups include read-only Git-free replay, source and retained-word +corruption, and complete typed-receipt rejection. Actual commands, environments, +source/byte publication checks and unrun obligations are in VERIFICATION.json. + +The one retained PR3952 WORD snapshot is needed for the exact partial-output +boundary. Its source head, Git blob and SHA256 are in PREDECESSORS.json and +checked without unmerged Git objects at replay. All canonical external inputs +are pinned in SOURCES.json and declared for invalidation in VERIFY.json. + +## Workflow and review + +Explicit assigned continuation of [PR3952](https://github.com/CrocSwap/integer-mult-bounds/pull/3952), +head `996ff698d3efd0bdce606e240f3b00e6ab91e7fc`. Canonical main +`20ecf2891d80b5acf18d980b2164fb44ea7faa90`, priority revision 6, was refreshed +before work; checkpoint details and the original task card are in TASK.json. +The user requested three separate agents: they independently audited centre +provenance, the recovery continuation and budget applicability, then cross-reviewed +one another. A separate agent also reviewed the primary outer-bridge witness. +REVIEWS.json records checked files, scope and limitations. No independent human +or proof-assistant review is claimed. Only this scoped package is added; +frozen predecessors and selected science are unchanged. + +The [canonical claim/update](https://github.com/CrocSwap/integer-mult-bounds/pull/3952#issuecomment-6261523096) +records the investigation. Live targeted PR search and the repository overlap +helper checked adjacent work; missing gh prevents complete remote snapshots. +This is bounded coverage, not a novelty guarantee. The existing source theorem +is credited; the new contribution is its exact source impact on this proposed +retirement, plus the pinned continuation counterexamples and budget boundary. + +## Open next questions + +A useful next experiment is a **cheaper complete composition at one pinned +boundary**. For recovery, choose a paid encoding or reconstruction of the 128 +missing checkpoint values from retained current X/Y, then show genuine removed +work and every frame/lifetime/cleanup charge. For the real bridge, identify which +current-bank reads can disappear and how its old T query is made available. +Simply decoding y1 and reconstructing the same current Y is not a saving. +Establish family stock and consumer invocation counts before using the numerical +screen. Stop on missing access/return obligations or a failing complete bill. +TASK.json supplies first steps and blockers. No further centre-deletion or +isolated precision campaign is justified by this audit. + +## Credit + +Chris R / Clear1nsight with substantial OpenAI assistance and three user-requested +AI agents. New work is Apache-2.0. Credit Ali Romman's QQ16/source lineage, +the centre-encoding/cover-algebra/residual-syndrome/native/interface lanes and +retained gauge44/T16 supplier notices for the existing clean-core replacement; +ywz65's PR2512/2707 and native reconstruction; Arham Tahir's PR2681 inverse; +alephnan/PR2346 and thakrarsagar/PR2470 for the global-boundary/census lineage; +1337isnot1337/PR3908, dcharb78/PR3181, PR3946/3952, Douglas Colkitt, Sagar Thakrar +and the coverage-ceiling contributors. Exact pins and reuse in PREDECESSORS.json. +No predecessor frozen source or notice is modified. diff --git a/research/qq16-centre-lifetime-boundary-audit/RESULT.json b/research/qq16-centre-lifetime-boundary-audit/RESULT.json new file mode 100644 index 000000000..014cfedc4 --- /dev/null +++ b/research/qq16-centre-lifetime-boundary-audit/RESULT.json @@ -0,0 +1,3297 @@ +{ + "actual_outer_boundary": { + "independent_missing_query_directions": 8, + "integer_constant_witnesses": [ + { + "bridge_Y_pair1_U": { + "10": "-1", + "100": "-1", + "101": "-1", + "102": "-1", + "103": "-1", + "107": "-1", + "108": "-1", + "109": "-1", + "11": "-1", + "12": "-1", + "17": "-1", + "18": "-1", + "19": "-1", + "2": "-1", + "22": "-1", + "23": "-1", + "24": "-1", + "25": "-1", + "31": "-1", + "32": "-1", + "33": "-1", + "34": "-1", + "35": "-1", + "38": "-1", + "39": "-1", + "40": "-1", + "45": "-1", + "48": "-1", + "49": "-1", + "50": "-1", + "54": "-1", + "55": "-1", + "56": "-1", + "61": "-1", + "62": "-1", + "63": "-1", + "70": "-1", + "71": "-1", + "72": "-1", + "77": "-1", + "79": "-1", + "85": "-1", + "89": "-1", + "9": "-1", + "90": "-1", + "91": "-1", + "94": "-1", + "98": "-1" + }, + "channel": 0, + "maximum_original_absolute_value": "11", + "original_X0": { + "0": "-11", + "10": "1", + "100": "1", + "101": "1", + "102": "1", + "103": "1", + "107": "1", + "108": "1", + "109": "1", + "11": "1", + "12": "1", + "17": "1", + "18": "1", + "19": "1", + "2": "1", + "22": "1", + "23": "1", + "24": "1", + "25": "1", + "27": "-11", + "31": "1", + "32": "1", + "33": "1", + "34": "1", + "35": "1", + "38": "1", + "39": "1", + "40": "1", + "45": "1", + "48": "1", + "49": "1", + "50": "1", + "54": "1", + "55": "1", + "56": "1", + "57": "-11", + "61": "1", + "62": "1", + "63": "1", + "7": "-11", + "70": "1", + "71": "1", + "72": "1", + "77": "1", + "79": "1", + "85": "1", + "89": "1", + "9": "1", + "90": "1", + "91": "1", + "94": "1", + "98": "1" + }, + "original_Y0": { + "0": "11", + "27": "11", + "57": "11", + "7": "11", + "76": "1", + "81": "1", + "87": "1", + "92": "1" + }, + "postB1_X2": { + "76": "12", + "81": "12", + "87": "12", + "92": "12" + }, + "postB1_Y2": { + "10": "1", + "100": "1", + "101": "1", + "102": "1", + "103": "1", + "107": "1", + "108": "1", + "109": "1", + "11": "1", + "12": "1", + "17": "1", + "18": "1", + "19": "1", + "2": "1", + "22": "1", + "23": "1", + "24": "1", + "25": "1", + "31": "1", + "32": "1", + "33": "1", + "34": "1", + "35": "1", + "38": "1", + "39": "1", + "40": "1", + "45": "1", + "48": "1", + "49": "1", + "50": "1", + "54": "1", + "55": "1", + "56": "1", + "61": "1", + "62": "1", + "63": "1", + "70": "1", + "71": "1", + "72": "1", + "76": "-11", + "77": "1", + "79": "1", + "81": "-11", + "85": "1", + "87": "-11", + "89": "1", + "9": "1", + "90": "1", + "91": "1", + "92": "-11", + "94": "1", + "98": "1" + }, + "projected_y1_U": "96 zeros" + }, + { + "bridge_Y_pair1_U": { + "1": "-1", + "10": "1", + "11": "1", + "2": "-1", + "25": "-1", + "26": "-1", + "28": "-1", + "29": "-1", + "3": "-1", + "30": "-1", + "4": "-1", + "5": "-1", + "58": "-1", + "59": "-1", + "6": "-1", + "60": "-1", + "61": "1", + "62": "1", + "63": "1", + "64": "-1", + "65": "-1", + "66": "-1", + "67": "-1", + "68": "-1", + "69": "-1", + "70": "-1", + "71": "-1", + "72": "-1", + "73": "-1", + "74": "-1", + "75": "-1", + "79": "1", + "8": "-1", + "80": "-1", + "82": "-1", + "83": "-1", + "84": "-1", + "86": "-1", + "88": "-1", + "89": "-1", + "9": "1", + "90": "-1", + "91": "-1", + "93": "-1", + "94": "1", + "95": "-1", + "96": "-1", + "97": "-1" + }, + "channel": 1, + "maximum_original_absolute_value": "11", + "original_X0": { + "0": "-11", + "1": "1", + "10": "-1", + "11": "-1", + "2": "1", + "25": "1", + "26": "1", + "27": "-11", + "28": "1", + "29": "1", + "3": "1", + "30": "1", + "4": "1", + "5": "1", + "57": "11", + "58": "1", + "59": "1", + "6": "1", + "60": "1", + "61": "-1", + "62": "-1", + "63": "-1", + "64": "1", + "65": "1", + "66": "1", + "67": "1", + "68": "1", + "69": "1", + "7": "11", + "70": "1", + "71": "1", + "72": "1", + "73": "1", + "74": "1", + "75": "1", + "79": "-1", + "8": "1", + "80": "1", + "82": "1", + "83": "1", + "84": "1", + "86": "1", + "88": "1", + "89": "1", + "9": "-1", + "90": "1", + "91": "1", + "93": "1", + "94": "-1", + "95": "1", + "96": "1", + "97": "1" + }, + "original_Y0": { + "0": "11", + "27": "11", + "57": "-11", + "7": "-11", + "76": "1", + "81": "-1", + "87": "1", + "92": "-1" + }, + "postB1_X2": { + "76": "12", + "81": "-12", + "87": "12", + "92": "-12" + }, + "postB1_Y2": { + "1": "1", + "10": "-1", + "11": "-1", + "2": "1", + "25": "1", + "26": "1", + "28": "1", + "29": "1", + "3": "1", + "30": "1", + "4": "1", + "5": "1", + "58": "1", + "59": "1", + "6": "1", + "60": "1", + "61": "-1", + "62": "-1", + "63": "-1", + "64": "1", + "65": "1", + "66": "1", + "67": "1", + "68": "1", + "69": "1", + "70": "1", + "71": "1", + "72": "1", + "73": "1", + "74": "1", + "75": "1", + "76": "-11", + "79": "-1", + "8": "1", + "80": "1", + "81": "11", + "82": "1", + "83": "1", + "84": "1", + "86": "1", + "87": "-11", + "88": "1", + "89": "1", + "9": "-1", + "90": "1", + "91": "1", + "92": "11", + "93": "1", + "94": "-1", + "95": "1", + "96": "1", + "97": "1" + }, + "projected_y1_U": "96 zeros" + }, + { + "bridge_Y_pair1_U": { + "1": "-1", + "100": "-1", + "101": "-1", + "102": "-1", + "103": "1", + "104": "-1", + "105": "-1", + "106": "-1", + "12": "-1", + "13": "-1", + "14": "-1", + "15": "-1", + "16": "-1", + "17": "1", + "18": "1", + "19": "1", + "28": "1", + "29": "1", + "30": "1", + "31": "-1", + "38": "1", + "39": "1", + "40": "1", + "41": "-1", + "42": "-1", + "43": "-1", + "44": "-1", + "51": "-1", + "52": "-1", + "53": "-1", + "54": "-1", + "55": "-1", + "56": "-1", + "58": "1", + "59": "1", + "6": "-1", + "60": "1", + "73": "-1", + "74": "-1", + "75": "-1", + "77": "1", + "78": "-1", + "82": "-1", + "83": "-1", + "84": "-1", + "86": "1", + "93": "1", + "99": "-1" + }, + "channel": 2, + "maximum_original_absolute_value": "11", + "original_X0": { + "0": "-11", + "1": "1", + "100": "1", + "101": "1", + "102": "1", + "103": "-1", + "104": "1", + "105": "1", + "106": "1", + "12": "1", + "13": "1", + "14": "1", + "15": "1", + "16": "1", + "17": "-1", + "18": "-1", + "19": "-1", + "27": "11", + "28": "-1", + "29": "-1", + "30": "-1", + "31": "1", + "38": "-1", + "39": "-1", + "40": "-1", + "41": "1", + "42": "1", + "43": "1", + "44": "1", + "51": "1", + "52": "1", + "53": "1", + "54": "1", + "55": "1", + "56": "1", + "57": "-11", + "58": "-1", + "59": "-1", + "6": "1", + "60": "-1", + "7": "11", + "73": "1", + "74": "1", + "75": "1", + "77": "-1", + "78": "1", + "82": "1", + "83": "1", + "84": "1", + "86": "-1", + "93": "-1", + "99": "1" + }, + "original_Y0": { + "0": "11", + "27": "-11", + "57": "11", + "7": "-11", + "76": "1", + "81": "-1", + "87": "-1", + "92": "1" + }, + "postB1_X2": { + "76": "12", + "81": "-12", + "87": "-12", + "92": "12" + }, + "postB1_Y2": { + "1": "1", + "100": "1", + "101": "1", + "102": "1", + "103": "-1", + "104": "1", + "105": "1", + "106": "1", + "12": "1", + "13": "1", + "14": "1", + "15": "1", + "16": "1", + "17": "-1", + "18": "-1", + "19": "-1", + "28": "-1", + "29": "-1", + "30": "-1", + "31": "1", + "38": "-1", + "39": "-1", + "40": "-1", + "41": "1", + "42": "1", + "43": "1", + "44": "1", + "51": "1", + "52": "1", + "53": "1", + "54": "1", + "55": "1", + "56": "1", + "58": "-1", + "59": "-1", + "6": "1", + "60": "-1", + "73": "1", + "74": "1", + "75": "1", + "76": "-11", + "77": "-1", + "78": "1", + "81": "11", + "82": "1", + "83": "1", + "84": "1", + "86": "-1", + "87": "11", + "92": "-11", + "93": "-1", + "99": "1" + }, + "projected_y1_U": "96 zeros" + }, + { + "bridge_Y_pair1_U": { + "104": "1", + "105": "1", + "106": "1", + "107": "1", + "108": "1", + "109": "1", + "13": "-1", + "14": "-1", + "15": "-1", + "16": "1", + "22": "1", + "23": "1", + "24": "1", + "26": "1", + "3": "-1", + "32": "-1", + "33": "-1", + "34": "-1", + "35": "1", + "4": "-1", + "41": "1", + "42": "1", + "43": "1", + "44": "1", + "45": "1", + "48": "-1", + "49": "-1", + "5": "-1", + "50": "-1", + "51": "-1", + "52": "-1", + "53": "-1", + "64": "1", + "65": "1", + "66": "1", + "67": "-1", + "68": "-1", + "69": "-1", + "78": "-1", + "8": "1", + "80": "-1", + "85": "-1", + "88": "-1", + "95": "1", + "96": "1", + "97": "1", + "98": "-1", + "99": "-1" + }, + "channel": 3, + "maximum_original_absolute_value": "11", + "original_X0": { + "0": "-11", + "104": "-1", + "105": "-1", + "106": "-1", + "107": "-1", + "108": "-1", + "109": "-1", + "13": "1", + "14": "1", + "15": "1", + "16": "-1", + "22": "-1", + "23": "-1", + "24": "-1", + "26": "-1", + "27": "11", + "3": "1", + "32": "1", + "33": "1", + "34": "1", + "35": "-1", + "4": "1", + "41": "-1", + "42": "-1", + "43": "-1", + "44": "-1", + "45": "-1", + "48": "1", + "49": "1", + "5": "1", + "50": "1", + "51": "1", + "52": "1", + "53": "1", + "57": "11", + "64": "-1", + "65": "-1", + "66": "-1", + "67": "1", + "68": "1", + "69": "1", + "7": "-11", + "78": "1", + "8": "-1", + "80": "1", + "85": "1", + "88": "1", + "95": "-1", + "96": "-1", + "97": "-1", + "98": "1", + "99": "1" + }, + "original_Y0": { + "0": "11", + "27": "-11", + "57": "-11", + "7": "11", + "76": "-1", + "81": "-1", + "87": "1", + "92": "1" + }, + "postB1_X2": { + "76": "-12", + "81": "-12", + "87": "12", + "92": "12" + }, + "postB1_Y2": { + "104": "-1", + "105": "-1", + "106": "-1", + "107": "-1", + "108": "-1", + "109": "-1", + "13": "1", + "14": "1", + "15": "1", + "16": "-1", + "22": "-1", + "23": "-1", + "24": "-1", + "26": "-1", + "3": "1", + "32": "1", + "33": "1", + "34": "1", + "35": "-1", + "4": "1", + "41": "-1", + "42": "-1", + "43": "-1", + "44": "-1", + "45": "-1", + "48": "1", + "49": "1", + "5": "1", + "50": "1", + "51": "1", + "52": "1", + "53": "1", + "64": "-1", + "65": "-1", + "66": "-1", + "67": "1", + "68": "1", + "69": "1", + "76": "11", + "78": "1", + "8": "-1", + "80": "1", + "81": "11", + "85": "1", + "87": "-11", + "88": "1", + "92": "-11", + "95": "-1", + "96": "-1", + "97": "-1", + "98": "1", + "99": "1" + }, + "projected_y1_U": "96 zeros" + }, + { + "bridge_Y_pair1_U": { + "1": "1", + "10": "1", + "100": "-1", + "103": "-1", + "105": "1", + "106": "1", + "107": "-1", + "11": "1", + "12": "-1", + "14": "-1", + "15": "-1", + "17": "-1", + "24": "1", + "26": "1", + "28": "1", + "3": "1", + "31": "1", + "32": "1", + "35": "1", + "38": "1", + "41": "-1", + "42": "-1", + "45": "-1", + "48": "-1", + "52": "1", + "53": "1", + "56": "1", + "58": "-1", + "6": "-1", + "62": "-1", + "63": "-1", + "66": "1", + "67": "-1", + "70": "-1", + "71": "-1", + "75": "1", + "77": "1", + "8": "-1", + "80": "-1", + "82": "-1", + "85": "1", + "86": "1", + "88": "1", + "90": "1", + "91": "1", + "93": "-1", + "95": "-1", + "98": "-1" + }, + "channel": 4, + "maximum_original_absolute_value": "11", + "original_X0": { + "1": "-1", + "10": "-1", + "100": "1", + "103": "1", + "105": "-1", + "106": "-1", + "107": "1", + "11": "-1", + "111": "-11", + "12": "1", + "14": "1", + "15": "1", + "17": "1", + "20": "-11", + "24": "-1", + "26": "-1", + "28": "-1", + "3": "-1", + "31": "-1", + "32": "-1", + "35": "-1", + "36": "-11", + "38": "-1", + "41": "1", + "42": "1", + "45": "1", + "46": "-11", + "48": "1", + "52": "-1", + "53": "-1", + "56": "-1", + "58": "1", + "6": "1", + "62": "1", + "63": "1", + "66": "-1", + "67": "1", + "70": "1", + "71": "1", + "75": "-1", + "77": "-1", + "8": "1", + "80": "1", + "82": "1", + "85": "-1", + "86": "-1", + "88": "-1", + "90": "-1", + "91": "-1", + "93": "1", + "95": "1", + "98": "1" + }, + "original_Y0": { + "110": "1", + "111": "11", + "20": "11", + "21": "1", + "36": "11", + "37": "1", + "46": "11", + "47": "1" + }, + "postB1_X2": { + "110": "12", + "21": "12", + "37": "12", + "47": "12" + }, + "postB1_Y2": { + "1": "-1", + "10": "-1", + "100": "1", + "103": "1", + "105": "-1", + "106": "-1", + "107": "1", + "11": "-1", + "110": "-11", + "12": "1", + "14": "1", + "15": "1", + "17": "1", + "21": "-11", + "24": "-1", + "26": "-1", + "28": "-1", + "3": "-1", + "31": "-1", + "32": "-1", + "35": "-1", + "37": "-11", + "38": "-1", + "41": "1", + "42": "1", + "45": "1", + "47": "-11", + "48": "1", + "52": "-1", + "53": "-1", + "56": "-1", + "58": "1", + "6": "1", + "62": "1", + "63": "1", + "66": "-1", + "67": "1", + "70": "1", + "71": "1", + "75": "-1", + "77": "-1", + "8": "1", + "80": "1", + "82": "1", + "85": "-1", + "86": "-1", + "88": "-1", + "90": "-1", + "91": "-1", + "93": "1", + "95": "1", + "98": "1" + }, + "projected_y1_U": "96 zeros" + }, + { + "bridge_Y_pair1_U": { + "10": "-1", + "101": "-1", + "102": "1", + "105": "-1", + "106": "1", + "108": "-1", + "109": "1", + "11": "1", + "14": "1", + "15": "-1", + "18": "-1", + "19": "1", + "22": "-1", + "23": "1", + "29": "1", + "30": "-1", + "33": "1", + "34": "-1", + "39": "1", + "4": "1", + "40": "-1", + "41": "-1", + "42": "1", + "49": "-1", + "5": "-1", + "50": "1", + "52": "-1", + "53": "1", + "54": "-1", + "55": "1", + "59": "-1", + "60": "1", + "62": "1", + "63": "-1", + "64": "-1", + "65": "1", + "68": "-1", + "69": "1", + "70": "-1", + "71": "1", + "73": "-1", + "74": "1", + "83": "-1", + "84": "1", + "90": "-1", + "91": "1", + "96": "-1", + "97": "1" + }, + "channel": 5, + "maximum_original_absolute_value": "11", + "original_X0": { + "10": "1", + "101": "1", + "102": "-1", + "105": "1", + "106": "-1", + "108": "1", + "109": "-1", + "11": "-1", + "111": "-11", + "14": "-1", + "15": "1", + "18": "1", + "19": "-1", + "20": "11", + "22": "1", + "23": "-1", + "29": "-1", + "30": "1", + "33": "-1", + "34": "1", + "36": "-11", + "39": "-1", + "4": "-1", + "40": "1", + "41": "1", + "42": "-1", + "46": "11", + "49": "1", + "5": "1", + "50": "-1", + "52": "1", + "53": "-1", + "54": "1", + "55": "-1", + "59": "1", + "60": "-1", + "62": "-1", + "63": "1", + "64": "1", + "65": "-1", + "68": "1", + "69": "-1", + "70": "1", + "71": "-1", + "73": "1", + "74": "-1", + "83": "1", + "84": "-1", + "90": "1", + "91": "-1", + "96": "1", + "97": "-1" + }, + "original_Y0": { + "110": "-1", + "111": "11", + "20": "-11", + "21": "1", + "36": "11", + "37": "-1", + "46": "-11", + "47": "1" + }, + "postB1_X2": { + "110": "-12", + "21": "12", + "37": "-12", + "47": "12" + }, + "postB1_Y2": { + "10": "1", + "101": "1", + "102": "-1", + "105": "1", + "106": "-1", + "108": "1", + "109": "-1", + "11": "-1", + "110": "11", + "14": "-1", + "15": "1", + "18": "1", + "19": "-1", + "21": "-11", + "22": "1", + "23": "-1", + "29": "-1", + "30": "1", + "33": "-1", + "34": "1", + "37": "11", + "39": "-1", + "4": "-1", + "40": "1", + "41": "1", + "42": "-1", + "47": "-11", + "49": "1", + "5": "1", + "50": "-1", + "52": "1", + "53": "-1", + "54": "1", + "55": "-1", + "59": "1", + "60": "-1", + "62": "-1", + "63": "1", + "64": "1", + "65": "-1", + "68": "1", + "69": "-1", + "70": "1", + "71": "-1", + "73": "1", + "74": "-1", + "83": "1", + "84": "-1", + "90": "1", + "91": "-1", + "96": "1", + "97": "-1" + }, + "projected_y1_U": "96 zeros" + }, + { + "bridge_Y_pair1_U": { + "100": "1", + "103": "-1", + "104": "1", + "108": "-1", + "109": "-1", + "12": "-1", + "13": "-1", + "16": "-1", + "17": "1", + "2": "-1", + "22": "1", + "23": "1", + "25": "1", + "26": "1", + "29": "1", + "3": "-1", + "30": "1", + "31": "1", + "33": "1", + "34": "1", + "38": "-1", + "43": "-1", + "44": "1", + "49": "-1", + "50": "-1", + "51": "1", + "56": "-1", + "59": "-1", + "60": "-1", + "61": "-1", + "66": "-1", + "67": "1", + "72": "-1", + "73": "1", + "74": "1", + "77": "1", + "78": "-1", + "79": "1", + "8": "-1", + "80": "-1", + "83": "-1", + "84": "-1", + "88": "1", + "89": "1", + "9": "1", + "94": "-1", + "95": "1", + "99": "1" + }, + "channel": 6, + "maximum_original_absolute_value": "11", + "original_X0": { + "100": "-1", + "103": "1", + "104": "-1", + "108": "1", + "109": "1", + "111": "11", + "12": "1", + "13": "1", + "16": "1", + "17": "-1", + "2": "1", + "20": "-11", + "22": "-1", + "23": "-1", + "25": "-1", + "26": "-1", + "29": "-1", + "3": "1", + "30": "-1", + "31": "-1", + "33": "-1", + "34": "-1", + "36": "-11", + "38": "1", + "43": "1", + "44": "-1", + "46": "11", + "49": "1", + "50": "1", + "51": "-1", + "56": "1", + "59": "1", + "60": "1", + "61": "1", + "66": "1", + "67": "-1", + "72": "1", + "73": "-1", + "74": "-1", + "77": "-1", + "78": "1", + "79": "-1", + "8": "1", + "80": "1", + "83": "1", + "84": "1", + "88": "-1", + "89": "-1", + "9": "-1", + "94": "1", + "95": "-1", + "99": "-1" + }, + "original_Y0": { + "110": "-1", + "111": "-11", + "20": "11", + "21": "1", + "36": "11", + "37": "1", + "46": "-11", + "47": "-1" + }, + "postB1_X2": { + "110": "-12", + "21": "12", + "37": "12", + "47": "-12" + }, + "postB1_Y2": { + "100": "-1", + "103": "1", + "104": "-1", + "108": "1", + "109": "1", + "110": "11", + "12": "1", + "13": "1", + "16": "1", + "17": "-1", + "2": "1", + "21": "-11", + "22": "-1", + "23": "-1", + "25": "-1", + "26": "-1", + "29": "-1", + "3": "1", + "30": "-1", + "31": "-1", + "33": "-1", + "34": "-1", + "37": "-11", + "38": "1", + "43": "1", + "44": "-1", + "47": "11", + "49": "1", + "50": "1", + "51": "-1", + "56": "1", + "59": "1", + "60": "1", + "61": "1", + "66": "1", + "67": "-1", + "72": "1", + "73": "-1", + "74": "-1", + "77": "-1", + "78": "1", + "79": "-1", + "8": "1", + "80": "1", + "83": "1", + "84": "1", + "88": "-1", + "89": "-1", + "9": "-1", + "94": "1", + "95": "-1", + "99": "-1" + }, + "projected_y1_U": "96 zeros" + }, + { + "bridge_Y_pair1_U": { + "1": "1", + "101": "-1", + "102": "-1", + "104": "1", + "107": "1", + "13": "-1", + "16": "1", + "18": "-1", + "19": "-1", + "2": "1", + "24": "-1", + "25": "-1", + "28": "-1", + "32": "-1", + "35": "1", + "39": "1", + "4": "1", + "40": "1", + "43": "-1", + "44": "-1", + "45": "-1", + "48": "1", + "5": "1", + "51": "1", + "54": "1", + "55": "1", + "58": "1", + "6": "-1", + "61": "-1", + "64": "1", + "65": "1", + "68": "-1", + "69": "-1", + "72": "-1", + "75": "-1", + "78": "1", + "79": "-1", + "82": "1", + "85": "1", + "86": "1", + "89": "1", + "9": "1", + "93": "-1", + "94": "1", + "96": "-1", + "97": "-1", + "98": "-1", + "99": "-1" + }, + "channel": 7, + "maximum_original_absolute_value": "11", + "original_X0": { + "1": "-1", + "101": "1", + "102": "1", + "104": "-1", + "107": "-1", + "111": "11", + "13": "1", + "16": "-1", + "18": "1", + "19": "1", + "2": "-1", + "20": "11", + "24": "1", + "25": "1", + "28": "1", + "32": "1", + "35": "-1", + "36": "-11", + "39": "-1", + "4": "-1", + "40": "-1", + "43": "1", + "44": "1", + "45": "1", + "46": "-11", + "48": "-1", + "5": "-1", + "51": "-1", + "54": "-1", + "55": "-1", + "58": "-1", + "6": "1", + "61": "1", + "64": "-1", + "65": "-1", + "68": "1", + "69": "1", + "72": "1", + "75": "1", + "78": "-1", + "79": "1", + "82": "-1", + "85": "-1", + "86": "-1", + "89": "-1", + "9": "-1", + "93": "1", + "94": "-1", + "96": "1", + "97": "1", + "98": "1", + "99": "1" + }, + "original_Y0": { + "110": "-1", + "111": "-11", + "20": "-11", + "21": "-1", + "36": "11", + "37": "1", + "46": "11", + "47": "1" + }, + "postB1_X2": { + "110": "-12", + "21": "-12", + "37": "12", + "47": "12" + }, + "postB1_Y2": { + "1": "-1", + "101": "1", + "102": "1", + "104": "-1", + "107": "-1", + "110": "11", + "13": "1", + "16": "-1", + "18": "1", + "19": "1", + "2": "-1", + "21": "11", + "24": "1", + "25": "1", + "28": "1", + "32": "1", + "35": "-1", + "37": "-11", + "39": "-1", + "4": "-1", + "40": "-1", + "43": "1", + "44": "1", + "45": "1", + "47": "-11", + "48": "-1", + "5": "-1", + "51": "-1", + "54": "-1", + "55": "-1", + "58": "-1", + "6": "1", + "61": "1", + "64": "-1", + "65": "-1", + "68": "1", + "69": "1", + "72": "1", + "75": "1", + "78": "-1", + "79": "1", + "82": "-1", + "85": "-1", + "86": "-1", + "89": "-1", + "9": "-1", + "93": "1", + "94": "-1", + "96": "1", + "97": "1", + "98": "1", + "99": "1" + }, + "projected_y1_U": "96 zeros" + } + ], + "logical_recipe_prefix": [ + { + "kind": "local", + "pair": 0, + "reverse": false, + "stage": 0 + }, + { + "kind": "local", + "pair": 0, + "reverse": true, + "stage": 1 + }, + { + "coefficient": 1, + "dst": 0, + "kind": "bridge", + "src": 1 + }, + { + "kind": "local", + "pair": 0, + "reverse": false, + "stage": 2 + } + ], + "negative_controls": [ + "omit bridge Y write loses separating observable", + "omit query correction loses identical demand" + ], + "projected_output_role": "extra earlier y1_U; not current postB1 Y0_U", + "replica0_physical_prefix": [ + { + "entry_exit_phase_adapters": "DATA-PHASES.recipes[port].stage_alignment[stage]", + "kind": "local_cover_sweep", + "provider_id": "gauge44", + "replica": 0, + "replicas": [ + 0 + ], + "source_event": 0, + "stage": 0, + "time": 0 + }, + { + "entry_exit_phase_adapters": "DATA-PHASES.recipes[port].stage_alignment[stage]", + "kind": "local_cover_sweep", + "provider_id": "gauge44", + "replica": 0, + "replicas": [ + 0 + ], + "source_event": 1, + "stage": 1, + "time": 4 + }, + { + "child_indices": [ + 0, + 2 + ], + "from_level": -1, + "kind": "idle_cover_sweep", + "pair": 1, + "replica": 0, + "replicas": [ + 0 + ], + "source_event": 2, + "time": 4, + "to_level": 1 + }, + { + "coefficient": 1, + "dst": 0, + "kind": "bridge", + "replica": 0, + "replicas": [ + 0 + ], + "source_event": 3, + "src": 1, + "time": 4 + }, + { + "entry_exit_phase_adapters": "DATA-PHASES.recipes[port].stage_alignment[stage]", + "kind": "local_cover_sweep", + "provider_id": "gauge44", + "replica": 0, + "replicas": [ + 0 + ], + "source_event": 4, + "stage": 2, + "time": 10 + } + ], + "required_bridge_roles": [ + "current X0_U", + "current X1_U", + "current Y0_U", + "current Y1_U" + ], + "scope": "The real bridge cannot factor through projected y1_U alone with other-pair state fixed. PR3952 retains borrowed currentXY; reading that state is outside the restricted observation and is not excluded. No whole-controller admission or universal boundary lower bound.", + "status": "PASS_ACTUAL_OUTER_BRIDGE_BOUNDARY", + "template_member": "t16/global/hosted/GLOBAL-TEMPLATE.json.gz", + "template_member_sha256": "73f47a1e60b1e4ea66dbca9a497c411c8e6adc7984e276a437a10a9a7a13b47a" + }, + "actual_recovery_continuation": { + "checkpoint_zero_based_event": 2740, + "complete_missing_basis_checks": 128, + "current_Y_zero_collision": { + "checkpoint_x1": { + "0": "1" + }, + "current_X": { + "0": "1" + }, + "current_Y": {}, + "demanded_y1_U": "all zero", + "first_suffix_W0_after_add": "1 versus 0", + "original_x0": { + "0": "-1", + "76": "1/2", + "81": "-1/2", + "87": "1/2", + "92": "1/2" + }, + "original_y0": { + "0": "2", + "76": "-1/2", + "81": "1/2", + "87": "-1/2", + "92": "-1/2" + } + }, + "demand_word_sha256": "f513d235b8206211a4716d013a6dacf34aaebda6839da721b0231981cb8b905e", + "entry_missing_count": 128, + "entry_read_count": 224, + "first_read": { + "W0": 2741, + "W1": 2742, + "W10": 2751, + "W100": 2841, + "W101": 2842, + "W102": 2843, + "W103": 2844, + "W104": 2845, + "W105": 2846, + "W106": 2847, + "W107": 2848, + "W108": 2849, + "W109": 2850, + "W11": 2752, + "W110": 2851, + "W111": 2852, + "W12": 2753, + "W13": 2754, + "W14": 2755, + "W15": 2756, + "W16": 2757, + "W17": 2758, + "W18": 2759, + "W19": 2760, + "W2": 2743, + "W20": 2761, + "W21": 2762, + "W22": 2763, + "W23": 2764, + "W24": 2765, + "W25": 2766, + "W26": 2767, + "W27": 2768, + "W28": 2769, + "W29": 2770, + "W3": 2744, + "W30": 2771, + "W31": 2772, + "W32": 2773, + "W33": 2774, + "W34": 2775, + "W35": 2776, + "W36": 2777, + "W37": 2778, + "W38": 2779, + "W39": 2780, + "W4": 2745, + "W40": 2781, + "W41": 2782, + "W42": 2783, + "W43": 2784, + "W44": 2785, + "W45": 2786, + "W46": 2787, + "W47": 2788, + "W48": 2789, + "W49": 2790, + "W5": 2746, + "W50": 2791, + "W51": 2792, + "W52": 2793, + "W53": 2794, + "W54": 2795, + "W55": 2796, + "W56": 2797, + "W57": 2798, + "W58": 2799, + "W59": 2800, + "W6": 2747, + "W60": 2801, + "W61": 2802, + "W62": 2803, + "W63": 2804, + "W64": 2805, + "W65": 2806, + "W66": 2807, + "W67": 2808, + "W68": 2809, + "W69": 2810, + "W7": 2748, + "W70": 2811, + "W71": 2812, + "W72": 2813, + "W73": 2814, + "W74": 2815, + "W75": 2816, + "W76": 2817, + "W77": 2818, + "W78": 2819, + "W79": 2820, + "W8": 2749, + "W80": 2821, + "W81": 2822, + "W82": 2823, + "W83": 2824, + "W84": 2825, + "W85": 2826, + "W86": 2827, + "W87": 2828, + "W88": 2829, + "W89": 2830, + "W9": 2750, + "W90": 2831, + "W91": 2832, + "W92": 2833, + "W93": 2834, + "W94": 2835, + "W95": 2836, + "W96": 2837, + "W97": 2838, + "W98": 2839, + "W99": 2840, + "Z0": 2741, + "Z1": 2742, + "Z10": 2751, + "Z100": 2841, + "Z101": 2842, + "Z102": 2843, + "Z103": 2844, + "Z104": 2845, + "Z105": 2846, + "Z106": 2847, + "Z107": 2848, + "Z108": 2849, + "Z109": 2850, + "Z11": 2752, + "Z110": 2851, + "Z111": 2852, + "Z12": 2753, + "Z13": 2754, + "Z14": 2755, + "Z15": 2756, + "Z16": 2757, + "Z17": 2758, + "Z18": 2759, + "Z19": 2760, + "Z2": 2743, + "Z20": 2761, + "Z21": 2762, + "Z22": 2763, + "Z23": 2764, + "Z24": 2765, + "Z25": 2766, + "Z26": 2767, + "Z27": 2768, + "Z28": 2769, + "Z29": 2770, + "Z3": 2744, + "Z30": 2771, + "Z31": 2772, + "Z32": 2773, + "Z33": 2774, + "Z34": 2775, + "Z35": 2776, + "Z36": 2777, + "Z37": 2778, + "Z38": 2779, + "Z39": 2780, + "Z4": 2745, + "Z40": 2781, + "Z41": 2782, + "Z42": 2783, + "Z43": 2784, + "Z44": 2785, + "Z45": 2786, + "Z46": 2787, + "Z47": 2788, + "Z48": 2789, + "Z49": 2790, + "Z5": 2746, + "Z50": 2791, + "Z51": 2792, + "Z52": 2793, + "Z53": 2794, + "Z54": 2795, + "Z55": 2796, + "Z56": 2797, + "Z57": 2798, + "Z58": 2799, + "Z59": 2800, + "Z6": 2747, + "Z60": 2801, + "Z61": 2802, + "Z62": 2803, + "Z63": 2804, + "Z64": 2805, + "Z65": 2806, + "Z66": 2807, + "Z67": 2808, + "Z68": 2809, + "Z69": 2810, + "Z7": 2748, + "Z70": 2811, + "Z71": 2812, + "Z72": 2813, + "Z73": 2814, + "Z74": 2815, + "Z75": 2816, + "Z76": 2817, + "Z77": 2818, + "Z78": 2819, + "Z79": 2820, + "Z8": 2749, + "Z80": 2821, + "Z81": 2822, + "Z82": 2823, + "Z83": 2824, + "Z84": 2825, + "Z85": 2826, + "Z86": 2827, + "Z87": 2828, + "Z88": 2829, + "Z89": 2830, + "Z9": 2750, + "Z90": 2831, + "Z91": 2832, + "Z92": 2833, + "Z93": 2834, + "Z94": 2835, + "Z95": 2836, + "Z96": 2837, + "Z97": 2838, + "Z98": 2839, + "Z99": 2840 + }, + "first_suffix_instruction": [ + "add", + "W0", + "Z0", + "1" + ], + "first_suffix_zero_based_event": 2741, + "frame_obstruction": { + "cleared_W0": "identity", + "differing_phase_coefficient": { + "F17": 1, + "coordinate": 0, + "identity": 0 + }, + "required_W0": "F17" + }, + "full_decoder_invoice": { + "add": 2704, + "begin": 3, + "checkpoint": 1, + "clear": 312, + "end": 3, + "line": 336, + "map": 464, + "native_wrappers": 672, + "quarter_ADD": 896, + "scalar_allowance": 25840, + "unit_ADD": 1808 + }, + "missing_fields": [ + "W0", + "W110", + "W111", + "W20", + "W21", + "W27", + "W36", + "W37", + "W46", + "W47", + "W57", + "W7", + "W76", + "W81", + "W87", + "W92", + "Z0", + "Z1", + "Z10", + "Z100", + "Z101", + "Z102", + "Z103", + "Z104", + "Z105", + "Z106", + "Z107", + "Z108", + "Z109", + "Z11", + "Z110", + "Z111", + "Z12", + "Z13", + "Z14", + "Z15", + "Z16", + "Z17", + "Z18", + "Z19", + "Z2", + "Z20", + "Z21", + "Z22", + "Z23", + "Z24", + "Z25", + "Z26", + "Z27", + "Z28", + "Z29", + "Z3", + "Z30", + "Z31", + "Z32", + "Z33", + "Z34", + "Z35", + "Z36", + "Z37", + "Z38", + "Z39", + "Z4", + "Z40", + "Z41", + "Z42", + "Z43", + "Z44", + "Z45", + "Z46", + "Z47", + "Z48", + "Z49", + "Z5", + "Z50", + "Z51", + "Z52", + "Z53", + "Z54", + "Z55", + "Z56", + "Z57", + "Z58", + "Z59", + "Z6", + "Z60", + "Z61", + "Z62", + "Z63", + "Z64", + "Z65", + "Z66", + "Z67", + "Z68", + "Z69", + "Z7", + "Z70", + "Z71", + "Z72", + "Z73", + "Z74", + "Z75", + "Z76", + "Z77", + "Z78", + "Z79", + "Z8", + "Z80", + "Z81", + "Z82", + "Z83", + "Z84", + "Z85", + "Z86", + "Z87", + "Z88", + "Z89", + "Z9", + "Z90", + "Z91", + "Z92", + "Z93", + "Z94", + "Z95", + "Z96", + "Z97", + "Z98", + "Z99" + ], + "negative_controls": [ + "replace first Z0 read with Z1 changes original output", + "omit final live G scratch CLEAR rejects scratch leak" + ], + "pins": { + "research/joint-query/certificate.json.gz": "a5ed85fac5ebf3c091482a113ab0d351eb5a7892fe2841a35e16017ec1ff49f7", + "research/qq16-line-normalized-decoder/PROOF.md": "0a0995e70f2a64c15cdd1aee66634d1ba221cbcb2a7cfa3a4d4950a37d0e143a", + "research/qq16-line-normalized-decoder/WORD.json": "5623b9cd62635d47f84e78135d817cfddec7ae31c154c565bf6e16cf5ed75475" + }, + "projected_invoice": { + "add": 944, + "begin": 1, + "clear": 144, + "end": 1, + "line": 112, + "map": 208, + "native_wrappers": 224, + "quarter_ADD": 384, + "scalar_allowance": 9376, + "unit_ADD": 560 + }, + "retirement_conclusion": "No centre retirement established: true recovery continuation needs128 additional boundary values. The complete retained fallback costs336 H1,464 maps,25840 scalar primitives; private peak16. Projection cleanup cannot establish retirement of unrelated producer centre work. The root provenance audit must decide whether those charges exist in the actual QQ16 source.", + "scope": "PR2707 F0-inverse suffix consumes 224 F17 x1/y1 fields; PR3952 alone supplies96. Not a lower bound for new decoders using retained borrowed inputs.", + "status": "PASS_LITERAL_SUFFIX_BOUNDARY_OBSTRUCTION", + "suffix_invoice": { + "add": 1032, + "begin": 1, + "clear": 48, + "end": 1, + "native_wrappers": 0, + "quarter_ADD": 448, + "scalar_allowance": 10144, + "unit_ADD": 584 + }, + "supplied": { + "W_U": 96, + "W_selected": "zero in identity frame, owned temps", + "Z": "absent", + "borrowed_current_XY": "still available but not x1/y1 and not owned" + } + }, + "centre_provenance_and_lifetimes": { + "actual_QQ16_calls": { + "B_1_2": { + "added_H1": 24, + "core_orientation": "backward", + "literal_H8": 0, + "rank_mass": 5546, + "total_literal_child_profile": { + "1": 2436, + "2": 418, + "3": 432, + "4": 142, + "5": 82 + } + }, + "F_0": { + "added_H1": 8, + "core_orientation": "forward", + "literal_H8": 0, + "rank_mass": 5530, + "total_literal_child_profile": { + "1": 2420, + "2": 418, + "3": 432, + "4": 142, + "5": 82 + } + } + }, + "canonical_main": "20ecf2891d80b5acf18d980b2164fb44ea7faa90", + "index_convention": "zero-based JSON event indices", + "members": { + "slots/local/CANONICAL-WORD.json.gz": "16bc0ebb04b4be6c0ade74badc6a0c0cdba4215eda86e4ff9f13abf8ecebd219", + "slots/local/LOCAL-PROGRAMS.json.gz": "241fde27d4e43f5a9cb6b128f9f76c5131a53d09f0371676163f914d0b0fef3a" + }, + "orientations": { + "backward": { + "baseline_events": 24767, + "baseline_final_private_frames": [ + 415, + 416, + 417, + 418, + 419, + 420, + 421, + 422 + ], + "baseline_last_C_clear": 12758, + "baseline_next_phase_B": 12759, + "baseline_scalar_allowance": 198814, + "clean_core_child_profile": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82 + }, + "clean_core_events": 25155, + "clean_core_rank_mass": 5522, + "clean_core_reconstruction_matches_packet": true, + "clean_core_scalar_allowance": 202138, + "exact_scalar_columns": 712, + "inserted_correction_ADDs": 580, + "inserted_correction_CLEARs": 16, + "inserted_scalar_allowance": 5532, + "lifetimes": [ + { + "accumulated_L_sources": [ + 124, + 212, + 215, + 129, + 184, + 206, + 182, + 174, + 213, + 166, + 130, + 152, + 112, + 169, + 210, + 160, + 157, + 219, + 161, + 146, + 220, + 134 + ], + "accumulation_adds": 22, + "centre": 0, + "child": [ + "center", + 0, + 0, + 415, + 8 + ], + "child_event": 12574, + "consumer_L_registers": [ + 92 + ], + "copy_event": null, + "destination_frame_basis": [ + 256, + 128, + 64, + 34, + 16, + 10, + 4, + 1 + ], + "entry_clear": 12551, + "final_clear": 12576, + "last_read": 12575, + "reads": 1, + "source_L_register": null, + "source_frame_basis": [], + "zero_exit_frame": 415 + }, + { + "accumulated_L_sources": [ + 118, + 194, + 205, + 170, + 184, + 206, + 182, + 174, + 195, + 185, + 171, + 142, + 112, + 169, + 192, + 179, + 120, + 207, + 180, + 117, + 208, + 176 + ], + "accumulation_adds": 22, + "centre": 1, + "child": [ + "center", + 1, + 0, + 416, + 8 + ], + "child_event": 12600, + "consumer_L_registers": [ + 57 + ], + "copy_event": null, + "destination_frame_basis": [ + 256, + 128, + 64, + 32, + 16, + 8, + 5, + 3 + ], + "entry_clear": 12577, + "final_clear": 12602, + "last_read": 12601, + "reads": 1, + "source_L_register": null, + "source_frame_basis": [], + "zero_exit_frame": 416 + }, + { + "accumulated_L_sources": [ + 118, + 194, + 205, + 170, + 124, + 212, + 215, + 129, + 213, + 166, + 130, + 152, + 195, + 185, + 171, + 142, + 139, + 119, + 125, + 128, + 127, + 154 + ], + "accumulation_adds": 22, + "centre": 2, + "child": [ + "center", + 2, + 0, + 417, + 8 + ], + "child_event": 12626, + "consumer_L_registers": [ + 81 + ], + "copy_event": null, + "destination_frame_basis": [ + 256, + 128, + 64, + 32, + 17, + 9, + 4, + 2 + ], + "entry_clear": 12603, + "final_clear": 12628, + "last_read": 12627, + "reads": 1, + "source_L_register": null, + "source_frame_basis": [], + "zero_exit_frame": 417 + }, + { + "accumulated_L_sources": [ + 139, + 119, + 210, + 160, + 157, + 219, + 192, + 179, + 120, + 207, + 125, + 128, + 127, + 154, + 180, + 117, + 208, + 176, + 161, + 146, + 220, + 134 + ], + "accumulation_adds": 22, + "centre": 3, + "child": [ + "center", + 3, + 0, + 418, + 8 + ], + "child_event": 12652, + "consumer_L_registers": [ + 224 + ], + "copy_event": null, + "destination_frame_basis": [ + 256, + 128, + 64, + 36, + 20, + 8, + 2, + 1 + ], + "entry_clear": 12629, + "final_clear": 12654, + "last_read": 12653, + "reads": 1, + "source_L_register": null, + "source_frame_basis": [], + "zero_exit_frame": 418 + }, + { + "accumulated_L_sources": [ + 187, + 113, + 140, + 198, + 168, + 143, + 150, + 189, + 203, + 122, + 148, + 132, + 144, + 197, + 136, + 147, + 115, + 200, + 178, + 138, + 165, + 217 + ], + "accumulation_adds": 22, + "centre": 4, + "child": [ + "center", + 4, + 0, + 419, + 8 + ], + "child_event": 12678, + "consumer_L_registers": [ + 11 + ], + "copy_event": null, + "destination_frame_basis": [ + 256, + 128, + 66, + 32, + 18, + 8, + 4, + 1 + ], + "entry_clear": 12655, + "final_clear": 12680, + "last_read": 12679, + "reads": 1, + "source_L_register": null, + "source_frame_basis": [], + "zero_exit_frame": 419 + }, + { + "accumulated_L_sources": [ + 203, + 122, + 214, + 167, + 131, + 151, + 196, + 186, + 172, + 141, + 148, + 132, + 165, + 217, + 181, + 116, + 209, + 177, + 162, + 145, + 221, + 135 + ], + "accumulation_adds": 22, + "centre": 5, + "child": [ + "center", + 5, + 0, + 420, + 8 + ], + "child_event": 12704, + "consumer_L_registers": [ + 240 + ], + "copy_event": null, + "destination_frame_basis": [ + 256, + 128, + 65, + 33, + 17, + 9, + 5, + 3 + ], + "entry_clear": 12681, + "final_clear": 12706, + "last_read": 12705, + "reads": 1, + "source_L_register": null, + "source_frame_basis": [], + "zero_exit_frame": 420 + }, + { + "accumulated_L_sources": [ + 168, + 143, + 150, + 189, + 201, + 191, + 196, + 186, + 172, + 141, + 223, + 158, + 115, + 200, + 178, + 138, + 163, + 156, + 162, + 145, + 221, + 135 + ], + "accumulation_adds": 22, + "centre": 6, + "child": [ + "center", + 6, + 0, + 421, + 8 + ], + "child_event": 12730, + "consumer_L_registers": [ + 9 + ], + "copy_event": null, + "destination_frame_basis": [ + 256, + 128, + 65, + 33, + 16, + 8, + 4, + 2 + ], + "entry_clear": 12707, + "final_clear": 12732, + "last_read": 12731, + "reads": 1, + "source_L_register": null, + "source_frame_basis": [], + "zero_exit_frame": 421 + }, + { + "accumulated_L_sources": [ + 187, + 113, + 140, + 198, + 201, + 191, + 214, + 167, + 131, + 151, + 223, + 158, + 144, + 197, + 136, + 147, + 163, + 156, + 181, + 116, + 209, + 177 + ], + "accumulation_adds": 22, + "centre": 7, + "child": [ + "center", + 7, + 0, + 422, + 8 + ], + "child_event": 12756, + "consumer_L_registers": [ + 256 + ], + "copy_event": null, + "destination_frame_basis": [ + 256, + 128, + 68, + 32, + 16, + 12, + 2, + 1 + ], + "entry_clear": 12733, + "final_clear": 12758, + "last_read": 12757, + "reads": 1, + "source_L_register": null, + "source_frame_basis": [], + "zero_exit_frame": 422 + } + ], + "private_outputs_zero": 8, + "removed_centre_children": 8, + "removed_centre_rank_mass": 64, + "removed_child_mutant": { + "reason": "source frame 12574", + "result": "REJECT" + }, + "removed_correction_mutant": { + "changed_output_indices": [ + 225, + 226, + 227, + 229, + 230, + 233, + 234, + 235, + 237, + 238, + 240, + 241, + 242, + 243, + 245, + 246, + 249, + 250, + 251, + 253, + 254, + 256, + 257, + 258, + 259, + 261, + 262, + 265, + 266, + 267, + 269, + 270, + 272, + 276, + 280, + 283, + 286, + 287, + 288, + 292, + 296, + 299, + 302, + 303, + 304, + 308, + 312, + 315, + 318, + 319, + 320, + 324, + 331, + 334, + 335 + ], + "deleted_event": 8108, + "result": "REJECT" + }, + "removed_scalar_allowance": 2208, + "restored_helpers": 480 + }, + "forward": { + "baseline_events": 24767, + "baseline_final_private_frames": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "baseline_last_C_clear": 12758, + "baseline_next_phase_B": 12759, + "baseline_scalar_allowance": 198766, + "clean_core_child_profile": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82 + }, + "clean_core_events": 25155, + "clean_core_rank_mass": 5522, + "clean_core_reconstruction_matches_packet": true, + "clean_core_scalar_allowance": 202138, + "exact_scalar_columns": 712, + "inserted_correction_ADDs": 580, + "inserted_correction_CLEARs": 16, + "inserted_scalar_allowance": 5532, + "lifetimes": [ + { + "accumulated_L_sources": [], + "accumulation_adds": 0, + "centre": 0, + "child": [ + "center", + 0, + 415, + 0, + 8 + ], + "child_event": 12553, + "consumer_L_registers": [ + 124, + 212, + 215, + 129, + 184, + 206, + 182, + 174, + 213, + 166, + 130, + 152, + 112, + 169, + 210, + 160, + 157, + 219, + 161, + 146, + 220, + 134 + ], + "copy_event": 12552, + "destination_frame_basis": [], + "entry_clear": 12551, + "final_clear": 12576, + "last_read": 12575, + "reads": 22, + "source_L_register": 92, + "source_frame_basis": [ + 256, + 128, + 64, + 34, + 16, + 10, + 4, + 1 + ], + "zero_exit_frame": 0 + }, + { + "accumulated_L_sources": [], + "accumulation_adds": 0, + "centre": 1, + "child": [ + "center", + 1, + 416, + 0, + 8 + ], + "child_event": 12579, + "consumer_L_registers": [ + 118, + 194, + 205, + 170, + 184, + 206, + 182, + 174, + 195, + 185, + 171, + 142, + 112, + 169, + 192, + 179, + 120, + 207, + 180, + 117, + 208, + 176 + ], + "copy_event": 12578, + "destination_frame_basis": [], + "entry_clear": 12577, + "final_clear": 12602, + "last_read": 12601, + "reads": 22, + "source_L_register": 57, + "source_frame_basis": [ + 256, + 128, + 64, + 32, + 16, + 8, + 5, + 3 + ], + "zero_exit_frame": 0 + }, + { + "accumulated_L_sources": [], + "accumulation_adds": 0, + "centre": 2, + "child": [ + "center", + 2, + 417, + 0, + 8 + ], + "child_event": 12605, + "consumer_L_registers": [ + 118, + 194, + 205, + 170, + 124, + 212, + 215, + 129, + 213, + 166, + 130, + 152, + 195, + 185, + 171, + 142, + 139, + 119, + 125, + 128, + 127, + 154 + ], + "copy_event": 12604, + "destination_frame_basis": [], + "entry_clear": 12603, + "final_clear": 12628, + "last_read": 12627, + "reads": 22, + "source_L_register": 81, + "source_frame_basis": [ + 256, + 128, + 64, + 32, + 17, + 9, + 4, + 2 + ], + "zero_exit_frame": 0 + }, + { + "accumulated_L_sources": [], + "accumulation_adds": 0, + "centre": 3, + "child": [ + "center", + 3, + 418, + 0, + 8 + ], + "child_event": 12631, + "consumer_L_registers": [ + 139, + 119, + 210, + 160, + 157, + 219, + 192, + 179, + 120, + 207, + 125, + 128, + 127, + 154, + 180, + 117, + 208, + 176, + 161, + 146, + 220, + 134 + ], + "copy_event": 12630, + "destination_frame_basis": [], + "entry_clear": 12629, + "final_clear": 12654, + "last_read": 12653, + "reads": 22, + "source_L_register": 224, + "source_frame_basis": [ + 256, + 128, + 64, + 36, + 20, + 8, + 2, + 1 + ], + "zero_exit_frame": 0 + }, + { + "accumulated_L_sources": [], + "accumulation_adds": 0, + "centre": 4, + "child": [ + "center", + 4, + 419, + 0, + 8 + ], + "child_event": 12657, + "consumer_L_registers": [ + 187, + 113, + 140, + 198, + 168, + 143, + 150, + 189, + 203, + 122, + 148, + 132, + 144, + 197, + 136, + 147, + 115, + 200, + 178, + 138, + 165, + 217 + ], + "copy_event": 12656, + "destination_frame_basis": [], + "entry_clear": 12655, + "final_clear": 12680, + "last_read": 12679, + "reads": 22, + "source_L_register": 11, + "source_frame_basis": [ + 256, + 128, + 66, + 32, + 18, + 8, + 4, + 1 + ], + "zero_exit_frame": 0 + }, + { + "accumulated_L_sources": [], + "accumulation_adds": 0, + "centre": 5, + "child": [ + "center", + 5, + 420, + 0, + 8 + ], + "child_event": 12683, + "consumer_L_registers": [ + 203, + 122, + 214, + 167, + 131, + 151, + 196, + 186, + 172, + 141, + 148, + 132, + 165, + 217, + 181, + 116, + 209, + 177, + 162, + 145, + 221, + 135 + ], + "copy_event": 12682, + "destination_frame_basis": [], + "entry_clear": 12681, + "final_clear": 12706, + "last_read": 12705, + "reads": 22, + "source_L_register": 240, + "source_frame_basis": [ + 256, + 128, + 65, + 33, + 17, + 9, + 5, + 3 + ], + "zero_exit_frame": 0 + }, + { + "accumulated_L_sources": [], + "accumulation_adds": 0, + "centre": 6, + "child": [ + "center", + 6, + 421, + 0, + 8 + ], + "child_event": 12709, + "consumer_L_registers": [ + 168, + 143, + 150, + 189, + 201, + 191, + 196, + 186, + 172, + 141, + 223, + 158, + 115, + 200, + 178, + 138, + 163, + 156, + 162, + 145, + 221, + 135 + ], + "copy_event": 12708, + "destination_frame_basis": [], + "entry_clear": 12707, + "final_clear": 12732, + "last_read": 12731, + "reads": 22, + "source_L_register": 9, + "source_frame_basis": [ + 256, + 128, + 65, + 33, + 16, + 8, + 4, + 2 + ], + "zero_exit_frame": 0 + }, + { + "accumulated_L_sources": [], + "accumulation_adds": 0, + "centre": 7, + "child": [ + "center", + 7, + 422, + 0, + 8 + ], + "child_event": 12735, + "consumer_L_registers": [ + 187, + 113, + 140, + 198, + 201, + 191, + 214, + 167, + 131, + 151, + 223, + 158, + 144, + 197, + 136, + 147, + 163, + 156, + 181, + 116, + 209, + 177 + ], + "copy_event": 12734, + "destination_frame_basis": [], + "entry_clear": 12733, + "final_clear": 12758, + "last_read": 12757, + "reads": 22, + "source_L_register": 256, + "source_frame_basis": [ + 256, + 128, + 68, + 32, + 16, + 12, + 2, + 1 + ], + "zero_exit_frame": 0 + } + ], + "private_outputs_zero": 8, + "removed_centre_children": 8, + "removed_centre_rank_mass": 64, + "removed_child_mutant": { + "reason": "source frame 12553", + "result": "REJECT" + }, + "removed_correction_mutant": { + "changed_output_indices": [ + 112, + 114, + 119, + 121, + 122, + 123, + 124, + 129, + 130, + 131, + 134, + 135, + 136, + 137, + 139, + 143, + 144, + 145, + 146, + 147, + 150, + 151, + 152, + 157, + 160, + 161, + 162, + 166, + 167, + 168, + 169, + 173, + 174, + 175, + 182, + 183, + 184, + 188, + 189, + 191, + 193, + 197, + 199, + 201, + 202, + 203, + 204, + 206, + 210, + 212, + 213, + 214, + 215, + 219, + 220, + 221 + ], + "deleted_event": 8108, + "result": "REJECT" + }, + "removed_scalar_allowance": 2160, + "restored_helpers": 480 + } + }, + "scope": "Existing local replacement independently reconstructed; no remaining literal H8 centre children in QQ16, no new physical/global retirement credit.", + "sources": { + "research/community-frontier1042-audit/selected-replay.tar.gz": "22c3f4dce4b897a1d423d1388801933e288b6a6b1906cb15e1b16a5eb68db754", + "research/joint-query/certificate.json.gz": "a5ed85fac5ebf3c091482a113ab0d351eb5a7892fe2841a35e16017ec1ff49f7" + }, + "status": "PASS_CENTRE_PROVENANCE_AND_EXISTING_REMOVAL" + }, + "conditional_budget": { + "W": "896/9", + "a": "836330098538459/499163669901461541", + "arithmetic": "exact Fraction atanh logarithm,40 terms;exp14 with geometric tail", + "changed_family_stock_hypothetical_fixed_local": { + "768": { + "decision": "strict_fail", + "lower": "1.002179354139602810", + "upper": "1.002179354139602811" + }, + "880": { + "decision": "strict_fail", + "lower": "1.000233970161776783", + "upper": "1.000233970161776784" + }, + "895": { + "decision": "strict_fail", + "lower": "1.000010398499520639", + "upper": "1.000010398499520640" + }, + "896": { + "decision": "strict_pass", + "lower": "0.999995759878777677", + "upper": "0.999995759878777678" + } + }, + "decoder_pair_integer_threshold_with0H8": { + "121": { + "decision": "strict_pass", + "lower": "0.999999854798470098", + "upper": "0.999999854798470099" + }, + "122": { + "decision": "strict_fail", + "lower": "1.000000309789547033", + "upper": "1.000000309789547034" + } + }, + "decoder_pair_integer_threshold_with16H8": { + "61": { + "decision": "strict_pass", + "lower": "0.999999945362360921", + "upper": "0.999999945362360922" + }, + "62": { + "decision": "strict_fail", + "lower": "1.000000400353437856", + "upper": "1.000000400353437857" + } + }, + "fixed_centre": 64, + "fixed_total_h8_pair": { + "0": { + "decision": "strict_pass", + "lower": "0.999995759878777677", + "upper": "0.999995759878777678" + }, + "1": { + "decision": "strict_pass", + "lower": "0.999997471755559362", + "upper": "0.999997471755559363" + }, + "16": { + "decision": "strict_fail", + "lower": "1.000023149907284635", + "upper": "1.000023149907284636" + }, + "2": { + "decision": "strict_pass", + "lower": "0.999999183632341047", + "upper": "0.999999183632341048" + }, + "3": { + "decision": "strict_fail", + "lower": "1.000000895509122732", + "upper": "1.000000895509122733" + }, + "8": { + "decision": "strict_fail", + "lower": "1.000009454893031156", + "upper": "1.000009454893031157" + } + }, + "literal_deletion_hypothetical_total_changes": { + "0": { + "decision": "strict_pass", + "lower": "0.991184204572404223", + "upper": "0.991184204572404224" + }, + "15": { + "decision": "strict_pass", + "lower": "0.999470715823854609", + "upper": "0.999470715823854610" + }, + "16": { + "decision": "strict_fail", + "lower": "1.000023149907284635", + "upper": "1.000023149907284636" + }, + "2": { + "decision": "strict_pass", + "lower": "0.992289072739264275", + "upper": "0.992289072739264276" + }, + "3": { + "decision": "strict_pass", + "lower": "0.992841506822694300", + "upper": "0.992841506822694301" + } + }, + "nine_call_hypothetical_decoder_incidence_rank8_waived": { + "1": { + "decision": "strict_pass", + "lower": "0.999956125100520178", + "upper": "0.999956125100520179" + }, + "2": { + "decision": "strict_pass", + "lower": "0.999967449322879463", + "upper": "0.999967449322879464" + }, + "3": { + "decision": "strict_pass", + "lower": "0.999978773545238749", + "upper": "0.999978773545238750" + }, + "4": { + "decision": "strict_pass", + "lower": "0.999990097767598035", + "upper": "0.999990097767598036" + }, + "5": { + "decision": "strict_fail", + "lower": "1.000001421989957320", + "upper": "1.000001421989957321" + } + }, + "restored_full_consumer336_pair_h8_waived": { + "decision": "strict_fail", + "lower": "1.000097677880011248", + "upper": "1.000097677880011249" + }, + "scope": "Conditional arithmetic only. No continuation, family count, coverage, centre deletion, hosting, child placement or physical bill is admitted.", + "status": "PASS_INDEPENDENT_CONDITIONAL_BUDGET" + }, + "decision": "No remaining literal H8 centre retirement exists in the QQ16 core. The projected96-output endpoint does not replace either pinned outer boundary alone. Existing full-decoder fallback is priced and fails the unchanged pair screen even with H8 absent. No new physical/global schedule admitted.", + "status": "PASS_QQ16_CENTRE_LIFETIME_BOUNDARY_AUDIT no_new_kappa" +} diff --git a/research/qq16-centre-lifetime-boundary-audit/REVIEWS.json b/research/qq16-centre-lifetime-boundary-audit/REVIEWS.json new file mode 100644 index 000000000..afdf7ec79 --- /dev/null +++ b/research/qq16-centre-lifetime-boundary-audit/REVIEWS.json @@ -0,0 +1,43 @@ +{ + "kind": "Separate AI-agent work and cross-review; no independent human/formal review", + "assigned_roles": { + "root": "Actual global continuation, integer collision family, integration and final validation", + "centre_copy_trace": "All eight selected C lifetimes, existing corrected-word regeneration, scalar/frame/source impact", + "retirement_schedule": "Literal consuming suffix, missing boundary/collisions and full invoice", + "centre_budget": "Independent rational arithmetic, source/coverage and incidence applicability" + }, + "reviews": [ + { + "reviewer": "centre_budget", + "subject": "centre_copy_trace checker and TRACE", + "result": "No substantive defect. Optimized replay matches TRACE SHA256 f41d57a60f803948cbc70dcfd5e432c57ec36e0fd9ab960b01e1e95772d914da. Confirmed removed-phase scalar subtraction, backward zero frames and all recipe ranks.", + "integration_change": "Added explicit native_line rank=recipe.rank=1 check; same receipt." + }, + { + "reviewer": "centre_copy_trace", + "subject": "retirement_schedule checker and RESULT", + "result": "No substantive defect; optimized replay byte-identical. Preserved no128-new-family lower-bound and borrowed-currentXY caveats." + }, + { + "reviewer": "retirement_schedule", + "subject": "centre_budget checker, source ledger and report", + "result": "Independent six-case arithmetic replay, positive remainders, strict thresholds and source histograms pass. Preserved fixedT versus deletion distinction." + }, + { + "reviewer": "retirement_schedule", + "subject": "root outer.py and OUTER.json", + "result": "Optimized replay identical; real hosted idle/bridge prefix, integer reachability,8-dimensional collisions and borrowed-state caveat confirmed.", + "checked_code_sha256": "7c1507199ea60819b2abcf0740c139470829c3a25915d64668e51334371acd57", + "integration_followup": "Scope map is hash-pinned; proof explicitly says constant in both owner and payload." + }, + { + "reviewer": "centre_budget", + "subject": "Integrated README,PROOF,verify,SOURCES,VERIFY,PREDECESSORS", + "result": "No scope/publication blocker. Suggested explicit budget/source profile and kappa ratio bindings; root added both, then reran normal/optimized and registered checks." + } + ], + "limits": [ + "Reviews concern named source-bound mathematical and code components, not full physical supplier admission.", + "Root integration wrapper, metadata and boundary tests are validated separately; no blanket independent-human review claim." + ] +} diff --git a/research/qq16-centre-lifetime-boundary-audit/SOURCES.json b/research/qq16-centre-lifetime-boundary-audit/SOURCES.json new file mode 100644 index 000000000..411dc4b9c --- /dev/null +++ b/research/qq16-centre-lifetime-boundary-audit/SOURCES.json @@ -0,0 +1,84 @@ +{ + "schema_version": 1, + "base_commit": "20ecf2891d80b5acf18d980b2164fb44ea7faa90", + "files": [ + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "67f085acd86acd7d4e03922d9cf4b26bca66fed5", + "sha256": "47b42433f5a85809a3aadd29c2c339da2c6ed728e4f7762df6b88bccb7874cf0" + }, + { + "path": "certificates/selected-result.json", + "usage": "input", + "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81", + "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "path": "docs/research/qq16-controller-scope-map.md", + "usage": "input", + "git_blob": "388ae2e82277f53a032eb555ffb53ff387f17c29", + "sha256": "9b6d42ff4acc044d8272a405839f0bbb1f42a61813da163e7a27f45b61e6ee8c" + }, + { + "path": "research/community-frontier1042-audit/selected-replay.tar.gz", + "usage": "input", + "git_blob": "6f4dc6fe7631d8aacf8081fcaecf32197181685b", + "sha256": "22c3f4dce4b897a1d423d1388801933e288b6a6b1906cb15e1b16a5eb68db754" + }, + { + "path": "research/complex-local-word-ceiling/RESULT.json", + "usage": "input", + "git_blob": "77f55043a679dd722330f1e2499863e36376d9f9", + "sha256": "d91d6c46509875abf1f61de67c2609656d3dc685451299f83caa6f922493692d" + }, + { + "path": "research/complex-local-word-ceiling/verify.py", + "usage": "input", + "git_blob": "069f09de381a52ac91ec3edb372bd4536a051d91", + "sha256": "06b59955c69a2e7f49aa031d2ebaac2f39dbe107f4087122704f2a37ce9806d5" + }, + { + "path": "research/joint-query/certificate.json.gz", + "usage": "input", + "git_blob": "c6e876d8b48d768214deee265ade428f8983b566", + "sha256": "a5ed85fac5ebf3c091482a113ab0d351eb5a7892fe2841a35e16017ec1ff49f7" + }, + { + "path": "research/joint-query/evidence/CLEAN-J-CHECKS.json", + "usage": "input", + "git_blob": "c8ca09c4e96055f8c35d337b3029be98b26064b7", + "sha256": "2946d03237300839c08acb33b3df993ce61334a55589bf2f9eb17c3d5f463791" + }, + { + "path": "research/joint-query/evidence/CONSERVED-QQ16.md", + "usage": "input", + "git_blob": "4639583c1be02c2fb60ed8a8072c9969ef1569ce", + "sha256": "60f0de3a7205ba5046b5ae7ffa8bf2b1ea42ea46b498face0a77966b59e7f3fb" + }, + { + "path": "research/joint-query/source_data.py", + "usage": "input", + "git_blob": "c9d465ed47500304bef65fcb588befe356c5cf09", + "sha256": "d23924511e3aed41e5e64511ca70126a636d91c8aa02e656cb61d6ceca1fe0a0" + }, + { + "path": "research/qq16-line-normalized-decoder/PROOF.md", + "usage": "input", + "git_blob": "f7c694ff54e590416e4a52fa762f9d3b9474bccb", + "sha256": "0a0995e70f2a64c15cdd1aee66634d1ba221cbcb2a7cfa3a4d4950a37d0e143a" + }, + { + "path": "research/qq16-line-normalized-decoder/RESULT.json", + "usage": "input", + "git_blob": "ba4167dbf133cff51513bb832802c290edcdffea", + "sha256": "58df4ad68e2ff335ee58fa4336a449d0f73f3366d840574e5e30b50f507c358d" + }, + { + "path": "research/qq16-line-normalized-decoder/WORD.json", + "usage": "input", + "git_blob": "e45320dcb07ef2dc89622e9ca68adfe826a6e9dd", + "sha256": "5623b9cd62635d47f84e78135d817cfddec7ae31c154c565bf6e16cf5ed75475" + } + ] +} diff --git a/research/qq16-centre-lifetime-boundary-audit/TASK.json b/research/qq16-centre-lifetime-boundary-audit/TASK.json new file mode 100644 index 000000000..067e74f0e --- /dev/null +++ b/research/qq16-centre-lifetime-boundary-audit/TASK.json @@ -0,0 +1,144 @@ +{ + "schema_version": 1, + "task_id": "joint-query-controller", + "priority_revision": 6, + "base_commit": "20ecf2891d80b5acf18d980b2164fb44ea7faa90", + "original_card": { + "id": "joint-query-controller", + "question": "Can a literal QQ16 producer meet the proposed completed-output error budgets with dirty helpers and an affordable physical consumer?", + "starting_points": [ + "docs/research/research-family-status.md", + "research/joint-query/README.md", + "research/joint-query/evidence/QQ16-SELECTED-WITNESS.md", + "research/joint-query/evidence/JOINT-QUERY-TRANSFER.md", + "docs/research/community-efficient1000-review.md", + "research/qq16-producer-defect-transfer/README.md" + ], + "methods": [ + "Derive one literal producer's completed-output defects and intermediate dirty-helper bounds, with its physical bill.", + "Design or audit one consumer, retention or hosting boundary and its complete cost for the pinned producer/decoder." + ], + "acceptance_gate": "Name the changed premise of the fixed F0/B1 observation obstruction. Show exactly which query is recovered, legal native reads and restoration, and a full favorable budget including cover maps, helpers and endpoints. Local inverse identities alone do not close the global controller. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read the revision-6 family record and #2965 producer-defect transfer after the local QQ16 decoder contract. Its author-checked output-error estimate does not implement producer interiors, bound dirty helpers, or pay for the consumer; independently check the implication used.", + "scope": "Source-bound orientation only. Read the named package and review before relying on its local evidence; this command is not its replay or supplier admission." + }, + "first_experiment": "Pin one literal F0/B1 producer and its native-child contracts; derive the actual intermediate magnitude ledger and completed-output defects, including dirty helpers and correlations. Compare with #2965 budgets and price storage, movement, cleanup and F17 consumption. Stop with a precise missing bound if no producer contract supplies it; do not optimize another decoder precision constant in isolation.", + "bottleneck_link": "The native local words exist; retained query information and its physical access are the missing link to a composed recursive interface.", + "allowed_variations": [ + "One paid query, one changed first pair, or one precisely specified affine helper state.", + "A counterexample or lower bound for that exact proposed repair.", + "One unresolved obligation of a newer local decoder, with exact source heads and a distinct claim/domain." + ], + "scope_change_triggers": [ + "Retaining the fixed first pair and ordinary schedule while allowing only homogeneous selected-only control, already excluded by the witness.", + "Treating cover-map counts as zero-cost physical address operations.", + "Recreating the pending complete local decoder or early-record/output-bank coalescing already under investigation without a distinct audit or changed premise.", + "Treating a completed-output defect inequality as a producer-interior, dirty-range or physical-cost certificate." + ], + "overlap_terms": [ + "QQ16", + "joint-query", + "changing-chart controller", + "selected observation", + "1969", + "2540", + "early record", + "output-bank retention", + "complete native decoder", + "2965", + "producer defect", + "dirty-helper range", + "F17 consumer" + ] + }, + "scope_status": "refined", + "actual_scope": "Audit whether reported selected H8 centre copies remain in literal QQ16 F0/B1, trace all selected C lifetimes, and pin actual outer/recovery continuations of PR3952 y1_U demand with precise interface and fixed-budget obstructions.", + "scope_change_reason": "Explicit assigned follow-up. Exact source reconstruction establishes centre removal already exists; the remaining task is source-impact and continuation compatibility, not a second claimed retirement.", + "bottleneck_link": "A passing reduced-output relaxation does not establish a caller. This audit resolves the centre-cost source premise and supplies concrete actual continuation read requirements and counterexamples.", + "budget_minutes": 60, + "stop_rule": "Stop with a source-bound retirement schedule and complete bill or a precise source/interface obstruction. Do not expand implementation when the retirement target is already absent or a required read/return/coverage allowance is unspecified.", + "outcome": "completed", + "evidence": "PROOF.md; RESULT.json complete checked receipt; centres.py source/lifetimes; outer.py actual bridge collisions; continuation.py full inverse boundary; budget.py independent rational screen; test_verify.py seven integrity/export groups; REVIEWS.json and VERIFICATION.json.", + "author": "Chris R / Clear1nsight with OpenAI assistance and three user-requested independent agents", + "ai_assistance": "Substantial OpenAI assistance. User explicitly requested three separate agents: centre_copy_trace, retirement_schedule, centre_budget. Each undertook a distinct assigned audit and cross-reviewed another; schedule agent also independently reviewed root outer.py. No independent human or formal-kernel review.", + "open_questions": [ + { + "question": "Can a cheaper complete recovery consumer supply the missing128 checkpoint values from retained current X/Y without repaying the saved native work?", + "why_it_matters": "The literal F0-inverse continuation needs them; the complete retained336-H1 fallback fails the old fixed-coverage screen even with H8 absent.", + "first_step": "Choose one exact encoding/read boundary for x1 and selected y1, derive arbitrary-array operator equations and frames, and price source access, placement, output lifetimes and zero return before any implementation expansion.", + "blocked_by": "No such paid composition or admitted global family/invocation ledger exists here." + }, + { + "question": "Can the ordinary bridge consume a changed encoding while genuinely eliminating current-bank reads or work?", + "why_it_matters": "The96 earlier y1_U outputs alone lose eight old-T-query directions that change actual bridge outputs.", + "first_step": "Start from physical source_event3 after the pair1 idle sweep; state how the current Y2_U contribution or its query is supplied and which source operations disappear, then recompute all lifetimes and coverage.", + "blocked_by": "Borrowed currentXY are still available; merely reading them or decoding and reconstructing them establishes no saving." + } + ], + "started_at_utc": "2026-10-19T06:49:49Z", + "canonical_investigation": "https://github.com/CrocSwap/integer-mult-bounds/pull/3952#issuecomment-6261523096", + "assignment": "Direct user assignment; no task draw or reroll.", + "scope_key": "QQ16/PR3952/selected-C-lifetimes/already-removed-core/actual-outer-boundaries", + "checkpoints": [ + { + "at_utc": "2026-10-19T06:49:49Z", + "main": "20ecf2891d80b5acf18d980b2164fb44ea7faa90", + "priority_revision": 6, + "decision": "Read canonical entry guidance, selected priorities/family gate, preserve PR3952 branch and export; start isolated canonical-main branch." + }, + { + "at_utc": "2026-10-19T07:08:00Z", + "main": "20ecf2891d80b5acf18d980b2164fb44ea7faa90", + "priority_revision": 6, + "decision": "Source-provenance pivot: no actual H8 target remains; preserve original conditional thresholds and verify precise continuation obstructions. Canonical guidance/selected unchanged." + }, + { + "at_utc": "2026-10-19T07:15:00Z", + "main": "20ecf2891d80b5acf18d980b2164fb44ea7faa90", + "priority_revision": 6, + "decision": "Publication checkpoint: canonical main unchanged; pending3952 head996ff unchanged; integrated registered replay and seven boundary groups pass. Stop with exact source/interface obstruction; no construction expansion." + } + ], + "overlap": { + "helper_report": { + "searched_at": "2026-10-19T06:55:55.304583+00:00", + "coverage": { + "open_prs": null, + "discussions": null + }, + "warnings": [ + "open_prs: refresh failed; using old data if available: [Errno 2] No such file or directory: 'gh'", + "open_prs: no usable remote snapshot", + "discussions: refresh failed; using old data if available: [Errno 2] No such file or directory: 'gh'", + "discussions: no usable remote snapshot" + ] + }, + "live_queries": [ + "QQ16 centre lifetime", + "QQ16 centre removed", + "3952 continuation" + ], + "nearest_sources": [ + 3952, + 3946, + 3908, + 2707, + 2681, + 2512, + 2470, + 2346, + 2086, + 2651, + 2895 + ], + "difference": "Source impact and actual readset counterexamples. Does not reclaim the old clean-core centre deletion or duplicate its theorem.", + "limits": "No complete remote PR/Discussion snapshot; helper has no gh. Existing coordinating-board conventions and handoff were read during preceding stream; new PR3952 head/comments rechecked and scoped claim posted." + } +} diff --git a/research/qq16-centre-lifetime-boundary-audit/VERIFICATION.json b/research/qq16-centre-lifetime-boundary-audit/VERIFICATION.json new file mode 100644 index 000000000..5474cf7ab --- /dev/null +++ b/research/qq16-centre-lifetime-boundary-audit/VERIFICATION.json @@ -0,0 +1,46 @@ +{ + "environment": { + "python": "3.12.3", + "system": "Linux", + "dependencies": "standard library only" + }, + "observed": [ + { + "command": "python3 -I -Werror -B research/qq16-centre-lifetime-boundary-audit/verify.py", + "result": "PASS; complete RESULT comparison" + }, + { + "command": "python3 -I -O -Werror -B research/qq16-centre-lifetime-boundary-audit/verify.py", + "result": "PASS; normal/optimized stdout byte-identical" + }, + { + "command": "python3 -B scripts/research_package.py --package research/qq16-centre-lifetime-boundary-audit", + "result": "PASS_REGISTERED_RESEARCH_PACKAGE outcome=completed; seven integrity/export test groups pass in 75.617 seconds" + }, + { + "command": "python3 -B scripts/research_baseline.py", + "result": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY" + } + ], + "coverage": [ + "All eight original centre lifetimes and canonical frames", + "Byte-identical regeneration of both corrected core words", + "Exact scalar replay on704 persistent plus8 arbitrary private columns", + "Eight reachable integer outer-bridge collisions", + "All128 missing recovery directions and complete suffix invoice", + "Independent outward rational budget intervals", + "Pre-execution source authentication and corrupt-source/word/typed-receipt rejection", + "Read-only Git-free exported replay" + ], + "reviews": "REVIEWS.json; three user-requested AI agents and cross-review; no independent human/formal review", + "publication_preflight": "Run scripts/check_research_commit.py with --check-source-history against the published exact head before opening PR; record outcome in PR/comment rather than a self-referential commit hash.", + "hosted_ci": "Not run at preparation time. Record actual run/head and result in the PR after publication.", + "not_run": [ + "Selected cold replay", + "Full inherited native kernel/huge payload replay", + "Physical six-tape execution", + "All-depth precision and dirty-helper magnitude supplier proof", + "Lean/formal proof or independent human review" + ], + "limits": "No global supplier, new coverage/invocation ledger, centre retirement credit or new kappa." +} diff --git a/research/qq16-centre-lifetime-boundary-audit/VERIFY.json b/research/qq16-centre-lifetime-boundary-audit/VERIFY.json new file mode 100644 index 000000000..ad9ffa4ff --- /dev/null +++ b/research/qq16-centre-lifetime-boundary-audit/VERIFY.json @@ -0,0 +1,46 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "certificates/selected-result.json", + "docs/research/qq16-controller-scope-map.md", + "research/community-frontier1042-audit/selected-replay.tar.gz", + "research/complex-local-word-ceiling/RESULT.json", + "research/complex-local-word-ceiling/verify.py", + "research/joint-query/certificate.json.gz", + "research/joint-query/evidence/CLEAN-J-CHECKS.json", + "research/joint-query/evidence/CONSERVED-QQ16.md", + "research/joint-query/source_data.py", + "research/qq16-line-normalized-decoder/PROOF.md", + "research/qq16-line-normalized-decoder/RESULT.json", + "research/qq16-line-normalized-decoder/WORD.json" + ], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-O", + "-Werror", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 300, + "checks": "Exact source-bound centre lifetimes and existing scalar/frame replacement, actual outer integer collisions, full recovery boundary/cost and independent rational screen." + }, + { + "argv": [ + "{python}", + "-I", + "-O", + "-Werror", + "-B", + "{package}/test_verify.py" + ], + "timeout_seconds": 420, + "checks": "Normal/optimized source/export/receipt boundary controls and read-only Git-free replay." + } + ] +} diff --git a/research/qq16-centre-lifetime-boundary-audit/budget.py b/research/qq16-centre-lifetime-boundary-audit/budget.py new file mode 100644 index 000000000..994acba90 --- /dev/null +++ b/research/qq16-centre-lifetime-boundary-audit/budget.py @@ -0,0 +1,105 @@ +#!/usr/bin/env python3 +"""Independent rational audit of PR3952's conditional centre-budget screen. + +No predecessor arithmetic is imported. This is a conditional numerical lemma, +not an admission of a changed caller, family count, coverage or native schedule. +Chris R / Clear1nsight with OpenAI assistance. Apache-2.0. +""" +import json +from fractions import Fraction as F +from functools import lru_cache +from pathlib import Path + +A = F(836330098538459, 499163669901461541) +M = 73 +W = F(896,9) +R = 51 +BASE = {1:F(2428), 2:F(418), 3:F(432), 4:F(142), 5:F(82)} + +def require(ok,msg): + if not ok:raise ValueError(msg) + +@lru_cache(None) +def log_unit(x, n=40): + """ln x from the positive atanh series, with an exact geometric remainder.""" + require(1 <= x <= 2, 'failed: 1 <= x <= 2') + z=(x-1)/(x+1) + s=sum((2*z**(2*k+1)/F(2*k+1) for k in range(n)),F(0)) + tail=2*z**(2*n+1)/(F(2*n+1)*(1-z*z)) + return s,s+tail + +@lru_cache(None) +def logarithm(x): + require(x >= 1, 'failed: x >= 1') + k=0 + while x>2: + x/=2; k+=1 + lo,hi=log_unit(x) + a,b=log_unit(F(2)) + return lo+k*a,hi+k*b + +def exp_interval(lo,hi,n=14): + require(0<=lo<=hi=0 and retained_h8_pair>=0 and centre>=0, 'failed: decoder_pair>=0 and retained_h8_pair>=0 and centre>=0') + n=dict(BASE);n[1]+=F(decoder_pair,2);n[8]=F(retained_h8_pair,2) + total=72*w+centre + local=sum(r*v for r,v in n.items()) + idle=total-local + require(idle>=0 and 2*R*R=0 and 2*R*R1 else 'undecided'} + +def calculate(): + fixed={str(h):show(moment(retained_h8_pair=h)) for h in [0,1,2,3,8,16]} + require(moment(retained_h8_pair=2)[1]<11, 'failed: moment(decoder_pair=336,retained_h8_pair=0)[0]>1') + require(moment(decoder_pair=121,retained_h8_pair=0)[1]<1 0 and b & (b-1) == 0, 'dyadic scalar tariff') + if op[0] == 'scale': + need(a & (a-1) == 0, 'power-of-two scale') + allowance += abs(a.bit_length()-b.bit_length()) + (q < 0) + else: + allowance += 3 + a.bit_length()-1 + a.bit_count() + b.bit_length()-1 + return 2 * allowance + + +def frames(events, word): + state = word['start'][:] + [None] * 8 + for i, event in enumerate(events): + if event[0] == 'climb': + _, _, at, old, new, _ = event + need(state[at] == old, f'climb frame {i}') + state[at] = new + elif event[0] == 'center': + _, c, old, new, _ = event + need(state[704+c] == old, f'centre frame {i}') + state[704+c] = new + elif event[0] == 'scalar': + op, frame = event[1:] + at = reg(op[1]) + if op[0] == 'clear': + state[at] = frame + else: + need(state[at] == frame, f'target frame {i}') + if op[0] in ('copy', 'add'): + need(state[reg(op[2])] == frame, f'source frame {i}') + need(state[:704] == word['final'], 'persistent final frames') + return state[704:] + + +def run(repo): + raw = {} + for path, expected in PINS.items(): + raw[path] = (repo/path).read_bytes() + need(digest(raw[path]) == expected, 'source hash: '+path) + packet = json.loads(gzip.decompress(raw['research/joint-query/certificate.json.gz'])) + decoded = {} + with tarfile.open(fileobj=io.BytesIO(raw[next(iter(PINS))]), mode='r:gz') as archive: + for name, expected in MEMBERS.items(): + matches = [m for m in archive.getmembers() if m.name == name] + need(len(matches) == 1 and matches[0].isfile(), 'unique regular member') + data = archive.extractfile(matches[0]).read() + need(digest(data) == expected, 'member hash: '+name) + decoded[name.rsplit('/', 1)[1]] = json.loads(gzip.decompress(data)) + word, programs = decoded['CANONICAL-WORD.json.gz'], decoded['LOCAL-PROGRAMS.json.gz'] + need(word['centers'] == [92,57,81,224,11,240,9,256], 'centre register order') + pre = programs['forward'].index(['phase','centers']) + rows = replay(programs['forward'][:pre]) + R = [{j:v for j,v in rows[c].items() if j < 112} for c in word['centers']] + H = [{j:v for j,v in rows[c].items() if j >= 224} for c in word['centers']] + need(all(rows[c] == R[k] | H[k] for k,c in enumerate(word['centers'])), 'centre source support') + need(R == [{int(j):Q(v) for j,v in row.items()} for row in packet['R_rows']], 'packet centre matrix') + D = [{} for _ in range(112)] + for event in word['cut']: + need(event[0]=='add', 'cut gate') + add(D[event[1]-112], {word['centers'].index(event[2]):Q(event[3],event[4])}, Q(1)) + J = [] + for p in range(112): + row = {p:Q(1)} + for k in range(8): + add(row,R[k],-R[k].get(p,Q(0))/4) + J.append(row) + result = {'status':'PASS_CENTRE_PROVENANCE_AND_EXISTING_REMOVAL', + 'canonical_main':'20ecf2891d80b5acf18d980b2164fb44ea7faa90', + 'index_convention':'zero-based JSON event indices', + 'sources':PINS,'members':MEMBERS,'orientations':{}} + for name, source in programs.items(): + backward = name == 'backward' + a = source.index(['phase','A']) + begin = source.index(['phase','centers']) + end = source.index(['phase','B']) + baseline_private_frames = frames(source, word) + need(baseline_private_frames == (word['center_frames'] if backward else [0]*8), + 'baseline final private frames') + lifetimes = [] + for k,c in enumerate(word['centers']): + touched=[] + for i,event in enumerate(source): + if event[0]=='center' and event[1]==k: + touched.append((i,event)) + elif event[0]=='scalar' and any(x==['C',k] for x in event[1][1:] if isinstance(x,list)): + touched.append((i,event)) + need(len(touched)==26,'exact centre lifetime event count') + need(all(begin < i < end for i,_ in touched),'no C reference after centre phase') + first,last=touched[0],touched[-1] + need(first[1][1][0]=='clear' and last[1][1][0]=='clear','owned initial/final clear') + child=next((i,e) for i,e in touched if e[0]=='center') + logical=[(i,e) for i,e in touched if e[0]=='scalar' and e[1][0]=='add'] + reads=[(i,e) for i,e in logical if e[1][2]==['C',k]] + writers=[(i,e) for i,e in logical if e[1][1]==['C',k]] + lifetimes.append({'centre':k,'source_L_register':c if not backward else None, + 'accumulated_L_sources':[e[1][2][1] for _,e in writers], + 'entry_clear':first[0],'copy_event':None if backward else first[0]+1, + 'child_event':child[0],'child':child[1], + 'source_frame_basis':word['frames'][child[1][2]], + 'destination_frame_basis':word['frames'][child[1][3]], + 'consumer_L_registers':[e[1][1][1] for _,e in reads], + 'last_read':reads[-1][0],'final_clear':last[0], + 'zero_exit_frame':last[1][2], + 'reads':len(reads),'accumulation_adds':len(writers)}) + prefix=[] + def emit(dst,src,q): + prefix.append(['scalar',['add',dst,src,q.numerator,q.denominator],0]) + for k in range(8): + private=['C',k] + prefix.append(['scalar',['clear',private],0]) + if backward: + for p,d in enumerate(D): + if k in d:emit(private,['L',112+p],d[k]) + for j,q in sorted(H[k].items()):emit(['L',j],private,-q) + else: + for j,q in sorted(H[k].items()):emit(private,['L',j],q) + for p,d in enumerate(D): + if k in d:emit(['L',112+p],private,d[k]) + prefix.append(['scalar',['clear',private],0]) + fixed=source[:a]+[['phase','centre_dirty_correction']]+prefix+source[a:begin]+source[end:] + need(fixed==packet['core_words'][name],'independently regenerated literal clean core') + need(not any(e[0]=='center' for e in fixed),'all centre children removed') + need(frames(fixed,word)==[0]*8,'private clean-core zero frames') + native=lambda w:[e for e in w if e[0] in ('climb','adapter','residual_adapter')] + need(native(fixed)==native(source),'persistent native events preserved') + out=replay(fixed) + expected=[{j:Q(1)} for j in range(704)]+[{} for _ in range(8)] + for p,row in enumerate(J): + if backward:add(expected[p],{112+j:q for j,q in row.items()},Q(-1)) + else:add(expected[112+p],row,Q(1)) + need(out==expected,'all 712 scalar outputs including helpers and scratch') + bad=list(fixed) + remove=next(i for i in range(a+1,a+1+len(prefix)) if bad[i][0]=='scalar' and bad[i][1][0]=='add') + del bad[remove] + changed=[j for j,(x,y) in enumerate(zip(replay(bad),expected)) if x!=y] + need(changed,'missing correction must change exact output') + badchild=next(i for i,e in enumerate(source) if e[0]=='center') + try:frames(source[:badchild]+source[badchild+1:],word) + except ValueError as exc:frame_failure=str(exc) + else:raise ValueError('removed H8 did not fail frame check') + profile=Counter(e[5] for e in fixed if e[0]=='climb') + need(dict(profile)=={1:2412,2:418,3:432,4:142,5:82},'actual core child profile') + result['orientations'][name]={'baseline_events':len(source),'lifetimes':lifetimes, + 'baseline_final_private_frames':baseline_private_frames, + 'baseline_last_C_clear':max(v['final_clear'] for v in lifetimes), + 'baseline_next_phase_B':end,'clean_core_events':len(fixed), + 'removed_centre_children':8,'removed_centre_rank_mass':64, + 'inserted_correction_ADDs':sum(e[1][0]=='add' for e in prefix), + 'inserted_correction_CLEARs':sum(e[1][0]=='clear' for e in prefix), + 'inserted_scalar_allowance':scalar_allowance(prefix), + 'removed_scalar_allowance':scalar_allowance(source[begin:end]), + 'baseline_scalar_allowance':scalar_allowance(source), + 'clean_core_scalar_allowance':scalar_allowance(fixed), + 'clean_core_child_profile':dict(sorted(profile.items())), + 'clean_core_rank_mass':sum(k*v for k,v in profile.items()), + 'clean_core_reconstruction_matches_packet':True, + 'exact_scalar_columns':712,'restored_helpers':480,'private_outputs_zero':8, + 'removed_child_mutant':{'result':'REJECT','reason':frame_failure}, + 'removed_correction_mutant':{'result':'REJECT','deleted_event':remove, + 'changed_output_indices':changed}} + def tagged(value, tag): + if not isinstance(value,list): + return [] + found=[value] if value and value[0]==tag else [] + for child in value: + found.extend(tagged(child,tag)) + return found + result['actual_QQ16_calls']={} + for call,side,lines in [('F_0','forward',8),('B_1_2','backward',24)]: + macro=packet['programs'][call] + core=tagged(macro,'retained_core') + need(len(core)==1 and core[0][1]==side,'actual macro resolves clean core') + line_events=tagged(macro,'native_line') + need(len(line_events)==lines,'complete added native line count') + for event in line_events: + recipe=packet['native_line_recipes'][event[2]] + need(recipe['rank']==1 and recipe['recipe']['rank']==1,'actual added line is rank one') + need(not tagged(macro,'center'),'macro contains no extra centre event') + profile={1:2412+lines,2:418,3:432,4:142,5:82} + result['actual_QQ16_calls'][call]={'core_orientation':side, + 'added_H1':lines,'total_literal_child_profile':profile, + 'literal_H8':0,'rank_mass':sum(k*v for k,v in profile.items())} + result['scope']='Existing local replacement independently reconstructed; no remaining literal H8 centre children in QQ16, no new physical/global retirement credit.' + return result + + +if __name__=='__main__': + parser=argparse.ArgumentParser() + parser.add_argument('--repo',required=True,type=Path) + parser.add_argument('--out',required=True,type=Path) + args=parser.parse_args() + receipt=run(args.repo) + args.out.write_text(json.dumps(receipt,indent=2,sort_keys=True)+'\n') + print(receipt['status']) diff --git a/research/qq16-centre-lifetime-boundary-audit/continuation.py b/research/qq16-centre-lifetime-boundary-audit/continuation.py new file mode 100644 index 000000000..21b9a1a77 --- /dev/null +++ b/research/qq16-centre-lifetime-boundary-audit/continuation.py @@ -0,0 +1,143 @@ +#!/usr/bin/env python3 +"""Independent constant-cover boundary audit; no predecessor executable imports. +Apache-2.0. Chris R / Clear1nsight with OpenAI Codex assistance. +""" +import argparse +from collections import Counter +from fractions import Fraction as Q +import gzip,hashlib,json +from pathlib import Path + +PINS={ +'research/joint-query/certificate.json.gz':'a5ed85fac5ebf3c091482a113ab0d351eb5a7892fe2841a35e16017ec1ff49f7', +'research/qq16-line-normalized-decoder/WORD.json':'5623b9cd62635d47f84e78135d817cfddec7ae31c154c565bf6e16cf5ed75475', +'research/qq16-line-normalized-decoder/PROOF.md':'0a0995e70f2a64c15cdd1aee66634d1ba221cbcb2a7cfa3a4d4950a37d0e143a', +} +DEMAND_WORD_PIN='f513d235b8206211a4716d013a6dacf34aaebda6839da721b0231981cb8b905e' +def need(ok,reason): + if not ok: raise ValueError(reason) +def sha(b):return hashlib.sha256(b).hexdigest() +def invoice(w): + c=Counter(e[0] for e in w) + for e in w: + if e[0]=='add': + q=abs(Q(e[3]));need(q in (1,Q(1,4)),'unpriced scalar') + c['unit_ADD' if q==1 else 'quarter_ADD']+=1 + c['scalar_allowance']=8*c['unit_ADD']+12*c['quarter_ADD']+2*c['clear'] + c['native_wrappers']=2*c['line'] + return dict(sorted(c.items())) +def run(repo,demand): + raw={} + for name,pin in PINS.items(): + raw[name]=(repo/name).read_bytes();need(sha(raw[name])==pin,'source:'+name) + draw=(demand/'WORD.json').read_bytes();need(sha(draw)==DEMAND_WORD_PIN,'demand word') + packet=json.loads(gzip.decompress(raw['research/joint-query/certificate.json.gz'])) + A,T,U=map(tuple,(packet['A_ports'],packet['T_ports'],packet['U_ports']));V=A+T + R=[[Q(row.get(str(p),0)) for p in range(112)] for row in packet['R_rows']] + word=json.loads(raw['research/qq16-line-normalized-decoder/WORD.json']);dw=json.loads(draw) + checkpoints=[i for i,e in enumerate(word) if e==['checkpoint','original_F0_outputs']] + need(checkpoints==[2740],'checkpoint changed');suffix=word[2741:] + need(suffix[0]==['add','W0','Z0','1'],'first continuation event changed') + # Read-before-write audit treats ADD as read-modify-write, including old dst. + written=set();needed=set();first={} + for i,e in enumerate(suffix,2741): + if e[0]=='add': + for name in e[1:3]: + if name not in written:needed.add(name);first.setdefault(name,i) + written.add(e[1]) + elif e[0]=='clear':written.add(e[1]) + elif e[0] in ('begin','end'):pass + else:raise ValueError('unexpected suffix op') + expected={s+str(p) for s in 'ZW' for p in range(112)} + need(needed==expected,'suffix input contract') + supplied={'W'+str(p) for p in U};missing=needed-supplied + need(len(missing)==128,'missing boundary count') + need(set(e[1] for e in dw[-16:] if e[0]=='clear' and e[2]=='identity')=={'W'+str(p) for p in V},'selected temp disposal') + def query(bank,subset):return [sum(R[k][p]*bank[p] for p in subset) for k in range(8)] + def inject(q,subset):return [sum(R[k][p]*q[k]/4 for k in range(8)) if p in subset else Q(0) for p in range(112)] + def plus(x,y,c=1):return [a+c*b for a,b in zip(x,y)] + def zero():return [Q(0)]*112 + def invert_f0(x1,y1): + f=query(x1,T);c=query(x1,A);kf=inject(f,U) + x0=[x1[p]+kf[p] if p in U else Q(0) for p in range(112)] + ru=query(x0,U);old_a=[f[k]-c[k]-ru[k] for k in range(8)] + ia=inject(old_a,A);it=inject(c,T) + for p in V:x0[p]=ia[p] if p in A else it[p] + y0=[y1[p]-x1[p] if p in U else x1[p]+y1[p]-x0[p] for p in range(112)] + return x0,y0 + def forward(x,y): + f=query(x,range(112));c=query(x,T);kf=inject(f,U+T);old=inject(c,A) + x1=[x[p]-kf[p] if p in U else old[p] if p in A else kf[p] for p in range(112)] + y1=[y[p]+x1[p] if p in U else x[p]+y[p]-x1[p] for p in range(112)] + future=inject(query(y1,U+T),A);u=plus(y1,future) + a=query(x1,T);b=query(u,range(112));ku=inject(a,U);pa=inject(a,T);pb=inject(b,T) + y2=[y1[p]+ku[p] if p in U else u[p] if p in A else u[p]-pb[p]-11*pa[p] for p in range(112)] + x2=[x1[p]-y1[p] if p in U else x1[p]+y1[p]-y2[p] for p in range(112)] + return x2,y2,x1,y1 + def project(y2): + correction=inject(query(y2,range(112)),U) + return [y2[p]-correction[p] for p in U] + def replay_suffix(x1,y1,events=None): + state={s+str(p):bank[p] for s,bank in [('Z',x1),('W',y1)] for p in range(112)} + active=set() + for e in (suffix if events is None else events): + op=e[0] + if op=='add':state[e[1]]+=Q(e[3])*state[e[2]] + elif op=='clear':state[e[1]]=Q(0) + elif op=='begin': + active={s+str(k) for s in 'FG' for k in range(8)} + for i,name in enumerate(sorted(active)):state[name]=Q(i+17) # adversarial private dirt + elif op=='end': + need(all(state[name]==0 for name in active),'suffix scratch leak') + for name in active:del state[name] + active=set() + need(not active,'unterminated suffix') + return [state['Z'+str(p)] for p in range(112)],[state['W'+str(p)] for p in range(112)] + # Every omitted boundary coordinate has a valid original input, with demanded + # y1_U identically zero. Inverting then forwarding each basis confirms legality. + basis_count=0 + for name in sorted(missing): + x1,y1=zero(),zero();(x1 if name[0]=='Z' else y1)[int(name[1:])]=Q(1) + original=invert_f0(x1,y1);x2,y2,xx,yy=forward(*original) + need((xx,yy)==(x1,y1),'F0 inverse basis legality '+name) + need(project(y2)==[0]*96,'projection basis collision '+name) + need(replay_suffix(x1,y1)==original,'literal suffix basis '+name) + need(any(original[0]+original[1]),'nonzero original '+name);basis_count+=1 + # Stronger current-Y-only collision: all current Y are zero in both runs, + # current X differs only at selected port0; the first suffix input Z0 differs. + x1,y1=zero(),zero();x1[0]=1 + original=invert_f0(x1,y1);x2,y2,xx,yy=forward(*original) + need(x2==x1 and y2==zero(),'current-Y collision') + need(replay_suffix(x1,y1)==original,'collision suffix') + # Mutate an actual dependency and a live final scratch clear, not source hashes. + bad=[list(e) for e in suffix];bad[0][2]='Z1' + need(replay_suffix(x1,y1,bad)!=original,'missing first Z0 dependency control') + k=next(k for k in range(8) if R[k][0]);victim='G'+str(k) + last_clear=max(i for i,e in enumerate(suffix) if e==['clear',victim,'identity']) + bad=[list(e) for i,e in enumerate(suffix) if i!=last_clear] + rejected=False + try: replay_suffix(x1,y1,bad) + except ValueError as e:rejected=str(e)=='suffix scratch leak' + need(rejected,'scratch disposal negative control') + encode=lambda v:{str(p):str(x) for p,x in enumerate(v) if x} + # Full-phase mismatch: identity has no coefficients, F17 has linear coeff1 + # on e0; constant-array witness above is semantic, this separate statement + # concerns the universal typed boundary, not its zero specialization. + result={ + 'status':'PASS_LITERAL_SUFFIX_BOUNDARY_OBSTRUCTION','scope':'PR2707 F0-inverse suffix consumes 224 F17 x1/y1 fields; PR3952 alone supplies96. Not a lower bound for new decoders using retained borrowed inputs.', + 'pins':PINS,'demand_word_sha256':DEMAND_WORD_PIN, + 'checkpoint_zero_based_event':2740,'first_suffix_zero_based_event':2741,'first_suffix_instruction':suffix[0], + 'entry_read_count':len(needed),'entry_missing_count':len(missing),'missing_fields':sorted(missing),'first_read':dict(sorted(first.items())), + 'supplied':{'W_U':96,'W_selected':'zero in identity frame, owned temps','Z':'absent','borrowed_current_XY':'still available but not x1/y1 and not owned'}, + 'suffix_invoice':invoice(suffix),'full_decoder_invoice':invoice(word),'projected_invoice':invoice(dw), + 'negative_controls':['replace first Z0 read with Z1 changes original output','omit final live G scratch CLEAR rejects scratch leak'], + 'complete_missing_basis_checks':basis_count,'current_Y_zero_collision':{'current_X':encode(x2),'current_Y':encode(y2),'demanded_y1_U':'all zero','checkpoint_x1':encode(xx),'original_x0':encode(original[0]),'original_y0':encode(original[1]),'first_suffix_W0_after_add':'1 versus 0'}, + 'frame_obstruction':{'cleared_W0':'identity','required_W0':'F17','differing_phase_coefficient':{'coordinate':0,'identity':0,'F17':1}}, + 'retirement_conclusion':'No centre retirement established: true recovery continuation needs128 additional boundary values. The complete retained fallback costs336 H1,464 maps,25840 scalar primitives; private peak16. Projection cleanup cannot establish retirement of unrelated producer centre work. The root provenance audit must decide whether those charges exist in the actual QQ16 source.', + } + need(result['suffix_invoice']['scalar_allowance']==10144,'suffix price') + need(result['full_decoder_invoice']['line']==336 and result['full_decoder_invoice']['scalar_allowance']==25840,'full price') + return result +if __name__=='__main__': + ap=argparse.ArgumentParser();ap.add_argument('--repo',type=Path,required=True);ap.add_argument('--demand',type=Path,required=True);ap.add_argument('--out',type=Path,required=True);a=ap.parse_args() + result=run(a.repo,a.demand);a.out.write_text(json.dumps(result,indent=2,sort_keys=True)+'\n');print(result['status']);print('128 omitted-boundary basis checks; exact all-zero-current-Y collision; suffix scalar10144/full scalar25840.') diff --git a/research/qq16-centre-lifetime-boundary-audit/outer.py b/research/qq16-centre-lifetime-boundary-audit/outer.py new file mode 100644 index 000000000..b9889b12d --- /dev/null +++ b/research/qq16-centre-lifetime-boundary-audit/outer.py @@ -0,0 +1,98 @@ +"""Exact constant-cover witness at a real ordinary bridge boundary. +Chris R / Clear1nsight with OpenAI assistance; Apache-2.0. No predecessor code imports. +The bridge semantics are pinned in qq16-controller-scope-map.md; the trace is +bound to the actual hosted template, including its intervening idle sweep. +""" +from fractions import Fraction as Q +from hashlib import sha256 +from io import BytesIO +import gzip +import json +import tarfile + +ARCHIVE='research/community-frontier1042-audit/selected-replay.tar.gz' +PACKET='research/joint-query/certificate.json.gz' +TEMPLATE='t16/global/hosted/GLOBAL-TEMPLATE.json.gz' +TEMPLATE_SHA='73f47a1e60b1e4ea66dbca9a497c411c8e6adc7984e276a437a10a9a7a13b47a' + + +def need(ok,why): + if not ok:raise ValueError(why) + + +def run(repo): + raw=(repo/ARCHIVE).read_bytes() + need(sha256(raw).hexdigest()=='22c3f4dce4b897a1d423d1388801933e288b6a6b1906cb15e1b16a5eb68db754','archive pin') + with tarfile.open(fileobj=BytesIO(raw),mode='r:gz') as tar: + found=[m for m in tar.getmembers() if m.name==TEMPLATE] + need(len(found)==1 and found[0].isfile(),'unique template member') + data=tar.extractfile(found[0]).read() + need(sha256(data).hexdigest()==TEMPLATE_SHA,'template member pin') + template=json.loads(gzip.decompress(data)) + raw=(repo/PACKET).read_bytes() + need(sha256(raw).hexdigest()=='a5ed85fac5ebf3c091482a113ab0d351eb5a7892fe2841a35e16017ec1ff49f7','packet pin') + packet=json.loads(gzip.decompress(raw)) + A,T,U=map(tuple,(packet['A_ports'],packet['T_ports'],packet['U_ports'])) + R=[[Q(row.get(str(p),0)) for p in range(112)] for row in packet['R_rows']] + need(template['recipe'][:4]==[ + {'kind':'local','pair':0,'reverse':False,'stage':0}, + {'kind':'local','pair':0,'reverse':True,'stage':1}, + {'coefficient':1,'dst':0,'kind':'bridge','src':1}, + {'kind':'local','pair':0,'reverse':False,'stage':2}], 'real logical continuation') + execution=[e for e in template['execution_schedule'] if e.get('replica')==0] + events=execution[:5] + need([e['kind'] for e in events]==['local_cover_sweep','local_cover_sweep','idle_cover_sweep','bridge','local_cover_sweep'],'actual physical event kinds') + need([e['source_event'] for e in events]==[0,1,2,3,4],'actual source event sequence') + need(events[1]['stage']==1 and events[2]['pair']==1 and events[2]['from_level']==-1 and events[2]['to_level']==1 and events[3]['src']==1 and events[3]['dst']==0 and events[3]['coefficient']==1 and events[4]['stage']==2,'actual bridge boundary') + zero=lambda:[Q(0)]*112 + def query(x,ports):return [sum(R[k][p]*x[p] for p in ports) for k in range(8)] + def inject(q,ports):return [sum(R[k][p]*q[k]/4 for k in range(8)) if p in ports else Q(0) for p in range(112)] + def forward0(x,y): + q=query(x,range(112));c=query(x,T);kf=inject(q,U+T);old=inject(c,A) + xx=[x[p]-kf[p] if p in U else old[p] if p in A else kf[p] for p in range(112)] + yy=[y[p]+xx[p] if p in U else x[p]+y[p]-xx[p] for p in range(112)] + return xx,yy + def backward1(x,y): + qu=query(y,U+T);future=inject(qu,A);u=[y[p]+future[p] for p in range(112)] + a=query(x,T);b=query(u,range(112));ku=inject(a,U);pa=inject(a,T);pb=inject(b,T) + yy=[y[p]+ku[p] if p in U else u[p] if p in A else u[p]-pb[p]-11*pa[p] for p in range(112)] + xx=[x[p]-y[p] if p in U else x[p]+y[p]-yy[p] for p in range(112)] + return xx,yy + def project(y): + k=inject(query(y,range(112)),U) + return [y[p]-k[p] for p in U] + def encode(v):return {str(p):str(x) for p,x in enumerate(v) if x} + need(all(sum(R[i][p]*R[j][p] for p in U)==48*(i==j) for i in range(8) for j in range(8)),'eight independent ordinary response directions') + cases=[] + for channel in range(8): + a=[Q(4)*(j==channel) for j in range(8)] + k=inject(a,U);pa=inject(a,A);pt=inject(a,T) + x0=[k[p]-11*pa[p] for p in range(112)] + y0=[11*pa[p]+pt[p] for p in range(112)] + need(all(v.denominator==1 for v in x0+y0),'integer native witness') + x1,y1=forward0(x0,y0) + need(x1==pt and y1==zero(),'reachable preB1 cut') + x2,y2=backward1(x1,y1) + need(project(y2)==[0]*96,'identical projected demand to zero execution') + need([x2[p] for p in U]==[0]*96,'same first-bridge target X_U') + # Other pair fields are identically zero. Idle preparation fixes zero. + # Bridge X0_U+=X1_U is zero; Y1_U-=Y0_U is the distinguishing read. + changed={p:-y2[p] for p in U if y2[p]} + need(len(changed)==48 and changed=={p:-R[channel][p] for p in U if R[channel][p]},'actual bridge separation') + cases.append({'channel':channel,'original_X0':encode(x0),'original_Y0':encode(y0), + 'projected_y1_U':'96 zeros','postB1_X2':encode(x2),'postB1_Y2':encode(y2), + 'bridge_Y_pair1_U':{str(p):str(v) for p,v in changed.items()}, + 'maximum_original_absolute_value':str(max(map(abs,x0+y0)))}) + need(any(cases[0]['bridge_Y_pair1_U'].values()),'bridge write is material') + # Meaningful controls: suppressing the bridge Y write destroys separation; + # removing the projected query correction destroys equality of observations. + need({}!=cases[0]['bridge_Y_pair1_U'],'omit bridge Y write control') + need(any(Q(v) for p,v in cases[0]['postB1_Y2'].items() if int(p) in U),'omit query correction control') + return {'status':'PASS_ACTUAL_OUTER_BRIDGE_BOUNDARY', + 'template_member':TEMPLATE,'template_member_sha256':TEMPLATE_SHA, + 'logical_recipe_prefix':template['recipe'][:4],'replica0_physical_prefix':events, + 'required_bridge_roles':['current X0_U','current X1_U','current Y0_U','current Y1_U'], + 'projected_output_role':'extra earlier y1_U; not current postB1 Y0_U', + 'independent_missing_query_directions':8,'integer_constant_witnesses':cases, + 'negative_controls':['omit bridge Y write loses separating observable','omit query correction loses identical demand'], + 'scope':'The real bridge cannot factor through projected y1_U alone with other-pair state fixed. PR3952 retains borrowed currentXY; reading that state is outside the restricted observation and is not excluded. No whole-controller admission or universal boundary lower bound.'} diff --git a/research/qq16-centre-lifetime-boundary-audit/test_verify.py b/research/qq16-centre-lifetime-boundary-audit/test_verify.py new file mode 100644 index 000000000..c774fdc65 --- /dev/null +++ b/research/qq16-centre-lifetime-boundary-audit/test_verify.py @@ -0,0 +1,94 @@ +#!/usr/bin/env python3 +"""Behavioral export/integrity tests; Chris R / Clear1nsight, OpenAI; Apache-2.0.""" +import hashlib +import importlib.util +import json +from pathlib import Path +import shutil +import subprocess +import sys +import tempfile +import unittest + +HERE=Path(__file__).resolve().parent +ROOT=HERE.parents[1] + + +def snapshot(root): + return {p.relative_to(root).as_posix():hashlib.sha256(p.read_bytes()).hexdigest() + for p in root.rglob('*') if p.is_file()} + + +class BoundaryTests(unittest.TestCase): + @classmethod + def setUpClass(cls): + s=importlib.util.spec_from_file_location('audit',HERE/'verify.py') + cls.v=importlib.util.module_from_spec(s);s.loader.exec_module(cls.v) + cls.result=cls.v.calculate() + + def export(self): + tmp=tempfile.TemporaryDirectory();self.addCleanup(tmp.cleanup) + root=Path(tmp.name);pkg=root/'research'/HERE.name + shutil.copytree(HERE,pkg,ignore=shutil.ignore_patterns('__pycache__')) + for row in json.loads((HERE/'SOURCES.json').read_bytes())['files']: + if row['usage']=='input': + target=root/row['path'];target.parent.mkdir(parents=True,exist_ok=True) + shutil.copy2(ROOT/row['path'],target) + return root,pkg + + def execute(self,pkg,opt=True): + flags=['-I','-Werror','-B']+(['-O'] if opt else []) + return subprocess.run([sys.executable,*flags,str(pkg/'verify.py')],capture_output=True,text=True,timeout=240) + + def test_complete_typed_receipt(self): + self.assertEqual(self.v.canonical(self.result),self.v.canonical(self.v.decode((HERE/'RESULT.json').read_bytes()))) + self.assertEqual(self.result['centre_provenance_and_lifetimes']['actual_QQ16_calls']['F_0']['literal_H8'],0) + self.assertEqual(self.result['actual_recovery_continuation']['entry_missing_count'],128) + + def test_read_only_git_free_export(self): + root,pkg=self.export();before=snapshot(root);paths=list(root.rglob('*')) + try: + for p in paths:p.chmod(0o555 if p.is_dir() else 0o444) + root.chmod(0o555) + done=self.execute(pkg) + self.assertEqual(done.returncode,0,done.stderr) + self.assertIn('PASS_QQ16_CENTRE_LIFETIME_BOUNDARY_AUDIT',done.stdout) + self.assertEqual(snapshot(root),before) + finally: + root.chmod(0o755) + for p in paths:p.chmod(0o755 if p.is_dir() else 0o644) + + def test_source_rejected_before_parsing(self): + root,pkg=self.export() + (root/'research/joint-query/certificate.json.gz').write_bytes(b'NOT_GZIP_NOT_JSON') + done=self.execute(pkg) + self.assertNotEqual(done.returncode,0) + self.assertIn('source SHA256:',done.stderr) + self.assertNotIn('BadGzipFile',done.stderr) + + def test_retained_predecessor_word_corruption(self): + _,pkg=self.export();path=pkg/'vendor/pr3952/WORD.json' + path.write_bytes(path.read_bytes()+b' ') + done=self.execute(pkg) + self.assertNotEqual(done.returncode,0);self.assertIn('retained PR3952 word',done.stderr) + + def test_typed_result_corruption(self): + _,pkg=self.export();path=pkg/'RESULT.json';r=json.loads(path.read_bytes()) + r['actual_outer_boundary']['independent_missing_query_directions']='8';path.write_text(json.dumps(r)) + done=self.execute(pkg) + self.assertNotEqual(done.returncode,0);self.assertIn('complete RESULT mismatch',done.stderr) + + def test_missing_receipt_not_recreated(self): + _,pkg=self.export();path=pkg/'RESULT.json';path.unlink() + done=self.execute(pkg) + self.assertNotEqual(done.returncode,0);self.assertFalse(path.exists()) + + def test_conditional_budget_and_full_completion_have_different_decisions(self): + budget=self.result['conditional_budget'] + self.assertEqual(budget['fixed_total_h8_pair']['0']['decision'],'strict_pass') + self.assertEqual(budget['restored_full_consumer336_pair_h8_waived']['decision'],'strict_fail') + self.assertEqual(budget['fixed_total_h8_pair']['2']['decision'],'strict_pass') + self.assertEqual(budget['fixed_total_h8_pair']['3']['decision'],'strict_fail') + + +if __name__=='__main__':unittest.main() diff --git a/research/qq16-centre-lifetime-boundary-audit/vendor/pr3952/WORD.json b/research/qq16-centre-lifetime-boundary-audit/vendor/pr3952/WORD.json new file mode 100644 index 000000000..c23da2f20 --- /dev/null +++ b/research/qq16-centre-lifetime-boundary-audit/vendor/pr3952/WORD.json @@ -0,0 +1,1412 @@ +[ + ["clear","W0","hole0"], + ["add","W0","Y0","1"], + ["line","W0",0,1], + ["clear","W1","hole1"], + ["add","W1","Y1","1"], + ["line","W1",1,1], + ["clear","W2","hole2"], + ["add","W2","Y2","1"], + ["line","W2",2,1], + ["clear","W3","hole3"], + ["add","W3","Y3","1"], + ["line","W3",3,1], + ["clear","W4","hole4"], + ["add","W4","Y4","1"], + ["line","W4",4,1], + ["clear","W5","hole5"], + ["add","W5","Y5","1"], + ["line","W5",5,1], + ["clear","W6","hole6"], + ["add","W6","Y6","1"], + ["line","W6",6,1], + ["clear","W7","hole7"], + ["add","W7","Y7","1"], + ["line","W7",7,1], + ["clear","W8","hole8"], + ["add","W8","Y8","1"], + ["line","W8",8,1], + ["clear","W9","hole9"], + ["add","W9","Y9","1"], + ["line","W9",9,1], + ["clear","W10","hole10"], + ["add","W10","Y10","1"], + ["line","W10",10,1], + ["clear","W11","hole11"], + ["add","W11","Y11","1"], + ["line","W11",11,1], + ["clear","W12","hole12"], + ["add","W12","Y12","1"], + ["line","W12",12,1], + ["clear","W13","hole13"], + ["add","W13","Y13","1"], + ["line","W13",13,1], + ["clear","W14","hole14"], + ["add","W14","Y14","1"], + ["line","W14",14,1], + ["clear","W15","hole15"], + ["add","W15","Y15","1"], + ["line","W15",15,1], + ["clear","W16","hole16"], + ["add","W16","Y16","1"], + ["line","W16",16,1], + ["clear","W17","hole17"], + ["add","W17","Y17","1"], + ["line","W17",17,1], + ["clear","W18","hole18"], + ["add","W18","Y18","1"], + ["line","W18",18,1], + ["clear","W19","hole19"], + ["add","W19","Y19","1"], + ["line","W19",19,1], + ["clear","W20","hole20"], + ["add","W20","Y20","1"], + ["line","W20",20,1], + ["clear","W21","hole21"], + ["add","W21","Y21","1"], + ["line","W21",21,1], + ["clear","W22","hole22"], + ["add","W22","Y22","1"], + ["line","W22",22,1], + ["clear","W23","hole23"], + ["add","W23","Y23","1"], + ["line","W23",23,1], + ["clear","W24","hole24"], + ["add","W24","Y24","1"], + ["line","W24",24,1], + ["clear","W25","hole25"], + ["add","W25","Y25","1"], + ["line","W25",25,1], + ["clear","W26","hole26"], + ["add","W26","Y26","1"], + ["line","W26",26,1], + ["clear","W27","hole27"], + ["add","W27","Y27","1"], + ["line","W27",27,1], + ["clear","W28","hole28"], + ["add","W28","Y28","1"], + ["line","W28",28,1], + ["clear","W29","hole29"], + ["add","W29","Y29","1"], + ["line","W29",29,1], + ["clear","W30","hole30"], + ["add","W30","Y30","1"], + ["line","W30",30,1], + ["clear","W31","hole31"], + ["add","W31","Y31","1"], + ["line","W31",31,1], + ["clear","W32","hole32"], + ["add","W32","Y32","1"], + ["line","W32",32,1], + ["clear","W33","hole33"], + ["add","W33","Y33","1"], + ["line","W33",33,1], + ["clear","W34","hole34"], + ["add","W34","Y34","1"], + ["line","W34",34,1], + ["clear","W35","hole35"], + ["add","W35","Y35","1"], + ["line","W35",35,1], + ["clear","W36","hole36"], + ["add","W36","Y36","1"], + ["line","W36",36,1], + ["clear","W37","hole37"], + ["add","W37","Y37","1"], + ["line","W37",37,1], + ["clear","W38","hole38"], + ["add","W38","Y38","1"], + ["line","W38",38,1], + ["clear","W39","hole39"], + ["add","W39","Y39","1"], + ["line","W39",39,1], + ["clear","W40","hole40"], + ["add","W40","Y40","1"], + ["line","W40",40,1], + ["clear","W41","hole41"], + ["add","W41","Y41","1"], + ["line","W41",41,1], + ["clear","W42","hole42"], + ["add","W42","Y42","1"], + ["line","W42",42,1], + ["clear","W43","hole43"], + ["add","W43","Y43","1"], + ["line","W43",43,1], + ["clear","W44","hole44"], + ["add","W44","Y44","1"], + ["line","W44",44,1], + ["clear","W45","hole45"], + ["add","W45","Y45","1"], + ["line","W45",45,1], + ["clear","W46","hole46"], + ["add","W46","Y46","1"], + ["line","W46",46,1], + ["clear","W47","hole47"], + ["add","W47","Y47","1"], + ["line","W47",47,1], + ["clear","W48","hole48"], + ["add","W48","Y48","1"], + ["line","W48",48,1], + ["clear","W49","hole49"], + ["add","W49","Y49","1"], + ["line","W49",49,1], + ["clear","W50","hole50"], + ["add","W50","Y50","1"], + ["line","W50",50,1], + ["clear","W51","hole51"], + ["add","W51","Y51","1"], + ["line","W51",51,1], + ["clear","W52","hole52"], + ["add","W52","Y52","1"], + ["line","W52",52,1], + ["clear","W53","hole53"], + ["add","W53","Y53","1"], + ["line","W53",53,1], + ["clear","W54","hole54"], + ["add","W54","Y54","1"], + ["line","W54",54,1], + ["clear","W55","hole55"], + ["add","W55","Y55","1"], + ["line","W55",55,1], + ["clear","W56","hole56"], + ["add","W56","Y56","1"], + ["line","W56",56,1], + ["clear","W57","hole57"], + ["add","W57","Y57","1"], + ["line","W57",57,1], + ["clear","W58","hole58"], + ["add","W58","Y58","1"], + ["line","W58",58,1], + ["clear","W59","hole59"], + ["add","W59","Y59","1"], + ["line","W59",59,1], + ["clear","W60","hole60"], + ["add","W60","Y60","1"], + ["line","W60",60,1], + ["clear","W61","hole61"], + ["add","W61","Y61","1"], + ["line","W61",61,1], + ["clear","W62","hole62"], + ["add","W62","Y62","1"], + ["line","W62",62,1], + ["clear","W63","hole63"], + ["add","W63","Y63","1"], + ["line","W63",63,1], + ["clear","W64","hole64"], + ["add","W64","Y64","1"], + ["line","W64",64,1], + ["clear","W65","hole65"], + ["add","W65","Y65","1"], + ["line","W65",65,1], + ["clear","W66","hole66"], + ["add","W66","Y66","1"], + ["line","W66",66,1], + ["clear","W67","hole67"], + ["add","W67","Y67","1"], + ["line","W67",67,1], + ["clear","W68","hole68"], + ["add","W68","Y68","1"], + ["line","W68",68,1], + ["clear","W69","hole69"], + ["add","W69","Y69","1"], + ["line","W69",69,1], + ["clear","W70","hole70"], + ["add","W70","Y70","1"], + ["line","W70",70,1], + ["clear","W71","hole71"], + ["add","W71","Y71","1"], + ["line","W71",71,1], + ["clear","W72","hole72"], + ["add","W72","Y72","1"], + ["line","W72",72,1], + ["clear","W73","hole73"], + ["add","W73","Y73","1"], + ["line","W73",73,1], + ["clear","W74","hole74"], + ["add","W74","Y74","1"], + ["line","W74",74,1], + ["clear","W75","hole75"], + ["add","W75","Y75","1"], + ["line","W75",75,1], + ["clear","W76","hole76"], + ["add","W76","Y76","1"], + ["line","W76",76,1], + ["clear","W77","hole77"], + ["add","W77","Y77","1"], + ["line","W77",77,1], + ["clear","W78","hole78"], + ["add","W78","Y78","1"], + ["line","W78",78,1], + ["clear","W79","hole79"], + ["add","W79","Y79","1"], + ["line","W79",79,1], + ["clear","W80","hole80"], + ["add","W80","Y80","1"], + ["line","W80",80,1], + ["clear","W81","hole81"], + ["add","W81","Y81","1"], + ["line","W81",81,1], + ["clear","W82","hole82"], + ["add","W82","Y82","1"], + ["line","W82",82,1], + ["clear","W83","hole83"], + ["add","W83","Y83","1"], + ["line","W83",83,1], + ["clear","W84","hole84"], + ["add","W84","Y84","1"], + ["line","W84",84,1], + ["clear","W85","hole85"], + ["add","W85","Y85","1"], + ["line","W85",85,1], + ["clear","W86","hole86"], + ["add","W86","Y86","1"], + ["line","W86",86,1], + ["clear","W87","hole87"], + ["add","W87","Y87","1"], + ["line","W87",87,1], + ["clear","W88","hole88"], + ["add","W88","Y88","1"], + ["line","W88",88,1], + ["clear","W89","hole89"], + ["add","W89","Y89","1"], + ["line","W89",89,1], + ["clear","W90","hole90"], + ["add","W90","Y90","1"], + ["line","W90",90,1], + ["clear","W91","hole91"], + ["add","W91","Y91","1"], + ["line","W91",91,1], + ["clear","W92","hole92"], + ["add","W92","Y92","1"], + ["line","W92",92,1], + ["clear","W93","hole93"], + ["add","W93","Y93","1"], + ["line","W93",93,1], + ["clear","W94","hole94"], + ["add","W94","Y94","1"], + ["line","W94",94,1], + ["clear","W95","hole95"], + ["add","W95","Y95","1"], + ["line","W95",95,1], + ["clear","W96","hole96"], + ["add","W96","Y96","1"], + ["line","W96",96,1], + ["clear","W97","hole97"], + ["add","W97","Y97","1"], + ["line","W97",97,1], + ["clear","W98","hole98"], + ["add","W98","Y98","1"], + ["line","W98",98,1], + ["clear","W99","hole99"], + ["add","W99","Y99","1"], + ["line","W99",99,1], + ["clear","W100","hole100"], + ["add","W100","Y100","1"], + ["line","W100",100,1], + ["clear","W101","hole101"], + ["add","W101","Y101","1"], + ["line","W101",101,1], + ["clear","W102","hole102"], + ["add","W102","Y102","1"], + ["line","W102",102,1], + ["clear","W103","hole103"], + ["add","W103","Y103","1"], + ["line","W103",103,1], + ["clear","W104","hole104"], + ["add","W104","Y104","1"], + ["line","W104",104,1], + ["clear","W105","hole105"], + ["add","W105","Y105","1"], + ["line","W105",105,1], + ["clear","W106","hole106"], + ["add","W106","Y106","1"], + ["line","W106",106,1], + ["clear","W107","hole107"], + ["add","W107","Y107","1"], + ["line","W107",107,1], + ["clear","W108","hole108"], + ["add","W108","Y108","1"], + ["line","W108",108,1], + ["clear","W109","hole109"], + ["add","W109","Y109","1"], + ["line","W109",109,1], + ["clear","W110","hole110"], + ["add","W110","Y110","1"], + ["line","W110",110,1], + ["clear","W111","hole111"], + ["add","W111","Y111","1"], + ["line","W111",111,1], + ["map","W0",1,0,false], + ["map","W1",1,1,false], + ["map","W2",1,2,false], + ["map","W3",1,3,false], + ["map","W4",1,4,false], + ["map","W5",1,5,false], + ["map","W6",1,6,false], + ["map","W7",1,7,false], + ["map","W8",1,8,false], + ["map","W9",1,9,false], + ["map","W10",1,10,false], + ["map","W11",1,11,false], + ["map","W12",1,12,false], + ["map","W13",1,13,false], + ["map","W14",1,14,false], + ["map","W15",1,15,false], + ["map","W16",1,16,false], + ["map","W17",1,17,false], + ["map","W18",1,18,false], + ["map","W19",1,19,false], + ["map","W20",1,20,false], + ["map","W21",1,21,false], + ["map","W22",1,22,false], + ["map","W23",1,23,false], + ["map","W24",1,24,false], + ["map","W25",1,25,false], + ["map","W26",1,26,false], + ["map","W27",1,27,false], + ["map","W28",1,28,false], + ["map","W29",1,29,false], + ["map","W30",1,30,false], + ["map","W31",1,31,false], + ["map","W32",1,32,false], + ["map","W33",1,33,false], + ["map","W34",1,34,false], + ["map","W35",1,35,false], + ["map","W36",1,36,false], + ["map","W37",1,37,false], + ["map","W38",1,38,false], + ["map","W39",1,39,false], + ["map","W40",1,40,false], + ["map","W41",1,41,false], + ["map","W42",1,42,false], + ["map","W43",1,43,false], + ["map","W44",1,44,false], + ["map","W45",1,45,false], + ["map","W46",1,46,false], + ["map","W47",1,47,false], + ["map","W48",1,48,false], + ["map","W49",1,49,false], + ["map","W50",1,50,false], + ["map","W51",1,51,false], + ["map","W52",1,52,false], + ["map","W53",1,53,false], + ["map","W54",1,54,false], + ["map","W55",1,55,false], + ["map","W56",1,56,false], + ["map","W57",1,57,false], + ["map","W58",1,58,false], + ["map","W59",1,59,false], + ["map","W60",1,60,false], + ["map","W61",1,61,false], + ["map","W62",1,62,false], + ["map","W63",1,63,false], + ["map","W64",1,64,false], + ["map","W65",1,65,false], + ["map","W66",1,66,false], + ["map","W67",1,67,false], + ["map","W68",1,68,false], + ["map","W69",1,69,false], + ["map","W70",1,70,false], + ["map","W71",1,71,false], + ["map","W72",1,72,false], + ["map","W73",1,73,false], + ["map","W74",1,74,false], + ["map","W75",1,75,false], + ["map","W76",1,76,false], + ["map","W77",1,77,false], + ["map","W78",1,78,false], + ["map","W79",1,79,false], + ["map","W80",1,80,false], + ["map","W81",1,81,false], + ["map","W82",1,82,false], + ["map","W83",1,83,false], + ["map","W84",1,84,false], + ["map","W85",1,85,false], + ["map","W86",1,86,false], + ["map","W87",1,87,false], + ["map","W88",1,88,false], + ["map","W89",1,89,false], + ["map","W90",1,90,false], + ["map","W91",1,91,false], + ["map","W92",1,92,false], + ["map","W93",1,93,false], + ["map","W94",1,94,false], + ["map","W95",1,95,false], + ["map","W96",1,96,false], + ["map","W97",1,97,false], + ["map","W98",1,98,false], + ["map","W99",1,99,false], + ["map","W100",1,100,false], + ["map","W101",1,101,false], + ["map","W102",1,102,false], + ["map","W103",1,103,false], + ["map","W104",1,104,false], + ["map","W105",1,105,false], + ["map","W106",1,106,false], + ["map","W107",1,107,false], + ["map","W108",1,108,false], + ["map","W109",1,109,false], + ["map","W110",1,110,false], + ["map","W111",1,111,false], + ["begin","B1_current_query",8], + ["clear","F0","wide"], + ["add","F0","W0","1"], + ["add","F0","W2","1"], + ["add","F0","W7","1"], + ["add","F0","W9","1"], + ["add","F0","W10","1"], + ["add","F0","W11","1"], + ["add","F0","W12","1"], + ["add","F0","W17","1"], + ["add","F0","W18","1"], + ["add","F0","W19","1"], + ["add","F0","W22","1"], + ["add","F0","W23","1"], + ["add","F0","W24","1"], + ["add","F0","W25","1"], + ["add","F0","W27","1"], + ["add","F0","W31","1"], + ["add","F0","W32","1"], + ["add","F0","W33","1"], + ["add","F0","W34","1"], + ["add","F0","W35","1"], + ["add","F0","W38","1"], + ["add","F0","W39","1"], + ["add","F0","W40","1"], + ["add","F0","W45","1"], + ["add","F0","W48","1"], + ["add","F0","W49","1"], + ["add","F0","W50","1"], + ["add","F0","W54","1"], + ["add","F0","W55","1"], + ["add","F0","W56","1"], + ["add","F0","W57","1"], + ["add","F0","W61","1"], + ["add","F0","W62","1"], + ["add","F0","W63","1"], + ["add","F0","W70","1"], + ["add","F0","W71","1"], + ["add","F0","W72","1"], + ["add","F0","W76","1"], + ["add","F0","W77","1"], + ["add","F0","W79","1"], + ["add","F0","W81","1"], + ["add","F0","W85","1"], + ["add","F0","W87","1"], + ["add","F0","W89","1"], + ["add","F0","W90","1"], + ["add","F0","W91","1"], + ["add","F0","W92","1"], + ["add","F0","W94","1"], + ["add","F0","W98","1"], + ["add","F0","W100","1"], + ["add","F0","W101","1"], + ["add","F0","W102","1"], + ["add","F0","W103","1"], + ["add","F0","W107","1"], + ["add","F0","W108","1"], + ["add","F0","W109","1"], + ["clear","F1","wide"], + ["add","F1","W0","1"], + ["add","F1","W1","1"], + ["add","F1","W2","1"], + ["add","F1","W3","1"], + ["add","F1","W4","1"], + ["add","F1","W5","1"], + ["add","F1","W6","1"], + ["add","F1","W7","-1"], + ["add","F1","W8","1"], + ["add","F1","W9","-1"], + ["add","F1","W10","-1"], + ["add","F1","W11","-1"], + ["add","F1","W25","1"], + ["add","F1","W26","1"], + ["add","F1","W27","1"], + ["add","F1","W28","1"], + ["add","F1","W29","1"], + ["add","F1","W30","1"], + ["add","F1","W57","-1"], + ["add","F1","W58","1"], + ["add","F1","W59","1"], + ["add","F1","W60","1"], + ["add","F1","W61","-1"], + ["add","F1","W62","-1"], + ["add","F1","W63","-1"], + ["add","F1","W64","1"], + ["add","F1","W65","1"], + ["add","F1","W66","1"], + ["add","F1","W67","1"], + ["add","F1","W68","1"], + ["add","F1","W69","1"], + ["add","F1","W70","1"], + ["add","F1","W71","1"], + ["add","F1","W72","1"], + ["add","F1","W73","1"], + ["add","F1","W74","1"], + ["add","F1","W75","1"], + ["add","F1","W76","1"], + ["add","F1","W79","-1"], + ["add","F1","W80","1"], + ["add","F1","W81","-1"], + ["add","F1","W82","1"], + ["add","F1","W83","1"], + ["add","F1","W84","1"], + ["add","F1","W86","1"], + ["add","F1","W87","1"], + ["add","F1","W88","1"], + ["add","F1","W89","1"], + ["add","F1","W90","1"], + ["add","F1","W91","1"], + ["add","F1","W92","-1"], + ["add","F1","W93","1"], + ["add","F1","W94","-1"], + ["add","F1","W95","1"], + ["add","F1","W96","1"], + ["add","F1","W97","1"], + ["clear","F2","wide"], + ["add","F2","W0","1"], + ["add","F2","W1","1"], + ["add","F2","W6","1"], + ["add","F2","W7","-1"], + ["add","F2","W12","1"], + ["add","F2","W13","1"], + ["add","F2","W14","1"], + ["add","F2","W15","1"], + ["add","F2","W16","1"], + ["add","F2","W17","-1"], + ["add","F2","W18","-1"], + ["add","F2","W19","-1"], + ["add","F2","W27","-1"], + ["add","F2","W28","-1"], + ["add","F2","W29","-1"], + ["add","F2","W30","-1"], + ["add","F2","W31","1"], + ["add","F2","W38","-1"], + ["add","F2","W39","-1"], + ["add","F2","W40","-1"], + ["add","F2","W41","1"], + ["add","F2","W42","1"], + ["add","F2","W43","1"], + ["add","F2","W44","1"], + ["add","F2","W51","1"], + ["add","F2","W52","1"], + ["add","F2","W53","1"], + ["add","F2","W54","1"], + ["add","F2","W55","1"], + ["add","F2","W56","1"], + ["add","F2","W57","1"], + ["add","F2","W58","-1"], + ["add","F2","W59","-1"], + ["add","F2","W60","-1"], + ["add","F2","W73","1"], + ["add","F2","W74","1"], + ["add","F2","W75","1"], + ["add","F2","W76","1"], + ["add","F2","W77","-1"], + ["add","F2","W78","1"], + ["add","F2","W81","-1"], + ["add","F2","W82","1"], + ["add","F2","W83","1"], + ["add","F2","W84","1"], + ["add","F2","W86","-1"], + ["add","F2","W87","-1"], + ["add","F2","W92","1"], + ["add","F2","W93","-1"], + ["add","F2","W99","1"], + ["add","F2","W100","1"], + ["add","F2","W101","1"], + ["add","F2","W102","1"], + ["add","F2","W103","-1"], + ["add","F2","W104","1"], + ["add","F2","W105","1"], + ["add","F2","W106","1"], + ["clear","F3","wide"], + ["add","F3","W0","1"], + ["add","F3","W3","1"], + ["add","F3","W4","1"], + ["add","F3","W5","1"], + ["add","F3","W7","1"], + ["add","F3","W8","-1"], + ["add","F3","W13","1"], + ["add","F3","W14","1"], + ["add","F3","W15","1"], + ["add","F3","W16","-1"], + ["add","F3","W22","-1"], + ["add","F3","W23","-1"], + ["add","F3","W24","-1"], + ["add","F3","W26","-1"], + ["add","F3","W27","-1"], + ["add","F3","W32","1"], + ["add","F3","W33","1"], + ["add","F3","W34","1"], + ["add","F3","W35","-1"], + ["add","F3","W41","-1"], + ["add","F3","W42","-1"], + ["add","F3","W43","-1"], + ["add","F3","W44","-1"], + ["add","F3","W45","-1"], + ["add","F3","W48","1"], + ["add","F3","W49","1"], + ["add","F3","W50","1"], + ["add","F3","W51","1"], + ["add","F3","W52","1"], + ["add","F3","W53","1"], + ["add","F3","W57","-1"], + ["add","F3","W64","-1"], + ["add","F3","W65","-1"], + ["add","F3","W66","-1"], + ["add","F3","W67","1"], + ["add","F3","W68","1"], + ["add","F3","W69","1"], + ["add","F3","W76","-1"], + ["add","F3","W78","1"], + ["add","F3","W80","1"], + ["add","F3","W81","-1"], + ["add","F3","W85","1"], + ["add","F3","W87","1"], + ["add","F3","W88","1"], + ["add","F3","W92","1"], + ["add","F3","W95","-1"], + ["add","F3","W96","-1"], + ["add","F3","W97","-1"], + ["add","F3","W98","1"], + ["add","F3","W99","1"], + ["add","F3","W104","-1"], + ["add","F3","W105","-1"], + ["add","F3","W106","-1"], + ["add","F3","W107","-1"], + ["add","F3","W108","-1"], + ["add","F3","W109","-1"], + ["clear","F4","wide"], + ["add","F4","W1","-1"], + ["add","F4","W3","-1"], + ["add","F4","W6","1"], + ["add","F4","W8","1"], + ["add","F4","W10","-1"], + ["add","F4","W11","-1"], + ["add","F4","W12","1"], + ["add","F4","W14","1"], + ["add","F4","W15","1"], + ["add","F4","W17","1"], + ["add","F4","W20","1"], + ["add","F4","W21","1"], + ["add","F4","W24","-1"], + ["add","F4","W26","-1"], + ["add","F4","W28","-1"], + ["add","F4","W31","-1"], + ["add","F4","W32","-1"], + ["add","F4","W35","-1"], + ["add","F4","W36","1"], + ["add","F4","W37","1"], + ["add","F4","W38","-1"], + ["add","F4","W41","1"], + ["add","F4","W42","1"], + ["add","F4","W45","1"], + ["add","F4","W46","1"], + ["add","F4","W47","1"], + ["add","F4","W48","1"], + ["add","F4","W52","-1"], + ["add","F4","W53","-1"], + ["add","F4","W56","-1"], + ["add","F4","W58","1"], + ["add","F4","W62","1"], + ["add","F4","W63","1"], + ["add","F4","W66","-1"], + ["add","F4","W67","1"], + ["add","F4","W70","1"], + ["add","F4","W71","1"], + ["add","F4","W75","-1"], + ["add","F4","W77","-1"], + ["add","F4","W80","1"], + ["add","F4","W82","1"], + ["add","F4","W85","-1"], + ["add","F4","W86","-1"], + ["add","F4","W88","-1"], + ["add","F4","W90","-1"], + ["add","F4","W91","-1"], + ["add","F4","W93","1"], + ["add","F4","W95","1"], + ["add","F4","W98","1"], + ["add","F4","W100","1"], + ["add","F4","W103","1"], + ["add","F4","W105","-1"], + ["add","F4","W106","-1"], + ["add","F4","W107","1"], + ["add","F4","W110","1"], + ["add","F4","W111","1"], + ["clear","F5","wide"], + ["add","F5","W4","-1"], + ["add","F5","W5","1"], + ["add","F5","W10","1"], + ["add","F5","W11","-1"], + ["add","F5","W14","-1"], + ["add","F5","W15","1"], + ["add","F5","W18","1"], + ["add","F5","W19","-1"], + ["add","F5","W20","-1"], + ["add","F5","W21","1"], + ["add","F5","W22","1"], + ["add","F5","W23","-1"], + ["add","F5","W29","-1"], + ["add","F5","W30","1"], + ["add","F5","W33","-1"], + ["add","F5","W34","1"], + ["add","F5","W36","1"], + ["add","F5","W37","-1"], + ["add","F5","W39","-1"], + ["add","F5","W40","1"], + ["add","F5","W41","1"], + ["add","F5","W42","-1"], + ["add","F5","W46","-1"], + ["add","F5","W47","1"], + ["add","F5","W49","1"], + ["add","F5","W50","-1"], + ["add","F5","W52","1"], + ["add","F5","W53","-1"], + ["add","F5","W54","1"], + ["add","F5","W55","-1"], + ["add","F5","W59","1"], + ["add","F5","W60","-1"], + ["add","F5","W62","-1"], + ["add","F5","W63","1"], + ["add","F5","W64","1"], + ["add","F5","W65","-1"], + ["add","F5","W68","1"], + ["add","F5","W69","-1"], + ["add","F5","W70","1"], + ["add","F5","W71","-1"], + ["add","F5","W73","1"], + ["add","F5","W74","-1"], + ["add","F5","W83","1"], + ["add","F5","W84","-1"], + ["add","F5","W90","1"], + ["add","F5","W91","-1"], + ["add","F5","W96","1"], + ["add","F5","W97","-1"], + ["add","F5","W101","1"], + ["add","F5","W102","-1"], + ["add","F5","W105","1"], + ["add","F5","W106","-1"], + ["add","F5","W108","1"], + ["add","F5","W109","-1"], + ["add","F5","W110","-1"], + ["add","F5","W111","1"], + ["clear","F6","wide"], + ["add","F6","W2","1"], + ["add","F6","W3","1"], + ["add","F6","W8","1"], + ["add","F6","W9","-1"], + ["add","F6","W12","1"], + ["add","F6","W13","1"], + ["add","F6","W16","1"], + ["add","F6","W17","-1"], + ["add","F6","W20","1"], + ["add","F6","W21","1"], + ["add","F6","W22","-1"], + ["add","F6","W23","-1"], + ["add","F6","W25","-1"], + ["add","F6","W26","-1"], + ["add","F6","W29","-1"], + ["add","F6","W30","-1"], + ["add","F6","W31","-1"], + ["add","F6","W33","-1"], + ["add","F6","W34","-1"], + ["add","F6","W36","1"], + ["add","F6","W37","1"], + ["add","F6","W38","1"], + ["add","F6","W43","1"], + ["add","F6","W44","-1"], + ["add","F6","W46","-1"], + ["add","F6","W47","-1"], + ["add","F6","W49","1"], + ["add","F6","W50","1"], + ["add","F6","W51","-1"], + ["add","F6","W56","1"], + ["add","F6","W59","1"], + ["add","F6","W60","1"], + ["add","F6","W61","1"], + ["add","F6","W66","1"], + ["add","F6","W67","-1"], + ["add","F6","W72","1"], + ["add","F6","W73","-1"], + ["add","F6","W74","-1"], + ["add","F6","W77","-1"], + ["add","F6","W78","1"], + ["add","F6","W79","-1"], + ["add","F6","W80","1"], + ["add","F6","W83","1"], + ["add","F6","W84","1"], + ["add","F6","W88","-1"], + ["add","F6","W89","-1"], + ["add","F6","W94","1"], + ["add","F6","W95","-1"], + ["add","F6","W99","-1"], + ["add","F6","W100","-1"], + ["add","F6","W103","1"], + ["add","F6","W104","-1"], + ["add","F6","W108","1"], + ["add","F6","W109","1"], + ["add","F6","W110","-1"], + ["add","F6","W111","-1"], + ["clear","F7","wide"], + ["add","F7","W1","-1"], + ["add","F7","W2","-1"], + ["add","F7","W4","-1"], + ["add","F7","W5","-1"], + ["add","F7","W6","1"], + ["add","F7","W9","-1"], + ["add","F7","W13","1"], + ["add","F7","W16","-1"], + ["add","F7","W18","1"], + ["add","F7","W19","1"], + ["add","F7","W20","-1"], + ["add","F7","W21","-1"], + ["add","F7","W24","1"], + ["add","F7","W25","1"], + ["add","F7","W28","1"], + ["add","F7","W32","1"], + ["add","F7","W35","-1"], + ["add","F7","W36","1"], + ["add","F7","W37","1"], + ["add","F7","W39","-1"], + ["add","F7","W40","-1"], + ["add","F7","W43","1"], + ["add","F7","W44","1"], + ["add","F7","W45","1"], + ["add","F7","W46","1"], + ["add","F7","W47","1"], + ["add","F7","W48","-1"], + ["add","F7","W51","-1"], + ["add","F7","W54","-1"], + ["add","F7","W55","-1"], + ["add","F7","W58","-1"], + ["add","F7","W61","1"], + ["add","F7","W64","-1"], + ["add","F7","W65","-1"], + ["add","F7","W68","1"], + ["add","F7","W69","1"], + ["add","F7","W72","1"], + ["add","F7","W75","1"], + ["add","F7","W78","-1"], + ["add","F7","W79","1"], + ["add","F7","W82","-1"], + ["add","F7","W85","-1"], + ["add","F7","W86","-1"], + ["add","F7","W89","-1"], + ["add","F7","W93","1"], + ["add","F7","W94","-1"], + ["add","F7","W96","1"], + ["add","F7","W97","1"], + ["add","F7","W98","1"], + ["add","F7","W99","1"], + ["add","F7","W101","1"], + ["add","F7","W102","1"], + ["add","F7","W104","-1"], + ["add","F7","W107","-1"], + ["add","F7","W110","-1"], + ["add","F7","W111","-1"], + ["add","W1","F1","-1/4"], + ["add","W1","F2","-1/4"], + ["add","W1","F4","1/4"], + ["add","W1","F7","1/4"], + ["add","W2","F0","-1/4"], + ["add","W2","F1","-1/4"], + ["add","W2","F6","-1/4"], + ["add","W2","F7","1/4"], + ["add","W3","F1","-1/4"], + ["add","W3","F3","-1/4"], + ["add","W3","F4","1/4"], + ["add","W3","F6","-1/4"], + ["add","W4","F1","-1/4"], + ["add","W4","F3","-1/4"], + ["add","W4","F5","1/4"], + ["add","W4","F7","1/4"], + ["add","W5","F1","-1/4"], + ["add","W5","F3","-1/4"], + ["add","W5","F5","-1/4"], + ["add","W5","F7","1/4"], + ["add","W6","F1","-1/4"], + ["add","W6","F2","-1/4"], + ["add","W6","F4","-1/4"], + ["add","W6","F7","-1/4"], + ["add","W8","F1","-1/4"], + ["add","W8","F3","1/4"], + ["add","W8","F4","-1/4"], + ["add","W8","F6","-1/4"], + ["add","W9","F0","-1/4"], + ["add","W9","F1","1/4"], + ["add","W9","F6","1/4"], + ["add","W9","F7","1/4"], + ["add","W10","F0","-1/4"], + ["add","W10","F1","1/4"], + ["add","W10","F4","1/4"], + ["add","W10","F5","-1/4"], + ["add","W11","F0","-1/4"], + ["add","W11","F1","1/4"], + ["add","W11","F4","1/4"], + ["add","W11","F5","1/4"], + ["add","W12","F0","-1/4"], + ["add","W12","F2","-1/4"], + ["add","W12","F4","-1/4"], + ["add","W12","F6","-1/4"], + ["add","W13","F2","-1/4"], + ["add","W13","F3","-1/4"], + ["add","W13","F6","-1/4"], + ["add","W13","F7","-1/4"], + ["add","W14","F2","-1/4"], + ["add","W14","F3","-1/4"], + ["add","W14","F4","-1/4"], + ["add","W14","F5","1/4"], + ["add","W15","F2","-1/4"], + ["add","W15","F3","-1/4"], + ["add","W15","F4","-1/4"], + ["add","W15","F5","-1/4"], + ["add","W16","F2","-1/4"], + ["add","W16","F3","1/4"], + ["add","W16","F6","-1/4"], + ["add","W16","F7","1/4"], + ["add","W17","F0","-1/4"], + ["add","W17","F2","1/4"], + ["add","W17","F4","-1/4"], + ["add","W17","F6","1/4"], + ["add","W18","F0","-1/4"], + ["add","W18","F2","1/4"], + ["add","W18","F5","-1/4"], + ["add","W18","F7","-1/4"], + ["add","W19","F0","-1/4"], + ["add","W19","F2","1/4"], + ["add","W19","F5","1/4"], + ["add","W19","F7","-1/4"], + ["add","W22","F0","-1/4"], + ["add","W22","F3","1/4"], + ["add","W22","F5","-1/4"], + ["add","W22","F6","1/4"], + ["add","W23","F0","-1/4"], + ["add","W23","F3","1/4"], + ["add","W23","F5","1/4"], + ["add","W23","F6","1/4"], + ["add","W24","F0","-1/4"], + ["add","W24","F3","1/4"], + ["add","W24","F4","1/4"], + ["add","W24","F7","-1/4"], + ["add","W25","F0","-1/4"], + ["add","W25","F1","-1/4"], + ["add","W25","F6","1/4"], + ["add","W25","F7","-1/4"], + ["add","W26","F1","-1/4"], + ["add","W26","F3","1/4"], + ["add","W26","F4","1/4"], + ["add","W26","F6","1/4"], + ["add","W28","F1","-1/4"], + ["add","W28","F2","1/4"], + ["add","W28","F4","1/4"], + ["add","W28","F7","-1/4"], + ["add","W29","F1","-1/4"], + ["add","W29","F2","1/4"], + ["add","W29","F5","1/4"], + ["add","W29","F6","1/4"], + ["add","W30","F1","-1/4"], + ["add","W30","F2","1/4"], + ["add","W30","F5","-1/4"], + ["add","W30","F6","1/4"], + ["add","W31","F0","-1/4"], + ["add","W31","F2","-1/4"], + ["add","W31","F4","1/4"], + ["add","W31","F6","1/4"], + ["add","W32","F0","-1/4"], + ["add","W32","F3","-1/4"], + ["add","W32","F4","1/4"], + ["add","W32","F7","-1/4"], + ["add","W33","F0","-1/4"], + ["add","W33","F3","-1/4"], + ["add","W33","F5","1/4"], + ["add","W33","F6","1/4"], + ["add","W34","F0","-1/4"], + ["add","W34","F3","-1/4"], + ["add","W34","F5","-1/4"], + ["add","W34","F6","1/4"], + ["add","W35","F0","-1/4"], + ["add","W35","F3","1/4"], + ["add","W35","F4","1/4"], + ["add","W35","F7","1/4"], + ["add","W38","F0","-1/4"], + ["add","W38","F2","1/4"], + ["add","W38","F4","1/4"], + ["add","W38","F6","-1/4"], + ["add","W39","F0","-1/4"], + ["add","W39","F2","1/4"], + ["add","W39","F5","1/4"], + ["add","W39","F7","1/4"], + ["add","W40","F0","-1/4"], + ["add","W40","F2","1/4"], + ["add","W40","F5","-1/4"], + ["add","W40","F7","1/4"], + ["add","W41","F2","-1/4"], + ["add","W41","F3","1/4"], + ["add","W41","F4","-1/4"], + ["add","W41","F5","-1/4"], + ["add","W42","F2","-1/4"], + ["add","W42","F3","1/4"], + ["add","W42","F4","-1/4"], + ["add","W42","F5","1/4"], + ["add","W43","F2","-1/4"], + ["add","W43","F3","1/4"], + ["add","W43","F6","-1/4"], + ["add","W43","F7","-1/4"], + ["add","W44","F2","-1/4"], + ["add","W44","F3","1/4"], + ["add","W44","F6","1/4"], + ["add","W44","F7","-1/4"], + ["add","W45","F0","-1/4"], + ["add","W45","F3","1/4"], + ["add","W45","F4","-1/4"], + ["add","W45","F7","-1/4"], + ["add","W48","F0","-1/4"], + ["add","W48","F3","-1/4"], + ["add","W48","F4","-1/4"], + ["add","W48","F7","1/4"], + ["add","W49","F0","-1/4"], + ["add","W49","F3","-1/4"], + ["add","W49","F5","-1/4"], + ["add","W49","F6","-1/4"], + ["add","W50","F0","-1/4"], + ["add","W50","F3","-1/4"], + ["add","W50","F5","1/4"], + ["add","W50","F6","-1/4"], + ["add","W51","F2","-1/4"], + ["add","W51","F3","-1/4"], + ["add","W51","F6","1/4"], + ["add","W51","F7","1/4"], + ["add","W52","F2","-1/4"], + ["add","W52","F3","-1/4"], + ["add","W52","F4","1/4"], + ["add","W52","F5","-1/4"], + ["add","W53","F2","-1/4"], + ["add","W53","F3","-1/4"], + ["add","W53","F4","1/4"], + ["add","W53","F5","1/4"], + ["add","W54","F0","-1/4"], + ["add","W54","F2","-1/4"], + ["add","W54","F5","-1/4"], + ["add","W54","F7","1/4"], + ["add","W55","F0","-1/4"], + ["add","W55","F2","-1/4"], + ["add","W55","F5","1/4"], + ["add","W55","F7","1/4"], + ["add","W56","F0","-1/4"], + ["add","W56","F2","-1/4"], + ["add","W56","F4","1/4"], + ["add","W56","F6","-1/4"], + ["add","W58","F1","-1/4"], + ["add","W58","F2","1/4"], + ["add","W58","F4","-1/4"], + ["add","W58","F7","1/4"], + ["add","W59","F1","-1/4"], + ["add","W59","F2","1/4"], + ["add","W59","F5","-1/4"], + ["add","W59","F6","-1/4"], + ["add","W60","F1","-1/4"], + ["add","W60","F2","1/4"], + ["add","W60","F5","1/4"], + ["add","W60","F6","-1/4"], + ["add","W61","F0","-1/4"], + ["add","W61","F1","1/4"], + ["add","W61","F6","-1/4"], + ["add","W61","F7","-1/4"], + ["add","W62","F0","-1/4"], + ["add","W62","F1","1/4"], + ["add","W62","F4","-1/4"], + ["add","W62","F5","1/4"], + ["add","W63","F0","-1/4"], + ["add","W63","F1","1/4"], + ["add","W63","F4","-1/4"], + ["add","W63","F5","-1/4"], + ["add","W64","F1","-1/4"], + ["add","W64","F3","1/4"], + ["add","W64","F5","-1/4"], + ["add","W64","F7","1/4"], + ["add","W65","F1","-1/4"], + ["add","W65","F3","1/4"], + ["add","W65","F5","1/4"], + ["add","W65","F7","1/4"], + ["add","W66","F1","-1/4"], + ["add","W66","F3","1/4"], + ["add","W66","F4","1/4"], + ["add","W66","F6","-1/4"], + ["add","W67","F1","-1/4"], + ["add","W67","F3","-1/4"], + ["add","W67","F4","-1/4"], + ["add","W67","F6","1/4"], + ["add","W68","F1","-1/4"], + ["add","W68","F3","-1/4"], + ["add","W68","F5","-1/4"], + ["add","W68","F7","-1/4"], + ["add","W69","F1","-1/4"], + ["add","W69","F3","-1/4"], + ["add","W69","F5","1/4"], + ["add","W69","F7","-1/4"], + ["add","W70","F0","-1/4"], + ["add","W70","F1","-1/4"], + ["add","W70","F4","-1/4"], + ["add","W70","F5","-1/4"], + ["add","W71","F0","-1/4"], + ["add","W71","F1","-1/4"], + ["add","W71","F4","-1/4"], + ["add","W71","F5","1/4"], + ["add","W72","F0","-1/4"], + ["add","W72","F1","-1/4"], + ["add","W72","F6","-1/4"], + ["add","W72","F7","-1/4"], + ["add","W73","F1","-1/4"], + ["add","W73","F2","-1/4"], + ["add","W73","F5","-1/4"], + ["add","W73","F6","1/4"], + ["add","W74","F1","-1/4"], + ["add","W74","F2","-1/4"], + ["add","W74","F5","1/4"], + ["add","W74","F6","1/4"], + ["add","W75","F1","-1/4"], + ["add","W75","F2","-1/4"], + ["add","W75","F4","1/4"], + ["add","W75","F7","-1/4"], + ["add","W77","F0","-1/4"], + ["add","W77","F2","1/4"], + ["add","W77","F4","1/4"], + ["add","W77","F6","1/4"], + ["add","W78","F2","-1/4"], + ["add","W78","F3","-1/4"], + ["add","W78","F6","-1/4"], + ["add","W78","F7","1/4"], + ["add","W79","F0","-1/4"], + ["add","W79","F1","1/4"], + ["add","W79","F6","1/4"], + ["add","W79","F7","-1/4"], + ["add","W80","F1","-1/4"], + ["add","W80","F3","-1/4"], + ["add","W80","F4","-1/4"], + ["add","W80","F6","-1/4"], + ["add","W82","F1","-1/4"], + ["add","W82","F2","-1/4"], + ["add","W82","F4","-1/4"], + ["add","W82","F7","1/4"], + ["add","W83","F1","-1/4"], + ["add","W83","F2","-1/4"], + ["add","W83","F5","-1/4"], + ["add","W83","F6","-1/4"], + ["add","W84","F1","-1/4"], + ["add","W84","F2","-1/4"], + ["add","W84","F5","1/4"], + ["add","W84","F6","-1/4"], + ["add","W85","F0","-1/4"], + ["add","W85","F3","-1/4"], + ["add","W85","F4","1/4"], + ["add","W85","F7","1/4"], + ["add","W86","F1","-1/4"], + ["add","W86","F2","1/4"], + ["add","W86","F4","1/4"], + ["add","W86","F7","1/4"], + ["add","W88","F1","-1/4"], + ["add","W88","F3","-1/4"], + ["add","W88","F4","1/4"], + ["add","W88","F6","1/4"], + ["add","W89","F0","-1/4"], + ["add","W89","F1","-1/4"], + ["add","W89","F6","1/4"], + ["add","W89","F7","1/4"], + ["add","W90","F0","-1/4"], + ["add","W90","F1","-1/4"], + ["add","W90","F4","1/4"], + ["add","W90","F5","-1/4"], + ["add","W91","F0","-1/4"], + ["add","W91","F1","-1/4"], + ["add","W91","F4","1/4"], + ["add","W91","F5","1/4"], + ["add","W93","F1","-1/4"], + ["add","W93","F2","1/4"], + ["add","W93","F4","-1/4"], + ["add","W93","F7","-1/4"], + ["add","W94","F0","-1/4"], + ["add","W94","F1","1/4"], + ["add","W94","F6","-1/4"], + ["add","W94","F7","1/4"], + ["add","W95","F1","-1/4"], + ["add","W95","F3","1/4"], + ["add","W95","F4","-1/4"], + ["add","W95","F6","1/4"], + ["add","W96","F1","-1/4"], + ["add","W96","F3","1/4"], + ["add","W96","F5","-1/4"], + ["add","W96","F7","-1/4"], + ["add","W97","F1","-1/4"], + ["add","W97","F3","1/4"], + ["add","W97","F5","1/4"], + ["add","W97","F7","-1/4"], + ["add","W98","F0","-1/4"], + ["add","W98","F3","-1/4"], + ["add","W98","F4","-1/4"], + ["add","W98","F7","-1/4"], + ["add","W99","F2","-1/4"], + ["add","W99","F3","-1/4"], + ["add","W99","F6","1/4"], + ["add","W99","F7","-1/4"], + ["add","W100","F0","-1/4"], + ["add","W100","F2","-1/4"], + ["add","W100","F4","-1/4"], + ["add","W100","F6","1/4"], + ["add","W101","F0","-1/4"], + ["add","W101","F2","-1/4"], + ["add","W101","F5","-1/4"], + ["add","W101","F7","-1/4"], + ["add","W102","F0","-1/4"], + ["add","W102","F2","-1/4"], + ["add","W102","F5","1/4"], + ["add","W102","F7","-1/4"], + ["add","W103","F0","-1/4"], + ["add","W103","F2","1/4"], + ["add","W103","F4","-1/4"], + ["add","W103","F6","-1/4"], + ["add","W104","F2","-1/4"], + ["add","W104","F3","1/4"], + ["add","W104","F6","1/4"], + ["add","W104","F7","1/4"], + ["add","W105","F2","-1/4"], + ["add","W105","F3","1/4"], + ["add","W105","F4","1/4"], + ["add","W105","F5","-1/4"], + ["add","W106","F2","-1/4"], + ["add","W106","F3","1/4"], + ["add","W106","F4","1/4"], + ["add","W106","F5","1/4"], + ["add","W107","F0","-1/4"], + ["add","W107","F3","1/4"], + ["add","W107","F4","-1/4"], + ["add","W107","F7","1/4"], + ["add","W108","F0","-1/4"], + ["add","W108","F3","1/4"], + ["add","W108","F5","-1/4"], + ["add","W108","F6","-1/4"], + ["add","W109","F0","-1/4"], + ["add","W109","F3","1/4"], + ["add","W109","F5","1/4"], + ["add","W109","F6","-1/4"], + ["clear","F0","identity"], + ["clear","F1","identity"], + ["clear","F2","identity"], + ["clear","F3","identity"], + ["clear","F4","identity"], + ["clear","F5","identity"], + ["clear","F6","identity"], + ["clear","F7","identity"], + ["end","B1_current_query",8], + ["map","W1",1,1,true], + ["map","W2",1,2,true], + ["map","W3",1,3,true], + ["map","W4",1,4,true], + ["map","W5",1,5,true], + ["map","W6",1,6,true], + ["map","W8",1,8,true], + ["map","W9",1,9,true], + ["map","W10",1,10,true], + ["map","W11",1,11,true], + ["map","W12",1,12,true], + ["map","W13",1,13,true], + ["map","W14",1,14,true], + ["map","W15",1,15,true], + ["map","W16",1,16,true], + ["map","W17",1,17,true], + ["map","W18",1,18,true], + ["map","W19",1,19,true], + ["map","W22",1,22,true], + ["map","W23",1,23,true], + ["map","W24",1,24,true], + ["map","W25",1,25,true], + ["map","W26",1,26,true], + ["map","W28",1,28,true], + ["map","W29",1,29,true], + ["map","W30",1,30,true], + ["map","W31",1,31,true], + ["map","W32",1,32,true], + ["map","W33",1,33,true], + ["map","W34",1,34,true], + ["map","W35",1,35,true], + ["map","W38",1,38,true], + ["map","W39",1,39,true], + ["map","W40",1,40,true], + ["map","W41",1,41,true], + ["map","W42",1,42,true], + ["map","W43",1,43,true], + ["map","W44",1,44,true], + ["map","W45",1,45,true], + ["map","W48",1,48,true], + ["map","W49",1,49,true], + ["map","W50",1,50,true], + ["map","W51",1,51,true], + ["map","W52",1,52,true], + ["map","W53",1,53,true], + ["map","W54",1,54,true], + ["map","W55",1,55,true], + ["map","W56",1,56,true], + ["map","W58",1,58,true], + ["map","W59",1,59,true], + ["map","W60",1,60,true], + ["map","W61",1,61,true], + ["map","W62",1,62,true], + ["map","W63",1,63,true], + ["map","W64",1,64,true], + ["map","W65",1,65,true], + ["map","W66",1,66,true], + ["map","W67",1,67,true], + ["map","W68",1,68,true], + ["map","W69",1,69,true], + ["map","W70",1,70,true], + ["map","W71",1,71,true], + ["map","W72",1,72,true], + ["map","W73",1,73,true], + ["map","W74",1,74,true], + ["map","W75",1,75,true], + ["map","W77",1,77,true], + ["map","W78",1,78,true], + ["map","W79",1,79,true], + ["map","W80",1,80,true], + ["map","W82",1,82,true], + ["map","W83",1,83,true], + ["map","W84",1,84,true], + ["map","W85",1,85,true], + ["map","W86",1,86,true], + ["map","W88",1,88,true], + ["map","W89",1,89,true], + ["map","W90",1,90,true], + ["map","W91",1,91,true], + ["map","W93",1,93,true], + ["map","W94",1,94,true], + ["map","W95",1,95,true], + ["map","W96",1,96,true], + ["map","W97",1,97,true], + ["map","W98",1,98,true], + ["map","W99",1,99,true], + ["map","W100",1,100,true], + ["map","W101",1,101,true], + ["map","W102",1,102,true], + ["map","W103",1,103,true], + ["map","W104",1,104,true], + ["map","W105",1,105,true], + ["map","W106",1,106,true], + ["map","W107",1,107,true], + ["map","W108",1,108,true], + ["map","W109",1,109,true], + ["clear","W0","identity"], + ["clear","W7","identity"], + ["clear","W20","identity"], + ["clear","W27","identity"], + ["clear","W36","identity"], + ["clear","W46","identity"], + ["clear","W57","identity"], + ["clear","W111","identity"], + ["clear","W21","identity"], + ["clear","W37","identity"], + ["clear","W47","identity"], + ["clear","W76","identity"], + ["clear","W81","identity"], + ["clear","W87","identity"], + ["clear","W92","identity"], + ["clear","W110","identity"] +] diff --git a/research/qq16-centre-lifetime-boundary-audit/verify.py b/research/qq16-centre-lifetime-boundary-audit/verify.py new file mode 100644 index 000000000..b78ddcd37 --- /dev/null +++ b/research/qq16-centre-lifetime-boundary-audit/verify.py @@ -0,0 +1,91 @@ +#!/usr/bin/env python3 +"""Centre lifetime and outer interface audit. Apache-2.0. +Chris R / Clear1nsight with substantial OpenAI assistance and three separately +assigned AI agents. Checkers import no predecessor executable. See REVIEWS.json. +""" +from hashlib import sha1,sha256 +from fractions import Fraction as Q +import json +from pathlib import Path +import types + +HERE=Path(__file__).resolve().parent +ROOT=HERE.parents[1] +DEMAND_PIN='f513d235b8206211a4716d013a6dacf34aaebda6839da721b0231981cb8b905e' + + +def need(ok,why): + if not ok:raise ValueError(why) + + +def decode(raw): + def unique(items): + result={} + for k,v in items: + need(k not in result,'duplicate JSON key');result[k]=v + return result + return json.loads(raw,object_pairs_hook=unique) + + +def canonical(obj): + return json.dumps(obj,sort_keys=True,separators=(',',':')).encode() + + +def authenticate(): + pins=decode((HERE/'SOURCES.json').read_bytes()) + need(pins['base_commit']=='20ecf2891d80b5acf18d980b2164fb44ea7faa90','scientific base') + raw={} + for pin in pins['files']: + if pin['usage']!='input':continue + data=(ROOT/pin['path']).read_bytes() + need(sha256(data).hexdigest()==pin['sha256'],'source SHA256: '+pin['path']) + need(sha1(b'blob '+str(len(data)).encode()+b'\0'+data).hexdigest()==pin['git_blob'],'source Git blob: '+pin['path']) + raw[pin['path']]=data + need(sha256((HERE/'vendor/pr3952/WORD.json').read_bytes()).hexdigest()==DEMAND_PIN,'retained PR3952 word') + return raw + + +def load(name): + path=HERE/(name+'.py');module=types.ModuleType(name);module.__file__=str(path) + exec(compile(path.read_bytes(),str(path),'exec'),module.__dict__) + return module + + +def calculate(): + raw=authenticate() + centres=load('centres').run(ROOT) + outer=load('outer').run(ROOT) + continuation=load('continuation').run(ROOT,HERE/'vendor/pr3952') + budget=load('budget') + arithmetic=budget.calculate() + profiles=centres['actual_QQ16_calls'] + f=profiles['F_0']['total_literal_child_profile'] + b=profiles['B_1_2']['total_literal_child_profile'] + need(budget.BASE=={r:Q(f.get(r,0)+b.get(r,0),2) for r in set(f)|set(b)},'arithmetic producer profile binding') + selected=decode(raw['certificates/selected-result.json']) + need(selected['kappa']=='836330098538459/500000000000000000','selected target pin') + kappa=Q(selected['kappa']) + need(budget.A==kappa/(1-kappa),'arithmetic selected exponent binding') + ceiling=decode(raw['research/complex-local-word-ceiling/RESULT.json']) + need(ceiling['model']['m']==73 and ceiling['model']['live_families_per_call']=='896/9' and ceiling['model']['centre_per_call']==64,'conditional coverage context') + need(ceiling['selected']['local_profile_per_call']['8']==8,'historical eight-H8 premise') + legacy=decode(raw['research/joint-query/evidence/CLEAN-J-CHECKS.json']) + for side in ('forward','backward'): + need(legacy['orientations'][side]['removed_centre_rank_mass']==64,'already removed rank64') + need(legacy['orientations'][side]['primitive_bound_real_components']==202138,'existing paid clean-core scalar allowance') + need(continuation['full_decoder_invoice']['line']==336 and continuation['projected_invoice']['line']==112,'consumer native bill binding') + need(arithmetic['restored_full_consumer336_pair_h8_waived']['decision']=='strict_fail','complete fallback obstruction') + need(outer['independent_missing_query_directions']==8,'outer missing-query witness') + return {'status':'PASS_QQ16_CENTRE_LIFETIME_BOUNDARY_AUDIT no_new_kappa', + 'centre_provenance_and_lifetimes':centres,'actual_outer_boundary':outer, + 'actual_recovery_continuation':continuation,'conditional_budget':arithmetic, + 'decision':'No remaining literal H8 centre retirement exists in the QQ16 core. The projected96-output endpoint does not replace either pinned outer boundary alone. Existing full-decoder fallback is priced and fails the unchanged pair screen even with H8 absent. No new physical/global schedule admitted.'} + + +def main(): + result=calculate() + need(canonical(result)==canonical(decode((HERE/'RESULT.json').read_bytes())),'complete RESULT mismatch') + print(json.dumps(result,indent=2,sort_keys=True)) + + +if __name__=='__main__':main()