{ "schemaVersion": 2, "snapshotId": "snapshot-20261031200057", "status": "approved", "publishedAt": "2026-10-31T20:00:57.855Z", "generatedAt": "2026-10-31T20:00:57.855Z", "entryCount": 15, "sourceReport": { "version": "Owner-reviewed LARI research source snapshot · 2026-10-31" }, "previousSnapshotId": null, "contentDigest": "ca5f7dbc3d182839df9da5c34f2a0ad8196125e425d74b984395ad64450492c9", "experiments": [ { "id": "blank-workspace-javascript-construction", "title": "LARI built a small JavaScript app twice, starting from zero each time", "summary": "An isolated candidate began with zero implementation modules, induced a four-program typed bundle from local immutable tests and a project contract, created three JavaScript source files, and passed all 12 acceptance checks. The construction run passed twice. A serialized candidate then rebuilt a second blank workspace in a fresh process with induction disabled; removing the generated command-line entry point restored failure. The candidate remains separate from the active model and unpromoted.", "researchQuestion": "Can an isolated candidate construct a bounded JavaScript application from its contract and tests, then reuse retained structured knowledge in a second blank workspace?", "researchArea": "Executable learning", "architectureComponent": "execution", "whyItMatters": "Cold reload and exact-record removal test whether the retained procedure mattered to this bounded construction task.", "status": "demonstrated", "verificationStatus": "verified", "lifecycleStatus": "candidate", "sourceRecordId": "Blank-workspace JavaScript candidate proof · 2026-10-23", "measuredAt": "2026-10-23T10:10:12.710Z", "evaluationMethod": "The isolated candidate started from an empty implementation workspace, ran an unchanged acceptance contract twice, then a fresh process reconstructed a second blank workspace with induction disabled; an exact entry-point ablation checked whether behavior depended on the generated program.", "baseline": "A blank workspace with zero implementation modules.", "candidateMethod": "Induce a bounded typed program bundle from local immutable tests and the project contract, serialize the candidate, and reuse it in a separate blank workspace.", "comparisonConditions": "Original construction and a fresh-process reconstruction with induction disabled; exact generated-entry-point removal as a causal control.", "result": "Three source files were generated; the original acceptance suite passed 12/12 twice, and fresh-process reconstruction passed with induction disabled. Removing the generated entry point restored failure.", "outcome": "Isolated JavaScript candidate passed its named contract; not promoted.", "environment": "Isolated candidate runtime; local immutable JavaScript tests; separate blank workspace and fresh process.", "externalModelUsage": "Zero external-model calls.", "coldReloadResult": "Fresh-process reconstruction passed with induction disabled.", "causalAblationResult": "Removing the generated command-line entry point restored failure.", "transferResult": "One JavaScript task family transferred to a second blank workspace.", "measurements": { "startingImplementationModules": 0, "inducedPrograms": 4, "generatedSourceFiles": 3, "acceptancePassed": 12, "acceptanceTotal": 12, "constructionPassedTwice": true, "coldProcessReconstruction": true, "exactEntrypointRemovalRestoredFailure": true, "externalModelCalls": 0, "candidatePromoted": false }, "measurementConditions": "One bounded JavaScript task contract; the 12 acceptance cases were unchanged; candidate-only result.", "limitations": "One JavaScript task family and bounded typed representation. No live web research, cross-language construction, broad transfer, production promotion, or general coding mastery was established.", "relatedExperimentIds": [ "go-planner-research-to-construction" ], "relationships": [ { "type": "related", "recordId": "go-planner-research-to-construction" } ], "publicProvenance": "Owner-reviewed summary of the dated blank-workspace candidate receipt and linked regression evidence; private source files and hashes are withheld.", "reportVersion": "LARI Full Report 2026-10-31T11:42:43.574Z", "sourceFingerprint": null, "publishedAt": "2026-10-31T20:00:57.855Z", "lastReviewedAt": "2026-10-31T20:00:10.505Z" }, { "id": "go-planner-research-to-construction", "title": "Seven sources and a real test contract—but no Go dependency planner", "summary": "An October 23 attempt acquired seven public sources and recovered positive examples and rejection conditions from the immutable Go tests, but the shared typed inducer produced no planner. Later diagnostics still produced no candidate: one direct typed search reached its 100,000-step limit, and a separate relational route rejected the task shape before generating candidates. These are distinct runs and budgets. The compiler’s generic nested-loop sketch is not a Go planner.", "researchQuestion": "Where does research-to-program construction stop on the Go dependency-wave task?", "researchArea": "Program induction and search", "architectureComponent": "execution", "whyItMatters": "Separating acquisition and test observation from candidate generation identifies which part of the construction path remains blocked.", "status": "negative-result", "verificationStatus": "verified", "lifecycleStatus": "failed", "sourceRecordId": "Go dependency-wave acquisition and current-runtime diagnostics · 2026-10-23 to 2026-10-31", "measuredAt": "2026-10-31T01:11:19.307Z", "evaluationMethod": "Run the immutable Go baseline, inspect research and test-observation receipts, then compare the direct typed search and the separately shape-gated relational search diagnostics.", "baseline": "The unchanged Go dependency-wave acceptance contract; no task-specific planner implementation.", "candidateMethod": "Research public references, recover examples and rejection constraints, then attempt bounded typed program induction and a separate relational-induction route.", "comparisonConditions": "October 23 acquisition/build attempt; October 31 direct search; separate October 31 schema-gated diagnostic. Their operation budgets are not combined.", "result": "Seven sources were acquired in the earlier attempt and test examples were recovered, but no application was built. The later direct search stopped at 100,001 operations against a 100,000-step limit with no candidate. The separate shape-gated route generated zero candidates before type checking and did not exhaust its search budget. The oracle remained unchanged.", "outcome": "Documented negative result; dependency-wave planner not demonstrated.", "environment": "Isolated Go task workspace; immutable acceptance tests; bounded candidate search.", "externalModelUsage": "Zero external-model calls in the cited bounded diagnostics.", "coldReloadResult": null, "causalAblationResult": null, "transferResult": null, "measurements": { "publicSourcesAcquired": 7, "directSearchOperations": 100001, "directSearchLimit": 100000, "directSearchCandidates": 0, "shapeGatedCandidates": 0, "shapeGatedBudgetExhausted": false, "applicationFilesWritten": false, "oracleChanged": false }, "measurementConditions": "Counts are from distinct dated attempts and diagnostics; do not add their separate search budgets together.", "limitations": "One Go dependency-wave task and its frozen tests. Search counts are configuration-specific, not a speed benchmark. No holdout was added to the shape-gated diagnostic. A compiler sketch is not task completion; the planner remains unsolved.", "relatedExperimentIds": [ "stateful-relational-induction", "blank-workspace-javascript-construction" ], "relationships": [ { "type": "related", "recordId": "stateful-relational-induction" } ], "publicProvenance": "Owner-reviewed summary of dated acquisition and current-runtime diagnostic receipts; source paths, hashes, and private artifacts are withheld.", "reportVersion": "LARI Full Report 2026-10-31T11:42:43.574Z", "sourceFingerprint": null, "publishedAt": "2026-10-31T20:00:57.855Z", "lastReviewedAt": "2026-10-31T20:00:10.514Z" }, { "id": "stateful-relational-induction", "title": "A bounded relational procedure passed held-out tests and failed after exact removal", "summary": "The shared typed proposer induced one repeated keyed-state update program without receiving the target AST. After an ambiguous first hypothesis, the review retained that failure and added a separately frozen refinement split; three acceptance holdouts stayed out of search. The selected candidate passed all six induction/refinement examples and all three holdouts. A fresh process reloaded the exact record with research and induction disabled and passed the holdouts; removing that record returned performance to zero of three. The candidate was not promoted.", "researchQuestion": "Can a typed proposer induce one iterative keyed-state transition from examples without receiving the target program?", "researchArea": "Relational and stateful learning", "architectureComponent": "state", "whyItMatters": "The held-out, cold-reload, and exact-removal checks test whether a bounded executable state transition explains the frozen cases rather than just restating examples.", "status": "demonstrated", "verificationStatus": "verified", "lifecycleStatus": "candidate", "sourceRecordId": "Stateful relational-induction acceptance and cold-verification receipts · 2026-10-31", "measuredAt": "2026-10-31T00:00:00Z", "evaluationMethod": "Induce from three training examples and three separately frozen refinement examples; keep three acceptance holdouts out of search; cold-reload the content-addressed candidate with research and induction disabled; remove the exact record as a causal control.", "baseline": "No target AST supplied; initial hypothesis was rejected after an ambiguity was identified.", "candidateMethod": "Bounded schema-derived search over keyed-state transitions with a computed progress loop, relational guard, dynamic map updates, and state carried across passes.", "comparisonConditions": "Six induction/refinement examples; three untouched acceptance holdouts; fresh-process replay; exact-record removal with induction disabled.", "result": "Generated and compiled 181 candidates, behavior-rejected 140, pruned 40 observationally equivalent candidates, and accepted one. The result passed 6/6 induction/refinement examples and 3/3 holdouts; after cold reload it passed 3/3, and exact-record removal produced 0/3.", "outcome": "Narrow isolated relational-induction candidate; not promoted.", "environment": "Isolated typed-proposer candidate; frozen synthetic contracts; active runtime, model, and registry unchanged.", "externalModelUsage": "Zero external-model calls.", "coldReloadResult": "Fresh process, research and induction disabled: 3/3 frozen holdouts passed.", "causalAblationResult": "Exact-record removal with induction disabled: 0/3 holdouts passed.", "transferResult": "No cross-family transfer is claimed by this experiment.", "measurements": { "inductionExamples": 6, "frozenHoldouts": 3, "candidatesGenerated": 181, "candidatesCompiled": 181, "behavioralRejects": 140, "equivalentCandidatesPruned": 40, "holdoutsPassedAfterReload": 3, "holdoutsAfterExactRemoval": 0, "externalModelCalls": 0, "candidatePromoted": false }, "measurementConditions": "One synthetic repeated keyed-state family; the three frozen acceptance holdouts were excluded from search.", "limitations": "One repeated-update family; isolated candidate, not promoted. A separately authored trusted evaluator labeled ambiguity probes. No arbitrary relational algorithm, cross-family generalization, or Go planner solution is established.", "relatedExperimentIds": [ "go-planner-research-to-construction" ], "relationships": [ { "type": "related", "recordId": "go-planner-research-to-construction" } ], "publicProvenance": "Owner-reviewed summary of the frozen acceptance, refinement, and cold-verification receipts; private candidate records and hashes are withheld.", "reportVersion": "LARI Full Report 2026-10-31T11:42:43.574Z", "sourceFingerprint": null, "publishedAt": "2026-10-31T20:00:57.855Z", "lastReviewedAt": "2026-10-31T20:00:10.516Z" }, { "id": "five-bounded-coding-lanes", "title": "Five bounded coding lanes have report-derived production qualification", "summary": "The 2026-10-31 source report describes five named coding lanes in active production: traceback-based issue localization, isolated test creation when a native harness is blocked, coordinated multi-file repair, behavior-preserving refactoring, and bounded long-horizon multi-defect repair. It reports 5/5 reuse-only lane checks, three causal ablations, reload, rollback, and same-hash selection across five public surfaces. The active model identity matched the report at review time; the underlying per-lane qualification suite was not freshly rerun for this release.", "researchQuestion": "Which bounded code-repair task families does the source report attribute to active production, and what freshness limits apply?", "researchArea": "Coding capability and verification", "architectureComponent": "execution", "whyItMatters": "Naming task families and distinguishing inherited qualification from a fresh rerun prevents a bounded result from being presented as arbitrary repository mastery.", "status": "production-qualified", "verificationStatus": "verified", "lifecycleStatus": "active", "sourceRecordId": "Active production model qualification summary · report snapshot 2026-10-31", "measuredAt": "2026-10-31T00:00:00Z", "evaluationMethod": "Review the dated active-production report section, reconcile its active model identity to the current source model, and preserve the report’s inherited qualification label and stated task boundaries.", "baseline": "No claim about arbitrary repositories or all defects.", "candidateMethod": "Five reuse-only lanes: traceback localization, isolated test creation, coordinated multi-file repair, behavior-preserving refactoring, and bounded long-horizon repair.", "comparisonConditions": "Source-report qualification summary; current active model identity reconciled; per-lane tests and ancestor qualification were not rerun during this publication review.", "result": "The report describes 5/5 reuse-only checks, three individual ablations restoring failure, reload retention, rollback restoration of failed attempts, and five-surface same-model selection. These are report-derived qualification results, not fresh measurements from this launch.", "outcome": "Active production qualification reported for five bounded lanes; current-lineage re-execution not claimed.", "environment": "Active production model as represented by the 2026-10-31 report snapshot.", "externalModelUsage": "The report states zero external-model calls for the cited qualification.", "coldReloadResult": null, "causalAblationResult": null, "transferResult": null, "measurements": { "reportedReuseOnlyLanesPassed": 5, "reportedReuseOnlyLanesTotal": 5, "reportedCausalAblations": 3, "reportedReloadRetention": true, "reportedRollbackRestoredFailures": true, "reportedSurfaceParity": 5, "reportedExternalModelCalls": 0 }, "measurementConditions": "All values are reported in the source snapshot. Independent per-lane current-lineage verification was not completed for this release.", "limitations": "Five named bounded repair lanes only. The figures and lineage are report-derived and not a fresh rerun. No arbitrary repository mastery or unrestricted coding claim is made.", "relatedExperimentIds": [ "learning-state-verification-and-rollback" ], "relationships": [ { "type": "related", "recordId": "learning-state-verification-and-rollback" } ], "publicProvenance": "Report-derived production qualification summary dated 2026-10-31; active-model identity was reconciled, but per-lane ancestor receipts were not independently rerun for publication.", "reportVersion": "LARI Full Report 2026-10-31T11:42:43.574Z", "sourceFingerprint": null, "publishedAt": "2026-10-31T20:00:57.855Z", "lastReviewedAt": "2026-10-31T20:00:10.519Z" }, { "id": "recap-bounded-language-and-composition", "title": "RECAP generates bounded language and composes existing families", "summary": "The 2026-10-31 source report describes 38 atomic RECAP records across seven bounded language families as present in active production. It reports inherited ancestor qualification: 6/6 training families, 12/12 unseen semantic variants, 32/32 new-record ablations, 12/12 reload checks, 17/17 hidden transfer cases, five-surface parity, and no family regressions. A bounded recursive-composition record is also reported active with inherited qualification. The active-model identity matched the report at review time; the family qualification suite was not rerun for this release.", "researchQuestion": "Can selected conversational acts be represented and composed as bounded typed generators with inspectable claims and sentence provenance?", "researchArea": "Language generation and discourse composition", "architectureComponent": "state", "whyItMatters": "Structured generators make selected outputs and their claim boundaries more inspectable than an unrestricted fluent-generation claim.", "status": "production-qualified", "verificationStatus": "verified", "lifecycleStatus": "active", "sourceRecordId": "RECAP executable-language and recursive-composition report summary · 2026-10-31", "measuredAt": "2026-10-31T00:00:00Z", "evaluationMethod": "Review the report’s active-production and inherited ancestor-qualification statements; reconcile current active model identity, while retaining the report’s distinction between active records and historical qualification.", "baseline": "No claim of unrestricted natural-language generation or broad understanding.", "candidateMethod": "Typed generator records for causal explanations, practical plans, balanced comparisons, requirements clarification, correction repair, structured thinking, and retained-knowledge explanations; one bounded record recursively composes existing families.", "comparisonConditions": "Reported active-record inventory and ancestor qualification results; current active-model identity reconciled; ancestor semantic, ablation, reload, and transfer suites not rerun for this release.", "result": "The source report lists 38 atomic records and seven bounded families, with inherited qualification counts. It also reports one recursive-composition record active with bounded ancestor checks. These values are attributed to the source report, not presented as new measurements.", "outcome": "Reported active inherited production; bounded generator families and composition only.", "environment": "Active production model as represented by the 2026-10-31 report snapshot.", "externalModelUsage": "The source report attributes zero external-model calls to the inherited qualification results.", "coldReloadResult": null, "causalAblationResult": null, "transferResult": null, "measurements": { "reportedAtomicRecapRecords": 38, "reportedBoundedFamilies": 7, "ancestorTrainingFamiliesPassed": 6, "ancestorTrainingFamiliesTotal": 6, "ancestorUnseenVariantsPassed": 12, "ancestorUnseenVariantsTotal": 12, "ancestorAblationsPassed": 32, "ancestorAblationsTotal": 32, "ancestorReloadsPassed": 12, "ancestorReloadsTotal": 12, "ancestorHiddenTransfersPassed": 17, "ancestorHiddenTransfersTotal": 17, "reportedRecursiveCompositionHiddenTransferPassed": 6, "reportedRecursiveCompositionHiddenTransferTotal": 6 }, "measurementConditions": "Every count is source-report-derived and inherited; no language-family qualification or recursive-composition test was freshly run in this release.", "limitations": "Bounded typed generator families; qualification is inherited, not newly rerun. Does not establish unrestricted language generation, broad semantics, arbitrary discourse invention, or general understanding.", "relatedExperimentIds": [ "learning-state-verification-and-rollback" ], "relationships": [ { "type": "related", "recordId": "learning-state-verification-and-rollback" } ], "publicProvenance": "Report-derived active-record and inherited-qualification summary dated 2026-10-31; no private model hashes, record IDs, or evidence paths are published.", "reportVersion": "LARI Full Report 2026-10-31T11:42:43.574Z", "sourceFingerprint": null, "publishedAt": "2026-10-31T20:00:57.855Z", "lastReviewedAt": "2026-10-31T20:00:10.525Z" }, { "id": "learning-state-verification-and-rollback", "title": "Qualification keeps a verified candidate distinct from production", "summary": "LARI’s documented governance separates evidence, isolated candidates, qualification, active-model state, and explicit promotion. A current qualification receipt verifies one isolated candidate on two workspace languages: fail-before/pass-after, persisted-candidate reload, and exact-operator removal restoring failure. The active model, registry, and runtime remained read-only, the candidate was not promoted, and external-model calls were zero. The report separately describes rollback controls for bounded production lanes; those rollback checks are inherited report evidence, not a fresh rollback test in this receipt.", "researchQuestion": "What does one current qualification receipt establish about candidate testing and active-production boundaries?", "researchArea": "Persistence, verification, and model governance", "architectureComponent": "governance", "whyItMatters": "A candidate passing a contract should remain distinct from an active production capability until its named qualification and promotion gates are satisfied.", "status": "demonstrated", "verificationStatus": "verified", "lifecycleStatus": "candidate", "sourceRecordId": "Workspace primitive qualification-lifecycle receipt · 2026-10-31", "measuredAt": "2026-10-31T10:00:58.566Z", "evaluationMethod": "Verify the isolated candidate against fail-before/pass-after workspace checks in JavaScript and Python; confirm persisted candidate reload, exact operator ablation, and unchanged active model, registry, and runtime.", "baseline": "An unqualified active legacy record fails closed; production model and registry are protected during the isolated candidate test.", "candidateMethod": "Bind the candidate primitive to its structured qualification evidence and exercise the defined workspace contracts.", "comparisonConditions": "JavaScript and Python workspace cases; isolated candidate; fail-before/pass-after; persisted reload; exact operator ablation; read-only production state.", "result": "Fail-before/pass-after passed in JavaScript and Python. Candidate reload and exact ablation passed; active model, registry, and runtime remained read-only; candidate was not promoted.", "outcome": "One verified isolated qualification lifecycle; no broad safety or universal rollback claim.", "environment": "Isolated candidate qualification; active model, registry, and runtime were checked read-only.", "externalModelUsage": "Zero external-model calls.", "coldReloadResult": "Persisted candidate reload passed.", "causalAblationResult": "Removing the exact operator restored failure.", "transferResult": "The receipt covers the named JavaScript and Python workspace checks; no broader transfer is claimed.", "measurements": { "languagesTested": 2, "failBeforePassAfterPassed": true, "persistedCandidateReload": true, "exactOperatorAblationRestoresFailure": true, "activeModelReadOnly": true, "registryReadOnly": true, "runtimeReadOnly": true, "externalModelCalls": 0, "candidatePromoted": false }, "measurementConditions": "One dated qualification-lifecycle receipt; the receipt does not itself verify the separate production rollback metrics summarized in the report.", "limitations": "One isolated primitive qualification. Does not prove universal correctness, safety, user-state persistence, or that every candidate type follows identical gates. Production rollback statements are attributed report evidence, not freshly re-tested here.", "relatedExperimentIds": [ "five-bounded-coding-lanes", "recap-bounded-language-and-composition" ], "relationships": [ { "type": "related", "recordId": "five-bounded-coding-lanes" }, { "type": "related", "recordId": "recap-bounded-language-and-composition" } ], "publicProvenance": "Owner-reviewed summary of the dated qualification-lifecycle receipt and source-report governance description; private operator IDs, hashes, and paths are withheld.", "reportVersion": "LARI Full Report 2026-10-31T11:42:43.574Z", "sourceFingerprint": null, "publishedAt": "2026-10-31T20:00:57.855Z", "lastReviewedAt": "2026-10-31T20:00:10.529Z" } ], "capabilities": [ { "id": "capability-five-bounded-coding-lanes", "title": "Five bounded coding lanes (report-derived production qualification)", "summary": "The current source report describes five bounded repair lanes as active production and reports 5/5 reuse-only checks. This site records that attributed qualification summary; it is not a fresh rerun of the lane tests or a claim of arbitrary repository mastery.", "researchQuestion": null, "researchArea": null, "architectureComponent": null, "whyItMatters": null, "status": "production-qualified", "verificationStatus": "verified", "lifecycleStatus": "active", "sourceRecordId": "Active production model qualification summary · report snapshot 2026-10-31", "measuredAt": "2026-10-31T00:00:00Z", "evaluationMethod": "Review the dated active-production report and reconcile the active model identity; do not infer fresh per-lane verification.", "baseline": null, "candidateMethod": null, "comparisonConditions": null, "result": "The source report describes five of five reuse-only lane checks and lifecycle controls; lane-specific qualification was not rerun for this release.", "outcome": "Bounded production qualification as reported", "externalModelUsage": null, "coldReloadResult": null, "causalAblationResult": null, "transferResult": null, "measurements": { "reportedReuseOnlyLanesPassed": 5, "reportedReuseOnlyLanesTotal": 5, "reportedCausalAblations": 3, "reportedSurfaceParity": 5 }, "measurementConditions": "Source-report counts; not new measurements.", "limitations": "Reported and inherited qualification only; five named bounded lanes; no arbitrary repository mastery.", "relatedExperimentIds": [ "five-bounded-coding-lanes" ], "relationships": [], "publicProvenance": "Report-derived qualification summary; no private model hashes or evidence paths are published.", "reportVersion": "LARI Full Report 2026-10-31T11:42:43.574Z", "sourceFingerprint": null, "publishedAt": "2026-10-31T20:00:57.855Z", "lastReviewedAt": "2026-10-31T20:00:10.521Z" }, { "id": "capability-recap-bounded-language", "title": "RECAP bounded language generation (reported active; qualification inherited)", "summary": "The source report describes seven bounded RECAP generator families and one bounded recursive composition record as present in active production. The qualification measurements are inherited from ancestor tests and were not rerun for this release; this is not a claim of unrestricted language generation.", "researchQuestion": null, "researchArea": null, "architectureComponent": null, "whyItMatters": null, "status": "production-qualified", "verificationStatus": "verified", "lifecycleStatus": "active", "sourceRecordId": "RECAP report summary · 2026-10-31", "measuredAt": "2026-10-31T00:00:00Z", "evaluationMethod": "Review of the dated active-model report and reconciliation of current model identity; inherited family qualification is explicitly labeled as such.", "baseline": null, "candidateMethod": null, "comparisonConditions": null, "result": "The report lists 38 atomic records across seven families and inherited unseen-transfer, ablation, reload, and parity results.", "outcome": "Active inherited production as reported", "externalModelUsage": null, "coldReloadResult": null, "causalAblationResult": null, "transferResult": null, "measurements": { "reportedAtomicRecapRecords": 38, "reportedBoundedFamilies": 7, "ancestorUnseenVariantsPassed": 12, "ancestorUnseenVariantsTotal": 12, "ancestorAblationsPassed": 32, "ancestorAblationsTotal": 32, "ancestorHiddenTransfersPassed": 17, "ancestorHiddenTransfersTotal": 17 }, "measurementConditions": "Report-derived inherited figures, not fresh measurements.", "limitations": "Bounded families; inherited qualification; no unrestricted language generation or general understanding claim.", "relatedExperimentIds": [ "recap-bounded-language-and-composition" ], "relationships": [], "publicProvenance": "Report-derived capability summary; no private model identities or internal record identifiers are published.", "reportVersion": "LARI Full Report 2026-10-31T11:42:43.574Z", "sourceFingerprint": null, "publishedAt": "2026-10-31T20:00:57.855Z", "lastReviewedAt": "2026-10-31T20:00:10.527Z" }, { "id": "capability-candidate-qualification-governance", "title": "Candidate qualification and model-governance controls", "summary": "LARI’s documented workflow distinguishes isolated candidates from active production. A current receipt verifies one narrowly scoped fail-before/pass-after, reload, and exact-ablation lifecycle while production state remains read-only. This is evidence about those controls, not a guarantee that every candidate, rollback, or state path is universally safe.", "researchQuestion": null, "researchArea": null, "architectureComponent": null, "whyItMatters": null, "status": "demonstrated", "verificationStatus": "verified", "lifecycleStatus": "active", "sourceRecordId": "Qualification lifecycle governance receipt · 2026-10-31", "measuredAt": "2026-10-31T10:00:58.566Z", "evaluationMethod": "Review the current isolated-candidate qualification receipt and source-report description of promotion and rollback gates.", "baseline": null, "candidateMethod": null, "comparisonConditions": null, "result": "Fail-before/pass-after, reload, and exact ablation passed; active model, registry, and runtime stayed read-only.", "outcome": "Governance mechanism documented; one lifecycle instance verified.", "externalModelUsage": null, "coldReloadResult": null, "causalAblationResult": null, "transferResult": null, "measurements": { "languagesTested": 2, "persistedCandidateReload": true, "exactOperatorAblationRestoresFailure": true, "activeModelReadOnly": true, "registryReadOnly": true, "runtimeReadOnly": true }, "measurementConditions": "One dated receipt; separate production rollback claims remain report-derived.", "limitations": "One narrowly scoped candidate lifecycle receipt; no universal correctness, safety, or rollback guarantee.", "relatedExperimentIds": [ "learning-state-verification-and-rollback" ], "relationships": [], "publicProvenance": "Reviewed governance receipt; no private operator identifiers, hashes, or evidence paths are published.", "reportVersion": "LARI Full Report 2026-10-31T11:42:43.574Z", "sourceFingerprint": null, "publishedAt": "2026-10-31T20:00:57.855Z", "lastReviewedAt": "2026-10-31T20:00:10.530Z" } ], "milestones": [ { "id": "milestone-blank-workspace-javascript-construction", "title": "Isolated JavaScript blank-workspace reconstruction passed its contract", "summary": "A bounded candidate generated a three-file JavaScript app from a blank workspace, passed 12/12 checks twice, and reconstructed it in a fresh process with induction disabled. It remains unpromoted.", "researchQuestion": null, "researchArea": null, "architectureComponent": null, "whyItMatters": null, "status": "demonstrated", "verificationStatus": "verified", "lifecycleStatus": "candidate", "sourceRecordId": "Blank-workspace JavaScript candidate proof · 2026-10-23", "measuredAt": "2026-10-23T10:10:12.710Z", "evaluationMethod": "Unchanged acceptance contract, fresh-process reconstruction, and exact entry-point removal.", "baseline": null, "candidateMethod": null, "comparisonConditions": null, "result": "12/12 acceptance checks; fresh-process reconstruction passed; exact entry-point removal restored failure.", "outcome": "Bounded candidate result", "externalModelUsage": null, "coldReloadResult": null, "causalAblationResult": null, "transferResult": null, "measurements": { "acceptancePassed": 12, "acceptanceTotal": 12, "candidatePromoted": false }, "measurementConditions": "Single bounded task contract; candidate-only.", "limitations": "One JavaScript task family; isolated candidate; not promoted.", "relatedExperimentIds": [ "blank-workspace-javascript-construction" ], "relationships": [], "publicProvenance": "Reviewed milestone derived from the dated candidate receipt; no private evidence files are published.", "reportVersion": "LARI Full Report 2026-10-31T11:42:43.574Z", "sourceFingerprint": null, "publishedAt": "2026-10-31T20:00:57.855Z", "lastReviewedAt": "2026-10-31T20:00:10.513Z" }, { "id": "milestone-go-planner-negative-result", "title": "Go dependency-wave search remained a measured no-go", "summary": "The research path recovered examples but did not generate a Go planner. Later direct and schema-gated searches also produced no candidate; the task remains unsolved.", "researchQuestion": null, "researchArea": null, "architectureComponent": null, "whyItMatters": null, "status": "negative-result", "verificationStatus": "verified", "lifecycleStatus": "failed", "sourceRecordId": "Go dependency-wave diagnostics · 2026-10-23 to 2026-10-31", "measuredAt": "2026-10-31T01:11:19.307Z", "evaluationMethod": "Review of distinct acquisition, direct search, and relational schema-gate receipts against the unchanged task contract.", "baseline": null, "candidateMethod": null, "comparisonConditions": null, "result": "Zero candidates in later diagnostics; the Go planner is not demonstrated.", "outcome": "Negative result", "externalModelUsage": null, "coldReloadResult": null, "causalAblationResult": null, "transferResult": null, "measurements": { "directSearchCandidates": 0, "shapeGatedCandidates": 0, "oracleChanged": false }, "measurementConditions": "Distinct bounded attempts; the direct search limit and schema gate are separate conditions.", "limitations": "One task; separate runs and budgets; no planner candidate.", "relatedExperimentIds": [ "go-planner-research-to-construction" ], "relationships": [], "publicProvenance": "Reviewed milestone derived from the dated negative-result receipts; no private evidence files are published.", "reportVersion": "LARI Full Report 2026-10-31T11:42:43.574Z", "sourceFingerprint": null, "publishedAt": "2026-10-31T20:00:57.855Z", "lastReviewedAt": "2026-10-31T20:00:10.515Z" }, { "id": "milestone-stateful-relational-induction", "title": "Stateful relational candidate passed three frozen holdouts after reload", "summary": "A bounded repeated keyed-state candidate passed its three untouched holdouts after fresh-process replay; removing the exact record restored failure. It remains isolated and unpromoted.", "researchQuestion": null, "researchArea": null, "architectureComponent": null, "whyItMatters": null, "status": "demonstrated", "verificationStatus": "verified", "lifecycleStatus": "candidate", "sourceRecordId": "Stateful relational-induction verification · 2026-10-31", "measuredAt": "2026-10-31T00:00:00Z", "evaluationMethod": "Frozen holdout, cold-reload, and exact-record ablation checks.", "baseline": null, "candidateMethod": null, "comparisonConditions": null, "result": "3/3 holdouts after reload; 0/3 after exact-record removal.", "outcome": "Bounded candidate milestone", "externalModelUsage": null, "coldReloadResult": null, "causalAblationResult": null, "transferResult": null, "measurements": { "holdoutsPassedAfterReload": 3, "holdoutsAfterExactRemoval": 0 }, "measurementConditions": "Three untouched acceptance holdouts; induction disabled during reload and exact-removal conditions.", "limitations": "One synthetic family; candidate-only and not promoted.", "relatedExperimentIds": [ "stateful-relational-induction" ], "relationships": [], "publicProvenance": "Reviewed milestone derived from the dated stateful-induction receipts; no private evidence files are published.", "reportVersion": "LARI Full Report 2026-10-31T11:42:43.574Z", "sourceFingerprint": null, "publishedAt": "2026-10-31T20:00:57.855Z", "lastReviewedAt": "2026-10-31T20:00:10.518Z" }, { "id": "milestone-five-bounded-coding-lanes", "title": "Five bounded coding lanes listed in the active production report", "summary": "The 2026-10-31 report lists five bounded coding lanes as active and reports inherited qualification. This is a report snapshot, not a new promotion or a fresh rerun.", "researchQuestion": null, "researchArea": null, "architectureComponent": null, "whyItMatters": null, "status": "production-qualified", "verificationStatus": "verified", "lifecycleStatus": "active", "sourceRecordId": "Active production model report snapshot · 2026-10-31", "measuredAt": "2026-10-31T00:00:00Z", "evaluationMethod": "Source-report review and current active-model identity reconciliation.", "baseline": null, "candidateMethod": null, "comparisonConditions": null, "result": "Five bounded lane results are reported as active production qualification.", "outcome": "Production status reported; no new promotion claimed.", "externalModelUsage": null, "coldReloadResult": null, "causalAblationResult": null, "transferResult": null, "measurements": { "reportedReuseOnlyLanesPassed": 5, "reportedReuseOnlyLanesTotal": 5 }, "measurementConditions": "Reported source snapshot only.", "limitations": "Reported inherited qualification; per-lane receipts not freshly rerun.", "relatedExperimentIds": [ "five-bounded-coding-lanes" ], "relationships": [], "publicProvenance": "Reviewed report-derived milestone; no private model identifiers or hashes are published.", "reportVersion": "LARI Full Report 2026-10-31T11:42:43.574Z", "sourceFingerprint": null, "publishedAt": "2026-10-31T20:00:57.855Z", "lastReviewedAt": "2026-10-31T20:00:10.523Z" }, { "id": "milestone-recap-bounded-language", "title": "RECAP families reported present in active production", "summary": "The 2026-10-31 report lists seven bounded RECAP families and a recursive-composition record in the active model, with inherited qualification measurements. No family suite was rerun for this release.", "researchQuestion": null, "researchArea": null, "architectureComponent": null, "whyItMatters": null, "status": "production-qualified", "verificationStatus": "verified", "lifecycleStatus": "active", "sourceRecordId": "RECAP report snapshot · 2026-10-31", "measuredAt": "2026-10-31T00:00:00Z", "evaluationMethod": "Review of the current report snapshot and active model identity.", "baseline": null, "candidateMethod": null, "comparisonConditions": null, "result": "Reported active presence; ancestor gates are not freshly reverified.", "outcome": "Report-derived snapshot milestone", "externalModelUsage": null, "coldReloadResult": null, "causalAblationResult": null, "transferResult": null, "measurements": { "reportedAtomicRecapRecords": 38, "reportedBoundedFamilies": 7 }, "measurementConditions": "Source-report counts only.", "limitations": "Inherited qualification; bounded families; not broad language generation.", "relatedExperimentIds": [ "recap-bounded-language-and-composition" ], "relationships": [], "publicProvenance": "Reviewed report-derived milestone; no private model hashes or internal records are published.", "reportVersion": "LARI Full Report 2026-10-31T11:42:43.574Z", "sourceFingerprint": null, "publishedAt": "2026-10-31T20:00:57.855Z", "lastReviewedAt": "2026-10-31T20:00:10.528Z" }, { "id": "milestone-candidate-qualification-governance", "title": "Isolated qualification receipt verified reload and exact ablation controls", "summary": "One candidate lifecycle receipt verifies fail-before/pass-after checks in JavaScript and Python, candidate reload, exact-ablation failure restoration, and read-only production state. It does not establish a universal rollback guarantee.", "researchQuestion": null, "researchArea": null, "architectureComponent": null, "whyItMatters": null, "status": "demonstrated", "verificationStatus": "verified", "lifecycleStatus": "candidate", "sourceRecordId": "Qualification lifecycle receipt · 2026-10-31", "measuredAt": "2026-10-31T10:00:58.566Z", "evaluationMethod": "Review the dated candidate-lifecycle receipt and its explicit read-only and exact-ablation checks.", "baseline": null, "candidateMethod": null, "comparisonConditions": null, "result": "Reload and exact ablation passed; active model, registry, and runtime remained read-only.", "outcome": "Bounded governance-lifecycle result", "externalModelUsage": null, "coldReloadResult": null, "causalAblationResult": null, "transferResult": null, "measurements": { "languagesTested": 2, "persistedCandidateReload": true, "exactOperatorAblationRestoresFailure": true, "externalModelCalls": 0 }, "measurementConditions": "One dated isolated-candidate receipt.", "limitations": "One isolated candidate; separate production rollback checks are report-derived and were not rerun here.", "relatedExperimentIds": [ "learning-state-verification-and-rollback" ], "relationships": [], "publicProvenance": "Reviewed milestone derived from the qualification-lifecycle receipt; no private evidence files are published.", "reportVersion": "LARI Full Report 2026-10-31T11:42:43.574Z", "sourceFingerprint": null, "publishedAt": "2026-10-31T20:00:57.855Z", "lastReviewedAt": "2026-10-31T20:00:10.531Z" } ], "metrics": [] }