To compile the main/synoptic/chronology submodule.

§1. The purpose of all this is to keep track of the state of things so that it will be possible in future to ask questions concerning the past.

Our inventory inv already contains a list inv->action_history_condition_nodes of all packages in the tree with type _action_history_condition, and similarly for inv->past_tense_condition_nodes.

void SynopticChronology::compile?Usage of SynopticChronology::compile:
Make Synoptic Module Stage - §1(inter_tree *I, pipeline_step *step, tree_inventory *inv) {
    if (InterNodeList::array_len(inv->action_history_condition_nodes) > 0) Assign unique AHC ID numbers1.1;
    if (InterNodeList::array_len(inv->past_tense_condition_nodes) > 0) Assign unique PTC ID numbers1.2;

    Define NO_PAST_TENSE_CONDS1.3;
    Define NO_PAST_TENSE_ACTIONS1.4;

    Define TIMEDEVENTSTABLE1.5;
    Define TIMEDEVENTTIMESTABLE1.6;

    Define PASTACTIONSI6ROUTINES1.7;
    Define TESTSINGLEPASTSTATE1.8;
}

§1.1. Action history conditions must be numbered uniquely from 0 upwards:

Assign unique AHC ID numbers1.1 =

    InterNodeList::array_sort(inv->action_history_condition_nodes, MakeSynopticModuleStage::module_order);
    for (int i=0; i<InterNodeList::array_len(inv->action_history_condition_nodes); i++) {
        inter_package *pack =
            PackageInstruction::at_this_head(inv->action_history_condition_nodes->list[i].node);
        inter_tree_node *D = Synoptic::get_definition(pack, I"ahc_id");
        ConstantInstruction::set_constant(D, InterValuePairs::number((inter_ti) i));
    }

• This code is used in §1.

§1.2. Similarly for past tense conditions, and note that the AHC and PTC numberings are independent and can overlap.

Assign unique PTC ID numbers1.2 =

    InterNodeList::array_sort(inv->past_tense_condition_nodes, MakeSynopticModuleStage::module_order);
    for (int i=0; i<InterNodeList::array_len(inv->past_tense_condition_nodes); i++) {
        inter_package *pack =
            PackageInstruction::at_this_head(inv->past_tense_condition_nodes->list[i].node);
        inter_tree_node *D = Synoptic::get_definition(pack, I"ptc_id");
        ConstantInstruction::set_constant(D, InterValuePairs::number((inter_ti) i));
    }

• This code is used in §1.

§1.3. Define NO_PAST_TENSE_CONDS1.3 =

    inter_name *iname = HierarchyLocations::iname(I, NO_PAST_TENSE_CONDS_HL);
    Produce::numeric_constant(I, iname, K_value,
        (inter_ti) InterNodeList::array_len(inv->past_tense_condition_nodes));

• This code is used in §1.

§1.4. Define NO_PAST_TENSE_ACTIONS1.4 =

    inter_name *iname = HierarchyLocations::iname(I, NO_PAST_TENSE_ACTIONS_HL);
    Produce::numeric_constant(I, iname, K_value,
        (inter_ti) InterNodeList::array_len(inv->action_history_condition_nodes));

• This code is used in §1.

§1.5. Define TIMEDEVENTSTABLE1.5 =

    inter_name *iname = HierarchyLocations::iname(I, TIMEDEVENTSTABLE_HL);
    Synoptic::begin_bounded_array(I, step, iname);
    int when_count = 0;
    for (int i=0; i<InterNodeList::array_len(inv->rule_nodes); i++) {
        inter_package *pack = PackageInstruction::at_this_head(inv->rule_nodes->list[i].node);
        if (Metadata::exists(pack, I"^timed")) {
            inter_symbol *rule_s = Metadata::required_symbol(pack, I"^value");
            if (Metadata::exists(pack, I"^timed_for")) {
                Synoptic::symbol_entry(rule_s);
            } else when_count++;
        }
    }
    for (int i=0; i<when_count+1; i++) {
        Synoptic::numeric_entry(0);
        Synoptic::numeric_entry(0);
    }
    Synoptic::end_array(I);

• This code is used in §1.

§1.6. Define TIMEDEVENTTIMESTABLE1.6 =

    inter_name *iname = HierarchyLocations::iname(I, TIMEDEVENTTIMESTABLE_HL);
    Synoptic::begin_bounded_array(I, step, iname);
    int when_count = 0;
    for (int i=0; i<InterNodeList::array_len(inv->rule_nodes); i++) {
        inter_package *pack =
            PackageInstruction::at_this_head(inv->rule_nodes->list[i].node);
        if (Metadata::exists(pack, I"^timed")) {
            if (Metadata::exists(pack, I"^timed_for")) {
                inter_ti t = Metadata::read_optional_numeric(pack, I"^timed_for");
                Synoptic::numeric_entry(t);
            } else when_count++;
        }
    }
    for (int i=0; i<when_count+1; i++) {
        Synoptic::numeric_entry(0);
        Synoptic::numeric_entry(0);
    }
    Synoptic::end_array(I);

• This code is used in §1.

§1.7. Define PASTACTIONSI6ROUTINES1.7 =

    inter_name *iname = HierarchyLocations::iname(I, PASTACTIONSI6ROUTINES_HL);
    Synoptic::begin_array(I, step, iname);
    for (int i=0; i<InterNodeList::array_len(inv->action_history_condition_nodes); i++) {
        inter_package *pack =
            PackageInstruction::at_this_head(inv->action_history_condition_nodes->list[i].node);
        inter_symbol *fn_s = Metadata::required_symbol(pack, I"^value");
        if (fn_s == NULL) internal_error("no pap_fn");
        Synoptic::symbol_entry(fn_s);
    }
    Synoptic::numeric_entry(0);
    Synoptic::numeric_entry(0);
    Synoptic::end_array(I);

• This code is used in §1.

§1.8. Define TESTSINGLEPASTSTATE1.8 =

    inter_name *iname = HierarchyLocations::iname(I, TESTSINGLEPASTSTATE_HL);
    Synoptic::begin_function(I, iname);
    inter_symbol *past_flag_s = Synoptic::local(I, I"past_flag", NULL);
    inter_symbol *pt_s = Synoptic::local(I, I"pt", NULL);
    inter_symbol *turn_end_s = Synoptic::local(I, I"turn_end", NULL);
    inter_symbol *wanted_s = Synoptic::local(I, I"wanted", NULL);
    inter_symbol *old_s = Synoptic::local(I, I"old", NULL);
    inter_symbol *new_s = Synoptic::local(I, I"new", NULL);
    inter_symbol *trips_s = Synoptic::local(I, I"trips", NULL);
    inter_symbol *consecutives_s = Synoptic::local(I, I"consecutives", NULL);

    if (InterNodeList::array_len(inv->past_tense_condition_nodes) > 0) {
        inter_symbol *prcr_s =
            InterNames::to_symbol(HierarchyLocations::iname(I, PRESENT_CHRONOLOGICAL_RECORD_HL));
        inter_symbol *pacr_s =
            InterNames::to_symbol(HierarchyLocations::iname(I, PAST_CHRONOLOGICAL_RECORD_HL));

        Produce::inv_primitive(I, IFELSE_BIP);
        Produce::down(I);
            Produce::val_symbol(I, K_value, past_flag_s);
            Produce::code(I);
            Produce::down(I);
                Unpack the past1.8.1;
            Produce::up(I);
            Produce::code(I);
            Produce::down(I);
                Unpack the present1.8.2;
                Swizzle1.8.4;
                Repack the present1.8.3;
            Produce::up(I);
        Produce::up(I);
        Answer the question posed1.8.5;
    } else {
        Produce::rfalse(I);
    }

    Synoptic::end_function(I, step, iname);

• This code is used in §1.

§1.8.1. Unpack the past1.8.1 =

    Produce::inv_primitive(I, STORE_BIP);
    Produce::down(I);
        Produce::ref_symbol(I, K_value, new_s);
        Produce::inv_primitive(I, BITWISEAND_BIP);
        Produce::down(I);
            Produce::inv_primitive(I, LOOKUP_BIP);
            Produce::down(I);
                Produce::val_symbol(I, K_value, pacr_s);
                Produce::val_symbol(I, K_value, pt_s);
            Produce::up(I);
            Produce::val(I, K_value, InterValuePairs::number(1));
        Produce::up(I);
    Produce::up(I);
    Produce::inv_primitive(I, STORE_BIP);
    Produce::down(I);
        Produce::ref_symbol(I, K_value, trips_s);
        Produce::inv_primitive(I, DIVIDE_BIP);
        Produce::down(I);
            Produce::inv_primitive(I, BITWISEAND_BIP);
            Produce::down(I);
                Produce::inv_primitive(I, LOOKUP_BIP);
                Produce::down(I);
                    Produce::val_symbol(I, K_value, pacr_s);
                    Produce::val_symbol(I, K_value, pt_s);
                Produce::up(I);
                Produce::val(I, K_value, InterValuePairs::number(0xFE));
            Produce::up(I);
            Produce::val(I, K_value, InterValuePairs::number(2));
        Produce::up(I);
    Produce::up(I);
    Produce::inv_primitive(I, STORE_BIP);
    Produce::down(I);
        Produce::ref_symbol(I, K_value, consecutives_s);
        Produce::inv_primitive(I, DIVIDE_BIP);
        Produce::down(I);
            Produce::inv_primitive(I, BITWISEAND_BIP);
            Produce::down(I);
                Produce::inv_primitive(I, LOOKUP_BIP);
                Produce::down(I);
                    Produce::val_symbol(I, K_value, pacr_s);
                    Produce::val_symbol(I, K_value, pt_s);
                Produce::up(I);
                Produce::val(I, K_value, InterValuePairs::number(0xFF00));
            Produce::up(I);
            Produce::val(I, K_value, InterValuePairs::number(0x100));
        Produce::up(I);
    Produce::up(I);

• This code is used in §1.8.

§1.8.2. Unpack the present1.8.2 =

    Produce::inv_primitive(I, STORE_BIP);
    Produce::down(I);
        Produce::ref_symbol(I, K_value, old_s);
        Produce::inv_primitive(I, BITWISEAND_BIP);
        Produce::down(I);
            Produce::inv_primitive(I, LOOKUP_BIP);
            Produce::down(I);
                Produce::val_symbol(I, K_value, prcr_s);
                Produce::val_symbol(I, K_value, pt_s);
            Produce::up(I);
            Produce::val(I, K_value, InterValuePairs::number(1));
        Produce::up(I);
    Produce::up(I);
    Produce::inv_primitive(I, STORE_BIP);
    Produce::down(I);
        Produce::ref_symbol(I, K_value, trips_s);
        Produce::inv_primitive(I, DIVIDE_BIP);
        Produce::down(I);
            Produce::inv_primitive(I, BITWISEAND_BIP);
            Produce::down(I);
                Produce::inv_primitive(I, LOOKUP_BIP);
                Produce::down(I);
                    Produce::val_symbol(I, K_value, prcr_s);
                    Produce::val_symbol(I, K_value, pt_s);
                Produce::up(I);
                Produce::val(I, K_value, InterValuePairs::number(0xFE));
            Produce::up(I);
            Produce::val(I, K_value, InterValuePairs::number(2));
        Produce::up(I);
    Produce::up(I);
    Produce::inv_primitive(I, STORE_BIP);
    Produce::down(I);
        Produce::ref_symbol(I, K_value, consecutives_s);
        Produce::inv_primitive(I, DIVIDE_BIP);
        Produce::down(I);
            Produce::inv_primitive(I, BITWISEAND_BIP);
            Produce::down(I);
                Produce::inv_primitive(I, LOOKUP_BIP);
                Produce::down(I);
                    Produce::val_symbol(I, K_value, prcr_s);
                    Produce::val_symbol(I, K_value, pt_s);
                Produce::up(I);
                Produce::val(I, K_value, InterValuePairs::number(0xFF00));
            Produce::up(I);
            Produce::val(I, K_value, InterValuePairs::number(0x100));
        Produce::up(I);
    Produce::up(I);

• This code is used in §1.8.

§1.8.3. Repack the present1.8.3 =

    Produce::inv_primitive(I, STORE_BIP);
    Produce::down(I);
        Produce::reference(I);
        Produce::down(I);
            Produce::inv_primitive(I, LOOKUP_BIP);
            Produce::down(I);
                Produce::val_symbol(I, K_value, prcr_s);
                Produce::val_symbol(I, K_value, pt_s);
            Produce::up(I);
        Produce::up(I);
        Produce::inv_primitive(I, PLUS_BIP);
        Produce::down(I);
            Produce::val_symbol(I, K_value, new_s);
            Produce::inv_primitive(I, PLUS_BIP);
            Produce::down(I);
                Produce::inv_primitive(I, TIMES_BIP);
                Produce::down(I);
                    Produce::val_symbol(I, K_value, trips_s);
                    Produce::val(I, K_value, InterValuePairs::number(0x02));
                Produce::up(I);
                Produce::inv_primitive(I, TIMES_BIP);
                Produce::down(I);
                    Produce::val_symbol(I, K_value, consecutives_s);
                    Produce::val(I, K_value, InterValuePairs::number(0x100));
                Produce::up(I);
            Produce::up(I);
        Produce::up(I);
    Produce::up(I);

• This code is used in §1.8.

§1.8.4. Swizzle1.8.4 =

    Produce::inv_primitive(I, SWITCH_BIP);
    Produce::down(I);
        Produce::val_symbol(I, K_value, pt_s);
        Produce::code(I);
        Produce::down(I);
            for (int i=0; i<InterNodeList::array_len(inv->past_tense_condition_nodes); i++) {
                inter_package *pack =
                    PackageInstruction::at_this_head(inv->past_tense_condition_nodes->list[i].node);
                inter_symbol *fn_s = Metadata::required_symbol(pack, I"^value");
                if (fn_s == NULL) internal_error("no pcon_fn");
                Produce::inv_primitive(I, CASE_BIP);
                Produce::down(I);
                    Produce::val(I, K_value, InterValuePairs::number((inter_ti) i));
                    Produce::code(I);
                    Produce::down(I);
                        Produce::inv_primitive(I, STORE_BIP);
                        Produce::down(I);
                            Produce::ref_symbol(I, K_value, new_s);
                            Produce::inv_call_symbol(I, fn_s);
                        Produce::up(I);
                    Produce::up(I);
                Produce::up(I);
            }
            Produce::inv_primitive(I, DEFAULT_BIP);
            Produce::down(I);
                Produce::code(I);
                Produce::down(I);
                    Produce::inv_primitive(I, PRINT_BIP);
                    Produce::down(I);
                        Produce::val_text(I, I"*** No such past tense condition ***\n");
                    Produce::up(I);
                    Produce::inv_primitive(I, STORE_BIP);
                    Produce::down(I);
                        Produce::ref_symbol(I, K_value, new_s);
                        Produce::val(I, K_value, InterValuePairs::number(0));
                    Produce::up(I);
                Produce::up(I);
            Produce::up(I);
        Produce::up(I);
    Produce::up(I);

    Produce::inv_primitive(I, IFELSE_BIP);
    Produce::down(I);
        Produce::val_symbol(I, K_value, new_s);
        Produce::code(I);
        Produce::down(I);
            Produce::inv_primitive(I, IF_BIP);
            Produce::down(I);
                Produce::inv_primitive(I, EQ_BIP);
                Produce::down(I);
                    Produce::val_symbol(I, K_value, old_s);
                    Produce::val(I, K_value, InterValuePairs::number(0));
                Produce::up(I);
                Produce::code(I);
                Produce::down(I);
                    Produce::inv_primitive(I, POSTINCREMENT_BIP);
                    Produce::down(I);
                        Produce::ref_symbol(I, K_value, trips_s);
                    Produce::up(I);
                    Produce::inv_primitive(I, IF_BIP);
                    Produce::down(I);
                        Produce::inv_primitive(I, GT_BIP);
                        Produce::down(I);
                            Produce::val_symbol(I, K_value, trips_s);
                            Produce::val(I, K_value, InterValuePairs::number(127));
                        Produce::up(I);
                        Produce::code(I);
                        Produce::down(I);
                            Produce::inv_primitive(I, STORE_BIP);
                            Produce::down(I);
                                Produce::ref_symbol(I, K_value, trips_s);
                                Produce::val(I, K_value, InterValuePairs::number(127));
                            Produce::up(I);
                        Produce::up(I);
                    Produce::up(I);
                Produce::up(I);
            Produce::up(I);

            Produce::inv_primitive(I, IF_BIP);
            Produce::down(I);
                Produce::val_symbol(I, K_value, turn_end_s);
                Produce::code(I);
                Produce::down(I);
                    Produce::inv_primitive(I, POSTINCREMENT_BIP);
                    Produce::down(I);
                        Produce::ref_symbol(I, K_value, consecutives_s);
                    Produce::up(I);
                    Produce::inv_primitive(I, IF_BIP);
                    Produce::down(I);
                        Produce::inv_primitive(I, GT_BIP);
                        Produce::down(I);
                            Produce::val_symbol(I, K_value, consecutives_s);
                            Produce::val(I, K_value, InterValuePairs::number(127));
                        Produce::up(I);
                        Produce::code(I);
                        Produce::down(I);
                            Produce::inv_primitive(I, STORE_BIP);
                            Produce::down(I);
                                Produce::ref_symbol(I, K_value, consecutives_s);
                                Produce::val(I, K_value, InterValuePairs::number(127));
                            Produce::up(I);
                        Produce::up(I);
                    Produce::up(I);
                Produce::up(I);
            Produce::up(I);

        Produce::up(I);
        Produce::code(I);
        Produce::down(I);
            Produce::inv_primitive(I, STORE_BIP);
            Produce::down(I);
                Produce::ref_symbol(I, K_value, consecutives_s);
                Produce::val(I, K_value, InterValuePairs::number(0));
            Produce::up(I);
        Produce::up(I);
    Produce::up(I);

• This code is used in §1.8.

§1.8.5. Answer the question posed1.8.5 =

    Produce::inv_primitive(I, SWITCH_BIP);
    Produce::down(I);
        Produce::val_symbol(I, K_value, wanted_s);
        Produce::code(I);
        Produce::down(I);
            Produce::inv_primitive(I, CASE_BIP);
            Produce::down(I);
                Produce::val(I, K_value, InterValuePairs::number(0));
                Produce::code(I);
                Produce::down(I);
                    Produce::inv_primitive(I, IF_BIP);
                    Produce::down(I);
                        Produce::val_symbol(I, K_value, new_s);
                        Produce::code(I);
                        Produce::down(I);
                            Produce::inv_primitive(I, RETURN_BIP);
                            Produce::down(I);
                                Produce::val_symbol(I, K_value, new_s);
                            Produce::up(I);
                        Produce::up(I);
                    Produce::up(I);
                Produce::up(I);
            Produce::up(I);
            Produce::inv_primitive(I, CASE_BIP);
            Produce::down(I);
                Produce::val(I, K_value, InterValuePairs::number(1));
                Produce::code(I);
                Produce::down(I);
                    Produce::inv_primitive(I, IF_BIP);
                    Produce::down(I);
                        Produce::val_symbol(I, K_value, new_s);
                        Produce::code(I);
                        Produce::down(I);
                            Produce::inv_primitive(I, RETURN_BIP);
                            Produce::down(I);
                                Produce::val_symbol(I, K_value, trips_s);
                            Produce::up(I);
                        Produce::up(I);
                    Produce::up(I);
                Produce::up(I);
            Produce::up(I);
            Produce::inv_primitive(I, CASE_BIP);
            Produce::down(I);
                Produce::val(I, K_value, InterValuePairs::number(2));
                Produce::code(I);
                Produce::down(I);
                    Produce::inv_primitive(I, IF_BIP);
                    Produce::down(I);
                        Produce::val_symbol(I, K_value, new_s);
                        Produce::code(I);
                        Produce::down(I);
                            Produce::inv_primitive(I, RETURN_BIP);
                            Produce::down(I);
                                Produce::inv_primitive(I, PLUS_BIP);  +1 counting the current turn
                                Produce::down(I);
                                    Produce::val_symbol(I, K_value, consecutives_s);
                                    Produce::val(I, K_value, InterValuePairs::number(1));
                                Produce::up(I);
                            Produce::up(I);
                        Produce::up(I);
                    Produce::up(I);
                Produce::up(I);
            Produce::up(I);
            Produce::inv_primitive(I, CASE_BIP);
            Produce::down(I);
                Produce::val(I, K_value, InterValuePairs::number(4));
                Produce::code(I);
                Produce::down(I);
                    Produce::inv_primitive(I, RETURN_BIP);
                    Produce::down(I);
                        Produce::val_symbol(I, K_value, new_s);
                    Produce::up(I);
                Produce::up(I);
            Produce::up(I);
            Produce::inv_primitive(I, CASE_BIP);
            Produce::down(I);
                Produce::val(I, K_value, InterValuePairs::number(5));
                Produce::code(I);
                Produce::down(I);
                    Produce::inv_primitive(I, RETURN_BIP);
                    Produce::down(I);
                        Produce::val_symbol(I, K_value, trips_s);
                    Produce::up(I);
                Produce::up(I);
            Produce::up(I);
            Produce::inv_primitive(I, CASE_BIP);
            Produce::down(I);
                Produce::val(I, K_value, InterValuePairs::number(6));
                Produce::code(I);
                Produce::down(I);
                    Produce::inv_primitive(I, RETURN_BIP);
                    Produce::down(I);
                        Produce::val_symbol(I, K_value, consecutives_s);
                    Produce::up(I);
                Produce::up(I);
            Produce::up(I);
        Produce::up(I);
    Produce::up(I);

    Produce::inv_primitive(I, RETURN_BIP);
    Produce::down(I);
        Produce::val(I, K_value, InterValuePairs::number(0));
    Produce::up(I);

• This code is used in §1.8.